Trace number 4396432

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.2SAT564258657 656.713 532.321

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-20-0420_c18.xml
MD5SUMa9a1ecda6b6f8f1e99c2d233168bcaa1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark506362597
Best CPU time to get the best result obtained on this benchmark131.185
Satisfiable
(Un)Satisfiability was proved
Number of variables7590
Number of constraints4736
Number of domains77
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2665},{"size":11,"count":2250},{"size":12,"count":1},{"size":25,"count":16},{"size":29,"count":112},{"size":33,"count":7},{"size":35,"count":61},{"size":39,"count":31},{"size":41,"count":3},{"size":44,"count":12},{"size":45,"count":29},{"size":47,"count":9},{"size":48,"count":23},{"size":49,"count":22},{"size":50,"count":3},{"size":51,"count":51},{"size":52,"count":61},{"size":54,"count":8},{"size":57,"count":6},{"size":58,"count":4},{"size":59,"count":3},{"size":60,"count":3},{"size":61,"count":12},{"size":63,"count":25},"...",{"size":92,"count":2}, {"size":93,"count":25}, {"size":97,"count":3}, {"size":101,"count":4}, {"size":102,"count":9}, {"size":103,"count":191}, {"size":105,"count":1}, {"size":108,"count":5}, {"size":109,"count":2}, {"size":111,"count":1}, {"size":112,"count":6}, {"size":115,"count":10}, {"size":116,"count":22}, {"size":118,"count":95}, {"size":122,"count":59}, {"size":123,"count":1}, {"size":124,"count":1}, {"size":125,"count":117}, {"size":126,"count":92}, {"size":127,"count":5}, {"size":137,"count":27}, {"size":138,"count":29}, {"size":140,"count":24}, {"size":141,"count":77}, {"size":151,"count":1259}]
Minimum variable degree2
Maximum variable degree2251
Distribution of variable degrees[{"degree":2,"count":6752},{"degree":3,"count":9},{"degree":4,"count":14},{"degree":5,"count":23},{"degree":6,"count":28},{"degree":7,"count":33},{"degree":8,"count":45},{"degree":9,"count":53},{"degree":10,"count":63},{"degree":11,"count":79},{"degree":12,"count":105},{"degree":13,"count":196},{"degree":14,"count":147},{"degree":15,"count":22},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":2251,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":237},{"arity":3,"count":2249},{"arity":6,"count":2250}]
Number of extensional constraints2250
Number of intensional constraints2486
Distribution of constraint types[{"type":"extension","count":2250},{"type":"intension","count":2486}]
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.78/0.55	c Concrete v3.12.2.1568380929293 running
573.35/452.29	o 564303670
575.99/454.12	o 564281177
577.18/455.16	o 564281170
578.91/456.81	o 564258667
580.22/458.18	o 564258657
656.58/532.27	c 23:23:35.341 [main] ERROR c.constraint.semantic.AbsDiffAC - _10 {0, 1, 2, 3, [419...], 424} =AC= |f[419] {2260, 2264, 2268, 2272, [120...], 2756} - f[59] {2436, 2440, 2444, 2448, [58...], 2684}|} was revised (-> _10 <- {0, 4, 8, 12, [102...], 424})
656.58/532.27	c 23:23:35.345 [main] ERROR concrete.filter.ACC - ACC control failed on 7206. _10 {0, 1, 2, 3, [419...], 424} =AC= |f[419] {2260, 2264, 2268, 2272, [120...], 2756} - f[59] {2436, 2440, 2444, 2448, [58...], 2684}|
656.58/532.27	Exception in thread "main" java.lang.AssertionError: assertion failed
656.58/532.27		at scala.Predef$.assert(Predef.scala:267)
656.58/532.27		at concrete.filter.ACC.reduce(ACC.scala:145)
656.58/532.27		at concrete.filter.ACC.reduceAfter(ACC.scala:90)
656.58/532.27		at concrete.MAC.$anonfun$mac$1(MAC.scala:166)
656.58/532.27		at concrete.ProblemState.andThen(ProblemState.scala:234)
656.58/532.27		at concrete.MAC.mac(MAC.scala:166)
656.58/532.27		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
656.58/532.27		at scala.util.Try$.apply(Try.scala:212)
656.58/532.27		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
656.58/532.27		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
656.58/532.27		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
656.58/532.27		at concrete.MAC.oneRun(MAC.scala:265)
656.58/532.27		at concrete.MAC.nextSolution(MAC.scala:284)
656.58/532.27		at concrete.MAC.nextSolution(MAC.scala:369)
656.58/532.27		at concrete.Solver.hasNext(Solver.scala:160)
656.58/532.27		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
656.58/532.27		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
656.58/532.27		at concrete.Solver.foreach(Solver.scala:67)
656.58/532.27		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
656.58/532.27		at scala.util.Success.map(Try.scala:264)
656.58/532.27		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
656.58/532.27		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
656.58/532.27		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
656.58/532.27		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
656.58/532.27		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
656.58/532.27		at scala.Function0.apply$mcV$sp(Function0.scala:39)
656.58/532.27		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
656.58/532.27		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
656.58/532.27		at scala.App.$anonfun$main$1(App.scala:75)
656.58/532.27		at scala.App.$anonfun$main$1$adapted(App.scala:75)
656.58/532.27		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
656.58/532.27		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
656.58/532.27		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
656.58/532.27		at scala.App.main(App.scala:75)
656.58/532.27		at scala.App.main$(App.scala:73)
656.58/532.27		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
656.58/532.27		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
656.58/532.27	v <instantiation
656.58/532.27	v         cost = '564258657'>
656.58/532.27	v       <list>
656.58/532.27	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] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] 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] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] 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] v1[2177] v1[2178] v1[2179] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] 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] v2[2177] v2[2178] v2[2179] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] 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] d[2177] d[2178] d[2179] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248]
656.58/532.27	v       </list>
656.58/532.27	v       <values>
656.58/532.27	v         2808 2528 2476 2520 2504 2464 2820 2260 2348 2804 2516 2464 2556 2260 2716 2464 2780 2788 2592 2612 2504 2456 2556 2628 2664 2444 2244 2560 2404 2632 2532 2396 2720 2556 2688 2788 2628 2756 2588 2316 2476 2284 2704 2396 2608 2676 2264 2328 2352 2560 2756 2556 2260 2652 2716 2764 2304 2656 2532 2260 2568 2628 2516 2676 2628 2424 2260 2764 2516 2220 2776 2632 2620 2612 2692 2428 2676 2588 2776 2676 2648 2596 2528 2628 2260 2720 2308 2556 2820 2560 2220 2480 2648 2776 2672 2260 2720 2264 2300 2816 2428 2260 2628 2620 2704 2232 2652 2288 2612 2716 2664 2588 2276 2792 2720 2756 2392 2300 2820 2552 2456 2772 2776 2500 2724 2600 2780 2588 2220 2604 2760 2640 2820 2820 2636 2352 2556 2548 2820 2416 2360 2780 2556 2392 2408 2608 2812 2652 2556 2780 2672 2272 2556 2336 2276 2540 2588 2300 2716 2328 2536 2668 2520 2648 2680 2588 2688 2532 2392 2716 2372 2300 2688 2580 2504 2664 2720 2716 2696 2504 2680 2476 2516 2816 2448 2220 2300 2624 2608 2220 2312 2388 2556 2220 2236 2608 2236 2820 2628 2356 2780 2820 2580 2276 2440 2556 2820 2744 2300 2560 2648 2260 2448 2260 2360 2648 2720 2776 2676 2664 2748 2624 2780 2788 2612 2660 2768 2340 2816 2468 2812 2568 2780 2516 2628 2416 2284 2780 2680 2296 2260 2644 2780 2320 2528 2220 2220 2568 2516 2260 2748 2636 2284 2660 2324 2704 2348 2260 2596 2652 2332 2260 2648 2724 2516 2588 2768 2680 2220 2564 2320 2780 2440 2760 2492 2220 2340 2260 2628 2672 2592 2680 2424 2612 2600 2716 2568 2736 2300 2752 2260 2680 2820 2680 2244 2804 2232 2380 2800 2572 2300 2780 2564 2608 2600 2800 2332 2680 2588 2516 2528 2516 2676 2648 2492 2664 2820 2780 2680 2816 2568 2792 2820 2632 2700 2808 2720 2756 2640 2372 2288 2664 2220 2220 2260 2488 2820 2436 2820 2220 2224 2464 2260 2480 2220 2476 2356 2632 2516 2636 2596 2528 2272 2608 2672 2720 2764 2632 2752 2220 2492 2588 2780 2384 2720 2236 2308 2260 2284 2640 2548 2260 2748 2324 2684 2220 2588 2596 2588 2568 2540 2260 2780 2772 2752 2624 2304 2516 2716 2264 2628 2704 2648 2260 2652 2352 2436 2496 2628 2248 2588 2608 2604 2556 2516 2760 2764 2516 2464 2628 2648 2668 2712 2260 2368 2340 2272 2220 2600 2716 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 0 1 1 11 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 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 1 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 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 5 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 1 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 10 0 0 0 0 0 8 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 8 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 10 6 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 8 0 0 0 10 0 0 0 9 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 0 9 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 10 0 0 10 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 5 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 10 0 10 0 8 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 10 0 7 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 9 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 8 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 9 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 7 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 3 10 0 0 0 0 0 10 0 0 0 10 9 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 5 10 10 10 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 8 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 8 0 0 0 0 0 0 10 0 0 10 0 0 0 4 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 548 380 168 260 508 292 548 52 588 92 132 32 104 84 228 28 28 28 80 152 172 76 244 80 196 136 284 256 176 328 244 124 112 252 52 64 268 236 108 244 148 228 196 300 200 232 284 76 244 152 184 316 88 80 316 244 148 144 340 160 164 164 212 184 188 92 348 48 180 52 144 288 396 560 200 520 496 296 388 40 464 560 296 520 44 208 344 40 212 472 304 72 64 400 280 316 180 24 28 164 396 264 232 24 316 584 24 100 216 116 256 256 36 32 160 76 144 72 244 112 40 224 136 232 148 316 160 108 104 168 84 76 184 132 32 100 256 72 224 72 36 336 296 76 296 60 520 528 68 48 300 16 460 364 24 488 420 404 328 160 496 96 36 136 68 396 56 68 40 104 92 204 200 124 256 348 92 252 244 208 452 16 472 40 504 32 128 152 116 28 68 64 460 176 200 232 164 140 504 160 36 120 76 4 20 124 292 76 88 112 36 76 208 144 164 208 276 336 284 164 392 164 0 240 152 76 252 96 84 112 148 40 84 216 64 152 156 180 100 156 132 132 172 72 336 32 204 224 244 256 108 56 12 120 64 128 72 8 20 48 8 188 112 276 112 12 444 388 4 316 60 16 88 156 128 376 356 40 212 332 160 36 112 336 232 44 224 152 308 184 76 444 344 344 28 260 272 32 272 272 564 24 196 204 216 300 48 184 88 340 40 180 240 220 84 220 372 416 172 68 128 176 184 184 208 416 344 32 76 188 192 136 164 292 88 64 272 16 232 120 104 124 96 212 384 416 372 120 244 112 136 204 68 408 44 108 336 112 256 72 56 216 236 296 164 92 68 0 428 36 60 96 100 504 488 8 120 40 8 464 200 348 36 164 40 100 192 128 344 132 492 496 144 168 60 108 76 156 376 44 240 496 324 32 328 92 268 8 268 328 92 124 8 40 72 296 332 348 308 496 364 272 364 364 148 272 148 216 180 300 64 240 312 144 12 256 120 276 108 204 344 64 8 464 340 496 132 64 368 536 64 96 176 316 444 188 112 176 176 204 112 284 40 144 348 64 32 52 216 248 64 212 128 12 112 104 348 248 144 316 392 292 96 4 160 336 108 516 24 92 492 420 336 424 4 340 52 256 216 72 68 88 260 208 104 4 0 340 124 68 108 496 168 316 332 48 44 456 160 108 496 160 76 204 124 40 124 268 40 396 516 520 344 148 280 24 36 312 228 520 0 12 32 20 0 96 104 128 352 128 4 392 388 24 412 148 212 200 480 200 104 92 504 176 52 504 164 28 384 36 16 288 504 424 284 372 332 376 500 44 380 456 460 120 248 116 420 132 360 324 84 124 396 60 288 384 272 272 236 68 176 260 248 352 512 368 112 296 212 348 192 408 40 152 304 192 44 320 4 40 280 204 148 0 284 160 92 152 84 48 320 96 104 4 136 412 48 276 188 136 192 144 132 52 44 176 224 396 200 92 168 392 320 268 392 420 0 44 208 164 232 248 464 84 120 64 504 248 88 112 252 136 112 296 100 164 256 292 12 172 92 80 568 204 216 388 0 368 244 44 544 44 440 448 80 328 516 328 556 164 44 40 404 12 28 340 204 20 332 24 332 372 40 124 128 64 400 200 64 160 400 184 52 196 56 352 68 208 16 92 392 332 132 432 48 40 448 96 124 88 24 176 24 168 224 288 192 88 352 208 100 364 220 44 120 92 4 456 128 48 160 40 40 96 52 52 516 512 188 168 32 556 40 24 4 300 260 516 436 4 44 16 40 16 44 440 36 160 28 160 428 4 68 144 348 72 52 176 76 296 224 220 80 0 52 44 348 28 160 100 120 120 36 252 72 192 192 152 112 368 44 52 100 276 132 4 484 364 0 540 520 216 256 372 80 0 112 252 340 328 512 440 372 356 444 360 404 296 260 148 28 52 200 12 52 588 0 484 544 492 240 124 560 208 0 184 384 168 260 56 64 260 104 204 192 152 56 336 560 448 80 560 532 572 88 276 152 124 168 148 220 180 300 120 240 128 232 32 48 120 132 172 428 108 4 172 444 204 556 4 516 24 124 52 216 156 360 52 136 4 40 556 392 40 560 156 520 452 4 112 48 500 380 96 16 40 500 84 120 500 100 496 92 388 44 4 4 472 116 516 368 452 512 380 348 216 152 212 268 4 276 580 556 220 64 352 168 168 340 380 328 208 352 380 180 0 256 500 408 240 152 36 32 136 132 132 160 400 308 40 360 180 360 236 152 104 104 52 92 56 136 484 104 44 12 216 380 332 584 532 516 152 148 24 124 56 128 136 188 176 300 280 24 416 0 352 328 16 44 496 60 100 12 416 88 200 148 496 104 456 208 156 16 364 188 136 56 404 132 56 20 24 172 60 92 328 324 472 72 476 544 516 40 32 348 28 192 516 96 344 344 572 180 144 156 28 44 164 420 80 52 348 72 152 460 460 56 0 120 252 520 132 496 496 536 496 260 132 328 208 520 248 520 280 516 480 376 84 308 484 544 560 600 208 4 448 184 72 384 56 112 24 36 332 332 236 96 192 132 8 184 228 260 120 412 96 56 92 552 224 256 216 0 40 16 184 476 176 260 556 340 552 312 516 280 16 240 88 316 228 128 88 480 44 96 212 340 44 316 152 328 276 372 8 484 136 208 0 560 28 128 412 508 32 80 444 560 40 272 196 308 272 32 176 384 176 344 148 236 56 152 84 540 160 24 284 268 132 420 72 180 168 520 8 40 96 588 600 60 56 264 160 140 224 548 52 52 336 12 276 416 80 152 256 296 140 280 368 276 256 224 108 116 32 92 128 48 32 132 264 52 164 196 584 144 68 24 104 272 248 264 364 92 304 340 364 88 420 140 20 156 280 88 236 356 112 32 0 28 40 12 472 156 224 560 256 264 164 324 264 160 48 356 48 288 156 236 132 380 76 372 80 188 372 148 188 244 136 64 388 168 268 208 152 308 196 40 388 212 384 348 308 592 244 396 48 96 116 136 68 136 132 124 92 192 224 12 520 192 24 452 144 372 132 72 156 148 72 120 508 320 484 336 132 52 28 36 108 336 164 308 112 116 76 112 276 480 300 428 412 100 52 304 172 544 288 540 488 248 244 32 240 52 212 172 268 228 156 60 12 148 192 72 44 328 248 232 388 268 360 216 520 128 416 100 392 456 224 148 220 120 108 316 108 488 308 436 420 316 124 112 320 84 124 380 152 300 184 28 24 120 256 220 8 388 416 304 60 440 28 28 212 272 108 232 92 236 252 88 108 104 68 200 376 108 496 176 456 108 408 32 144 448 300 20 480 480 372 384 288 92 96 356 32 252 32 360 320 32 240 16 236 208 56 8 28 244 176 304 36 244 16 188 116 344 68 8 108 148 148 64 500 120 92 64 64 200 36 456 428 200 436 248 52 376 84 124 132 68 96 148 64 92 64 316 200 152 420 72 420 460 344 176 304 216 256 164 76 200 160 296 208 72 556 436 36 300 184 556 232 368 188 12 228 136 368 296 244 40 336 180 348 196 340 108 124 300 108 44 388 228 132 92 24 268 40 424 392 600 416 544 216 256 348 52 368 216 128 104 36 252 260 92 340 392 596 380 296 348 40 408 584 48 512 392 48 432 480 112 288 40 20 72 92 112 552 60 96 252 16 24 360 416 52 304 224 256 480 148 220 368 136 92 408 40 112 256 136 316 312 212 156 160 252 168 96 104 548 280 68 56 72 68 140 180 116 8 472 352 388 48 392 436 76 328 340 364 368 180 116 536 496 556 96 524 484 268 228 112 60 404 288 228 348 164 216 256 144 200 340 8 340 260 336 76 208 32 68 188 40 376 296 372 116 368 372 188 412 420 520 444 100 312 320 124 400 48 172 132 52 388 68 84 204 40 112 92 72 16 476 516 176 208 556 260 176 148 376 376 416 120 248 16 420 128 88 400 312 32 136 400 72 512 440 124 156 56 284 176 48 28 68 456 432 544 156 216 300 568 8 528 192 352 84 180 108 148 340 144 240 508 0 428 412 496 96 144 476 364 420 176 120 80 288 324 12 212 128 428 272 212 520 496 264 28 40 456 156 264 560 112 164 48 256 368 280 52 112 92 384 84 392 236 344 468 436 40 428 560 148 96 264 152 132 448 152 84 36 292 292 456 72 372 388 8 36 384 60 20 288 8 428 272 20 276 72 288 12 104 20 296 392 152 416 544 528 380 516 580 560 296 412 40 120 284 244 128 212 136 200 72 116 116 464 232 164 420 308 52 4 80 184 416 280 396 24 180 276 400 24 496 36 140 300 56 484 280 100 136 116 480 56 292 60 8 112 300 476 120 540 520 256 80 84 264 68 48 376 72 408 392 156 112 72 420 36 60 0 220 460 456 132 124 384 92 92 464 372 208 264 304 116 112 20 180 344 12 220 132 304 164 392 272 40 72 24 72 236 280 448 180 128 540 244 192 60 536 132 380 296 348 0 4 40 80 452 268 120 248 420 0 16 364 4 296 52 36 304 128 84 44 12 72 224 48 240 136 176 220 124 84 32 260 76 428 456 252 212 184 136 356 44 260 220 104 476 216 520 76 40 40 464 480 444 128 348 420 100 84 36 256 448 600 184 56 384 84 388 24 344 236 580 544 100 448 400 284 472 528 400 252 120 40 580 320 552 192 208 24 180 300 480 292 520 412 508 72 156 200 184 88 128 112 388 20 376 72 28 168 28 460 340 112 92 164 192 128 40 292 256 112 172 308 92 268 296 280 92 4 80 40 180 160 32 56 56 180 548 512 136 304 264 520 112 52 80 180 68 348 252 344 60 556 484 24 168 92 496 160 112 76 84 264 100 392 376 216 52 20 88 444 340 20 40 296 408 376 132 296 372 176 292 228 164 120 172 600 100 104 328 404 208 316 200 124 368 128 284 532 432 148 52 40 276 140 324 148 28 176 128 176 268 20 112 68 452 132 16 328 148 372 428 84 96 136 192 40 520 28 204 216 536 480 352 464 4 236 12 204 8 168 492 388 392 424 128 56 324 16 296 256 68 468 256 552 384 480 112 132 252 92 404 48 284 128 204 44 80 96
656.58/532.27	v       </values>
656.58/532.27	v     </instantiation>
656.58/532.27	s SATISFIABLE

