Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.5.2 (fixed) | OPT | 5116 | 296.253 | 296.255 |
| Name | /OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand4b919e.cudf.paranoid.opb |
| MD5SUM | 1291befe507875936d488bb8750ed287 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5116 |
| Best CPU time to get the best result obtained on this benchmark | 1.16082 |
| 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 | 5868 |
| Total number of constraints | 26331 |
| Number of constraints which are clauses | 26037 |
| Number of constraints which are cardinality constraints (but not clauses) | 294 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 553 |
| Number of terms in the objective function | 2183 |
| Biggest coefficient in the objective function | 1634 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 901966 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1634 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 901966 |
| 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.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 5.40/5.50 o 525170 5.40/5.50 o 523536 5.40/5.50 o 521902 5.40/5.50 o 517002 5.40/5.50 o 513733 5.40/5.50 o 507194 5.40/5.50 o 505560 5.40/5.50 o 503926 5.40/5.50 o 502291 5.40/5.50 o 500657 5.40/5.50 o 499023 5.40/5.50 o 497389 5.40/5.50 o 495754 5.40/5.50 o 494120 5.40/5.50 o 494119 5.40/5.50 o 490850 5.40/5.50 o 489216 5.40/5.50 o 485947 5.40/5.50 o 484313 5.40/5.50 o 482678 5.40/5.50 o 481047 5.40/5.50 o 479413 5.40/5.50 o 477779 5.40/5.50 o 476144 5.40/5.50 o 474510 5.40/5.50 o 472876 5.40/5.50 o 471242 5.40/5.50 o 469608 5.40/5.50 o 467974 5.40/5.50 o 466340 5.40/5.50 o 464706 5.40/5.50 o 463072 5.40/5.50 o 461438 5.40/5.50 o 458170 5.40/5.50 o 456536 5.40/5.50 o 454901 5.40/5.50 o 453267 5.40/5.50 o 451633 5.40/5.50 o 450000 5.40/5.50 o 448366 5.40/5.50 o 446731 5.40/5.50 o 445097 5.40/5.50 o 443463 5.40/5.50 o 441829 5.40/5.50 o 440195 5.40/5.50 o 438561 5.40/5.50 o 436927 5.40/5.50 o 435293 5.40/5.50 o 433658 5.40/5.50 o 432024 5.40/5.50 o 430390 5.40/5.50 o 428756 5.40/5.50 o 427122 5.40/5.50 o 425488 5.40/5.50 o 423854 5.40/5.50 o 422220 5.40/5.50 o 420586 5.40/5.50 o 418952 5.40/5.50 o 417317 5.40/5.50 o 412413 5.40/5.50 o 410779 5.40/5.50 o 409145 5.40/5.50 o 407511 5.40/5.50 o 405877 5.40/5.50 o 404243 5.40/5.50 o 400975 5.40/5.50 o 399341 5.40/5.50 o 397707 5.40/5.50 o 396073 5.40/5.50 o 396072 5.40/5.50 o 392805 5.40/5.50 o 391171 5.40/5.50 o 389537 5.40/5.50 o 387903 5.40/5.50 o 386269 5.40/5.50 o 384635 5.40/5.50 o 384634 5.40/5.50 o 383000 5.40/5.50 o 381366 5.40/5.50 o 379732 5.40/5.50 o 378098 5.40/5.50 o 371557 5.40/5.50 o 369923 5.40/5.50 o 368289 5.40/5.50 o 366656 5.40/5.50 o 366655 5.40/5.50 o 366654 5.40/5.50 o 365022 5.40/5.50 o 363388 5.40/5.50 o 361754 5.40/5.50 o 360120 5.40/5.50 o 360119 5.40/5.50 o 358499 5.40/5.50 o 356865 5.40/5.50 o 355231 5.40/5.50 o 353598 5.40/5.50 o 351964 5.40/5.50 o 350332 5.40/5.50 o 350331 5.40/5.50 o 350330 5.40/5.50 o 350329 5.40/5.50 o 350328 5.40/5.50 o 348694 5.40/5.50 o 347060 5.40/5.50 o 347059 5.40/5.50 o 347058 5.40/5.50 o 347057 5.40/5.50 o 345423 5.40/5.50 o 343788 5.40/5.50 o 343787 5.40/5.50 o 342153 5.40/5.50 o 342152 5.40/5.50 o 340526 5.40/5.50 o 338892 5.40/5.50 o 338891 5.40/5.50 o 337257 5.40/5.50 o 337256 5.40/5.50 o 337255 5.40/5.50 o 337254 5.40/5.50 o 329080 5.40/5.50 o 327446 5.40/5.50 o 325814 5.40/5.50 o 324186 5.40/5.50 o 324185 5.40/5.50 o 324184 5.40/5.50 o 324183 5.40/5.50 o 324182 5.40/5.50 o 322548 5.40/5.50 o 322547 5.40/5.50 o 322546 5.40/5.50 o 322545 5.40/5.50 o 319276 5.40/5.50 o 317641 5.40/5.50 o 317640 5.40/5.50 o 316006 5.40/5.50 o 316005 5.40/5.50 o 314370 5.40/5.50 o 312739 5.40/5.50 o 312738 5.40/5.50 o 312737 5.40/5.50 o 312736 5.40/5.50 o 312735 5.40/5.50 o 312734 5.40/5.50 o 312733 5.40/5.50 o 312732 5.40/5.50 o 312731 5.40/5.50 o 311096 5.40/5.50 o 307829 5.40/5.50 o 307827 5.40/5.50 o 307826 5.40/5.50 o 307823 5.40/5.50 o 307822 5.40/5.50 o 306187 5.40/5.50 o 304553 5.40/5.50 o 302918 5.40/5.50 o 302917 5.40/5.50 o 302916 5.40/5.50 o 302915 5.40/5.50 o 301281 5.40/5.50 o 301280 5.40/5.50 o 299646 5.40/5.50 o 298012 5.40/5.50 o 296378 5.40/5.50 o 296377 5.40/5.50 o 294742 5.40/5.50 o 293108 5.40/5.50 o 293107 5.40/5.50 o 293106 5.40/5.50 o 293105 5.40/5.50 o 293104 5.40/5.50 o 293103 5.40/5.50 o 291466 5.40/5.50 o 291465 5.40/5.50 o 291464 5.40/5.50 o 291463 5.40/5.50 o 291462 5.40/5.50 o 291461 5.40/5.50 o 289828 5.40/5.50 o 289827 5.40/5.50 o 289826 5.40/5.50 o 289825 5.40/5.50 o 289824 5.40/5.50 o 288191 5.40/5.50 o 288190 5.40/5.50 o 286556 5.40/5.50 o 286555 5.40/5.50 o 284949 5.40/5.50 o 284947 5.40/5.50 o 283317 5.40/5.50 o 283316 5.40/5.50 o 283313 5.40/5.50 o 281689 5.40/5.50 o 281688 5.40/5.50 o 281687 5.40/5.50 o 281684 5.40/5.50 o 280049 5.40/5.50 o 278420 5.40/5.50 o 278418 5.40/5.50 o 278417 5.40/5.50 o 278416 5.40/5.50 o 278415 5.40/5.50 o 276781 5.40/5.50 o 276780 5.40/5.50 o 275146 5.40/5.50 o 275145 5.40/5.50 o 273510 5.40/5.50 o 271880 5.40/5.50 o 271878 5.40/5.50 o 271877 5.40/5.50 o 271876 5.40/5.50 o 271875 5.40/5.50 o 271874 5.40/5.50 o 270244 5.40/5.50 o 270242 5.40/5.50 o 270241 5.40/5.50 o 270240 5.40/5.50 o 270239 5.40/5.50 o 270238 5.40/5.50 o 270237 5.40/5.50 o 270236 5.40/5.50 o 270234 5.40/5.50 o 270233 5.40/5.50 o 266964 5.40/5.50 o 265330 5.40/5.50 o 265329 5.40/5.50 o 265328 5.40/5.50 o 265327 5.40/5.50 o 263692 5.40/5.50 o 262058 5.40/5.50 o 260423 5.40/5.50 o 260422 5.40/5.50 o 260421 5.40/5.50 o 260419 5.40/5.50 o 258787 5.40/5.50 o 257153 5.40/5.50 o 255521 5.40/5.50 o 255520 5.40/5.50 o 255519 5.40/5.50 o 255518 5.40/5.50 o 255517 5.40/5.50 o 253885 5.40/5.50 o 253882 5.40/5.50 o 253881 5.40/5.50 o 253880 5.40/5.50 o 252245 5.40/5.50 o 252244 5.40/5.50 o 252243 5.40/5.50 o 250608 5.40/5.50 o 248977 5.40/5.50 o 247342 5.40/5.50 o 247341 5.40/5.50 o 245707 5.40/5.50 o 244074 5.40/5.50 o 244073 5.40/5.50 o 244072 5.40/5.50 o 235896 5.40/5.50 o 235895 5.40/5.50 o 235894 5.40/5.50 o 235893 5.40/5.50 o 234259 5.40/5.50 o 234258 5.40/5.50 o 234257 5.40/5.50 o 234256 5.40/5.50 o 232622 5.40/5.50 o 232621 5.40/5.50 o 232620 5.40/5.50 o 232619 5.40/5.50 o 232618 5.40/5.50 o 230983 5.40/5.50 o 229349 5.40/5.50 o 229348 5.40/5.50 o 229347 5.40/5.50 o 227713 5.40/5.50 o 227711 5.40/5.50 o 227710 5.40/5.50 o 226075 5.40/5.50 o 224444 5.40/5.50 o 224443 5.40/5.50 o 222807 5.40/5.50 o 222806 5.40/5.50 o 222804 5.40/5.50 o 222803 5.40/5.50 o 221172 5.40/5.50 o 221171 5.40/5.50 o 221170 5.40/5.50 o 221169 5.40/5.50 o 219536 5.40/5.50 o 219535 5.40/5.50 o 219534 5.40/5.50 o 217900 5.40/5.50 o 217899 5.40/5.50 o 217898 5.40/5.50 o 217897 5.40/5.50 o 216264 5.40/5.50 o 216263 5.40/5.50 o 216262 5.40/5.50 o 214630 5.40/5.50 o 214629 5.40/5.50 o 214628 5.40/5.50 o 214627 5.40/5.50 o 214626 5.40/5.50 o 214625 5.40/5.50 o 212996 5.40/5.50 o 212995 5.40/5.50 o 212994 5.40/5.50 o 212992 5.40/5.50 o 212991 5.40/5.50 o 211365 5.40/5.50 o 211364 5.40/5.50 o 211363 5.40/5.50 o 211361 5.40/5.50 o 211358 5.40/5.50 o 211357 5.40/5.50 o 211356 5.40/5.50 o 209723 5.40/5.50 o 209722 5.40/5.50 o 208094 5.40/5.50 o 208091 5.40/5.50 o 208090 5.40/5.50 o 208089 5.40/5.50 o 208088 5.40/5.50 o 208087 5.40/5.50 o 206462 5.40/5.50 o 206461 5.40/5.50 o 206460 5.40/5.50 o 206459 5.40/5.50 o 206458 5.40/5.50 o 206457 5.40/5.50 o 206456 5.40/5.50 o 206454 5.40/5.50 o 206453 5.40/5.50 o 206452 5.40/5.50 o 204821 5.40/5.50 o 204820 5.40/5.50 o 204819 5.40/5.50 o 204818 5.40/5.50 o 204817 5.40/5.50 o 203184 5.40/5.50 o 203183 5.40/5.50 o 201558 5.40/5.50 o 201557 5.40/5.50 o 201556 5.50/5.50 o 201555 5.50/5.50 o 201554 5.50/5.50 o 201550 5.50/5.50 o 201549 5.50/5.50 o 201548 5.50/5.50 o 199919 5.50/5.50 o 199916 5.50/5.50 o 199915 5.50/5.50 o 199914 5.50/5.50 o 199913 5.50/5.50 o 199912 5.50/5.50 o 199911 5.50/5.50 o 198279 5.50/5.50 o 198278 5.50/5.50 o 196653 5.50/5.50 o 196652 5.50/5.50 o 196651 5.50/5.50 o 196650 5.50/5.50 o 196649 5.50/5.50 o 196644 5.50/5.50 o 196643 5.50/5.50 o 195014 5.50/5.50 o 195013 5.50/5.50 o 195011 5.50/5.50 o 195010 5.50/5.50 o 195009 5.50/5.50 o 195008 5.50/5.50 o 193376 5.50/5.50 o 193375 5.50/5.50 o 193374 5.50/5.50 o 193373 5.50/5.50 o 191745 5.50/5.50 o 191744 5.50/5.50 o 191743 5.50/5.50 o 191742 5.50/5.50 o 191741 5.50/5.50 o 191739 5.50/5.50 o 191738 5.50/5.50 o 190113 5.50/5.50 o 190112 5.50/5.50 o 190111 5.50/5.50 o 190109 5.50/5.50 o 190107 5.50/5.50 o 190105 5.50/5.50 o 190104 5.50/5.50 o 190103 5.50/5.50 o 188477 5.50/5.50 o 188475 5.50/5.50 o 188474 5.50/5.50 o 185213 5.50/5.50 o 185212 5.50/5.50 o 185211 5.50/5.50 o 185209 5.50/5.50 o 185204 5.50/5.50 o 183576 5.50/5.50 o 183573 5.50/5.50 o 183572 5.50/5.50 o 183571 5.50/5.50 o 183570 5.50/5.50 o 183569 5.50/5.50 o 181941 5.50/5.50 o 181939 5.50/5.50 o 181938 5.50/5.50 o 181937 5.50/5.50 o 181935 5.50/5.50 o 180309 5.50/5.50 o 180308 5.50/5.50 o 180307 5.50/5.50 o 180306 5.50/5.50 o 180303 5.50/5.50 o 180301 5.50/5.50 o 180300 5.50/5.50 o 180299 5.50/5.50 o 178667 5.50/5.50 o 178666 5.50/5.50 o 178665 5.50/5.50 o 178664 5.50/5.50 o 178663 5.50/5.50 o 178662 5.50/5.50 o 178661 5.50/5.50 o 178660 5.50/5.50 o 177026 5.50/5.50 o 177025 5.50/5.50 o 175395 5.50/5.50 o 175393 5.50/5.50 o 175392 5.50/5.50 o 175391 5.50/5.50 o 173768 5.50/5.50 o 173766 5.50/5.50 o 173765 5.50/5.50 o 173764 5.50/5.50 o 173762 5.50/5.50 o 173758 5.50/5.50 o 173757 5.50/5.50 o 172123 5.50/5.50 o 170496 5.50/5.50 o 170494 5.50/5.50 o 170492 5.50/5.50 o 170491 5.50/5.50 o 170490 5.50/5.50 o 170489 5.50/5.50 o 170488 5.50/5.50 o 170487 5.50/5.50 o 170486 5.50/5.50 o 170485 5.50/5.50 o 170484 5.50/5.50 o 168858 5.50/5.50 o 168857 5.50/5.50 o 168856 5.50/5.50 o 168852 5.50/5.50 o 168851 5.50/5.50 o 168850 5.50/5.50 o 168849 5.50/5.50 o 167224 26.69/26.75 o 167223 26.69/26.75 o 167222 26.69/26.75 o 167221 26.69/26.75 o 167220 26.69/26.75 o 167215 26.69/26.75 o 165581 26.69/26.75 o 163950 26.69/26.75 o 163947 26.69/26.75 o 163946 26.69/26.75 o 162314 26.69/26.75 o 162313 26.69/26.75 o 162312 26.69/26.75 o 160697 26.69/26.75 o 160696 26.69/26.75 o 160695 26.69/26.75 o 160694 26.69/26.75 o 160692 26.69/26.75 o 160691 26.69/26.75 o 159067 26.69/26.75 o 159066 26.69/26.75 o 159065 26.69/26.75 o 159063 26.69/26.75 o 159061 26.69/26.75 o 159060 26.69/26.75 o 159058 26.69/26.75 o 157424 26.69/26.75 o 155800 26.69/26.75 o 155798 26.69/26.75 o 155797 26.69/26.75 o 155796 26.69/26.75 o 155795 26.69/26.75 o 155793 26.69/26.75 o 155792 26.69/26.75 o 154163 26.69/26.75 o 154158 26.69/26.75 o 152528 26.69/26.75 o 152527 26.69/26.75 o 152526 26.69/26.75 o 152524 26.69/26.75 o 152523 26.69/26.75 o 150888 26.69/26.75 o 149262 26.69/26.75 o 149261 26.69/26.75 o 149260 26.69/26.75 o 149259 26.69/26.75 o 149258 26.69/26.75 o 149257 26.69/26.75 o 149256 26.69/26.75 o 149255 26.69/26.75 o 149253 26.69/26.75 o 147620 26.69/26.75 o 147619 26.69/26.75 o 147618 26.69/26.75 o 145984 26.69/26.75 o 145983 26.69/26.75 o 145982 26.69/26.75 o 144351 26.69/26.75 o 144349 26.69/26.75 o 144348 26.69/26.75 o 144347 26.69/26.75 o 142720 26.69/26.75 o 142718 26.69/26.75 o 142717 26.69/26.75 o 142716 26.69/26.75 o 142715 26.69/26.75 o 142714 26.69/26.75 o 142713 26.69/26.75 o 142712 26.69/26.75 o 142711 26.69/26.75 o 142710 26.69/26.75 o 141081 26.69/26.75 o 139449 26.69/26.75 o 139448 26.69/26.75 o 139447 26.69/26.75 o 137819 26.69/26.75 o 137818 26.69/26.75 o 137817 26.69/26.75 o 137816 26.69/26.75 o 137813 26.69/26.75 o 136178 26.69/26.75 o 134544 26.69/26.75 o 134543 26.69/26.75 o 134542 26.69/26.75 o 132907 26.69/26.75 o 131272 26.69/26.75 o 129642 26.69/26.75 o 129640 26.69/26.75 o 129639 26.69/26.75 o 129638 26.69/26.75 o 129637 26.69/26.75 o 129636 26.69/26.75 o 129635 26.69/26.75 o 129634 26.69/26.75 o 127999 26.69/26.75 o 126375 26.69/26.75 o 126371 26.69/26.75 o 126370 26.69/26.75 o 126368 26.69/26.75 o 126367 26.69/26.75 o 126364 26.69/26.75 o 126363 26.69/26.75 o 126362 26.69/26.75 o 126361 26.69/26.75 o 126360 26.69/26.75 o 126357 26.69/26.75 o 124726 26.69/26.75 o 124725 26.69/26.75 o 124724 26.69/26.75 o 123095 26.69/26.75 o 123094 26.69/26.75 o 123093 26.69/26.75 o 123092 26.69/26.75 o 123091 26.69/26.75 o 123090 26.69/26.75 o 123089 26.69/26.75 o 123088 26.69/26.75 o 123087 26.69/26.75 o 121456 26.69/26.75 o 119839 26.69/26.75 o 119838 26.69/26.75 o 119837 26.69/26.75 o 119836 26.69/26.75 o 119833 26.69/26.75 o 119832 26.69/26.75 o 119831 26.69/26.75 o 119830 26.69/26.75 o 119829 26.69/26.75 o 119828 26.69/26.75 o 119827 26.69/26.75 o 119826 26.69/26.75 o 119825 26.69/26.75 o 119824 26.69/26.75 o 119823 26.69/26.75 o 119822 26.69/26.75 o 119821 26.69/26.75 o 118193 26.69/26.75 o 118192 26.69/26.75 o 118190 26.69/26.75 o 116556 26.69/26.75 o 114928 26.69/26.75 o 114927 26.69/26.75 o 114925 26.69/26.75 o 114924 26.69/26.75 o 114923 26.69/26.75 o 114922 26.69/26.75 o 113297 26.69/26.75 o 113296 26.69/26.75 o 113295 26.69/26.75 o 113291 26.69/26.75 o 113290 26.69/26.75 o 113289 26.69/26.75 o 113288 26.69/26.75 o 113287 26.69/26.75 o 113286 26.69/26.75 o 113282 26.69/26.75 o 113281 26.69/26.75 o 113280 26.69/26.75 o 113279 26.69/26.75 o 113278 26.69/26.75 o 113277 26.69/26.75 o 113275 26.69/26.75 o 113274 26.69/26.75 o 113273 26.69/26.75 o 113272 26.69/26.75 o 111650 26.69/26.75 o 111649 26.69/26.75 o 111648 26.69/26.75 o 111647 26.69/26.75 o 111642 26.69/26.75 o 111641 26.69/26.75 o 111640 26.69/26.75 o 111639 26.69/26.75 o 111638 26.69/26.75 o 111637 26.69/26.75 o 110020 26.69/26.75 o 110019 26.69/26.75 o 110018 26.69/26.75 o 110017 26.69/26.75 o 110016 26.69/26.75 o 110015 26.69/26.75 o 110014 26.69/26.75 o 110013 26.69/26.75 o 110012 26.69/26.75 o 110006 26.69/26.75 o 110005 26.69/26.75 o 110004 26.69/26.75 o 110003 26.69/26.75 o 108394 26.69/26.75 o 108393 26.69/26.75 o 108389 26.69/26.75 o 108388 26.69/26.75 o 108387 26.69/26.75 o 108386 26.69/26.75 o 108385 26.69/26.75 o 108384 26.69/26.75 o 108379 26.69/26.75 o 108378 26.69/26.75 o 108377 26.69/26.75 o 108376 26.69/26.75 o 108375 26.69/26.75 o 108374 26.69/26.75 o 108373 26.69/26.75 o 108372 26.69/26.75 o 108371 26.69/26.75 o 108370 26.69/26.75 o 108369 26.69/26.75 o 108368 26.69/26.75 o 108367 26.69/26.75 o 108366 26.69/26.75 o 106738 26.69/26.75 o 106737 26.69/26.75 o 106736 26.69/26.75 o 106735 26.69/26.75 o 106734 26.69/26.75 o 106733 26.69/26.75 o 106732 26.69/26.75 o 105111 26.69/26.75 o 105110 26.69/26.75 o 105109 26.69/26.75 o 105108 26.69/26.75 o 105107 26.69/26.75 o 105106 26.69/26.75 o 105105 26.69/26.75 o 105104 26.69/26.75 o 105103 26.69/26.75 o 105102 26.69/26.75 o 103470 26.69/26.75 o 103469 26.69/26.75 o 103468 26.69/26.75 o 103467 26.69/26.75 o 103466 26.69/26.75 o 103465 26.69/26.75 o 103464 26.69/26.75 o 101839 26.69/26.75 o 101838 26.69/26.75 o 101837 26.69/26.75 o 101836 26.69/26.75 o 101834 26.69/26.75 o 101833 26.69/26.75 o 101832 26.69/26.75 o 101831 26.69/26.75 o 101830 26.69/26.75 o 101829 26.69/26.75 o 101828 26.69/26.75 o 101827 26.69/26.75 o 100197 26.69/26.75 o 100196 26.69/26.75 o 100195 26.69/26.75 o 100194 26.69/26.75 o 100193 26.69/26.75 o 100192 26.69/26.75 o 98576 26.69/26.75 o 98575 26.69/26.75 o 98574 26.69/26.75 o 98573 26.69/26.75 o 98572 26.69/26.75 o 98571 26.69/26.75 o 98570 26.69/26.75 o 98569 26.69/26.75 o 98568 26.69/26.75 o 98567 26.69/26.75 o 98566 26.69/26.75 o 98565 26.69/26.75 o 98564 26.69/26.75 o 98563 26.69/26.75 o 98562 26.69/26.75 o 98561 26.69/26.75 o 98560 26.69/26.75 o 98559 26.69/26.75 o 98557 26.69/26.75 o 98556 26.69/26.75 o 98555 26.69/26.75 o 98554 26.69/26.75 o 98553 26.69/26.75 o 97015 26.69/26.75 o 97014 26.69/26.75 o 97013 26.69/26.75 o 97012 26.69/26.75 o 97011 26.69/26.75 o 97010 26.69/26.75 o 97008 26.69/26.75 o 97007 26.69/26.75 o 97006 26.69/26.75 o 97005 26.69/26.75 o 97004 26.69/26.75 o 97003 26.69/26.75 o 97002 26.69/26.75 o 97001 26.69/26.75 o 97000 26.69/26.75 o 96999 26.69/26.75 o 96998 26.69/26.75 o 96997 26.69/26.75 o 96996 26.69/26.75 o 96995 26.69/26.75 o 96994 26.69/26.75 o 96993 26.69/26.75 o 96992 26.69/26.75 o 96991 26.69/26.75 o 96990 26.69/26.75 o 95363 26.69/26.75 o 95362 26.69/26.75 o 95361 26.69/26.75 o 95360 26.69/26.75 o 95359 26.69/26.75 o 95358 26.69/26.75 o 95357 26.69/26.75 o 95356 26.69/26.75 o 95355 26.69/26.75 o 93740 26.69/26.75 o 93739 26.69/26.75 o 93738 26.69/26.75 o 93737 26.69/26.75 o 93736 26.69/26.75 o 93735 26.69/26.75 o 93734 26.69/26.75 o 93733 26.69/26.75 o 93732 26.69/26.75 o 93731 26.69/26.75 o 93730 26.69/26.75 o 93729 26.69/26.75 o 93728 26.69/26.75 o 93727 26.69/26.75 o 93726 26.69/26.75 o 93725 26.69/26.75 o 93724 26.69/26.75 o 92106 26.69/26.75 o 92104 26.69/26.75 o 92103 26.69/26.75 o 92102 26.69/26.75 o 92097 26.69/26.75 o 92096 26.69/26.75 o 92095 26.69/26.75 o 92094 26.69/26.75 o 92093 26.69/26.75 o 92092 26.69/26.75 o 92091 26.69/26.75 o 92090 26.69/26.75 o 92089 26.69/26.75 o 92088 26.69/26.75 o 92087 26.69/26.75 o 92086 26.69/26.75 o 92085 26.69/26.75 o 92084 26.69/26.75 o 90459 26.69/26.75 o 90458 26.69/26.75 o 90456 26.69/26.75 o 90455 26.69/26.75 o 90454 26.69/26.75 o 90453 26.69/26.75 o 90452 26.69/26.75 o 90451 26.69/26.75 o 90450 26.69/26.75 o 90449 26.69/26.75 o 88833 26.69/26.75 o 88831 26.69/26.75 o 88830 26.69/26.75 o 88829 26.69/26.75 o 88828 26.69/26.75 o 88827 26.69/26.75 o 88826 26.69/26.75 o 88825 26.69/26.75 o 88824 26.69/26.75 o 88823 26.69/26.75 o 88822 26.69/26.75 o 87200 26.69/26.75 o 87199 26.69/26.75 o 87198 26.69/26.75 o 87197 26.69/26.75 o 87196 26.69/26.75 o 87195 26.69/26.75 o 87194 26.69/26.75 o 87193 26.69/26.75 o 87192 26.69/26.75 o 87191 26.69/26.75 o 87187 26.69/26.75 o 87186 26.69/26.75 o 87185 26.69/26.75 o 87184 26.69/26.75 o 87183 26.69/26.75 o 85558 26.69/26.75 o 85551 26.69/26.75 o 85550 26.69/26.75 o 85549 26.69/26.75 o 85548 26.69/26.75 o 85547 26.69/26.75 o 85546 26.69/26.75 o 85545 26.69/26.75 o 85544 26.69/26.75 o 83909 26.69/26.75 o 83908 26.69/26.75 o 83907 26.69/26.75 o 83906 26.69/26.75 o 83905 26.69/26.75 o 83904 26.69/26.75 o 83903 26.69/26.75 o 83902 26.69/26.75 o 82277 26.69/26.75 o 82276 26.69/26.75 o 82275 26.69/26.75 o 82274 26.69/26.75 o 82273 26.69/26.75 o 82272 26.69/26.75 o 82271 26.69/26.75 o 82270 26.69/26.75 o 82269 26.69/26.75 o 82268 26.69/26.75 o 80638 26.69/26.75 o 80637 26.69/26.75 o 80636 26.69/26.75 o 80635 26.69/26.75 o 80634 26.69/26.75 o 80633 26.69/26.75 o 80632 26.69/26.75 o 79020 26.69/26.75 o 79019 26.69/26.75 o 79018 26.69/26.75 o 79017 26.69/26.75 o 79016 26.69/26.75 o 79015 26.69/26.75 o 79014 26.69/26.75 o 79013 26.69/26.75 o 79012 26.69/26.75 o 79011 26.69/26.75 o 79010 26.69/26.75 o 79009 26.69/26.75 o 79008 26.69/26.75 o 79001 26.69/26.75 o 79000 26.69/26.75 o 78999 26.69/26.75 o 78998 26.69/26.75 o 78997 26.69/26.75 o 78996 26.69/26.75 o 77380 26.69/26.75 o 77379 26.69/26.75 o 77378 26.69/26.75 o 77377 26.69/26.75 o 77375 26.69/26.75 o 77374 26.69/26.75 o 77373 26.69/26.75 o 77372 26.69/26.75 o 77371 26.69/26.75 o 77364 26.69/26.75 o 77363 26.69/26.75 o 77362 26.69/26.75 o 77361 26.69/26.75 o 75736 26.69/26.75 o 75735 26.69/26.75 o 75734 26.69/26.75 o 75733 26.69/26.75 o 75732 26.69/26.75 o 75731 26.69/26.75 o 75730 26.69/26.75 o 75729 26.69/26.75 o 75728 26.69/26.75 o 75727 26.69/26.75 o 75726 26.69/26.75 o 75725 26.69/26.75 o 75724 26.69/26.75 o 74096 26.69/26.75 o 74095 26.69/26.75 o 74094 26.69/26.75 o 74093 26.69/26.75 o 74092 26.69/26.75 o 74091 26.69/26.75 o 74090 26.69/26.75 o 74089 26.69/26.75 o 74088 26.69/26.75 o 72472 26.69/26.75 o 72471 26.69/26.75 o 72470 26.69/26.75 o 72469 26.69/26.75 o 72468 26.69/26.75 o 72466 26.69/26.75 o 72465 26.69/26.75 o 72464 26.69/26.75 o 72463 26.69/26.75 o 72462 26.69/26.75 o 72461 26.69/26.75 o 72460 26.69/26.75 o 70833 153.89/153.99 o 70832 153.89/153.99 o 70831 153.89/153.99 o 70830 153.89/153.99 o 70829 153.89/153.99 o 70828 153.89/153.99 o 70827 153.89/153.99 o 70826 153.89/153.99 o 69201 153.89/153.99 o 69200 153.89/153.99 o 69199 153.89/153.99 o 69198 153.89/153.99 o 69197 153.89/153.99 o 69196 153.89/153.99 o 69195 153.89/153.99 o 69194 153.89/153.99 o 69193 153.89/153.99 o 69192 153.89/153.99 o 67566 153.89/153.99 o 67565 153.89/153.99 o 67564 153.89/153.99 o 67563 153.89/153.99 o 67562 153.89/153.99 o 67561 153.89/153.99 o 67560 153.89/153.99 o 67559 153.89/153.99 o 67558 153.89/153.99 o 65930 153.89/153.99 o 65929 153.89/153.99 o 65928 153.89/153.99 o 65927 153.89/153.99 o 65926 153.89/153.99 o 65925 153.89/153.99 o 65924 153.89/153.99 o 65921 153.89/153.99 o 65920 153.89/153.99 o 65919 153.89/153.99 o 65918 153.89/153.99 o 65917 153.89/153.99 o 65916 153.89/153.99 o 65914 153.89/153.99 o 65913 153.89/153.99 o 64284 153.89/153.99 o 64283 153.89/153.99 o 64282 153.89/153.99 o 64281 153.89/153.99 o 64280 153.89/153.99 o 64279 153.89/153.99 o 64278 153.89/153.99 o 62650 153.89/153.99 o 62649 153.89/153.99 o 62648 153.89/153.99 o 62647 153.89/153.99 o 62646 153.89/153.99 o 62645 153.89/153.99 o 62644 153.89/153.99 o 61016 153.89/153.99 o 61015 153.89/153.99 o 61014 153.89/153.99 o 61013 153.89/153.99 o 61012 153.89/153.99 o 61011 153.89/153.99 o 61010 153.89/153.99 o 61009 153.89/153.99 o 61008 153.89/153.99 o 61007 153.89/153.99 o 61006 153.89/153.99 o 61005 153.89/153.99 o 59377 153.89/153.99 o 59376 153.89/153.99 o 59375 153.89/153.99 o 59374 153.89/153.99 o 59373 153.89/153.99 o 59372 153.89/153.99 o 57755 153.89/153.99 o 57754 153.89/153.99 o 57753 153.89/153.99 o 57752 153.89/153.99 o 57751 153.89/153.99 o 57750 153.89/153.99 o 57749 153.89/153.99 o 57748 153.89/153.99 o 57747 153.89/153.99 o 57746 153.89/153.99 o 57745 153.89/153.99 o 57744 153.89/153.99 o 57743 153.89/153.99 o 57742 153.89/153.99 o 57741 153.89/153.99 o 57740 153.89/153.99 o 57739 153.89/153.99 o 57738 153.89/153.99 o 57737 153.89/153.99 o 56111 153.89/153.99 o 56110 153.89/153.99 o 56109 153.89/153.99 o 56108 153.89/153.99 o 56107 153.89/153.99 o 56106 153.89/153.99 o 56105 153.89/153.99 o 56104 153.89/153.99 o 56103 153.89/153.99 o 56102 153.89/153.99 o 54469 153.89/153.99 o 54466 153.89/153.99 o 52842 153.89/153.99 o 52841 153.89/153.99 o 52840 153.89/153.99 o 52839 153.89/153.99 o 52838 153.89/153.99 o 52837 153.89/153.99 o 52836 153.89/153.99 o 52835 153.89/153.99 o 52834 153.89/153.99 o 52833 153.89/153.99 o 52832 153.89/153.99 o 52831 153.89/153.99 o 52830 153.89/153.99 o 52829 153.89/153.99 o 51201 153.89/153.99 o 51200 153.89/153.99 o 51199 153.89/153.99 o 51198 153.89/153.99 o 51197 153.89/153.99 o 51196 153.89/153.99 o 51195 153.89/153.99 o 51194 153.89/153.99 o 51193 153.89/153.99 o 49560 153.89/153.99 o 49559 153.89/153.99 o 49558 153.89/153.99 o 49557 153.89/153.99 o 49555 153.89/153.99 o 49554 153.89/153.99 o 47926 153.89/153.99 o 47925 153.89/153.99 o 47924 153.89/153.99 o 47923 153.89/153.99 o 47922 153.89/153.99 o 47921 153.89/153.99 o 47920 153.89/153.99 o 47919 153.89/153.99 o 47918 153.89/153.99 o 47917 153.89/153.99 o 46282 153.89/153.99 o 46281 153.89/153.99 o 46280 153.89/153.99 o 46279 153.89/153.99 o 46278 153.89/153.99 o 46277 153.89/153.99 o 44650 153.89/153.99 o 44649 153.89/153.99 o 44648 153.89/153.99 o 44647 153.89/153.99 o 44646 153.89/153.99 o 44645 153.89/153.99 o 44644 153.89/153.99 o 44643 153.89/153.99 o 44642 153.89/153.99 o 44641 153.89/153.99 o 43016 153.89/153.99 o 43015 153.89/153.99 o 43014 153.89/153.99 o 43013 153.89/153.99 o 43012 153.89/153.99 o 43011 153.89/153.99 o 43010 153.89/153.99 o 43009 153.89/153.99 o 43008 153.89/153.99 o 43007 153.89/153.99 o 43006 153.89/153.99 o 41379 153.89/153.99 o 41378 153.89/153.99 o 41377 153.89/153.99 o 41376 153.89/153.99 o 41375 153.89/153.99 o 41374 153.89/153.99 o 41373 153.89/153.99 o 41372 153.89/153.99 o 41371 153.89/153.99 o 41370 153.89/153.99 o 41369 153.89/153.99 o 41368 153.89/153.99 o 41366 153.89/153.99 o 39746 153.89/153.99 o 39745 153.89/153.99 o 39744 153.89/153.99 o 39743 153.89/153.99 o 39742 153.89/153.99 o 39741 153.89/153.99 o 39740 153.89/153.99 o 39739 153.89/153.99 o 39738 153.89/153.99 o 39737 153.89/153.99 o 38107 153.89/153.99 o 38106 153.89/153.99 o 38105 153.89/153.99 o 38104 153.89/153.99 o 38103 153.89/153.99 o 38102 153.89/153.99 o 38101 153.89/153.99 o 38100 153.89/153.99 o 38099 153.89/153.99 o 38098 153.89/153.99 o 36471 153.89/153.99 o 36470 153.89/153.99 o 36469 153.89/153.99 o 36468 153.89/153.99 o 36467 153.89/153.99 o 36466 153.89/153.99 o 36465 153.89/153.99 o 36464 153.89/153.99 o 36463 153.89/153.99 o 36462 153.89/153.99 o 36461 153.89/153.99 o 36460 153.89/153.99 o 34826 153.89/153.99 o 34825 153.89/153.99 o 34824 153.89/153.99 o 34823 153.89/153.99 o 34822 153.89/153.99 o 34821 153.89/153.99 o 34820 153.89/153.99 o 34819 153.89/153.99 o 34818 153.89/153.99 o 33189 153.89/153.99 o 33188 153.89/153.99 o 33187 153.89/153.99 o 33186 153.89/153.99 o 33185 153.89/153.99 o 33184 153.89/153.99 o 31562 153.89/153.99 o 31561 153.89/153.99 o 31560 153.89/153.99 o 31559 153.89/153.99 o 31558 153.89/153.99 o 31557 153.89/153.99 o 31556 153.89/153.99 o 31555 153.89/153.99 o 31554 153.89/153.99 o 31553 153.89/153.99 o 31552 153.89/153.99 o 31551 153.89/153.99 o 31550 153.89/153.99 o 31549 153.89/153.99 o 31548 153.89/153.99 o 31546 153.89/153.99 o 31545 153.89/153.99 o 31544 153.89/153.99 o 31543 153.89/153.99 o 31542 153.89/153.99 o 31541 153.89/153.99 o 31540 153.89/153.99 o 31539 153.89/153.99 o 31538 153.89/153.99 o 31537 153.89/153.99 o 31536 153.89/153.99 o 31535 153.89/153.99 o 31534 153.89/153.99 o 31533 153.89/153.99 o 31532 153.89/153.99 o 31531 153.89/153.99 o 31530 153.89/153.99 o 31529 153.89/153.99 o 29899 153.89/153.99 o 29898 153.89/153.99 o 29897 153.89/153.99 o 29896 153.89/153.99 o 29895 153.89/153.99 o 29894 153.89/153.99 o 29893 153.89/153.99 o 29892 153.89/153.99 o 29891 153.89/153.99 o 29890 153.89/153.99 o 29889 153.89/153.99 o 29888 153.89/153.99 o 29886 153.89/153.99 o 28260 153.89/153.99 o 28259 153.89/153.99 o 28258 153.89/153.99 o 28257 153.89/153.99 o 28256 153.89/153.99 o 28255 153.89/153.99 o 28254 153.89/153.99 o 26628 153.89/153.99 o 26627 153.89/153.99 o 26626 153.89/153.99 o 26625 153.89/153.99 o 26624 153.89/153.99 o 26623 153.89/153.99 o 26622 153.89/153.99 o 26621 153.89/153.99 o 26620 153.89/153.99 o 26619 153.89/153.99 o 26618 153.89/153.99 o 26617 153.89/153.99 o 26616 153.89/153.99 o 26615 153.89/153.99 o 24983 153.89/153.99 o 24981 153.89/153.99 o 23353 153.89/153.99 o 23352 153.89/153.99 o 23351 153.89/153.99 o 23350 153.89/153.99 o 23349 153.89/153.99 o 23348 153.89/153.99 o 23347 153.89/153.99 o 23346 153.89/153.99 o 21726 153.89/153.99 o 21725 153.89/153.99 o 21724 153.89/153.99 o 21723 153.89/153.99 o 21722 153.89/153.99 o 21721 153.89/153.99 o 21720 153.89/153.99 o 21719 153.89/153.99 o 21718 153.89/153.99 o 21717 153.89/153.99 o 21716 153.89/153.99 o 21715 153.89/153.99 o 21714 153.89/153.99 o 21713 153.89/153.99 o 21712 153.89/153.99 o 21711 153.89/153.99 o 20094 153.89/153.99 o 20093 153.89/153.99 o 20092 153.89/153.99 o 20091 153.89/153.99 o 20090 153.89/153.99 o 20089 153.89/153.99 o 20088 153.89/153.99 o 20087 153.89/153.99 o 20086 153.89/153.99 o 20085 153.89/153.99 o 20084 153.89/153.99 o 20083 153.89/153.99 o 20082 153.89/153.99 o 20081 153.89/153.99 o 20080 153.89/153.99 o 20079 153.89/153.99 o 20078 153.89/153.99 o 20077 153.89/153.99 o 20076 153.89/153.99 o 20075 153.89/153.99 o 20074 153.89/153.99 o 18449 153.89/153.99 o 18448 153.89/153.99 o 18447 153.89/153.99 o 18446 153.89/153.99 o 18444 153.89/153.99 o 18443 153.89/153.99 o 18442 153.89/153.99 o 18441 153.89/153.99 o 18440 153.89/153.99 o 18439 153.89/153.99 o 16811 153.89/153.99 o 16809 153.89/153.99 o 16808 153.89/153.99 o 16807 153.89/153.99 o 16806 153.89/153.99 o 16805 153.89/153.99 o 16804 153.89/153.99 o 16803 153.89/153.99 o 16802 153.89/153.99 o 15170 153.89/153.99 o 15169 153.89/153.99 o 15168 153.89/153.99 o 15167 153.89/153.99 o 13538 153.89/153.99 o 13537 153.89/153.99 o 13536 153.89/153.99 o 13535 153.89/153.99 o 13534 153.89/153.99 o 13533 153.89/153.99 o 13532 153.89/153.99 o 13531 153.89/153.99 o 13530 153.89/153.99 o 13529 153.89/153.99 o 13528 153.89/153.99 o 13527 153.89/153.99 o 13526 153.89/153.99 o 13525 153.89/153.99 o 13524 153.89/153.99 o 13523 153.89/153.99 o 13522 153.89/153.99 o 13521 153.89/153.99 o 13509 153.89/153.99 o 13508 153.89/153.99 o 13507 153.89/153.99 o 13506 153.89/153.99 o 13505 153.89/153.99 o 13504 153.89/153.99 o 13503 153.89/153.99 o 13502 153.89/153.99 o 13501 153.89/153.99 o 11869 153.89/153.99 o 11868 153.89/153.99 o 11867 153.89/153.99 o 11866 153.89/153.99 o 10249 153.89/153.99 o 10248 153.89/153.99 o 10247 153.89/153.99 o 10246 153.89/153.99 o 10245 153.89/153.99 o 10244 153.89/153.99 o 10243 153.89/153.99 o 10242 153.89/153.99 o 10241 153.89/153.99 o 10240 153.89/153.99 o 10239 153.89/153.99 o 10238 153.89/153.99 o 10237 153.89/153.99 o 10236 153.89/153.99 o 10235 153.89/153.99 o 10234 153.89/153.99 o 10233 153.89/153.99 o 10232 153.89/153.99 o 10230 153.89/153.99 o 10228 153.89/153.99 o 10227 153.89/153.99 o 10226 153.89/153.99 o 10225 153.89/153.99 o 10224 153.89/153.99 o 10223 153.89/153.99 o 10222 153.89/153.99 o 10221 153.89/153.99 o 10220 153.89/153.99 o 10219 153.89/153.99 o 10218 153.89/153.99 o 10217 153.89/153.99 o 10216 153.89/153.99 o 10215 153.89/153.99 o 10214 153.89/153.99 o 10213 153.89/153.99 o 10212 153.89/153.99 o 10211 153.89/153.99 o 10210 153.89/153.99 o 10209 153.89/153.99 o 10208 153.89/153.99 o 10207 153.89/153.99 o 10206 153.89/153.99 o 10205 153.89/153.99 o 10204 153.89/153.99 o 10203 153.89/153.99 o 10202 153.89/153.99 o 10201 153.89/153.99 o 10200 153.89/153.99 o 10199 153.89/153.99 o 10198 153.89/153.99 o 10197 153.89/153.99 o 10196 153.89/153.99 o 10195 153.89/153.99 o 10194 153.89/153.99 o 10193 153.89/153.99 o 10192 153.89/153.99 o 10191 153.89/153.99 o 10190 153.89/153.99 o 10189 153.89/153.99 o 10188 153.89/153.99 o 10187 153.89/153.99 o 10186 153.89/153.99 o 10185 153.89/153.99 o 10184 153.89/153.99 o 10183 153.89/153.99 o 10182 153.89/153.99 o 10181 153.89/153.99 o 10180 153.89/153.99 o 10179 153.89/153.99 o 10178 153.89/153.99 o 10177 153.89/153.99 o 10176 153.89/153.99 o 10175 153.89/153.99 o 10174 153.89/153.99 o 10173 153.89/153.99 o 10172 153.89/153.99 o 10171 153.89/153.99 o 10170 153.89/153.99 o 10169 153.89/153.99 o 10168 153.89/153.99 o 10167 153.89/153.99 o 10166 153.89/153.99 o 10165 153.89/153.99 o 10164 153.89/153.99 o 10163 153.89/153.99 o 10162 153.89/153.99 o 10161 153.89/153.99 o 10160 153.89/153.99 o 10159 153.89/153.99 o 10158 153.89/153.99 o 10157 153.89/153.99 o 10156 153.89/153.99 o 10155 153.89/153.99 o 10154 153.89/153.99 o 10153 153.89/153.99 o 10152 153.89/153.99 o 10151 153.89/153.99 o 10150 153.89/153.99 o 10149 153.89/153.99 o 10148 153.89/153.99 o 10147 153.89/153.99 o 10145 153.89/153.99 o 10144 153.89/153.99 o 10143 153.89/153.99 o 10142 153.89/153.99 o 10141 153.89/153.99 o 10140 153.89/153.99 o 10139 153.89/153.99 o 10138 153.89/153.99 o 10137 153.89/153.99 o 10136 153.89/153.99 o 10135 153.89/153.99 o 10134 153.89/153.99 o 10133 296.19/296.24 o 10132 296.19/296.24 o 10131 296.19/296.24 o 10130 296.19/296.24 o 10129 296.19/296.24 o 10128 296.19/296.24 o 10127 296.19/296.24 o 10126 296.19/296.24 o 10125 296.19/296.24 o 10124 296.19/296.24 o 10123 296.19/296.24 o 10122 296.19/296.24 o 10121 296.19/296.24 o 10120 296.19/296.24 o 10116 296.19/296.24 o 10115 296.19/296.24 o 10114 296.19/296.24 o 10113 296.19/296.24 o 10112 296.19/296.24 o 10111 296.19/296.24 o 10110 296.19/296.24 o 10109 296.19/296.24 o 10108 296.19/296.24 o 10107 296.19/296.24 o 10106 296.19/296.24 o 10105 296.19/296.24 o 10104 296.19/296.24 o 10103 296.19/296.24 o 10102 296.19/296.24 o 10101 296.19/296.24 o 10100 296.19/296.24 o 10099 296.19/296.24 o 10098 296.19/296.24 o 10097 296.19/296.24 o 10096 296.19/296.24 o 10095 296.19/296.24 o 10094 296.19/296.24 o 10093 296.19/296.24 o 10092 296.19/296.24 o 10091 296.19/296.24 o 10090 296.19/296.24 o 10089 296.19/296.24 o 10088 296.19/296.24 o 10087 296.19/296.24 o 10086 296.19/296.24 o 10085 296.19/296.24 o 10084 296.19/296.24 o 10083 296.19/296.24 o 10082 296.19/296.24 o 10081 296.19/296.24 o 10080 296.19/296.24 o 10079 296.19/296.24 o 10078 296.19/296.24 o 10077 296.19/296.24 o 10076 296.19/296.24 o 10075 296.19/296.24 o 10074 296.19/296.24 o 10073 296.19/296.24 o 10072 296.19/296.24 o 10071 296.19/296.24 o 10070 296.19/296.24 o 10069 296.19/296.24 o 10068 296.19/296.24 o 10067 296.19/296.24 o 10066 296.19/296.24 o 10065 296.19/296.24 o 10064 296.19/296.24 o 10063 296.19/296.24 o 10062 296.19/296.24 o 10061 296.19/296.24 o 10060 296.19/296.24 o 8430 296.19/296.24 o 8429 296.19/296.24 o 8428 296.19/296.24 o 8427 296.19/296.24 o 6806 296.19/296.24 o 6805 296.19/296.24 o 6804 296.19/296.24 o 6803 296.19/296.24 o 6802 296.19/296.24 o 6801 296.19/296.24 o 6800 296.19/296.24 o 6799 296.19/296.24 o 6798 296.19/296.24 o 6797 296.19/296.24 o 6796 296.19/296.24 o 6795 296.19/296.24 o 6794 296.19/296.24 o 6793 296.19/296.24 o 6792 296.19/296.24 o 6791 296.19/296.24 o 6790 296.19/296.24 o 6789 296.19/296.24 o 6788 296.19/296.24 o 6787 296.19/296.24 o 6786 296.19/296.24 o 6785 296.19/296.24 o 6784 296.19/296.24 o 6783 296.19/296.24 o 6782 296.19/296.24 o 6781 296.19/296.24 o 6780 296.19/296.24 o 6779 296.19/296.24 o 6778 296.19/296.24 o 6777 296.19/296.24 o 6776 296.19/296.24 o 6775 296.19/296.24 o 5158 296.19/296.24 o 5157 296.19/296.24 o 5156 296.19/296.24 o 5155 296.19/296.24 o 5154 296.19/296.24 o 5153 296.19/296.24 o 5152 296.19/296.24 o 5151 296.19/296.24 o 5150 296.19/296.24 o 5149 296.19/296.24 o 5148 296.19/296.24 o 5147 296.19/296.24 o 5146 296.19/296.24 o 5145 296.19/296.24 o 5144 296.19/296.24 o 5143 296.19/296.24 o 5142 296.19/296.24 o 5141 296.19/296.24 o 5140 296.19/296.24 o 5139 296.19/296.24 o 5138 296.19/296.24 o 5137 296.19/296.24 o 5136 296.19/296.24 o 5135 296.19/296.24 o 5134 296.19/296.24 o 5133 296.19/296.24 o 5132 296.19/296.24 o 5131 296.19/296.24 o 5130 296.19/296.24 o 5129 296.19/296.24 o 5128 296.19/296.24 o 5127 296.19/296.24 o 5126 296.19/296.24 o 5125 296.19/296.24 o 5124 296.19/296.24 o 5123 296.19/296.24 o 5122 296.19/296.24 o 5121 296.19/296.24 o 5120 296.19/296.24 o 5119 296.19/296.24 o 5118 296.19/296.24 o 5117 296.19/296.24 o 5116 296.19/296.24 s OPTIMUM FOUND 296.19/296.24 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
OK 5116
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3491426-1307786635/watcher-3491426-1307786635 -o /tmp/evaluation-result-3491426-1307786635/solver-3491426-1307786635 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491426-1307786635.opb --verbosity=0 --format=opb --randomseed=624607884 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: 1.99 1.97 1.99 2/177 14974 /proc/meminfo: memFree=31653784/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=7996 CPUtime=0 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 890266293 8187904 452 33554432000 4194304 6720400 140734256268800 18446744073709551615 6068346 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/14974/statm: 1999 452 232 617 0 1373 0 [startup+0.0271669 s] /proc/loadavg: 1.99 1.97 1.99 2/177 14974 /proc/meminfo: memFree=31653784/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=9548 CPUtime=0.02 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 899 0 0 0 2 0 0 0 25 0 1 0 890266293 9777152 851 33554432000 4194304 6720400 140734256268800 18446744073709551615 5256605 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 2387 851 232 617 0 1761 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9548 [startup+0.101186 s] /proc/loadavg: 1.99 1.97 1.99 2/177 14974 /proc/meminfo: memFree=31653784/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=14316 CPUtime=0.09 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 2082 0 0 0 9 0 0 0 25 0 1 0 890266293 14659584 2034 33554432000 4194304 6720400 140734256268800 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 3579 2035 232 617 0 2953 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14316 [startup+0.301159 s] /proc/loadavg: 1.99 1.97 1.99 2/177 14974 /proc/meminfo: memFree=31653784/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=43572 CPUtime=0.29 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 9466 0 0 0 28 1 0 0 25 0 1 0 890266293 44617728 9321 33554432000 4194304 6720400 140734256268800 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 10893 9326 246 617 0 10267 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 43572 [startup+0.701078 s] /proc/loadavg: 1.99 1.97 1.99 2/177 14974 /proc/meminfo: memFree=31653784/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=48648 CPUtime=0.69 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 10729 0 0 0 68 1 0 0 25 0 1 0 890266293 49815552 10583 33554432000 4194304 6720400 140734256268800 18446744073709551615 4806125 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 12162 10583 263 617 0 11536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 48648 [startup+1.50096 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14976 /proc/meminfo: memFree=31611884/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=49752 CPUtime=1.49 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 11117 0 0 0 148 1 0 0 25 0 1 0 890266293 50946048 10970 33554432000 4194304 6720400 140734256268800 18446744073709551615 4211564 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 12438 10970 265 617 0 11812 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49752 [startup+3.10066 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14976 /proc/meminfo: memFree=31609280/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=49324 CPUtime=3.09 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 12261 0 0 0 308 1 0 0 25 0 1 0 890266293 50507776 11861 33554432000 4194304 6720400 140734256268800 18446744073709551615 5718119 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 12331 11861 265 617 0 11705 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49324 [startup+6.30102 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14976 /proc/meminfo: memFree=31596556/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=60432 CPUtime=6.29 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 16601 0 0 0 627 2 0 0 25 0 1 0 890266293 61882368 14650 33554432000 4194304 6720400 140734256268800 18446744073709551615 4608942 0 0 4096 17571 0 0 0 17 6 0 0 0 /proc/14974/statm: 15108 14650 265 617 0 14482 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60432 [startup+12.701 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14976 /proc/meminfo: memFree=31573728/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=90628 CPUtime=12.69 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 34134 0 0 0 1265 4 0 0 25 0 1 0 890266293 92803072 20744 33554432000 4194304 6720400 140734256268800 18446744073709551615 4805576 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 22657 20744 265 617 0 22031 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 90628 [startup+25.5007 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14976 /proc/meminfo: memFree=31557220/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=98468 CPUtime=25.49 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 54922 0 0 0 2542 7 0 0 25 0 1 0 890266293 100831232 24136 33554432000 4194304 6720400 140734256268800 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 24617 24136 265 617 0 23991 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 98468 [startup+51.1012 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14977 /proc/meminfo: memFree=31537460/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=117320 CPUtime=51.09 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 113910 0 0 0 5095 14 0 0 25 0 1 0 890266293 120135680 28867 33554432000 4194304 6720400 140734256268800 18446744073709551615 4610378 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 29330 28867 265 617 0 28704 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 117320 [startup+102.306 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14978 /proc/meminfo: memFree=31520052/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=102.3 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 180388 0 0 0 10207 23 0 0 25 0 1 0 890266293 139333632 33403 33554432000 4194304 6720400 140734256268800 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33403 266 617 0 33391 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 136068 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14980 /proc/meminfo: memFree=31518736/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=162.28 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 249578 0 0 0 16196 32 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4820160 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 136068 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14981 /proc/meminfo: memFree=31518820/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=222.28 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 249578 0 0 0 22196 32 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4811734 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 136068 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518512/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=282.29 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 28194 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4804196 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 136068 Solver just ended. Dumping a history of the last processes samples [startup+287.901 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518620/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=287.89 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 28754 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4816316 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 287.89 Current children cumulated vsize (KiB) 136068 [startup+291.101 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518620/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=291.09 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 29074 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 291.09 Current children cumulated vsize (KiB) 136068 [startup+294.301 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518620/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=294.29 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 29394 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4811689 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 294.29 Current children cumulated vsize (KiB) 136068 [startup+295.101 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518620/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=295.09 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 29474 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 295.09 Current children cumulated vsize (KiB) 136068 [startup+295.907 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518620/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=295.9 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 29555 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4803327 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 295.9 Current children cumulated vsize (KiB) 136068 [startup+296.101 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518620/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=296.09 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 29574 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 296.09 Current children cumulated vsize (KiB) 136068 [startup+296.201 s] /proc/loadavg: 1.99 1.97 1.99 3/178 14983 /proc/meminfo: memFree=31518620/32951124 swapFree=67050780/67111528 [pid=14974] ppid=14972 vsize=136068 CPUtime=296.19 cores=0,2,4,6 /proc/14974/stat : 14974 (minisatid) R 14972 14974 14500 0 -1 4202496 266784 0 0 0 29584 35 0 0 25 0 1 0 890266293 139333632 33537 33554432000 4194304 6720400 140734256268800 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/14974/statm: 34017 33537 266 617 0 33391 0 Current children cumulated CPU time (s) 296.19 Current children cumulated vsize (KiB) 136068 Child status: 10 Real time (s): 296.255 CPU time (s): 296.253 CPU user time (s): 295.894 CPU system time (s): 0.358945 CPU usage (%): 99.9995 Max. virtual memory (cumulated for all children) (KiB): 216208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 295.894 system time used= 0.358945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 266789 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 668 runsolver used 0.482926 second user time and 0.913861 second system time The end
Begin job on node101 at 2011-06-11 12:03:55 IDJOB=3491426 IDBENCH=72101 IDSOLVER=1980 FILE ID=node101/3491426-1307786635 RUNJOBID= node101-1307783933-14518 PBS_JOBID= 13550894 Free space on /tmp= 74104 MiB SOLVER NAME= MinisatID 2.5.2 (fixed) BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand4b919e.cudf.paranoid.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3491426-1307786635/watcher-3491426-1307786635 -o /tmp/evaluation-result-3491426-1307786635/solver-3491426-1307786635 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491426-1307786635.opb --verbosity=0 --format=opb --randomseed=624607884 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1291befe507875936d488bb8750ed287 RANDOM SEED=624607884 node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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 : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31653956 kB Buffers: 217292 kB Cached: 709844 kB SwapCached: 27768 kB Active: 403952 kB Inactive: 707704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31653956 kB SwapTotal: 67111528 kB SwapFree: 67050780 kB Dirty: 5712 kB Writeback: 0 kB AnonPages: 178344 kB Mapped: 10176 kB Slab: 120904 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 365972 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74100 MiB End job on node101 at 2011-06-11 12:08:52