Trace number 4304433

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.9.2SAT (TO)294770329 2520.17 2441.55

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-03-0300_c18.xml
MD5SUMf3b5e910cdd6f892615a29b96bfa015e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark294770329
Best CPU time to get the best result obtained on this benchmark2520.17
Satisfiable
(Un)Satisfiability was proved
Number of variables6750
Number of constraints4376
Number of domains77
Minimum domain size2
Maximum domain size125
Distribution of domain sizes[{"size":2,"count":2350},{"size":11,"count":2050},{"size":12,"count":1},{"size":21,"count":20},{"size":23,"count":62},{"size":24,"count":4},{"size":25,"count":49},{"size":26,"count":11},{"size":27,"count":33},{"size":28,"count":8},{"size":29,"count":15},{"size":30,"count":3},{"size":31,"count":15},{"size":32,"count":17},{"size":33,"count":16},{"size":34,"count":5},{"size":35,"count":3},{"size":41,"count":2},{"size":43,"count":13},{"size":45,"count":4},{"size":47,"count":7},{"size":53,"count":13},{"size":54,"count":6},{"size":55,"count":19},{"size":57,"count":5},"...",{"size":71,"count":29}, {"size":72,"count":7}, {"size":73,"count":9}, {"size":74,"count":18}, {"size":75,"count":1}, {"size":76,"count":6}, {"size":77,"count":1}, {"size":78,"count":10}, {"size":79,"count":27}, {"size":81,"count":44}, {"size":84,"count":2}, {"size":90,"count":3}, {"size":91,"count":13}, {"size":99,"count":2}, {"size":101,"count":36}, {"size":102,"count":77}, {"size":105,"count":10}, {"size":113,"count":152}, {"size":114,"count":176}, {"size":115,"count":87}, {"size":117,"count":87}, {"size":119,"count":37}, {"size":121,"count":82}, {"size":124,"count":46}, {"size":125,"count":1037}]
Minimum variable degree2
Maximum variable degree2051
Distribution of variable degrees[{"degree":2,"count":6148},{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":5},{"degree":6,"count":11},{"degree":7,"count":12},{"degree":8,"count":20},{"degree":9,"count":18},{"degree":10,"count":21},{"degree":11,"count":30},{"degree":12,"count":39},{"degree":13,"count":45},{"degree":14,"count":47},{"degree":15,"count":54},{"degree":16,"count":61},{"degree":17,"count":83},{"degree":18,"count":104},{"degree":19,"count":49},{"degree":2051,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":277},{"arity":3,"count":2049},{"arity":6,"count":2050}]
Number of extensional constraints2050
Number of intensional constraints2326
Distribution of constraint types[{"type":"extension","count":2050},{"type":"intension","count":2326}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.75	c Concrete v3.9.2.1532736233296 running
127.53/82.29	o 294770333
128.00/82.48	o 294770331
128.18/82.59	o 294770329
2520.08/2441.53	Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2441.53		at concrete.MAC.mac(MAC.scala:188)
2520.08/2441.53		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2441.53		at scala.util.Try$.apply(Try.scala:209)
2520.08/2441.53		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2441.53		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2441.53		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2441.53		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2441.53		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2441.53		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2441.53		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2441.53		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2441.53		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2441.53		at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2441.53		at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2441.53		at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2441.53		at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2441.53		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2441.53		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2441.53		at concrete.Solver.foreach(Solver.scala:68)
2520.08/2441.53		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2441.53		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2441.53		at scala.util.Success.map(Try.scala:209)
2520.08/2441.53		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2441.53		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2441.53		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2441.53		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2441.53		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2441.53		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2441.53		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2441.53		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2441.53		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2441.53		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2441.53		at scala.App.main(App.scala:76)
2520.08/2441.53		at scala.App.main$(App.scala:74)
2520.08/2441.53		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2441.53		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2441.54	v <instantiation cost="294770329">
2520.08/2441.54	v       <list>
2520.08/2441.54	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] 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] 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] 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] 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]
2520.08/2441.54	v       </list>
2520.08/2441.54	v       <values>
2520.08/2441.54	v         2312 2608 2588 2424 2368 2212 2532 2332 2464 2420 2252 2164 2312 2400 2616 2528 2328 2576 2648 2600 2160 2440 2200 2252 2600 2160 2356 2568 2180 2452 2252 2172 2616 2396 2608 2576 2544 2424 2160 2556 2248 2292 2164 2220 2220 2520 2592 2160 2200 2272 2640 2612 2216 2528 2456 2332 2568 2472 2568 2312 2404 2624 2520 2248 2372 2464 2488 2544 2412 2480 2476 2484 2528 2600 2452 2204 2460 2612 2228 2516 2160 2380 2260 2300 2164 2596 2492 2428 2572 2284 2388 2420 2612 2568 2520 2484 2652 2200 2512 2636 2380 2572 2360 2608 2320 2248 2560 2344 2616 2400 2472 2656 2244 2500 2504 2348 2636 2480 2192 2628 2436 2608 2232 2220 2292 2636 2636 2656 2260 2360 2496 2568 2636 2404 2212 2520 2584 2468 2288 2424 2188 2340 2536 2452 2624 2204 2168 2328 2200 2568 2540 2340 2588 2528 2576 2560 2516 2212 2584 2560 2524 2220 2612 2180 2340 2240 2364 2564 2424 2324 2384 2464 2608 2492 2460 2608 2432 2584 2608 2568 2352 2516 2576 2656 2624 2584 2200 2268 2160 2344 2584 2584 2488 2288 2576 2368 2384 2392 2560 2204 2344 2604 2400 2568 2384 2480 2536 2440 2380 2624 2200 2440 2180 2528 2596 2568 2552 2380 2384 2588 2432 2256 2596 2556 2288 2616 2584 2272 2568 2384 2596 2200 2544 2440 2480 2520 2420 2348 2424 2208 2628 2504 2396 2204 2248 2612 2648 2520 2612 2608 2616 2552 2476 2592 2216 2460 2452 2572 2640 2344 2384 2556 2608 2596 2412 2312 2608 2412 2420 2648 2420 2464 2448 2460 2548 2208 2444 2608 2488 2412 2616 2436 2352 2176 2212 2228 2208 2388 2300 2384 2640 2172 2652 2568 2340 2596 2328 2572 2364 2452 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 6 0 0 0 1 0 1 0 0 6 0 0 1 0 0 6 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 6 0 0 0 0 0 0 0 0 5 0 0 5 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 6 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 4 0 1 6 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 5 0 0 0 1 0 1 0 5 0 0 0 0 1 0 0 1 0 0 0 0 0 0 2 3 0 0 0 0 0 0 6 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 5 0 0 0 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 5 0 0 5 0 0 0 0 0 0 0 0 0 0 5 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 6 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 6 0 6 1 0 0 0 1 1 0 1 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 2 1 0 1 0 4 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 2 4 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 6 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 5 0 1 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 1 1 0 0 0 2 0 0 1 0 0 1 1 0 1 0 0 0 0 0 2 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 2 0 0 0 0 3 4 5 0 0 0 0 0 1 1 3 4 0 0 0 0 3 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 6 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 6 1 0 4 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 6 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 4 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 6 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 6 0 0 0 0 0 1 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 1 1 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 1 0 0 6 0 1 0 0 0 0 0 0 2 4 1 0 2 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 6 1 0 0 0 6 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 6 0 0 0 0 0 0 0 6 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 5 0 0 0 1 0 1 0 0 0 0 1 0 6 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 5 0 0 1 0 0 0 4 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 5 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 6 0 1 0 0 1 0 0 0 0 0 5 1 3 1 0 0 0 0 0 0 0 4 0 0 0 0 0 0 5 6 0 0 0 0 0 0 0 5 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 3 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 4 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 3 0 0 3 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 5 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 4 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 4 0 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 3 6 0 0 0 1 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 0 1 0 1 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 5 0 1 0 56 336 256 20 68 188 100 144 56 40 168 32 284 108 188 32 64 276 48 28 92 84 24 448 400 264 220 268 416 384 208 96 340 396 136 264 96 320 244 188 108 340 376 204 216 208 32 48 220 144 188 244 184 184 72 232 40 172 120 208 60 232 196 36 176 284 132 160 208 168 32 112 228 24 188 228 96 200 320 240 16 72 36 76 312 400 220 76 372 172 336 16 280 80 104 248 112 12 60 12 100 332 244 36 324 76 76 64 104 56 40 304 292 232 36 204 304 68 80 148 132 60 220 296 120 152 152 80 152 100 240 196 100 124 60 152 128 216 116 4 140 148 164 176 36 348 32 48 128 260 60 384 200 208 92 228 340 132 396 192 40 88 88 412 356 96 408 308 68 356 124 176 360 268 412 220 432 44 64 264 152 140 152 256 304 48 324 100 124 264 112 272 36 328 248 228 240 128 172 28 80 208 36 188 216 240 156 196 20 244 72 148 56 276 52 40 456 176 436 88 232 136 72 196 40 44 324 148 24 68 184 68 116 88 96 128 72 20 96 12 128 156 356 8 24 416 412 36 372 8 156 4 428 444 52 40 80 244 436 436 184 264 268 60 360 36 200 268 252 272 72 216 256 392 60 268 496 72 80 240 220 408 236 292 492 188 192 88 32 144 236 80 20 40 36 20 392 400 368 200 92 384 368 408 68 368 428 28 92 220 160 32 220 376 272 240 180 36 188 72 168 24 72 32 352 252 36 396 32 24 400 160 12 396 244 356 436 408 468 448 496 408 204 448 300 52 132 256 252 96 256 136 84 12 72 52 48 72 44 144 32 360 204 112 292 224 208 316 40 188 372 76 436 428 204 8 272 204 68 156 176 220 68 112 20 184 36 164 108 224 316 372 116 92 44 268 36 208 60 196 224 120 100 348 248 212 412 396 308 316 180 212 468 156 212 128 120 404 396 192 32 48 328 164 204 36 164 236 24 216 36 172 144 160 216 92 44 184 244 68 392 40 196 8 224 80 16 400 376 316 156 48 8 32 116 64 128 68 300 324 284 24 68 64 164 52 160 64 124 24 100 368 36 232 224 152 136 92 212 184 40 224 96 204 224 216 40 244 400 332 448 184 436 320 228 152 68 56 72 52 208 80 20 12 52 4 36 92 12 104 32 348 364 388 336 44 348 272 32 212 204 332 364 292 248 92 292 148 264 276 228 168 316 172 48 4 432 264 36 420 40 352 56 92 340 392 272 220 176 16 272 28 416 232 272 240 388 48 60 124 172 260 28 428 192 52 216 204 364 436 384 164 376 44 48 48 48 56 32 84 108 32 72 68 176 76 76 424 248 56 152 496 200 244 308 356 52 224 360 448 284 276 16 20 384 184 424 396 252 340 112 156 356 20 72 92 152 352 216 112 64 340 112 336 72 28 72 380 352 80 124 372 352 200 56 72 88 468 12 264 400 76 272 260 244 16 56 260 440 164 284 280 320 24 36 380 196 228 168 236 124 100 328 80 48 324 184 68 196 56 80 216 104 252 112 76 16 160 72 92 228 104 236 108 236 48 124 128 276 56 308 68 400 32 28 360 124 4 244 228 68 284 292 112 44 216 272 52 48 140 60 92 188 40 32 104 16 200 128 296 172 12 148 392 268 112 204 128 312 72 24 296 104 140 256 196 212 184 20 164 148 16 48 104 272 48 336 16 16 56 100 20 56 308 68 48 32 168 120 192 228 180 328 328 144 376 152 192 164 132 144 152 176 144 284 16 12 176 136 124 188 140 308 148 124 136 104 108 128 48 76 148 160 68 60 340 52 40 112 148 160 216 108 72 200 112 20 124 140 28 204 184 184 120 80 24 176 56 152 96 40 40 72 96 280 272 24 276 76 32 192 160 116 140 84 276 108 132 60 132 56 176 136 24 256 56 84 120 100 284 84 68 124 172 312 296 268 40 96 348 320 12 240 24 400 40 8 84 16 252 16 160 168 156 248 240 132 108 248 172 164 112 288 448 44 432 248 384 120 256 380 44 420 444 208 368 72 108 196 272 56 124 100 60 16 452 192 112 48 340 228 152 424 28 344 428 296 136 68 356 28 248 56 52 24 92 76 324 448 356 20 264 236 316 56 48 216 112 180 132 188 256 208 80 220 36 12 132 164 168 60 396 228 108 120 180 352 152 308 40 336 168 60 268 296 248 356 156 492 96 196 304 24 48 56 432 420 356 280 272 24 60 256 32 80 108 28 16 388 424 8 300 40 96 32 224 148 44 12 244 120 48 40 228 64 44 188 48 8 8 36 148 36 140 12 24 364 44 56 208 148 340 276 104 100 136 56 312 144 200 208 196 120 52 224 88 212 40 188 120 36 188 168 136 192 68 220 92 128 412 392 412 28 228 76 228 160 200 68 380 88 16 8 88 120 120 20 44 64 104 320 8 124 72 304 88 96 192 28 152 16 216 324 140 276 236 64 164 72 88 44 148 172 156 68 364 324 220 364 252 212 64 436 160 368 384 384 180 220 264 320 124 60 76 100 188 52 352 72 120 32 136 52 100 84 364 84 172 188 424 428 136 100 44 212 228 204 272 188 44 72 340 64 36 12 24 16 92 224 56 52 24 16 116 160 36 160 92 80 80 112 252 196 28 112 184 396 428 144 40 72 228 268 288 248 296 92 76 364 124 76 64 32 56 12 216 36 48 144 240 120 164 144 44 224 28 400 164 156 172 236 24 116 40 184 60 112 184 252 8 40 292 88 32 140 52 76 36 244 316 120 292 72 256 216 60 136 44 60 168 364 96 144 96 208 288 28 4 104 108 152 120 92 148 88 260 20 108 260 208 92 280 172 8 344 52 28 60 60 100 84 40 436 16 64 272 260 116 36 104 152 260 396 148 132 268 160 76 152 200 288 416 20 340 204 104 196 428 340 448 356 80 12 200 200 92 84 152 52 68 92 316 144 116 48 16 24 12 336 120 196 56 292 336 392 56 136 112 152 392 52 376 416 340 240 388 296 124 220 376 132 168 148 132 184 156 140 448 432 76 76 416 368 52 236 40 68 20 48 476 292 108 388 224 424 252 468 256 88 368 136 192 220 300 204 232 324 60 172 348 92 32 40 308 148 108 148 104 224 208 224 248 84 76 212 208 168 296 64 276 32 240 152 112 44 48 40 328 184 232 168 424 268 292 436 84 192 164 164 100 32 412 316 172 212 292 380 132 384 180 320 280 88 320 84 76 28 220 12 32 8 356 12 280 72 92 256 24 180 52 144 336 264 300 144 16 96 160 60 224 100 12 36 216 60 396 80 332 20 428 164 140 228 184 268 84 268 112 152 72 72 120 88 96 88 116 328 132 128 8 292 124 72 76 196 204 196 40 96 240 16 48 32 336 96 72 80 184 176 124 160 312 392 52 260 160 296 184 104 32 256 424 44 216 240 280 148 92 384 360 20 356 412 392 212 8 8 328 4 216 28 172 148 20 156 188 284 56 16 68 52 104 100 200 100 244 12 128 264 128 320 108 8 8 28 60 60 200 48 308 164 64 60 96 24 64 68 76 252 48 208 48 20 8 304 232 192 4 24 8 100 96 208 92 132 308 208 224 176 220 160 92 96 240 28 120 56 192 40 164 140 92 236 344 104 36 240 412 172 264 364 36 60 192 192 124 200 448 412 232 4 244 288 44 268 308 120 312 368 200 32 328 356 220 32 96 192 56 292 104 152 104 8 164 168 28 168 156 56 204 72 76 324 88 240 16 152 184 160 80 120 112 88 188 48 52 284 156 284 68 20 168 212 152 188 48 24 72 168 40 160 232 144 48 8 48 116 232 384 32 40 256 12 256 40 244 8 36 188 40 60 44 80 216 176 216 80 80 44 264 256 300 100 232 56 368 164 272 60 440 236 480 36 68 8 352 72 416 380 144 200 376 88 220 396 348 408 108 76 124 356 348 184 436 88 260 252 52 136 96 304 264 144 68 132 56 188 32 412 16 244 152 40 56 136 24 244 96 132 320 60 308 176 8 156 4 236 80 272 72 184 88 12 188 256 204 360 120 24 164 40 32 352 260 176 392 180 144 240 96 448 368 136 140 208 132 68 220 196 216 16 52 56 12 248 296 56 204 204 228 104 208 88 272 84 232 168 268 328 324 128 112 52 128 148 216 108 16 268 68 152 188 28 104 204 420 52 188 368 352 260 156 64 36 112 348 368 84 64 80 320 28 116 12 280 72 12 108 360 132 336 168 212 32 68 204 208 16 212 224 172 36 208 204 24 36 20 140 164 12 180 88 132 208 104 72 196 12 184 420 56 120 84 328 256 284 268 132 364 196 440 312 24 368 28 120 172 336 92 224 80 216 392 36 76 224 380 184 420 232 40 20 188 168 176 168 176 52 100 28 272 88 92 116 76 344 192 132 36 128 192 176 280 208 64 116 172 212 340 432 76 80 44 92 84 148 248 208 400 164 56 272 248 32 56 432 264 92 336 188 40 76 96 84 152 260 392 296 196 128 24 288 140 16 56 28 148 168 272 40 120 152 120 160 44 24 312 252 120 224 232 176 56 8 12 32 84 236 436 196 248 80 112 176 136 100 88 16 60 48 180 8 380 12 156 136 188 160 200 444 288 16 288 220 188 368 88 68 112
2520.08/2441.54	v       </values>
2520.08/2441.54	v     </instantiation>
2520.08/2441.54	s SATISFIABLE