Verifier Data

OK	564258657

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396432-1568409327/watcher-4396432-1568409327 -o /tmp/evaluation-result-4396432-1568409327/solver-4396432-1568409327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568393561-471 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=884066393 HOME/instance-4396432-1568409327.xml 

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

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


[startup+0.100086 s]*
/proc/loadavg: 1.66 1.53 1.52 2/215 5121
/proc/meminfo: memFree=30234548/32770624 swapFree=66995316/67108860
[pid=5068] ppid=5065 vsize=9972712 memory=16020 CPUtime=0.09 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 4268 13372 0 0 1 0 5 3 20 0 6 0 417184222 10212057088 4005 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2493178 4005 1897 1 0 2481616 0
[pid=5068/tid=5121] ppid=5065 vsize=9972712 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 2114 13372 0 0 0 0 5 3 20 0 6 0 417184232 10212057088 4071 33554432000 4194304 4196468 140732920266272 140017811935824 140017824179550 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=9972712 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 6 0 417184233 10212057088 4071 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=9972712 memory=140246361809437 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 6 0 417184233 10212057088 4071 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 6 0 417184233 10212057088 4071 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 6 0 417184233 10212057088 4071 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16020 KiB

[startup+0.210121 s]*
/proc/loadavg: 1.66 1.53 1.52 3/228 5134
/proc/meminfo: memFree=30212028/32770624 swapFree=66995316/67108860
[pid=5068] ppid=5065 vsize=10819664 memory=39652 CPUtime=0.25 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 7215 13372 0 0 16 1 5 3 20 0 15 0 417184222 11079335936 9913 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2704916 9913 3171 1 0 2667149 0
[pid=5068/tid=5121] ppid=5065 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 3711 13372 0 0 10 1 5 3 20 0 15 0 417184232 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017811914304 140017840120989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10819664 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10819664 memory=140246361809437 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10819664 memory=140246361802368 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184234 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017276020256 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184235 11079335936 9913 33554432000 4194304 4196468 140732920266272 140016672040304 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11079335936 9913 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) S 5065 5068 436 0 -1 1077944384 496 13372 0 0 1 0 5 3 20 0 15 0 417184238 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017365727600 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) S 5065 5068 436 0 -1 1077944384 164 13372 0 0 1 0 5 3 20 0 15 0 417184238 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017364674800 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10819664 memory=140246361802368 CPUtime=0.11 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) R 5065 5068 436 0 -1 4202560 607 13372 0 0 3 0 5 3 20 0 15 0 417184238 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11079335936 9913 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10819664 memory=140246361802368 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184238 11079335936 9913 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39652 KiB

