Trace number 4401147

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2SAT (TO)527166403 2520.25 2134.86

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.75/0.54	c Concrete v3.12.2.1568631193530 running
1002.50/635.85	o 527188219
1002.50/635.89	o 527188215
1002.81/635.92	o 527188212
1003.08/636.02	o 527188211
1003.08/636.04	o 527188208
1003.08/636.05	o 527188195
1003.34/636.19	o 527188193
1003.48/636.26	o 527166413
1003.48/636.29	o 527166403
2520.17/2134.81	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.17/2134.81		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2520.17/2134.81		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2520.17/2134.81		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:110)
2520.17/2134.81		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:249)
2520.17/2134.81		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.17/2134.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:110)
2520.17/2134.81		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.17/2134.81		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.17/2134.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.17/2134.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.17/2134.81		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.17/2134.81		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2520.17/2134.81		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.17/2134.81		at scala.Option.map(Option.scala:243)
2520.17/2134.81		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.17/2134.81		at concrete.MAC.mac(MAC.scala:216)
2520.17/2134.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.17/2134.81		at scala.util.Try$.apply(Try.scala:212)
2520.17/2134.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.17/2134.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.17/2134.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.17/2134.81		at concrete.MAC.oneRun(MAC.scala:265)
2520.17/2134.81		at concrete.MAC.nextSolution(MAC.scala:284)
2520.17/2134.81		at concrete.MAC.nextSolution(MAC.scala:369)
2520.17/2134.81		at concrete.Solver.hasNext(Solver.scala:160)
2520.17/2134.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.17/2134.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.17/2134.81		at concrete.Solver.foreach(Solver.scala:67)
2520.17/2134.81		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.17/2134.81		at scala.util.Success.map(Try.scala:264)
2520.17/2134.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.17/2134.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.17/2134.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.17/2134.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.17/2134.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.17/2134.81		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.17/2134.81		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.17/2134.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.17/2134.81		at scala.App.$anonfun$main$1(App.scala:75)
2520.17/2134.81		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.17/2134.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.17/2134.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.17/2134.81		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.17/2134.81		at scala.App.main(App.scala:75)
2520.17/2134.81		at scala.App.main$(App.scala:73)
2520.17/2134.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.17/2134.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.17/2134.82	v <instantiation
2520.17/2134.82	v         cost = '527166403'>
2520.17/2134.82	v       <list>
2520.17/2134.82	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.17/2134.82	v       </list>
2520.17/2134.82	v       <values>
2520.17/2134.82	v         2292 2396 2328 2408 2708 2192 2528 2240 2248 2540 2712 2600 2528 2456 2424 2204 2180 2464 2436 2208 2332 2304 2204 2584 2368 2180 2624 2208 2220 2408 2180 2600 2312 2384 2468 2396 2428 2704 2476 2444 2220 2252 2260 2608 2584 2600 2508 2276 2524 2484 2264 2544 2364 2260 2184 2556 2180 2552 2436 2452 2520 2624 2452 2504 2572 2340 2248 2288 2676 2372 2672 2560 2348 2448 2476 2488 2612 2616 2636 2200 2712 2180 2716 2180 2264 2552 2532 2300 2308 2428 2396 2544 2376 2468 2260 2492 2372 2660 2548 2384 2676 2668 2700 2632 2652 2264 2472 2508 2384 2596 2604 2372 2644 2500 2484 2248 2236 2496 2692 2716 2220 2640 2220 2716 2676 2468 2668 2296 2396 2696 2500 2716 2244 2592 2544 2220 2224 2376 2692 2208 2644 2504 2488 2432 2540 2296 2576 2488 2472 2448 2544 2588 2448 2664 2580 2616 2184 2716 2388 2528 2452 2564 2288 2220 2636 2232 2264 2544 2568 2344 2332 2584 2540 2628 2248 2512 2516 2628 2288 2424 2220 2528 2212 2532 2536 2312 2424 2432 2412 2564 2428 2596 2284 2468 2356 2532 2272 2400 2188 2336 2488 2684 2640 2440 2240 2220 2664 2492 2620 2584 2240 2716 2180 2432 2676 2548 2608 2476 2180 2576 2628 2544 2488 2200 2256 2504 2472 2676 2252 2380 2404 2716 2444 2648 2204 2212 2532 2616 2704 2528 2584 2244 2648 2592 2220 2352 2544 2488 2428 2544 2528 2356 2568 2676 2180 2412 2468 2624 2480 2400 2368 2712 2224 2568 2388 2368 2272 2676 2676 2436 2424 2584 2672 2588 2488 2332 2316 2656 2544 2716 2196 2584 2348 2676 2416 2508 2312 2316 2676 2572 2524 2716 2676 2244 2224 2436 2636 2584 2336 2220 2660 2676 2324 2336 2484 2224 2200 2504 2576 2652 2228 2224 2328 2412 2668 2716 2360 2580 2688 2664 2288 2544 2544 2184 2540 2528 2220 2448 2304 2248 2488 2496 2488 2436 2564 2584 2488 2184 2708 2688 2224 2328 2508 2492 2572 2456 2672 2224 2604 2524 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 11 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 1 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 1 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 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 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 10 8 0 9 0 0 0 0 0 0 0 0 6 9 0 10 9 4 0 0 0 7 0 8 1 1 1 10 0 5 0 10 0 0 0 9 10 0 0 0 0 10 2 0 0 0 0 0 0 10 0 10 0 10 0 0 8 9 0 0 0 1 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 1 0 0 2 10 0 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 10 0 10 10 10 0 6 10 0 1 8 0 8 0 0 10 10 0 10 0 10 0 0 0 0 0 0 10 0 0 1 10 0 10 10 0 0 0 0 10 10 0 10 10 0 10 0 1 0 0 1 1 10 0 0 4 0 0 0 0 0 0 0 8 0 0 0 1 0 0 0 0 1 10 0 7 0 0 0 0 1 10 10 0 0 10 1 9 10 1 0 10 0 0 10 7 10 0 4 1 0 10 2 0 1 0 10 0 0 9 0 1 0 1 0 1 6 0 0 10 10 0 0 10 0 1 1 1 0 10 0 1 0 0 1 10 7 0 0 0 5 0 0 3 10 0 0 0 10 10 7 0 1 0 0 0 10 0 7 8 10 0 10 7 5 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 10 0 0 9 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 9 1 10 0 0 3 0 4 0 10 0 0 0 0 10 5 0 10 10 0 7 0 0 9 0 0 0 0 0 0 0 0 10 0 0 5 0 7 10 0 1 0 2 0 10 10 10 10 10 0 10 10 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 0 7 1 0 10 0 0 2 0 10 0 0 8 0 0 0 0 3 0 0 0 0 0 1 0 1 0 0 9 0 0 0 0 1 1 6 0 0 4 0 0 0 0 0 1 7 8 0 0 0 0 10 5 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 1 0 10 0 0 0 1 0 5 0 0 10 0 0 0 10 0 10 0 0 0 0 0 1 0 1 0 1 10 10 0 10 0 10 1 10 0 10 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 10 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 6 0 8 0 1 0 0 0 0 5 0 0 0 0 0 1 0 0 8 8 1 0 0 0 0 0 0 0 0 10 0 0 0 0 4 0 0 7 10 10 0 0 10 0 10 9 1 10 10 0 10 10 0 0 1 0 0 0 10 0 10 10 10 10 0 0 10 0 1 0 10 1 0 0 10 10 0 8 10 0 10 0 1 0 10 0 0 1 1 0 8 1 0 0 0 0 0 0 1 0 0 0 9 0 0 9 0 0 0 0 1 1 0 10 0 10 0 0 1 1 0 0 0 0 0 0 6 5 10 10 0 10 0 0 0 0 0 2 0 0 0 9 0 10 0 0 10 0 0 9 0 2 0 0 0 3 0 6 10 1 0 0 0 0 0 5 1 0 0 10 0 0 0 0 0 0 10 2 6 10 0 1 0 0 1 10 0 0 0 0 3 8 10 0 4 10 0 0 0 0 10 10 10 0 1 0 0 10 0 1 0 10 1 2 10 7 9 0 7 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 6 0 6 9 10 10 0 6 0 0 5 0 0 0 0 0 0 0 0 1 1 0 0 10 0 0 10 10 0 10 0 10 0 1 0 3 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 1 0 1 5 0 0 0 1 0 0 0 0 0 1 0 0 0 10 0 10 10 0 0 10 0 10 0 10 1 10 0 9 0 1 0 0 2 0 3 0 4 0 0 5 0 9 10 4 0 0 1 1 10 0 10 0 1 10 0 0 0 3 10 0 0 0 0 1 0 0 0 1 0 1 1 0 10 0 0 0 0 0 0 0 10 0 10 0 6 0 4 0 0 7 10 0 0 0 0 0 0 1 3 10 10 0 1 4 0 4 2 0 0 10 0 0 1 0 5 0 10 0 0 0 0 10 0 0 0 9 10 0 0 0 0 10 0 10 0 0 0 1 0 0 1 10 0 8 0 7 0 7 0 0 0 0 0 0 0 0 10 0 0 8 1 0 0 6 10 0 0 0 9 0 7 0 0 0 1 10 7 0 1 0 10 10 0 0 5 3 0 0 10 0 0 0 0 10 1 0 0 0 0 0 0 0 0 10 0 1 0 0 0 0 0 1 0 0 9 0 9 1 10 10 0 0 0 1 10 0 1 0 10 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 1 10 0 0 0 0 1 0 1 0 0 10 10 10 1 0 0 10 10 0 0 0 1 10 8 0 10 3 0 1 0 0 0 0 0 0 0 9 0 0 0 0 9 10 0 0 0 9 0 0 0 0 0 10 1 9 0 1 10 0 0 10 10 0 0 10 1 2 7 0 0 0 10 10 0 10 0 0 1 10 0 0 1 0 0 0 0 0 0 0 0 10 0 9 0 0 10 0 0 1 0 8 8 0 9 10 0 0 0 0 1 1 5 10 2 3 0 10 10 1 0 10 0 10 0 0 0 0 0 0 0 0 6 0 1 0 10 10 4 7 0 6 0 0 0 0 9 10 0 5 0 0 0 10 0 0 0 0 0 10 0 0 10 0 10 10 1 0 7 0 0 1 8 0 10 0 0 0 0 4 9 9 0 1 0 0 0 1 0 0 0 9 0 0 0 0 0 0 10 0 10 0 1 0 10 10 0 0 9 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 10 10 0 0 0 9 0 0 0 5 0 10 0 0 0 0 8 0 8 0 1 0 10 10 10 2 0 0 0 0 0 7 1 0 0 0 1 0 10 0 0 0 0 9 0 1 2 0 10 0 0 0 0 6 10 0 10 0 8 0 0 10 0 0 0 0 10 0 10 10 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 10 10 0 10 10 1 10 8 0 0 1 1 8 0 0 10 10 0 0 10 9 0 0 0 0 6 10 0 10 0 6 0 1 0 0 10 0 0 10 1 1 0 10 10 0 0 0 0 1 0 0 10 1 10 1 8 1 0 10 0 5 0 8 6 1 10 0 1 0 10 0 0 1 0 10 0 10 1 0 1 0 10 0 0 10 8 10 0 0 0 0 0 1 0 0 1 0 0 10 0 10 10 0 0 0 10 9 0 1 10 0 0 8 10 0 0 0 0 1 0 0 10 0 0 1 0 0 0 0 0 0 0 10 10 0 1 0 0 9 0 0 0 9 0 0 9 9 5 1 0 1 0 0 10 0 0 0 0 0 9 7 1 0 0 0 7 0 10 1 0 1 0 0 0 10 0 10 10 1 1 0 2 0 1 0 0 10 1 1 10 8 10 0 1 0 0 0 0 0 0 0 0 0 1 0 4 0 0 0 10 0 0 0 0 0 0 10 6 10 1 6 0 0 0 10 1 0 0 0 0 8 0 6 1 0 0 0 9 0 1 0 8 1 0 10 7 2 0 9 0 9 1 0 0 8 0 0 7 0 0 6 0 0 0 10 0 0 0 10 0 10 0 0 0 4 10 0 1 0 10 0 0 0 0 10 0 10 1 0 10 10 7 0 0 7 10 0 8 10 0 0 0 0 0 0 0 0 0 0 1 0 0 10 1 0 0 0 10 10 0 4 0 0 4 0 10 0 1 4 3 0 10 1 0 0 0 10 10 6 0 9 0 0 10 0 0 0 1 0 0 1 0 0 10 10 0 10 0 10 0 0 0 0 10 6 5 0 10 0 10 0 10 0 7 0 0 0 10 0 0 1 7 10 9 0 0 1 1 0 0 0 0 10 0 1 0 0 6 0 0 0 10 10 1 9 0 0 0 9 0 1 0 10 0 1 9 0 0 0 1 0 0 3 0 0 1 0 0 0 0 10 0 0 9 0 1 10 10 0 0 0 0 1 0 2 1 0 0 10 0 0 10 0 0 10 10 10 0 2 0 0 0 8 0 0 10 9 0 8 0 0 0 0 1 0 10 10 0 0 0 1 0 0 0 0 0 0 1 0 0 10 7 10 6 0 8 0 0 0 0 1 1 0 1 10 0 10 9 0 0 0 0 1 0 10 0 0 0 0 1 9 0 10 0 0 3 0 0 10 1 0 1 0 3 1 0 0 10 0 0 4 0 0 0 0 4 10 1 3 0 0 0 10 0 0 10 10 7 0 10 3 10 0 0 0 1 1 0 0 0 0 10 10 0 9 0 0 8 0 1 9 10 0 0 0 0 10 8 6 0 1 10 10 0 0 1 10 0 0 0 0 0 0 0 0 10 1 0 0 0 3 9 1 0 4 3 0 1 1 0 7 0 0 0 0 10 0 0 7 0 10 1 1 10 0 3 0 0 0 0 10 0 0 0 8 0 0 8 10 10 0 6 8 9 1 6 0 0 0 0 0 7 0 0 10 0 0 0 0 0 10 8 0 0 0 0 1 10 0 0 0 9 0 10 0 0 0 0 0 4 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 1 7 0 0 0 1 1 7 0 1 10 10 10 10 0 8 0 0 0 10 0 0 0 8 0 0 5 0 0 0 10 10 10 10 10 1 0 0 0 0 10 0 0 5 0 0 0 10 0 10 5 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 1 10 3 0 0 0 6 0 0 0 0 0 1 0 1 10 10 10 0 10 8 0 0 164 76 176 80 28 352 352 284 180 96 344 180 252 108 292 64 188 136 280 96 172 16 172 28 188 180 320 92 168 76 44 80 156 104 108 380 200 0 44 148 228 160 308 188 128 228 268 80 308 116 264 284 456 156 460 32 408 160 8 312 424 436 268 8 484 340 8 12 12 236 148 204 500 240 208 336 176 232 464 332 332 308 104 116 344 348 396 304 28 172 324 476 476 72 248 56 468 276 324 284 128 320 152 120 320 328 244 24 96 280 192 280 112 156 176 40 208 252 116 228 8 316 236 532 348 424 96 212 48 280 168 124 492 228 184 144 252 400 116 176 176 8 96 232 116 24 416 36 272 320 56 268 76 172 112 40 56 156 348 196 148 240 224 40 88 276 216 188 120 128 164 88 232 28 172 128 48 124 292 28 120 240 92 140 108 152 292 192 292 272 192 60 488 500 364 384 452 340 484 124 428 296 120 216 512 188 388 408 476 68 204 92 152 152 100 156 68 184 192 240 256 32 176 144 192 192 8 192 108 92 236 104 0 108 76 0 484 296 24 360 332 420 76 336 108 276 68 24 164 212 100 132 72 36 156 344 28 160 320 320 44 144 364 84 288 284 224 108 260 412 44 384 184 204 412 512 104 448 268 400 460 360 328 380 420 472 300 252 0 132 384 44 44 404 92 332 312 92 92 80 148 4 304 104 208 104 348 20 56 272 148 180 240 104 16 216 132 328 436 532 248 204 364 116 40 404 60 496 0 152 236 360 360 188 0 172 276 44 400 36 292 412 200 212 92 276 92 156 52 428 324 164 384 408 332 196 16 248 176 152 496 168 416 204 316 420 328 252 148 44 188 92 112 188 276 168 240 268 100 176 184 224 192 492 464 396 292 536 208 456 460 20 292 172 156 404 204 100 412 72 76 356 112 288 304 180 20 120 68 108 132 20 104 24 112 124 168 284 88 176 104 68 48 104 164 204 16 276 160 196 324 24 228 68 140 124 0 132 56 112 72 220 88 216 32 244 176 148 176 192 92 84 132 148 132 184 40 72 164 136 248 80 220 276 28 176 200 40 520 216 200 16 200 192 180 268 164 264 116 200 96 100 64 192 72 232 220 96 232 88 76 272 8 224 100 4 64 128 40 412 252 288 428 24 20 140 444 236 124 448 292 68 32 280 188 368 464 4 420 80 380 36 20 284 16 284 52 64 312 344 48 132 360 208 96 68 240 24 408 64 80 152 400 132 88 92 48 96 20 96 12 16 112 68 172 4 92 64 360 376 268 184 376 164 272 108 24 124 36 76 288 176 268 76 168 24 176 92 20 152 20 176 20 428 32 268 52 216 60 104 284 272 136 152 148 208 152 208 220 36 32 284 16 176 236 88 112 4 152 156 84 348 376 44 264 264 452 452 84 40 452 316 52 324 172 56 340 104 184 228 180 140 172 300 168 288 140 36 308 192 112 188 84 220 456 12 192 364 516 212 192 328 352 100 348 56 72 304 532 216 48 336 332 108 72 124 108 112 92 28 284 16 68 228 308 192 40 360 448 352 344 20 384 424 372 176 4 148 368 40 268 20 280 112 164 76 296 64 164 108 32 160 140 192 224 196 240 224 252 148 0 148 252 68 164 144 232 272 92 224 200 136 128 148 228 156 72 112 300 176 16 248 24 140 96 232 300 64 4 276 44 96 268 224 244 276 136 16 4 220 144 116 180 220 232 4 112 40 172 0 84 284 40 116 120 172 284 16 204 140 176 24 188 32 120 28 8 184 24 28 128 376 136 348 32 104 128 92 128 300 208 104 148 244 140 156 128 148 296 28 240 64 96 36 192 8 368 344 152 188 428 108 364 84 212 404 200 156 180 280 388 200 452 468 188 136 108 464 104 16 100 12 348 452 108 204 100 16 52 268 152 176 236 172 100 36 120 96 200 124 200 236 4 336 176 132 340 4 120 88 128 104 240 136 184 64 0 36 368 140 268 104 76 244 200 116 16 40 200 216 44 48 224 228 180 68 228 212 20 224 208 56 224 52 248 88 140 392 160 232 60 132 320 88 260 60 392 72 456 264 136 100 12 112 180 108 308 268 144 384 20 188 476 116 476 104 288 508 284 116 492 380 28 472 36 144 532 344 380 488 196 536 4 332 336 104 352 260 536 448 536 404 384 344 536 16 492 508 528 168 304 136 144 116 252 448 496 188 44 492 168 36 244 232 452 44 300 84 140 20 44 448 104 52 412 124 256 344 340 152 124 116 20 108 24 116 44 328 60 8 196 128 196 80 264 204 284 412 376 296 124 128 368 56 36 368 368 180 44 168 116 256 236 188 248 116 12 296 148 36 4 308 192 260 176 312 68 76 300 100 72 32 16 20 192 136 156 340 120 240 248 132 340 32 248 96 20 88 100 56 76 12 124 436 116 28 308 84 368 268 248 16 224 68 176 16 68 36 248 76 184 168 204 72 304 16 304 176 148 424 440 28 152 168 364 32 16 108 68 168 160 212 16 160 332 284 96 156 208 20 108 244 92 148 52 168 0 492 448 140 256 312 40 288 44 320 48 380 180 516 480 168 260 16 72 84 236 388 184 16 64 436 144 408 180 44 84 136 380 448 4 20 292 12 432 208 452 124 160 44 284 88 92 312 320 220 224 56 96 156 184 60 228 144 68 16 96 260 76 208 244 20 128 168 148 324 212 112 164 300 48 292 184 52 32 64 52 68 264 88 80 28 280 248 180 372 40 112 64 44 112 384 80 152 304 152 132 300 68 172 72 4 424 444 292 448 308 60 28 216 76 12 20 132 176 4 80 44 24 196 12 248 240 316 68 132 464 336 388 332 64 308 308 480 252 332 348 12 276 68 124 316 224 532 176 432 184 444 276 0 100 0 44 248 228 268 216 352 140 428 56 52 24 68 424 228 308 344 136 268 368 92 284 496 228 212 228 268 40 92 4 44 428 112 380 468 224 264 200 464 84 340 16 452 316 248 168 64 76 20 44 152 36 140 372 460 124 268 8 232 96 332 344 444 0 484 88 16 76 104 380 140 364 280 372 212 120 112 136 124 320 220 320 128 408 456 20 48 24 112 280 76 228 260 96 296 64 76 316 124 228 460 272 44 20 400 32 432 24 100 412 16 348 32 224 84 156 12 212 304 112 12 160 128 0 328 136 260 492 148 456 200 176 16 360 180 188 264 0 252 36 188 132 276 36 204 324 124 104 376 472 444 4 384 468 364 452 16 300 100 20 288 256 264 172 80 172 176 308 188 44 96 84 184 132 252 0 244 136 192 152 16 96 92 164 184 172 52 320 116 136 180 116 36 120 72 112 244 104 188 60 152 32 376 104 8 132 108 216 188 244 84 164 168 252 136 268 92 40 144 268 100 224 224 8 116 124 256 56 48 60 376 176 128 20 240 64 364 128 100 96 200 248 136 60 132 124 160 304 444 216 24 360 40 48 92 156 48 72 260 420 132 72 100 532 444 132 108 516 312 364 236 380 132 208 160 88 84 36 52 284 148 16 20 272 92 92 84 208 204 268 236 24 344 132 88 384 160 148 92 136 44 296 200 104 400 468 452 8 416 88 436 164 284 40 300 336 396 56 44 416 416 296 440 252 4 212 412 424 192 52 76 68 164 140 340 132 60 280 40 104 324 12 132 340 332 92 184 72 332 28 184 40 148 352 288 212 84 172 124 404 92 56 312 268 40 8 96 172 448 84 356 312 48 324 80 328 280 428 280 24 4 228 156 240 112 116 68 164 204 152 232 76 108 156 340 96 8 36 100 4 300 36 444 256 240 384 200 256 44 72 376 148 284 108 216 224 48 160 324 24 348 364 112 456 4 116 188 104 188 216 188 80 180 144 296 100 368 276 116 52 28 136 112 100 92 400 364 260 24 348 88 88 260 292 148 60 64 32 52 272 212 280 156 212 256 304 56 304 100 152 76 308 152 252 76 144 224 240 356 68 140 248 12 156 28 332 432 228 196 36 12 284 20 360 188 8 172 132 92 276 88 84 208 168 356 16 344 444 304 32 168 188 256 320 488 56 12 340 268 44 40 304 116 504 196 420 92 32 168 36 56 276 276 20 4 436 88 252 96 484 96 84 60 268 368 232 0 312 268 388 60 248 96 20 60 192 60 92 176 16 140 0 324 496 72 300 40 252 256 320 344 260 60 196 212 408 256 272 24 84 240 88 20 224 248 444 300 136 156 472 508 52 304 140 88 392 28 4 88 120 140 0 52 96 56 188 36 272 152 424 116 456 136 392 328 460 328 72 80 260 276 280 164 160 36 24 284 136 112 424 28 432 148 32 424 52 236 244 68 456 332 296 32 308 160 224 120 272 0 368 208 404 0 228 144 100 112 100 232 116 120 464 276 164 380 368 460 20 380 8 224 272 12 364 184 52 88 56 136 48 484 200 56 308 0 128 160 56 300 240 0 268 360 120 424 320 288 16 464 212 224 156 368 76 80 12 216 456 440 4 356 448 324 308 288 16 152 232 220 20 188 120 28 144 200 92 320 148 388 236 152 344 344 60 132 428 492 104 152 236 44 168 244 144 184 40 300 44 36 64 176 176 288 120 36 388 108 64 88 108 72 288 288 188 60 100 320 308 404 44 236 32 436 360 0 0 372 152 104 452 100 168 108 224 252 228 72 212 12 264 0 76 100 224 56 136 428 4 344 312 236 68 272 368 100 100 264 152 164 288 228 32 360 12 172 348 360 404 280 480 288 24 248 280 100 140 176 192 32 220 96 148 284 16 272 24 88 388 132 456 428 88 96 348 0 132 392 116 212 4 104 492 464 252 56 412 12 324 12 332 172 28 468 336 8 12 256 184 248 168 352 444 440 0 248 364 292 404 176 160 36 92 248 296 108 124 24 112 444 228 140 276 88 124 200 504 160 216 212 40 44 344 404 440 388 68
2520.17/2134.82	v       </values>
2520.17/2134.82	v     </instantiation>
2520.17/2134.82	s SATISFIABLE

