Trace number 4293922

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT (TO)294524152 2520.22 2383.81

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	294524152

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293922-1532391837/watcher-4293922-1532391837 -o /tmp/evaluation-result-4293922-1532391837/solver-4293922-1532391837 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=284488476 -superng HOME/instance-4293922-1532391837.xml 

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

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


[startup+0.100057 s]*
/proc/loadavg: 2.24 1.92 1.88 3/207 20933
/proc/meminfo: memFree=20654352/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=9972712 memory=18856 CPUtime=0.08 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 4344 13174 0 0 1 0 5 2 20 0 6 0 56746942 10212057088 4714 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2493178 4714 1934 1 0 2481616 0
[pid=20876/tid=20929] ppid=20873 vsize=9972712 memory=4279135704013833615 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 2154 13174 0 0 0 0 5 2 20 0 6 0 56746951 10212057088 4714 33554432000 4194304 4196468 140725012500000 140678363595344 140678373152317 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 6 0 56746951 10212057088 4714 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=9972712 memory=140473400436352 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 6 0 56746951 10212057088 4714 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 6 0 56746951 10212057088 4714 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 6 0 56746951 10212057088 4714 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210174 s]*
/proc/loadavg: 2.24 1.92 1.88 3/216 20942
/proc/meminfo: memFree=20632068/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=10818936 memory=44452 CPUtime=0.25 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 8975 13174 0 0 16 2 5 2 20 0 15 0 56746942 11078590464 11113 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2704734 11113 2959 1 0 2667157 0
[pid=20876/tid=20929] ppid=20873 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 5843 13174 0 0 10 1 5 2 20 0 15 0 56746951 11078557696 11364 33554432000 4194304 4196468 140725012500000 140678363583392 140678384437805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10818936 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11078590464 11364 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10818936 memory=288370849552148096 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11078590464 11364 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 56746951 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10818936 memory=140473400436352 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 56746953 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677918329712 140678391769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 13 13174 0 0 0 0 5 2 20 0 15 0 56746953 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677694350880 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746953 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677224588656 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11078590464 11364 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 542 13174 0 0 1 0 5 2 20 0 15 0 56746956 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677917276528 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 54 13174 0 0 0 0 5 2 20 0 15 0 56746956 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677916223728 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10818936 memory=140473400436352 CPUtime=0.1 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) S 20873 20876 17273 0 -1 1077944384 555 13174 0 0 3 0 5 2 20 0 15 0 56746956 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677915170928 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11078590464 11364 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10818936 memory=140473400436352 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746957 11078590464 11364 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44452 KiB

[startup+0.31031 s]*
/proc/loadavg: 2.24 1.92 1.88 3/216 20942
/proc/meminfo: memFree=20618836/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=10819352 memory=53332 CPUtime=0.38 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 10434 13174 0 0 28 3 5 2 20 0 15 0 56746942 11079016448 13333 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2704838 13333 3078 1 0 2667149 0
[pid=20876/tid=20929] ppid=20873 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 7044 13174 0 0 19 1 5 2 20 0 15 0 56746951 11079016448 13333 33554432000 4194304 4196468 140725012500000 140678363570592 140678384855435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 13333 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 13333 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 56746953 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677918329712 140678391769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 13 13174 0 0 0 0 5 2 20 0 15 0 56746953 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677694350880 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746953 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677224588656 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11079016448 13333 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 542 13174 0 0 1 0 5 2 20 0 15 0 56746956 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677917276528 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 55 13174 0 0 1 0 5 2 20 0 15 0 56746956 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677916223728 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10819352 memory=140473400436352 CPUtime=0.11 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) R 20873 20876 17273 0 -1 4202560 578 13174 0 0 4 0 5 2 20 0 15 0 56746956 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677915170928 140678371729768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11079016448 13333 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10819352 memory=140473400436352 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746957 11079016448 13333 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53332 KiB

[startup+0.700778 s]
/proc/loadavg: 2.24 1.92 1.88 3/216 20942
/proc/meminfo: memFree=20608912/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=10819352 memory=86668 CPUtime=0.98 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 16744 13174 0 0 86 5 5 2 20 0 15 0 56746942 11079016448 21667 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2704838 21667 3241 1 0 2667149 0
[pid=20876/tid=20929] ppid=20873 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 12274 13174 0 0 56 3 5 2 20 0 15 0 56746951 11079016448 21667 33554432000 4194304 4196468 140725012500000 140678363579408 140678391772465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 21667 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 21667 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 56746951 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10819352 memory=6935649255861544529 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 5 13174 0 0 0 0 5 2 20 0 15 0 56746953 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677918329712 140678391769730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 13 13174 0 0 0 0 5 2 20 0 15 0 56746953 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677694350880 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746953 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677224588656 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11079016448 21667 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10819352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 1100 13174 0 0 9 0 5 2 20 0 15 0 56746956 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677917276528 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 478 13174 0 0 7 0 5 2 20 0 15 0 56746956 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677916223728 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) S 20873 20876 17273 0 -1 1077944384 669 13174 0 0 13 0 5 2 20 0 15 0 56746956 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677915170928 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11079016448 21667 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746957 11079016448 21667 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86668 KiB