[startup+0.310454 s]*
/proc/loadavg: 1.66 1.53 1.52 3/228 5134
/proc/meminfo: memFree=30198984/32770624 swapFree=66995316/67108860
[pid=5068] ppid=5065 vsize=10820148 memory=50796 CPUtime=0.4 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 10929 13372 0 0 29 3 5 3 20 0 15 0 417184222 11079831552 12699 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2705037 12699 3303 1 0 2667149 0
[pid=5068/tid=5121] ppid=5065 vsize=10820148 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 7410 13372 0 0 18 2 5 3 20 0 15 0 417184232 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017811898976 140017824179550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184233 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184234 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017276020256 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184235 11079831552 12699 33554432000 4194304 4196468 140732920266272 140016672040304 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11079831552 12699 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) R 5065 5068 436 0 -1 1077944384 505 13372 0 0 2 0 5 3 20 0 15 0 417184238 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017365727600 140017840110210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) S 5065 5068 436 0 -1 1077944384 165 13372 0 0 1 0 5 3 20 0 15 0 417184238 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017364674800 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10820148 memory=140246361802368 CPUtime=0.13 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) R 5065 5068 436 0 -1 1077944384 616 13372 0 0 5 0 5 3 20 0 15 0 417184238 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11079831552 12699 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10820148 memory=140246361802368 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184238 11079831552 12699 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50796 KiB

