Trace number 4293958

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.8-SuperNG 2018-06-13SAT (TO)565429095 2520.16 2158.3

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 benchmark92.8369
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.99/0.74	c Concrete v3.8.1528841891564 running
104.75/73.30	o 565451605
105.55/74.02	o 565429095
2520.05/2158.23	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2158.23		at concrete.MAC.mac(MAC.scala:188)
2520.05/2158.23		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2158.23		at scala.util.Try$.apply(Try.scala:209)
2520.05/2158.23		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2158.23		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2158.23		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2158.23		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2158.23		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2158.23		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2158.23		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2158.23		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2158.23		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2158.23		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2158.23		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2158.23		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2158.23		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2158.23		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2158.23		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2158.23		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2158.23		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2158.23		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2158.23		at scala.util.Success.map(Try.scala:209)
2520.05/2158.23		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2158.23		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2158.23		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2158.23		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2158.23		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2158.23		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2158.23		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2158.23		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2158.23		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2158.23		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2158.23		at scala.App.main(App.scala:76)
2520.05/2158.23		at scala.App.main$(App.scala:74)
2520.05/2158.23		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2158.23		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2158.24	v <instantiation cost="565429095">
2520.05/2158.24	v       <list>
2520.05/2158.24	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]
2520.05/2158.24	v       </list>
2520.05/2158.24	v       <values>
2520.05/2158.24	v         2608 2528 2556 2524 2424 2464 2776 2780 2792 2276 2596 2464 2556 2760 2716 2540 2756 2260 2588 2612 2384 2260 2556 2628 2352 2448 2240 2572 2408 2712 2532 2796 2680 2556 2688 2220 2628 2644 2588 2260 2572 2652 2528 2392 2608 2676 2264 2312 2352 2492 2756 2556 2260 2572 2716 2820 2304 2616 2516 2688 2608 2340 2260 2676 2628 2424 2312 2764 2516 2820 2780 2744 2620 2612 2624 2428 2676 2588 2276 2676 2648 2596 2684 2628 2760 2660 2708 2556 2280 2564 2800 2504 2632 2780 2672 2260 2724 2264 2300 2820 2480 2300 2628 2220 2704 2388 2648 2768 2612 2604 2664 2584 2260 2796 2648 2756 2368 2300 2780 2628 2456 2776 2820 2500 2260 2556 2784 2588 2220 2612 2684 2720 2740 2560 2636 2420 2556 2624 2444 2220 2360 2260 2556 2392 2404 2328 2736 2664 2556 2780 2592 2260 2556 2336 2220 2640 2220 2272 2716 2660 2532 2668 2532 2648 2680 2584 2592 2572 2380 2508 2368 2260 2688 2600 2500 2584 2680 2716 2656 2424 2700 2220 2516 2780 2444 2820 2308 2392 2688 2804 2312 2388 2556 2220 2220 2608 2260 2820 2628 2352 2572 2512 2580 2772 2464 2556 2220 2740 2260 2572 2648 2764 2348 2220 2220 2288 2720 2784 2756 2664 2220 2624 2484 2792 2608 2664 2648 2340 2236 2440 2224 2572 2520 2516 2588 2416 2732 2780 2680 2296 2260 2720 2816 2320 2568 2220 2220 2568 2516 2260 2260 2636 2280 2260 2692 2700 2748 2260 2516 2652 2332 2780 2608 2724 2516 2588 2792 2720 2220 2628 2260 2552 2260 2760 2556 2220 2220 2268 2628 2672 2632 2720 2428 2452 2532 2716 2644 2744 2300 2672 2260 2680 2744 2680 2228 2780 2220 2380 2800 2572 2316 2740 2572 2608 2612 2800 2408 2688 2588 2516 2612 2516 2676 2648 2492 2568 2796 2712 2680 2820 2648 2712 2532 2672 2704 2752 2720 2468 2556 2372 2272 2352 2800 2220 2260 2388 2820 2756 2752 2220 2304 2464 2260 2220 2804 2476 2220 2632 2516 2636 2596 2528 2272 2648 2784 2720 2316 2632 2752 2728 2532 2628 2240 2388 2720 2812 2752 2260 2268 2516 2628 2764 2752 2692 2680 2260 2588 2596 2588 2568 2540 2260 2780 2264 2756 2392 2304 2516 2716 2344 2624 2704 2648 2276 2492 2408 2612 2492 2628 2728 2588 2608 2588 2556 2516 2760 2220 2516 2424 2260 2648 2300 2712 2260 2620 2340 2348 2220 2516 2716 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 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 11 1 0 1 0 0 1 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 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 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 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 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 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 0 0 1 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 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 1 0 0 0 0 1 0 0 0 0 0 1 0 1 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 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 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 0 0 1 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 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 10 0 10 0 0 10 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 10 0 0 0 0 10 0 10 0 0 0 10 0 0 0 10 0 9 10 10 0 0 10 0 10 10 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 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 10 0 10 0 0 0 0 0 10 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 0 0 0 0 0 10 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 10 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 10 0 0 10 0 10 9 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 10 5 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 2 10 0 10 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 8 0 9 10 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 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 1 10 0 0 0 10 10 0 0 10 0 0 10 0 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 10 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 9 0 0 0 0 10 10 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 0 0 0 10 0 10 10 0 0 0 0 0 10 10 0 0 10 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 0 0 10 0 0 10 0 0 10 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 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 1 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 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 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 10 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 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 10 0 0 0 0 0 10 0 10 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 10 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 3 0 10 0 0 0 0 0 0 10 0 0 0 0 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 10 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 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 10 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 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 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 10 0 0 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 9 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 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 10 0 10 0 10 10 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 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 0 10 0 0 10 0 0 5 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 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 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 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 10 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 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 9 0 10 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 10 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 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 7 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 10 10 0 3 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 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 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 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 7 0 0 0 0 10 0 0 0 0 0 0 0 0 10 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 0 0 10 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 10 0 0 0 0 10 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 0 10 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 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 296 128 112 16 348 92 388 140 120 108 136 36 104 84 228 28 28 28 80 152 176 60 168 0 36 216 204 336 256 224 336 56 32 252 28 264 304 128 184 264 144 304 168 272 196 252 288 56 124 4 264 204 208 4 108 164 204 224 188 160 124 164 212 184 200 96 240 48 184 52 184 260 352 464 556 468 84 224 148 480 520 268 224 228 476 236 168 84 228 348 128 20 60 532 164 440 264 100 504 444 128 364 296 464 112 528 36 428 312 116 336 296 32 28 244 132 68 8 324 336 80 224 152 76 148 316 72 112 104 208 164 76 184 132 28 100 180 72 224 72 76 336 296 336 296 64 4 500 448 52 196 12 40 136 28 500 80 408 172 160 104 20 36 136 68 396 456 108 40 184 16 148 124 44 108 196 172 176 320 244 444 8 48 312 16 496 104 128 404 4 44 40 52 352 324 296 132 388 472 368 492 40 452 8 24 80 328 72 100 368 36 72 204 144 168 332 276 392 48 168 192 264 160 240 32 96 372 172 200 4 268 80 244 336 184 24 352 376 296 40 368 328 368 72 264 32 128 224 244 296 208 52 16 120 64 124 72 8 20 48 8 368 112 220 112 324 448 92 316 396 372 368 320 444 360 80 400 40 168 332 164 44 116 292 228 60 356 148 308 172 172 448 348 344 20 260 276 532 276 276 512 20 72 248 296 188 116 168 284 352 40 192 228 140 96 232 372 128 20 72 188 192 396 188 44 336 344 204 156 108 248 64 272 492 88 64 312 16 456 536 296 536 524 188 224 572 4 280 240 528 520 420 16 368 76 72 292 72 256 72 52 216 296 296 164 92 68 96 428 36 60 56 100 432 80 40 448 0 264 472 368 40 452 172 40 56 96 160 360 136 380 344 32 424 136 356 76 112 264 156 128 384 324 32 328 92 268 72 328 328 92 124 8 36 72 352 372 404 364 36 420 328 420 428 204 328 164 312 44 208 68 312 220 240 184 232 24 184 48 224 312 148 392 432 28 168 236 96 0 144 432 80 156 140 308 12 104 84 0 164 340 288 172 148 80 64 112 52 228 388 64 144 388 12 112 104 364 248 232 456 396 288 412 424 160 292 104 552 108 92 92 52 40 440 380 12 80 256 220 76 136 140 192 72 92 64 80 272 188 136 108 456 172 496 328 24 44 440 160 108 480 160 188 136 124 40 124 284 40 356 520 524 352 144 380 0 36 312 128 20 504 88 48 100 76 16 52 208 312 244 76 312 228 56 412 108 292 200 496 200 184 36 60 600 40 560 288 76 440 20 108 344 560 480 284 452 332 416 476 44 376 456 84 164 212 24 356 176 320 284 44 124 148 20 4 268 256 256 276 52 296 244 248 76 424 60 152 348 172 388 152 460 328 144 352 456 444 412 52 296 40 460 404 256 540 40 348 40 256 416 324 96 104 4 136 332 48 208 368 72 96 364 132 56 16 108 224 396 32 92 168 336 268 256 340 368 36 104 208 208 192 248 504 84 44 60 504 248 88 112 252 148 112 292 100 204 248 236 12 440 508 560 28 392 64 172 560 232 396 500 392 0 444 120 124 336 16 432 560 328 36 40 408 464 28 168 264 132 484 56 484 524 72 276 16 64 400 120 64 196 360 184 48 392 56 168 108 208 12 92 392 264 52 140 96 28 396 28 56 156 92 108 324 168 220 288 208 88 388 208 184 284 220 16 120 28 4 124 48 52 160 40 40 96 32 72 484 12 56 412 464 56 468 524 436 200 240 16 64 4 44 12 40 416 44 136 160 160 28 160 428 16 140 148 340 72 56 180 64 336 376 360 80 80 12 80 132 128 4 56 76 36 152 96 168 68 184 408 112 152 44 60 16 220 136 496 20 136 500 40 48 284 244 128 420 60 52 144 76 72 488 448 12 356 44 408 4 296 264 148 12 52 88 12 52 108 500 56 60 380 320 376 484 172 464 356 332 196 120 64 172 344 212 344 188 148 540 244 540 132 492 316 128 88 48 252 156 152 144 84 244 188 236 108 216 96 412 48 24 64 116 120 96 92 4 168 448 208 24 540 16 24 288 452 216 156 360 52 80 372 40 560 388 40 560 156 520 452 120 396 132 504 384 488 24 36 504 56 112 76 28 420 464 400 44 4 516 480 116 448 368 452 76 388 348 216 156 208 196 84 180 560 56 224 64 92 260 36 312 272 12 260 300 420 164 32 216 460 0 240 56 36 368 96 136 132 560 600 92 360 0 40 40 168 44 296 296 56 92 56 60 24 52 168 416 40 64 184 432 72 364 148 148 28 120 52 132 132 224 304 140 200 424 64 4 168 344 16 12 384 180 368 96 304 176 88 44 196 148 344 208 220 56 364 188 136 56 388 128 12 24 24 168 24 104 324 296 40 488 412 536 452 552 492 132 16 240 576 140 352 448 576 344 148 160 480 44 172 348 72 20 280 0 80 380 388 80 72 132 256 536 132 496 496 28 480 296 108 352 148 260 324 144 300 64 220 376 88 308 444 560 16 560 328 40 408 144 28 168 560 164 16 112 408 368 236 96 192 132 8 184 224 260 112 556 20 60 96 48 148 260 248 36 584 60 188 520 208 304 20 64 516 356 560 280 16 240 88 320 228 128 88 32 420 364 168 296 164 276 116 284 136 380 8 488 64 212 44 20 28 292 164 436 32 52 444 596 40 272 208 316 280 40 128 192 372 152 144 8 96 4 72 464 152 60 208 152 56 344 148 76 32 468 516 76 16 520 520 20 520 4 104 160 36 288 44 52 376 12 416 416 80 4 268 188 136 252 300 160 180 224 108 116 32 92 132 108 108 64 356 132 88 52 224 232 308 172 312 372 364 480 560 472 500 248 560 100 456 140 140 156 196 88 236 356 408 40 224 412 536 452 492 132 296 40 180 336 164 336 264 160 32 172 132 296 236 236 236 388 72 336 16 400 164 360 192 88 56 264 108 456 12 92 432 28 452 320 472 424 24 68 312 84 164 320 516 108 16 148 56 148 36 124 132 196 224 12 520 152 56 372 356 292 188 20 76 160 76 120 312 372 208 388 36 52 12 76 12 336 164 172 108 468 428 12 116 484 300 20 416 276 440 380 224 524 352 600 96 152 344 68 100 252 116 20 292 560 520 68 312 524 492 296 412 40 120 300 416 296 12 244 260 132 456 480 24 456 184 148 224 216 144 60 440 160 24 344 92 288 272 184 80 4 44 396 152 312 172 28 24 144 176 168 12 332 320 204 32 136 72 148 252 208 144 352 120 208 340 160 180 312 140 8 288 140 248 32 232 100 204 28 148 164 416 40 312 260 524 420 328 116 56 280 32 68 32 204 164 148 144 28 220 228 36 28 280 240 180 252 40 240 116 364 232 264 68 88 28 68 68 68 460 164 324 144 100 200 4 448 444 200 108 308 64 336 204 88 84 340 140 72 40 92 164 108 280 132 80 92 440 480 292 40 332 208 256 204 256 200 160 296 92 40 520 400 68 264 148 520 236 376 184 168 224 600 192 304 396 32 328 88 380 172 340 124 132 300 124 92 468 308 212 172 56 348 40 84 352 60 168 488 192 256 52 52 408 300 128 168 40 168 260 92 352 388 16 392 296 428 40 40 0 512 40 408 48 80 496 112 288 0 20 112 92 112 532 36 72 128 544 504 336 232 172 304 304 192 600 36 304 368 72 92 100 40 112 256 132 432 132 4 152 152 56 140 212 204 240 28 292 56 72 68 140 180 156 40 512 144 420 80 472 60 52 328 88 316 288 204 116 512 472 124 452 520 480 264 224 108 60 400 328 352 388 164 212 336 128 188 352 76 228 180 268 76 388 32 68 416 544 128 208 396 224 472 184 288 452 460 560 484 560 452 468 592 540 244 188 228 308 28 428 84 204 40 72 460 84 24 484 524 172 136 16 268 268 188 456 440 496 200 248 16 436 48 88 320 256 264 388 528 576 592 532 172 156 56 404 176 160 132 68 208 264 328 92 220 404 12 552 28 196 348 4 104 112 184 344 148 80 388 144 428 428 376 136 256 104 360 420 176 460 80 80 320 544 280 220 164 316 208 260 240 4 232 300 172 128 4 300 72 164 112 256 328 160 92 72 132 384 8 336 76 104 20 12 40 20 560 148 100 264 156 132 460 68 460 36 292 292 460 324 412 388 84 72 460 16 16 284 552 408 312 4 276 408 288 52 140 60 296 232 152 416 96 532 312 524 580 492 296 412 40 120 288 124 308 212 136 200 72 156 116 464 296 168 420 308 540 492 40 104 416 416 440 20 144 128 0 56 104 420 228 300 60 480 272 80 52 52 396 60 192 476 528 64 100 484 120 540 452 256 80 204 108 96 112 296 72 424 392 56 472 432 424 288 16 512 560 60 64 92 344 264 96 92 448 316 208 36 16 156 108 24 204 360 24 164 132 320 204 448 336 40 72 40 136 296 256 144 0 308 540 244 112 8 456 500 392 296 428 580 84 40 40 492 428 40 368 540 8 40 124 76 288 92 276 64 128 204 44 44 112 220 120 80 300 160 152 56 16 100 192 160 444 456 292 424 256 60 364 32 268 228 112 484 216 452 4 24 40 400 400 80 280 348 420 440 460 36 172 372 524 108 428 132 84 444 500 400 132 476 520 188 468 412 296 484 540 332 252 120 40 580 580 72 192 168 24 184 224 76 352 24 120 392 64 148 256 180 80 40 112 388 20 308 172 352 168 536 460 376 148 60 172 192 128 40 212 256 256 92 392 144 352 212 296 92 4 80 40 184 160 32 56 152 240 524 44 116 236 196 452 112 52 164 184 68 152 104 344 388 100 40 24 248 96 208 336 196 160 0 264 100 56 380 216 540 480 400 376 340 328 540 284 540 376 188 296 372 352 148 376 104 232 172 600 32 36 408 44 320 224 120 124 0 188 0 48 312 184 456 40 412 100 120 148 44 176 320 176 252 20 72 108 56 244 436 296 148 372 60 452 96 96 388 4 524 516 200 128 548 96 224 488 84 232 108 96 88 88 8 20 24 420 128 104 248 16 296 256 68 40 252 44 136 408 108 132 292 92 236 96 128 128 204 412 80 272
2520.05/2158.24	v       </values>
2520.05/2158.24	v     </instantiation>
2520.05/2158.24	s SATISFIABLE