Verifier Data 

OK	294770329

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304433-1534086777/watcher-4304433-1534086777 -o /tmp/evaluation-result-4304433-1534086777/solver-4304433-1534086777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=71836444 HOME/instance-4304433-1534086777.xml 

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

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

solver pid=13848, runsolver pid=13845

[startup+0.1014 s]*
/proc/loadavg: 1.18 1.50 1.59 2/206 13905
/proc/meminfo: memFree=11037612/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=10005480 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 4386 13150 0 0 1 0 5 3 20 0 6 0 226240972 10245611520 4715 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2501370 4715 1934 1 0 2489808 0
[pid=13848/tid=13901] ppid=13845 vsize=10005480 memory=4279135703913235855 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) R 13845 13848 9560 0 -1 4202560 2191 13150 0 0 0 0 5 3 20 0 6 0 226240981 10245611520 4715 33554432000 4194304 4196468 140736028142416 140669131723344 140669159908509 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 6 0 226240982 10245611520 4715 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=10005480 memory=140081633261184 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 6 0 226240982 10245611520 4715 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 6 0 226240982 10245611520 4715 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 6 0 226240982 10245611520 4715 33554432000 4194304 4196468 140736028142416 140669043288848 140669159896789 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210052 s]*
/proc/loadavg: 1.18 1.50 1.59 3/215 13914
/proc/meminfo: memFree=11014860/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=10982744 memory=43528 CPUtime=0.26 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 7053 13150 0 0 17 1 5 3 20 0 15 0 226240972 11246329856 10882 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2745686 10882 2961 1 0 2708109 0
[pid=13848/tid=13901] ppid=13845 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) R 13845 13848 9560 0 -1 4202560 3614 13150 0 0 10 1 5 3 20 0 15 0 226240981 11246329856 10882 33554432000 4194304 4196468 140736028142416 140669131708488 140669141450139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246329856 10882 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=10982744 memory=140081633261184 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246329856 10882 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246329856 10882 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246329856 10882 33554432000 4194304 4196468 140736028142416 140669043288848 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=10982744 memory=140081633261184 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240983 11246329856 10882 33554432000 4194304 4196468 140736028142416 140668652943728 140669159897730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 13 13150 0 0 0 0 5 3 20 0 15 0 226240984 11246329856 10882 33554432000 4194304 4196468 140736028142416 140667910087712 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240984 11246329856 10882 33554432000 4194304 4196468 140736028142416 140667762238320 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11246329856 10882 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) S 13845 13848 9560 0 -1 1077944384 421 13150 0 0 0 0 5 3 20 0 15 0 226240987 11246329856 10882 33554432000 4194304 4196468 140736028142416 140668651891568 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 189 13150 0 0 1 0 5 3 20 0 15 0 226240987 11246329856 10882 33554432000 4194304 4196468 140736028142416 140668650838768 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=10982744 memory=140081633261184 CPUtime=0.11 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 603 13150 0 0 3 0 5 3 20 0 15 0 226240987 11246329856 10882 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11246329856 10882 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=10982744 memory=140081633261184 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240987 11246329856 10882 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43528 KiB

