Trace number 4387526

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.10SAT (TO)528581723 2520.31 2182.78

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-05-0350_c18.xml
MD5SUM51b7f32ab0afbf3da7a228f765e579fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark521763705
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints4665
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4665}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.75/0.54	c Concrete v3.10.1560635388952 running
805.02/495.15	o 528603530
805.78/495.63	o 528581750
805.78/495.65	o 528581749
805.78/495.66	o 528581741
805.99/495.71	o 528581736
805.99/495.76	o 528581732
805.99/495.78	o 528581723
2520.22/2182.73	Exception in thread "main" java.util.concurrent.TimeoutException
2520.22/2182.73		at concrete.MAC.mac(MAC.scala:189)
2520.22/2182.73		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2520.22/2182.73		at scala.util.Try$.apply(Try.scala:212)
2520.22/2182.73		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.22/2182.73		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.22/2182.73		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.22/2182.73		at concrete.MAC.oneRun(MAC.scala:253)
2520.22/2182.73		at concrete.MAC.nextSolution(MAC.scala:272)
2520.22/2182.73		at concrete.MAC.nextSolution(MAC.scala:355)
2520.22/2182.73		at concrete.Solver.hasNext(Solver.scala:160)
2520.22/2182.73		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.22/2182.73		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.22/2182.73		at concrete.Solver.foreach(Solver.scala:67)
2520.22/2182.73		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2520.22/2182.73		at scala.util.Success.map(Try.scala:264)
2520.22/2182.73		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2520.22/2182.73		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.22/2182.73		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.22/2182.73		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.22/2182.73		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.22/2182.73		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.22/2182.73		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.22/2182.73		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.22/2182.73		at scala.App.$anonfun$main$1(App.scala:75)
2520.22/2182.73		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.22/2182.73		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.22/2182.73		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.22/2182.73		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.22/2182.73		at scala.App.main(App.scala:75)
2520.22/2182.73		at scala.App.main$(App.scala:73)
2520.22/2182.73		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.22/2182.73		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.22/2182.74	v <instantiation
2520.22/2182.74	v         cost = '528581723'>
2520.22/2182.74	v       <list>
2520.22/2182.74	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176]
2520.22/2182.74	v       </list>
2520.22/2182.74	v       <values>
2520.22/2182.74	v         2396 2332 2336 2540 2716 2676 2528 2304 2584 2544 2492 2504 2356 2588 2400 2452 2556 2484 2632 2624 2676 2676 2180 2640 2648 2252 2640 2660 2492 2688 2292 2616 2676 2360 2424 2676 2384 2400 2508 2420 2516 2556 2260 2400 2584 2620 2180 2224 2676 2460 2696 2540 2464 2360 2332 2424 2232 2608 2560 2356 2512 2600 2540 2236 2500 2712 2716 2296 2716 2492 2188 2544 2656 2416 2672 2456 2324 2516 2220 2264 2228 2452 2384 2416 2456 2580 2700 2400 2220 2700 2332 2276 2288 2452 2368 2544 2232 2232 2676 2600 2380 2676 2564 2640 2716 2196 2252 2432 2636 2352 2664 2636 2564 2584 2468 2700 2256 2496 2424 2188 2376 2576 2180 2340 2228 2412 2180 2716 2676 2416 2540 2716 2220 2600 2292 2272 2224 2664 2676 2676 2440 2560 2516 2628 2292 2456 2556 2508 2716 2548 2532 2340 2384 2440 2584 2220 2600 2676 2660 2556 2500 2664 2704 2676 2312 2716 2184 2600 2440 2716 2452 2600 2500 2380 2664 2540 2548 2580 2180 2676 2252 2552 2188 2540 2456 2472 2560 2212 2396 2716 2452 2384 2412 2472 2488 2284 2432 2404 2668 2704 2544 2524 2580 2552 2320 2292 2300 2500 2272 2540 2240 2284 2220 2676 2716 2220 2220 2600 2716 2180 2220 2260 2424 2200 2676 2220 2668 2180 2228 2672 2424 2220 2500 2340 2336 2516 2584 2360 2672 2584 2488 2376 2368 2568 2412 2716 2528 2488 2412 2540 2424 2292 2180 2424 2532 2192 2560 2340 2472 2512 2340 2376 2224 2464 2696 2580 2556 2432 2324 2716 2444 2580 2532 2620 2512 2356 2448 2456 2528 2428 2216 2568 2180 2468 2628 2600 2596 2264 2620 2324 2704 2676 2676 2412 2580 2716 2580 2500 2248 2328 2604 2180 2452 2416 2460 2292 2360 2492 2400 2464 2708 2236 2300 2540 2676 2392 2364 2252 2380 2632 2180 2544 2580 2540 2544 2488 2300 2472 2656 2220 2512 2460 2396 2372 2704 2252 2528 2264 2716 2328 2416 2220 2716 2660 2364 2420 2336 2560 2480 2508 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 11 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 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 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 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 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 10 0 0 0 0 0 0 0 8 0 0 0 0 0 4 0 0 0 10 1 10 1 7 1 1 0 7 0 10 0 0 5 9 1 1 0 0 0 4 0 0 0 0 0 7 0 0 0 0 10 0 0 0 10 0 0 8 0 0 9 0 10 10 5 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 1 0 0 10 0 0 0 1 10 0 10 10 0 0 0 0 0 0 0 0 10 0 1 0 10 6 10 10 8 0 6 0 9 10 1 0 8 0 1 3 10 0 0 0 10 0 1 0 0 0 0 0 0 0 1 10 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 0 0 8 10 1 0 0 0 0 0 1 1 9 0 0 0 10 1 0 1 0 0 0 10 10 0 10 0 10 0 10 8 5 1 0 1 0 0 7 0 0 4 0 0 0 1 0 10 0 10 1 10 1 0 0 0 10 0 10 10 0 10 0 0 0 1 1 0 0 10 0 0 10 1 1 0 0 0 0 6 10 10 0 1 0 0 0 0 0 0 0 10 0 0 0 1 0 10 9 0 10 7 0 10 0 0 10 5 0 1 0 9 4 0 0 0 0 0 10 0 0 1 0 3 0 6 0 0 10 0 0 10 0 0 1 0 1 9 0 0 7 9 1 0 9 0 0 0 0 0 0 0 0 0 8 10 10 0 0 0 0 0 0 0 1 0 5 10 10 0 0 0 1 10 0 0 1 0 0 0 9 0 0 0 10 0 0 10 9 0 0 10 1 2 0 0 10 2 0 0 0 0 0 0 0 0 10 0 0 5 0 0 0 0 0 10 0 1 1 0 0 1 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 0 9 0 10 10 0 0 0 0 0 1 10 0 0 0 0 10 0 10 0 1 0 1 0 10 0 0 0 10 0 5 0 0 0 0 0 0 10 7 0 0 10 4 0 10 0 0 10 9 0 0 10 10 0 1 0 10 8 0 0 1 0 1 0 1 10 0 1 0 9 9 0 10 10 1 0 0 1 10 1 0 1 10 10 0 1 1 10 9 10 0 0 0 8 10 0 10 10 0 0 0 10 10 10 8 0 0 10 0 0 0 0 0 9 0 0 8 0 0 1 0 0 0 0 2 10 0 0 10 0 8 0 4 0 0 1 1 0 10 0 0 8 0 0 10 1 7 0 0 1 0 0 0 0 0 10 0 0 0 10 0 0 3 0 1 10 0 0 10 0 10 9 1 9 0 0 10 10 0 0 10 0 0 0 0 0 10 10 7 10 10 10 0 0 0 0 0 0 0 0 10 0 0 8 0 0 1 0 10 10 10 0 10 10 0 1 0 0 10 9 0 0 0 0 10 0 0 0 10 0 0 0 0 2 1 0 0 10 0 10 0 0 0 0 0 10 0 0 3 1 0 0 0 5 10 0 0 0 0 0 0 0 10 2 0 10 0 9 3 0 10 1 0 0 0 7 0 0 10 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 9 0 0 10 10 0 0 0 0 9 0 0 10 10 0 10 0 0 0 0 10 0 8 0 0 1 10 0 10 0 0 9 0 10 0 1 10 0 1 10 0 0 10 4 10 0 8 0 10 7 0 1 0 0 0 1 1 0 10 0 0 0 0 10 9 1 10 0 10 10 0 0 1 0 0 0 1 0 0 7 0 0 0 0 0 1 0 0 10 0 10 2 0 0 0 0 10 10 5 10 0 3 10 10 0 0 0 0 7 0 0 10 0 0 0 10 10 10 0 1 0 0 0 0 0 0 1 0 1 1 10 0 0 10 1 0 10 0 0 0 0 1 0 10 7 10 0 10 10 10 2 5 0 1 0 0 0 0 0 0 0 0 8 0 0 9 0 0 0 0 0 10 1 0 10 0 0 1 0 0 0 3 0 0 1 1 0 10 0 0 5 5 7 0 0 5 1 0 0 0 0 0 0 0 0 10 10 0 6 8 9 0 0 0 0 0 10 10 0 2 0 0 7 0 7 10 9 1 0 1 1 0 0 1 2 9 10 0 7 3 10 0 0 0 0 10 0 0 0 0 10 0 0 8 6 10 0 4 0 10 0 0 10 0 10 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 7 0 0 10 0 0 0 10 9 0 0 0 3 0 7 0 1 1 1 0 10 0 10 0 1 0 10 0 10 1 0 0 10 10 7 0 0 0 10 0 10 0 0 0 0 10 0 9 0 10 0 1 0 0 1 10 10 0 0 0 9 7 0 0 0 0 1 10 10 0 0 0 1 10 0 0 0 10 0 0 0 0 10 0 10 4 0 0 6 10 3 10 0 10 0 1 10 0 10 10 10 0 0 10 0 10 10 10 10 1 10 10 1 0 0 0 0 0 1 0 4 1 0 0 0 0 0 3 0 0 0 8 8 0 0 0 0 10 9 0 0 1 0 0 0 9 6 0 1 10 0 0 10 0 10 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 3 0 0 0 1 4 0 10 0 0 1 0 0 10 0 0 0 0 0 1 6 10 10 8 1 0 0 0 1 0 0 0 1 0 1 0 0 0 9 1 0 10 0 10 0 1 8 10 0 7 0 0 10 0 6 1 0 0 0 10 0 0 0 3 1 0 10 0 0 10 1 8 10 1 10 10 0 0 0 0 0 9 10 3 0 10 10 7 1 0 0 10 0 10 9 10 0 9 0 0 0 0 0 1 0 0 0 0 0 1 1 0 10 10 5 4 10 10 0 7 1 9 4 0 4 0 10 0 10 10 9 0 10 0 0 6 0 0 0 0 1 10 0 0 0 0 0 0 0 10 10 0 0 1 1 0 0 0 0 0 10 10 0 0 0 1 7 10 10 8 0 0 10 10 1 0 1 0 0 0 10 1 0 0 1 1 10 10 0 0 10 1 9 0 10 0 0 0 0 0 0 0 0 1 0 1 0 8 0 0 0 10 0 0 10 0 0 10 0 0 0 8 10 0 0 0 0 7 1 0 0 2 0 10 1 0 0 10 3 0 0 8 0 10 9 0 8 8 0 5 0 0 0 0 0 0 10 0 0 10 3 0 0 0 6 1 0 0 0 10 6 3 10 10 1 0 0 10 10 0 8 0 0 0 1 0 10 0 10 0 0 0 0 0 1 0 10 0 0 0 0 0 10 1 0 0 0 0 10 0 0 0 10 10 10 1 0 1 0 3 0 0 10 0 10 3 0 10 0 10 0 0 0 0 2 0 0 1 10 10 9 10 5 8 0 0 0 0 10 0 0 6 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 1 0 0 0 0 8 0 0 8 0 10 10 0 6 0 0 0 10 0 10 10 0 10 6 10 1 0 0 0 0 0 10 7 0 0 0 9 0 0 8 0 0 10 4 10 0 10 8 10 0 10 0 0 0 10 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 2 0 6 0 10 0 0 0 10 10 10 0 10 10 1 0 10 0 8 1 10 0 0 0 0 0 10 0 0 0 0 0 7 1 0 0 2 10 10 0 0 0 0 0 0 0 0 0 0 9 0 0 0 10 0 4 0 0 10 10 0 1 1 0 10 2 0 0 10 10 10 10 0 0 0 0 9 0 0 0 0 10 1 0 9 7 0 9 9 10 0 6 3 0 0 0 0 1 0 0 10 0 0 0 10 0 0 0 0 0 10 4 10 0 10 1 0 10 0 5 0 10 10 0 0 0 0 0 0 0 0 10 0 1 10 0 0 0 0 0 0 0 0 10 0 0 8 0 0 0 0 0 0 0 10 1 0 10 7 10 0 0 10 0 7 0 0 10 9 10 1 1 0 10 0 0 0 3 0 10 10 0 0 6 10 10 0 0 10 1 0 0 1 10 1 2 6 0 0 0 0 0 0 0 0 1 0 7 9 1 8 0 0 1 0 0 1 0 0 0 0 0 0 0 9 10 0 2 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 1 10 0 0 0 0 0 0 1 0 5 0 1 0 0 0 1 0 1 1 0 0 10 6 0 1 0 0 0 0 0 0 10 10 0 1 0 1 10 0 0 0 0 0 0 0 10 10 0 10 0 0 10 10 0 0 9 2 0 10 7 10 0 0 0 0 0 0 9 0 0 0 7 10 1 1 0 7 0 0 10 0 0 0 10 0 0 0 0 9 0 0 0 0 0 0 9 0 0 0 9 10 0 0 0 10 10 10 0 0 0 10 0 10 0 10 0 0 1 10 0 0 0 0 0 0 10 7 0 10 0 0 1 0 10 0 1 10 10 0 0 10 1 0 0 0 0 1 0 0 0 0 10 0 0 9 0 7 10 0 4 10 0 4 1 0 0 0 0 0 0 0 9 0 0 2 10 10 0 10 0 0 0 1 0 0 10 1 0 1 0 10 10 0 7 1 0 0 0 0 0 6 0 0 0 10 0 8 0 0 10 0 0 10 0 10 0 4 10 9 0 0 0 10 0 0 10 1 0 1 0 10 0 0 0 1 0 0 0 10 0 0 0 0 0 0 0 0 10 0 9 0 7 0 0 1 0 0 0 0 0 0 9 8 0 0 0 1 0 0 0 0 0 7 4 0 1 10 0 0 0 0 1 10 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 3 0 10 1 0 0 0 0 1 0 0 0 0 10 0 10 10 10 0 0 0 0 0 10 0 2 0 6 0 0 8 10 1 1 0 0 0 0 2 8 0 0 192 252 28 96 200 168 44 160 320 264 84 272 144 116 144 344 328 72 384 68 108 140 132 248 248 68 60 64 372 220 300 364 124 100 36 380 120 148 76 180 320 160 176 136 84 320 216 28 112 164 204 316 160 108 0 0 316 40 528 40 304 284 164 432 492 136 40 224 120 292 36 344 0 464 272 252 336 232 220 28 168 276 32 12 336 36 8 296 116 92 412 20 84 292 92 40 412 92 84 116 80 144 72 244 120 184 76 24 124 284 112 176 172 92 356 4 92 364 132 72 40 320 112 64 28 196 24 92 52 280 232 128 164 32 4 84 152 240 316 172 56 284 284 164 44 104 36 200 284 268 284 4 0 208 220 160 244 168 136 0 112 176 300 156 60 296 400 24 32 12 316 328 364 128 156 208 112 276 212 276 132 200 148 12 116 32 116 40 276 220 120 256 224 220 12 168 4 76 124 120 156 116 156 224 120 216 92 64 100 336 124 252 264 12 232 212 100 116 72 96 216 180 264 48 252 52 180 412 104 208 100 276 84 332 268 260 52 64 92 184 124 244 212 96 360 164 220 456 180 144 0 476 252 96 164 496 20 16 36 76 20 260 0 496 76 336 124 280 40 248 496 296 280 508 336 204 40 536 72 484 260 484 404 308 160 0 312 240 56 284 376 140 260 420 460 412 84 208 172 148 156 156 460 452 92 68 28 12 28 68 356 428 428 20 68 396 424 72 264 24 448 384 40 204 0 288 12 464 280 104 376 292 56 80 40 100 16 36 416 300 188 452 80 244 212 460 248 196 300 440 40 24 60 440 160 236 244 68 184 0 184 168 180 184 36 88 272 176 88 148 336 104 232 436 164 448 320 364 88 188 396 148 200 104 272 264 424 384 368 20 288 92 376 424 124 40 284 76 52 32 4 204 88 56 160 132 224 0 4 340 144 320 48 260 316 0 220 180 356 316 156 140 344 64 52 172 152 244 68 108 356 120 8 32 204 144 136 176 116 172 120 96 216 444 24 100 404 12 424 56 164 80 188 456 160 60 68 200 200 332 164 216 60 52 220 24 92 232 140 112 208 36 280 328 208 168 36 8 60 184 184 108 32 168 216 192 20 80 296 128 80 8 296 92 160 52 296 56 148 124 264 84 148 104 156 152 116 100 268 8 264 44 144 272 4 284 272 120 220 452 316 36 60 0 116 268 336 192 104 296 144 272 264 4 272 24 60 168 40 180 72 20 252 44 396 204 56 68 120 56 220 104 392 80 80 268 56 164 380 396 264 8 384 248 400 336 520 456 112 448 72 344 60 496 536 404 176 448 308 476 232 276 452 448 152 316 336 456 76 296 356 448 20 244 144 228 208 412 20 164 80 196 8 228 240 216 76 84 120 240 40 372 120 516 140 144 476 268 516 116 304 444 4 164 176 116 204 104 232 136 172 240 8 164 248 0 228 244 128 180 276 188 356 112 32 140 44 344 232 344 332 208 124 80 48 92 344 180 344 288 8 152 200 40 156 212 124 76 84 64 132 120 88 204 224 404 444 268 148 352 472 128 472 248 156 320 68 44 8 68 196 324 176 56 324 388 68 248 68 284 108 208 104 180 372 320 344 44 180 380 188 308 296 156 60 136 84 136 96 176 128 92 96 300 204 204 96 128 164 204 56 80 252 160 152 332 212 92 4 56 76 48 112 196 72 420 204 128 156 176 156 164 16 8 240 68 164 120 8 324 104 440 364 36 104 440 92 160 480 272 168 176 136 164 76 208 84 160 280 240 0 284 216 84 480 456 300 48 524 132 492 212 200 212 352 252 428 40 424 444 200 116 0 304 164 396 356 148 204 0 88 120 420 340 288 380 248 204 264 168 380 232 492 40 200 424 276 200 392 112 316 336 496 156 296 64 224 168 184 88 200 272 272 292 176 76 392 368 528 32 480 528 432 228 56 120 364 172 8 204 476 436 316 468 116 260 476 60 264 260 0 164 220 8 248 300 260 8 76 4 460 220 444 0 216 128 452 344 4 260 40 164 272 44 136 276 236 52 176 84 136 48 60 40 28 200 280 28 196 416 320 236 148 484 200 44 168 148 452 336 44 432 168 184 204 392 248 452 472 124 148 224 296 12 488 48 304 352 128 8 164 264 148 88 96 40 168 100 168 232 224 48 252 56 32 180 160 292 284 164 192 132 20 300 260 196 8 76 192 116 236 56 24 40 116 184 208 260 32 80 44 80 124 192 276 352 136 96 64 68 256 136 256 24 180 96 136 20 448 200 4 96 96 128 264 180 88 24 220 444 408 0 40 8 336 212 248 292 64 348 408 176 400 460 16 172 72 344 200 120 72 340 288 124 4 384 112 136 56 164 56 264 308 388 312 252 4 4 388 72 52 312 388 88 180 264 92 220 12 88 92 32 232 48 296 348 72 348 212 56 232 44 92 68 132 112 16 40 168 80 364 92 364 160 484 60 200 16 184 24 60 148 112 488 76 128 392 124 316 0 68 216 196 340 172 76 420 56 32 36 60 168 108 44 40 220 200 160 496 124 280 188 456 4 336 496 284 496 280 36 112 280 12 280 344 204 36 420 256 272 460 424 128 80 464 300 276 168 284 380 348 184 352 84 416 520 480 464 480 96 24 520 96 204 56 172 164 304 188 328 72 144 160 48 292 168 232 268 196 244 248 112 240 8 24 108 284 140 384 112 40 80 456 280 8 164 60 88 100 172 364 172 96 172 276 116 100 52 372 324 236 336 136 40 312 68 144 300 8 152 112 16 272 364 152 348 148 312 228 132 92 96 112 4 132 92 332 44 132 288 444 204 192 36 16 28 324 120 120 448 436 344 4 36 232 76 312 160 224 168 224 220 12 412 312 224 96 244 364 96 172 488 192 96 96 136 4 12 36 388 36 44 56 140 260 204 372 536 308 364 440 416 312 212 292 220 168 208 160 0 36 192 160 140 488 448 272 168 372 288 340 20 376 64 136 264 100 172 116 76 32 148 80 192 536 496 352 332 144 536 144 68 272 112 496 360 40 244 304 204 392 0 112 316 40 0 128 264 392 244 392 316 0 24 236 96 132 48 116 152 288 20 108 220 116 204 176 96 276 116 200 40 216 380 4 220 296 212 108 76 116 420 224 260 20 276 228 120 160 52 384 292 380 336 252 52 20 200 104 308 92 452 180 96 316 200 32 288 192 284 268 52 252 200 124 160 336 212 56 412 348 456 160 108 352 352 72 384 40 160 140 148 256 320 156 116 116 44 296 336 68 52 192 408 36 104 48 88 448 288 48 0 380 120 380 0 288 220 8 60 220 144 76 100 172 220 84 88 160 104 244 120 336 356 112 304 20 164 164 328 40 56 404 136 424 496 380 12 124 20 120 368 32 212 76 120 144 352 20 72 212 152 56 120 124 160 364 104 52 56 216 280 184 184 216 120 60 52 76 140 32 112 92 312 0 96 140 80 40 72 4 240 160 188 316 380 336 456 476 252 40 204 260 424 276 440 60 8 56 244 180 132 24 176 216 240 40 80 104 280 236 172 164 372 12 64 52 240 288 208 260 292 204 176 440 376 296 340 268 20 92 112 356 404 364 104 276 136 536 48 376 348 292 184 256 8 416 436 196 236 216 328 0 72 176 264 76 140 260 16 92 28 188 68 192 536 488 132 160 284 268 228 60 56 72 180 76 176 40 32 380 420 16 44 152 72 200 88 124 160 120 176 68 88 276 336 484 80 44 176 248 8 128 52 108 136 320 40 116 136 176 136 4 208 184 400 40 308 12 156 240 280 52 316 348 244 352 332 348 232 184 452 192 184 136 96 476 8 424 8 124 72 328 104 368 16 156 332 108 124 44 160 80 164 300 412 408 64 208 172 40 48 120 88 44 60 96 148 148 224 132 180 88 36 132 236 100 32 192 460 460 200 164 408 116 116 176 164 32 200 308 292 40 496 120 320 128 12 224 64 104 36 128 20 140 264 52 264 152 172 252 0 68 0 268 40 308 0 92 268 392 216 76 168 120 212 244 72 244 268 64 60 216 52 68 8 256 308 180 224 40 72 148 344 8 128 288 360 360 88 156 328 268 124 28 92 140 100 376 156 416 120 48 176 276 44 424 52 16 92 324 164 292 12 60 32 436 292 116 388 4 104 392 0 40 8 252 108 144 348 424 360 88 0 496 196 20 496 196 32 288 208 104 180 292 304 376 244 452 300 252 336 40 376 536 348 84 300 120 456 496 164 268 400 64 104 0 84 468 516 140 248 256 216 336 188 0 176 456 268 156 488 16 456 412 324 268 80 252 416 48 160 232 308 536 240 428 284 232 36 488 296 492 132 292 372 108 280 244 208 40 380 376 172 176 144 28 144 28 120 200 244 200 136 4 244 12 296 80 52 104 200 56 224 116 156 84 128 24 208 216 344 180 96 172 160 72 244 84 124 404 80 224 92 56 212 68 4 264 172 4 12 148 276 108 232 88 304 208 192 120 12 264 168 76 304 300 224 464 352 176 64 148 8 108 124 52 328 200 352 176 448 400 56 536 104 204 160 60 176 96 296 220 20 108 96 160 112 36 204 264 112 48 116 120 196 76 104 44 8 4 248 228 76 336 396 184 20 148 124 108 44 100 160 16 36 188 224 76 0 32 76 392 188 112 336 84 0 156 96 64 12 20 120 216 92 108 120 352 232 168 160 164 356 320 92 292 68 264 60 152 120 92 20 208 64 312 12 168 56 252 244 84 320 88 40 216 328 8 248 48 60 236 184 92 96 348 36 440 76 320 400 280 352 236 196 96 168 48 136 252 280 188 252 176 328 164 136 356 204 428 468 108 0 152 72 452 200 264 164 4 108 384 340 268 112 344 300 120 192 140 52 276 180 200 72 360 168 32 116 4 64 404 408 168 148 116 292 324 324 92 124 404 60 108 100 88
2520.22/2182.74	v       </values>
2520.22/2182.74	v     </instantiation>
2520.22/2182.74	s SATISFIABLE

