Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 262172 | 1800.16 | 897.673 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb |
| MD5SUM | 8bdca001a57a76bf3835c82b9bc6a431 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 261403 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 526135 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4100426-1466209715.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.38/0.66 c ... done. Wall clock time 0.544s. 1.38/0.66 c declared #vars 8902 1.38/0.66 c #constraints 3038 1.38/0.67 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.38/0.67 c constraints type 1.38/0.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 450 1.38/0.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 31 1.38/0.67 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 538 1.38/0.67 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2019 1.38/0.67 c 3038 constraints processed. 1.38/0.67 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.38/0.67 c constraints type 1.38/0.67 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 538 1.38/0.67 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 450 1.38/0.67 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 31 1.38/0.67 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2019 1.38/0.67 c 3038 constraints processed. 1.38/0.67 c objective function length is 31 literals 11.12/4.53 c cleaning 2500 clauses out of 5000 with flag 17782/5000 17.25/7.36 c cleaning 4250 clauses out of 8500 with flag 37696/11000 21.98/9.65 c cleaning 5624 clauses out of 11251 with flag 60435/18001 26.18/11.75 c cleaning 6812 clauses out of 13626 with flag 86881/26000 30.02/13.66 c cleaning 7900 clauses out of 15814 with flag 113750/35000 34.70/15.96 c cleaning 8956 clauses out of 17916 with flag 143250/45002 39.90/18.58 c cleaning 9969 clauses out of 19960 with flag 179905/56002 40.90/19.03 c cleaning 0 clauses out of 5000 with flag 0/5000 45.78/21.49 c cleaning 10995 clauses out of 21989 with flag 224439/68000 51.02/23.97 c cleaning 11989 clauses out of 23994 with flag 272372/81000 55.87/26.32 c And the winner is solver0 55.87/26.70 c SATISFIABLE 55.87/26.70 c OPTIMIZING... 55.87/26.70 c Got one! Elapsed wall clock time (in seconds):26.58 55.87/26.70 o 262173 57.94/27.77 c cleaning 13127 clauses out of 26310 with flag 16270/95305 63.13/30.37 c cleaning 9581 clauses out of 19182 with flag 36367/101305 69.15/33.38 c cleaning 8298 clauses out of 16606 with flag 61585/108310 75.96/36.74 c cleaning 8139 clauses out of 16303 with flag 89021/116305 83.35/40.47 c cleaning 8575 clauses out of 17165 with flag 117915/125306 91.95/44.79 c cleaning 9287 clauses out of 18588 with flag 148944/135305 102.08/49.75 c cleaning 10145 clauses out of 20301 with flag 186371/146305 113.47/55.42 c cleaning 11077 clauses out of 22156 with flag 224716/158305 124.27/60.83 c cleaning 12040 clauses out of 24079 with flag 267394/171305 135.68/66.50 c cleaning 13016 clauses out of 26039 with flag 311708/185305 148.27/72.85 c cleaning 13998 clauses out of 28023 with flag 356757/200305 162.20/79.73 c cleaning 15010 clauses out of 30025 with flag 407399/216305 177.00/87.11 c cleaning 16001 clauses out of 32016 with flag 459149/233306 191.60/94.41 c cleaning 17005 clauses out of 34014 with flag 513655/251305 207.61/102.45 c cleaning 18003 clauses out of 36011 with flag 573355/270307 225.39/111.26 c cleaning 19002 clauses out of 38007 with flag 635679/290306 235.41/116.24 c cleaning 19994 clauses out of 40002 with flag 708888/311306 243.02/120.03 c cleaning 20994 clauses out of 42008 with flag 786349/333306 253.00/125.08 c cleaning 21999 clauses out of 44014 with flag 891901/356306 262.00/129.54 c cleaning 23003 clauses out of 46015 with flag 994417/380306 274.94/135.90 c cleaning 24003 clauses out of 48011 with flag 1109789/405306 287.54/142.27 c cleaning 24991 clauses out of 50007 with flag 1227077/431305 300.35/148.66 c cleaning 25997 clauses out of 52016 with flag 1324900/458305 313.74/155.34 c cleaning 26998 clauses out of 54019 with flag 1466409/486305 332.21/164.81 c cleaning 27992 clauses out of 56022 with flag 1593985/515306 350.82/174.19 c cleaning 29001 clauses out of 58029 with flag 1737658/545305 370.42/183.96 c cleaning 29996 clauses out of 60028 with flag 1868052/576305 385.26/191.34 c cleaning 31010 clauses out of 62033 with flag 2006622/608306 401.46/199.49 c cleaning 31994 clauses out of 64021 with flag 2156728/641305 416.06/206.73 c cleaning 32997 clauses out of 66026 with flag 2310530/675305 429.87/213.65 c cleaning 34012 clauses out of 68030 with flag 2426277/710306 441.95/219.60 c And the winner is solver0 441.95/219.74 c Got one! Elapsed wall clock time (in seconds):219.623 441.95/219.74 o 262172 446.16/221.98 c cleaning 34650 clauses out of 69317 with flag 17077/745606 451.18/224.50 c cleaning 20320 clauses out of 40666 with flag 36424/751605 456.77/227.22 c cleaning 13663 clauses out of 27345 with flag 58312/758604 462.26/229.99 c cleaning 10826 clauses out of 21682 with flag 82984/766604 467.45/232.55 c cleaning 9919 clauses out of 19856 with flag 117878/775604 472.85/235.22 c cleaning 9964 clauses out of 19938 with flag 138861/785605 479.95/238.78 c cleaning 10483 clauses out of 20975 with flag 163754/796606 485.93/241.80 c cleaning 11237 clauses out of 22491 with flag 216790/808605 493.53/245.60 c cleaning 12111 clauses out of 24253 with flag 267174/821604 500.53/249.01 c cleaning 13062 clauses out of 26142 with flag 332264/835604 509.99/253.77 c cleaning 14028 clauses out of 28080 with flag 400935/850604 519.97/258.75 c cleaning 15011 clauses out of 30052 with flag 477902/866604 529.77/263.68 c cleaning 16003 clauses out of 32042 with flag 553779/883605 540.38/268.96 c cleaning 17000 clauses out of 34039 with flag 643499/901605 551.68/274.52 c cleaning 18009 clauses out of 36040 with flag 733153/920606 563.28/280.32 c cleaning 18991 clauses out of 38029 with flag 831436/940604 576.47/286.97 c cleaning 20003 clauses out of 40040 with flag 942553/961606 590.19/293.71 c cleaning 20999 clauses out of 42035 with flag 1045403/983604 605.18/301.24 c cleaning 22006 clauses out of 44038 with flag 1158131/1006606 622.94/310.01 c cleaning 23000 clauses out of 46031 with flag 1281231/1030605 640.53/318.80 c cleaning 23995 clauses out of 48030 with flag 1411559/1055604 659.59/328.38 c cleaning 25000 clauses out of 50036 with flag 1548200/1081605 679.18/338.13 c cleaning 26003 clauses out of 52035 with flag 1700952/1108604 700.28/348.61 c cleaning 27002 clauses out of 54032 with flag 1861151/1136604 716.36/356.64 c cleaning 28000 clauses out of 56030 with flag 1996358/1165604 730.16/363.56 c cleaning 29011 clauses out of 58030 with flag 2139320/1195605 746.31/371.54 c cleaning 30002 clauses out of 60018 with flag 2256566/1226604 762.32/379.57 c cleaning 30998 clauses out of 62017 with flag 2385489/1258605 784.71/390.79 c cleaning 32006 clauses out of 64018 with flag 2477786/1291604 808.91/402.89 c cleaning 33001 clauses out of 66012 with flag 2550669/1325604 838.09/417.30 c cleaning 33996 clauses out of 68012 with flag 2631427/1360605 876.89/436.77 c cleaning 34994 clauses out of 70016 with flag 2716896/1396605 889.83/443.12 c cleaning 35997 clauses out of 72023 with flag 2795948/1433606 906.02/451.24 c cleaning 36995 clauses out of 74024 with flag 2877513/1471604 920.82/458.67 c cleaning 37997 clauses out of 76029 with flag 2960183/1510604 939.37/467.81 c cleaning 39001 clauses out of 78033 with flag 3042763/1550605 954.58/475.42 c cleaning 40001 clauses out of 80031 with flag 3124762/1591604 975.14/485.64 c cleaning 41005 clauses out of 82033 with flag 3208768/1633607 996.35/496.23 c cleaning 42002 clauses out of 84025 with flag 3294762/1676604 1020.26/508.69 c cleaning 42999 clauses out of 86027 with flag 3388600/1720608 1048.13/522.57 c cleaning 43994 clauses out of 88024 with flag 3485440/1765604 1077.59/537.28 c cleaning 44996 clauses out of 90030 with flag 3582141/1811604 1099.25/548.06 c cleaning 45975 clauses out of 92035 with flag 3840927/1858605 1130.73/563.74 c cleaning 46994 clauses out of 94059 with flag 4253160/1906604 1164.28/580.49 c cleaning 47998 clauses out of 96065 with flag 4684914/1955604 1198.68/597.54 c cleaning 48988 clauses out of 98069 with flag 5094249/2005606 1232.32/614.25 c cleaning 50003 clauses out of 100081 with flag 5512110/2056606 1269.19/632.54 c cleaning 51019 clauses out of 102076 with flag 5863883/2108605 1298.48/647.10 c cleaning 52011 clauses out of 104054 with flag 6012446/2161604 1342.97/669.25 c cleaning 53003 clauses out of 106043 with flag 6146650/2215604 1384.94/690.12 c cleaning 54005 clauses out of 108042 with flag 6277068/2270606 1428.86/712.01 c cleaning 55002 clauses out of 110035 with flag 6406187/2326604 1471.23/733.17 c cleaning 56003 clauses out of 112033 with flag 6520354/2383604 1528.23/762.30 c cleaning 57001 clauses out of 114030 with flag 6637946/2441604 1571.33/783.78 c cleaning 57995 clauses out of 116031 with flag 6770598/2500606 1622.26/809.11 c cleaning 58995 clauses out of 118035 with flag 6905979/2560605 1689.52/842.67 c cleaning 60001 clauses out of 120040 with flag 7043577/2621605 1754.04/874.79 c cleaning 61004 clauses out of 122039 with flag 7184868/2683605 1800.16/897.61 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.16/897.61 c starts : 4011 1800.16/897.61 c conflicts : 2728940 1800.16/897.61 c decisions : 5189402 1800.16/897.61 c propagations : 126182220 1800.16/897.61 c inspects : 11645093072 1800.16/897.61 c shortcuts : 0 1800.16/897.61 c learnt literals : 13 1800.16/897.61 c learnt binary clauses : 52 1800.16/897.61 c learnt ternary clauses : 119 1800.16/897.61 c learnt constraints : 2728927 1800.16/897.61 c ignored constraints : 0 1800.16/897.61 c root simplifications : 0 1800.16/897.61 c removed literals (reason simplification) : 7295585 1800.16/897.61 c reason swapping (by a shorter reason) : 0 1800.16/897.61 c Calls to reduceDB : 98 1800.16/897.61 c Number of update (reduction) of LBD : 533514 1800.16/897.61 c Imported unit clauses : 0 1800.16/897.61 c number of reductions to clauses (during analyze) : 0 1800.16/897.61 c number of learned constraints concerned by reduction : 0 1800.16/897.61 c number of learning phase by resolution : 0 1800.16/897.61 c number of learning phase by cutting planes : 0 1800.16/897.61 c speed (assignments/second) : 140686.89855402103 1800.16/897.61 c non guided choices 42662 1800.16/897.63 c learnt constraints type 1800.16/897.63 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 52 1800.16/897.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106318 1800.16/897.63 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.16/897.63 c starts : 42 1800.16/897.63 c conflicts : 8632 1800.16/897.63 c decisions : 86714 1800.16/897.63 c propagations : 562329 1800.16/897.63 c inspects : 189080758 1800.16/897.63 c shortcuts : 0 1800.16/897.63 c learnt literals : 0 1800.16/897.63 c learnt binary clauses : 0 1800.16/897.63 c learnt ternary clauses : 0 1800.16/897.63 c learnt constraints : 8630 1800.16/897.63 c ignored constraints : 0 1800.16/897.63 c root simplifications : 0 1800.16/897.63 c removed literals (reason simplification) : 0 1800.16/897.63 c reason swapping (by a shorter reason) : 0 1800.16/897.63 c Calls to reduceDB : 1 1800.16/897.63 c Number of update (reduction) of LBD : 0 1800.16/897.63 c Imported unit clauses : 0 1800.16/897.63 c number of reductions to clauses (during analyze) : 0 1800.16/897.63 c number of learned constraints concerned by reduction : 0 1800.16/897.63 c number of learning phase by resolution : 0 1800.16/897.63 c number of learning phase by cutting planes : 0 1800.16/897.63 c speed (assignments/second) : 830.0463343601976 1800.16/897.63 c non guided choices 0 1800.16/897.64 c learnt constraints type 1800.16/897.64 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 108 1800.16/897.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8522 1800.16/897.64 s SATISFIABLE 1800.16/897.64 c Found 2 solution(s) 1800.16/897.65 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 x944 x945 x946 x947 x948 x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 -x963 -x964 x965 x966 x967 x968 x969 -x970 x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 x1104 x1105 x1106 -x1107 -x1108 -x1109 x1110 x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 x1123 x1124 -x1125 -x1126 -x1127 -x1128 x1129 x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 x1187 x1188 x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 x1324 -x1325 x1326 x1327 x1328 x1329 -x1330 -x1331 x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 -x1402 x1403 x1404 -x1405 -x1406 x1407 x1408 x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 x1763 x1764 -x1765 x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 x2225 x2226 -x2227 -x2228 x2229 x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 x2286 -x2287 x2288 -x2289 x2290 x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 x2306 -x2307 x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 x2347 x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 x2681 -x2682 -x2683 x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 -x2982 x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 x3154 x3155 x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 x3855 x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 x4172 -x4173 x4174 x4175 -x4176 -x4177 x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375 x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 x4780 x4781 x4782 x4783 -x4784 x4785 x4786 -x4787 x4788 x4789 x4790 x4791 x4792 -x4793 x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 x4812 -x4813 -x4814 x4815 x4816 -x4817 -x4818 -x4819 x4820 x4821 x4822 x4823 x4824 x4825 -x4826 -x4827 x4828 x4829 -x4830 x4831 -x4832 -x4833 x4834 -x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 x5088 x5089 -x5090 x5091 x5092 x5093 -x5094 x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 x5368 x5369 -x5370 -x5371 x5372 x5373 x5374 -x5375 -x5376 -x5377 x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 x5412 -x5413 -x5414 x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 -x5445 -x5446 -x5447 x5448 -x5449 -x5450 -x5451 -x5452 -x5453 x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 -x5556 -x5557 x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 x5784 -x5785 -x5786 -x5787 x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 x5894 -x5895 x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 x6446 x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 x6596 x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 x6687 -x6688 x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 -x6792 -x6793 x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 x6882 x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 x7166 x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 x7182 -x7183 x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 x7257 -x7258 x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 x7286 x7287 x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 x7391 x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 x7496 x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 x7601 x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 x7736 x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 x7946 -x7947 x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 x8036 x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 x8486 x8487 x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 x8516 -x8517 x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 x8561 -x8562 x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 x8606 x8607 x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 x8631 -x8632 x8633 -x8634 -x8635 x8636 -x8637 x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 x8648 -x8649 -x8650 -x8651 -x8652 x8653 -x8654 -x8655 x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 x8669 -x8670 -x8671 -x8672 -x8673 x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 x8682 -x8683 -x8684 -x8685 x8686 -x8687 x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 x8703 -x8704 -x8705 -x8706 -x8707 -x8708 x8709 -x8710 -x8711 x8712 -x8713 -x8714 x8715 x8716 -x8717 -x8718 x8719 -x8720 -x8721 x8722 -x8723 -x8724 -x8725 x8726 -x8727 -x8728 x8729 -x8730 -x8731 x8732 -x8733 -x8734 -x8735 x8736 -x8737 -x8738 -x8739 x8740 -x8741 -x8742 -x8743 -x8744 -x8745 x8746 -x8747 -x8748 -x8749 -x8750 x8751 -x8752 -x8753 x8754 -x8755 x8756 x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 x8764 -x8765 -x8766 x8767 -x8768 x8769 -x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 x8801 -x8802 x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 x8818 -x8819 -x8820 -x8821 x8822 x8823 -x8824 -x8825 x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 x8839 -x8840 x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 x8852 -x8853 -x8854 -x8855 x8856 x8857 -x8858 -x8859 x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 x8871 -x8872 x8873 x8874 x8875 x8876 x8877 x8878 x8879 x8880 x8881 x8882 x8883 x8884 x8885 x8886 x8887 x8888 x8889 x8890 x8891 x8892 x8893 x8894 x8895 x8896 x8897 x8898 x8899 x8900 x8901 -x8902 1800.16/897.66 c objective function=262172 1800.16/897.66 c Total wall clock time (in seconds): 897.541
OK 262172
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4100426-1466209715/watcher-4100426-1466209715 -o /tmp/evaluation-result-4100426-1466209715/solver-4100426-1466209715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7345 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100426-1466209715.opb pid=10238 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.24 4.24 4.15 5/198 10241 /proc/meminfo: memFree=27682520/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/10241/stat : 10241 (java) R 10238 10241 7329 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 23017394 9515008 185 33554432000 1073741824 1073778376 140736495159232 140736495148296 215115460394 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 5149 188 144 9 0 128 0 [startup+0.100061 s] /proc/loadavg: 4.24 4.24 4.15 5/198 10241 /proc/meminfo: memFree=27682520/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 4391 0 1 0 8 1 0 0 20 0 18 0 23017394 9787879424 6028 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2389619 6028 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200527 s] /proc/loadavg: 4.24 4.24 4.15 5/198 10241 /proc/meminfo: memFree=27682520/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9558476 CPUtime=0.25 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 4692 0 1 0 24 1 0 0 20 0 18 0 23017394 9787879424 7288 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2389619 7288 2205 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300225 s] /proc/loadavg: 4.24 4.24 4.15 5/198 10241 /proc/meminfo: memFree=27682520/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9558476 CPUtime=0.52 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 5785 0 1 0 50 2 0 0 20 0 18 0 23017394 9787879424 10474 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2389619 10474 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558476 [startup+0.700187 s] /proc/loadavg: 4.24 4.24 4.15 5/198 10241 /proc/meminfo: memFree=27682520/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9691604 CPUtime=1.58 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 16476 0 1 0 153 5 0 0 20 0 20 0 23017394 9924202496 35474 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2422901 35474 2266 9 0 2413578 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9691604 [startup+1.50086 s] /proc/loadavg: 4.24 4.24 4.15 6/220 10263 /proc/meminfo: memFree=27525616/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9824732 CPUtime=4.23 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 18861 0 1 0 416 7 0 0 20 0 22 0 23017394 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2456183 49063 2285 9 0 2446860 0 [pid=10241/tid=10243] ppid=10238 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/10241/task/10243/stat : 10243 (java) S 10238 10241 7329 0 -1 4202560 2460 0 1 0 60 3 0 0 20 0 22 0 23017395 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747201569656 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10244] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10244/stat : 10244 (java) S 10238 10241 7329 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747045403560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10245] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10245/stat : 10245 (java) S 10238 10241 7329 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747044351016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10246] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10246/stat : 10246 (java) S 10238 10241 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747043297960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10247] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10247/stat : 10247 (java) S 10238 10241 7329 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747042245416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10248] ppid=10238 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/10241/task/10248/stat : 10248 (java) S 10238 10241 7329 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747041192360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10249] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10249/stat : 10249 (java) S 10238 10241 7329 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747040139816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10250] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10250/stat : 10250 (java) S 10238 10241 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747039086760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10251] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10251/stat : 10251 (java) S 10238 10241 7329 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23017396 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139747038034216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10252] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10252/stat : 10252 (java) S 10238 10241 7329 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23017397 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746555706216 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10253] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10253/stat : 10253 (java) S 10238 10241 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746554652536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10254] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10254/stat : 10254 (java) S 10238 10241 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746553599368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10255] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10255/stat : 10255 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746552548112 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10256] ppid=10238 vsize=9824732 CPUtime=0.94 cores=0,2,4,6 /proc/10241/task/10256/stat : 10256 (java) S 10238 10241 7329 0 -1 4202560 9421 0 0 0 92 2 0 0 20 0 22 0 23017400 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746551494968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10257] ppid=10238 vsize=9824732 CPUtime=0.96 cores=0,2,4,6 /proc/10241/task/10257/stat : 10257 (java) R 10238 10241 7329 0 -1 4202560 5519 0 0 0 96 0 0 0 20 0 22 0 23017400 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746550442304 139747205655642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10258] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10258/stat : 10258 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746549389560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10259] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10259/stat : 10259 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746548337224 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10260] ppid=10238 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/10241/task/10260/stat : 10260 (java) R 10238 10241 7329 0 -1 4202560 22 0 0 0 76 0 0 0 20 0 22 0 23017461 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746547281000 139747046201716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10261] ppid=10238 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/10241/task/10261/stat : 10261 (java) R 10238 10241 7329 0 -1 4202560 45 0 0 0 78 0 0 0 20 0 22 0 23017461 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746546229800 139747046447245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10262] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10262/stat : 10262 (java) S 10238 10241 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23017466 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746545177896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10263] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10263/stat : 10263 (java) S 10238 10241 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23017466 10060525568 49063 33554432000 1073741824 1073778376 140736495159232 139746544125352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 9824732 [startup+3.1063 s] /proc/loadavg: 4.22 4.23 4.15 6/220 10263 /proc/meminfo: memFree=27447856/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9824732 CPUtime=8.08 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 19800 0 1 0 789 19 0 0 20 0 22 0 23017394 10060525568 93599 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2456183 93599 2286 9 0 2446860 0 [pid=10241/tid=10243] ppid=10238 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/10241/task/10243/stat : 10243 (java) S 10238 10241 7329 0 -1 4202560 2460 0 1 0 60 3 0 0 20 0 22 0 23017395 10060525568 93599 33554432000 1073741824 1073778376 140736495159232 139747201569656 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10244] ppid=10238 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/10241/task/10244/stat : 10244 (java) R 10238 10241 7329 0 -1 4202560 117 0 0 0 1 0 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747045403736 139747204040401 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10245] ppid=10238 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/10241/task/10245/stat : 10245 (java) R 10238 10241 7329 0 -1 4202560 129 0 0 0 3 2 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747044351016 139747204040377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10246] ppid=10238 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/10241/task/10246/stat : 10246 (java) S 10238 10241 7329 0 -1 4202560 59 0 0 0 2 0 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747043297960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10247] ppid=10238 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/10241/task/10247/stat : 10247 (java) R 10238 10241 7329 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747042245416 139747204040377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10248] ppid=10238 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/10241/task/10248/stat : 10248 (java) R 10238 10241 7329 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747041192360 139747204040393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10249] ppid=10238 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/10241/task/10249/stat : 10249 (java) R 10238 10241 7329 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747040139992 139747208465092 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10250] ppid=10238 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/10241/task/10250/stat : 10250 (java) R 10238 10241 7329 0 -1 4202560 62 0 0 0 2 0 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747039086760 215127995452 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10251] ppid=10238 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/10241/task/10251/stat : 10251 (java) S 10238 10241 7329 0 -1 4202560 110 0 0 0 4 2 0 0 20 0 22 0 23017396 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139747038034216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10252] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10252/stat : 10252 (java) S 10238 10241 7329 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23017397 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746555705096 215127995452 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10253] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10253/stat : 10253 (java) S 10238 10241 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746554652536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10254] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10254/stat : 10254 (java) S 10238 10241 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746553599368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10255] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10255/stat : 10255 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746552548112 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10256] ppid=10238 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/10241/task/10256/stat : 10256 (java) S 10238 10241 7329 0 -1 4202560 9421 0 0 0 103 2 0 0 20 0 22 0 23017400 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746551494968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10257] ppid=10238 vsize=9824732 CPUtime=1.36 cores=0,2,4,6 /proc/10241/task/10257/stat : 10257 (java) S 10238 10241 7329 0 -1 4202560 5761 0 0 0 136 0 0 0 20 0 22 0 23017400 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746550442424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10258] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10258/stat : 10258 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746549389560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10259] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10259/stat : 10259 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746548337224 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10260] ppid=10238 vsize=9824732 CPUtime=2.26 cores=0,2,4,6 /proc/10241/task/10260/stat : 10260 (java) S 10238 10241 7329 0 -1 4202560 39 0 0 0 226 0 0 0 20 0 22 0 23017461 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746547283016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10261] ppid=10238 vsize=9824732 CPUtime=2.28 cores=0,2,4,6 /proc/10241/task/10261/stat : 10261 (java) S 10238 10241 7329 0 -1 4202560 86 0 0 0 225 3 0 0 20 0 22 0 23017461 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746546229032 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10262] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10262/stat : 10262 (java) S 10238 10241 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23017466 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746545177896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10263] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10263/stat : 10263 (java) S 10238 10241 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23017466 10060525568 94111 33554432000 1073741824 1073778376 140736495159232 139746544125352 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 8.08 Current children cumulated vsize (KiB) 9824732 [startup+6.30089 s] /proc/loadavg: 4.22 4.23 4.15 11/221 10264 /proc/meminfo: memFree=27034064/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9824732 CPUtime=15.24 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 24894 0 1 0 1493 31 0 0 20 0 22 0 23017394 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2456183 162761 2291 9 0 2446860 0 [pid=10241/tid=10243] ppid=10238 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/10241/task/10243/stat : 10243 (java) S 10238 10241 7329 0 -1 4202560 2460 0 1 0 60 3 0 0 20 0 22 0 23017395 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747201569656 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10244] ppid=10238 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/10241/task/10244/stat : 10244 (java) S 10238 10241 7329 0 -1 4202560 129 0 0 0 4 2 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747045403560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10245] ppid=10238 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/10241/task/10245/stat : 10245 (java) S 10238 10241 7329 0 -1 4202560 171 0 0 0 7 3 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747044351016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10246] ppid=10238 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/10241/task/10246/stat : 10246 (java) S 10238 10241 7329 0 -1 4202560 85 0 0 0 4 1 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747043297960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10247] ppid=10238 vsize=9824732 CPUtime=0.1 cores=0,2,4,6 /proc/10241/task/10247/stat : 10247 (java) S 10238 10241 7329 0 -1 4202560 46 0 0 0 7 3 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747042245416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10248] ppid=10238 vsize=9824732 CPUtime=0.08 cores=0,2,4,6 /proc/10241/task/10248/stat : 10248 (java) S 10238 10241 7329 0 -1 4202560 42 0 0 0 6 2 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747041192360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10249] ppid=10238 vsize=9824732 CPUtime=0.11 cores=0,2,4,6 /proc/10241/task/10249/stat : 10249 (java) S 10238 10241 7329 0 -1 4202560 56 0 0 0 8 3 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747040139816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10250] ppid=10238 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/10241/task/10250/stat : 10250 (java) S 10238 10241 7329 0 -1 4202560 106 0 0 0 5 2 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747039086760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10251] ppid=10238 vsize=9824732 CPUtime=0.14 cores=0,2,4,6 /proc/10241/task/10251/stat : 10251 (java) S 10238 10241 7329 0 -1 4202560 132 0 0 0 10 4 0 0 20 0 22 0 23017396 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139747038034216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10252] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10252/stat : 10252 (java) S 10238 10241 7329 0 -1 4202560 456 0 0 0 0 0 0 0 20 0 22 0 23017397 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139746555706216 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10253] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10253/stat : 10253 (java) S 10238 10241 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139746554652536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10254] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10254/stat : 10254 (java) S 10238 10241 7329 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139746553599368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10255] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10255/stat : 10255 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 162761 33554432000 1073741824 1073778376 140736495159232 139746552548112 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10256] ppid=10238 vsize=9824732 CPUtime=1.23 cores=0,2,4,6 ################ # More data... # ################ /proc/10241/task/10251/stat : 10251 (java) S 10238 10241 7329 0 -1 4202560 589 0 0 0 138 18 0 0 20 0 22 0 23017396 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139747038034216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10252] ppid=10238 vsize=9824732 CPUtime=3.27 cores=0,2,4,6 /proc/10241/task/10252/stat : 10252 (java) S 10238 10241 7329 0 -1 4202560 2012 0 0 0 318 9 0 0 20 0 22 0 23017397 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746555706216 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10253] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10253/stat : 10253 (java) S 10238 10241 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746554652536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10254] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10254/stat : 10254 (java) S 10238 10241 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746553599368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10255] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10255/stat : 10255 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746552548112 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10256] ppid=10238 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/10241/task/10256/stat : 10256 (java) S 10238 10241 7329 0 -1 4202560 9428 0 0 0 147 2 0 0 20 0 22 0 23017400 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746551494968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10257] ppid=10238 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/10241/task/10257/stat : 10257 (java) S 10238 10241 7329 0 -1 4202560 12945 0 0 0 234 2 0 0 20 0 22 0 23017400 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746550442424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10258] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10258/stat : 10258 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746549389560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10259] ppid=10238 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/10241/task/10259/stat : 10259 (java) S 10238 10241 7329 0 -1 4202560 47 0 0 0 11 13 0 0 20 0 22 0 23017400 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746548337224 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10262] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10262/stat : 10262 (java) S 10238 10241 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23017466 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746545177896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10346] ppid=10238 vsize=9824732 CPUtime=596.13 cores=0,2,4,6 /proc/10241/task/10346/stat : 10346 (java) R 10238 10241 7329 0 -1 4202560 18 0 0 0 59603 10 0 0 20 0 22 0 23039369 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746547280384 139747046348834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10347] ppid=10238 vsize=9824732 CPUtime=596.12 cores=0,2,4,6 /proc/10241/task/10347/stat : 10347 (java) R 10238 10241 7329 0 -1 4202560 113 0 0 0 59602 10 0 0 20 0 22 0 23039369 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746546228880 139747046742976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10348] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10348/stat : 10348 (java) S 10238 10241 7329 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23039411 10060525568 481802 33554432000 1073741824 1073778376 140736495159232 139746544125608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1648.09 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.25 4.19 4.16 5/221 10364 /proc/meminfo: memFree=25717956/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9824732 CPUtime=1768.74 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 34545 0 1 0 176671 203 0 0 20 0 22 0 23017394 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2456183 448929 2301 9 0 2446860 0 [pid=10241/tid=10243] ppid=10238 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/10241/task/10243/stat : 10243 (java) S 10238 10241 7329 0 -1 4202560 2470 0 1 0 63 5 0 0 20 0 22 0 23017395 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747201569656 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10244] ppid=10238 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/10241/task/10244/stat : 10244 (java) S 10238 10241 7329 0 -1 4202560 614 0 0 0 167 17 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747045403560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10245] ppid=10238 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/10241/task/10245/stat : 10245 (java) S 10238 10241 7329 0 -1 4202560 588 0 0 0 173 15 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747044351016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10246] ppid=10238 vsize=9824732 CPUtime=1.61 cores=0,2,4,6 /proc/10241/task/10246/stat : 10246 (java) S 10238 10241 7329 0 -1 4202560 493 0 0 0 151 10 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747043297960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10247] ppid=10238 vsize=9824732 CPUtime=1.65 cores=0,2,4,6 /proc/10241/task/10247/stat : 10247 (java) S 10238 10241 7329 0 -1 4202560 394 0 0 0 151 14 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747042245416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10248] ppid=10238 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/10241/task/10248/stat : 10248 (java) S 10238 10241 7329 0 -1 4202560 481 0 0 0 147 16 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747041192360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10249] ppid=10238 vsize=9824732 CPUtime=1.78 cores=0,2,4,6 /proc/10241/task/10249/stat : 10249 (java) S 10238 10241 7329 0 -1 4202560 542 0 0 0 160 18 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747040139816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10250] ppid=10238 vsize=9824732 CPUtime=1.74 cores=0,2,4,6 /proc/10241/task/10250/stat : 10250 (java) S 10238 10241 7329 0 -1 4202560 562 0 0 0 160 14 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747039086760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10251] ppid=10238 vsize=9824732 CPUtime=1.73 cores=0,2,4,6 /proc/10241/task/10251/stat : 10251 (java) S 10238 10241 7329 0 -1 4202560 601 0 0 0 155 18 0 0 20 0 22 0 23017396 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139747038034216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10252] ppid=10238 vsize=9824732 CPUtime=3.28 cores=0,2,4,6 /proc/10241/task/10252/stat : 10252 (java) S 10238 10241 7329 0 -1 4202560 2057 0 0 0 318 10 0 0 20 0 22 0 23017397 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746555706216 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10253] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10253/stat : 10253 (java) S 10238 10241 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746554652536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10254] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10254/stat : 10254 (java) S 10238 10241 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746553599368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10255] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10255/stat : 10255 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746552548112 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10256] ppid=10238 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/10241/task/10256/stat : 10256 (java) S 10238 10241 7329 0 -1 4202560 9428 0 0 0 147 2 0 0 20 0 22 0 23017400 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746551494968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10257] ppid=10238 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/10241/task/10257/stat : 10257 (java) S 10238 10241 7329 0 -1 4202560 12945 0 0 0 234 2 0 0 20 0 22 0 23017400 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746550442424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10258] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10258/stat : 10258 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746549389560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10259] ppid=10238 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/10241/task/10259/stat : 10259 (java) S 10238 10241 7329 0 -1 4202560 51 0 0 0 12 14 0 0 20 0 22 0 23017400 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746548337224 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10262] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10262/stat : 10262 (java) S 10238 10241 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23017466 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746545177896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10346] ppid=10238 vsize=9824732 CPUtime=655.6 cores=0,2,4,6 /proc/10241/task/10346/stat : 10346 (java) R 10238 10241 7329 0 -1 4202560 22 0 0 0 65550 10 0 0 20 0 22 0 23039369 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746547281168 139747046348483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10347] ppid=10238 vsize=9824732 CPUtime=655.61 cores=0,2,4,6 /proc/10241/task/10347/stat : 10347 (java) R 10238 10241 7329 0 -1 4202560 116 0 0 0 65551 10 0 0 20 0 22 0 23039369 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746546227952 139747046279092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10348] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10348/stat : 10348 (java) S 10238 10241 7329 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23039411 10060525568 448929 33554432000 1073741824 1073778376 140736495159232 139746544125608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1768.74 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+897.601 s] /proc/loadavg: 4.25 4.19 4.16 6/221 10364 /proc/meminfo: memFree=25744276/32872528 swapFree=1505436/1685308 [pid=10241] ppid=10238 vsize=9824732 CPUtime=1799.53 cores=0,2,4,6 /proc/10241/stat : 10241 (java) S 10238 10241 7329 0 -1 4202496 34708 0 1 0 179745 208 0 0 20 0 22 0 23017394 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 140736495150368 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10241/statm: 2456183 461825 2301 9 0 2446860 0 [pid=10241/tid=10243] ppid=10238 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/10241/task/10243/stat : 10243 (java) S 10238 10241 7329 0 -1 4202560 2470 0 1 0 63 5 0 0 20 0 22 0 23017395 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747201569656 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10244] ppid=10238 vsize=9824732 CPUtime=1.89 cores=0,2,4,6 /proc/10241/task/10244/stat : 10244 (java) S 10238 10241 7329 0 -1 4202560 639 0 0 0 172 17 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747045403560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10245] ppid=10238 vsize=9824732 CPUtime=1.93 cores=0,2,4,6 /proc/10241/task/10245/stat : 10245 (java) S 10238 10241 7329 0 -1 4202560 598 0 0 0 177 16 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747044351016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10246] ppid=10238 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/10241/task/10246/stat : 10246 (java) S 10238 10241 7329 0 -1 4202560 501 0 0 0 157 11 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747043297960 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10247] ppid=10238 vsize=9824732 CPUtime=1.71 cores=0,2,4,6 /proc/10241/task/10247/stat : 10247 (java) S 10238 10241 7329 0 -1 4202560 432 0 0 0 157 14 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747042245416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10248] ppid=10238 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/10241/task/10248/stat : 10248 (java) S 10238 10241 7329 0 -1 4202560 491 0 0 0 152 16 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747041192360 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10249] ppid=10238 vsize=9824732 CPUtime=1.82 cores=0,2,4,6 /proc/10241/task/10249/stat : 10249 (java) S 10238 10241 7329 0 -1 4202560 550 0 0 0 164 18 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747040139816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10250] ppid=10238 vsize=9824732 CPUtime=1.77 cores=0,2,4,6 /proc/10241/task/10250/stat : 10250 (java) S 10238 10241 7329 0 -1 4202560 566 0 0 0 163 14 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747039086760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10251] ppid=10238 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/10241/task/10251/stat : 10251 (java) S 10238 10241 7329 0 -1 4202560 613 0 0 0 161 19 0 0 20 0 22 0 23017396 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139747038034216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10252] ppid=10238 vsize=9824732 CPUtime=3.29 cores=0,2,4,6 /proc/10241/task/10252/stat : 10252 (java) S 10238 10241 7329 0 -1 4202560 2102 0 0 0 319 10 0 0 20 0 22 0 23017397 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746555706216 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10253] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10253/stat : 10253 (java) S 10238 10241 7329 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746554652536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10254] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10254/stat : 10254 (java) S 10238 10241 7329 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23017398 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746553599368 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10255] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10255/stat : 10255 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746552548112 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10241/tid=10256] ppid=10238 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/10241/task/10256/stat : 10256 (java) S 10238 10241 7329 0 -1 4202560 9428 0 0 0 147 2 0 0 20 0 22 0 23017400 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746551494968 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10257] ppid=10238 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/10241/task/10257/stat : 10257 (java) S 10238 10241 7329 0 -1 4202560 12945 0 0 0 234 2 0 0 20 0 22 0 23017400 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746550442424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10258] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10258/stat : 10258 (java) S 10238 10241 7329 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23017400 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746549389560 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10259] ppid=10238 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/10241/task/10259/stat : 10259 (java) S 10238 10241 7329 0 -1 4202560 51 0 0 0 13 14 0 0 20 0 22 0 23017400 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746548337224 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10262] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10262/stat : 10262 (java) S 10238 10241 7329 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23017466 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746545177896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10241/tid=10346] ppid=10238 vsize=9824732 CPUtime=670.74 cores=0,2,4,6 /proc/10241/task/10346/stat : 10346 (java) R 10238 10241 7329 0 -1 4202560 23 0 0 0 67063 11 0 0 20 0 22 0 23039369 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746547281136 139747046309615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10241/tid=10347] ppid=10238 vsize=9824732 CPUtime=670.75 cores=0,2,4,6 /proc/10241/task/10347/stat : 10347 (java) R 10238 10241 7329 0 -1 4202560 118 0 0 0 67064 11 0 0 20 0 22 0 23039369 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746546228160 139747046478150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=10241/tid=10348] ppid=10238 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/10241/task/10348/stat : 10348 (java) S 10238 10241 7329 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23039411 10060525568 461825 33554432000 1073741824 1073778376 140736495159232 139746544125608 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10241 sig 9 ??? kill -10241 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10241 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=99255 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=461625 # CPU time returned by wait4() is 1796.56 # while last known CPU time is 1799.53 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.629993 # lost CPU user time (s): 0.689983 # lost CPU system time (s): -0.0599999 Real time (s): 897.673 CPU time (s): 1800.16 CPU user time (s): 1798.14 CPU system time (s): 2.02 CPU usage (%): 200.536 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.1 system time used= 2.46162 maximum resident set size= 3072544 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34745 page faults= 1 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23164 involuntary context switches= 22774 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.8941 second user time and 7.32289 second system time The end
Begin job on node135 at 2016-06-18 02:28:35 IDJOB=4100426 IDBENCH=1615 IDSOLVER=2543 FILE ID=node135/4100426-1466209715 RUNJOBID= node135-1466206056-7345 PBS_JOBID= 19918142 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100426-1466209715/watcher-4100426-1466209715 -o /tmp/evaluation-result-4100426-1466209715/solver-4100426-1466209715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466206056-7345 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100426-1466209715.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8bdca001a57a76bf3835c82b9bc6a431 RANDOM SEED=1464965062 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 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 cpu MHz : 2667.004 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 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 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 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 cpu MHz : 2667.004 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 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 cpu MHz : 2667.004 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 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 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 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 cpu MHz : 2667.004 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 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 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 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 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 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 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 cpu MHz : 2667.004 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 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 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 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 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 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 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: 32872528 kB MemFree: 27682784 kB Buffers: 40920 kB Cached: 115472 kB SwapCached: 704 kB Active: 2682788 kB Inactive: 111444 kB Active(anon): 2638684 kB Inactive(anon): 1264 kB Active(file): 44104 kB Inactive(file): 110180 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100412 kB Dirty: 1632 kB Writeback: 0 kB AnonPages: 4324124 kB Mapped: 15324 kB Shmem: 0 kB Slab: 569160 kB SReclaimable: 13080 kB SUnreclaim: 556080 kB KernelStack: 1624 kB PageTables: 12388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4962528 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 2766848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node135 at 2016-06-18 02:43:32