[startup+0.310092 s]*
/proc/loadavg: 1.18 1.50 1.59 3/215 13914
/proc/meminfo: memFree=11002516/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=10983192 memory=55656 CPUtime=0.38 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 9961 13150 0 0 28 2 5 3 20 0 15 0 226240972 11246788608 13914 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2745798 13914 3080 1 0 2708109 0
[pid=13848/tid=13901] ppid=13845 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) R 13845 13848 9560 0 -1 4202560 6692 13150 0 0 19 1 5 3 20 0 15 0 226240981 11246788608 14112 33554432000 4194304 4196468 140736028142416 140669131698592 140669140162397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=10983192 memory=5937523740975845457 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 14112 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 14112 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 14112 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 14112 33554432000 4194304 4196468 140736028142416 140669043288848 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240983 11246788608 14112 33554432000 4194304 4196468 140736028142416 140668652943728 140669159897730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 13 13150 0 0 0 0 5 3 20 0 15 0 226240984 11246788608 14112 33554432000 4194304 4196468 140736028142416 140667910087712 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240984 11246788608 14112 33554432000 4194304 4196468 140736028142416 140667762238320 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11246788608 14112 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) S 13845 13848 9560 0 -1 1077944384 421 13150 0 0 1 0 5 3 20 0 15 0 226240987 11246788608 14112 33554432000 4194304 4196468 140736028142416 140668651891568 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 190 13150 0 0 1 0 5 3 20 0 15 0 226240987 11246788608 14112 33554432000 4194304 4196468 140736028142416 140668650838768 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 613 13150 0 0 5 0 5 3 20 0 15 0 226240987 11246788608 14112 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11246788608 14178 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240987 11246788608 14178 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55656 KiB

