Trace number 4302945

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.2-SuperNGSAT (TO)295057490 252.224 195.749

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 benchmark294996012
Best CPU time to get the best result obtained on this benchmark252.162
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.74	c Concrete v3.9.2.1532736233296 running
138.81/102.17	o 295078016
139.20/102.38	o 295078013
139.36/102.42	o 295078011
139.36/102.47	o 295078007
139.52/102.51	o 295078006
139.52/102.57	o 295057490
252.16/195.70	Exception in thread "main" java.util.concurrent.TimeoutException
252.16/195.70		at concrete.MAC.mac(MAC.scala:188)
252.16/195.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.16/195.70		at scala.util.Try$.apply(Try.scala:209)
252.16/195.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.16/195.70		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.16/195.70		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.16/195.70		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.16/195.70		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.16/195.70		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.16/195.70		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.16/195.70		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.16/195.70		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.16/195.70		at concrete.MAC.oneRun(MAC.scala:253)
252.16/195.70		at concrete.MAC.nextSolution(MAC.scala:272)
252.16/195.70		at concrete.MAC.nextSolution(MAC.scala:355)
252.16/195.70		at concrete.Solver.hasNext(Solver.scala:166)
252.16/195.70		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.16/195.70		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.16/195.70		at concrete.Solver.foreach(Solver.scala:68)
252.16/195.70		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.16/195.70		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.16/195.70		at scala.util.Success.map(Try.scala:209)
252.16/195.70		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.16/195.70		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.16/195.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.16/195.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.16/195.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.16/195.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.16/195.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.16/195.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.16/195.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.16/195.71		at scala.collection.immutable.List.foreach(List.scala:389)
252.16/195.71		at scala.App.main(App.scala:76)
252.16/195.71		at scala.App.main$(App.scala:74)
252.16/195.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.16/195.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.16/195.72	v <instantiation cost="295057490">
252.16/195.72	v       <list>
252.16/195.72	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]
252.16/195.72	v       </list>
252.16/195.72	v       <values>
252.16/195.72	v         2404 2608 2604 2420 2396 2208 2492 2352 2384 2400 2248 2228 2308 2400 2616 2532 2380 2568 2652 2656 2160 2440 2204 2160 2600 2160 2344 2516 2204 2452 2252 2168 2556 2440 2616 2560 2516 2436 2228 2556 2256 2372 2160 2192 2164 2520 2572 2160 2164 2268 2636 2532 2176 2556 2392 2332 2576 2488 2560 2320 2444 2616 2516 2248 2392 2464 2452 2544 2504 2480 2476 2476 2464 2596 2456 2268 2456 2604 2244 2564 2164 2508 2252 2292 2160 2616 2452 2420 2576 2288 2372 2388 2616 2568 2520 2488 2652 2200 2504 2640 2376 2564 2360 2600 2320 2204 2556 2340 2600 2400 2544 2656 2284 2496 2424 2332 2656 2544 2244 2656 2400 2612 2284 2208 2292 2648 2644 2548 2248 2360 2432 2568 2640 2388 2208 2528 2548 2460 2300 2428 2204 2468 2608 2464 2620 2200 2224 2336 2200 2548 2536 2340 2616 2524 2576 2560 2516 2220 2556 2560 2528 2200 2572 2160 2336 2204 2348 2568 2428 2328 2332 2476 2608 2496 2476 2612 2392 2584 2616 2560 2360 2516 2568 2516 2560 2600 2208 2324 2168 2516 2580 2576 2424 2164 2568 2376 2388 2432 2560 2200 2520 2608 2424 2572 2480 2488 2528 2440 2304 2560 2188 2440 2232 2528 2600 2576 2556 2440 2388 2588 2448 2256 2600 2644 2340 2608 2520 2320 2564 2476 2608 2200 2588 2384 2480 2520 2436 2384 2344 2208 2628 2504 2384 2244 2260 2612 2644 2584 2604 2588 2588 2612 2448 2596 2296 2428 2452 2612 2640 2292 2380 2604 2604 2604 2412 2360 2600 2344 2448 2592 2416 2464 2492 2488 2564 2184 2436 2632 2492 2412 2616 2408 2364 2216 2200 2364 2216 2424 2300 2460 2616 2180 2644 2568 2264 2604 2356 2572 2484 2384 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 7 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 4 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 2 0 6 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 6 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 5 1 0 1 1 0 0 0 0 6 0 0 0 0 1 0 1 1 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 6 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 0 2 0 0 0 0 0 3 0 4 1 0 4 0 0 0 0 1 0 0 1 0 0 0 0 0 1 4 0 1 1 3 0 1 0 4 0 0 0 1 1 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 6 0 0 0 0 0 1 0 0 0 5 1 0 6 0 0 0 0 1 1 6 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 6 0 1 0 2 0 0 0 0 1 0 0 0 0 5 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 5 0 0 0 1 0 0 6 0 0 0 0 1 0 4 0 6 0 0 0 0 0 0 0 6 0 1 0 0 0 2 0 0 5 0 0 0 0 0 1 0 0 0 0 6 0 0 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 1 0 0 6 0 0 0 1 0 6 0 0 0 1 0 0 1 2 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 6 0 0 6 1 0 0 0 0 0 1 0 1 0 0 0 6 0 0 0 0 1 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 6 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 5 0 0 0 0 1 0 1 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 6 4 0 0 0 2 0 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 0 0 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 2 1 0 2 1 0 1 4 0 1 6 0 0 0 6 2 0 3 0 0 0 6 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 6 5 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 1 0 0 0 0 0 1 0 0 0 0 0 1 2 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 6 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 6 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 3 1 1 2 1 1 6 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 6 0 0 0 0 0 1 1 0 0 0 0 1 1 0 2 1 1 0 0 0 1 0 0 2 0 0 0 0 1 0 0 4 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 1 0 0 0 0 6 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 2 0 0 0 0 0 6 0 0 1 0 1 0 0 0 6 0 0 0 1 0 1 0 1 1 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 3 0 1 0 0 0 0 1 0 0 0 0 0 0 4 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 6 2 0 1 5 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 6 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 4 0 1 0 0 0 0 0 0 0 5 6 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 6 6 5 0 0 0 0 2 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 6 0 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 1 0 0 0 0 0 0 4 0 0 0 1 1 1 1 0 0 0 0 1 0 0 3 0 0 0 4 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 5 6 0 0 0 0 4 0 0 0 0 0 0 1 3 0 6 0 0 0 0 0 0 4 0 2 0 0 1 1 5 6 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 4 0 0 0 0 0 6 3 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 4 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 3 0 4 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 3 3 0 0 0 0 0 0 0 0 6 0 0 1 0 0 1 0 0 3 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 2 1 0 0 0 0 0 0 1 0 1 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 5 1 0 0 0 0 0 6 0 0 3 0 0 6 1 4 1 0 0 0 0 0 0 2 0 0 0 0 1 1 1 1 6 0 0 0 0 0 0 0 0 6 0 0 1 0 0 0 0 1 0 0 0 0 0 5 0 1 0 1 0 0 0 0 4 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 5 3 0 0 6 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 8 248 112 72 104 92 196 180 28 84 76 112 200 44 208 40 92 276 60 32 92 80 8 440 400 316 184 344 436 336 96 152 400 360 140 276 108 280 88 180 116 344 404 256 216 244 28 68 220 128 152 260 216 192 60 96 32 188 168 124 64 260 228 64 148 256 100 128 172 188 28 140 204 104 208 208 68 172 284 244 36 80 4 92 320 364 184 44 312 268 356 156 332 40 72 204 104 28 52 36 100 284 328 72 284 96 140 112 108 20 60 292 268 216 24 176 224 56 132 148 52 60 100 160 136 224 204 4 232 100 196 156 120 144 80 164 108 248 208 28 160 172 144 208 60 352 56 20 260 256 4 396 216 228 80 240 348 132 344 188 48 16 68 332 288 24 348 316 56 300 72 240 300 164 340 248 376 44 136 260 156 148 144 260 292 52 332 100 104 268 120 272 76 332 252 232 236 156 156 20 144 212 52 188 188 240 204 204 16 224 72 156 56 280 48 100 448 176 384 88 140 136 124 200 44 32 332 92 28 104 240 72 188 84 56 216 20 48 48 44 172 200 404 8 28 404 408 48 368 20 120 4 460 384 36 40 84 264 444 432 176 264 348 64 312 40 160 324 324 320 132 324 364 472 4 260 496 124 44 264 144 404 224 292 484 188 184 116 48 108 240 80 12 44 44 40 368 392 364 196 88 344 344 404 120 372 424 24 68 328 344 128 384 496 368 336 232 4 280 72 276 204 44 40 352 268 40 400 52 40 400 216 12 396 284 404 456 408 496 452 388 408 188 448 328 40 108 260 268 96 228 152 96 40 120 48 84 84 56 88 12 332 32 168 284 240 168 228 4 172 352 52 404 396 256 24 180 196 68 148 204 168 76 16 60 128 28 288 68 88 308 368 124 268 44 332 44 176 108 240 272 204 100 348 220 164 416 404 312 324 196 292 448 188 112 104 124 336 356 128 28 20 216 104 144 88 172 276 52 176 80 108 96 204 172 52 76 240 176 84 440 40 112 16 284 88 20 432 396 308 172 60 16 28 132 80 68 100 232 308 268 32 56 96 212 84 40 36 80 68 80 300 20 220 236 140 124 80 216 232 104 236 84 192 208 204 64 216 332 268 388 292 380 252 196 112 104 60 68 44 224 84 12 32 32 56 40 92 12 172 80 360 360 400 328 56 344 264 40 172 128 244 176 176 164 40 212 68 272 192 148 56 228 92 108 4 456 260 40 388 40 356 40 96 344 444 248 300 104 76 260 12 452 272 304 284 424 132 24 324 240 296 68 400 220 104 236 264 392 352 444 224 444 52 16 28 40 48 96 88 108 92 76 68 228 84 84 348 52 44 132 388 200 228 300 356 60 228 424 444 276 248 12 44 384 168 396 436 288 264 104 152 388 24 68 108 160 292 156 120 60 336 112 332 76 20 68 388 336 76 120 312 472 196 116 72 24 456 84 200 324 76 196 172 156 76 72 168 352 200 320 256 432 28 56 424 168 260 284 208 112 100 356 60 12 356 36 52 140 112 216 188 168 192 180 48 8 224 68 92 224 68 236 108 244 108 124 96 268 92 324 64 352 48 24 368 140 4 244 204 100 284 328 96 28 232 288 52 96 116 76 84 184 40 48 84 24 184 120 240 176 44 112 344 260 120 196 120 240 68 20 284 104 140 248 152 156 244 16 132 188 20 60 96 256 48 276 16 16 48 128 20 60 296 72 48 24 152 100 160 228 172 328 320 184 312 184 176 184 152 144 136 164 144 232 16 12 176 108 152 160 120 292 116 104 108 64 148 156 68 108 188 96 72 56 344 48 36 96 160 84 152 24 36 284 24 112 340 184 28 320 140 100 116 80 56 68 128 144 96 40 40 76 92 280 272 24 236 124 12 188 164 116 124 84 268 104 44 52 112 60 168 212 92 232 56 72 128 88 288 100 80 112 116 296 180 216 96 96 232 280 8 236 24 396 36 12 80 16 212 8 148 168 144 256 236 100 104 256 104 160 192 184 384 64 376 196 348 60 208 316 100 292 324 144 304 84 112 200 252 60 100 104 128 20 440 216 108 36 284 128 176 408 44 320 304 284 104 76 336 12 204 64 88 68 24 32 324 448 352 68 180 220 284 132 52 108 56 308 304 264 136 108 32 340 8 76 248 212 308 68 264 172 124 52 132 352 160 316 44 348 168 88 284 316 272 360 160 388 88 200 300 44 60 40 440 360 424 276 248 40 68 280 48 100 192 44 12 400 436 36 208 12 164 24 128 64 76 28 192 160 16 48 220 72 88 168 28 28 4 36 148 48 128 56 32 368 12 180 208 104 272 272 56 188 148 76 316 88 168 212 228 48 68 240 76 156 12 212 148 56 220 200 256 216 24 228 32 128 416 416 408 36 136 88 228 164 272 80 364 52 32 8 88 76 120 16 48 64 40 332 8 136 76 224 112 96 164 16 156 28 164 320 28 280 228 40 104 76 84 52 228 108 220 104 352 316 260 488 228 212 64 356 160 368 356 380 104 216 300 260 140 40 112 68 176 28 336 76 72 16 88 16 92 84 320 28 176 148 440 424 140 104 32 220 256 160 268 192 36 68 280 76 48 12 36 80 84 180 64 20 40 20 76 160 32 152 36 80 80 100 252 244 44 168 172 380 440 124 28 72 160 336 288 252 296 132 124 400 156 84 64 28 52 56 264 48 76 140 216 136 108 140 84 228 16 304 148 112 164 240 28 116 40 120 88 184 244 344 68 152 312 68 40 68 128 20 136 180 188 48 308 80 232 216 56 136 52 52 164 328 56 140 20 100 288 28 8 112 108 124 44 80 220 68 280 4 128 276 312 52 296 116 68 364 72 40 88 88 128 100 48 456 12 84 172 344 196 28 24 188 220 372 92 84 232 116 80 272 188 244 356 44 356 228 128 264 448 492 424 336 92 40 244 240 124 40 188 76 104 108 320 136 116 96 52 36 12 292 120 200 16 244 276 276 120 92 236 196 276 52 348 440 352 268 404 308 312 232 400 136 184 148 52 156 200 216 444 448 88 88 448 324 72 224 48 84 32 28 476 128 116 384 232 444 160 344 124 24 208 36 84 140 312 228 248 332 60 200 352 116 116 52 320 152 100 140 116 216 216 160 240 76 48 212 132 96 232 128 232 96 176 140 28 48 40 44 364 88 252 180 420 264 120 452 84 168 172 184 116 20 412 316 272 136 296 388 84 396 60 328 324 80 320 120 76 24 200 52 40 48 184 24 256 76 100 240 36 184 124 92 260 256 288 148 20 176 192 64 228 100 84 4 188 56 352 120 380 20 412 160 268 80 60 140 124 164 104 276 132 8 92 48 168 48 192 392 92 136 12 296 104 160 64 208 204 128 52 96 288 12 52 104 456 92 64 32 236 128 136 148 316 400 56 264 112 252 136 96 24 120 372 24 236 212 276 112 112 380 360 32 444 412 396 144 28 12 344 20 188 52 164 132 24 204 176 280 64 108 52 44 128 80 272 136 240 24 140 288 140 292 128 16 16 8 28 24 192 52 324 176 48 64 76 20 72 96 72 248 16 200 16 24 56 256 284 196 4 16 4 132 96 196 72 76 364 228 188 204 208 128 60 132 36 48 92 60 184 40 176 196 136 364 296 92 56 288 364 132 188 312 72 40 124 156 80 280 468 436 184 56 244 292 44 264 256 152 308 408 236 12 364 400 228 36 80 256 68 248 140 156 80 4 160 172 44 168 160 24 200 56 68 264 84 228 44 196 232 256 132 108 92 80 168 92 92 288 96 280 44 12 152 216 136 116 64 28 84 172 36 120 184 228 84 8 12 172 224 384 28 56 256 16 252 48 132 8 48 256 32 68 52 84 196 168 216 88 40 24 228 244 284 72 52 48 384 156 128 92 220 100 300 28 84 48 240 52 376 400 160 220 416 44 228 396 356 424 156 192 108 236 284 348 432 92 280 244 32 28 76 128 84 24 104 316 52 196 36 400 12 316 128 12 64 84 56 312 312 272 468 200 440 144 8 120 4 232 36 240 28 180 56 8 188 160 172 372 120 40 176 24 36 344 260 100 400 188 184 236 100 444 372 312 276 92 72 80 192 176 184 52 40 132 80 168 252 40 248 108 124 12 264 88 280 104 228 104 288 344 328 124 172 16 128 224 296 16 80 340 56 60 264 40 40 124 316 52 152 376 424 240 168 64 8 84 296 332 84 68 76 312 24 120 4 236 64 28 88 360 120 260 96 156 96 52 224 260 44 220 200 216 60 172 112 24 24 12 96 160 12 164 156 148 168 92 100 128 12 256 384 40 236 28 268 248 272 264 108 304 160 392 200 68 224 84 56 108 268 164 272 72 200 348 40 12 156 312 264 392 124 96 52 244 204 204 248 232 40 120 28 264 88 92 4 84 304 168 176 56 128 72 168 244 220 28 80 260 240 356 408 16 64 76 100 88 124 208 100 332 152 8 348 128 56 48 348 264 40 284 156 12 148 32 176 116 240 292 228 172 96 28 232 200 44 32 44 92 84 196 80 164 152 120 268 36 24 284 312 172 276 236 156 40 16 4 92 12 180 392 200 236 152 100 152 108 20 76 52 68 40 240 28 268 28 248 128 192 136 212 436 260 24 252 208 268 240 124 76 120
252.16/195.72	v       </values>
252.16/195.72	v     </instantiation>
252.16/195.72	s SATISFIABLE

