Trace number 4302595

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)294996012 252.162 215.881

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	294996012

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302595-1532896518/watcher-4302595-1532896518 -o /tmp/evaluation-result-4302595-1532896518/solver-4302595-1532896518 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2141834253 HOME/instance-4302595-1532896518.xml 

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

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


[startup+0.100057 s]*
/proc/loadavg: 1.72 1.75 1.81 3/206 18628
/proc/meminfo: memFree=23248204/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=10005480 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 4246 13149 0 0 1 0 4 3 20 0 6 0 107215102 10245611520 4582 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2501370 4582 1927 1 0 2489808 0
[pid=18571/tid=18624] ppid=18568 vsize=10005480 memory=4279135704047190159 CPUtime=0.08 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 2056 13149 0 0 1 0 4 3 20 0 6 0 107215111 10245611520 4582 33554432000 4194304 4196468 140726936994320 140378987160144 140379015345309 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 6 0 107215112 10245611520 4582 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=10005480 memory=140620198823552 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 6 0 107215112 10245611520 4582 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 6 0 107215112 10245611520 4582 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 6 0 107215112 10245611520 4582 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210023 s]*
/proc/loadavg: 1.72 1.75 1.81 3/215 18637
/proc/meminfo: memFree=23225872/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=10982744 memory=43792 CPUtime=0.25 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 7703 13149 0 0 16 2 4 3 20 0 15 0 107215102 11246329856 10948 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2745686 10948 2945 1 0 2708109 0
[pid=18571/tid=18624] ppid=18568 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 4394 13149 0 0 10 1 4 3 20 0 15 0 107215111 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378987119424 140378995599090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246329856 11146 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=10982744 memory=140620198823552 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=10982744 memory=140620198823552 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215113 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378440136688 140379015334530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 13 13149 0 0 0 0 4 3 20 0 15 0 107215114 11246329856 11146 33554432000 4194304 4196468 140726936994320 140377798468512 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215114 11246329856 11146 33554432000 4194304 4196468 140726936994320 140377650619376 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246329856 11146 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 360 13149 0 0 1 0 4 3 20 0 15 0 107215117 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378439084528 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 12183 0 -1 1077944384 262 13149 0 0 1 0 4 3 20 0 15 0 107215117 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378438031984 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=10982744 memory=140620198823552 CPUtime=0.1 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 622 13149 0 0 3 0 4 3 20 0 15 0 107215117 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246329856 11146 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=10982744 memory=140620198823552 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246329856 11146 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43792 KiB

[startup+0.310608 s]*
/proc/loadavg: 1.72 1.75 1.81 3/215 18637
/proc/meminfo: memFree=23213336/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=10983192 memory=55384 CPUtime=0.38 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 10385 13149 0 0 28 3 4 3 20 0 15 0 107215102 11246788608 13846 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2745798 13846 3099 1 0 2708109 0
[pid=18571/tid=18624] ppid=18568 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 6909 13149 0 0 19 2 4 3 20 0 15 0 107215111 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378987112912 140378995599132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 13846 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215113 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378440136688 140379015334530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 13 13149 0 0 0 0 4 3 20 0 15 0 107215114 11246788608 13846 33554432000 4194304 4196468 140726936994320 140377798468512 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215114 11246788608 13846 33554432000 4194304 4196468 140726936994320 140377650619376 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246788608 13846 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 362 13149 0 0 1 0 4 3 20 0 15 0 107215117 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378439084528 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 12183 0 -1 1077944384 265 13149 0 0 1 0 4 3 20 0 15 0 107215117 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378438031984 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 637 13149 0 0 4 0 4 3 20 0 15 0 107215117 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246788608 13846 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246788608 13846 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55384 KiB

[startup+0.700833 s]
/proc/loadavg: 1.72 1.75 1.81 3/215 18637
/proc/meminfo: memFree=23201616/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=10983192 memory=88264 CPUtime=0.98 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 16745 13149 0 0 87 4 4 3 20 0 15 0 107215102 11246788608 22066 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2745798 22066 3238 1 0 2708109 0
[pid=18571/tid=18624] ppid=18568 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 12147 13149 0 0 56 3 4 3 20 0 15 0 107215111 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378987139648 140379015345309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 22066 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215112 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 6 13149 0 0 0 0 4 3 20 0 15 0 107215113 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378440136688 140379015334530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 13 13149 0 0 0 0 4 3 20 0 15 0 107215114 11246788608 22066 33554432000 4194304 4196468 140726936994320 140377798468512 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215114 11246788608 22066 33554432000 4194304 4196468 140726936994320 140377650619376 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246788608 22066 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 726 13149 0 0 7 0 4 3 20 0 15 0 107215117 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378439084528 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=10983192 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 12183 0 -1 1077944384 913 13149 0 0 10 0 4 3 20 0 15 0 107215117 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378438031984 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 736 13149 0 0 13 0 4 3 20 0 15 0 107215117 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246788608 22066 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215117 11246788608 22066 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88264 KiB