Verifier Data 

OK	565429095

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293958-1532398940/watcher-4293958-1532398940 -o /tmp/evaluation-result-4293958-1532398940/solver-4293958-1532398940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1294762579 -superng HOME/instance-4293958-1532398940.xml 

running on 4 cores: 0,2,4,6

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

solver pid=22342, runsolver pid=22339

[startup+0.100117 s]*
/proc/loadavg: 2.50 1.94 2.13 2/207 22399
/proc/meminfo: memFree=23523404/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=9972712 memory=18592 CPUtime=0.09 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 4267 12922 0 0 1 0 5 3 20 0 6 0 57457299 10212057088 4648 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2493178 4648 1934 1 0 2481616 0
[pid=22342/tid=22395] ppid=22339 vsize=9972712 memory=4279135703946986127 CPUtime=0.09 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 2075 12922 0 0 1 0 5 3 20 0 6 0 57457308 10212057088 4648 33554432000 4194304 4196468 140720360205120 140151049785936 140151077971101 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 6 0 57457308 10212057088 4648 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=9972712 memory=139818166879872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 6 0 57457308 10212057088 4648 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 6 0 57457308 10212057088 4648 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 6 0 57457309 10212057088 4648 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209845 s]*
/proc/loadavg: 2.50 1.94 2.13 3/216 22408
/proc/meminfo: memFree=23505632/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=10818936 memory=42944 CPUtime=0.26 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 9161 12922 0 0 17 1 5 3 20 0 15 0 57457299 11078590464 10736 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2704734 10736 2936 1 0 2667157 0
[pid=22342/tid=22395] ppid=22339 vsize=10818936 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 5851 12922 0 0 11 1 5 3 20 0 15 0 57457308 11078590464 10789 33554432000 4194304 4196468 140720360205120 140151049773984 140151070628893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10818936 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11078590464 10789 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10818936 memory=288370194318591616 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11078590464 10789 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11078590464 10789 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 57457309 11078590464 10789 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10818936 memory=139818166879872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 57457310 11078590464 10789 33554432000 4194304 4196468 140720360205120 140150080367216 140151077960322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 33 12922 0 0 0 0 5 3 20 0 15 0 57457310 11078590464 10789 33554432000 4194304 4196468 140720360205120 140150079313184 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457311 11078590464 10789 33554432000 4194304 4196468 140720360205120 140149950244464 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11078557696 10789 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 514 12922 0 0 1 0 5 3 20 0 15 0 57457313 11078557696 10789 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 57 12922 0 0 0 0 5 3 20 0 15 0 57457313 11078557696 10789 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10818904 memory=139818166879872 CPUtime=0.11 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) S 22339 22342 17273 0 -1 1077944384 579 12922 0 0 3 0 5 3 20 0 15 0 57457313 11078557696 10789 33554432000 4194304 4196468 140720360205120 140150043650416 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11078590464 10789 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10818936 memory=139818166879872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457314 11078590464 10789 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 42944 KiB