Verifier Data 

OK	528581723

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387526-1568308947/watcher-4387526-1568308947 -o /tmp/evaluation-result-4387526-1568308947/solver-4387526-1568308947 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=485046364 HOME/instance-4387526-1568308947.xml 

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

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


[startup+0.110259 s]*
/proc/loadavg: 2.56 1.91 1.62 3/220 13652
/proc/meminfo: memFree=17777760/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=10355560 memory=21820 CPUtime=0.1 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 4709 13204 0 0 2 0 5 3 20 0 9 0 407159864 10604093440 5455 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2588890 5455 2102 1 0 2551431 0
[pid=13594/tid=13647] ppid=13591 vsize=10355560 memory=720575944405811505 CPUtime=0.1 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 2470 13204 0 0 2 0 5 3 20 0 9 0 407159873 10604093440 5455 33554432000 4194304 4196468 140723937115920 140217084837744 140217098684211 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 9 0 407159874 10604093440 5455 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10355560 memory=288369997730686592 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 9 0 407159874 10604093440 5455 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 9 0 407159874 10604093440 5455 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 9 0 407159874 10604093440 5455 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 9 0 407159875 10604093440 5455 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 9 0 407159876 10604093440 5455 33554432000 4194304 4196468 140723937115920 140216570565408 140217113011925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 9 0 407159876 10604093440 5455 33554432000 4194304 4196468 140723937115920 140215985366192 140217113011925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21820 KiB