Verifier Data 

OK	295057490

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302945-1532896653/watcher-4302945-1532896653 -o /tmp/evaluation-result-4302945-1532896653/solver-4302945-1532896653 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=208183594 -superng HOME/instance-4302945-1532896653.xml 

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

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


[startup+0.100118 s]*
/proc/loadavg: 2.00 1.86 1.87 3/206 18754
/proc/meminfo: memFree=23115364/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=10005480 memory=17076 CPUtime=0.08 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 4411 13224 0 0 1 0 4 3 20 0 6 0 107228496 10245611520 4269 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2501370 4269 1935 1 0 2489808 0
[pid=18697/tid=18750] ppid=18694 vsize=10005480 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 2251 13224 0 0 1 0 4 3 20 0 6 0 107228505 10245611520 4269 33554432000 4194304 4196468 140730314908704 140097237439056 140097250725232 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 6 0 107228505 10245611520 4269 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=10005480 memory=140368521111168 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 6 0 107228505 10245611520 4269 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 6 0 107228505 10245611520 4269 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 6 0 107228505 10245611520 4269 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB

[startup+0.20992 s]*
/proc/loadavg: 2.00 1.86 1.87 3/215 18763
/proc/meminfo: memFree=23093356/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=10982744 memory=45716 CPUtime=0.25 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 8099 13224 0 0 17 1 4 3 20 0 15 0 107228496 11246329856 11429 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2745686 11429 2984 1 0 2708109 0
[pid=18697/tid=18750] ppid=18694 vsize=10985364 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 4924 13224 0 0 11 1 4 3 20 0 15 0 107228505 11249012736 11693 33554432000 4194304 4196468 140730314908704 140097237427104 140097258282013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=10985364 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228505 11249012736 11759 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=10985364 memory=3691180232109893280 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228505 11249012736 11759 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228505 11249012736 11759 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228505 11249012736 11759 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=10985364 memory=140368521111168 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228507 11249012736 11825 33554432000 4194304 4196468 140730314908704 140096690874608 140097265613442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 13 13224 0 0 0 0 4 3 20 0 15 0 107228507 11249012736 11825 33554432000 4194304 4196468 140730314908704 140095994717344 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228508 11249012736 11825 33554432000 4194304 4196468 140730314908704 140095793390320 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11249012736 11825 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) S 18694 18697 12222 0 -1 1077944384 530 13224 0 0 1 0 4 3 20 0 15 0 107228510 11249012736 11891 33554432000 4194304 4196468 140730314908704 140096689822448 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 69 13224 0 0 1 0 4 3 20 0 15 0 107228510 11249012736 11891 33554432000 4194304 4196468 140730314908704 140096688769904 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=10985364 memory=140368521111168 CPUtime=0.1 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) S 18694 18697 12222 0 -1 1077944384 614 13224 0 0 3 0 4 3 20 0 15 0 107228510 11249012736 11891 33554432000 4194304 4196468 140730314908704 140096687716848 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11249012736 11891 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=10985364 memory=140368521111168 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228511 11249012736 11957 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45716 KiB