[startup+0.310381 s]*
/proc/loadavg: 2.50 1.94 2.13 3/216 22408
/proc/meminfo: memFree=23492740/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=10819352 memory=51296 CPUtime=0.39 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 10456 12922 0 0 29 2 5 3 20 0 15 0 57457299 11079016448 12824 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2704838 12824 3070 1 0 2667149 0
[pid=22342/tid=22395] ppid=22339 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 7047 12922 0 0 19 2 5 3 20 0 15 0 57457308 11079016448 12824 33554432000 4194304 4196468 140720360205120 140151049761184 140151070190565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11079016448 12824 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 57457309 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 57457310 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150080367216 140151077960322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 33 12922 0 0 0 0 5 3 20 0 15 0 57457310 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150079313184 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457311 11079016448 12824 33554432000 4194304 4196468 140720360205120 140149950244464 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11079016448 12824 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 515 12922 0 0 2 0 5 3 20 0 15 0 57457313 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 57 12922 0 0 1 0 5 3 20 0 15 0 57457313 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10819352 memory=139818166879872 CPUtime=0.13 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) R 22339 22342 17273 0 -1 4202560 601 12922 0 0 5 0 5 3 20 0 15 0 57457313 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150043650416 140151056653936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11079016448 12824 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10819352 memory=139818166879872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457314 11079016448 12824 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51296 KiB

