Trace number 4293957

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 2018-06-13SAT (TO)566554501 2520.13 2436.34

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

Solver Data 

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

Verifier Data 

OK	566554501

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293957-1532395798/watcher-4293957-1532395798 -o /tmp/evaluation-result-4293957-1532395798/solver-4293957-1532395798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15152 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=240784611 HOME/instance-4293957-1532395798.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=19513, runsolver pid=19510

[startup+0.100054 s]*
/proc/loadavg: 1.71 1.66 1.66 3/205 19569
/proc/meminfo: memFree=22925940/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=9972712 memory=18592 CPUtime=0.09 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 4268 13181 0 0 1 0 5 3 20 0 6 0 57143009 10212057088 4648 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2493178 4648 1932 1 0 2481616 0
[pid=19513/tid=19566] ppid=19510 vsize=9972712 memory=4279135703946986127 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 2082 13181 0 0 0 0 5 3 20 0 6 0 57143018 10212057088 4648 33554432000 4194304 4196468 140720861677312 139780937859664 139780951705395 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 6 0 57143019 10212057088 4648 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=9972712 memory=139767376795264 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 6 0 57143019 10212057088 4648 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 6 0 57143019 10212057088 4648 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 6 0 57143019 10212057088 4648 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.21027 s]*
/proc/loadavg: 1.71 1.66 1.66 3/215 19579
/proc/meminfo: memFree=22907084/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=10818904 memory=39468 CPUtime=0.26 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 7654 13181 0 0 16 2 5 3 20 0 15 0 57143009 11078557696 9867 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2704726 9867 2946 1 0 2667149 0
[pid=19513/tid=19566] ppid=19510 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 4251 13181 0 0 10 1 5 3 20 0 15 0 57143018 11078557696 9933 33554432000 4194304 4196468 140720861677312 139780937846280 139780946298663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143019 11078557696 9933 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10818904 memory=139767376795264 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143019 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143019 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143019 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10818904 memory=139767376795264 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143020 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780169877744 139780966034050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 33 13181 0 0 0 0 5 3 20 0 15 0 57143021 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780168823968 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143021 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780046185200 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11078557696 9999 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 429 13181 0 0 1 0 5 3 20 0 15 0 57143024 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 185 13181 0 0 1 0 5 3 20 0 15 0 57143024 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10818904 memory=139767376795264 CPUtime=0.11 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 620 13181 0 0 3 0 5 3 20 0 15 0 57143024 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11078557696 9999 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10818904 memory=139767376795264 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143024 11078557696 9999 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39468 KiB

[startup+0.310241 s]*
/proc/loadavg: 1.71 1.66 1.66 3/215 19579
/proc/meminfo: memFree=22894804/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=10819352 memory=51232 CPUtime=0.38 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 10429 13181 0 0 27 3 5 3 20 0 15 0 57143009 11079016448 12808 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2704838 12808 3065 1 0 2667149 0
[pid=19513/tid=19566] ppid=19510 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 6934 13181 0 0 18 3 5 3 20 0 15 0 57143018 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780937834912 139780951188575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10819352 memory=7300986251812819024 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143020 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780169877744 139780966034050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 33 13181 0 0 0 0 5 3 20 0 15 0 57143021 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780168823968 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143021 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780046185200 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11079016448 12808 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 429 13181 0 0 1 0 5 3 20 0 15 0 57143024 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 186 13181 0 0 1 0 5 3 20 0 15 0 57143024 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 641 13181 0 0 5 0 5 3 20 0 15 0 57143024 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11079016448 12808 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143024 11079016448 12808 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51232 KiB