[startup+0.310285 s]*
/proc/loadavg: 2.00 1.86 1.87 3/215 18763
/proc/meminfo: memFree=23081696/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=10983192 memory=56432 CPUtime=0.37 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 10601 13224 0 0 28 2 4 3 20 0 15 0 107228496 11246788608 14108 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2745798 14108 3103 1 0 2708109 0
[pid=18697/tid=18750] ppid=18694 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 7162 13224 0 0 20 1 4 3 20 0 15 0 107228505 11246788608 14108 33554432000 4194304 4196468 140730314908704 140097237414304 140097265624221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 14108 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 14108 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 14108 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 14108 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228507 11246788608 14108 33554432000 4194304 4196468 140730314908704 140096690874608 140097265613442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 13 13224 0 0 0 0 4 3 20 0 15 0 107228507 11246788608 14108 33554432000 4194304 4196468 140730314908704 140095994717344 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228508 11246788608 14108 33554432000 4194304 4196468 140730314908704 140095793390320 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11246788608 14108 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) S 18694 18697 12222 0 -1 1077944384 533 13224 0 0 1 0 4 3 20 0 15 0 107228510 11246788608 14108 33554432000 4194304 4196468 140730314908704 140096689822448 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 72 13224 0 0 1 0 4 3 20 0 15 0 107228510 11246788608 14108 33554432000 4194304 4196468 140730314908704 140096688769904 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=10983192 memory=140368521111168 CPUtime=0.11 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) R 18694 18697 12222 0 -1 4202560 620 13224 0 0 4 0 4 3 20 0 15 0 107228510 11246788608 14108 33554432000 4194304 4196468 140730314908704 140096687716848 140097265623642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11246788608 14108 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=10983192 memory=140368521111168 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228511 11246788608 14108 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56432 KiB