Verifier Data

OK	527166403

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401147-1568695658/watcher-4401147-1568695658 -o /tmp/evaluation-result-4401147-1568695658/solver-4401147-1568695658 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1438203455 HOME/instance-4401147-1568695658.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=24767, runsolver pid=24764
Current StackSize limit: 8192 KiB


[startup+0.11024 s]*
/proc/loadavg: 2.04 1.64 1.45 3/217 24825
/proc/meminfo: memFree=28573524/32770624 swapFree=66926632/67108860
[pid=24767] ppid=24764 vsize=10355560 memory=22684 CPUtime=0.11 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 4915 12966 0 0 2 1 5 3 20 0 9 0 445821830 10604093440 5671 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2588890 5671 2102 1 0 2551431 0
[pid=24767/tid=24820] ppid=24764 vsize=10355560 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 2687 12966 0 0 1 0 5 3 20 0 9 0 445821839 10604093440 5671 33554432000 4194304 4196468 140736482957728 140536500612976 140536512857438 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 9 0 445821840 10604093440 5671 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10355560 memory=139767643396873 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 9 0 445821840 10604093440 5671 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 9 0 445821840 10604093440 5671 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 9 0 445821840 10604093440 5671 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 9 0 445821841 10604093440 5671 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 13 12966 0 0 0 0 5 3 20 0 9 0 445821842 10604093440 5671 33554432000 4194304 4196468 140736482957728 140535423559072 140536528787157 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 9 0 445821842 10604093440 5671 33554432000 4194304 4196468 140736482957728 140535289341488 140536528787157 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22684 KiB