[startup+0.210057 s]*
/proc/loadavg: 2.56 1.91 1.62 3/228 13661
/proc/meminfo: memFree=17765288/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=10820924 memory=37604 CPUtime=0.26 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 7322 13204 0 0 17 1 5 3 20 0 15 0 407159864 11080626176 9401 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2705231 9401 2954 1 0 2667645 0
[pid=13594/tid=13647] ppid=13591 vsize=10822552 memory=720575944405811505 CPUtime=0.19 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 4053 13204 0 0 10 1 5 3 20 0 15 0 407159873 11082293248 9665 33554432000 4194304 4196468 140723937115920 140217084826400 140217105681437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10822552 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159874 11082293248 9665 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10822552 memory=288369997730686592 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159874 11082293248 9665 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10822552 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159874 11082293248 9731 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10822552 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159874 11082293248 9731 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10822552 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159875 11082293248 9731 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10822552 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 15 0 407159876 11082293248 9731 33554432000 4194304 4196468 140723937115920 140216570565408 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10822552 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159876 11082293248 9797 33554432000 4194304 4196468 140723937115920 140215985366128 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=10822552 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159878 11082293248 9797 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=10822552 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) S 13591 13594 3654 0 -1 1077944384 448 13204 0 0 1 0 5 3 20 0 15 0 407159879 11082293248 9797 33554432000 4194304 4196468 140723937115920 140216537008752 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=10822552 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) S 13591 13594 3654 0 -1 1077944384 181 13204 0 0 0 0 5 3 20 0 15 0 407159879 11082293248 9797 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=10822552 memory=139621578974848 CPUtime=0.11 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) S 13591 13594 3654 0 -1 1077944384 641 13204 0 0 3 0 5 3 20 0 15 0 407159879 11082293248 9863 33554432000 4194304 4196468 140723937115920 140216534903664 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13659] ppid=13591 vsize=10822552 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13659/stat : 13659 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159879 11082293248 9863 33554432000 4194304 4196468 140723937115920 140215644408800 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13660] ppid=13591 vsize=10822552 memory=139621578974848 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13660/stat : 13660 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159879 11082293248 9863 33554432000 4194304 4196468 140723937115920 140216533850544 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820924 KiB
Current children cumulated memory: 37604 KiB