[startup+0.700707 s]
/proc/loadavg: 1.18 1.50 1.59 3/215 13914
/proc/meminfo: memFree=10991664/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=10983192 memory=90348 CPUtime=0.99 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 16735 13150 0 0 88 3 5 3 20 0 15 0 226240972 11246788608 22587 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2745798 22587 3238 1 0 2708109 0
[pid=13848/tid=13901] ppid=13845 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) R 13845 13848 9560 0 -1 4202560 12163 13150 0 0 56 3 5 3 20 0 15 0 226240981 11246788608 22587 33554432000 4194304 4196468 140736028142416 140669131706872 140669141450139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 22587 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=10983192 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 22587 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 22587 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240982 11246788608 22587 33554432000 4194304 4196468 140736028142416 140669043288848 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 5 13150 0 0 0 0 5 3 20 0 15 0 226240983 11246788608 22587 33554432000 4194304 4196468 140736028142416 140668652943728 140669159897730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 13 13150 0 0 0 0 5 3 20 0 15 0 226240984 11246788608 22587 33554432000 4194304 4196468 140736028142416 140667910087712 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240984 11246788608 22587 33554432000 4194304 4196468 140736028142416 140667762238320 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11246788608 22587 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=10983192 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) S 13845 13848 9560 0 -1 1077944384 823 13150 0 0 7 0 5 3 20 0 15 0 226240987 11246788608 22587 33554432000 4194304 4196468 140736028142416 140668651891568 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=10983192 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 812 13150 0 0 10 0 5 3 20 0 15 0 226240987 11246788608 22587 33554432000 4194304 4196468 140736028142416 140668650838768 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 708 13150 0 0 13 0 5 3 20 0 15 0 226240987 11246788608 22587 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11246788608 22587 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240987 11246788608 22587 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90348 KiB