[startup+0.701219 s]
/proc/loadavg: 1.66 1.53 1.52 4/228 5134
/proc/meminfo: memFree=30185292/32770624 swapFree=66995316/67108860
[pid=5068] ppid=5065 vsize=10824360 memory=83232 CPUtime=1.13 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 15023 13372 0 0 100 5 5 3 20 0 15 0 417184222 11084144640 20808 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2706090 20808 3500 1 0 2668173 0
[pid=5068/tid=5121] ppid=5065 vsize=10824360 memory=4639059877604708710 CPUtime=0.66 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 10365 13372 0 0 54 4 5 3 20 0 15 0 417184232 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017811916096 140017763142200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10824360 memory=21156 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184233 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10824360 memory=280492502955488 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184233 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10824360 memory=280492502997792 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184233 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10824360 memory=140246361801249 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184233 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 5 13372 0 0 0 0 5 3 20 0 15 0 417184234 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017276020256 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184235 11084144640 20808 33554432000 4194304 4196468 140732920266272 140016672040304 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11084144640 20808 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) S 5065 5068 436 0 -1 1077944384 1000 13372 0 0 15 0 5 3 20 0 15 0 417184238 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017365727600 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) R 5065 5068 436 0 -1 4202560 585 13372 0 0 12 0 5 3 20 0 15 0 417184238 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017364674800 140017824485680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) S 5065 5068 436 0 -1 1077944384 831 13372 0 0 17 0 5 3 20 0 15 0 417184238 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11084144640 20808 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10824360 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184238 11084144640 20808 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83232 KiB