[startup+0.320389 s]*
/proc/loadavg: 2.56 1.91 1.62 4/228 13661
/proc/meminfo: memFree=17752840/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=10820244 memory=48236 CPUtime=0.42 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 10811 13204 0 0 31 3 5 3 20 0 15 0 407159864 11079929856 12059 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2705061 12059 3311 1 0 2667149 0
[pid=13594/tid=13647] ppid=13591 vsize=10820244 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 7252 13204 0 0 20 2 5 3 20 0 15 0 407159873 11079929856 12059 33554432000 4194304 4196468 140723937115920 140217084818256 140217113013654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10820244 memory=7826600428766590483 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159874 11079929856 12059 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10820244 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159874 11079929856 12059 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159874 11079929856 12059 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159874 11079929856 12059 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159875 11079929856 12059 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 15 0 407159876 11079929856 12059 33554432000 4194304 4196468 140723937115920 140216570565408 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159876 11079929856 12059 33554432000 4194304 4196468 140723937115920 140215985366128 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159878 11079929856 12059 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=10820244 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) R 13591 13594 3654 0 -1 4202560 449 13204 0 0 2 0 5 3 20 0 15 0 407159879 11079929856 12059 33554432000 4194304 4196468 140723937115920 140216537008752 140217113012866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=10820244 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) S 13591 13594 3654 0 -1 1077944384 191 13204 0 0 1 0 5 3 20 0 15 0 407159879 11079929856 12059 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=10820244 memory=139621578974848 CPUtime=0.13 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) R 13591 13594 3654 0 -1 4202560 666 13204 0 0 5 0 5 3 20 0 15 0 407159879 11079929856 12059 33554432000 4194304 4196468 140723937115920 140216534903664 140217113013654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13659] ppid=13591 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13659/stat : 13659 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159879 11079929856 12059 33554432000 4194304 4196468 140723937115920 140215644408800 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13660] ppid=13591 vsize=10820244 memory=139621578974848 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13660/stat : 13660 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159879 11079929856 12059 33554432000 4194304 4196468 140723937115920 140216533850544 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 48236 KiB