[startup+1.50566 s]
/proc/loadavg: 1.18 1.50 1.59 3/215 13914
/proc/meminfo: memFree=10948256/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=10991872 memory=483500 CPUtime=3 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 23215 13150 0 0 254 38 5 3 20 0 15 0 226240972 11255676928 120875 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2747968 120875 3449 1 0 2709645 0
[pid=13848/tid=13901] ppid=13845 vsize=10991872 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) S 13845 13848 9560 0 -1 1077944384 14533 13150 0 0 116 8 5 3 20 0 15 0 226240981 11255676928 120875 33554432000 4194304 4196468 140736028142416 140669131722272 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=10991872 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 520 13150 0 0 6 7 5 3 20 0 15 0 226240982 11255676928 120875 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=10991872 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 221 13150 0 0 6 7 5 3 20 0 15 0 226240982 11255676928 120875 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=10991872 memory=3539892194917298225 CPUtime=0.17 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) R 13845 13848 9560 0 -1 4202560 191 13150 0 0 4 5 5 3 20 0 15 0 226240982 11255676928 120875 33554432000 4194304 4196468 140736028142416 140669044341544 140669152514791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=10991872 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 250 13150 0 0 6 7 5 3 20 0 15 0 226240982 11255676928 120875 33554432000 4194304 4196468 140736028142416 140669043288864 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=10991872 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 90 13150 0 0 0 0 5 3 20 0 15 0 226240983 11255676928 120875 33554432000 4194304 4196468 140736028142416 140668652942048 140669159896789 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=10991872 memory=280162998495488 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 15 13150 0 0 0 0 5 3 20 0 15 0 226240984 11255676928 120875 33554432000 4194304 4196468 140736028142416 140667910087712 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=10991872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 2 13150 0 0 0 0 5 3 20 0 15 0 226240984 11255676928 120875 33554432000 4194304 4196468 140736028142416 140667762238336 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=10991872 memory=4552 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11255676928 120875 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=10991872 memory=3732 CPUtime=0.52 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) R 13845 13848 9560 0 -1 4202560 2231 13150 0 0 44 0 5 3 20 0 15 0 226240987 11255676928 120875 33554432000 4194304 4196468 140736028142416 140668651877592 140669141430783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=10991872 memory=1228 CPUtime=0.48 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 1904 13150 0 0 40 0 5 3 20 0 15 0 226240987 11255676928 120875 33554432000 4194304 4196468 140736028142416 140668650830048 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=10991872 memory=10624 CPUtime=0.36 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 1055 13150 0 0 28 0 5 3 20 0 15 0 226240987 11255676928 120875 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=10991872 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11255676928 120875 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=10991872 memory=6768 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 1 13150 0 0 0 0 5 3 20 0 15 0 226240987 11255676928 120875 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10991872 KiB

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