[startup+0.700714 s]
/proc/loadavg: 2.50 1.94 2.13 4/216 22408
/proc/meminfo: memFree=23482912/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=10819352 memory=84308 CPUtime=0.99 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 16768 12922 0 0 87 4 5 3 20 0 15 0 57457299 11079016448 21077 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2704838 21077 3237 1 0 2667149 0
[pid=22342/tid=22395] ppid=22339 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 12258 12922 0 0 56 3 5 3 20 0 15 0 57457308 11079016448 21077 33554432000 4194304 4196468 140720360205120 140151049770000 140151063114757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11079016448 21077 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457308 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 57457309 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10819352 memory=6935649255861544529 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 5 12922 0 0 0 0 5 3 20 0 15 0 57457310 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150080367216 140151077960322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10819352 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 33 12922 0 0 0 0 5 3 20 0 15 0 57457310 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150079313184 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457311 11079016448 21077 33554432000 4194304 4196468 140720360205120 140149950244464 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11079016448 21077 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 1109 12922 0 0 9 0 5 3 20 0 15 0 57457313 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 460 12922 0 0 7 0 5 3 20 0 15 0 57457313 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) S 22339 22342 17273 0 -1 1077944384 698 12922 0 0 13 0 5 3 20 0 15 0 57457313 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150043650416 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11079016448 21077 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457314 11079016448 21077 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84308 KiB