[startup+1.50123 s]
/proc/loadavg: 1.66 1.53 1.52 6/228 5134
/proc/meminfo: memFree=29987008/32770624 swapFree=66995316/67108860
[pid=5068] ppid=5065 vsize=10826484 memory=479452 CPUtime=3.5 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 20725 13372 0 0 296 46 5 3 20 0 15 0 417184222 11086319616 119863 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2706621 119863 3590 1 0 2668685 0
[pid=5068/tid=5121] ppid=5065 vsize=10826484 memory=22050362102800 CPUtime=1.27 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 11281 13372 0 0 110 9 5 3 20 0 15 0 417184232 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017811929600 140017427098906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10826484 memory=8112282956445269571 CPUtime=0.25 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 284 13372 0 0 9 8 5 3 20 0 15 0 417184233 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10826484 memory=196655 CPUtime=0.24 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 457 13372 0 0 8 8 5 3 20 0 15 0 417184233 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10826484 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 480 13372 0 0 8 8 5 3 20 0 15 0 417184233 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10826484 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 455 13372 0 0 9 8 5 3 20 0 15 0 417184233 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10826484 memory=280492502963072 CPUtime=0.09 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 312 13372 0 0 1 0 5 3 20 0 15 0 417184234 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10826484 memory=280492503390272 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017276020320 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10826484 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 2 13372 0 0 0 0 5 3 20 0 15 0 417184235 11086319616 119863 33554432000 4194304 4196468 140732920266272 140016672040304 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10826484 memory=5859271421084259688 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11086319616 119863 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10826484 memory=140246251583151 CPUtime=0.65 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) R 5065 5068 436 0 -1 4202560 2157 13372 0 0 57 0 5 3 20 0 15 0 417184238 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017365713624 140017821643297 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10826484 memory=-7384994778349281184 CPUtime=0.62 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) R 5065 5068 436 0 -1 4202560 1746 13372 0 0 54 0 5 3 20 0 15 0 417184238 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017364660824 140017819345816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10826484 memory=8761640388971749472 CPUtime=0.43 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) S 5065 5068 436 0 -1 1077944384 1321 13372 0 0 35 0 5 3 20 0 15 0 417184238 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10826484 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11086319616 119863 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10826484 memory=6944656592452938395 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1 13372 0 0 0 0 5 3 20 0 15 0 417184238 11086319616 119863 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 10826484 KiB

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