[startup+0.210144 s]*
/proc/loadavg: 2.04 1.64 1.45 4/226 24833
/proc/meminfo: memFree=28554592/32770624 swapFree=66926632/67108860
[pid=24767] ppid=24764 vsize=10820196 memory=44596 CPUtime=0.28 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 7421 12966 0 0 18 2 5 3 20 0 15 0 445821830 11079880704 11149 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2705049 11149 3305 1 0 2667149 0
[pid=24767/tid=24820] ppid=24764 vsize=10820196 memory=720575944405811505 CPUtime=0.2 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 3919 12966 0 0 11 1 5 3 20 0 15 0 445821839 11079880704 11149 33554432000 4194304 4196468 140736482957728 140536500582176 140536528800541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 11149 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10820196 memory=139767643396873 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 11149 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 11149 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 11149 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 445821841 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 13 12966 0 0 0 0 5 3 20 0 15 0 445821842 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535423559072 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821842 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535289341424 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) S 24764 24767 18141 0 -1 1077944384 359 12966 0 0 1 0 5 3 20 0 15 0 445821845 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535987165168 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 303 12966 0 0 1 0 5 3 20 0 15 0 445821845 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=10820196 memory=139767640233600 CPUtime=0.11 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) S 24764 24767 18141 0 -1 1077944384 603 12966 0 0 3 0 5 3 20 0 15 0 445821845 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535985060080 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24832] ppid=24764 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24832/stat : 24832 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11079880704 11149 33554432000 4194304 4196468 140736482957728 140534752471648 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24833] ppid=24764 vsize=10820196 memory=139767640233600 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24833/stat : 24833 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821845 11079880704 11149 33554432000 4194304 4196468 140736482957728 140535984007984 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44596 KiB