[startup+1.5016 s]
/proc/loadavg: 2.24 1.92 1.88 3/216 20942
/proc/meminfo: memFree=20562952/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=10828032 memory=451240 CPUtime=2.96 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 23047 13174 0 0 251 38 5 2 20 0 15 0 56746942 11087904768 112810 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2707008 112810 3446 1 0 2668685 0
[pid=20876/tid=20929] ppid=20873 vsize=10828032 memory=4951091520830867572 CPUtime=1.32 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) S 20873 20876 17273 0 -1 1077944384 14635 13174 0 0 116 9 5 2 20 0 15 0 56746951 11087904768 112810 33554432000 4194304 4196468 140725012500000 140678363594272 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10828032 memory=4134606225630022328 CPUtime=0.19 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) R 20873 20876 17273 0 -1 4202560 252 13174 0 0 6 6 5 2 20 0 15 0 56746951 11087904768 112810 33554432000 4194304 4196468 140725012500000 140678396001112 140678384861300 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10828032 memory=-5153189914156492139 CPUtime=0.19 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) R 20873 20876 17273 0 -1 4202560 399 13174 0 0 6 6 5 2 20 0 15 0 56746951 11087904768 112810 33554432000 4194304 4196468 140725012500000 140678300203536 140678384861300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10828032 memory=-7334607459183597467 CPUtime=0.17 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) R 20873 20876 17273 0 -1 4202560 159 13174 0 0 5 5 5 2 20 0 15 0 56746951 11087904768 112810 33554432000 4194304 4196468 140725012500000 140677963635088 140678384861646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10828032 memory=131912 CPUtime=0.19 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) R 20873 20876 17273 0 -1 4202560 312 13174 0 0 6 6 5 2 20 0 15 0 56746951 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677962582488 140678384861300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10828032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 93 13174 0 0 0 0 5 2 20 0 15 0 56746953 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677918328224 140678391768789 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10828032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 13 13174 0 0 0 0 5 2 20 0 15 0 56746953 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677694350880 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10828032 memory=280946561581344 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 2 13174 0 0 0 0 5 2 20 0 15 0 56746953 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677224588656 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10828032 memory=280946561996288 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11087904768 113322 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10828032 memory=140473280800384 CPUtime=0.43 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 1550 13174 0 0 36 0 5 2 20 0 15 0 56746956 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677917267808 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10828032 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 2427 13174 0 0 46 0 5 2 20 0 15 0 56746956 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677916208720 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10828032 memory=1200 CPUtime=0.34 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) S 20873 20876 17273 0 -1 1077944384 1006 13174 0 0 27 0 5 2 20 0 15 0 56746956 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677915170928 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10828032 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11087904768 113322 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10828032 memory=11536 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 1 13174 0 0 0 0 5 2 20 0 15 0 56746957 11087904768 113322 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10828032 KiB

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

/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 223328 13174 0 0 228295 68 5 2 20 0 15 0 56746951 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140678363586944 140678004091350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10852704 memory=4863968 CPUtime=36.49 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 57293 13174 0 0 3548 94 5 2 20 0 15 0 56746951 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10852704 memory=4864020 CPUtime=36.46 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 57804 13174 0 0 3543 96 5 2 20 0 15 0 56746951 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10852704 memory=4864020 CPUtime=36.39 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 46872 13174 0 0 3537 95 5 2 20 0 15 0 56746951 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10852704 memory=4864020 CPUtime=36.46 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 55579 13174 0 0 3544 95 5 2 20 0 15 0 56746951 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10852704 memory=4864020 CPUtime=1.59 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 69075 13174 0 0 141 11 5 2 20 0 15 0 56746953 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677918329712 140678391769730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10852704 memory=4864020 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 36 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677694351008 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10852704 memory=4864020 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 38 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677224588832 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10852704 memory=4864020 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10852704 memory=4863968 CPUtime=11.38 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 90499 13174 0 0 1121 10 5 2 20 0 15 0 56746956 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677917276528 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10852704 memory=4863968 CPUtime=11.5 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 86268 13174 0 0 1134 9 5 2 20 0 15 0 56746956 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677916223728 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10852704 memory=4863968 CPUtime=3.51 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) S 20873 20876 17273 0 -1 1077944384 60482 13174 0 0 335 9 5 2 20 0 15 0 56746956 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677915170928 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10852704 memory=4863968 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10852704 memory=4864020 CPUtime=1.36 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 2887 13174 0 0 65 64 5 2 20 0 15 0 56746957 11113168896 1216005 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 2458.33 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4864020 KiB