[startup+530.201 s]
/proc/loadavg: 1.48 1.63 1.62 4/228 5310
/proc/meminfo: memFree=25956032/32770624 swapFree=66995336/67108860
[pid=5068] ppid=5065 vsize=10849032 memory=4720780 CPUtime=654.58 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 399180 13372 0 0 64985 465 5 3 20 0 15 0 417184222 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2712258 1180195 3646 1 0 2674317 0
[pid=5068/tid=5121] ppid=5065 vsize=10849032 memory=1804 CPUtime=492.59 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 86290 13372 0 0 49207 44 5 3 20 0 15 0 417184232 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017811934064 140017442747254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10849032 memory=8112282956445269571 CPUtime=34.11 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 34750 13372 0 0 3310 93 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10849032 memory=1000 CPUtime=33.98 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 38348 13372 0 0 3291 99 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10849032 memory=14008 CPUtime=33.88 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 37805 13372 0 0 3280 100 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10849032 memory=6620 CPUtime=34.02 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 42524 13372 0 0 3303 91 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10849032 memory=4720772 CPUtime=3.22 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 31455 13372 0 0 310 4 5 3 20 0 15 0 417184234 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10849032 memory=4720772 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 38 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017276020384 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10849032 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016672040320 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10849032 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10849032 memory=928 CPUtime=9.97 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) S 5065 5068 436 0 -1 1077944384 41383 13372 0 0 985 4 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017365727600 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10849032 memory=916 CPUtime=9.95 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) S 5065 5068 436 0 -1 1077944384 44021 13372 0 0 981 6 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017364674800 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10849032 memory=3848 CPUtime=3.08 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) S 5065 5068 436 0 -1 1077944384 39144 13372 0 0 293 7 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10849032 memory=2608 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10849032 memory=2904 CPUtime=0.39 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1193 13372 0 0 15 16 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 654.58 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 4720780 KiB