[startup+0.700704 s]
/proc/loadavg: 2.00 1.86 1.87 3/215 18763
/proc/meminfo: memFree=23071276/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=10983192 memory=88636 CPUtime=0.99 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 16754 13224 0 0 88 4 4 3 20 0 15 0 107228496 11246788608 22159 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2745798 22159 3241 1 0 2708109 0
[pid=18697/tid=18750] ppid=18694 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 12256 13224 0 0 56 2 4 3 20 0 15 0 107228505 11246788608 22159 33554432000 4194304 4196468 140730314908704 140097237423120 140097245877523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 22159 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 22159 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=10983192 memory=488 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 2 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 22159 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228505 11246788608 22159 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=10983192 memory=7301570131460772950 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 5 13224 0 0 0 0 4 3 20 0 15 0 107228507 11246788608 22159 33554432000 4194304 4196468 140730314908704 140096690874608 140097265613442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 13 13224 0 0 0 0 4 3 20 0 15 0 107228507 11246788608 22159 33554432000 4194304 4196468 140730314908704 140095994717344 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228508 11246788608 22159 33554432000 4194304 4196468 140730314908704 140095793390320 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11246788608 22159 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) S 18694 18697 12222 0 -1 1077944384 916 13224 0 0 6 0 4 3 20 0 15 0 107228510 11246788608 22159 33554432000 4194304 4196468 140730314908704 140096689822448 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 662 13224 0 0 10 0 4 3 20 0 15 0 107228510 11246788608 22159 33554432000 4194304 4196468 140730314908704 140096688769904 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) S 18694 18697 12222 0 -1 1077944384 695 13224 0 0 13 0 4 3 20 0 15 0 107228510 11246788608 22159 33554432000 4194304 4196468 140730314908704 140096687716848 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11246788608 22159 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228511 11246788608 22159 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88636 KiB

