Trace number 4293921

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)464984334 2520.16 2454.68

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	464984334

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293921-1532388384/watcher-4293921-1532388384 -o /tmp/evaluation-result-4293921-1532388384/solver-4293921-1532388384 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15152 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=814305953 HOME/instance-4293921-1532388384.xml 

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

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

solver pid=18131, runsolver pid=18128

[startup+0.100139 s]*
/proc/loadavg: 1.50 1.48 1.56 3/205 18187
/proc/meminfo: memFree=20540120/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=9972712 memory=18588 CPUtime=0.09 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 4265 12843 0 0 1 0 5 3 20 0 6 0 56401611 10212057088 4647 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2493178 4647 1932 1 0 2481616 0
[pid=18131/tid=18184] ppid=18128 vsize=9972712 memory=4279135704047583887 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 2080 12843 0 0 0 0 5 3 20 0 6 0 56401620 10212057088 4647 33554432000 4194304 4196468 140726818559296 140677846229584 140677858602529 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 6 0 56401621 10212057088 4647 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=9972712 memory=140063813711488 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 6 0 56401621 10212057088 4647 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 6 0 56401621 10212057088 4647 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 6 0 56401621 10212057088 4647 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18588 KiB

[startup+0.210191 s]*
/proc/loadavg: 1.50 1.48 1.56 3/215 18197
/proc/meminfo: memFree=20521476/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=10818904 memory=39204 CPUtime=0.26 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 7571 12843 0 0 17 1 5 3 20 0 15 0 56401611 11078557696 9801 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2704726 9801 2956 1 0 2667149 0
[pid=18131/tid=18184] ppid=18128 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 4169 12843 0 0 11 0 5 3 20 0 15 0 56401620 11078557696 9867 33554432000 4194304 4196468 140726818559296 140677846216208 140677854668530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401621 11078557696 9867 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10818904 memory=140063813711488 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401621 11078557696 9867 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401621 11078557696 9867 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401621 11078557696 9867 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10818904 memory=140063813711488 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401623 11078557696 9933 33554432000 4194304 4196468 140726818559296 140677078792176 140677874403970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 33 12843 0 0 0 0 5 3 20 0 15 0 56401623 11078557696 9933 33554432000 4194304 4196468 140726818559296 140677077738400 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401623 11078557696 9933 33554432000 4194304 4196468 140726818559296 140676687717360 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11078557696 9933 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 418 12843 0 0 1 0 5 3 20 0 15 0 56401626 11078557696 9933 33554432000 4194304 4196468 140726818559296 140677044181488 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 193 12843 0 0 1 0 5 3 20 0 15 0 56401626 11078557696 9933 33554432000 4194304 4196468 140726818559296 140677043128944 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10818904 memory=140063813711488 CPUtime=0.11 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 621 12843 0 0 3 0 5 3 20 0 15 0 56401626 11078557696 9933 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11078557696 9933 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10818904 memory=140063813711488 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401626 11078557696 9933 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 39204 KiB

[startup+0.31037 s]*
/proc/loadavg: 1.50 1.48 1.56 3/215 18197
/proc/meminfo: memFree=20509444/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=10819352 memory=51072 CPUtime=0.39 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 10407 12843 0 0 29 2 5 3 20 0 15 0 56401611 11079016448 12768 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2704838 12768 3075 1 0 2667149 0
[pid=18131/tid=18184] ppid=18128 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 6917 12843 0 0 19 2 5 3 20 0 15 0 56401620 11079016448 12768 33554432000 4194304 4196468 140726818559296 140677846204832 140677854668544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10819352 memory=7300986251812819024 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 12768 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 12768 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 12768 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 12768 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401623 11079016448 12768 33554432000 4194304 4196468 140726818559296 140677078792176 140677874403970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 33 12843 0 0 0 0 5 3 20 0 15 0 56401623 11079016448 12810 33554432000 4194304 4196468 140726818559296 140677077738400 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401623 11079016448 12810 33554432000 4194304 4196468 140726818559296 140676687717360 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11079016448 12810 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 420 12843 0 0 1 0 5 3 20 0 15 0 56401626 11079016448 12810 33554432000 4194304 4196468 140726818559296 140677044181488 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 193 12843 0 0 1 0 5 3 20 0 15 0 56401626 11079016448 12810 33554432000 4194304 4196468 140726818559296 140677043128944 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 640 12843 0 0 5 0 5 3 20 0 15 0 56401626 11079016448 12810 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11079016448 12810 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401626 11079016448 12810 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51072 KiB