[startup+0.707147 s]
/proc/loadavg: 2.56 1.91 1.62 5/228 13661
/proc/meminfo: memFree=17737820/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=10824340 memory=81148 CPUtime=1.16 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 15145 13204 0 0 103 5 5 3 20 0 15 0 407159864 11084124160 20287 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2706085 20287 3500 1 0 2668173 0
[pid=13594/tid=13647] ppid=13591 vsize=10824340 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 10750 13204 0 0 56 4 5 3 20 0 15 0 407159873 11084124160 20287 33554432000 4194304 4196468 140723937115920 140217084828192 140216675844574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159874 11084124160 20287 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10824340 memory=279242935978848 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159874 11084124160 20287 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10824340 memory=145 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159874 11084124160 20287 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159874 11084124160 20287 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10824340 memory=1220 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 5 13204 0 0 0 0 5 3 20 0 15 0 407159875 11084124160 20287 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10824340 memory=992 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 15 0 407159876 11084124160 20287 33554432000 4194304 4196468 140723937115920 140216570565408 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10824340 memory=5976 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159876 11084124160 20287 33554432000 4194304 4196468 140723937115920 140215985366128 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=10824340 memory=1544 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159878 11084124160 20287 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=10824340 memory=776 CPUtime=0.21 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) R 13591 13594 3654 0 -1 4202560 717 13204 0 0 13 0 5 3 20 0 15 0 407159879 11084124160 20287 33554432000 4194304 4196468 140723937115920 140216537008752 140217105986761 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=10824340 memory=1056 CPUtime=0.23 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) R 13591 13594 3654 0 -1 1077944384 538 13204 0 0 15 0 5 3 20 0 15 0 407159879 11084124160 20287 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=10824340 memory=14012 CPUtime=0.25 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) R 13591 13594 3654 0 -1 4202560 882 13204 0 0 17 0 5 3 20 0 15 0 407159879 11084124160 20287 33554432000 4194304 4196468 140723937115920 140216534903664 140217091630847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13659] ppid=13591 vsize=10824340 memory=19556 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13659/stat : 13659 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159879 11084124160 20287 33554432000 4194304 4196468 140723937115920 140215644408800 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13660] ppid=13591 vsize=10824340 memory=2020 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13660/stat : 13660 (java) S 13591 13594 3654 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 407159879 11084124160 20287 33554432000 4194304 4196468 140723937115920 140216533850544 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 81148 KiB