[startup+1.50332 s]
/proc/loadavg: 2.00 1.86 1.87 3/215 18763
/proc/meminfo: memFree=23025260/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=10991872 memory=481240 CPUtime=3.01 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 24109 13224 0 0 254 40 4 3 20 0 15 0 107228496 11255676928 120310 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2747968 120310 3455 1 0 2709645 0
[pid=18697/tid=18750] ppid=18694 vsize=10991872 memory=4951091520830867572 CPUtime=1.3 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) S 18694 18697 12222 0 -1 1077944384 14668 13224 0 0 115 8 4 3 20 0 15 0 107228505 11255676928 120310 33554432000 4194304 4196468 140730314908704 140097237437984 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=10991872 memory=4134606225630022328 CPUtime=0.21 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) R 18694 18697 12222 0 -1 4202560 528 13224 0 0 7 7 4 3 20 0 15 0 107228505 11255676928 120310 33554432000 4194304 4196468 140730314908704 140097269844904 140097258230503 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=10991872 memory=-5153075247754943381 CPUtime=0.18 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 710 13224 0 0 5 6 4 3 20 0 15 0 107228505 11255676928 120310 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=10991872 memory=-7450176207541808540 CPUtime=0.19 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 297 13224 0 0 5 7 4 3 20 0 15 0 107228505 11255676928 120310 33554432000 4194304 4196468 140730314908704 140097139440416 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=10991872 memory=148320 CPUtime=0.2 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 288 13224 0 0 6 7 4 3 20 0 15 0 107228505 11255676928 120310 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 99 13224 0 0 0 0 4 3 20 0 15 0 107228507 11255676928 120310 33554432000 4194304 4196468 140730314908704 140096690872928 140097265612501 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 14 13224 0 0 0 0 4 3 20 0 15 0 107228507 11255676928 120310 33554432000 4194304 4196468 140730314908704 140095994717344 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=10991872 memory=280736779272480 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228508 11255676928 120310 33554432000 4194304 4196468 140730314908704 140095793390320 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=10991872 memory=280736779687424 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11255676928 120310 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=10991872 memory=140368389645952 CPUtime=0.5 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) R 18694 18697 12222 0 -1 4202560 2902 13224 0 0 43 0 4 3 20 0 15 0 107228510 11255676928 120310 33554432000 4194304 4196468 140730314908704 140096689808328 140097250521334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=10991872 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 1093 13224 0 0 39 0 4 3 20 0 15 0 107228510 11255676928 120310 33554432000 4194304 4196468 140730314908704 140096688761184 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=10991872 memory=1200 CPUtime=0.35 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) S 18694 18697 12222 0 -1 1077944384 1307 13224 0 0 28 0 4 3 20 0 15 0 107228510 11255676928 120310 33554432000 4194304 4196468 140730314908704 140096687716848 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=10991872 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11255676928 120310 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=10991872 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 1 13224 0 0 0 0 4 3 20 0 15 0 107228511 11255676928 120310 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10991872 KiB

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