/proc/13848/task/13901/stat : 13901 (java) R 13845 13848 9560 0 -1 4202560 186110 13150 0 0 224266 82 5 3 20 0 15 0 226240981 11280941056 395734 33554432000 4194304 4196468 140736028142416 140669131722016 140668723878457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=11016544 memory=1752 CPUtime=16.7 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 35107 13150 0 0 1575 87 5 3 20 0 15 0 226240982 11280941056 395734 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=11016544 memory=748 CPUtime=16.68 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 35187 13150 0 0 1570 90 5 3 20 0 15 0 226240982 11280941056 395734 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=11016544 memory=1820 CPUtime=16.65 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 25726 13150 0 0 1572 85 5 3 20 0 15 0 226240982 11280941056 395734 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=11016544 memory=1582936 CPUtime=16.68 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 31141 13150 0 0 1572 88 5 3 20 0 15 0 226240982 11280941056 395734 33554432000 4194304 4196468 140736028142416 140669043288848 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=11016544 memory=4552 CPUtime=1.73 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 29356 13150 0 0 145 20 5 3 20 0 15 0 226240983 11280941056 395734 33554432000 4194304 4196468 140736028142416 140668652943728 140669159897730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=11016544 memory=3732 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 24 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 395734 33554432000 4194304 4196468 140736028142416 140667910087776 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=11016544 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 14 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 395734 33554432000 4194304 4196468 140736028142416 140667762238336 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=11016544 memory=10624 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11280941056 395734 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=11016544 memory=1624 CPUtime=10.53 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) S 13845 13848 9560 0 -1 1077944384 84881 13150 0 0 1038 7 5 3 20 0 15 0 226240987 11280941056 395734 33554432000 4194304 4196468 140736028142416 140668651891568 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=11016544 memory=6768 CPUtime=10.52 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 78104 13150 0 0 1037 7 5 3 20 0 15 0 226240987 11280941056 395734 33554432000 4194304 4196468 140736028142416 140668650838768 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=11016544 memory=876 CPUtime=3.48 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 60736 13150 0 0 330 10 5 3 20 0 15 0 226240987 11280941056 395734 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=11016544 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11280941056 395734 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=11016544 memory=1068 CPUtime=1.44 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 2559 13150 0 0 72 64 5 3 20 0 15 0 226240987 11280941056 395734 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 2337.35 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1582936 KiB

[startup+2322.3 s]
/proc/loadavg: 1.72 1.67 1.62 3/216 14118
/proc/meminfo: memFree=10958240/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=11016544 memory=1803524 CPUtime=2398.57 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 578332 13150 0 0 239304 545 5 3 20 0 15 0 226240972 11280941056 450881 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2754136 450881 3538 1 0 2715789 0
[pid=13848/tid=13901] ppid=13845 vsize=11016544 memory=1116 CPUtime=2303.13 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) S 13845 13848 9560 0 -1 1077944384 190035 13150 0 0 230221 84 5 3 20 0 15 0 226240981 11280941056 450881 33554432000 4194304 4196468 140736028142416 140669131722128 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=11016544 memory=1801476 CPUtime=17.09 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 35641 13150 0 0 1609 92 5 3 20 0 15 0 226240982 11280941056 450881 33554432000 4194304 4196468 140736028142416 140669164129440 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=11016544 memory=3816 CPUtime=17.07 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 35787 13150 0 0 1604 95 5 3 20 0 15 0 226240982 11280941056 450881 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=11016544 memory=61444 CPUtime=17.04 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 26414 13150 0 0 1606 90 5 3 20 0 15 0 226240982 11280941056 450881 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=11016544 memory=1116 CPUtime=17.07 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) R 13845 13848 9560 0 -1 4202560 31667 13150 0 0 1606 93 5 3 20 0 15 0 226240982 11280941056 450881 33554432000 4194304 4196468 140736028142416 140669043288968 140669152514791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=11016544 memory=6791534058613427641 CPUtime=1.76 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 29681 13150 0 0 148 20 5 3 20 0 15 0 226240983 11280941056 450881 33554432000 4194304 4196468 140736028142416 140668652942240 140669159896789 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=11016544 memory=61444 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 24 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 450881 33554432000 4194304 4196468 140736028142416 140667910087776 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=11016544 memory=1116 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 14 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 450881 33554432000 4194304 4196468 140736028142416 140667762238336 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=11016544 memory=1795820 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11280941056 450881 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=11016544 memory=1803524 CPUtime=10.53 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) S 13845 13848 9560 0 -1 1077944384 84943 13150 0 0 1038 7 5 3 20 0 15 0 226240987 11280941056 450881 33554432000 4194304 4196468 140736028142416 140668651891568 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=11016544 memory=4872558044660077418 CPUtime=10.53 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 78419 13150 0 0 1038 7 5 3 20 0 15 0 226240987 11280941056 450881 33554432000 4194304 4196468 140736028142416 140668650838768 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=11016544 memory=4872558044660077418 CPUtime=3.48 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 60929 13150 0 0 330 10 5 3 20 0 15 0 226240987 11280941056 450881 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=11016544 memory=1752 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11280941056 450881 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=11016544 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 2576 13150 0 0 74 65 5 3 20 0 15 0 226240987 11280941056 450881 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 2398.57 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1803524 KiB