[startup+1.50107 s]
/proc/loadavg: 2.50 1.94 2.13 3/216 22408
/proc/meminfo: memFree=23436704/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=10828032 memory=449848 CPUtime=2.98 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 22631 12922 0 0 247 43 5 3 20 0 15 0 57457299 11087904768 112462 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2707008 112462 3446 1 0 2668685 0
[pid=22342/tid=22395] ppid=22339 vsize=10828032 memory=4951091520830867572 CPUtime=1.32 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) S 22339 22342 17273 0 -1 1077944384 14614 12922 0 0 114 10 5 3 20 0 15 0 57457308 11087904768 112462 33554432000 4194304 4196468 140720360205120 140151049784864 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10828032 memory=4134606225630022328 CPUtime=0.2 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) R 22339 22342 17273 0 -1 4202560 182 12922 0 0 5 7 5 3 20 0 15 0 57457308 11087904768 112462 33554432000 4194304 4196468 140720360205120 140151082191248 140151071051892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10828032 memory=-5153075608533367657 CPUtime=0.2 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) R 22339 22342 17273 0 -1 4202560 215 12922 0 0 5 7 5 3 20 0 15 0 57457308 11087904768 112462 33554432000 4194304 4196468 140720360205120 140150970464528 140151071052248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10828032 memory=-7305901559662942359 CPUtime=0.21 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) R 22339 22342 17273 0 -1 4202560 252 12922 0 0 6 7 5 3 20 0 15 0 57457308 11087904768 112462 33554432000 4194304 4196468 140720360205120 140150969412240 140151071051892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10828032 memory=136076 CPUtime=0.2 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) R 22339 22342 17273 0 -1 4202560 508 12922 0 0 5 7 5 3 20 0 15 0 57457309 11087904768 112974 33554432000 4194304 4196468 140720360205120 140150968359640 140151071051892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10828032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 94 12922 0 0 0 0 5 3 20 0 15 0 57457310 11087904768 112974 33554432000 4194304 4196468 140720360205120 140150080365728 140151077959381 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10828032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 34 12922 0 0 0 0 5 3 20 0 15 0 57457310 11087904768 112974 33554432000 4194304 4196468 140720360205120 140150079313184 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10828032 memory=279636059685152 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 2 12922 0 0 0 0 5 3 20 0 15 0 57457311 11087904768 112974 33554432000 4194304 4196468 140720360205120 140149950244464 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10828032 memory=279636060100096 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11087904768 112974 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10828032 memory=139818029852288 CPUtime=0.45 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 1521 12922 0 0 37 0 5 3 20 0 15 0 57457313 11087904768 112974 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10828032 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 1947 12922 0 0 42 0 5 3 20 0 15 0 57457313 11087904768 112974 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10828032 memory=1200 CPUtime=0.36 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) S 22339 22342 17273 0 -1 1077944384 1063 12922 0 0 28 0 5 3 20 0 15 0 57457313 11087904768 112974 33554432000 4194304 4196468 140720360205120 140150043650416 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10828032 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11087904768 112974 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10828032 memory=11644 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 1 12922 0 0 0 0 5 3 20 0 15 0 57457314 11087904768 112974 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10828032 KiB

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