/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 37280 13224 0 0 4725 36 4 3 20 0 15 0 107228505 11274649600 957627 33554432000 4194304 4196468 140730314908704 140097237433480 140096825345199 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=11010400 memory=3830508 CPUtime=3.29 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 4265 13224 0 0 273 49 4 3 20 0 15 0 107228505 11274649600 957627 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=11010400 memory=3830508 CPUtime=3.25 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 2701 13224 0 0 270 48 4 3 20 0 15 0 107228505 11274649600 957627 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=11010400 memory=280736780027840 CPUtime=3.25 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 2354 13224 0 0 267 51 4 3 20 0 15 0 107228505 11274649600 957627 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=11010400 memory=0 CPUtime=3.28 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 2642 13224 0 0 271 50 4 3 20 0 15 0 107228505 11274649600 957627 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=11010400 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 5384 13224 0 0 11 1 4 3 20 0 15 0 107228507 11274649600 957627 33554432000 4194304 4196468 140730314908704 140096690874608 140097265613442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=11010400 memory=8025534817899341415 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 16 13224 0 0 0 0 4 3 20 0 15 0 107228507 11274649600 957627 33554432000 4194304 4196468 140730314908704 140095994717408 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=11010400 memory=3830508 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 4 13224 0 0 0 0 4 3 20 0 15 0 107228508 11274649600 957627 33554432000 4194304 4196468 140730314908704 140095793390336 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=11010400 memory=3778684 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11274649600 957627 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=11010400 memory=4012 CPUtime=5.43 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) S 18694 18697 12222 0 -1 1077944384 11767 13224 0 0 534 2 4 3 20 0 15 0 107228510 11274649600 957627 33554432000 4194304 4196468 140730314908704 140096689822448 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=11010400 memory=3695992 CPUtime=5.46 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 9504 13224 0 0 536 3 4 3 20 0 15 0 107228510 11274649600 957627 33554432000 4194304 4196468 140730314908704 140096688769904 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=11010400 memory=56 CPUtime=2.18 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) S 18694 18697 12222 0 -1 1077944384 13369 13224 0 0 208 3 4 3 20 0 15 0 107228510 11274649600 957627 33554432000 4194304 4196468 140730314908704 140096687716848 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=11010400 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11274649600 957627 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=11010400 memory=6944656592455359580 CPUtime=0.09 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 633 13224 0 0 1 1 4 3 20 0 15 0 107228511 11274649600 957627 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 73.58 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 3830508 KiB

[startup+102.301 s]
/proc/loadavg: 1.72 1.80 1.85 7/215 18894
/proc/meminfo: memFree=16227308/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=11016544 memory=3433084 CPUtime=139.2 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 159865 13224 0 0 13646 267 4 3 20 0 15 0 107228496 11280941056 858271 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2754136 858271 3544 1 0 2715789 0
[pid=18697/tid=18750] ppid=18694 vsize=11016544 memory=0 CPUtime=97.25 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 58492 13224 0 0 9678 40 4 3 20 0 15 0 107228505 11280941056 858271 33554432000 4194304 4196468 140730314908704 140097237429792 140096823106033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=11016544 memory=0 CPUtime=4.81 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 5212 13224 0 0 423 51 4 3 20 0 15 0 107228505 11280941056 858271 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=11016544 memory=0 CPUtime=4.76 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 4487 13224 0 0 419 50 4 3 20 0 15 0 107228505 11280941056 858271 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=11016544 memory=0 CPUtime=4.76 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 4377 13224 0 0 416 53 4 3 20 0 15 0 107228505 11280941056 858271 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=11016544 memory=0 CPUtime=4.77 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 3839 13224 0 0 418 52 4 3 20 0 15 0 107228505 11280941056 858271 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=11016544 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 11628 13224 0 0 19 1 4 3 20 0 15 0 107228507 11280941056 858271 33554432000 4194304 4196468 140730314908704 140096690874608 140097265613442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 20 13224 0 0 0 0 4 3 20 0 15 0 107228507 11280941056 858271 33554432000 4194304 4196468 140730314908704 140095994717408 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 5 13224 0 0 0 0 4 3 20 0 15 0 107228508 11280941056 858271 33554432000 4194304 4196468 140730314908704 140095793390336 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11280941056 858271 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=11016544 memory=0 CPUtime=9.74 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) S 18694 18697 12222 0 -1 1077944384 25286 13224 0 0 963 4 4 3 20 0 15 0 107228510 11280941056 858271 33554432000 4194304 4196468 140730314908704 140096689822448 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=11016544 memory=0 CPUtime=10 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 24187 13224 0 0 989 4 4 3 20 0 15 0 107228510 11280941056 858271 33554432000 4194304 4196468 140730314908704 140096688769904 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=11016544 memory=0 CPUtime=3.22 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) S 18694 18697 12222 0 -1 1077944384 17435 13224 0 0 310 5 4 3 20 0 15 0 107228510 11280941056 858271 33554432000 4194304 4196468 140730314908704 140096687716848 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11280941056 858271 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=11016544 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 2698 13224 0 0 2 3 4 3 20 0 15 0 107228511 11280941056 858271 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 139.2 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3433084 KiB

