Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 | SAT | 50769 | 2911.88 | 2918.58 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
| MD5SUM | ec773b047bf21dab87650e27deaa6768 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 50769 |
| Best CPU time to get the best result obtained on this benchmark | 4.19641 |
| 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 | 3945 |
| Total number of constraints | 8604 |
| Number of constraints which are clauses | 8604 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59 |
| Number of terms in the objective function | 1872 |
| Biggest coefficient in the objective function | 2110 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3036193 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2110 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3036193 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2911.81/2918.56 c 8582 constraints 2911.81/2918.56 c after presolve 10777 2911.81/2918.56 o 352168 2911.81/2918.56 o 338999 2911.81/2918.56 o 338900 2911.81/2918.56 o 338822 2911.81/2918.56 o 338546 2911.81/2918.56 o 337232 2911.81/2918.56 o 336942 2911.81/2918.56 o 335628 2911.81/2918.56 o 334265 2911.81/2918.56 o 333975 2911.81/2918.56 o 332977 2911.81/2918.56 o 332687 2911.81/2918.56 o 332669 2911.81/2918.56 o 332550 2911.81/2918.56 o 332260 2911.81/2918.56 o 331975 2911.81/2918.56 o 331771 2911.81/2918.56 o 331187 2911.81/2918.56 o 331148 2911.81/2918.56 o 330944 2911.81/2918.56 o 330825 2911.81/2918.56 o 330535 2911.81/2918.56 o 330353 2911.81/2918.56 o 330101 2911.81/2918.56 o 330037 2911.81/2918.56 o 329857 2911.81/2918.56 o 329811 2911.81/2918.56 o 329799 2911.81/2918.56 o 329735 2911.81/2918.56 o 329721 2911.81/2918.56 o 329712 2911.81/2918.56 o 329246 2911.81/2918.56 o 329234 2911.81/2918.56 o 329196 2911.81/2918.56 o 329080 2911.81/2918.56 o 328898 2911.81/2918.56 o 328723 2911.81/2918.56 o 328433 2911.81/2918.56 o 328204 2911.81/2918.56 o 328146 2911.81/2918.56 o 328126 2911.81/2918.56 o 328068 2911.81/2918.56 o 328059 2911.81/2918.56 o 327943 2911.81/2918.56 o 327914 2911.81/2918.56 o 327902 2911.81/2918.56 o 327888 2911.81/2918.56 o 327830 2911.81/2918.56 o 327821 2911.81/2918.56 o 327051 2911.81/2918.56 o 326993 2911.81/2918.56 o 326877 2911.81/2918.56 o 326857 2911.81/2918.56 o 326689 2911.81/2918.56 o 326637 2911.81/2918.56 o 326625 2911.81/2918.56 o 326580 2911.81/2918.56 o 326568 2911.81/2918.56 o 326554 2911.81/2918.56 o 326496 2911.81/2918.56 o 326452 2911.81/2918.56 o 326443 2911.81/2918.56 o 326357 2911.81/2918.56 o 326345 2911.81/2918.56 o 326336 2911.81/2918.56 o 326327 2911.81/2918.56 o 326301 2911.81/2918.56 o 326197 2911.81/2918.56 o 324755 2911.81/2918.56 o 324738 2911.81/2918.56 o 324729 2911.81/2918.56 o 324715 2911.81/2918.56 o 324689 2911.81/2918.56 o 324555 2911.81/2918.56 o 322742 2911.81/2918.56 o 322727 2911.81/2918.56 o 322713 2911.81/2918.56 o 322704 2911.81/2918.56 o 322699 2911.81/2918.56 o 322687 2911.81/2918.56 o 322685 2911.81/2918.56 o 322673 2911.81/2918.56 o 322583 2911.81/2918.56 o 322571 2911.81/2918.56 o 322569 2911.81/2918.56 o 322557 2911.81/2918.56 o 322548 2911.81/2918.56 o 322539 2911.81/2918.56 o 322527 2911.81/2918.56 o 322524 2911.81/2918.56 o 322515 2911.81/2918.56 o 322513 2911.81/2918.56 o 322501 2911.81/2918.56 o 321653 2911.81/2918.56 o 321471 2911.81/2918.56 o 321407 2911.81/2918.56 o 321367 2911.81/2918.56 o 321187 2911.81/2918.56 o 321175 2911.81/2918.56 o 321163 2911.81/2918.56 o 321161 2911.81/2918.56 o 321149 2911.81/2918.56 o 321123 2911.81/2918.56 o 321111 2911.81/2918.56 o 321059 2911.81/2918.56 o 321045 2911.81/2918.56 o 321033 2911.81/2918.56 o 320996 2911.81/2918.56 o 320938 2911.81/2918.56 o 320929 2911.81/2918.56 o 320909 2911.81/2918.56 o 320891 2911.81/2918.56 o 320877 2911.81/2918.56 o 320874 2911.81/2918.56 o 320865 2911.81/2918.56 o 320807 2911.81/2918.56 o 320795 2911.81/2918.56 o 320790 2911.81/2918.56 o 320778 2911.81/2918.56 o 320532 2911.81/2918.56 o 320526 2911.81/2918.56 o 320512 2911.81/2918.56 o 320503 2911.81/2918.56 o 320491 2911.81/2918.56 o 320453 2911.81/2918.56 o 320436 2911.81/2918.56 o 320424 2911.81/2918.56 o 320346 2911.81/2918.56 o 320302 2911.81/2918.56 o 320262 2911.81/2918.56 o 320250 2911.81/2918.56 o 320076 2911.81/2918.56 o 319693 2911.81/2918.56 o 319597 2911.81/2918.56 o 319539 2911.81/2918.56 o 319530 2911.81/2918.56 o 319512 2911.81/2918.56 o 319492 2911.81/2918.56 o 319478 2911.81/2918.56 o 319466 2911.81/2918.56 o 319454 2911.81/2918.56 o 319387 2911.81/2918.56 o 319378 2911.81/2918.56 o 319370 2911.81/2918.56 o 319361 2911.81/2918.56 o 319352 2911.81/2918.56 o 319338 2911.81/2918.56 o 317798 2911.81/2918.56 o 317797 2911.81/2918.56 o 317757 2911.81/2918.56 o 317740 2911.81/2918.56 o 317635 2911.81/2918.56 o 316052 2911.81/2918.56 o 316016 2911.81/2918.56 o 315773 2911.81/2918.56 o 315709 2911.81/2918.56 o 315643 2911.81/2918.56 o 315448 2911.81/2918.56 o 315434 2911.81/2918.56 o 314108 2911.81/2918.56 o 314104 2911.81/2918.56 o 314090 2911.81/2918.56 o 314038 2911.81/2918.56 o 314012 2911.81/2918.56 o 314000 2911.81/2918.56 o 313986 2911.81/2918.56 o 313974 2911.81/2918.56 o 313972 2911.81/2918.56 o 313960 2911.81/2918.56 o 313942 2911.81/2918.56 o 313928 2911.81/2918.56 o 313916 2911.81/2918.56 o 313683 2911.81/2918.56 o 313646 2911.81/2918.56 o 313562 2911.81/2918.56 o 313516 2911.81/2918.56 o 313498 2911.81/2918.56 o 313440 2911.81/2918.56 o 313197 2911.81/2918.56 o 312851 2911.81/2918.56 o 312785 2911.81/2918.56 o 312689 2911.81/2918.56 o 312611 2911.81/2918.56 o 312217 2911.81/2918.56 o 312208 2911.81/2918.56 o 312150 2911.81/2918.56 o 312028 2911.81/2918.56 o 311992 2911.81/2918.56 o 311749 2911.81/2918.56 o 311403 2911.81/2918.56 o 311337 2911.81/2918.56 o 311291 2911.81/2918.56 o 311259 2911.81/2918.56 o 311163 2911.81/2918.56 o 311085 2911.81/2918.56 o 311071 2911.81/2918.56 o 311062 2911.81/2918.56 o 311050 2911.81/2918.56 o 310704 2911.81/2918.56 o 310638 2911.81/2918.56 o 310630 2911.81/2918.56 o 310369 2911.81/2918.56 o 310189 2911.81/2918.56 o 310175 2911.81/2918.56 o 310163 2911.81/2918.56 o 310151 2911.81/2918.56 o 310121 2911.81/2918.56 o 310075 2911.81/2918.56 o 309999 2911.81/2918.56 o 309990 2911.81/2918.56 o 309976 2911.81/2918.56 o 309959 2911.81/2918.56 o 309934 2911.81/2918.56 o 309916 2911.81/2918.56 o 309858 2911.81/2918.56 o 309849 2911.81/2918.56 o 309840 2911.81/2918.56 o 309837 2911.81/2918.56 o 309823 2911.81/2918.56 o 309785 2911.81/2918.56 o 309707 2911.81/2918.56 o 309703 2911.81/2918.56 o 309372 2911.81/2918.56 o 309335 2911.81/2918.56 o 309326 2911.81/2918.56 o 309314 2911.81/2918.56 o 309239 2911.81/2918.56 o 309204 2911.81/2918.56 o 309044 2911.81/2918.56 o 308896 2911.81/2918.56 o 308838 2911.81/2918.56 o 308830 2911.81/2918.56 o 308772 2911.81/2918.56 o 308529 2911.81/2918.56 o 308451 2911.81/2918.56 o 308277 2911.81/2918.56 o 306803 2911.81/2918.56 o 306761 2911.81/2918.56 o 306648 2911.81/2918.56 o 306642 2911.81/2918.56 o 306639 2911.81/2918.56 o 306630 2911.81/2918.56 o 306625 2911.81/2918.56 o 306613 2911.81/2918.56 o 306575 2911.81/2918.56 o 306215 2911.81/2918.56 o 306206 2911.81/2918.56 o 306192 2911.81/2918.56 o 306186 2911.81/2918.56 o 306012 2911.81/2918.56 o 305681 2911.81/2918.56 o 305315 2911.81/2918.56 o 305251 2911.81/2918.56 o 305185 2911.81/2918.56 o 305164 2911.81/2918.56 o 305155 2911.81/2918.56 o 305077 2911.81/2918.56 o 305013 2911.81/2918.56 o 304947 2911.81/2918.56 o 304851 2911.81/2918.56 o 303105 2911.81/2918.56 o 303100 2911.81/2918.56 o 303042 2911.81/2918.56 o 302990 2911.81/2918.56 o 302926 2911.81/2918.56 o 302860 2911.81/2918.56 o 302857 2911.81/2918.56 o 302845 2911.81/2918.56 o 302833 2911.81/2918.56 o 302824 2911.81/2918.56 o 301136 2911.81/2918.56 o 299874 2911.81/2918.56 o 299869 2911.81/2918.56 o 299860 2911.81/2918.56 o 299843 2911.81/2918.56 o 299791 2911.81/2918.56 o 299695 2911.81/2918.56 o 299668 2911.81/2918.56 o 299592 2911.81/2918.56 o 299580 2911.81/2918.56 o 299554 2911.81/2918.56 o 299542 2911.81/2918.56 o 299538 2911.81/2918.56 o 299524 2911.81/2918.56 o 299509 2911.81/2918.56 o 299457 2911.81/2918.56 o 299430 2911.81/2918.56 o 299424 2911.81/2918.56 o 299192 2911.81/2918.56 o 299104 2911.81/2918.56 o 298918 2911.81/2918.56 o 298686 2911.81/2918.56 o 298570 2911.81/2918.56 o 298454 2911.81/2918.56 o 298396 2911.81/2918.56 o 298338 2911.81/2918.56 o 298333 2911.81/2918.56 o 298237 2911.81/2918.56 o 298005 2911.81/2918.56 o 297999 2911.81/2918.56 o 297947 2911.81/2918.56 o 297881 2911.81/2918.56 o 297854 2911.81/2918.56 o 297785 2911.81/2918.56 o 297701 2911.81/2918.56 o 297655 2911.81/2918.56 o 297637 2911.81/2918.56 o 297619 2911.81/2918.56 o 297567 2911.81/2918.56 o 297551 2911.81/2918.56 o 297533 2911.81/2918.56 o 297524 2911.81/2918.56 o 297466 2911.81/2918.56 o 297463 2911.81/2918.56 o 297454 2911.81/2918.56 o 297445 2911.81/2918.56 o 297440 2911.81/2918.56 o 297428 2911.81/2918.56 o 297364 2911.81/2918.56 o 297298 2911.81/2918.56 o 297296 2911.81/2918.56 o 297278 2911.81/2918.56 o 297220 2911.81/2918.56 o 297116 2911.81/2918.56 o 297020 2911.81/2918.56 o 296968 2911.81/2918.56 o 296963 2911.81/2918.56 o 296954 2911.81/2918.56 o 296942 2911.81/2918.56 o 296934 2911.81/2918.56 o 296696 2911.81/2918.56 o 296464 2911.81/2918.56 o 296442 2911.81/2918.56 o 296434 2911.81/2918.56 o 296397 2911.81/2918.56 o 296180 2911.81/2918.56 o 296171 2911.81/2918.56 o 296168 2911.81/2918.56 o 296159 2911.81/2918.56 o 296154 2911.81/2918.56 o 296145 2911.81/2918.56 o 296125 2911.81/2918.56 o 296107 2911.81/2918.56 o 296097 2911.81/2918.56 o 296089 2911.81/2918.56 o 296083 2911.81/2918.56 o 296075 2911.81/2918.56 o 296043 2911.81/2918.56 o 296039 2911.81/2918.56 o 296031 2911.81/2918.56 o 296014 2911.81/2918.56 o 296005 2911.81/2918.56 o 296001 2911.81/2918.56 o 295993 2911.81/2918.56 o 295938 2911.81/2918.56 o 295924 2911.81/2918.56 o 295915 2911.81/2918.56 o 295913 2911.81/2918.56 o 295875 2911.81/2918.56 o 295871 2911.81/2918.56 o 295857 2911.81/2918.56 o 295851 2911.81/2918.56 o 295791 2911.81/2918.56 o 295779 2911.81/2918.56 o 295776 2911.81/2918.56 o 295767 2911.81/2918.56 o 295762 2911.81/2918.56 o 295753 2911.81/2918.56 o 295747 2911.81/2918.56 o 295744 2911.81/2918.56 o 295735 2911.81/2918.56 o 295686 2911.81/2918.56 o 295674 2911.81/2918.56 o 295665 2911.81/2918.56 o 295656 2911.81/2918.56 o 295647 2911.81/2918.56 o 295639 2911.81/2918.56 o 295628 2911.81/2918.56 o 295619 2911.81/2918.56 o 295616 2911.81/2918.56 o 295558 2911.81/2918.56 o 295549 2911.81/2918.56 o 295544 2911.81/2918.56 o 295535 2911.81/2918.56 o 295512 2911.81/2918.56 o 295500 2911.81/2918.56 o 295453 2911.81/2918.56 o 295444 2911.81/2918.56 o 295436 2911.81/2918.56 o 295370 2911.81/2918.56 o 295358 2911.81/2918.56 o 295355 2911.81/2918.56 o 295323 2911.81/2918.56 o 295311 2911.81/2918.56 o 295297 2911.81/2918.56 o 295293 2911.81/2918.56 o 295291 2911.81/2918.56 o 295279 2911.81/2918.56 o 295270 2911.81/2918.56 o 295262 2911.81/2918.56 o 295222 2911.81/2918.56 o 295204 2911.81/2918.56 o 295125 2911.81/2918.56 o 295107 2911.81/2918.56 o 295095 2911.81/2918.56 o 295092 2911.81/2918.56 o 295083 2911.81/2918.56 o 295025 2911.81/2918.56 o 294961 2911.81/2918.56 o 294956 2911.81/2918.56 o 294947 2911.81/2918.56 o 294903 2911.81/2918.56 o 294894 2911.81/2918.56 o 294886 2911.81/2918.56 o 294880 2911.81/2918.56 o 294822 2911.81/2918.56 o 294706 2911.81/2918.56 o 294648 2911.81/2918.56 o 294330 2911.81/2918.56 o 294246 2911.81/2918.56 o 294240 2911.81/2918.56 o 294168 2911.81/2918.56 o 294072 2911.81/2918.56 o 293994 2911.81/2918.56 o 293987 2911.81/2918.56 o 293978 2911.81/2918.56 o 293970 2911.81/2918.56 o 293958 2911.81/2918.56 o 293900 2911.81/2918.56 o 293456 2911.81/2918.56 o 293454 2911.81/2918.56 o 293332 2911.81/2918.56 o 293268 2911.81/2918.56 o 293036 2911.81/2918.56 o 292850 2911.81/2918.56 o 292676 2911.81/2918.56 o 292666 2911.81/2918.56 o 292599 2911.81/2918.56 o 292572 2911.81/2918.56 o 292554 2911.81/2918.56 o 292438 2911.81/2918.56 o 292437 2911.81/2918.56 o 292425 2911.81/2918.56 o 292407 2911.81/2918.56 o 292380 2911.81/2918.56 o 292284 2911.81/2918.56 o 292232 2911.81/2918.56 o 292224 2911.81/2918.56 o 292166 2911.81/2918.56 o 292088 2911.81/2918.56 o 292021 2911.81/2918.56 o 291994 2911.81/2918.56 o 291982 2911.81/2918.56 o 291646 2911.81/2918.56 o 290262 2911.81/2918.56 o 290257 2911.81/2918.56 o 290249 2911.81/2918.56 o 289918 2911.81/2918.56 o 289675 2911.81/2918.56 o 289611 2911.81/2918.56 o 289545 2911.81/2918.56 o 289467 2911.81/2918.56 o 289458 2911.81/2918.56 o 289368 2911.81/2918.56 o 289296 2911.81/2918.56 o 289200 2911.81/2918.56 o 289122 2911.81/2918.56 o 289070 2911.81/2918.56 o 289065 2911.81/2918.56 o 289007 2911.81/2918.56 o 288983 2911.81/2918.56 o 288925 2911.81/2918.56 o 288917 2911.81/2918.56 o 288859 2911.81/2918.56 o 288832 2911.81/2918.56 o 288774 2911.81/2918.56 o 288765 2911.81/2918.56 o 288713 2911.81/2918.56 o 288669 2911.81/2918.56 o 288617 2911.81/2918.56 o 288600 2911.81/2918.56 o 288504 2911.81/2918.56 o 287164 2911.81/2918.56 o 287155 2911.81/2918.56 o 287141 2911.81/2918.56 o 287119 2911.81/2918.56 o 287110 2911.81/2918.56 o 287101 2911.81/2918.56 o 287098 2911.81/2918.56 o 287089 2911.81/2918.56 o 287054 2911.81/2918.56 o 287045 2911.81/2918.56 o 287041 2911.81/2918.56 o 287027 2911.81/2918.56 o 287018 2911.81/2918.56 o 287010 2911.81/2918.56 o 286764 2911.81/2918.56 o 286759 2911.81/2918.56 o 286750 2911.81/2918.56 o 286706 2911.81/2918.56 o 286518 2911.81/2918.56 o 286454 2911.81/2918.56 o 286388 2911.81/2918.56 o 286310 2911.81/2918.56 o 286214 2911.81/2918.56 o 286136 2911.81/2918.56 o 286129 2911.81/2918.56 o 285891 2911.81/2918.56 o 285864 2911.81/2918.56 o 285728 2911.81/2918.56 o 285708 2911.81/2918.56 o 285690 2911.81/2918.56 o 285672 2911.81/2918.56 o 285568 2911.81/2918.56 o 285516 2911.81/2918.56 o 285420 2911.81/2918.56 o 285304 2911.81/2918.56 o 285072 2911.81/2918.56 o 285046 2911.81/2918.56 o 284994 2911.81/2918.56 o 284866 2911.81/2918.56 o 284840 2911.81/2918.56 o 284692 2911.81/2918.56 o 284672 2911.81/2918.56 o 284570 2911.81/2918.56 o 282791 2911.81/2918.56 o 282784 2911.81/2918.56 o 282775 2911.81/2918.56 o 282767 2911.81/2918.56 o 282753 2911.81/2918.56 o 282735 2911.81/2918.56 o 282607 2911.81/2918.56 o 281293 2911.81/2918.56 o 280005 2911.81/2918.56 o 279999 2911.81/2918.56 o 279883 2911.81/2918.56 o 279825 2911.81/2918.56 o 279482 2911.81/2918.56 o 279436 2911.81/2918.56 o 279424 2911.81/2918.56 o 279421 2911.81/2918.56 o 279363 2911.81/2918.56 o 279148 2911.81/2918.56 o 279032 2911.81/2918.56 o 278968 2911.81/2918.56 o 278902 2911.81/2918.56 o 278898 2911.81/2918.56 o 278890 2911.81/2918.56 o 278832 2911.81/2918.56 o 278754 2911.81/2918.56 o 278752 2911.81/2918.56 o 278734 2911.81/2918.56 o 278676 2911.81/2918.56 o 278609 2911.81/2918.56 o 278371 2911.81/2918.56 o 278180 2911.81/2918.56 o 277994 2911.81/2918.56 o 277954 2911.81/2918.56 o 277922 2911.81/2918.56 o 277748 2911.81/2918.56 o 277562 2911.81/2918.56 o 277510 2911.81/2918.56 o 277466 2911.81/2918.56 o 277414 2911.81/2918.56 o 277347 2911.81/2918.56 o 277327 2911.81/2918.56 o 277269 2911.81/2918.56 o 277031 2911.81/2918.56 o 276986 2911.81/2918.56 o 276743 2911.81/2918.56 o 275403 2911.81/2918.56 o 273973 2911.81/2918.56 o 272227 2911.81/2918.56 o 270609 2911.81/2918.56 o 269243 2911.81/2918.56 o 269057 2911.81/2918.56 o 268749 2911.81/2918.56 o 268581 2911.81/2918.56 o 267203 2911.81/2918.56 o 265825 2911.81/2918.56 o 264075 2911.81/2918.56 o 262387 2911.81/2918.56 o 262385 2911.81/2918.56 o 262377 2911.81/2918.56 o 262207 2911.81/2918.56 o 262085 2911.81/2918.56 o 262049 2911.81/2918.56 o 262048 2911.81/2918.56 o 262040 2911.81/2918.56 o 262022 2911.81/2918.56 o 262008 2911.81/2918.56 o 261906 2911.81/2918.56 o 261854 2911.81/2918.56 o 260566 2911.81/2918.56 o 260396 2911.81/2918.56 o 258664 2911.81/2918.56 o 258663 2911.81/2918.56 o 258654 2911.81/2918.56 o 258596 2911.81/2918.56 o 258584 2911.81/2918.56 o 258566 2911.81/2918.56 o 258563 2911.81/2918.56 o 258505 2911.81/2918.56 o 258438 2911.81/2918.56 o 258426 2911.81/2918.56 o 258418 2911.81/2918.56 o 258360 2911.81/2918.56 o 258122 2911.81/2918.56 o 257992 2911.81/2918.56 o 257890 2911.81/2918.56 o 257768 2911.81/2918.56 o 257592 2911.81/2918.56 o 257574 2911.81/2918.56 o 257528 2911.81/2918.56 o 257406 2911.81/2918.56 o 257310 2911.81/2918.56 o 257274 2911.81/2918.56 o 257123 2911.81/2918.56 o 255681 2911.81/2918.56 o 255672 2911.81/2918.56 o 255664 2911.81/2918.56 o 254873 2911.81/2918.56 o 254859 2911.81/2918.56 o 254841 2911.81/2918.56 o 254719 2911.81/2918.56 o 254551 2911.81/2918.56 o 254539 2911.81/2918.56 o 254501 2911.81/2918.56 o 254483 2911.81/2918.56 o 254388 2911.81/2918.56 o 254376 2911.81/2918.56 o 254344 2911.81/2918.56 o 254332 2911.81/2918.56 o 254320 2911.81/2918.56 o 254318 2911.81/2918.56 o 254306 2911.81/2918.56 o 254260 2911.81/2918.56 o 254248 2911.81/2918.56 o 254239 2911.81/2918.56 o 254230 2911.81/2918.56 o 254222 2911.81/2918.56 o 254219 2911.81/2918.56 o 254210 2911.81/2918.56 o 254202 2911.81/2918.56 o 254100 2911.81/2918.56 o 253825 2911.81/2918.56 o 252377 2911.81/2918.56 o 252373 2911.81/2918.56 o 252364 2911.81/2918.56 o 252352 2911.81/2918.56 o 252285 2911.81/2918.56 o 252249 2911.81/2918.56 o 252140 2911.81/2918.56 o 252105 2911.81/2918.56 o 252068 2911.81/2918.56 o 252030 2911.81/2918.56 o 251966 2911.81/2918.56 o 251902 2911.81/2918.56 o 251864 2911.81/2918.56 o 251761 2911.81/2918.56 o 251723 2911.81/2918.56 o 251685 2911.81/2918.56 o 251676 2911.81/2918.56 o 251667 2911.81/2918.56 o 251649 2911.81/2918.56 o 251641 2911.81/2918.56 o 251351 2911.81/2918.56 o 251341 2911.81/2918.56 o 251324 2911.81/2918.56 o 251315 2911.81/2918.56 o 251297 2911.81/2918.56 o 251239 2911.81/2918.56 o 250987 2911.81/2918.56 o 250983 2911.81/2918.56 o 250969 2911.81/2918.56 o 250951 2911.81/2918.56 o 250829 2911.81/2918.56 o 250733 2911.81/2918.56 o 250723 2911.81/2918.56 o 250714 2911.81/2918.56 o 250705 2911.81/2918.56 o 250697 2911.81/2918.56 o 250579 2911.81/2918.56 o 250391 2911.81/2918.56 o 250327 2911.81/2918.56 o 250321 2911.81/2918.56 o 250313 2911.81/2918.56 o 250217 2911.81/2918.56 o 250153 2911.81/2918.56 o 250127 2911.81/2918.56 o 250089 2911.81/2918.56 o 248499 2911.81/2918.56 o 248477 2911.81/2918.56 o 248439 2911.81/2918.56 o 247009 2911.81/2918.56 o 246982 2911.81/2918.56 o 246973 2911.81/2918.56 o 245337 2911.81/2918.56 o 243614 2911.81/2918.56 o 242326 2911.81/2918.56 o 240844 2911.81/2918.56 o 239156 2911.81/2918.56 o 237377 2911.81/2918.56 o 235619 2911.81/2918.56 o 235617 2911.81/2918.56 o 235595 2911.81/2918.56 o 235585 2911.81/2918.56 o 235577 2911.81/2918.56 o 235563 2911.81/2918.56 o 235559 2911.81/2918.56 o 235551 2911.81/2918.56 o 234669 2911.81/2918.56 o 234663 2911.81/2918.56 o 234625 2911.81/2918.56 o 234567 2911.81/2918.56 o 234559 2911.81/2918.56 o 234501 2911.81/2918.56 o 234307 2911.81/2918.56 o 234287 2911.81/2918.56 o 233997 2911.81/2918.56 o 233978 2911.81/2918.56 o 233977 2911.81/2918.56 o 233969 2911.81/2918.56 o 233957 2911.81/2918.56 o 233943 2911.81/2918.56 o 233935 2911.81/2918.56 o 233825 2911.81/2918.56 o 233799 2911.81/2918.56 o 233761 2911.81/2918.56 o 233744 2911.81/2918.56 o 233735 2911.81/2918.56 o 233697 2911.81/2918.56 o 233694 2911.81/2918.56 o 233686 2911.81/2918.56 o 233608 2911.81/2918.56 o 233588 2911.81/2918.56 o 233570 2911.81/2918.56 o 233564 2911.81/2918.56 o 233541 2911.81/2918.56 o 233523 2911.81/2918.56 o 233506 2911.81/2918.56 o 233503 2911.81/2918.56 o 233477 2911.81/2918.56 o 233439 2911.81/2918.56 o 233355 2911.81/2918.56 o 233319 2911.81/2918.56 o 233241 2911.81/2918.56 o 233216 2911.81/2918.56 o 233184 2911.81/2918.56 o 233088 2911.81/2918.56 o 233024 2911.81/2918.56 o 233008 2911.81/2918.56 o 232987 2911.81/2918.56 o 232929 2911.81/2918.56 o 232909 2911.81/2918.56 o 232787 2911.81/2918.56 o 232778 2911.81/2918.56 o 232760 2911.81/2918.56 o 232751 2911.81/2918.56 o 232743 2911.81/2918.56 o 232734 2911.81/2918.56 o 232572 2911.81/2918.56 o 232476 2911.81/2918.56 o 232440 2911.81/2918.56 o 232431 2911.81/2918.56 o 232422 2911.81/2918.56 o 232337 2911.81/2918.56 o 232328 2911.81/2918.56 o 232320 2911.81/2918.56 o 232290 2911.81/2918.56 o 232272 2911.81/2918.56 o 232250 2911.81/2918.56 o 232241 2911.81/2918.56 o 232233 2911.81/2918.56 o 232224 2911.81/2918.56 o 232188 2911.81/2918.56 o 231971 2911.81/2918.56 o 231935 2911.81/2918.56 o 231919 2911.81/2918.56 o 231841 2911.81/2918.56 o 231805 2911.81/2918.56 o 231683 2911.81/2918.56 o 231679 2911.81/2918.56 o 231641 2911.81/2918.56 o 231605 2911.81/2918.56 o 231256 2911.81/2918.56 o 231214 2911.81/2918.56 o 231178 2911.81/2918.56 o 229606 2911.81/2918.56 o 229599 2911.81/2918.56 o 229590 2911.81/2918.56 o 229576 2911.81/2918.56 o 228262 2911.81/2918.56 o 228242 2911.81/2918.56 o 227952 2911.81/2918.56 o 227598 2911.81/2918.56 o 227573 2911.81/2918.56 o 227556 2911.81/2918.56 o 227520 2911.81/2918.56 o 227518 2911.81/2918.56 o 227480 2911.81/2918.56 o 227370 2911.81/2918.56 o 227306 2911.81/2918.56 o 227036 2911.81/2918.56 o 226952 2911.81/2918.56 o 225426 2911.81/2918.56 o 225283 2911.81/2918.56 o 225257 2911.81/2918.56 o 225237 2911.81/2918.56 o 225219 2911.81/2918.56 o 225123 2911.81/2918.56 o 225106 2911.81/2918.56 o 225097 2911.81/2918.56 o 224975 2911.81/2918.56 o 224955 2911.81/2918.56 o 224917 2911.81/2918.56 o 224833 2911.81/2918.56 o 224827 2911.81/2918.56 o 224818 2911.81/2918.56 o 224800 2911.81/2918.56 o 224716 2911.81/2918.56 o 224714 2911.81/2918.56 o 224676 2911.81/2918.56 o 224644 2911.81/2918.56 o 224574 2911.81/2918.56 o 224556 2911.81/2918.56 o 224548 2911.81/2918.56 o 224543 2911.81/2918.56 o 224447 2911.81/2918.56 o 224429 2911.81/2918.56 o 224411 2911.81/2918.56 o 224333 2911.81/2918.56 o 224306 2911.81/2918.56 o 224274 2911.81/2918.56 o 224196 2911.81/2918.56 o 224112 2911.81/2918.56 o 222554 2911.81/2918.56 o 221144 2911.81/2918.56 o 221086 2911.81/2918.56 o 219926 2911.81/2918.56 o 219842 2911.81/2918.56 o 218528 2911.81/2918.56 o 218470 2911.81/2918.56 o 217130 2911.81/2918.56 o 217097 2911.81/2918.56 o 217079 2911.81/2918.56 o 217078 2911.81/2918.56 o 217060 2911.81/2918.56 o 217051 2911.81/2918.56 o 217043 2911.81/2918.56 o 216962 2911.81/2918.56 o 216953 2911.81/2918.56 o 216875 2911.81/2918.56 o 216869 2911.81/2918.56 o 216791 2911.81/2918.56 o 215851 2911.81/2918.56 o 215822 2911.81/2918.56 o 215814 2911.81/2918.56 o 215805 2911.81/2918.56 o 215797 2911.81/2918.56 o 215733 2911.81/2918.56 o 215691 2911.81/2918.56 o 215673 2911.81/2918.56 o 215637 2911.81/2918.56 o 215625 2911.81/2918.56 o 215547 2911.81/2918.56 o 215527 2911.81/2918.56 o 215443 2911.81/2918.56 o 213780 2911.81/2918.56 o 213171 2911.81/2918.56 o 213162 2911.81/2918.56 o 213124 2911.81/2918.56 o 213115 2911.81/2918.56 o 213107 2911.81/2918.56 o 212913 2911.81/2918.56 o 212904 2911.81/2918.56 o 212816 2911.81/2918.56 o 212808 2911.81/2918.56 o 212724 2911.81/2918.56 o 212556 2911.81/2918.56 o 212553 2911.81/2918.56 o 212544 2911.81/2918.56 o 212466 2911.81/2918.56 o 212382 2911.81/2918.56 o 212380 2911.81/2918.56 o 212360 2911.81/2918.56 o 212340 2911.81/2918.56 o 212304 2911.81/2918.56 o 212238 2911.81/2918.56 o 212160 2911.81/2918.56 o 211992 2911.81/2918.56 o 211968 2911.81/2918.56 o 211904 2911.81/2918.56 o 211460 2911.81/2918.56 o 211424 2911.81/2918.56 o 211346 2911.81/2918.56 o 211334 2911.81/2918.56 o 211282 2911.81/2918.56 o 211264 2911.81/2918.56 o 211256 2911.81/2918.56 o 211254 2911.81/2918.56 o 211246 2911.81/2918.56 o 211162 2911.81/2918.56 o 211066 2911.81/2918.56 o 211065 2911.81/2918.56 o 211048 2911.81/2918.56 o 211030 2911.81/2918.56 o 210952 2911.81/2918.56 o 210951 2911.81/2918.56 o 210885 2911.81/2918.56 o 210865 2911.81/2918.56 o 210807 2911.81/2918.56 o 210625 2911.81/2918.56 o 210611 2911.81/2918.56 o 210379 2911.81/2918.56 o 210369 2911.81/2918.56 o 210362 2911.81/2918.56 o 210353 2911.81/2918.56 o 210284 2911.81/2918.56 o 210275 2911.81/2918.56 o 210267 2911.81/2918.56 o 210249 2911.81/2918.56 o 210188 2911.81/2918.56 o 210179 2911.81/2918.56 o 210171 2911.81/2918.56 o 210162 2911.81/2918.56 o 210154 2911.81/2918.56 o 210093 2911.81/2918.56 o 210084 2911.81/2918.56 o 210076 2911.81/2918.56 o 210070 2911.81/2918.56 o 210062 2911.81/2918.56 o 210044 2911.81/2918.56 o 209948 2911.81/2918.56 o 209911 2911.81/2918.56 o 209903 2911.81/2918.56 o 209877 2911.81/2918.56 o 209839 2911.81/2918.56 o 209801 2911.81/2918.56 o 209734 2911.81/2918.56 o 209729 2911.81/2918.56 o 209720 2911.81/2918.56 o 209702 2911.81/2918.56 o 209595 2911.81/2918.56 o 209574 2911.81/2918.56 o 209374 2911.81/2918.56 o 209368 2911.81/2918.56 o 209360 2911.81/2918.56 o 209334 2911.81/2918.56 o 209296 2911.81/2918.56 o 209088 2911.81/2918.56 o 207666 2911.81/2918.56 o 207553 2911.81/2918.56 o 207428 2911.81/2918.56 o 205765 2911.81/2918.56 o 204112 2911.81/2918.56 o 204094 2911.81/2918.56 o 204006 2911.81/2918.56 o 202353 2911.81/2918.56 o 202180 2911.81/2918.56 o 202174 2911.81/2918.56 o 202165 2911.81/2918.56 o 202162 2911.81/2918.56 o 202154 2911.81/2918.56 o 202153 2911.81/2918.56 o 202145 2911.81/2918.56 o 202133 2911.81/2918.56 o 201965 2911.81/2918.56 o 201944 2911.81/2918.56 o 201935 2911.81/2918.56 o 201927 2911.81/2918.56 o 201918 2911.81/2918.56 o 201868 2911.81/2918.56 o 201860 2911.81/2918.56 o 201855 2911.81/2918.56 o 201846 2911.81/2918.56 o 201781 2911.81/2918.56 o 201773 2911.81/2918.56 o 201755 2911.81/2918.56 o 201717 2911.81/2918.56 o 201709 2911.81/2918.56 o 201691 2911.81/2918.56 o 201653 2911.81/2918.56 o 201589 2911.81/2918.56 o 201336 2911.81/2918.56 o 201258 2911.81/2918.56 o 201254 2911.81/2918.56 o 201216 2911.81/2918.56 o 201180 2911.81/2918.56 o 201069 2911.81/2918.56 o 200901 2911.81/2918.56 o 200887 2911.81/2918.56 o 200831 2911.81/2918.56 o 200823 2911.81/2918.56 o 199483 2911.81/2918.56 o 199466 2911.81/2918.56 o 199360 2911.81/2918.56 o 199187 2911.81/2918.56 o 199149 2911.81/2918.56 o 199143 2911.81/2918.56 o 199065 2911.81/2918.56 o 199060 2911.81/2918.56 o 199054 2911.81/2918.56 o 199004 2911.81/2918.56 o 198996 2911.81/2918.56 o 198994 2911.81/2918.56 o 198976 2911.81/2918.56 o 198803 2911.81/2918.56 o 198782 2911.81/2918.56 o 198773 2911.81/2918.56 o 198765 2911.81/2918.56 o 198764 2911.81/2918.56 o 198756 2911.81/2918.56 o 198692 2911.81/2918.56 o 198454 2911.81/2918.56 o 198445 2911.81/2918.56 o 198437 2911.81/2918.56 o 198428 2911.81/2918.56 o 198417 2911.81/2918.56 o 198379 2911.81/2918.56 o 198370 2911.81/2918.56 o 198368 2911.81/2918.56 o 198350 2911.81/2918.56 o 198312 2911.81/2918.56 o 197969 2911.81/2918.56 o 197873 2911.81/2918.56 o 197846 2911.81/2918.56 o 197837 2911.81/2918.56 o 197783 2911.81/2918.56 o 197747 2911.81/2918.56 o 197745 2911.81/2918.56 o 197667 2911.81/2918.56 o 197589 2911.81/2918.56 o 197499 2911.81/2918.56 o 197457 2911.81/2918.56 o 197433 2911.81/2918.56 o 197430 2911.81/2918.56 o 197422 2911.81/2918.56 o 197421 2911.81/2918.56 o 197413 2911.81/2918.56 o 197403 2911.81/2918.56 o 197395 2911.81/2918.56 o 196200 2911.81/2918.56 o 196192 2911.81/2918.56 o 196191 2911.81/2918.56 o 196183 2911.81/2918.56 o 196154 2911.81/2918.56 o 196145 2911.81/2918.56 o 196137 2911.81/2918.56 o 196119 2911.81/2918.56 o 196090 2911.81/2918.56 o 196081 2911.81/2918.56 o 196041 2911.81/2918.56 o 196003 2911.81/2918.56 o 195967 2911.81/2918.56 o 195883 2911.81/2918.56 o 195734 2911.81/2918.56 o 194062 2911.81/2918.56 o 194055 2911.81/2918.56 o 194047 2911.81/2918.56 o 193989 2911.81/2918.56 o 193953 2911.81/2918.56 o 193025 2911.81/2918.56 o 193013 2911.81/2918.56 o 193004 2911.81/2918.56 o 192996 2911.81/2918.56 o 192993 2911.81/2918.56 o 192665 2911.81/2918.56 o 192581 2911.81/2918.56 o 192510 2911.81/2918.56 o 192432 2911.81/2918.56 o 192390 2911.81/2918.56 o 190614 2911.81/2918.56 o 190338 2911.81/2918.56 o 189102 2911.81/2918.56 o 188998 2911.81/2918.56 o 188806 2911.81/2918.56 o 187048 2911.81/2918.56 o 186798 2911.81/2918.56 o 185510 2911.81/2918.56 o 184338 2911.81/2918.56 o 184321 2911.81/2918.56 o 184309 2911.81/2918.56 o 184295 2911.81/2918.56 o 183317 2911.81/2918.56 o 183259 2911.81/2918.56 o 183250 2911.81/2918.56 o 183233 2911.81/2918.56 o 183213 2911.81/2918.56 o 183155 2911.81/2918.56 o 183147 2911.81/2918.56 o 183101 2911.81/2918.56 o 183083 2911.81/2918.56 o 183025 2911.81/2918.56 o 182903 2911.81/2918.56 o 182883 2911.81/2918.56 o 182841 2911.81/2918.56 o 182828 2911.81/2918.56 o 182810 2911.81/2918.56 o 182809 2911.81/2918.56 o 182801 2911.81/2918.56 o 182779 2911.81/2918.56 o 182774 2911.81/2918.56 o 182760 2911.81/2918.56 o 182668 2911.81/2918.56 o 182648 2911.81/2918.56 o 182630 2911.81/2918.56 o 182534 2911.81/2918.56 o 182518 2911.81/2918.56 o 182489 2911.81/2918.56 o 182480 2911.81/2918.56 o 182416 2911.81/2918.56 o 182358 2911.81/2918.56 o 182349 2911.81/2918.56 o 182340 2911.81/2918.56 o 182338 2911.81/2918.56 o 182161 2911.81/2918.56 o 182152 2911.81/2918.56 o 182120 2911.81/2918.56 o 182112 2911.81/2918.56 o 182066 2911.81/2918.56 o 182048 2911.81/2918.56 o 181990 2911.81/2918.56 o 181948 2911.81/2918.56 o 181940 2911.81/2918.56 o 181931 2911.81/2918.56 o 181652 2911.81/2918.56 o 181645 2911.81/2918.56 o 181635 2911.81/2918.56 o 181626 2911.81/2918.56 o 181617 2911.81/2918.56 o 181609 2911.81/2918.56 o 181569 2911.81/2918.56 o 181537 2911.81/2918.56 o 181526 2911.81/2918.56 o 181517 2911.81/2918.56 o 181479 2911.81/2918.56 o 181471 2911.81/2918.56 o 181369 2911.81/2918.56 o 181291 2911.81/2918.56 o 181281 2911.81/2918.56 o 181249 2911.81/2918.56 o 181213 2911.81/2918.56 o 181193 2911.81/2918.56 o 181045 2911.81/2918.56 o 181039 2911.81/2918.56 o 180955 2911.81/2918.56 o 180913 2911.81/2918.56 o 180887 2911.81/2918.56 o 180862 2911.81/2918.56 o 180845 2911.81/2918.56 o 180817 2911.81/2918.56 o 180809 2911.81/2918.56 o 180808 2911.81/2918.56 o 180802 2911.81/2918.56 o 180744 2911.81/2918.56 o 180718 2911.81/2918.56 o 180696 2911.81/2918.56 o 180660 2911.81/2918.56 o 180364 2911.81/2918.56 o 179798 2911.81/2918.56 o 179714 2911.81/2918.56 o 179706 2911.81/2918.56 o 179604 2911.81/2918.56 o 179568 2911.81/2918.56 o 179526 2911.81/2918.56 o 177983 2911.81/2918.56 o 177687 2911.81/2918.56 o 177359 2911.81/2918.56 o 177339 2911.81/2918.56 o 177307 2911.81/2918.56 o 177115 2911.81/2918.56 o 177112 2911.81/2918.56 o 177103 2911.81/2918.56 o 177095 2911.81/2918.56 o 176933 2911.81/2918.56 o 176931 2911.81/2918.56 o 176928 2911.81/2918.56 o 176919 2911.81/2918.56 o 176867 2911.81/2918.56 o 176815 2911.81/2918.56 o 176803 2911.81/2918.56 o 176789 2911.81/2918.56 o 176754 2911.81/2918.56 o 176742 2911.81/2918.56 o 176733 2911.81/2918.56 o 176725 2911.81/2918.56 o 176661 2911.81/2918.56 o 176652 2911.81/2918.56 o 176638 2911.81/2918.56 o 176629 2911.81/2918.56 o 176620 2911.81/2918.56 o 176611 2911.81/2918.56 o 176603 2911.81/2918.56 o 176575 2911.81/2918.56 o 176387 2911.81/2918.56 o 175943 2911.81/2918.56 o 175925 2911.81/2918.56 o 175873 2911.81/2918.56 o 175615 2911.81/2918.56 o 175552 2911.81/2918.56 o 175479 2911.81/2918.56 o 175434 2911.81/2918.56 o 175380 2911.81/2918.56 o 175234 2911.81/2918.56 o 175198 2911.81/2918.56 o 173571 2911.81/2918.56 o 173353 2911.81/2918.56 o 172975 2911.81/2918.56 o 172821 2911.81/2918.56 o 172803 2911.81/2918.56 o 172767 2911.81/2918.56 o 172711 2911.81/2918.56 o 172681 2911.81/2918.56 o 172663 2911.81/2918.56 o 172627 2911.81/2918.56 o 172575 2911.81/2918.56 o 172539 2911.81/2918.56 o 172509 2911.81/2918.56 o 172473 2911.81/2918.56 o 172327 2911.81/2918.56 o 172291 2911.81/2918.56 o 172219 2911.81/2918.56 o 172183 2911.81/2918.56 o 172153 2911.81/2918.56 o 172117 2911.81/2918.56 o 171067 2911.81/2918.56 o 170959 2911.81/2918.56 o 170895 2911.81/2918.56 o 170829 2911.81/2918.56 o 170787 2911.81/2918.56 o 170769 2911.81/2918.56 o 170733 2911.81/2918.56 o 170725 2911.81/2918.56 o 170713 2911.81/2918.56 o 170689 2911.81/2918.56 o 170625 2911.81/2918.56 o 170559 2911.81/2918.56 o 170513 2911.81/2918.56 o 170501 2911.81/2918.56 o 169146 2911.81/2918.56 o 169120 2911.81/2918.56 o 169082 2911.81/2918.56 o 169068 2911.81/2918.56 o 169056 2911.81/2918.56 o 169002 2911.81/2918.56 o 168990 2911.81/2918.56 o 168978 2911.81/2918.56 o 168966 2911.81/2918.56 o 168964 2911.81/2918.56 o 168952 2911.81/2918.56 o 168902 2911.81/2918.56 o 168836 2911.81/2918.56 o 168778 2911.81/2918.56 o 168764 2911.81/2918.56 o 167137 2911.81/2918.56 o 167133 2911.81/2918.56 o 167119 2911.81/2918.56 o 166210 2911.81/2918.56 o 166022 2911.81/2918.56 o 165892 2911.81/2918.56 o 165883 2911.81/2918.56 o 165863 2911.81/2918.56 o 165805 2911.81/2918.56 o 165521 2911.81/2918.56 o 165512 2911.81/2918.56 o 164560 2911.81/2918.56 o 164506 2911.81/2918.56 o 164448 2911.81/2918.56 o 164424 2911.81/2918.56 o 164308 2911.81/2918.56 o 164294 2911.81/2918.56 o 164285 2911.81/2918.56 o 164276 2911.81/2918.56 o 164263 2911.81/2918.56 o 164205 2911.81/2918.56 o 164196 2911.81/2918.56 o 163561 2911.81/2918.56 o 163503 2911.81/2918.56 o 163494 2911.81/2918.56 o 163485 2911.81/2918.56 o 163265 2911.81/2918.56 o 163253 2911.81/2918.56 o 163210 2911.81/2918.56 o 163198 2911.81/2918.56 o 163192 2911.81/2918.56 o 163180 2911.81/2918.56 o 163122 2911.81/2918.56 o 163007 2911.81/2918.56 o 162961 2911.81/2918.56 o 162949 2911.81/2918.56 o 162917 2911.81/2918.56 o 162787 2911.81/2918.56 o 162723 2911.81/2918.56 o 162679 2911.81/2918.56 o 162665 2911.81/2918.56 o 162656 2911.81/2918.56 o 161409 2911.81/2918.56 o 161241 2911.81/2918.56 o 161197 2911.81/2918.56 o 161161 2911.81/2918.56 o 161103 2911.81/2918.56 o 161089 2911.81/2918.56 o 161080 2911.81/2918.56 o 159369 2911.81/2918.56 o 159198 2911.81/2918.56 o 159189 2911.81/2918.56 o 158554 2911.81/2918.56 o 158511 2911.81/2918.56 o 158395 2911.81/2918.56 o 158381 2911.81/2918.56 o 158372 2911.81/2918.56 o 158314 2911.81/2918.56 o 158302 2911.81/2918.56 o 158163 2911.81/2918.56 o 158099 2911.81/2918.56 o 158053 2911.81/2918.56 o 158041 2911.81/2918.56 o 157971 2911.81/2918.56 o 157959 2911.81/2918.56 o 157923 2911.81/2918.56 o 157917 2911.81/2918.56 o 157880 2911.81/2918.56 o 157868 2911.81/2918.56 o 157810 2911.81/2918.56 o 157801 2911.81/2918.56 o 157755 2911.81/2918.56 o 157743 2911.81/2918.56 o 157728 2911.81/2918.56 o 157726 2911.81/2918.56 o 157714 2911.81/2918.56 o 157708 2911.81/2918.56 o 157696 2911.81/2918.56 o 157687 2911.81/2918.56 o 157461 2911.81/2918.56 o 157459 2911.81/2918.56 o 157447 2911.81/2918.56 o 157435 2911.81/2918.56 o 157426 2911.81/2918.56 o 157418 2911.81/2918.56 o 157232 2911.81/2918.56 o 157205 2911.81/2918.56 o 157197 2911.81/2918.56 o 157188 2911.81/2918.56 o 157058 2911.81/2918.56 o 156956 2911.81/2918.56 o 156910 2911.81/2918.56 o 156824 2911.81/2918.56 o 156788 2911.81/2918.56 o 156674 2911.81/2918.56 o 156540 2911.81/2918.56 o 156522 2911.81/2918.56 o 156517 2911.81/2918.56 o 156337 2911.81/2918.56 o 156279 2911.81/2918.56 o 156270 2911.81/2918.56 o 156108 2911.81/2918.56 o 156079 2911.81/2918.56 o 156043 2911.81/2918.56 o 154677 2911.81/2918.56 o 154359 2911.81/2918.56 o 154199 2911.81/2918.56 o 154141 2911.81/2918.56 o 154057 2911.81/2918.56 o 154049 2911.81/2918.56 o 153947 2911.81/2918.56 o 153613 2911.81/2918.56 o 153607 2911.81/2918.56 o 153529 2911.81/2918.56 o 153413 2911.81/2918.56 o 152378 2911.81/2918.56 o 152347 2911.81/2918.56 o 152342 2911.81/2918.56 o 152325 2911.81/2918.56 o 152322 2911.81/2918.56 o 152200 2911.81/2918.56 o 152191 2911.81/2918.56 o 152183 2911.81/2918.56 o 152099 2911.81/2918.56 o 152092 2911.81/2918.56 o 152084 2911.81/2918.56 o 151982 2911.81/2918.56 o 150984 2911.81/2918.56 o 150816 2911.81/2918.56 o 150738 2911.81/2918.56 o 150537 2911.81/2918.56 o 150534 2911.81/2918.56 o 150525 2911.81/2918.56 o 150470 2911.81/2918.56 o 150461 2911.81/2918.56 o 150453 2911.81/2918.56 o 150445 2911.81/2918.56 o 150427 2911.81/2918.56 o 150369 2911.81/2918.56 o 149055 2911.81/2918.56 o 148964 2911.81/2918.56 o 147548 2911.81/2918.56 o 146286 2911.81/2918.56 o 146266 2911.81/2918.56 o 146018 2911.81/2918.56 o 145934 2911.81/2918.56 o 145655 2911.81/2918.56 o 145603 2911.81/2918.56 o 145554 2911.81/2918.56 o 145275 2911.81/2918.56 o 145121 2911.81/2918.56 o 145037 2911.81/2918.56 o 143317 2911.81/2918.56 o 142185 2911.81/2918.56 o 142115 2911.81/2918.56 o 141983 2911.81/2918.56 o 141766 2911.81/2918.56 o 140113 2911.81/2918.56 o 138729 2911.81/2918.56 o 138605 2911.81/2918.56 o 138592 2911.81/2918.56 o 138520 2911.81/2918.56 o 138436 2911.81/2918.56 o 137374 2911.81/2918.56 o 137290 2911.81/2918.56 o 137282 2911.81/2918.56 o 137180 2911.81/2918.56 o 137122 2911.81/2918.56 o 136319 2911.81/2918.56 o 135866 2911.81/2918.56 o 135858 2911.81/2918.56 o 135832 2911.81/2918.56 o 135824 2911.81/2918.56 o 135786 2911.81/2918.56 o 135702 2911.81/2918.56 o 135650 2911.81/2918.56 o 135618 2911.81/2918.56 o 135494 2911.81/2918.56 o 134154 2911.81/2918.56 o 134151 2911.81/2918.56 o 133939 2911.81/2918.56 o 133855 2911.81/2918.56 o 133847 2911.81/2918.56 o 133745 2911.81/2918.56 o 133687 2911.81/2918.56 o 133501 2911.81/2918.56 o 133433 2911.81/2918.56 o 133397 2911.81/2918.56 o 133388 2911.81/2918.56 o 133379 2911.81/2918.56 o 133370 2911.81/2918.56 o 133353 2911.81/2918.56 o 133075 2911.81/2918.56 o 133029 2911.81/2918.56 o 133011 2911.81/2918.56 o 132953 2911.81/2918.56 o 132945 2911.81/2918.56 o 132927 2911.81/2918.56 o 132926 2911.81/2918.56 o 132918 2911.81/2918.56 o 132916 2911.81/2918.56 o 132898 2911.81/2918.56 o 132866 2911.81/2918.56 o 132588 2911.81/2918.56 o 131634 2911.81/2918.56 o 131613 2911.81/2918.56 o 131605 2911.81/2918.56 o 131604 2911.81/2918.56 o 131596 2911.81/2918.56 o 131592 2911.81/2918.56 o 131584 2911.81/2918.56 o 131575 2911.81/2918.56 o 131567 2911.81/2918.56 o 131566 2911.81/2918.56 o 131558 2911.81/2918.56 o 131547 2911.81/2918.56 o 131529 2911.81/2918.56 o 131528 2911.81/2918.56 o 131520 2911.81/2918.56 o 131506 2911.81/2918.56 o 131448 2911.81/2918.56 o 131300 2911.81/2918.56 o 131265 2911.81/2918.56 o 131245 2911.81/2918.56 o 131187 2911.81/2918.56 o 131173 2911.81/2918.56 o 131137 2911.81/2918.56 o 131009 2911.81/2918.56 o 130989 2911.81/2918.56 o 130932 2911.81/2918.56 o 130931 2911.81/2918.56 o 130923 2911.81/2918.56 o 130782 2911.81/2918.56 o 130774 2911.81/2918.56 o 130768 2911.81/2918.56 o 130730 2911.81/2918.56 o 130712 2911.81/2918.56 o 130711 2911.81/2918.56 o 130703 2911.81/2918.56 o 130605 2911.81/2918.56 o 130593 2911.81/2918.56 o 130576 2911.81/2918.56 o 130567 2911.81/2918.56 o 130541 2911.81/2918.56 o 130503 2911.81/2918.56 o 130399 2911.81/2918.56 o 130381 2911.81/2918.56 o 130357 2911.81/2918.56 o 130349 2911.81/2918.56 o 130291 2911.81/2918.56 o 130207 2911.81/2918.56 o 130097 2911.81/2918.56 o 129849 2911.81/2918.56 o 129682 2911.81/2918.56 o 129681 2911.81/2918.56 o 129672 2911.81/2918.56 o 129663 2911.81/2918.56 o 129654 2911.81/2918.56 o 129646 2911.81/2918.56 o 129152 2911.81/2918.56 o 129146 2911.81/2918.56 o 129138 2911.81/2918.56 o 129120 2911.81/2918.56 o 128868 2911.81/2918.56 o 128680 2911.81/2918.56 o 128672 2911.81/2918.56 o 128640 2911.81/2918.56 o 128402 2911.81/2918.56 o 128364 2911.81/2918.56 o 128356 2911.81/2918.56 o 128240 2911.81/2918.56 o 128066 2911.81/2918.56 o 128052 2911.81/2918.56 o 127922 2911.81/2918.56 o 127902 2911.81/2918.56 o 127900 2911.81/2918.56 o 127891 2911.81/2918.56 o 127874 2911.81/2918.56 o 127854 2911.81/2918.56 o 127818 2911.81/2918.56 o 127805 2911.81/2918.56 o 127786 2911.81/2918.56 o 127748 2911.81/2918.56 o 127719 2911.81/2918.56 o 127710 2911.81/2918.56 o 127692 2911.81/2918.56 o 127634 2911.81/2918.56 o 127512 2911.81/2918.56 o 127326 2911.81/2918.56 o 127178 2911.81/2918.56 o 126829 2911.81/2918.56 o 126557 2911.81/2918.56 o 124967 2911.81/2918.56 o 124916 2911.81/2918.56 o 124829 2911.81/2918.56 o 124557 2911.81/2918.56 o 123373 2911.81/2918.56 o 123049 2911.81/2918.56 o 122918 2911.81/2918.56 o 122840 2911.81/2918.56 o 122718 2911.81/2918.56 o 122630 2911.81/2918.56 o 122358 2911.81/2918.56 o 121783 2911.81/2918.56 o 121674 2911.81/2918.56 o 121665 2911.81/2918.56 o 121657 2911.81/2918.56 o 121621 2911.81/2918.56 o 121511 2911.81/2918.56 o 121495 2911.81/2918.56 o 121463 2911.81/2918.56 o 121427 2911.81/2918.56 o 121317 2911.81/2918.56 o 121285 2911.81/2918.56 o 121047 2911.81/2918.56 o 121042 2911.81/2918.56 o 121022 2911.81/2918.56 o 121002 2911.81/2918.56 o 120880 2911.81/2918.56 o 120841 2911.81/2918.56 o 120832 2911.81/2918.56 o 120823 2911.81/2918.56 o 120789 2911.81/2918.56 o 120772 2911.81/2918.56 o 120763 2911.81/2918.56 o 120746 2911.81/2918.56 o 120714 2911.81/2918.56 o 120705 2911.81/2918.56 o 120667 2911.81/2918.56 o 120649 2911.81/2918.56 o 120611 2911.81/2918.56 o 120575 2911.81/2918.56 o 120545 2911.81/2918.56 o 120544 2911.81/2918.56 o 120536 2911.81/2918.56 o 120535 2911.81/2918.56 o 120527 2911.81/2918.56 o 120503 2911.81/2918.56 o 120495 2911.81/2918.56 o 120474 2911.81/2918.56 o 120454 2911.81/2918.56 o 120453 2911.81/2918.56 o 120445 2911.81/2918.56 o 120436 2911.81/2918.56 o 120419 2911.81/2918.56 o 120361 2911.81/2918.56 o 120341 2911.81/2918.56 o 120323 2911.81/2918.56 o 120322 2911.81/2918.56 o 120314 2911.81/2918.56 o 120306 2911.81/2918.56 o 120288 2911.81/2918.56 o 120287 2911.81/2918.56 o 120279 2911.81/2918.56 o 120273 2911.81/2918.56 o 120255 2911.81/2918.56 o 120247 2911.81/2918.56 o 119921 2911.81/2918.56 o 119837 2911.81/2918.56 o 119672 2911.81/2918.56 o 119665 2911.81/2918.56 o 119601 2911.81/2918.56 o 119571 2911.81/2918.56 o 119358 2911.81/2918.56 o 119349 2911.81/2918.56 o 119340 2911.81/2918.56 o 119332 2911.81/2918.56 o 119323 2911.81/2918.56 o 119303 2911.81/2918.56 o 119200 2911.81/2918.56 o 119116 2911.81/2918.56 o 119115 2911.81/2918.56 o 119077 2911.81/2918.56 o 119068 2911.81/2918.56 o 119051 2911.81/2918.56 o 118960 2911.81/2918.56 o 118952 2911.81/2918.56 o 118934 2911.81/2918.56 o 118902 2911.81/2918.56 o 118818 2911.81/2918.56 o 118580 2911.81/2918.56 o 118556 2911.81/2918.56 o 118548 2911.81/2918.56 o 118512 2911.81/2918.56 o 118468 2911.81/2918.56 o 118360 2911.81/2918.56 o 117782 2911.81/2918.56 o 117687 2911.81/2918.56 o 117670 2911.81/2918.56 o 117632 2911.81/2918.56 o 117614 2911.81/2918.56 o 116300 2911.81/2918.56 o 116052 2911.81/2918.56 o 115780 2911.81/2918.56 o 115712 2911.81/2918.56 o 114160 2911.81/2918.56 o 112515 2911.81/2918.56 o 112509 2911.81/2918.56 o 112295 2911.81/2918.56 o 112251 2911.81/2918.56 o 112130 2911.81/2918.56 o 112104 2911.81/2918.56 o 112102 2911.81/2918.56 o 111992 2911.81/2918.56 o 111902 2911.81/2918.56 o 111894 2911.81/2918.56 o 111882 2911.81/2918.56 o 111874 2911.81/2918.56 o 111487 2911.81/2918.56 o 111478 2911.81/2918.56 o 111388 2911.81/2918.56 o 111348 2911.81/2918.56 o 111316 2911.81/2918.56 o 111307 2911.81/2918.56 o 111298 2911.81/2918.56 o 111290 2911.81/2918.56 o 111252 2911.81/2918.56 o 111168 2911.81/2918.56 o 110930 2911.81/2918.56 o 110926 2911.81/2918.56 o 110842 2911.81/2918.56 o 110652 2911.81/2918.56 o 110626 2911.81/2918.56 o 110603 2911.81/2918.56 o 110588 2911.81/2918.56 o 110579 2911.81/2918.56 o 110571 2911.81/2918.56 o 110559 2911.81/2918.56 o 108888 2911.81/2918.56 o 108800 2911.81/2918.56 o 108594 2911.81/2918.56 o 107210 2911.81/2918.56 o 106999 2911.81/2918.56 o 106667 2911.81/2918.56 o 106579 2911.81/2918.56 o 106363 2911.81/2918.56 o 104883 2911.81/2918.56 o 104761 2911.81/2918.56 o 104675 2911.81/2918.56 o 104594 2911.81/2918.56 o 104590 2911.81/2918.56 o 104582 2911.81/2918.56 o 104550 2911.81/2918.56 o 104548 2911.81/2918.56 o 104464 2911.81/2918.56 o 104375 2911.81/2918.56 o 104349 2911.81/2918.56 o 104341 2911.81/2918.56 o 104309 2911.81/2918.56 o 104223 2911.81/2918.56 o 104179 2911.81/2918.56 o 104092 2911.81/2918.56 o 104066 2911.81/2918.56 o 104028 2911.81/2918.56 o 104027 2911.81/2918.56 o 104019 2911.81/2918.56 o 104011 2911.81/2918.56 o 104005 2911.81/2918.56 o 103997 2911.81/2918.56 o 103835 2911.81/2918.56 o 103832 2911.81/2918.56 o 103815 2911.81/2918.56 o 103812 2911.81/2918.56 o 103748 2911.81/2918.56 o 103635 2911.81/2918.56 o 103626 2911.81/2918.56 o 103618 2911.81/2918.56 o 103579 2911.81/2918.56 o 103570 2911.81/2918.56 o 103562 2911.81/2918.56 o 103558 2911.81/2918.56 o 103550 2911.81/2918.56 o 103446 2911.81/2918.56 o 103420 2911.81/2918.56 o 103411 2911.81/2918.56 o 103403 2911.81/2918.56 o 103379 2911.81/2918.56 o 103371 2911.81/2918.56 o 103353 2911.81/2918.56 o 103345 2911.81/2918.56 o 103307 2911.81/2918.56 o 103195 2911.81/2918.56 o 103163 2911.81/2918.56 o 103137 2911.81/2918.56 o 103113 2911.81/2918.56 o 103023 2911.81/2918.56 o 102983 2911.81/2918.56 o 102951 2911.81/2918.56 o 102941 2911.81/2918.56 o 102933 2911.81/2918.56 o 102903 2911.81/2918.56 o 102895 2911.81/2918.56 o 102891 2911.81/2918.56 o 102807 2911.81/2918.56 o 102728 2911.81/2918.56 o 102696 2911.81/2918.56 o 102640 2911.81/2918.56 o 102596 2911.81/2918.56 o 101110 2911.81/2918.56 o 101090 2911.81/2918.56 o 101064 2911.81/2918.56 o 101032 2911.81/2918.56 o 100994 2911.81/2918.56 o 100808 2911.81/2918.56 o 99378 2911.81/2918.56 o 99327 2911.81/2918.56 o 99310 2911.81/2918.56 o 97996 2911.81/2918.56 o 97775 2911.81/2918.56 o 97673 2911.81/2918.56 o 97653 2911.81/2918.56 o 97569 2911.81/2918.56 o 97280 2911.81/2918.56 o 97263 2911.81/2918.56 o 97249 2911.81/2918.56 o 97241 2911.81/2918.56 o 97197 2911.81/2918.56 o 97183 2911.81/2918.56 o 97149 2911.81/2918.56 o 97141 2911.81/2918.56 o 97135 2911.81/2918.56 o 97127 2911.81/2918.56 o 96891 2911.81/2918.56 o 96883 2911.81/2918.56 o 96649 2911.81/2918.56 o 96605 2911.81/2918.56 o 96549 2911.81/2918.56 o 96541 2911.81/2918.56 o 96529 2911.81/2918.56 o 96485 2911.81/2918.56 o 96477 2911.81/2918.56 o 96431 2911.81/2918.56 o 96418 2911.81/2918.56 o 96409 2911.81/2918.56 o 96401 2911.81/2918.56 o 96375 2911.81/2918.56 o 96271 2911.81/2918.56 o 96263 2911.81/2918.56 o 96225 2911.81/2918.56 o 96123 2911.81/2918.56 o 96013 2911.81/2918.56 o 96001 2911.81/2918.56 o 95929 2911.81/2918.56 o 95549 2911.81/2918.56 o 95530 2911.81/2918.56 o 95442 2911.81/2918.56 o 95226 2911.81/2918.56 o 95140 2911.81/2918.56 o 95134 2911.81/2918.56 o 95026 2911.81/2918.56 o 93596 2911.81/2918.56 o 91978 2911.81/2918.56 o 91972 2911.81/2918.56 o 91958 2911.81/2918.56 o 91943 2911.81/2918.56 o 91917 2911.81/2918.56 o 91696 2911.81/2918.56 o 91658 2911.81/2918.56 o 91542 2911.81/2918.56 o 91530 2911.81/2918.56 o 91527 2911.81/2918.56 o 91510 2911.81/2918.56 o 91437 2911.81/2918.56 o 91420 2911.81/2918.56 o 91414 2911.81/2918.56 o 91400 2911.81/2918.56 o 91389 2911.81/2918.56 o 91369 2911.81/2918.56 o 91365 2911.81/2918.56 o 91351 2911.81/2918.56 o 91261 2911.81/2918.56 o 91240 2911.81/2918.56 o 91239 2911.81/2918.56 o 91236 2911.81/2918.56 o 91230 2911.81/2918.56 o 91222 2911.81/2918.56 o 90980 2911.81/2918.56 o 90898 2911.81/2918.56 o 90892 2911.81/2918.56 o 90884 2911.81/2918.56 o 90875 2911.81/2918.56 o 90867 2911.81/2918.56 o 90663 2911.81/2918.56 o 90654 2911.81/2918.56 o 90646 2911.81/2918.56 o 90640 2911.81/2918.56 o 90632 2911.81/2918.56 o 90544 2911.81/2918.56 o 90536 2911.81/2918.56 o 90450 2911.81/2918.56 o 90395 2911.81/2918.56 o 90369 2911.81/2918.56 o 90161 2911.81/2918.56 o 90117 2911.81/2918.56 o 89871 2911.81/2918.56 o 89822 2911.81/2918.56 o 89778 2911.81/2918.56 o 89725 2911.81/2918.56 o 89717 2911.81/2918.56 o 89615 2911.81/2918.56 o 89589 2911.81/2918.56 o 89571 2911.81/2918.56 o 89554 2911.81/2918.56 o 89482 2911.81/2918.56 o 89418 2911.81/2918.56 o 89298 2911.81/2918.56 o 89272 2911.81/2918.56 o 89208 2911.81/2918.56 o 89182 2911.81/2918.56 o 89156 2911.81/2918.56 o 89118 2911.81/2918.56 o 89046 2911.81/2918.56 o 89011 2911.81/2918.56 o 88915 2911.81/2918.56 o 88913 2911.81/2918.56 o 88817 2911.81/2918.56 o 88733 2911.81/2918.56 o 87656 2911.81/2918.56 o 87601 2911.81/2918.56 o 87431 2911.81/2918.56 o 87387 2911.81/2918.56 o 87369 2911.81/2918.56 o 87331 2911.81/2918.56 o 87323 2911.81/2918.56 o 87309 2911.81/2918.56 o 87225 2911.81/2918.56 o 87153 2911.81/2918.56 o 87099 2911.81/2918.56 o 86096 2911.81/2918.56 o 86087 2911.81/2918.56 o 85853 2911.81/2918.56 o 85716 2911.81/2918.56 o 85699 2911.81/2918.56 o 85615 2911.81/2918.56 o 84313 2911.81/2918.56 o 84295 2911.81/2918.56 o 84185 2911.81/2918.56 o 84097 2911.81/2918.56 o 84079 2911.81/2918.56 o 84053 2911.81/2918.56 o 84017 2911.81/2918.56 o 83951 2911.81/2918.56 o 83937 2911.81/2918.56 o 83821 2911.81/2918.56 o 83809 2911.81/2918.56 o 83801 2911.81/2918.56 o 83763 2911.81/2918.56 o 83749 2911.81/2918.56 o 83653 2911.81/2918.56 o 83633 2911.81/2918.56 o 83417 2911.81/2918.56 o 83362 2911.81/2918.56 o 83336 2911.81/2918.56 o 83128 2911.81/2918.56 o 83084 2911.81/2918.56 o 82991 2911.81/2918.56 o 81369 2911.81/2918.56 o 79646 2911.81/2918.56 o 79617 2911.81/2918.56 o 79609 2911.81/2918.56 o 79558 2911.81/2918.56 o 77991 2911.81/2918.56 o 77898 2911.81/2918.56 o 77880 2911.81/2918.56 o 77867 2911.81/2918.56 o 77853 2911.81/2918.56 o 77852 2911.81/2918.56 o 77845 2911.81/2918.56 o 77843 2911.81/2918.56 o 77835 2911.81/2918.56 o 77784 2911.81/2918.56 o 77766 2911.81/2918.56 o 77708 2911.81/2918.56 o 77522 2911.81/2918.56 o 77464 2911.81/2918.56 o 77154 2911.81/2918.56 o 76959 2911.81/2918.56 o 76875 2911.81/2918.56 o 76753 2911.81/2918.56 o 76698 2911.81/2918.56 o 76464 2911.81/2918.56 o 76420 2911.81/2918.56 o 76364 2911.81/2918.56 o 76060 2911.81/2918.56 o 75958 2911.81/2918.56 o 75793 2911.81/2918.56 o 75767 2911.81/2918.56 o 75759 2911.81/2918.56 o 75705 2911.81/2918.56 o 75679 2911.81/2918.56 o 75641 2911.81/2918.56 o 75597 2911.81/2918.56 o 75587 2911.81/2918.56 o 75579 2911.81/2918.56 o 75515 2911.81/2918.56 o 75507 2911.81/2918.56 o 75497 2911.81/2918.56 o 75471 2911.81/2918.56 o 75463 2911.81/2918.56 o 75460 2911.81/2918.56 o 75448 2911.81/2918.56 o 75422 2911.81/2918.56 o 75413 2911.81/2918.56 o 75405 2911.81/2918.56 o 75320 2911.81/2918.56 o 75125 2911.81/2918.56 o 75041 2911.81/2918.56 o 74977 2911.81/2918.56 o 74957 2911.81/2918.56 o 74919 2911.81/2918.56 o 74912 2911.81/2918.56 o 74855 2911.81/2918.56 o 74809 2911.81/2918.56 o 74791 2911.81/2918.56 o 74783 2911.81/2918.56 o 74765 2911.81/2918.56 o 74739 2911.81/2918.56 o 74727 2911.81/2918.56 o 74701 2911.81/2918.56 o 74669 2911.81/2918.56 o 74643 2911.81/2918.56 o 74635 2911.81/2918.56 o 74599 2911.81/2918.56 o 74573 2911.81/2918.56 o 74565 2911.81/2918.56 o 74549 2911.81/2918.56 o 74510 2911.81/2918.56 o 74501 2911.81/2918.56 o 74493 2911.81/2918.56 o 74485 2911.81/2918.56 o 74409 2911.81/2918.56 o 74383 2911.81/2918.56 o 74273 2911.81/2918.56 o 74261 2911.81/2918.56 o 74235 2911.81/2918.56 o 74027 2911.81/2918.56 o 73939 2911.81/2918.56 o 73849 2911.81/2918.56 o 73565 2911.81/2918.56 o 73499 2911.81/2918.56 o 73485 2911.81/2918.56 o 73477 2911.81/2918.56 o 73457 2911.81/2918.56 o 73445 2911.81/2918.56 o 73437 2911.81/2918.56 o 73368 2911.81/2918.56 o 73358 2911.81/2918.56 o 73338 2911.81/2918.56 o 73170 2911.81/2918.56 o 73145 2911.81/2918.56 o 73137 2911.81/2918.56 o 73091 2911.81/2918.56 o 73073 2911.81/2918.56 o 73015 2911.81/2918.56 o 72995 2911.81/2918.56 o 72989 2911.81/2918.56 o 72905 2911.81/2918.56 o 72885 2911.81/2918.56 o 72841 2911.81/2918.56 o 72753 2911.81/2918.56 o 72676 2911.81/2918.56 o 72665 2911.81/2918.56 o 72656 2911.81/2918.56 o 72648 2911.81/2918.56 o 72527 2911.81/2918.56 o 72501 2911.81/2918.56 o 72457 2911.81/2918.56 o 72393 2911.81/2918.56 o 72352 2911.81/2918.56 o 72221 2911.81/2918.56 o 72021 2911.81/2918.56 o 70399 2911.81/2918.56 o 70365 2911.81/2918.56 o 70321 2911.81/2918.56 o 69189 2911.81/2918.56 o 68189 2911.81/2918.56 o 67928 2911.81/2918.56 o 66564 2911.81/2918.56 o 66558 2911.81/2918.56 o 66510 2911.81/2918.56 o 66492 2911.81/2918.56 o 65425 2911.81/2918.56 o 65424 2911.81/2918.56 o 65416 2911.81/2918.56 o 65414 2911.81/2918.56 o 65330 2911.81/2918.56 o 65315 2911.81/2918.56 o 65277 2911.81/2918.56 o 65268 2911.81/2918.56 o 65224 2911.81/2918.56 o 65203 2911.81/2918.56 o 65194 2911.81/2918.56 o 65156 2911.81/2918.56 o 65155 2911.81/2918.56 o 65147 2911.81/2918.56 o 65138 2911.81/2918.56 o 63850 2911.81/2918.56 o 63849 2911.81/2918.56 o 63823 2911.81/2918.56 o 63786 2911.81/2918.56 o 63778 2911.81/2918.56 o 63768 2911.81/2918.56 o 63760 2911.81/2918.56 o 63759 2911.81/2918.56 o 63751 2911.81/2918.56 o 63748 2911.81/2918.56 o 63740 2911.81/2918.56 o 63731 2911.81/2918.56 o 63721 2911.81/2918.56 o 63713 2911.81/2918.56 o 63707 2911.81/2918.56 o 63689 2911.81/2918.56 o 62976 2911.81/2918.56 o 62555 2911.81/2918.56 o 62545 2911.81/2918.56 o 62507 2911.81/2918.56 o 62498 2911.81/2918.56 o 62489 2911.81/2918.56 o 62481 2911.81/2918.56 o 62458 2911.81/2918.56 o 62386 2911.81/2918.56 o 62302 2911.81/2918.56 o 62256 2911.81/2918.56 o 62238 2911.81/2918.56 o 62152 2911.81/2918.56 o 62108 2911.81/2918.56 o 60984 2911.81/2918.56 o 60768 2911.81/2918.56 o 59026 2911.81/2918.56 o 58887 2911.81/2918.56 o 58827 2911.81/2918.56 o 58809 2911.81/2918.56 o 58801 2911.81/2918.56 o 58794 2911.81/2918.56 o 58783 2911.81/2918.56 o 58765 2911.81/2918.56 o 58756 2911.81/2918.56 o 58738 2911.81/2918.56 o 58730 2911.81/2918.56 o 58704 2911.81/2918.56 o 58695 2911.81/2918.56 o 58686 2911.81/2918.56 o 58439 2911.81/2918.56 o 58430 2911.81/2918.56 o 58425 2911.81/2918.56 o 58416 2911.81/2918.56 o 58410 2911.81/2918.56 o 58372 2911.81/2918.56 o 58370 2911.81/2918.56 o 58304 2911.81/2918.56 o 58295 2911.81/2918.56 o 58224 2911.81/2918.56 o 58176 2911.81/2918.56 o 57050 2911.81/2918.56 o 57011 2911.81/2918.56 o 57003 2911.81/2918.56 o 56965 2911.81/2918.56 o 55802 2911.81/2918.56 o 54618 2911.81/2918.56 o 54607 2911.81/2918.56 o 54596 2911.81/2918.56 o 54587 2911.81/2918.56 o 54569 2911.81/2918.56 o 54567 2911.81/2918.56 o 54566 2911.81/2918.56 o 54558 2911.81/2918.56 o 54462 2911.81/2918.56 o 54454 2911.81/2918.56 o 54383 2911.81/2918.56 o 54322 2911.81/2918.56 o 54315 2911.81/2918.56 o 54227 2911.81/2918.56 o 54218 2911.81/2918.56 o 54208 2911.81/2918.56 o 54200 2911.81/2918.56 o 54122 2911.81/2918.56 o 54119 2911.81/2918.56 o 54111 2911.81/2918.56 o 54101 2911.81/2918.56 o 54093 2911.81/2918.56 o 54092 2911.81/2918.56 o 54084 2911.81/2918.56 o 54017 2911.81/2918.56 o 54009 2911.81/2918.56 o 54003 2911.81/2918.56 o 53931 2911.81/2918.56 o 53784 2911.81/2918.56 o 53766 2911.81/2918.56 o 53752 2911.81/2918.56 o 53531 2911.81/2918.56 o 53357 2911.81/2918.56 o 53352 2911.81/2918.56 o 53344 2911.81/2918.56 o 53286 2911.81/2918.56 o 53046 2911.81/2918.56 o 53034 2911.81/2918.56 o 52665 2911.81/2918.56 o 52656 2911.81/2918.56 o 52636 2911.81/2918.56 o 52618 2911.81/2918.56 o 52578 2911.81/2918.56 o 52560 2911.81/2918.56 o 52516 2911.81/2918.56 o 52499 2911.81/2918.56 o 52452 2911.81/2918.56 o 52403 2911.81/2918.56 o 52394 2911.81/2918.56 o 52274 2911.81/2918.56 o 52237 2911.81/2918.56 o 52088 2911.81/2918.56 o 52016 2911.81/2918.56 o 51906 2911.81/2918.56 o 51888 2911.81/2918.56 o 51886 2911.81/2918.56 o 51849 2911.81/2918.56 o 50769 2911.81/2918.56 s SATISFIABLE 2911.81/2918.56 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
OK 50769
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62971 MiB free)
memory of node 1: 64465 MiB (63878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497175-1751399546/watcher-4497175-1751399546 -o /tmp/evaluation-result-4497175-1751399546/solver-4497175-1751399546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751393480-50782 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497175-1751399546.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51658, runsolver pid=51655
[startup+0.100057 s]*
/proc/loadavg: 4.12 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129894676/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=25444 memory=10864 CPUtime=0.07 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 2019 0 0 0 7 0 0 0 20 0 1 0 55632156 26054656 2716 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 6361 2716 1152 2752 0 3014 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32428 KiB
Current children cumulated memory: 15216 KiB
[startup+0.20544 s]*
/proc/loadavg: 4.12 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129894676/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=25444 memory=10864 CPUtime=0.17 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 2020 0 0 0 17 0 0 0 20 0 1 0 55632156 26054656 2716 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 6361 2716 1152 2752 0 3014 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 32428 KiB
Current children cumulated memory: 15216 KiB
[startup+0.304521 s]*
/proc/loadavg: 4.12 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129894980/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=25444 memory=10864 CPUtime=0.27 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 2020 0 0 0 27 0 0 0 20 0 1 0 55632156 26054656 2716 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 6361 2716 1152 2752 0 3014 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 32428 KiB
Current children cumulated memory: 15216 KiB
[startup+0.700138 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129894980/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=25444 memory=10864 CPUtime=0.66 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 2020 0 0 0 66 0 0 0 20 0 1 0 55632156 26054656 2716 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 6361 2716 1152 2752 0 3014 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 32428 KiB
Current children cumulated memory: 15216 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129894980/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=63912 memory=53516 CPUtime=1.46 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 11301 0 0 0 145 1 0 0 20 0 1 0 55632156 65445888 13379 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 15978 13379 2816 2752 0 12631 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 70896 KiB
Current children cumulated memory: 57868 KiB
[startup+3.10443 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129855000/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=69660 memory=58764 CPUtime=3.06 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 12627 0 0 0 304 2 0 0 20 0 1 0 55632156 71331840 14691 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 17415 14691 2816 2752 0 14068 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 76644 KiB
Current children cumulated memory: 63116 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129806920/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=124432 memory=108412 CPUtime=6.24 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 27351 0 0 0 620 4 0 0 20 0 1 0 55632156 127418368 27103 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 31108 27103 2848 2752 0 27761 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 131416 KiB
Current children cumulated memory: 112764 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.10 5/273 51662
/proc/meminfo: memFree=129754584/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=163380 memory=147868 CPUtime=12.63 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 37498 0 0 0 1257 6 0 0 20 0 1 0 55632156 167301120 36967 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 40845 36967 2848 2752 0 37498 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 170364 KiB
Current children cumulated memory: 152220 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.10 5/273 51662
/proc/meminfo: memFree=129767692/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=140340 memory=125636 CPUtime=25.4 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 38112 0 0 0 2534 6 0 0 20 0 1 0 55632156 143708160 31409 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 35085 31409 2848 2752 0 31738 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 147324 KiB
Current children cumulated memory: 129988 KiB
[startup+51.1044 s]
/proc/loadavg: 4.05 4.11 4.09 5/273 51663
/proc/meminfo: memFree=129747244/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51661/stat : 51661 (timeout) S 51658 51661 50769 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 55632155 2723840 352 18446744073709551615 94836771475456 94836771491969 140730473733504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94836771506736 94836771508824 94836797603840 140730473736624 140730473736738 140730473736738 140730473742311 0
/proc/51661/statm: 665 352 352 5 0 90 0
[pid=51662] ppid=51661 vsize=140340 memory=125636 CPUtime=50.94 cores=5,7
/proc/51662/stat : 51662 (NuPBO-DeepOptS+) R 51661 51661 50769 0 -1 4194304 38114 0 0 0 5088 6 0 0 20 0 1 0 55632156 143708160 31409 18446744073709551615 4198400 15468185 140726096027360 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140726096030140 140726096030241 140726096030241 140726096035814 0
/proc/51662/statm: 35085 31409 2848 2752 0 31738 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 147324 KiB
Current children cumulated memory: 129988 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/274 51666
/proc/meminfo: memFree=129732980/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51661] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.09 5/272 51995
/proc/meminfo: memFree=129516168/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=427428 memory=382064 CPUtime=467.95 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 53794 0 0 0 46646 149 0 0 20 0 1 0 55871957 437686272 95516 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 106857 95516 1856 2271 0 101495 0
Current children cumulated CPU time: 2860.63 s
Current children cumulated vsize: 434412 KiB
Current children cumulated memory: 386416 KiB
[startup+2892.8 s]
/proc/loadavg: 4.05 4.08 4.09 5/271 51996
/proc/meminfo: memFree=129515984/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=435696 memory=388464 CPUtime=493.48 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 55383 0 0 0 49191 157 0 0 20 0 1 0 55871957 446152704 97116 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 108924 97116 1856 2271 0 103562 0
Current children cumulated CPU time: 2886.16 s
Current children cumulated vsize: 442680 KiB
Current children cumulated memory: 392816 KiB
[startup+2905.6 s]
/proc/loadavg: 4.04 4.08 4.08 5/271 51996
/proc/meminfo: memFree=129507880/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=440352 memory=392048 CPUtime=506.26 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 56304 0 0 0 50465 161 0 0 20 0 1 0 55871957 450920448 98012 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 110088 98012 1856 2271 0 104726 0
Current children cumulated CPU time: 2898.94 s
Current children cumulated vsize: 447336 KiB
Current children cumulated memory: 396400 KiB
[startup+2912 s]*
/proc/loadavg: 4.11 4.09 4.09 5/271 51996
/proc/meminfo: memFree=129507752/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=441012 memory=392688 CPUtime=512.65 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 56461 0 0 0 51101 164 0 0 20 0 1 0 55871957 451596288 98172 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 110253 98172 1856 2271 0 104891 0
Current children cumulated CPU time: 2905.33 s
Current children cumulated vsize: 447996 KiB
Current children cumulated memory: 397040 KiB
[startup+2915.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 51996
/proc/meminfo: memFree=129507768/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=442948 memory=394224 CPUtime=515.83 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 56861 0 0 0 51419 164 0 0 20 0 1 0 55871957 453578752 98556 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 110737 98556 1856 2271 0 105375 0
Current children cumulated CPU time: 2908.51 s
Current children cumulated vsize: 449932 KiB
Current children cumulated memory: 398576 KiB
[startup+2916.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 51996
/proc/meminfo: memFree=129507816/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=442948 memory=394224 CPUtime=517.42 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 56861 0 0 0 51577 165 0 0 20 0 1 0 55871957 453578752 98556 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 110737 98556 1856 2271 0 105375 0
Current children cumulated CPU time: 2910.1 s
Current children cumulated vsize: 449932 KiB
Current children cumulated memory: 398576 KiB
[startup+2917.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 51996
/proc/meminfo: memFree=129507848/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=444228 memory=394992 CPUtime=518.23 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 57063 0 0 0 51657 166 0 0 20 0 1 0 55871957 454889472 98748 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 111057 98748 1856 2271 0 105695 0
Current children cumulated CPU time: 2910.91 s
Current children cumulated vsize: 451212 KiB
Current children cumulated memory: 399344 KiB
[startup+2918 s]*
/proc/loadavg: 4.10 4.09 4.09 5/271 51996
/proc/meminfo: memFree=129507600/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=444228 memory=394992 CPUtime=518.63 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 57064 0 0 0 51697 166 0 0 20 0 1 0 55871957 454889472 98748 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 111057 98748 1856 2271 0 105695 0
Current children cumulated CPU time: 2911.31 s
Current children cumulated vsize: 451212 KiB
Current children cumulated memory: 399344 KiB
[startup+2918.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 51996
/proc/meminfo: memFree=129507600/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=444228 memory=394992 CPUtime=519.03 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 57064 0 0 0 51737 166 0 0 20 0 1 0 55871957 454889472 98748 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 111057 98748 1856 2271 0 105695 0
Current children cumulated CPU time: 2911.71 s
Current children cumulated vsize: 451212 KiB
Current children cumulated memory: 399344 KiB
[startup+2918.5 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 51996
/proc/meminfo: memFree=129507600/131250000 swapFree=33007332/33010684
[pid=51658] ppid=51655 vsize=4324 memory=2944 CPUtime=2392.68 cores=5,7
/proc/51658/stat : 51658 (Hybrid-NuPBODee) S 51655 51658 50769 0 -1 4194304 283 38434 0 0 0 0 239262 6 20 0 1 0 55632154 4427776 736 18446744073709551615 94668321099776 94668321994309 140736831060960 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94668322233360 94668322281104 94668344160256 140736831068507 140736831068659 140736831068659 140736831074261 0
/proc/51658/statm: 1081 736 672 219 0 143 0
[pid=51971] ppid=51658 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/51971/stat : 51971 (timeout) S 51658 51971 50769 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55871956 2723840 352 18446744073709551615 94200675913728 94200675930241 140721728389296 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94200675945008 94200675947096 94200696500224 140721728391555 140721728391714 140721728391714 140721728397287 0
/proc/51971/statm: 665 352 352 5 0 90 0
[pid=51972] ppid=51971 vsize=444228 memory=394992 CPUtime=519.13 cores=5,7
/proc/51972/stat : 51972 (ExactPR-nols) R 51971 51971 50769 0 -1 4194304 57064 0 0 0 51747 166 0 0 20 0 1 0 55871957 454889472 98748 18446744073709551615 94469955887104 94469965186757 140726419148448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94469966973248 94469967012328 94469985378304 140726419155352 140726419155492 140726419155492 140726419161065 0
/proc/51972/statm: 111057 98748 1856 2271 0 105695 0
Current children cumulated CPU time: 2911.81 s
Current children cumulated vsize: 451212 KiB
Current children cumulated memory: 399344 KiB
Child status: 0
Real time (s): 2918.58
CPU time (s): 2911.88
CPU user time (s): 2910.13
CPU system time (s): 1.74825
CPU usage (%): 99.7703
Max. virtual memory (cumulated for all children) (KiB): 451212
Max. memory (cumulated for all children) (KiB): 399344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2910.13
system time used= 1.74825
maximum resident set size= 395504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 980
involuntary context switches= 2995
# summary of solver processes directly reported to runsolver:
# pid: 51658
# total CPU time (s): 2911.88
# total CPU user time (s): 2910.13
# total CPU system time (s): 1.74825
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.32577 second user time and 10.5 second system time
The end
Begin job on nodeC019 at 2025-07-01 21:52:26 IDJOB=4497175 IDBENCH=148155 IDSOLVER=3332 FILE ID=nodeC019/4497175-1751399546 RUNJOBID= nodeC019-1751393480-50782 SLURM_JOB_ID= 9598259 Free space on /tmp= 432964 MiB SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497175-1751399546/watcher-4497175-1751399546 -o /tmp/evaluation-result-4497175-1751399546/solver-4497175-1751399546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751393480-50782 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497175-1751399546.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768 RANDOM SEED=1624043413 nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.702 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.964 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.008 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.672 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.455 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.738 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.712 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129894788 kB MemAvailable: 129690924 kB Buffers: 904 kB Cached: 602968 kB SwapCached: 436 kB Active: 241544 kB Inactive: 468172 kB Active(anon): 93200 kB Inactive(anon): 27808 kB Active(file): 148344 kB Inactive(file): 440364 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 28476 kB Writeback: 0 kB AnonPages: 108752 kB Mapped: 137192 kB Shmem: 15164 kB KReclaimable: 93336 kB Slab: 179736 kB SReclaimable: 93336 kB SUnreclaim: 86400 kB KernelStack: 4432 kB PageTables: 3376 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 457308 kB VmallocTotal: 34359738367 kB VmallocUsed: 150632 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432936 MiB End job on nodeC019 at 2025-07-01 22:41:05