[startup+1.50158 s]
/proc/loadavg: 1.72 1.75 1.81 3/215 18637
/proc/meminfo: memFree=23158324/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=10991872 memory=465200 CPUtime=2.99 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 22933 13149 0 0 253 39 4 3 20 0 15 0 107215102 11255676928 116300 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2747968 116300 3446 1 0 2709645 0
[pid=18571/tid=18624] ppid=18568 vsize=10991872 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) S 18568 18571 12183 0 -1 1077944384 14513 13149 0 0 115 9 4 3 20 0 15 0 107215111 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378987159072 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=10991872 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) R 18568 18571 12183 0 -1 4202560 103 13149 0 0 3 6 4 3 20 0 15 0 107215112 11255676928 116300 33554432000 4194304 4196468 140726936994320 140379019565728 140379007951591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=10991872 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) R 18568 18571 12183 0 -1 4202560 518 13149 0 0 6 7 4 3 20 0 15 0 107215112 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378874285144 140379001082200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=10991872 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) R 18568 18571 12183 0 -1 4202560 263 13149 0 0 6 6 4 3 20 0 15 0 107215112 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378873232600 140379008423083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=10991872 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) R 18568 18571 12183 0 -1 4202560 262 13149 0 0 6 7 4 3 20 0 15 0 107215112 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378872180056 140379007951591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=10991872 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 87 13149 0 0 0 0 4 3 20 0 15 0 107215113 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378440135200 140379015333589 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=10991872 memory=281240095762688 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 15 13149 0 0 0 0 4 3 20 0 15 0 107215114 11255676928 116300 33554432000 4194304 4196468 140726936994320 140377798468512 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=10991872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 2 13149 0 0 0 0 4 3 20 0 15 0 107215114 11255676928 116300 33554432000 4194304 4196468 140726936994320 140377650619376 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=10991872 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11255676928 116300 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=10991872 memory=1232 CPUtime=0.4 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 1234 13149 0 0 33 0 4 3 20 0 15 0 107215117 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378439075808 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=10991872 memory=8560 CPUtime=0.59 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) R 18568 18571 12183 0 -1 4202560 2636 13149 0 0 52 0 4 3 20 0 15 0 107215117 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378438018008 140379000250801 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=10991872 memory=1712 CPUtime=0.35 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 1104 13149 0 0 28 0 4 3 20 0 15 0 107215117 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=10991872 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11255676928 116300 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=10991872 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 1 13149 0 0 0 0 4 3 20 0 15 0 107215117 11255676928 116300 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10991872 KiB

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

/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 54680 13149 0 0 9739 38 4 3 20 0 15 0 107215111 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378987155376 140378554757733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=11016544 memory=4872558044660077418 CPUtime=4.17 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 2390 13149 0 0 354 56 4 3 20 0 15 0 107215112 11280941056 994424 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=11016544 memory=0 CPUtime=4.2 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 3816 13149 0 0 358 55 4 3 20 0 15 0 107215112 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=11016544 memory=0 CPUtime=4.22 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 5210 13149 0 0 363 52 4 3 20 0 15 0 107215112 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=11016544 memory=0 CPUtime=4.21 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 3371 13149 0 0 362 52 4 3 20 0 15 0 107215112 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=11016544 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 6939 13149 0 0 15 0 4 3 20 0 15 0 107215113 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378440136688 140379015334530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 21 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 994424 33554432000 4194304 4196468 140726936994320 140377798468576 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 994424 33554432000 4194304 4196468 140726936994320 140377650619392 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=11016544 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 994424 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=11016544 memory=0 CPUtime=8.55 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 13396 13149 0 0 844 4 4 3 20 0 15 0 107215117 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378439084528 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=11016544 memory=-1 CPUtime=9.21 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 12183 0 -1 1077944384 22298 13149 0 0 909 5 4 3 20 0 15 0 107215117 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378438031984 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=11016544 memory=140620198823552 CPUtime=3.14 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 19463 13149 0 0 302 5 4 3 20 0 15 0 107215117 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=11016544 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 994424 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=11016544 memory=140620198823552 CPUtime=0.12 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 933 13149 0 0 3 2 4 3 20 0 15 0 107215117 11280941056 994424 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 135.35 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3977696 KiB