[startup+162.301 s]
/proc/loadavg: 1.90 1.85 1.86 6/216 18903
/proc/meminfo: memFree=16080896/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=11016544 memory=3541584 CPUtime=216.13 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 192968 13224 0 0 21321 285 4 3 20 0 15 0 107228496 11280941056 885396 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2754136 885396 3545 1 0 2715789 0
[pid=18697/tid=18750] ppid=18694 vsize=11016544 memory=288230583166042426 CPUtime=151.84 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 64266 13224 0 0 15136 41 4 3 20 0 15 0 107228505 11280941056 885396 33554432000 4194304 4196468 140730314908704 140097237434320 140096833538533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=11016544 memory=15255930832947754 CPUtime=10.08 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 6646 13224 0 0 947 54 4 3 20 0 15 0 107228505 11280941056 885396 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=11016544 memory=1580 CPUtime=10.03 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 6568 13224 0 0 943 53 4 3 20 0 15 0 107228505 11280941056 885396 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=11016544 memory=928 CPUtime=10.05 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 5524 13224 0 0 942 56 4 3 20 0 15 0 107228505 11280941056 885396 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=11016544 memory=2244 CPUtime=10.01 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 6106 13224 0 0 938 56 4 3 20 0 15 0 107228505 11280941056 885396 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=11016544 memory=4124 CPUtime=0.37 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 19176 13224 0 0 28 2 4 3 20 0 15 0 107228507 11280941056 885396 33554432000 4194304 4196468 140730314908704 140096690874608 140097265613442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=11016544 memory=2200 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 23 13224 0 0 0 0 4 3 20 0 15 0 107228507 11280941056 885396 33554432000 4194304 4196468 140730314908704 140095994717408 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=11016544 memory=7284 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 7 13224 0 0 0 0 4 3 20 0 15 0 107228508 11280941056 885396 33554432000 4194304 4196468 140730314908704 140095793390336 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=11016544 memory=840 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11280941056 885396 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=11016544 memory=1696 CPUtime=10.35 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) S 18694 18697 12222 0 -1 1077944384 32211 13224 0 0 1024 4 4 3 20 0 15 0 107228510 11280941056 885396 33554432000 4194304 4196468 140730314908704 140096689822448 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=11016544 memory=916 CPUtime=10.44 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 27506 13224 0 0 1032 5 4 3 20 0 15 0 107228510 11280941056 885396 33554432000 4194304 4196468 140730314908704 140096688769904 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=11016544 memory=3852 CPUtime=3.3 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) S 18694 18697 12222 0 -1 1077944384 19958 13224 0 0 317 6 4 3 20 0 15 0 107228510 11280941056 885396 33554432000 4194304 4196468 140730314908704 140096687716848 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=11016544 memory=2592 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11280941056 885396 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=11016544 memory=7451578749225102679 CPUtime=0.16 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 2778 13224 0 0 4 5 4 3 20 0 15 0 107228511 11280941056 885396 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 216.13 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3541584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+195.701 s]
/proc/loadavg: 2.14 1.90 1.88 3/216 18904
/proc/meminfo: memFree=16040060/32770624 swapFree=67108404/67108860
[pid=18697] ppid=18694 vsize=11016544 memory=3613112 CPUtime=252.16 cores=1,3,5,7
/proc/18697/stat : 18697 (java) S 18694 18697 12222 0 -1 1077944320 201691 13224 0 0 24910 299 4 3 20 0 15 0 107228496 11280941056 903278 33554432000 4194304 4196468 140730314908704 140730314891248 140097265602295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
/proc/18697/statm: 2754136 903278 3545 1 0 2715789 0
[pid=18697/tid=18750] ppid=18694 vsize=11016544 memory=4420 CPUtime=184.41 cores=1,3,5,7
/proc/18697/task/18750/stat : 18750 (java) R 18694 18697 12222 0 -1 4202560 66506 13224 0 0 18393 41 4 3 20 0 15 0 107228505 11280941056 903278 33554432000 4194304 4196468 140730314908704 140097237437104 140096827804377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18751] ppid=18694 vsize=11016544 memory=6628 CPUtime=10.89 cores=1,3,5,7
/proc/18697/task/18751/stat : 18751 (java) S 18694 18697 12222 0 -1 1077944384 6797 13224 0 0 1026 56 4 3 20 0 15 0 107228505 11280941056 903278 33554432000 4194304 4196468 140730314908704 140097269845008 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18752] ppid=18694 vsize=11016544 memory=8836 CPUtime=10.84 cores=1,3,5,7
/proc/18697/task/18752/stat : 18752 (java) S 18694 18697 12222 0 -1 1077944384 6671 13224 0 0 1021 56 4 3 20 0 15 0 107228505 11280941056 903278 33554432000 4194304 4196468 140730314908704 140097140493456 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18753] ppid=18694 vsize=11016544 memory=11044 CPUtime=10.86 cores=1,3,5,7
/proc/18697/task/18753/stat : 18753 (java) S 18694 18697 12222 0 -1 1077944384 5650 13224 0 0 1020 59 4 3 20 0 15 0 107228505 11280941056 903278 33554432000 4194304 4196468 140730314908704 140097139440400 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18754] ppid=18694 vsize=11016544 memory=1300 CPUtime=10.82 cores=1,3,5,7
/proc/18697/task/18754/stat : 18754 (java) S 18694 18697 12222 0 -1 1077944384 6253 13224 0 0 1016 59 4 3 20 0 15 0 107228505 11280941056 903278 33554432000 4194304 4196468 140730314908704 140097138387856 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18755] ppid=18694 vsize=11016544 memory=1840 CPUtime=0.4 cores=1,3,5,7
/proc/18697/task/18755/stat : 18755 (java) S 18694 18697 12222 0 -1 1077944384 19219 13224 0 0 30 3 4 3 20 0 15 0 107228507 11280941056 903278 33554432000 4194304 4196468 140730314908704 140096690874608 140097265613442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18756] ppid=18694 vsize=11016544 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18756/stat : 18756 (java) S 18694 18697 12222 0 -1 1077944384 23 13224 0 0 0 0 4 3 20 0 15 0 107228507 11280941056 903278 33554432000 4194304 4196468 140730314908704 140095994717408 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18757] ppid=18694 vsize=11016544 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18757/stat : 18757 (java) S 18694 18697 12222 0 -1 1077944384 7 13224 0 0 0 0 4 3 20 0 15 0 107228508 11280941056 903278 33554432000 4194304 4196468 140730314908704 140095793390336 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18758] ppid=18694 vsize=11016544 memory=11008 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18758/stat : 18758 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11280941056 903278 33554432000 4194304 4196468 140730314908704 140095485990864 140097265620891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18759] ppid=18694 vsize=11016544 memory=1008 CPUtime=10.46 cores=1,3,5,7
/proc/18697/task/18759/stat : 18759 (java) S 18694 18697 12222 0 -1 1077944384 34645 13224 0 0 1035 4 4 3 20 0 15 0 107228510 11280941056 903278 33554432000 4194304 4196468 140730314908704 140096689822448 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18760] ppid=18694 vsize=11016544 memory=1952 CPUtime=10.5 cores=1,3,5,7
/proc/18697/task/18760/stat : 18760 (java) S 18694 18697 12222 0 -1 1077944384 29315 13224 0 0 1037 6 4 3 20 0 15 0 107228510 11280941056 903278 33554432000 4194304 4196468 140730314908704 140096688769904 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18761] ppid=18694 vsize=11016544 memory=8572 CPUtime=3.31 cores=1,3,5,7
/proc/18697/task/18761/stat : 18761 (java) S 18694 18697 12222 0 -1 1077944384 21622 13224 0 0 318 6 4 3 20 0 15 0 107228510 11280941056 903278 33554432000 4194304 4196468 140730314908704 140096687716848 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18762] ppid=18694 vsize=11016544 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/18697/task/18762/stat : 18762 (java) S 18694 18697 12222 0 -1 1077944384 3 13224 0 0 0 0 4 3 20 0 15 0 107228510 11280941056 903278 33554432000 4194304 4196468 140730314908704 140095055194976 140097265612501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
[pid=18697/tid=18763] ppid=18694 vsize=11016544 memory=5372 CPUtime=0.18 cores=1,3,5,7
/proc/18697/task/18763/stat : 18763 (java) S 18694 18697 12222 0 -1 1077944384 2784 13224 0 0 5 6 4 3 20 0 15 0 107228511 11280941056 903278 33554432000 4194304 4196468 140730314908704 140096686664240 140097265613442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39116800 140730314910313 140730314913121 140730314913121 140730314915791 0
Current children cumulated CPU time: 252.16 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3613112 KiB

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