[startup+0.310525 s]*
/proc/loadavg: 2.04 1.64 1.45 3/226 24833
/proc/meminfo: memFree=28541516/32770624 swapFree=66926632/67108860
[pid=24767] ppid=24764 vsize=10820196 memory=52616 CPUtime=0.4 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 10880 12966 0 0 29 3 5 3 20 0 15 0 445821830 11079880704 13154 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2705049 13154 3316 1 0 2667149 0
[pid=24767/tid=24820] ppid=24764 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 7369 12966 0 0 19 2 5 3 20 0 15 0 445821839 11079880704 13154 33554432000 4194304 4196468 140736482957728 140536500596816 140536528798877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10820196 memory=-6957061461084680038 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 13154 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10820196 memory=1398720917958146503 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 13154 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 13154 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 445821840 11079880704 13154 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 445821841 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 13 12966 0 0 0 0 5 3 20 0 15 0 445821842 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535423559072 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821842 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535289341424 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) S 24764 24767 18141 0 -1 1077944384 359 12966 0 0 1 0 5 3 20 0 15 0 445821845 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535987165168 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 304 12966 0 0 2 0 5 3 20 0 15 0 445821845 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=10820196 memory=139767640233600 CPUtime=0.13 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) S 24764 24767 18141 0 -1 1077944384 611 12966 0 0 5 0 5 3 20 0 15 0 445821845 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535985060080 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24832] ppid=24764 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24832/stat : 24832 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11079880704 13154 33554432000 4194304 4196468 140736482957728 140534752471648 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24833] ppid=24764 vsize=10820196 memory=139767640233600 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24833/stat : 24833 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821845 11079880704 13154 33554432000 4194304 4196468 140736482957728 140535984007984 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52616 KiB