[startup+162.301 s]*
/proc/loadavg: 2.13 1.96 1.88 3/215 18770
/proc/meminfo: memFree=17441504/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=11016544 memory=3332672 CPUtime=197.83 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 158801 13149 0 0 19496 280 4 3 20 0 15 0 107215102 11280941056 833168 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2754136 833168 3537 1 0 2715789 0
[pid=18571/tid=18624] ppid=18568 vsize=11016544 memory=6791534058613427641 CPUtime=157.22 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 59374 13149 0 0 15676 39 4 3 20 0 15 0 107215111 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378987148464 140378546882498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=11016544 memory=4872558044660077418 CPUtime=4.71 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 2548 13149 0 0 407 57 4 3 20 0 15 0 107215112 11280941056 833168 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=11016544 memory=1232 CPUtime=4.73 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 4007 13149 0 0 410 56 4 3 20 0 15 0 107215112 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=11016544 memory=2340 CPUtime=4.75 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 6928 13149 0 0 416 52 4 3 20 0 15 0 107215112 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=11016544 memory=2244 CPUtime=4.75 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 3537 13149 0 0 416 52 4 3 20 0 15 0 107215112 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=11016544 memory=932 CPUtime=0.3 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 12885 13149 0 0 22 1 4 3 20 0 15 0 107215113 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378440136688 140379015334530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=11016544 memory=281240097186640 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 21 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 833168 33554432000 4194304 4196468 140726936994320 140377798468576 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=11016544 memory=7158014564688814443 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 833168 33554432000 4194304 4196468 140726936994320 140377650619392 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=11016544 memory=5793975896706995561 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 833168 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=11016544 memory=5793975935361700711 CPUtime=8.83 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 16535 13149 0 0 871 5 4 3 20 0 15 0 107215117 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378439084528 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=11016544 memory=5793975935361700711 CPUtime=9.72 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 12183 0 -1 1077944384 28076 13149 0 0 960 5 4 3 20 0 15 0 107215117 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378438031984 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=11016544 memory=6791534058613427641 CPUtime=3.17 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 21729 13149 0 0 305 5 4 3 20 0 15 0 107215117 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=11016544 memory=5793975935361700711 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 833168 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=11016544 memory=6940161745987265876 CPUtime=0.16 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 963 13149 0 0 4 5 4 3 20 0 15 0 107215117 11280941056 833168 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 197.83 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3332672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+215.801 s]
/proc/loadavg: 1.84 1.92 1.87 3/215 18771
/proc/meminfo: memFree=17633688/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=11016544 memory=3264456 CPUtime=252.05 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 167279 13149 0 0 24916 282 4 3 20 0 15 0 107215102 11280941056 816114 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2754136 816114 3537 1 0 2715789 0
[pid=18571/tid=18624] ppid=18568 vsize=11016544 memory=3267008 CPUtime=210.51 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 63636 13149 0 0 21004 40 4 3 20 0 15 0 107215111 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378987158352 140378565251828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=11016544 memory=3264444 CPUtime=4.9 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 2742 13149 0 0 426 57 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=11016544 memory=3264444 CPUtime=4.92 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 4749 13149 0 0 429 56 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=11016544 memory=3264444 CPUtime=4.95 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 7011 13149 0 0 436 52 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=11016544 memory=3264456 CPUtime=4.94 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 4520 13149 0 0 435 52 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=11016544 memory=56 CPUtime=0.31 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 13233 13149 0 0 23 1 4 3 20 0 15 0 107215113 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378440136688 140379015334530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=11016544 memory=3264456 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 21 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 816114 33554432000 4194304 4196468 140726936994320 140377798468576 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=11016544 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 816114 33554432000 4194304 4196468 140726936994320 140377650619392 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=11016544 memory=3264444 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=11016544 memory=10901 CPUtime=8.89 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 17411 13149 0 0 877 5 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378439084528 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=11016544 memory=4140 CPUtime=9.77 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 12183 0 -1 1077944384 28444 13149 0 0 965 5 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378438031984 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=11016544 memory=30696 CPUtime=3.2 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 22323 13149 0 0 307 6 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=11016544 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=11016544 memory=30696 CPUtime=0.19 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 991 13149 0 0 6 6 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3264456 KiB

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

[startup+215.881 s]
# the end of solver process 18571 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.268 s, system=2.89446 s

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