[startup+0.700756 s]
/proc/loadavg: 1.50 1.48 1.56 3/215 18197
/proc/meminfo: memFree=20497660/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=10819352 memory=84496 CPUtime=0.99 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 16750 12843 0 0 87 4 5 3 20 0 15 0 56401611 11079016448 21124 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2704838 21124 3246 1 0 2667149 0
[pid=18131/tid=18184] ppid=18128 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 12229 12843 0 0 56 3 5 3 20 0 15 0 56401620 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677846215760 140677855956415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10819352 memory=4136 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401621 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 6 12843 0 0 0 0 5 3 20 0 15 0 56401623 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677078792176 140677874403970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 33 12843 0 0 0 0 5 3 20 0 15 0 56401623 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677077738400 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401623 11079016448 21124 33554432000 4194304 4196468 140726818559296 140676687717360 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11079016448 21124 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10819352 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 803 12843 0 0 7 0 5 3 20 0 15 0 56401626 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677044181488 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10819352 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 744 12843 0 0 10 0 5 3 20 0 15 0 56401626 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677043128944 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 733 12843 0 0 13 0 5 3 20 0 15 0 56401626 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11079016448 21124 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401626 11079016448 21124 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84496 KiB

[startup+1.50155 s]
/proc/loadavg: 1.50 1.48 1.56 3/215 18197
/proc/meminfo: memFree=20453888/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=10828032 memory=444556 CPUtime=2.98 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 22811 12843 0 0 249 41 5 3 20 0 15 0 56401611 11087904768 111139 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2707008 111139 3443 1 0 2668685 0
[pid=18131/tid=18184] ppid=18128 vsize=10828032 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) S 18128 18131 15121 0 -1 1077944384 14594 12843 0 0 116 9 5 3 20 0 15 0 56401620 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677846228512 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10828032 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) R 18128 18131 15121 0 -1 4202560 210 12843 0 0 4 7 5 3 20 0 15 0 56401621 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677878635280 140677867495802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10828032 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) R 18128 18131 15121 0 -1 4202560 453 12843 0 0 4 5 5 3 20 0 15 0 56401621 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677766908704 140677867495816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10828032 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) R 18128 18131 15121 0 -1 4202560 211 12843 0 0 4 8 5 3 20 0 15 0 56401621 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677765856472 140677867492590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10828032 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) R 18128 18131 15121 0 -1 4202560 244 12843 0 0 4 7 5 3 20 0 15 0 56401621 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677764803728 140677867495881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10828032 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 87 12843 0 0 0 0 5 3 20 0 15 0 56401623 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677078790688 140677874403029 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10828032 memory=280127430797568 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 33 12843 0 0 0 0 5 3 20 0 15 0 56401623 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677077738400 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10828032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 2 12843 0 0 0 0 5 3 20 0 15 0 56401623 11087904768 111139 33554432000 4194304 4196468 140726818559296 140676687717376 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10828032 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11087904768 111139 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10828032 memory=1704 CPUtime=0.42 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 1255 12843 0 0 34 0 5 3 20 0 15 0 56401626 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677044172768 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10828032 memory=9924 CPUtime=0.57 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 2428 12843 0 0 49 0 5 3 20 0 15 0 56401626 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677043113936 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10828032 memory=5788 CPUtime=0.36 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 1099 12843 0 0 28 0 5 3 20 0 15 0 56401626 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10828032 memory=1936 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11087904768 111139 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10828032 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 1 12843 0 0 0 0 5 3 20 0 15 0 56401626 11087904768 111139 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10828032 KiB

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