[startup+0.700694 s]
/proc/loadavg: 2.04 1.64 1.45 3/226 24835
/proc/meminfo: memFree=28526948/32770624 swapFree=66926632/67108860
[pid=24767] ppid=24764 vsize=10824364 memory=85876 CPUtime=1.14 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 15179 12966 0 0 101 5 5 3 20 0 15 0 445821830 11084148736 21469 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2706091 21469 3513 1 0 2668173 0
[pid=24767/tid=24820] ppid=24764 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 10491 12966 0 0 55 4 5 3 20 0 15 0 445821839 11084148736 21469 33554432000 4194304 4196468 140736482957728 140536500604112 140536528798877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11084148736 21469 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11084148736 21469 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821840 11084148736 21469 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 445821840 11084148736 21469 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10824364 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 5 12966 0 0 0 0 5 3 20 0 15 0 445821841 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10824364 memory=8076 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 13 12966 0 0 0 0 5 3 20 0 15 0 445821842 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535423559072 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10824364 memory=4008 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821842 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535289341424 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=10824364 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=10824364 memory=2832 CPUtime=0.21 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) R 24764 24767 18141 0 -1 4202560 797 12966 0 0 13 0 5 3 20 0 15 0 445821845 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535987152480 140536512163535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=10824364 memory=984 CPUtime=0.21 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 798 12966 0 0 13 0 5 3 20 0 15 0 445821845 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=10824364 memory=14012 CPUtime=0.25 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) R 24764 24767 18141 0 -1 4202560 853 12966 0 0 17 0 5 3 20 0 15 0 445821845 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535985060080 140536528798298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24832] ppid=24764 vsize=10824364 memory=11032 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24832/stat : 24832 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11084148736 21469 33554432000 4194304 4196468 140736482957728 140534752471648 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24833] ppid=24764 vsize=10824364 memory=2016 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24833/stat : 24833 (java) S 24764 24767 18141 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 445821845 11084148736 21469 33554432000 4194304 4196468 140736482957728 140535984007984 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85876 KiB