/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 239003 12922 0 0 190764 68 5 3 20 0 15 0 57457308 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140151049784432 140150651346316 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10852704 memory=7108912 CPUtime=111.38 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 91528 12922 0 0 10957 173 5 3 20 0 15 0 57457308 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10852704 memory=7108912 CPUtime=110.97 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 95366 12922 0 0 10919 170 5 3 20 0 15 0 57457308 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10852704 memory=7108912 CPUtime=111.29 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 79729 12922 0 0 10949 172 5 3 20 0 15 0 57457308 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10852704 memory=1416 CPUtime=111.11 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 76303 12922 0 0 10935 168 5 3 20 0 15 0 57457309 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10852704 memory=7108912 CPUtime=1.75 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 117816 12922 0 0 153 14 5 3 20 0 15 0 57457310 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150080367216 140151077960322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10852704 memory=11103 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 53 12922 0 0 0 0 5 3 20 0 15 0 57457310 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150079313248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10852704 memory=7108912 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 10 12922 0 0 0 0 5 3 20 0 15 0 57457311 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140149950244480 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10852704 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10852704 memory=7108912 CPUtime=11.3 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 83826 12922 0 0 1114 8 5 3 20 0 15 0 57457313 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10852704 memory=18240 CPUtime=11.54 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 77633 12922 0 0 1139 7 5 3 20 0 15 0 57457313 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10852704 memory=1296 CPUtime=3.49 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) S 22339 22342 17273 0 -1 1077944384 59513 12922 0 0 332 9 5 3 20 0 15 0 57457313 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150043650416 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10852704 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10852704 memory=11956 CPUtime=1.25 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 3176 12922 0 0 59 58 5 3 20 0 15 0 57457314 11113168896 1777228 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 2381.89 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 7108912 KiB

[startup+2082.3 s]
/proc/loadavg: 0.92 0.88 1.22 2/194 22520
/proc/meminfo: memFree=20263084/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=10852704 memory=7106872 CPUtime=2443.37 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 945103 12922 0 0 243492 837 5 3 20 0 15 0 57457299 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2713176 1776718 3539 1 0 2674829 0
[pid=22342/tid=22395] ppid=22339 vsize=10852704 memory=7106872 CPUtime=1967.9 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 245943 12922 0 0 196713 69 5 3 20 0 15 0 57457308 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140151049775328 140150664170787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10852704 memory=7106860 CPUtime=111.85 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 92312 12922 0 0 11004 173 5 3 20 0 15 0 57457308 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10852704 memory=2428 CPUtime=111.45 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 97973 12922 0 0 10966 171 5 3 20 0 15 0 57457308 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10852704 memory=7106872 CPUtime=111.76 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 80118 12922 0 0 10996 172 5 3 20 0 15 0 57457308 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10852704 memory=7106872 CPUtime=111.59 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 79790 12922 0 0 10982 169 5 3 20 0 15 0 57457309 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10852704 memory=120 CPUtime=1.76 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 118163 12922 0 0 154 14 5 3 20 0 15 0 57457310 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150080367216 140151077960322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10852704 memory=7106872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 53 12922 0 0 0 0 5 3 20 0 15 0 57457310 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150079313248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10852704 memory=7106872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 10 12922 0 0 0 0 5 3 20 0 15 0 57457311 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140149950244480 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10852704 memory=7106872 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10852704 memory=7106872 CPUtime=11.33 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 86630 12922 0 0 1116 9 5 3 20 0 15 0 57457313 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10852704 memory=7106872 CPUtime=11.55 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 78401 12922 0 0 1140 7 5 3 20 0 15 0 57457313 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10852704 memory=7106872 CPUtime=3.49 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) S 22339 22342 17273 0 -1 1077944384 60231 12922 0 0 332 9 5 3 20 0 15 0 57457313 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150043650416 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10852704 memory=5520 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10852704 memory=792 CPUtime=1.29 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 3281 12922 0 0 61 60 5 3 20 0 15 0 57457314 11113168896 1776718 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 2443.37 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 7106872 KiB