/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 216648 12843 0 0 236668 73 5 3 20 0 15 0 56401620 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677846228096 140677449240401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10852704 memory=796 CPUtime=13.56 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 26660 12843 0 0 1271 77 5 3 20 0 15 0 56401621 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10852704 memory=1012 CPUtime=13.5 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 29369 12843 0 0 1264 78 5 3 20 0 15 0 56401621 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10852704 memory=1228 CPUtime=13.56 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 28282 12843 0 0 1270 78 5 3 20 0 15 0 56401621 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10852704 memory=1704 CPUtime=13.52 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 28664 12843 0 0 1268 76 5 3 20 0 15 0 56401621 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10852704 memory=9924 CPUtime=1.03 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 38742 12843 0 0 80 15 5 3 20 0 15 0 56401623 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677078792176 140677874403970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10852704 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 46 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677077738528 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10852704 memory=18252 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 4 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 834513 33554432000 4194304 4196468 140726818559296 140676687717376 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10852704 memory=10840 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 834513 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10852704 memory=644 CPUtime=9.97 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 85526 12843 0 0 980 9 5 3 20 0 15 0 56401626 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677044181488 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10852704 memory=8364 CPUtime=10.22 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 83935 12843 0 0 1006 8 5 3 20 0 15 0 56401626 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677043128944 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10852704 memory=4616 CPUtime=3.47 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 60622 12843 0 0 330 9 5 3 20 0 15 0 56401626 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10852704 memory=1424 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 834513 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10852704 memory=15868 CPUtime=1.56 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 2890 12843 0 0 72 76 5 3 20 0 15 0 56401626 11113168896 834513 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 2447.28 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3338052 KiB

[startup+2442.3 s]
/proc/loadavg: 1.79 1.66 1.63 3/215 18429
/proc/meminfo: memFree=16869204/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=10852704 memory=3446804 CPUtime=2507.65 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 613384 12843 0 0 250270 487 5 3 20 0 15 0 56401611 11113168896 861701 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2713176 861701 3536 1 0 2674829 0
[pid=18131/tid=18184] ppid=18128 vsize=10852704 memory=3446804 CPUtime=2427.38 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 224545 12843 0 0 242656 74 5 3 20 0 15 0 56401620 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677846214720 140677466840597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10852704 memory=3446804 CPUtime=13.65 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 26792 12843 0 0 1279 78 5 3 20 0 15 0 56401621 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10852704 memory=15868 CPUtime=13.59 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 29435 12843 0 0 1272 79 5 3 20 0 15 0 56401621 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10852704 memory=3446784 CPUtime=13.67 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 28473 12843 0 0 1279 80 5 3 20 0 15 0 56401621 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10852704 memory=18252 CPUtime=13.62 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 28787 12843 0 0 1277 77 5 3 20 0 15 0 56401621 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10852704 memory=6791534058613427641 CPUtime=1.04 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 38936 12843 0 0 81 15 5 3 20 0 15 0 56401623 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677078792176 140677874403970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10852704 memory=4052 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 46 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677077738528 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10852704 memory=18252 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 4 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 861701 33554432000 4194304 4196468 140726818559296 140676687717376 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10852704 memory=10840 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 861701 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10852704 memory=3446804 CPUtime=9.98 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 85622 12843 0 0 981 9 5 3 20 0 15 0 56401626 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677044181488 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10852704 memory=18252 CPUtime=10.24 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 84576 12843 0 0 1008 8 5 3 20 0 15 0 56401626 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677043128944 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10852704 memory=10840 CPUtime=3.48 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 61064 12843 0 0 331 9 5 3 20 0 15 0 56401626 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10852704 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 861701 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10852704 memory=928 CPUtime=1.59 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 2910 12843 0 0 73 78 5 3 20 0 15 0 56401626 11113168896 861701 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 2507.65 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3446804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.6 s]
/proc/loadavg: 1.53 1.61 1.62 3/215 18429
/proc/meminfo: memFree=16847432/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=10852704 memory=3448852 CPUtime=2520.04 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 613912 12843 0 0 251509 487 5 3 20 0 15 0 56401611 11113168896 862213 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2713176 862213 3536 1 0 2674829 0
[pid=18131/tid=18184] ppid=18128 vsize=10852704 memory=2200 CPUtime=2439.65 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 224974 12843 0 0 243882 75 5 3 20 0 15 0 56401620 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677846228240 140677467238768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10852704 memory=3448852 CPUtime=13.68 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 26818 12843 0 0 1282 78 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10852704 memory=3446804 CPUtime=13.62 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 29452 12843 0 0 1275 79 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10852704 memory=3446804 CPUtime=13.7 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 28502 12843 0 0 1282 80 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10852704 memory=3446784 CPUtime=13.65 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 28809 12843 0 0 1280 77 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10852704 memory=3446804 CPUtime=1.04 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 38939 12843 0 0 81 15 5 3 20 0 15 0 56401623 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677078792176 140677874403970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 46 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677077738528 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 4 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 862213 33554432000 4194304 4196468 140726818559296 140676687717376 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10852704 memory=1800 CPUtime=9.98 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 85622 12843 0 0 981 9 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677044181488 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10852704 memory=3401664 CPUtime=10.24 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 84576 12843 0 0 1008 8 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677043128944 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10852704 memory=3448852 CPUtime=3.48 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 61064 12843 0 0 331 9 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10852704 memory=6791534058613427641 CPUtime=1.6 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 2912 12843 0 0 74 78 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3448852 KiB

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