[startup+0.700725 s]
/proc/loadavg: 1.71 1.66 1.66 4/215 19579
/proc/meminfo: memFree=22883268/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=10819352 memory=84596 CPUtime=1 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 16796 13181 0 0 87 5 5 3 20 0 15 0 57143009 11079016448 21149 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2704838 21149 3246 1 0 2667149 0
[pid=19513/tid=19566] ppid=19510 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 12212 13181 0 0 55 4 5 3 20 0 15 0 57143018 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780937845424 139780946667781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143019 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 5 13181 0 0 0 0 5 3 20 0 15 0 57143020 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780169877744 139780966034050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 33 13181 0 0 0 0 5 3 20 0 15 0 57143021 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780168823968 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143021 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780046185200 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11079016448 21149 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10819352 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 802 13181 0 0 7 0 5 3 20 0 15 0 57143024 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10819352 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 808 13181 0 0 10 0 5 3 20 0 15 0 57143024 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 732 13181 0 0 13 0 5 3 20 0 15 0 57143024 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11079016448 21149 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143024 11079016448 21149 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84596 KiB

[startup+1.50099 s]
/proc/loadavg: 1.71 1.66 1.66 3/215 19579
/proc/meminfo: memFree=22841640/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=10828032 memory=424716 CPUtime=2.94 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 22408 13181 0 0 246 40 5 3 20 0 15 0 57143009 11087904768 105667 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2707008 106179 3445 1 0 2668685 0
[pid=19513/tid=19566] ppid=19510 vsize=10828032 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) S 19510 19513 15121 0 -1 1077944384 14555 13181 0 0 116 10 5 3 20 0 15 0 57143018 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780937858592 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10828032 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) R 19510 19513 15121 0 -1 4202560 487 13181 0 0 5 7 5 3 20 0 15 0 57143019 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780970265816 139780959125620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10828032 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) R 19510 19513 15121 0 -1 4202560 235 13181 0 0 5 6 5 3 20 0 15 0 57143019 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780858539152 139780959125620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10828032 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) R 19510 19513 15121 0 -1 4202560 212 13181 0 0 5 6 5 3 20 0 15 0 57143019 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780857486096 139780959125620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10828032 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) R 19510 19513 15121 0 -1 4202560 178 13181 0 0 5 7 5 3 20 0 15 0 57143019 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780856433752 139780959125971 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10828032 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 94 13181 0 0 0 0 5 3 20 0 15 0 57143020 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780169876256 139780966033109 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10828032 memory=279534456875264 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 35 13181 0 0 0 0 5 3 20 0 15 0 57143021 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780168824032 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10828032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 2 13181 0 0 0 0 5 3 20 0 15 0 57143021 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780046185216 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10828032 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11087904768 106179 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10828032 memory=1704 CPUtime=0.42 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 1224 13181 0 0 34 0 5 3 20 0 15 0 57143024 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10828032 memory=9924 CPUtime=0.53 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 2099 13181 0 0 45 0 5 3 20 0 15 0 57143024 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10828032 memory=5788 CPUtime=0.36 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 1093 13181 0 0 28 0 5 3 20 0 15 0 57143024 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10828032 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11087904768 106179 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10828032 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 1 13181 0 0 0 0 5 3 20 0 15 0 57143024 11087904768 106179 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10828032 KiB

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

/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 188508 13181 0 0 224123 65 5 3 20 0 15 0 57143018 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780937857952 139780554842688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10852704 memory=2780 CPUtime=18.29 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 28758 13181 0 0 1746 75 5 3 20 0 15 0 57143019 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10852704 memory=4104 CPUtime=18.28 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 35730 13181 0 0 1742 78 5 3 20 0 15 0 57143019 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10852704 memory=1408 CPUtime=18.34 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 37347 13181 0 0 1745 81 5 3 20 0 15 0 57143019 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10852704 memory=3284 CPUtime=18.31 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 30736 13181 0 0 1744 79 5 3 20 0 15 0 57143019 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10852704 memory=1981252 CPUtime=1.68 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 25473 13181 0 0 144 16 5 3 20 0 15 0 57143020 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780169877744 139780966034050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10852704 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 47 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780168824032 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10852704 memory=3296 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780046185216 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10852704 memory=3629660 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 494416 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10852704 memory=288230574492221466 CPUtime=10.34 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 94059 13181 0 0 1016 10 5 3 20 0 15 0 57143024 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10852704 memory=288230621803970871 CPUtime=11.17 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 90861 13181 0 0 1102 7 5 3 20 0 15 0 57143024 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10852704 memory=16102554786335041 CPUtime=3.49 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 85846 13181 0 0 332 9 5 3 20 0 15 0 57143024 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10852704 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 494416 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10852704 memory=1982792 CPUtime=1.45 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 2666 13181 0 0 67 70 5 3 20 0 15 0 57143024 11113168896 494416 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 2342.72 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1977664 KiB