[startup+1.50076 s]
/proc/loadavg: 2.04 1.64 1.45 3/226 24835
/proc/meminfo: memFree=28305892/32770624 swapFree=66926632/67108860
[pid=24767] ppid=24764 vsize=10824364 memory=556180 CPUtime=2.84 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 18693 12966 0 0 228 48 5 3 20 0 15 0 445821830 11084148736 139045 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2706091 139045 3562 1 0 2668173 0
[pid=24767/tid=24820] ppid=24764 vsize=10824364 memory=101 CPUtime=1.29 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 11138 12966 0 0 107 14 5 3 20 0 15 0 445821839 11084148736 139045 33554432000 4194304 4196468 140736482957728 140536500605696 140536528798877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 492 12966 0 0 8 7 5 3 20 0 15 0 445821840 11084148736 139045 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10824364 memory=6944656592455360604 CPUtime=0.23 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 325 12966 0 0 7 8 5 3 20 0 15 0 445821840 11084148736 139045 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10824364 memory=-7812193691855998918 CPUtime=0.24 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 413 12966 0 0 8 8 5 3 20 0 15 0 445821840 11084148736 139045 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10824364 memory=8764446273926488160 CPUtime=0.22 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 234 12966 0 0 7 7 5 3 20 0 15 0 445821840 11084148736 139045 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10824364 memory=-7737605734073681312 CPUtime=0.09 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 335 12966 0 0 1 0 5 3 20 0 15 0 445821841 11084148736 139045 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10824364 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 13 12966 0 0 0 0 5 3 20 0 15 0 445821842 11084148736 139045 33554432000 4194304 4196468 140736482957728 140535423559072 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10824364 memory=7963917143609059915 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821842 11084148736 139045 33554432000 4194304 4196468 140736482957728 140535289341424 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=10824364 memory=4426066961269356074 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11084148736 139045 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=10824364 memory=-8412652152329899379 CPUtime=0.44 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) S 24764 24767 18141 0 -1 1077944384 1445 12966 0 0 36 0 5 3 20 0 15 0 445821845 11084148736 139045 33554432000 4194304 4196468 140736482957728 140535987165168 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=10824364 memory=8254383616069825415 CPUtime=0.34 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 1042 12966 0 0 26 0 5 3 20 0 15 0 445821845 11084148736 139045 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=10824364 memory=8326441112148417183 CPUtime=0.32 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) S 24764 24767 18141 0 -1 1077944384 1037 12966 0 0 24 0 5 3 20 0 15 0 445821845 11084148736 139045 33554432000 4194304 4196468 140736482957728 140535985060080 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0

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

/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 904537 12966 0 0 189275 93 5 3 20 0 15 0 445821839 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140536500602944 140536128552288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10849036 memory=4898936 CPUtime=122.54 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 82949 12966 0 0 12051 195 5 3 20 0 15 0 445821840 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10849036 memory=4905088 CPUtime=122.22 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 83400 12966 0 0 12007 207 5 3 20 0 15 0 445821840 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10849036 memory=4907140 CPUtime=122.39 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 81127 12966 0 0 12024 207 5 3 20 0 15 0 445821840 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10849036 memory=4898936 CPUtime=122.57 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 74921 12966 0 0 12052 197 5 3 20 0 15 0 445821840 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10849036 memory=279534995911904 CPUtime=4.25 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 69411 12966 0 0 402 15 5 3 20 0 15 0 445821841 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10849036 memory=4898936 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 28 12966 0 0 0 0 5 3 20 0 15 0 445821842 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535423559136 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 9 12966 0 0 0 0 5 3 20 0 15 0 445821842 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535289341440 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=10849036 memory=4907140 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=10849036 memory=139767497446881 CPUtime=7.83 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) S 24764 24767 18141 0 -1 1077944384 54534 12966 0 0 768 7 5 3 20 0 15 0 445821845 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535987165168 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=10849036 memory=4905088 CPUtime=7.8 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 58774 12966 0 0 765 7 5 3 20 0 15 0 445821845 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=10849036 memory=4898932 CPUtime=2.66 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) S 24764 24767 18141 0 -1 1077944384 40876 12966 0 0 251 7 5 3 20 0 15 0 445821845 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535985060080 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24832] ppid=24764 vsize=10849036 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24832/stat : 24832 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140534752471648 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24833] ppid=24764 vsize=10849036 memory=31316 CPUtime=1.35 cores=1,3,5,7
/proc/24767/task/24833/stat : 24833 (java) S 24764 24767 18141 0 -1 1077944384 1860 12966 0 0 59 68 5 3 20 0 15 0 445821845 11109412864 1226785 33554432000 4194304 4196468 140736482957728 140535984007984 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 2406.78 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4907140 KiB