[startup+2382.3 s]
/proc/loadavg: 1.84 1.72 1.64 3/216 14119
/proc/meminfo: memFree=11065928/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=11016544 memory=1694256 CPUtime=2459.71 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 583425 13150 0 0 245415 548 5 3 20 0 15 0 226240972 11280941056 423564 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2754136 423564 3538 1 0 2715789 0
[pid=13848/tid=13901] ppid=13845 vsize=11016544 memory=2144 CPUtime=2362.71 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) R 13845 13848 9560 0 -1 4202560 193611 13150 0 0 236178 85 5 3 20 0 15 0 226240981 11280941056 423564 33554432000 4194304 4196468 140736028142416 140669131722304 140668743688456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=11016544 memory=1752 CPUtime=17.46 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 35762 13150 0 0 1646 92 5 3 20 0 15 0 226240982 11280941056 423564 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=11016544 memory=748 CPUtime=17.43 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 36080 13150 0 0 1640 95 5 3 20 0 15 0 226240982 11280941056 423564 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=11016544 memory=3356 CPUtime=17.4 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 26705 13150 0 0 1642 90 5 3 20 0 15 0 226240982 11280941056 423564 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=11016544 memory=492 CPUtime=17.44 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 31827 13150 0 0 1643 93 5 3 20 0 15 0 226240982 11280941056 423564 33554432000 4194304 4196468 140736028142416 140669043288848 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=11016544 memory=1694256 CPUtime=1.8 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 29878 13150 0 0 151 21 5 3 20 0 15 0 226240983 11280941056 423564 33554432000 4194304 4196468 140736028142416 140668652943728 140669159897730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=11016544 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 24 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 423564 33554432000 4194304 4196468 140736028142416 140667910087776 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=11016544 memory=61444 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 14 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 423564 33554432000 4194304 4196468 140736028142416 140667762238336 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=11016544 memory=1116 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11280941056 423564 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=11016544 memory=1820 CPUtime=10.54 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) S 13845 13848 9560 0 -1 1077944384 85040 13150 0 0 1039 7 5 3 20 0 15 0 226240987 11280941056 423564 33554432000 4194304 4196468 140736028142416 140668651891568 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=11016544 memory=4552 CPUtime=10.55 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 78679 13150 0 0 1039 8 5 3 20 0 15 0 226240987 11280941056 423564 33554432000 4194304 4196468 140736028142416 140668650838768 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=11016544 memory=3732 CPUtime=3.49 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 61012 13150 0 0 331 10 5 3 20 0 15 0 226240987 11280941056 423564 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=11016544 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11280941056 423564 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=11016544 memory=10624 CPUtime=1.51 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 2591 13150 0 0 76 67 5 3 20 0 15 0 226240987 11280941056 423564 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 2459.71 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1694256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2441.5 s]
/proc/loadavg: 1.49 1.62 1.61 3/216 14120
/proc/meminfo: memFree=11055032/32770624 swapFree=67108504/67108860
[pid=13848] ppid=13845 vsize=11016544 memory=1707356 CPUtime=2520.08 cores=0,2,4,6
/proc/13848/stat : 13848 (java) S 13845 13848 9560 0 -1 1077944320 590624 13150 0 0 251442 558 5 3 20 0 15 0 226240972 11280941056 426839 33554432000 4194304 4196468 140736028142416 140736028124960 140669159886583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
/proc/13848/statm: 2754136 426839 3538 1 0 2715789 0
[pid=13848/tid=13901] ppid=13845 vsize=11016544 memory=1116 CPUtime=2421.48 cores=0,2,4,6
/proc/13848/task/13901/stat : 13901 (java) R 13845 13848 9560 0 -1 4202560 196825 13150 0 0 242054 86 5 3 20 0 15 0 226240981 11280941056 426839 33554432000 4194304 4196468 140736028142416 140669131721672 140668730247079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13902] ppid=13845 vsize=11016544 memory=2144 CPUtime=17.83 cores=0,2,4,6
/proc/13848/task/13902/stat : 13902 (java) S 13845 13848 9560 0 -1 1077944384 36442 13150 0 0 1681 94 5 3 20 0 15 0 226240982 11280941056 426839 33554432000 4194304 4196468 140736028142416 140669164129424 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13903] ppid=13845 vsize=11016544 memory=6791534058613427641 CPUtime=17.81 cores=0,2,4,6
/proc/13848/task/13903/stat : 13903 (java) S 13845 13848 9560 0 -1 1077944384 36929 13150 0 0 1676 97 5 3 20 0 15 0 226240982 11280941056 426839 33554432000 4194304 4196468 140736028142416 140669045394448 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13904] ppid=13845 vsize=11016544 memory=748 CPUtime=17.78 cores=0,2,4,6
/proc/13848/task/13904/stat : 13904 (java) S 13845 13848 9560 0 -1 1077944384 27561 13150 0 0 1678 92 5 3 20 0 15 0 226240982 11280941056 426839 33554432000 4194304 4196468 140736028142416 140669044341648 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13905] ppid=13845 vsize=11016544 memory=1820 CPUtime=17.81 cores=0,2,4,6
/proc/13848/task/13905/stat : 13905 (java) S 13845 13848 9560 0 -1 1077944384 32543 13150 0 0 1678 95 5 3 20 0 15 0 226240982 11280941056 426839 33554432000 4194304 4196468 140736028142416 140669043288848 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13906] ppid=13845 vsize=11016544 memory=1707356 CPUtime=1.83 cores=0,2,4,6
/proc/13848/task/13906/stat : 13906 (java) S 13845 13848 9560 0 -1 1077944384 30123 13150 0 0 154 21 5 3 20 0 15 0 226240983 11280941056 426839 33554432000 4194304 4196468 140736028142416 140668652943728 140669159897730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13907] ppid=13845 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13907/stat : 13907 (java) S 13845 13848 9560 0 -1 1077944384 24 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 426839 33554432000 4194304 4196468 140736028142416 140667910087776 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13908] ppid=13845 vsize=11016544 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13908/stat : 13908 (java) S 13845 13848 9560 0 -1 1077944384 14 13150 0 0 0 0 5 3 20 0 15 0 226240984 11280941056 426839 33554432000 4194304 4196468 140736028142416 140667762238336 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13909] ppid=13845 vsize=11016544 memory=1068 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13909/stat : 13909 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240986 11280941056 426839 33554432000 4194304 4196468 140736028142416 140667454838608 140669159905179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13910] ppid=13845 vsize=11016544 memory=15084 CPUtime=10.55 cores=0,2,4,6
/proc/13848/task/13910/stat : 13910 (java) S 13845 13848 9560 0 -1 1077944384 85164 13150 0 0 1040 7 5 3 20 0 15 0 226240987 11280941056 426839 33554432000 4194304 4196468 140736028142416 140668651891568 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13911] ppid=13845 vsize=11016544 memory=34864 CPUtime=10.56 cores=0,2,4,6
/proc/13848/task/13911/stat : 13911 (java) S 13845 13848 9560 0 -1 1077944384 78847 13150 0 0 1040 8 5 3 20 0 15 0 226240987 11280941056 426839 33554432000 4194304 4196468 140736028142416 140668650838768 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13912] ppid=13845 vsize=11016544 memory=13776 CPUtime=3.49 cores=0,2,4,6
/proc/13848/task/13912/stat : 13912 (java) S 13845 13848 9560 0 -1 1077944384 61342 13150 0 0 331 10 5 3 20 0 15 0 226240987 11280941056 426839 33554432000 4194304 4196468 140736028142416 140668649785968 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13913] ppid=13845 vsize=11016544 memory=3356 CPUtime=0.08 cores=0,2,4,6
/proc/13848/task/13913/stat : 13913 (java) S 13845 13848 9560 0 -1 1077944384 3 13150 0 0 0 0 5 3 20 0 15 0 226240987 11280941056 426839 33554432000 4194304 4196468 140736028142416 140667024042720 140669159896789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
[pid=13848/tid=13914] ppid=13845 vsize=11016544 memory=492 CPUtime=1.55 cores=0,2,4,6
/proc/13848/task/13914/stat : 13914 (java) S 13845 13848 9560 0 -1 1077944384 2608 13150 0 0 78 69 5 3 20 0 15 0 226240987 11280941056 426839 33554432000 4194304 4196468 140736028142416 140668648733360 140669159897730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27058176 140736028146286 140736028149084 140736028149084 140736028151759 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1707356 KiB

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