[startup+531.001 s]
/proc/loadavg: 1.48 1.63 1.62 4/228 5310
/proc/meminfo: memFree=25956032/32770624 swapFree=66995336/67108860
[pid=5068] ppid=5065 vsize=10849032 memory=4720780 CPUtime=655.38 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 399246 13372 0 0 65065 465 5 3 20 0 15 0 417184222 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2712258 1180195 3646 1 0 2674317 0
[pid=5068/tid=5121] ppid=5065 vsize=10849032 memory=8112282956445269571 CPUtime=493.39 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 86356 13372 0 0 49287 44 5 3 20 0 15 0 417184232 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017811934064 140017433148928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10849032 memory=8556 CPUtime=34.11 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 34750 13372 0 0 3310 93 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10849032 memory=1052 CPUtime=33.98 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 38348 13372 0 0 3291 99 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10849032 memory=1708 CPUtime=33.88 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 37805 13372 0 0 3280 100 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10849032 memory=3440 CPUtime=34.02 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 42524 13372 0 0 3303 91 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10849032 memory=2832 CPUtime=3.22 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 31455 13372 0 0 310 4 5 3 20 0 15 0 417184234 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10849032 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 38 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017276020384 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10849032 memory=2016 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016672040320 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10849032 memory=2904 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10849032 memory=1384 CPUtime=9.97 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) S 5065 5068 436 0 -1 1077944384 41383 13372 0 0 985 4 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017365727600 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10849032 memory=776 CPUtime=9.95 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) S 5065 5068 436 0 -1 1077944384 44021 13372 0 0 981 6 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017364674800 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10849032 memory=1564 CPUtime=3.08 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) S 5065 5068 436 0 -1 1077944384 39144 13372 0 0 293 7 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10849032 memory=8556 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10849032 memory=1052 CPUtime=0.39 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1193 13372 0 0 15 16 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 655.38 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 4720780 KiB

[startup+531.801 s]
/proc/loadavg: 1.48 1.63 1.62 4/228 5310
/proc/meminfo: memFree=25956032/32770624 swapFree=66995336/67108860
[pid=5068] ppid=5065 vsize=10849032 memory=4720780 CPUtime=656.18 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 399300 13372 0 0 65145 465 5 3 20 0 15 0 417184222 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2712258 1180195 3646 1 0 2674317 0
[pid=5068/tid=5121] ppid=5065 vsize=10849032 memory=2016 CPUtime=494.19 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 86410 13372 0 0 49367 44 5 3 20 0 15 0 417184232 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017811934064 140017437756407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10849032 memory=4720780 CPUtime=34.11 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 34750 13372 0 0 3310 93 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10849032 memory=2608 CPUtime=33.98 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 38348 13372 0 0 3291 99 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10849032 memory=3632 CPUtime=33.88 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 37805 13372 0 0 3280 100 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10849032 memory=21184 CPUtime=34.02 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 42524 13372 0 0 3303 91 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10849032 memory=4706360 CPUtime=3.22 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 31455 13372 0 0 310 4 5 3 20 0 15 0 417184234 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10849032 memory=4706360 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 38 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017276020384 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10849032 memory=4706360 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016672040320 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10849032 memory=3212 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10849032 memory=3632 CPUtime=9.97 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) S 5065 5068 436 0 -1 1077944384 41383 13372 0 0 985 4 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017365727600 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10849032 memory=21184 CPUtime=9.95 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) S 5065 5068 436 0 -1 1077944384 44021 13372 0 0 981 6 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017364674800 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10849032 memory=8556 CPUtime=3.08 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) S 5065 5068 436 0 -1 1077944384 39144 13372 0 0 293 7 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10849032 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10849032 memory=1708 CPUtime=0.39 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1193 13372 0 0 15 16 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 656.18 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 4720780 KiB