[startup+1.50075 s]
/proc/loadavg: 2.68 1.94 1.63 3/228 13661
/proc/meminfo: memFree=17512728/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=10824340 memory=557440 CPUtime=2.83 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 18896 13204 0 0 233 42 5 3 20 0 15 0 407159864 11084124160 139360 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2706085 139360 3557 1 0 2668173 0
[pid=13594/tid=13647] ppid=13591 vsize=10824340 memory=471204 CPUtime=1.29 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 11161 13204 0 0 108 13 5 3 20 0 15 0 407159873 11084124160 139360 33554432000 4194304 4196468 140723937115920 140217084830496 140217113023645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10824340 memory=6791534058613427641 CPUtime=0.23 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 215 13204 0 0 8 7 5 3 20 0 15 0 407159874 11084124160 139360 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10824340 memory=34 CPUtime=0.22 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 222 13204 0 0 8 6 5 3 20 0 15 0 407159874 11084124160 139360 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10824340 memory=27917 CPUtime=0.22 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 561 13204 0 0 8 6 5 3 20 0 15 0 407159874 11084124160 139360 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10824340 memory=22 CPUtime=0.22 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 377 13204 0 0 8 6 5 3 20 0 15 0 407159874 11084124160 139360 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10824340 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 336 13204 0 0 1 0 5 3 20 0 15 0 407159875 11084124160 139360 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 34 13204 0 0 0 0 5 3 20 0 15 0 407159876 11084124160 139360 33554432000 4194304 4196468 140723937115920 140216570565408 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10824340 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 407159876 11084124160 139360 33554432000 4194304 4196468 140723937115920 140215985366144 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=10824340 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159878 11084124160 139360 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=10824340 memory=14012 CPUtime=0.41 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) S 13591 13594 3654 0 -1 1077944384 1881 13204 0 0 33 0 5 3 20 0 15 0 407159879 11084124160 139360 33554432000 4194304 4196468 140723937115920 140216537008752 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=10824340 memory=19556 CPUtime=0.39 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) S 13591 13594 3654 0 -1 1077944384 847 13204 0 0 31 0 5 3 20 0 15 0 407159879 11084124160 139360 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=10824340 memory=12024 CPUtime=0.32 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) S 13591 13594 3654 0 -1 1077944384 1047 13204 0 0 24 0 5 3 20 0 15 0 407159879 11084124160 139360 33554432000 4194304 4196468 140723937115920 140216534903664 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0

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

/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 444586 13204 0 0 197082 77 5 3 20 0 15 0 407159873 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140217084830544 140216686947215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10849012 memory=5474832 CPUtime=105.29 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 84595 13204 0 0 10317 204 5 3 20 0 15 0 407159874 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10849012 memory=5476556 CPUtime=105.48 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 85034 13204 0 0 10337 203 5 3 20 0 15 0 407159874 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10849012 memory=5478612 CPUtime=105.3 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 83693 13204 0 0 10327 195 5 3 20 0 15 0 407159874 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10849012 memory=5480748 CPUtime=105.56 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 80115 13204 0 0 10340 208 5 3 20 0 15 0 407159874 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10849012 memory=5481224 CPUtime=4.02 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 64623 13204 0 0 379 15 5 3 20 0 15 0 407159875 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10849012 memory=5482996 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 68 13204 0 0 0 0 5 3 20 0 15 0 407159876 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140216570565536 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10849012 memory=5482996 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 16 13204 0 0 0 0 5 3 20 0 15 0 407159876 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140215985366144 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=10849012 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159878 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=10849012 memory=5480748 CPUtime=7.99 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) S 13591 13594 3654 0 -1 1077944384 53649 13204 0 0 780 11 5 3 20 0 15 0 407159879 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140216537008752 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=10849012 memory=5480748 CPUtime=8.43 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) S 13591 13594 3654 0 -1 1077944384 60588 13204 0 0 823 12 5 3 20 0 15 0 407159879 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=10849012 memory=992 CPUtime=4.44 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) S 13591 13594 3654 0 -1 1077944384 53654 13204 0 0 424 12 5 3 20 0 15 0 407159879 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140216534903664 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13659] ppid=13591 vsize=10849012 memory=5976 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13659/stat : 13659 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159879 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140215644408800 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13660] ppid=13591 vsize=10849012 memory=1544 CPUtime=1.46 cores=1,3,5,7
/proc/13594/task/13660/stat : 13660 (java) S 13591 13594 3654 0 -1 1077944384 1626 13204 0 0 61 77 5 3 20 0 15 0 407159879 11109388288 1370749 33554432000 4194304 4196468 140723937115920 140216533850544 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 2419 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 5482996 KiB