[startup+2454.68 s]
# the end of solver process 18131 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.23 s, system=4.92703 s

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

[startup+2454.6 s]
/proc/loadavg: 1.53 1.61 1.62 3/215 18429
/proc/meminfo: memFree=16847432/32770624 swapFree=67108860/67108860
[pid=18131] ppid=18128 vsize=10852704 memory=3448852 CPUtime=2520.04 cores=0,2,4,6
/proc/18131/stat : 18131 (java) S 18128 18131 15121 0 -1 1077944320 613912 12843 0 0 251509 487 5 3 20 0 15 0 56401611 11113168896 862213 33554432000 4194304 4196468 140726818559296 140726818541840 140677874392823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
/proc/18131/statm: 2713176 862213 3536 1 0 2674829 0
[pid=18131/tid=18184] ppid=18128 vsize=10852704 memory=2200 CPUtime=2439.65 cores=0,2,4,6
/proc/18131/task/18184/stat : 18184 (java) R 18128 18131 15121 0 -1 4202560 224974 12843 0 0 243882 75 5 3 20 0 15 0 56401620 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677846228240 140677467238768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18185] ppid=18128 vsize=10852704 memory=3448852 CPUtime=13.68 cores=0,2,4,6
/proc/18131/task/18185/stat : 18185 (java) S 18128 18131 15121 0 -1 1077944384 26818 12843 0 0 1282 78 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677878635280 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18186] ppid=18128 vsize=10852704 memory=3446804 CPUtime=13.62 cores=0,2,4,6
/proc/18131/task/18186/stat : 18186 (java) S 18128 18131 15121 0 -1 1077944384 29452 12843 0 0 1275 79 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677766908816 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18187] ppid=18128 vsize=10852704 memory=3446804 CPUtime=13.7 cores=0,2,4,6
/proc/18131/task/18187/stat : 18187 (java) S 18128 18131 15121 0 -1 1077944384 28502 12843 0 0 1282 80 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677765856272 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18188] ppid=18128 vsize=10852704 memory=3446784 CPUtime=13.65 cores=0,2,4,6
/proc/18131/task/18188/stat : 18188 (java) S 18128 18131 15121 0 -1 1077944384 28809 12843 0 0 1280 77 5 3 20 0 15 0 56401621 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677764803728 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18189] ppid=18128 vsize=10852704 memory=3446804 CPUtime=1.04 cores=0,2,4,6
/proc/18131/task/18189/stat : 18189 (java) S 18128 18131 15121 0 -1 1077944384 38939 12843 0 0 81 15 5 3 20 0 15 0 56401623 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677078792176 140677874403970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18190] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18190/stat : 18190 (java) S 18128 18131 15121 0 -1 1077944384 46 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677077738528 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18191] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18191/stat : 18191 (java) S 18128 18131 15121 0 -1 1077944384 4 12843 0 0 0 0 5 3 20 0 15 0 56401623 11113168896 862213 33554432000 4194304 4196468 140726818559296 140676687717376 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18192] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18192/stat : 18192 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140676447426768 140677874411419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18193] ppid=18128 vsize=10852704 memory=1800 CPUtime=9.98 cores=0,2,4,6
/proc/18131/task/18193/stat : 18193 (java) S 18128 18131 15121 0 -1 1077944384 85622 12843 0 0 981 9 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677044181488 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18194] ppid=18128 vsize=10852704 memory=3401664 CPUtime=10.24 cores=0,2,4,6
/proc/18131/task/18194/stat : 18194 (java) S 18128 18131 15121 0 -1 1077944384 84576 12843 0 0 1008 8 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677043128944 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18195] ppid=18128 vsize=10852704 memory=3448852 CPUtime=3.48 cores=0,2,4,6
/proc/18131/task/18195/stat : 18195 (java) S 18128 18131 15121 0 -1 1077944384 61064 12843 0 0 331 9 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677042076400 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18196] ppid=18128 vsize=10852704 memory=3448852 CPUtime=0.08 cores=0,2,4,6
/proc/18131/task/18196/stat : 18196 (java) S 18128 18131 15121 0 -1 1077944384 3 12843 0 0 0 0 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140676413869152 140677874403029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
[pid=18131/tid=18197] ppid=18128 vsize=10852704 memory=6791534058613427641 CPUtime=1.6 cores=0,2,4,6
/proc/18131/task/18197/stat : 18197 (java) S 18128 18131 15121 0 -1 1077944384 2912 12843 0 0 74 78 5 3 20 0 15 0 56401626 11113168896 862213 33554432000 4194304 4196468 140726818559296 140677041023280 140677874403970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25878528 140726818560623 140726818563420 140726818563420 140726818566095 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3448852 KiB