[startup+2382.3 s]
/proc/loadavg: 1.81 1.73 1.75 3/217 21169
/proc/meminfo: memFree=16948956/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=10852704 memory=4870168 CPUtime=2518.66 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 762294 13174 0 0 251321 538 5 2 20 0 15 0 56746942 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2713176 1217542 3544 1 0 2674829 0
[pid=20876/tid=20929] ppid=20873 vsize=10852704 memory=4868116 CPUtime=2343.57 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 228364 13174 0 0 234282 68 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678363593600 140678005677671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.59 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 58736 13174 0 0 3558 94 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.56 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 57864 13174 0 0 3553 96 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.49 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 47619 13174 0 0 3547 95 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10852704 memory=4866068 CPUtime=36.57 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 57497 13174 0 0 3554 96 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10852704 memory=4870168 CPUtime=1.59 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 69397 13174 0 0 141 11 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677918329712 140678391769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10852704 memory=4870168 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 36 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677694351008 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10852704 memory=1131 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 38 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677224588832 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10852704 memory=4870168 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10852704 memory=4870168 CPUtime=11.38 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 90527 13174 0 0 1121 10 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677917276528 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10852704 memory=4870168 CPUtime=11.51 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 86611 13174 0 0 1135 9 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677916223728 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10852704 memory=6791534058613427641 CPUtime=3.52 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) S 20873 20876 17273 0 -1 1077944384 60494 13174 0 0 335 10 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677915170928 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10852704 memory=848 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10852704 memory=4866068 CPUtime=1.39 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 2913 13174 0 0 66 66 5 2 20 0 15 0 56746957 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 2518.66 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4870168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2383.7 s]
/proc/loadavg: 1.81 1.73 1.75 3/217 21169
/proc/meminfo: memFree=16948956/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=10852704 memory=4870168 CPUtime=2520.06 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 762396 13174 0 0 251461 538 5 2 20 0 15 0 56746942 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2713176 1217542 3544 1 0 2674829 0
[pid=20876/tid=20929] ppid=20873 vsize=10852704 memory=4870168 CPUtime=2344.97 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 228466 13174 0 0 234422 68 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678363593600 140677999744975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.59 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 58736 13174 0 0 3558 94 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10852704 memory=4866068 CPUtime=36.56 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 57864 13174 0 0 3553 96 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.49 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 47619 13174 0 0 3547 95 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.57 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 57497 13174 0 0 3554 96 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10852704 memory=4870168 CPUtime=1.59 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 69397 13174 0 0 141 11 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677918329712 140678391769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10852704 memory=4868116 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 36 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677694351008 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10852704 memory=4870168 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 38 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677224588832 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10852704 memory=11956 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10852704 memory=1131 CPUtime=11.38 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 90527 13174 0 0 1121 10 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677917276528 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10852704 memory=4870168 CPUtime=11.51 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 86611 13174 0 0 1135 9 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677916223728 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10852704 memory=2428 CPUtime=3.52 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) S 20873 20876 17273 0 -1 1077944384 60494 13174 0 0 335 10 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677915170928 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10852704 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10852704 memory=4870168 CPUtime=1.39 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 2913 13174 0 0 66 66 5 2 20 0 15 0 56746957 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4870168 KiB

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

[startup+2383.81 s]
# the end of solver process 20876 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.77 s, system=5.45345 s

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