[startup+2082.3 s]
/proc/loadavg: 1.36 1.43 1.48 3/227 25179
/proc/meminfo: memFree=24666840/32770624 swapFree=66926676/67108860
[pid=24767] ppid=24764 vsize=10849036 memory=4929684 CPUtime=2467.25 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 1517328 12966 0 0 245723 994 5 3 20 0 15 0 445821830 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2712259 1232421 3644 1 0 2674317 0
[pid=24767/tid=24820] ppid=24764 vsize=10849036 memory=4929684 CPUtime=1953.59 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 957851 12966 0 0 195254 97 5 3 20 0 15 0 445821839 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140536500596608 140536128551555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10849036 memory=4929680 CPUtime=122.68 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 86022 12966 0 0 12065 195 5 3 20 0 15 0 445821840 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10849036 memory=4911240 CPUtime=122.37 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 84825 12966 0 0 12022 207 5 3 20 0 15 0 445821840 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10849036 memory=4916872 CPUtime=122.55 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 82829 12966 0 0 12039 208 5 3 20 0 15 0 445821840 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10849036 memory=4923532 CPUtime=122.72 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 76328 12966 0 0 12067 197 5 3 20 0 15 0 445821840 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10849036 memory=4927632 CPUtime=4.27 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 69735 12966 0 0 404 15 5 3 20 0 15 0 445821841 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10849036 memory=4929680 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 28 12966 0 0 0 0 5 3 20 0 15 0 445821842 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535423559136 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10849036 memory=4927628 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 9 12966 0 0 0 0 5 3 20 0 15 0 445821842 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535289341440 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=10849036 memory=4929684 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=10849036 memory=4929684 CPUtime=7.83 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) S 24764 24767 18141 0 -1 1077944384 54540 12966 0 0 768 7 5 3 20 0 15 0 445821845 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535987165168 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=10849036 memory=4927632 CPUtime=7.8 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 58777 12966 0 0 765 7 5 3 20 0 15 0 445821845 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=10849036 memory=9364 CPUtime=2.67 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) S 24764 24767 18141 0 -1 1077944384 42271 12966 0 0 252 7 5 3 20 0 15 0 445821845 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535985060080 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24832] ppid=24764 vsize=10849036 memory=1120 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24832/stat : 24832 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140534752471648 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24833] ppid=24764 vsize=10849036 memory=4929684 CPUtime=1.39 cores=1,3,5,7
/proc/24767/task/24833/stat : 24833 (java) S 24764 24767 18141 0 -1 1077944384 1898 12966 0 0 61 70 5 3 20 0 15 0 445821845 11109412864 1232421 33554432000 4194304 4196468 140736482957728 140535984007984 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 2467.25 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4929684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2134.7 s]
/proc/loadavg: 1.34 1.41 1.47 3/227 25182
/proc/meminfo: memFree=24649564/32770624 swapFree=66926676/67108860
[pid=24767] ppid=24764 vsize=10849036 memory=4948136 CPUtime=2520.07 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 1541317 12966 0 0 250999 1000 5 3 20 0 15 0 445821830 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2712259 1237034 3644 1 0 2674317 0
[pid=24767/tid=24820] ppid=24764 vsize=10849036 memory=11060 CPUtime=2005.83 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 973625 12966 0 0 200477 98 5 3 20 0 15 0 445821839 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140536500598048 140536128545619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=10849036 memory=4948136 CPUtime=122.81 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 88013 12966 0 0 12077 196 5 3 20 0 15 0 445821840 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=10849036 memory=4948136 CPUtime=122.5 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 86322 12966 0 0 12034 208 5 3 20 0 15 0 445821840 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=10849036 memory=3580 CPUtime=122.67 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 84520 12966 0 0 12051 208 5 3 20 0 15 0 445821840 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=10849036 memory=4948136 CPUtime=122.85 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 78981 12966 0 0 12079 198 5 3 20 0 15 0 445821840 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=10849036 memory=4927632 CPUtime=4.28 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 70074 12966 0 0 405 15 5 3 20 0 15 0 445821841 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=10849036 memory=4935672 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 28 12966 0 0 0 0 5 3 20 0 15 0 445821842 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535423559136 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=10849036 memory=4948136 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 9 12966 0 0 0 0 5 3 20 0 15 0 445821842 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535289341440 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=10849036 memory=4948136 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=10849036 memory=2016 CPUtime=7.83 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) S 24764 24767 18141 0 -1 1077944384 54545 12966 0 0 768 7 5 3 20 0 15 0 445821845 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535987165168 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=10849036 memory=56 CPUtime=7.8 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 58779 12966 0 0 765 7 5 3 20 0 15 0 445821845 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=10849036 memory=4948136 CPUtime=2.67 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) S 24764 24767 18141 0 -1 1077944384 42273 12966 0 0 252 7 5 3 20 0 15 0 445821845 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535985060080 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24832] ppid=24764 vsize=10849036 memory=4948136 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24832/stat : 24832 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 445821845 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140534752471648 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24833] ppid=24764 vsize=10849036 memory=4948136 CPUtime=1.43 cores=1,3,5,7
/proc/24767/task/24833/stat : 24833 (java) S 24764 24767 18141 0 -1 1077944384 1933 12966 0 0 62 73 5 3 20 0 15 0 445821845 11109412864 1237034 33554432000 4194304 4196468 140736482957728 140535984007984 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4948136 KiB

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

[startup+2134.86 s]
# the end of solver process 24767 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.17 s, system=10.0756 s

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