[startup+2142.3 s]
/proc/loadavg: 0.85 0.82 0.93 2/207 13901
/proc/meminfo: memFree=14804112/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=10849012 memory=5507436 CPUtime=2479.47 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 1054317 13204 0 0 246940 999 5 3 20 0 15 0 407159864 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2712253 1376859 3645 1 0 2674317 0
[pid=13594/tid=13647] ppid=13591 vsize=10849012 memory=5507436 CPUtime=2031.5 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 475186 13204 0 0 203063 79 5 3 20 0 15 0 407159873 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140217084820352 140216689151931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10849012 memory=5480748 CPUtime=105.44 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 86639 13204 0 0 10332 204 5 3 20 0 15 0 407159874 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10849012 memory=5481224 CPUtime=105.63 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 88054 13204 0 0 10352 203 5 3 20 0 15 0 407159874 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10849012 memory=133 CPUtime=105.45 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 85132 13204 0 0 10342 195 5 3 20 0 15 0 407159874 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10849012 memory=5494456 CPUtime=105.71 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 82488 13204 0 0 10355 208 5 3 20 0 15 0 407159874 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10849012 memory=5498884 CPUtime=4.03 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 64965 13204 0 0 380 15 5 3 20 0 15 0 407159875 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10849012 memory=5504392 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 68 13204 0 0 0 0 5 3 20 0 15 0 407159876 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140216570565536 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10849012 memory=37228 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 16 13204 0 0 0 0 5 3 20 0 15 0 407159876 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140215985366144 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=10849012 memory=5507436 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159878 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=10849012 memory=5506696 CPUtime=7.99 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) S 13591 13594 3654 0 -1 1077944384 53652 13204 0 0 780 11 5 3 20 0 15 0 407159879 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140216537008752 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=10849012 memory=5506696 CPUtime=8.43 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) S 13591 13594 3654 0 -1 1077944384 60596 13204 0 0 823 12 5 3 20 0 15 0 407159879 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=10849012 memory=1432 CPUtime=4.44 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) S 13591 13594 3654 0 -1 1077944384 53658 13204 0 0 424 12 5 3 20 0 15 0 407159879 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140216534903664 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13659] ppid=13591 vsize=10849012 memory=9536 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13659/stat : 13659 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159879 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140215644408800 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13660] ppid=13591 vsize=10849012 memory=3580 CPUtime=1.49 cores=1,3,5,7
/proc/13594/task/13660/stat : 13660 (java) S 13591 13594 3654 0 -1 1077944384 1651 13204 0 0 62 79 5 3 20 0 15 0 407159879 11109388288 1376859 33554432000 4194304 4196468 140723937115920 140216533850544 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 2479.47 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 5507436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2182.6 s]
/proc/loadavg: 0.79 0.81 0.93 2/207 13906
/proc/meminfo: memFree=14787284/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=10849012 memory=5523844 CPUtime=2520.11 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 1061082 13204 0 0 251000 1003 5 3 20 0 15 0 407159864 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2712253 1380961 3645 1 0 2674317 0
[pid=13594/tid=13647] ppid=13591 vsize=10849012 memory=2020 CPUtime=2071.68 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 480164 13204 0 0 207081 79 5 3 20 0 15 0 407159873 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140217084819648 140216689284037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=10849012 memory=5521336 CPUtime=105.54 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 87102 13204 0 0 10342 204 5 3 20 0 15 0 407159874 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=10849012 memory=5521048 CPUtime=105.74 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 88479 13204 0 0 10362 204 5 3 20 0 15 0 407159874 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=10849012 memory=5976 CPUtime=105.54 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 85541 13204 0 0 10351 195 5 3 20 0 15 0 407159874 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=10849012 memory=1544 CPUtime=105.8 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 82964 13204 0 0 10364 208 5 3 20 0 15 0 407159874 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=10849012 memory=776 CPUtime=4.04 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 64977 13204 0 0 381 15 5 3 20 0 15 0 407159875 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=10849012 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 68 13204 0 0 0 0 5 3 20 0 15 0 407159876 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140216570565536 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=10849012 memory=2020 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 16 13204 0 0 0 0 5 3 20 0 15 0 407159876 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140215985366144 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=10849012 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159878 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=10849012 memory=9536 CPUtime=7.99 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) S 13591 13594 3654 0 -1 1077944384 53652 13204 0 0 780 11 5 3 20 0 15 0 407159879 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140216537008752 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=10849012 memory=5521048 CPUtime=8.43 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) S 13591 13594 3654 0 -1 1077944384 60596 13204 0 0 823 12 5 3 20 0 15 0 407159879 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=10849012 memory=6791534058613427641 CPUtime=4.44 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) S 13591 13594 3654 0 -1 1077944384 53658 13204 0 0 424 12 5 3 20 0 15 0 407159879 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140216534903664 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13659] ppid=13591 vsize=10849012 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13659/stat : 13659 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 407159879 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140215644408800 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13660] ppid=13591 vsize=10849012 memory=1056 CPUtime=1.52 cores=1,3,5,7
/proc/13594/task/13660/stat : 13660 (java) S 13591 13594 3654 0 -1 1077944384 1653 13204 0 0 63 81 5 3 20 0 15 0 407159879 11109388288 1380961 33554432000 4194304 4196468 140723937115920 140216533850544 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 5523844 KiB

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

[startup+2182.78 s]
# the end of solver process 13594 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.21 s, system=10.1009 s

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