[startup+2142.3 s]
/proc/loadavg: 0.97 0.90 1.21 2/194 22522
/proc/meminfo: memFree=20266680/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=10852704 memory=7103268 CPUtime=2503.99 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 964656 12922 0 0 249551 840 5 3 20 0 15 0 57457299 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2713176 1775817 3539 1 0 2674829 0
[pid=22342/tid=22395] ppid=22339 vsize=10852704 memory=7103268 CPUtime=2027.69 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 252802 12922 0 0 202691 70 5 3 20 0 15 0 57457308 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140151049782392 140150662398306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10852704 memory=7103268 CPUtime=112.05 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 94290 12922 0 0 11023 174 5 3 20 0 15 0 57457308 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10852704 memory=7106860 CPUtime=111.64 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 99899 12922 0 0 10985 171 5 3 20 0 15 0 57457308 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10852704 memory=7106860 CPUtime=111.94 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 83871 12922 0 0 11014 172 5 3 20 0 15 0 57457308 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10852704 memory=2428 CPUtime=111.78 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 81396 12922 0 0 11001 169 5 3 20 0 15 0 57457309 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10852704 memory=7106860 CPUtime=1.77 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 118531 12922 0 0 155 14 5 3 20 0 15 0 57457310 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150080367216 140151077960322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10852704 memory=7104808 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 53 12922 0 0 0 0 5 3 20 0 15 0 57457310 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150079313248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10852704 memory=7104808 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 10 12922 0 0 0 0 5 3 20 0 15 0 57457311 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140149950244480 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10852704 memory=7103268 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10852704 memory=7103268 CPUtime=11.34 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 87673 12922 0 0 1117 9 5 3 20 0 15 0 57457313 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10852704 memory=7103268 CPUtime=11.57 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 79248 12922 0 0 1142 7 5 3 20 0 15 0 57457313 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10852704 memory=7103268 CPUtime=3.5 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) S 22339 22342 17273 0 -1 1077944384 61374 12922 0 0 332 10 5 3 20 0 15 0 57457313 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150043650416 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10852704 memory=7103268 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10852704 memory=1296 CPUtime=1.33 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 3311 12922 0 0 64 61 5 3 20 0 15 0 57457314 11113168896 1775817 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 2503.99 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 7103268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2158.2 s]
/proc/loadavg: 0.83 0.88 1.20 2/194 22522
/proc/meminfo: memFree=20266784/32770624 swapFree=67108860/67108860
[pid=22342] ppid=22339 vsize=10852704 memory=7103272 CPUtime=2520.05 cores=0,2,4,6
/proc/22342/stat : 22342 (java) S 22339 22342 17273 0 -1 1077944320 966847 12922 0 0 251156 841 5 3 20 0 15 0 57457299 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140720360187664 140151077949175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
/proc/22342/statm: 2713176 1775818 3539 1 0 2674829 0
[pid=22342/tid=22395] ppid=22339 vsize=10852704 memory=288230621803970871 CPUtime=2043.54 cores=0,2,4,6
/proc/22342/task/22395/stat : 22395 (java) R 22339 22342 17273 0 -1 4202560 253940 12922 0 0 204276 70 5 3 20 0 15 0 57457308 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140151049784336 140150638453930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22396] ppid=22339 vsize=10852704 memory=14412618299345480 CPUtime=112.1 cores=0,2,4,6
/proc/22342/task/22396/stat : 22396 (java) S 22339 22342 17273 0 -1 1077944384 94303 12922 0 0 11028 174 5 3 20 0 15 0 57457308 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140151082191248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22397] ppid=22339 vsize=10852704 memory=18244 CPUtime=111.69 cores=0,2,4,6
/proc/22342/task/22397/stat : 22397 (java) S 22339 22342 17273 0 -1 1077944384 99918 12922 0 0 10990 171 5 3 20 0 15 0 57457308 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150970464528 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22398] ppid=22339 vsize=10852704 memory=1296 CPUtime=111.99 cores=0,2,4,6
/proc/22342/task/22398/stat : 22398 (java) S 22339 22342 17273 0 -1 1077944384 83882 12922 0 0 11019 172 5 3 20 0 15 0 57457308 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150969412240 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22399] ppid=22339 vsize=10852704 memory=2428 CPUtime=111.83 cores=0,2,4,6
/proc/22342/task/22399/stat : 22399 (java) S 22339 22342 17273 0 -1 1077944384 81405 12922 0 0 11006 169 5 3 20 0 15 0 57457309 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150968359440 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22400] ppid=22339 vsize=10852704 memory=1728 CPUtime=1.77 cores=0,2,4,6
/proc/22342/task/22400/stat : 22400 (java) S 22339 22342 17273 0 -1 1077944384 118540 12922 0 0 155 14 5 3 20 0 15 0 57457310 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150080367216 140151077960322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22401] ppid=22339 vsize=10852704 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22401/stat : 22401 (java) S 22339 22342 17273 0 -1 1077944384 53 12922 0 0 0 0 5 3 20 0 15 0 57457310 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150079313248 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22402] ppid=22339 vsize=10852704 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22402/stat : 22402 (java) S 22339 22342 17273 0 -1 1077944384 10 12922 0 0 0 0 5 3 20 0 15 0 57457311 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140149950244480 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22403] ppid=22339 vsize=10852704 memory=8148 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22403/stat : 22403 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457313 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140149642844752 140151077967771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22404] ppid=22339 vsize=10852704 memory=848 CPUtime=11.34 cores=0,2,4,6
/proc/22342/task/22404/stat : 22404 (java) S 22339 22342 17273 0 -1 1077944384 87673 12922 0 0 1117 9 5 3 20 0 15 0 57457313 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150045755504 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22405] ppid=22339 vsize=10852704 memory=1800 CPUtime=11.59 cores=0,2,4,6
/proc/22342/task/22405/stat : 22405 (java) S 22339 22342 17273 0 -1 1077944384 79770 12922 0 0 1143 8 5 3 20 0 15 0 57457313 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150044702704 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22406] ppid=22339 vsize=10852704 memory=920 CPUtime=3.51 cores=0,2,4,6
/proc/22342/task/22406/stat : 22406 (java) S 22339 22342 17273 0 -1 1077944384 61839 12922 0 0 333 10 5 3 20 0 15 0 57457313 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150043650416 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22407] ppid=22339 vsize=10852704 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/22342/task/22407/stat : 22407 (java) S 22339 22342 17273 0 -1 1077944384 3 12922 0 0 0 0 5 3 20 0 15 0 57457314 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140149609286112 140151077959381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
[pid=22342/tid=22408] ppid=22339 vsize=10852704 memory=7103272 CPUtime=1.34 cores=0,2,4,6
/proc/22342/task/22408/stat : 22408 (java) S 22339 22342 17273 0 -1 1077944384 3316 12922 0 0 65 61 5 3 20 0 15 0 57457314 11113168896 1775818 33554432000 4194304 4196468 140720360205120 140150042598320 140151077960322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33443840 140720360208555 140720360211804 140720360211804 140720360214479 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 7103272 KiB

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