[startup+195.749 s]
# the end of solver process 18697 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.166 s, system=3.05742 s

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

Child status: 143
Real time (s): 195.749
CPU time (s): 252.224
CPU user time (s): 249.166
CPU system time (s): 3.05742
CPU usage (%): 128.851
Max. virtual memory (cumulated for all children) (KiB): 11017208
Max. memory (cumulated for all children) (KiB): 4015720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.166
system time used= 3.05742
maximum resident set size= 4017768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17862
involuntary context switches= 675


# summary of solver processes directly reported to runsolver:
#   pid: 18697
#   total CPU time (s): 252.224
#   total CPU user time (s): 249.166
#   total CPU system time (s): 3.05742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17461 second user time and 1.87365 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-29 22:37:33
IDJOB=4302945
IDBENCH=141265
IDSOLVER=2777
FILE ID=node148/4302945-1532896653
RUNJOBID= node148-1532892979-13581
PBS_JOBID= 21022520
Free space on /tmp= 47656 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-03-0300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302945-1532896653/watcher-4302945-1532896653 -o /tmp/evaluation-result-4302945-1532896653/solver-4302945-1532896653 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=208183594 -superng HOME/instance-4302945-1532896653.xml

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

MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e
RANDOM SEED=208183594

node148.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.50
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.50
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.50
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.50
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:        23124000 kB
MemAvailable:   31296984 kB
Buffers:          247596 kB
Cached:          8075992 kB
SwapCached:          352 kB
Active:          2633052 kB
Inactive:        6375276 kB
Active(anon):     638372 kB
Inactive(anon):    74228 kB
Active(file):    1994680 kB
Inactive(file):  6301048 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:            151724 kB
Writeback:             0 kB
AnonPages:        691656 kB
Mapped:            57980 kB
Shmem:             25016 kB
Slab:             334396 kB
SReclaimable:     305716 kB
SUnreclaim:        28680 kB
KernelStack:        3504 kB
PageTables:         6700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1857144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    477184 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= 47484 MiB
End job on node148 at 2018-07-29 22:40:49