[startup+2182.71 s]
/proc/loadavg: 0.79 0.81 0.93 2/207 13906
/proc/meminfo: memFree=14787284/32770624 swapFree=66999904/67108860
[pid=13594] ppid=13591 vsize=11045628 memory=5528036 CPUtime=2520.22 cores=1,3,5,7
/proc/13594/stat : 13594 (java) S 13591 13594 3654 0 -1 1077944320 1061496 13204 0 0 251011 1003 5 3 20 0 17 0 407159864 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140723937098464 140217113001719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
/proc/13594/statm: 2761407 1382009 3646 1 0 2723471 0
[pid=13594/tid=13647] ppid=13591 vsize=11045628 memory=5515024 CPUtime=2071.78 cores=1,3,5,7
/proc/13594/task/13647/stat : 13647 (java) R 13591 13594 3654 0 -1 4202560 480164 13204 0 0 207091 79 5 3 20 0 17 0 407159873 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140217084819648 140216689148861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13648] ppid=13591 vsize=11045628 memory=5515152 CPUtime=105.54 cores=1,3,5,7
/proc/13594/task/13648/stat : 13648 (java) S 13591 13594 3654 0 -1 1077944384 87102 13204 0 0 10342 204 5 3 20 0 17 0 407159874 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140217117244304 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13649] ppid=13591 vsize=11045628 memory=5521388 CPUtime=105.74 cores=1,3,5,7
/proc/13594/task/13649/stat : 13649 (java) S 13591 13594 3654 0 -1 1077944384 88479 13204 0 0 10362 204 5 3 20 0 17 0 407159874 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140217005517584 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13650] ppid=13591 vsize=11045628 memory=5523840 CPUtime=105.54 cores=1,3,5,7
/proc/13594/task/13650/stat : 13650 (java) S 13591 13594 3654 0 -1 1077944384 85541 13204 0 0 10351 195 5 3 20 0 17 0 407159874 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140217004465296 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13651] ppid=13591 vsize=11045628 memory=5521048 CPUtime=105.8 cores=1,3,5,7
/proc/13594/task/13651/stat : 13651 (java) S 13591 13594 3654 0 -1 1077944384 82964 13204 0 0 10364 208 5 3 20 0 17 0 407159874 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140217003412496 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13652] ppid=13591 vsize=11045628 memory=5523840 CPUtime=4.04 cores=1,3,5,7
/proc/13594/task/13652/stat : 13652 (java) S 13591 13594 3654 0 -1 1077944384 64977 13204 0 0 381 15 5 3 20 0 17 0 407159875 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140216571619440 140217113012866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13653] ppid=13591 vsize=11045628 memory=5523840 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13653/stat : 13653 (java) S 13591 13594 3654 0 -1 1077944384 68 13204 0 0 0 0 5 3 20 0 17 0 407159876 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140216570565536 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13654] ppid=13591 vsize=11045628 memory=5523840 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13654/stat : 13654 (java) S 13591 13594 3654 0 -1 1077944384 16 13204 0 0 0 0 5 3 20 0 17 0 407159876 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140215985366144 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13655] ppid=13591 vsize=11045628 memory=5523840 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13655/stat : 13655 (java) S 13591 13594 3654 0 -1 1077944384 226 13204 0 0 0 0 5 3 20 0 17 0 407159878 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140215677966416 140217113020315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13656] ppid=13591 vsize=11045628 memory=5521048 CPUtime=7.99 cores=1,3,5,7
/proc/13594/task/13656/stat : 13656 (java) S 13591 13594 3654 0 -1 1077944384 53652 13204 0 0 780 11 5 3 20 0 17 0 407159879 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140216537008752 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13657] ppid=13591 vsize=11045628 memory=2020 CPUtime=8.43 cores=1,3,5,7
/proc/13594/task/13657/stat : 13657 (java) S 13591 13594 3654 0 -1 1077944384 60596 13204 0 0 823 12 5 3 20 0 17 0 407159879 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140216535955952 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13658] ppid=13591 vsize=11045628 memory=6791534058613427641 CPUtime=4.44 cores=1,3,5,7
/proc/13594/task/13658/stat : 13658 (java) S 13591 13594 3654 0 -1 1077944384 53658 13204 0 0 424 12 5 3 20 0 17 0 407159879 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140216534903664 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13659] ppid=13591 vsize=11045628 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/13594/task/13659/stat : 13659 (java) S 13591 13594 3654 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 17 0 407159879 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140215644408800 140217113011925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
[pid=13594/tid=13660] ppid=13591 vsize=11045628 memory=5523840 CPUtime=1.52 cores=1,3,5,7
/proc/13594/task/13660/stat : 13660 (java) S 13591 13594 3654 0 -1 1077944384 1653 13204 0 0 63 81 5 3 20 0 17 0 407159879 11310723072 1382009 33554432000 4194304 4196468 140723937115920 140216533850544 140217113012866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19525632 140723937118966 140723937121477 140723937121477 140723937124303 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 11045628 KiB
Current children cumulated memory: 5528036 KiB

Child status: 143
Real time (s): 2182.78
CPU time (s): 2520.31
CPU user time (s): 2510.21
CPU system time (s): 10.1009
CPU usage (%): 115.463
Max. virtual memory (cumulated for all children) (KiB): 11045628
Max. memory (cumulated for all children) (KiB): 8296804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.21
system time used= 10.1009
maximum resident set size= 8296804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1077678
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86506
involuntary context switches= 5540


# summary of solver processes directly reported to runsolver:
#   pid: 13594
#   total CPU time (s): 2520.31
#   total CPU user time (s): 2510.21
#   total CPU system time (s): 10.1009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9499 second user time and 19.8707 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-12 19:21:51
IDJOB=4387526
IDBENCH=141284
IDSOLVER=2823
FILE ID=node123/4387526-1568308947
RUNJOBID= node123-1568285996-4542
PBS_JOBID= 21701081
Free space on /tmp= 56192 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387526-1568308947/watcher-4387526-1568308947 -o /tmp/evaluation-result-4387526-1568308947/solver-4387526-1568308947 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=485046364 HOME/instance-4387526-1568308947.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=485046364

node123.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.49
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.49
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.49
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.49
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:        17790276 kB
MemAvailable:   29373228 kB
Buffers:          197036 kB
Cached:         11548412 kB
SwapCached:         7400 kB
Active:          4713516 kB
Inactive:        9523088 kB
Active(anon):    2487648 kB
Inactive(anon):    45308 kB
Active(file):    2225868 kB
Inactive(file):  9477780 kB
Unevictable:      106696 kB
Mlocked:          106696 kB
SwapTotal:      67108860 kB
SwapFree:       66999904 kB
Dirty:            618668 kB
Writeback:             0 kB
AnonPages:       2592000 kB
Mapped:            56544 kB
Shmem:             32668 kB
Slab:             336916 kB
SReclaimable:     307764 kB
SUnreclaim:        29152 kB
KernelStack:        3712 kB
PageTables:        11036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3582724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2398208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56192 MiB
End job on node123 at 2019-09-12 19:58:14