Child status: 143
Real time (s): 2454.68
CPU time (s): 2520.16
CPU user time (s): 2515.23
CPU system time (s): 4.92703
CPU usage (%): 102.668
Max. virtual memory (cumulated for all children) (KiB): 10853364
Max. memory (cumulated for all children) (KiB): 3997604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.23
system time used= 4.92704
maximum resident set size= 3999660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78085
involuntary context switches= 3579


# summary of solver processes directly reported to runsolver:
#   pid: 18131
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2515.23
#   total CPU system time (s): 4.92703

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1422 second user time and 24.0005 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-24 01:26:24
IDJOB=4293921
IDBENCH=141265
IDSOLVER=2750
FILE ID=node105/4293921-1532388384
RUNJOBID= node105-1532371073-15152
PBS_JOBID= 21021573
Free space on /tmp= 44636 MiB

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

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

MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e
RANDOM SEED=814305953

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20546152 kB
MemAvailable:   28685460 kB
Buffers:          204440 kB
Cached:          8079904 kB
SwapCached:            0 kB
Active:          4912528 kB
Inactive:        6673632 kB
Active(anon):    3256204 kB
Inactive(anon):    65652 kB
Active(file):    1656324 kB
Inactive(file):  6607980 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            151776 kB
Writeback:             0 kB
AnonPages:       3309472 kB
Mapped:            50628 kB
Shmem:             17036 kB
Slab:             330992 kB
SReclaimable:     303464 kB
SUnreclaim:        27528 kB
KernelStack:        3520 kB
PageTables:        11652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3933432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3039232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44584 MiB
End job on node105 at 2018-07-24 02:07:19