[startup+2322.3 s]
/proc/loadavg: 1.59 1.61 1.60 3/215 20064
/proc/meminfo: memFree=18324240/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=10852704 memory=1916616 CPUtime=2403.88 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 629609 13181 0 0 239901 479 5 3 20 0 15 0 57143009 11113168896 479154 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2713176 479154 3535 1 0 2674829 0
[pid=19513/tid=19566] ppid=19510 vsize=10852704 memory=1580 CPUtime=2301.55 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 189717 13181 0 0 230081 66 5 3 20 0 15 0 57143018 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780937858080 139780533846822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10852704 memory=2240 CPUtime=18.66 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 29150 13181 0 0 1783 75 5 3 20 0 15 0 57143019 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10852704 memory=4128 CPUtime=18.65 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 36863 13181 0 0 1779 78 5 3 20 0 15 0 57143019 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10852704 memory=2200 CPUtime=18.7 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 37773 13181 0 0 1781 81 5 3 20 0 15 0 57143019 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10852704 memory=7528 CPUtime=18.68 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 31138 13181 0 0 1780 80 5 3 20 0 15 0 57143019 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10852704 memory=844 CPUtime=1.72 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 25809 13181 0 0 148 16 5 3 20 0 15 0 57143020 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780169877744 139780966034050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10852704 memory=1800 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 47 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780168824032 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10852704 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780046185216 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10852704 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 479154 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10852704 memory=2764 CPUtime=10.36 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 95964 13181 0 0 1018 10 5 3 20 0 15 0 57143024 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10852704 memory=2780 CPUtime=11.18 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 91311 13181 0 0 1103 7 5 3 20 0 15 0 57143024 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10852704 memory=4104 CPUtime=3.5 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 86964 13181 0 0 333 9 5 3 20 0 15 0 57143024 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10852704 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 479154 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10852704 memory=1920720 CPUtime=1.49 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 2674 13181 0 0 69 72 5 3 20 0 15 0 57143024 11113168896 479154 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 2403.88 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1916616 KiB