[startup+2134.81 s]
/proc/loadavg: 1.34 1.41 1.47 3/227 25182
/proc/meminfo: memFree=24649564/32770624 swapFree=66926676/67108860
[pid=24767] ppid=24764 vsize=11045652 memory=4952328 CPUtime=2520.17 cores=1,3,5,7
/proc/24767/stat : 24767 (java) S 24764 24767 18141 0 -1 1077944320 1541770 12966 0 0 251009 1000 5 3 20 0 17 0 445821830 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140736482940272 140536528776951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
/proc/24767/statm: 2761413 1238082 3645 1 0 2723471 0
[pid=24767/tid=24820] ppid=24764 vsize=11045652 memory=6791534058613427641 CPUtime=2005.93 cores=1,3,5,7
/proc/24767/task/24820/stat : 24820 (java) R 24764 24767 18141 0 -1 4202560 973625 12966 0 0 200487 98 5 3 20 0 17 0 445821839 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140536500598048 140536128551555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24821] ppid=24764 vsize=11045652 memory=0 CPUtime=122.81 cores=1,3,5,7
/proc/24767/task/24821/stat : 24821 (java) S 24764 24767 18141 0 -1 1077944384 88013 12966 0 0 12077 196 5 3 20 0 17 0 445821840 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140536533018896 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24822] ppid=24764 vsize=11045652 memory=0 CPUtime=122.5 cores=1,3,5,7
/proc/24767/task/24822/stat : 24822 (java) S 24764 24767 18141 0 -1 1077944384 86322 12966 0 0 12034 208 5 3 20 0 17 0 445821840 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140536431909264 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24823] ppid=24764 vsize=11045652 memory=0 CPUtime=122.67 cores=1,3,5,7
/proc/24767/task/24823/stat : 24823 (java) S 24764 24767 18141 0 -1 1077944384 84520 12966 0 0 12051 208 5 3 20 0 17 0 445821840 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140536100809232 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24824] ppid=24764 vsize=11045652 memory=139767497958668 CPUtime=122.85 cores=1,3,5,7
/proc/24767/task/24824/stat : 24824 (java) S 24764 24767 18141 0 -1 1077944384 78981 12966 0 0 12079 198 5 3 20 0 17 0 445821840 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140536099756688 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24825] ppid=24764 vsize=11045652 memory=4948136 CPUtime=4.28 cores=1,3,5,7
/proc/24767/task/24825/stat : 24825 (java) S 24764 24767 18141 0 -1 1077944384 70074 12966 0 0 405 15 5 3 20 0 17 0 445821841 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535988218352 140536528788098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24826] ppid=24764 vsize=11045652 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24826/stat : 24826 (java) S 24764 24767 18141 0 -1 1077944384 28 12966 0 0 0 0 5 3 20 0 17 0 445821842 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535423559136 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24827] ppid=24764 vsize=11045652 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24827/stat : 24827 (java) S 24764 24767 18141 0 -1 1077944384 9 12966 0 0 0 0 5 3 20 0 17 0 445821842 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535289341440 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24828] ppid=24764 vsize=11045652 memory=8076 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24828/stat : 24828 (java) S 24764 24767 18141 0 -1 1077944384 252 12966 0 0 0 0 5 3 20 0 17 0 445821845 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535149710032 140536528795547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24829] ppid=24764 vsize=11045652 memory=4008 CPUtime=7.83 cores=1,3,5,7
/proc/24767/task/24829/stat : 24829 (java) S 24764 24767 18141 0 -1 1077944384 54545 12966 0 0 768 7 5 3 20 0 17 0 445821845 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535987165168 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24830] ppid=24764 vsize=11045652 memory=1556 CPUtime=7.8 cores=1,3,5,7
/proc/24767/task/24830/stat : 24830 (java) S 24764 24767 18141 0 -1 1077944384 58779 12966 0 0 765 7 5 3 20 0 17 0 445821845 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535986112624 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24831] ppid=24764 vsize=11045652 memory=2832 CPUtime=2.67 cores=1,3,5,7
/proc/24767/task/24831/stat : 24831 (java) S 24764 24767 18141 0 -1 1077944384 42273 12966 0 0 252 7 5 3 20 0 17 0 445821845 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535985060080 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24832] ppid=24764 vsize=11045652 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/24767/task/24832/stat : 24832 (java) S 24764 24767 18141 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 17 0 445821845 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140534752471648 140536528787157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
[pid=24767/tid=24833] ppid=24764 vsize=11045652 memory=1120 CPUtime=1.43 cores=1,3,5,7
/proc/24767/task/24833/stat : 24833 (java) S 24764 24767 18141 0 -1 1077944384 1933 12966 0 0 62 73 5 3 20 0 17 0 445821845 11310747648 1238082 33554432000 4194304 4196468 140736482957728 140535984007984 140536528788098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17575936 140736482966255 140736482968773 140736482968773 140736482971599 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 11045652 KiB
Current children cumulated memory: 4952328 KiB

Child status: 143
Real time (s): 2134.86
CPU time (s): 2520.25
CPU user time (s): 2510.17
CPU system time (s): 10.0756
CPU usage (%): 118.052
Max. virtual memory (cumulated for all children) (KiB): 11045652
Max. memory (cumulated for all children) (KiB): 8315000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.17
system time used= 10.0756
maximum resident set size= 8315000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1558922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76212
involuntary context switches= 6973


# summary of solver processes directly reported to runsolver:
#   pid: 24767
#   total CPU time (s): 2520.25
#   total CPU user time (s): 2510.17
#   total CPU system time (s): 10.0756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5354 second user time and 19.9579 second system time

The end

Launcher Data

Begin job on node107 at 2019-09-17 05:45:41
IDJOB=4401147
IDBENCH=141284
IDSOLVER=2857
FILE ID=node107/4401147-1568695658
RUNJOBID= node107-1568669613-18173
PBS_JOBID= 21703793
Free space on /tmp= 58432 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401147-1568695658/watcher-4401147-1568695658 -o /tmp/evaluation-result-4401147-1568695658/solver-4401147-1568695658 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18173 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1438203455 HOME/instance-4401147-1568695658.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1438203455

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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:        28584876 kB
MemAvailable:   30317988 kB
Buffers:          222016 kB
Cached:          1786748 kB
SwapCached:        76392 kB
Active:          2772644 kB
Inactive:         804888 kB
Active(anon):    1503092 kB
Inactive(anon):   109016 kB
Active(file):    1269552 kB
Inactive(file):   695872 kB
Unevictable:      111204 kB
Mlocked:          111204 kB
SwapTotal:      67108860 kB
SwapFree:       66926632 kB
Dirty:            618708 kB
Writeback:             0 kB
AnonPages:       1605252 kB
Mapped:            56140 kB
Shmem:             34248 kB
Slab:             196308 kB
SReclaimable:     167044 kB
SUnreclaim:        29264 kB
KernelStack:        3680 kB
PageTables:        10636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2509428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1474560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 58396 MiB
End job on node107 at 2019-09-17 06:21:17