[startup+215.801 s]
/proc/loadavg: 1.84 1.92 1.87 3/215 18771
/proc/meminfo: memFree=17633688/32770624 swapFree=67108860/67108860
[pid=18571] ppid=18568 vsize=11016544 memory=3264456 CPUtime=252.05 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18568 18571 12183 0 -1 1077944320 167279 13149 0 0 24916 282 4 3 20 0 15 0 107215102 11280941056 816114 33554432000 4194304 4196468 140726936994320 140726936976864 140379015323383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
/proc/18571/statm: 2754136 816114 3537 1 0 2715789 0
[pid=18571/tid=18624] ppid=18568 vsize=11016544 memory=3267008 CPUtime=210.51 cores=0,2,4,6
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 12183 0 -1 4202560 63636 13149 0 0 21004 40 4 3 20 0 15 0 107215111 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378987158352 140378565251828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18625] ppid=18568 vsize=11016544 memory=3264444 CPUtime=4.9 cores=0,2,4,6
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 12183 0 -1 1077944384 2742 13149 0 0 426 57 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140379019565840 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18626] ppid=18568 vsize=11016544 memory=3264444 CPUtime=4.92 cores=0,2,4,6
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 12183 0 -1 1077944384 4749 13149 0 0 429 56 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378874284944 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18627] ppid=18568 vsize=11016544 memory=3264444 CPUtime=4.95 cores=0,2,4,6
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 12183 0 -1 1077944384 7011 13149 0 0 436 52 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378873232400 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18628] ppid=18568 vsize=11016544 memory=3264456 CPUtime=4.94 cores=0,2,4,6
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 12183 0 -1 1077944384 4520 13149 0 0 435 52 4 3 20 0 15 0 107215112 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378872179856 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18629] ppid=18568 vsize=11016544 memory=56 CPUtime=0.31 cores=0,2,4,6
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 12183 0 -1 1077944384 13233 13149 0 0 23 1 4 3 20 0 15 0 107215113 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378440136688 140379015334530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18630] ppid=18568 vsize=11016544 memory=3264456 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 12183 0 -1 1077944384 21 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 816114 33554432000 4194304 4196468 140726936994320 140377798468576 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18631] ppid=18568 vsize=11016544 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215114 11280941056 816114 33554432000 4194304 4196468 140726936994320 140377650619392 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18632] ppid=18568 vsize=11016544 memory=3264444 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140377343219920 140379015341979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18633] ppid=18568 vsize=11016544 memory=10901 CPUtime=8.89 cores=0,2,4,6
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 12183 0 -1 1077944384 17411 13149 0 0 877 5 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378439084528 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18634] ppid=18568 vsize=11016544 memory=4140 CPUtime=9.77 cores=0,2,4,6
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 12183 0 -1 1077944384 28444 13149 0 0 965 5 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378438031984 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18635] ppid=18568 vsize=11016544 memory=30696 CPUtime=3.2 cores=0,2,4,6
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 12183 0 -1 1077944384 22323 13149 0 0 307 6 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378436979440 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18636] ppid=18568 vsize=11016544 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 12183 0 -1 1077944384 3 13149 0 0 0 0 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140376912424032 140379015333589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
[pid=18571/tid=18637] ppid=18568 vsize=11016544 memory=30696 CPUtime=0.19 cores=0,2,4,6
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 12183 0 -1 1077944384 991 13149 0 0 6 6 4 3 20 0 15 0 107215117 11280941056 816114 33554432000 4194304 4196468 140726936994320 140378435926320 140379015334530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140726936996465 140726936999265 140726936999265 140726937001935 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3264456 KiB

Child status: 143
Real time (s): 215.881
CPU time (s): 252.162
CPU user time (s): 249.268
CPU system time (s): 2.89446
CPU usage (%): 116.806
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 4012680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.268
system time used= 2.89446
maximum resident set size= 4014728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17561
involuntary context switches= 686


# summary of solver processes directly reported to runsolver:
#   pid: 18571
#   total CPU time (s): 252.162
#   total CPU user time (s): 249.268
#   total CPU system time (s): 2.89446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21387 second user time and 2.13118 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-29 22:35:19
IDJOB=4302595
IDBENCH=141265
IDSOLVER=2776
FILE ID=node107/4302595-1532896518
RUNJOBID= node107-1532892903-13712
PBS_JOBID= 21022519
Free space on /tmp= 60680 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-03-0300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302595-1532896518/watcher-4302595-1532896518 -o /tmp/evaluation-result-4302595-1532896518/solver-4302595-1532896518 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=2141834253 HOME/instance-4302595-1532896518.xml

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

MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e
RANDOM SEED=2141834253

node107.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.40
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.40
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.40
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.40
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:        23255592 kB
MemAvailable:   30615716 kB
Buffers:          247228 kB
Cached:          7376092 kB
SwapCached:            0 kB
Active:          5295496 kB
Inactive:        3726424 kB
Active(anon):    1350224 kB
Inactive(anon):    76484 kB
Active(file):    3945272 kB
Inactive(file):  3649940 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            135024 kB
Writeback:             0 kB
AnonPages:       1405956 kB
Mapped:            58256 kB
Shmem:             25228 kB
Slab:             189876 kB
SReclaimable:     161492 kB
SUnreclaim:        28384 kB
KernelStack:        3504 kB
PageTables:         8064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2511692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1163264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 60560 MiB
End job on node107 at 2018-07-29 22:38:55