[startup+2382.3 s]
/proc/loadavg: 1.72 1.63 1.60 3/215 20065
/proc/meminfo: memFree=18408048/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=10852704 memory=1848208 CPUtime=2465.04 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 636050 13181 0 0 246015 481 5 3 20 0 15 0 57143009 11113168896 462052 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2713176 462052 3535 1 0 2674829 0
[pid=19513/tid=19566] ppid=19510 vsize=10852704 memory=1704 CPUtime=2361.1 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 191263 13181 0 0 236036 66 5 3 20 0 15 0 57143018 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780937858192 139780535446215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10852704 memory=9924 CPUtime=19.02 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 29484 13181 0 0 1819 75 5 3 20 0 15 0 57143019 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10852704 memory=5788 CPUtime=19.02 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 37217 13181 0 0 1815 79 5 3 20 0 15 0 57143019 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10852704 memory=1936 CPUtime=19.08 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 38127 13181 0 0 1819 81 5 3 20 0 15 0 57143019 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10852704 memory=1196 CPUtime=19.05 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 32237 13181 0 0 1817 80 5 3 20 0 15 0 57143019 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10852704 memory=8368 CPUtime=1.77 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 26133 13181 0 0 152 17 5 3 20 0 15 0 57143020 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780169877744 139780966034050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10852704 memory=2200 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 47 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780168824032 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10852704 memory=7528 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780046185216 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10852704 memory=844 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 462052 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10852704 memory=1800 CPUtime=10.37 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 96105 13181 0 0 1019 10 5 3 20 0 15 0 57143024 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10852704 memory=920 CPUtime=11.2 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 93048 13181 0 0 1105 7 5 3 20 0 15 0 57143024 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10852704 memory=3848 CPUtime=3.5 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 87491 13181 0 0 333 9 5 3 20 0 15 0 57143024 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10852704 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 462052 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10852704 memory=1424 CPUtime=1.53 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 2699 13181 0 0 71 74 5 3 20 0 15 0 57143024 11113168896 462052 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 2465.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1848208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2436.3 s]
/proc/loadavg: 1.39 1.55 1.58 3/216 20074
/proc/meminfo: memFree=18491260/32770624 swapFree=67108860/67108860
[pid=19513] ppid=19510 vsize=10852704 memory=1783568 CPUtime=2520.09 cores=0,2,4,6
/proc/19513/stat : 19513 (java) S 19510 19513 15121 0 -1 1077944320 639626 13181 0 0 251516 485 5 3 20 0 15 0 57143009 11113168896 445892 33554432000 4194304 4196468 140720861677312 140720861659856 139780966022903 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
/proc/19513/statm: 2713176 445892 3535 1 0 2674829 0
[pid=19513/tid=19566] ppid=19510 vsize=10852704 memory=6791534058613427641 CPUtime=2414.7 cores=0,2,4,6
/proc/19513/task/19566/stat : 19566 (java) R 19510 19513 15121 0 -1 4202560 192389 13181 0 0 241395 67 5 3 20 0 15 0 57143018 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780937858176 139780555087751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19567] ppid=19510 vsize=10852704 memory=1792804 CPUtime=19.37 cores=0,2,4,6
/proc/19513/task/19567/stat : 19567 (java) S 19510 19513 15121 0 -1 1077944384 29841 13181 0 0 1853 76 5 3 20 0 15 0 57143019 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780970265616 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19568] ppid=19510 vsize=10852704 memory=1787160 CPUtime=19.36 cores=0,2,4,6
/proc/19513/task/19568/stat : 19568 (java) S 19510 19513 15121 0 -1 1077944384 37577 13181 0 0 1849 79 5 3 20 0 15 0 57143019 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780858539152 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19569] ppid=19510 vsize=10852704 memory=2420 CPUtime=19.42 cores=0,2,4,6
/proc/19513/task/19569/stat : 19569 (java) S 19510 19513 15121 0 -1 1077944384 38483 13181 0 0 1852 82 5 3 20 0 15 0 57143019 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780857486096 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19570] ppid=19510 vsize=10852704 memory=1292 CPUtime=19.39 cores=0,2,4,6
/proc/19513/task/19570/stat : 19570 (java) S 19510 19513 15121 0 -1 1077944384 32551 13181 0 0 1851 80 5 3 20 0 15 0 57143019 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780856433552 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19571] ppid=19510 vsize=10852704 memory=1728 CPUtime=1.8 cores=0,2,4,6
/proc/19513/task/19571/stat : 19571 (java) S 19510 19513 15121 0 -1 1077944384 26332 13181 0 0 155 17 5 3 20 0 15 0 57143020 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780169877744 139780966034050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19572] ppid=19510 vsize=10852704 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19572/stat : 19572 (java) S 19510 19513 15121 0 -1 1077944384 47 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780168824032 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19573] ppid=19510 vsize=10852704 memory=9924 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19573/stat : 19573 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143021 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780046185216 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19574] ppid=19510 vsize=10852704 memory=1789724 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19574/stat : 19574 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 445892 33554432000 4194304 4196468 140720861677312 139779537459152 139780966041499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19575] ppid=19510 vsize=10852704 memory=1936 CPUtime=10.38 cores=0,2,4,6
/proc/19513/task/19575/stat : 19575 (java) S 19510 19513 15121 0 -1 1077944384 96614 13181 0 0 1020 10 5 3 20 0 15 0 57143024 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780135267056 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19576] ppid=19510 vsize=10852704 memory=1196 CPUtime=11.2 cores=0,2,4,6
/proc/19513/task/19576/stat : 19576 (java) S 19510 19513 15121 0 -1 1077944384 93048 13181 0 0 1105 7 5 3 20 0 15 0 57143024 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780134214512 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19577] ppid=19510 vsize=10852704 memory=8368 CPUtime=3.51 cores=0,2,4,6
/proc/19513/task/19577/stat : 19577 (java) S 19510 19513 15121 0 -1 1077944384 87829 13181 0 0 334 9 5 3 20 0 15 0 57143024 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780133161456 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19578] ppid=19510 vsize=10852704 memory=1783568 CPUtime=0.08 cores=0,2,4,6
/proc/19513/task/19578/stat : 19578 (java) S 19510 19513 15121 0 -1 1077944384 3 13181 0 0 0 0 5 3 20 0 15 0 57143024 11113168896 445892 33554432000 4194304 4196468 140720861677312 139779503901536 139780966033109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
[pid=19513/tid=19579] ppid=19510 vsize=10852704 memory=844 CPUtime=1.57 cores=0,2,4,6
/proc/19513/task/19579/stat : 19579 (java) S 19510 19513 15121 0 -1 1077944384 2716 13181 0 0 73 76 5 3 20 0 15 0 57143024 11113168896 445892 33554432000 4194304 4196468 140720861677312 139780132108848 139780966034050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31928320 140720861682287 140720861685084 140720861685084 140720861687759 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1783568 KiB

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