[startup+532.201 s]
/proc/loadavg: 1.48 1.63 1.62 4/228 5310
/proc/meminfo: memFree=25956032/32770624 swapFree=66995336/67108860
[pid=5068] ppid=5065 vsize=10849032 memory=4720780 CPUtime=656.58 cores=1,3,5,7
/proc/5068/stat : 5068 (java) S 5065 5068 436 0 -1 1077944320 399313 13372 0 0 65185 465 5 3 20 0 15 0 417184222 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140732920248816 140017840099063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
/proc/5068/statm: 2712258 1180195 3646 1 0 2674317 0
[pid=5068/tid=5121] ppid=5065 vsize=10849032 memory=5904 CPUtime=494.59 cores=1,3,5,7
/proc/5068/task/5121/stat : 5121 (java) R 5065 5068 436 0 -1 4202560 86423 13372 0 0 49407 44 5 3 20 0 15 0 417184232 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017811934064 140017437429926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5122] ppid=5065 vsize=10849032 memory=8112282956445269571 CPUtime=34.11 cores=1,3,5,7
/proc/5068/task/5122/stat : 5122 (java) S 5065 5068 436 0 -1 1077944384 34750 13372 0 0 3310 93 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017844341392 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5123] ppid=5065 vsize=10849032 memory=1980 CPUtime=33.98 cores=1,3,5,7
/proc/5068/task/5123/stat : 5123 (java) S 5065 5068 436 0 -1 1077944384 38348 13372 0 0 3291 99 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017748544016 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5124] ppid=5065 vsize=10849032 memory=2356 CPUtime=33.88 cores=1,3,5,7
/proc/5068/task/5124/stat : 5124 (java) S 5065 5068 436 0 -1 1077944384 37805 13372 0 0 3280 100 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017747491216 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5125] ppid=5065 vsize=10849032 memory=1440 CPUtime=34.02 cores=1,3,5,7
/proc/5068/task/5125/stat : 5125 (java) S 5065 5068 436 0 -1 1077944384 42524 13372 0 0 3303 91 5 3 20 0 15 0 417184233 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017411086608 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5126] ppid=5065 vsize=10849032 memory=4720772 CPUtime=3.22 cores=1,3,5,7
/proc/5068/task/5126/stat : 5126 (java) S 5065 5068 436 0 -1 1077944384 31455 13372 0 0 310 4 5 3 20 0 15 0 417184234 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017366780784 140017840110210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5127] ppid=5065 vsize=10849032 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5127/stat : 5127 (java) S 5065 5068 436 0 -1 1077944384 38 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017276020384 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5128] ppid=5065 vsize=10849032 memory=820 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5128/stat : 5128 (java) S 5065 5068 436 0 -1 1077944384 13 13372 0 0 0 0 5 3 20 0 15 0 417184235 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016672040320 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5129] ppid=5065 vsize=10849032 memory=1764 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5129/stat : 5129 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016364640592 140017840117659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5130] ppid=5065 vsize=10849032 memory=111632 CPUtime=9.97 cores=1,3,5,7
/proc/5068/task/5130/stat : 5130 (java) S 5065 5068 436 0 -1 1077944384 41383 13372 0 0 985 4 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017365727600 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5131] ppid=5065 vsize=10849032 memory=4720780 CPUtime=9.95 cores=1,3,5,7
/proc/5068/task/5131/stat : 5131 (java) S 5065 5068 436 0 -1 1077944384 44021 13372 0 0 981 6 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017364674800 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5132] ppid=5065 vsize=10849032 memory=8112282956445269571 CPUtime=3.08 cores=1,3,5,7
/proc/5068/task/5132/stat : 5132 (java) S 5065 5068 436 0 -1 1077944384 39144 13372 0 0 293 7 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017363622000 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5133] ppid=5065 vsize=10849032 memory=4720772 CPUtime=0.08 cores=1,3,5,7
/proc/5068/task/5133/stat : 5133 (java) S 5065 5068 436 0 -1 1077944384 3 13372 0 0 0 0 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140016331081952 140017840109269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
[pid=5068/tid=5134] ppid=5065 vsize=10849032 memory=1408 CPUtime=0.39 cores=1,3,5,7
/proc/5068/task/5134/stat : 5134 (java) S 5065 5068 436 0 -1 1077944384 1193 13372 0 0 15 16 5 3 20 0 15 0 417184238 11109408768 1180195 33554432000 4194304 4196468 140732920266272 140017362570416 140017840110210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140732920269552 140732920272069 140732920272069 140732920274895 0
Current children cumulated CPU time: 656.58 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 4720780 KiB

[startup+532.305 s]*
/proc/loadavg: 1.53 1.64 1.62 3/216 5313
/proc/meminfo: memFree=30329116/32770624 swapFree=66995336/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 532.321
CPU time (s): 656.713
CPU user time (s): 651.993
CPU system time (s): 4.72055
CPU usage (%): 123.368
Max. virtual memory (cumulated for all children) (KiB): 10851608
Max. memory (cumulated for all children) (KiB): 4782324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 651.993
system time used= 4.72055
maximum resident set size= 4782324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26747
involuntary context switches= 2584


# summary of solver processes directly reported to runsolver:
#   pid: 5068
#   total CPU time (s): 656.713
#   total CPU user time (s): 651.993
#   total CPU system time (s): 4.72055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.47384 second user time and 4.88386 second system time

The end

Launcher Data

Begin job on node102 at 2019-09-13 23:14:42
IDJOB=4396432
IDBENCH=141274
IDSOLVER=2847
FILE ID=node102/4396432-1568409327
RUNJOBID= node102-1568393561-471
PBS_JOBID= 21701865
Free space on /tmp= 59172 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396432-1568409327/watcher-4396432-1568409327 -o /tmp/evaluation-result-4396432-1568409327/solver-4396432-1568409327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568393561-471 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=884066393 HOME/instance-4396432-1568409327.xml

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

MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1
RANDOM SEED=884066393

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30239156 kB
MemAvailable:   30744584 kB
Buffers:          160552 kB
Cached:           638212 kB
SwapCached:         9844 kB
Active:          1652124 kB
Inactive:         331908 kB
Active(anon):    1182088 kB
Inactive(anon):    34352 kB
Active(file):     470036 kB
Inactive(file):   297556 kB
Unevictable:      109896 kB
Mlocked:          109896 kB
SwapTotal:      67108860 kB
SwapFree:       66995316 kB
Dirty:            159840 kB
Writeback:             0 kB
AnonPages:       1286244 kB
Mapped:            48304 kB
Shmem:             22336 kB
Slab:             136112 kB
SReclaimable:     107340 kB
SUnreclaim:        28772 kB
KernelStack:        3728 kB
PageTables:        10408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2203412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59136 MiB
End job on node102 at 2019-09-13 23:23:35