[startup+2383.7 s]
/proc/loadavg: 1.81 1.73 1.75 3/217 21169
/proc/meminfo: memFree=16948956/32770624 swapFree=67108860/67108860
[pid=20876] ppid=20873 vsize=10852704 memory=4870168 CPUtime=2520.06 cores=0,2,4,6
/proc/20876/stat : 20876 (java) S 20873 20876 17273 0 -1 1077944320 762396 13174 0 0 251461 538 5 2 20 0 15 0 56746942 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140725012482544 140678391758583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
/proc/20876/statm: 2713176 1217542 3544 1 0 2674829 0
[pid=20876/tid=20929] ppid=20873 vsize=10852704 memory=4870168 CPUtime=2344.97 cores=0,2,4,6
/proc/20876/task/20929/stat : 20929 (java) R 20873 20876 17273 0 -1 4202560 228466 13174 0 0 234422 68 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678363593600 140677999744975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20930] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.59 cores=0,2,4,6
/proc/20876/task/20930/stat : 20930 (java) S 20873 20876 17273 0 -1 1077944384 58736 13174 0 0 3558 94 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678396000912 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20931] ppid=20873 vsize=10852704 memory=4866068 CPUtime=36.56 cores=0,2,4,6
/proc/20876/task/20931/stat : 20931 (java) S 20873 20876 17273 0 -1 1077944384 57864 13174 0 0 3553 96 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140678300203536 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20932] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.49 cores=0,2,4,6
/proc/20876/task/20932/stat : 20932 (java) S 20873 20876 17273 0 -1 1077944384 47619 13174 0 0 3547 95 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677963635088 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20933] ppid=20873 vsize=10852704 memory=4870168 CPUtime=36.57 cores=0,2,4,6
/proc/20876/task/20933/stat : 20933 (java) S 20873 20876 17273 0 -1 1077944384 57497 13174 0 0 3554 96 5 2 20 0 15 0 56746951 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677962582288 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20934] ppid=20873 vsize=10852704 memory=4870168 CPUtime=1.59 cores=0,2,4,6
/proc/20876/task/20934/stat : 20934 (java) S 20873 20876 17273 0 -1 1077944384 69397 13174 0 0 141 11 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677918329712 140678391769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20935] ppid=20873 vsize=10852704 memory=4868116 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20935/stat : 20935 (java) S 20873 20876 17273 0 -1 1077944384 36 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677694351008 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20936] ppid=20873 vsize=10852704 memory=4870168 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20936/stat : 20936 (java) S 20873 20876 17273 0 -1 1077944384 38 13174 0 0 0 0 5 2 20 0 15 0 56746953 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677224588832 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20937] ppid=20873 vsize=10852704 memory=11956 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20937/stat : 20937 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140676917188944 140678391777179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20938] ppid=20873 vsize=10852704 memory=1131 CPUtime=11.38 cores=0,2,4,6
/proc/20876/task/20938/stat : 20938 (java) S 20873 20876 17273 0 -1 1077944384 90527 13174 0 0 1121 10 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677917276528 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20939] ppid=20873 vsize=10852704 memory=4870168 CPUtime=11.51 cores=0,2,4,6
/proc/20876/task/20939/stat : 20939 (java) S 20873 20876 17273 0 -1 1077944384 86611 13174 0 0 1135 9 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677916223728 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20940] ppid=20873 vsize=10852704 memory=2428 CPUtime=3.52 cores=0,2,4,6
/proc/20876/task/20940/stat : 20940 (java) S 20873 20876 17273 0 -1 1077944384 60494 13174 0 0 335 10 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677915170928 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20941] ppid=20873 vsize=10852704 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/20876/task/20941/stat : 20941 (java) S 20873 20876 17273 0 -1 1077944384 3 13174 0 0 0 0 5 2 20 0 15 0 56746956 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140676883630304 140678391768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
[pid=20876/tid=20942] ppid=20873 vsize=10852704 memory=4870168 CPUtime=1.39 cores=0,2,4,6
/proc/20876/task/20942/stat : 20942 (java) S 20873 20876 17273 0 -1 1077944384 2913 13174 0 0 66 66 5 2 20 0 15 0 56746957 11113168896 1217542 33554432000 4194304 4196468 140725012500000 140677914119344 140678391769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24342528 140725012502700 140725012505948 140725012505948 140725012508623 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4870168 KiB

Child status: 143
Real time (s): 2383.81
CPU time (s): 2520.22
CPU user time (s): 2514.77
CPU system time (s): 5.45345
CPU usage (%): 105.723
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 4969116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.77
system time used= 5.45345
maximum resident set size= 4969116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72428
involuntary context switches= 4957


# summary of solver processes directly reported to runsolver:
#   pid: 20876
#   total CPU time (s): 2520.22
#   total CPU user time (s): 2514.77
#   total CPU system time (s): 5.45345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0589 second user time and 22.9751 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-24 02:23:57
IDJOB=4293922
IDBENCH=141265
IDSOLVER=2751
FILE ID=node151/4293922-1532391837
RUNJOBID= node151-1532369950-17304
PBS_JOBID= 21021572
Free space on /tmp= 54856 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-03-0300_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293922-1532391837/watcher-4293922-1532391837 -o /tmp/evaluation-result-4293922-1532391837/solver-4293922-1532391837 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=284488476 -superng HOME/instance-4293922-1532391837.xml

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

MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e
RANDOM SEED=284488476

node151.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.87
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.87
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.87
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.87
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:        20659296 kB
MemAvailable:   25326264 kB
Buffers:          149608 kB
Cached:          4758676 kB
SwapCached:            0 kB
Active:          7751096 kB
Inactive:        3827700 kB
Active(anon):    6621104 kB
Inactive(anon):    69372 kB
Active(file):    1129992 kB
Inactive(file):  3758328 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            151648 kB
Writeback:             0 kB
AnonPages:       6678736 kB
Mapped:            50716 kB
Shmem:             17032 kB
Slab:             216772 kB
SReclaimable:     188964 kB
SUnreclaim:        27808 kB
KernelStack:        3520 kB
PageTables:        18160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7099084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6397952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54684 MiB
End job on node151 at 2018-07-24 03:03:41