[startup+2436.34 s]
# the end of solver process 19513 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.24 s, system=4.89419 s

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

Child status: 143
Real time (s): 2436.34
CPU time (s): 2520.13
CPU user time (s): 2515.24
CPU system time (s): 4.89419
CPU usage (%): 103.439
Max. virtual memory (cumulated for all children) (KiB): 10853292
Max. memory (cumulated for all children) (KiB): 4065864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.24
system time used= 4.89419
maximum resident set size= 4065864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83429
involuntary context switches= 4080


# summary of solver processes directly reported to runsolver:
#   pid: 19513
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2515.24
#   total CPU system time (s): 4.89419

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8706 second user time and 24.1492 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-24 03:29:58
IDJOB=4293957
IDBENCH=141274
IDSOLVER=2750
FILE ID=node105/4293957-1532395798
RUNJOBID= node105-1532371073-15152
PBS_JOBID= 21021573
Free space on /tmp= 44664 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-20-0420_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293957-1532395798/watcher-4293957-1532395798 -o /tmp/evaluation-result-4293957-1532395798/solver-4293957-1532395798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15152 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=240784611 HOME/instance-4293957-1532395798.xml

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

MD5SUM BENCH= a9a1ecda6b6f8f1e99c2d233168bcaa1
RANDOM SEED=240784611

node105.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.32
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.32
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.32
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.32
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:        22931360 kB
MemAvailable:   31050444 kB
Buffers:          208252 kB
Cached:          8054352 kB
SwapCached:            0 kB
Active:          2525140 kB
Inactive:        6674368 kB
Active(anon):     891192 kB
Inactive(anon):    65448 kB
Active(file):    1633948 kB
Inactive(file):  6608920 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            151040 kB
Writeback:             0 kB
AnonPages:        944248 kB
Mapped:            50764 kB
Shmem:             17036 kB
Slab:             332456 kB
SReclaimable:     304676 kB
SUnreclaim:        27780 kB
KernelStack:        3488 kB
PageTables:        10428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1544412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44668 MiB
End job on node105 at 2018-07-24 04:10:35