[startup+2441.55 s]
# the end of solver process 13848 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.54 s, system=5.63052 s

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

Child status: 143
Real time (s): 2441.55
CPU time (s): 2520.17
CPU user time (s): 2514.54
CPU system time (s): 5.63052
CPU usage (%): 103.22
Max. virtual memory (cumulated for all children) (KiB): 11017208
Max. memory (cumulated for all children) (KiB): 4032228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.54
system time used= 5.63052
maximum resident set size= 4032244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84278
involuntary context switches= 4274


# summary of solver processes directly reported to runsolver:
#   pid: 13848
#   total CPU time (s): 2520.17
#   total CPU user time (s): 2514.54
#   total CPU system time (s): 5.63052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4635 second user time and 23.0067 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-12 17:12:58
IDJOB=4304433
IDBENCH=141265
IDSOLVER=2780
FILE ID=node104/4304433-1534086777
RUNJOBID= node104-1534062308-9591
PBS_JOBID= 21036981
Free space on /tmp= 37132 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-03-0300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304433-1534086777/watcher-4304433-1534086777 -o /tmp/evaluation-result-4304433-1534086777/solver-4304433-1534086777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=71836444 HOME/instance-4304433-1534086777.xml

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

MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e
RANDOM SEED=71836444

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        11046532 kB
MemAvailable:   26885064 kB
Buffers:          187184 kB
Cached:         15688512 kB
SwapCached:            8 kB
Active:         13067568 kB
Inactive:        7874964 kB
Active(anon):    5017800 kB
Inactive(anon):   100964 kB
Active(file):    8049768 kB
Inactive(file):  7774000 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:            151820 kB
Writeback:             0 kB
AnonPages:       5183944 kB
Mapped:            65252 kB
Shmem:             49636 kB
Slab:             471380 kB
SReclaimable:     443224 kB
SUnreclaim:        28156 kB
KernelStack:        3840 kB
PageTables:        15380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5540596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4765696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 37284 MiB
End job on node104 at 2018-08-12 17:53:40