[startup+2158.3 s]
# the end of solver process 22342 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2511.66 s, system=8.49656 s

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

Child status: 143
Real time (s): 2158.3
CPU time (s): 2520.16
CPU user time (s): 2511.66
CPU system time (s): 8.49656
CPU usage (%): 116.766
Max. virtual memory (cumulated for all children) (KiB): 10853368
Max. memory (cumulated for all children) (KiB): 7164304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.66
system time used= 8.49656
maximum resident set size= 7164308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 982380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70378
involuntary context switches= 7477


# summary of solver processes directly reported to runsolver:
#   pid: 22342
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2511.66
#   total CPU system time (s): 8.49656

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9121 second user time and 19.8919 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-24 04:22:21
IDJOB=4293958
IDBENCH=141274
IDSOLVER=2751
FILE ID=node151/4293958-1532398940
RUNJOBID= node151-1532369950-17304
PBS_JOBID= 21021572
Free space on /tmp= 54884 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293958-1532398940/watcher-4293958-1532398940 -o /tmp/evaluation-result-4293958-1532398940/solver-4293958-1532398940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1294762579 -superng HOME/instance-4293958-1532398940.xml

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

MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1
RANDOM SEED=1294762579

node151.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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23530980 kB
MemAvailable:   28181076 kB
Buffers:          154412 kB
Cached:          4736816 kB
SwapCached:            0 kB
Active:          4878928 kB
Inactive:        3834904 kB
Active(anon):    3773044 kB
Inactive(anon):    69372 kB
Active(file):    1105884 kB
Inactive(file):  3765532 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            150924 kB
Writeback:             0 kB
AnonPages:       3830528 kB
Mapped:            50864 kB
Shmem:             17032 kB
Slab:             217036 kB
SReclaimable:     189032 kB
SUnreclaim:        28004 kB
KernelStack:        3520 kB
PageTables:        12684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4743688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3565568 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= 54924 MiB
End job on node151 at 2018-07-24 04:58:19