Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | 3165 | 3585.83 | 3597.07 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb |
| MD5SUM | d7ece7e3292f38d08ee869a6ef2ad2c1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3165 |
| Best CPU time to get the best result obtained on this benchmark | 3585.69 |
| 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 | 12650 |
| Total number of constraints | 12650 |
| Number of constraints which are clauses | 12650 |
| 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 | 4 |
| Maximum length of a constraint | 4 |
| Number of terms in the objective function | 12650 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 12650 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 12650 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4520582-1751553937.opb>
0.00/0.04 c original problem has 12650 variables (12650 bin, 0 int, 0 impl, 0 cont) and 12650 constraints
0.00/0.04 c problem read in 0.04
0.00/0.08 o 12650
0.00/0.08 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 1.265000e+04
0.00/0.08 c presolving:
0.09/0.11 c (0.1s) running MILP presolver
0.09/0.13 c (0.1s) MILP presolver found nothing
0.09/0.15 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12650 upgd conss, 0 impls, 0 clqs
0.09/0.19 c (0.2s) probing: 51/12650 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.20 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.22 c (0.2s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
0.19/0.25 c dynamic symmetry handling statistics:
0.19/0.25 c orbitopal reduction: no components
0.19/0.25 c orbital reduction: 1 components of sizes 2
0.19/0.25 c lexicographic reduction: 2 permutations with support sizes 12650, 12650
0.19/0.25 c handled 1 out of 1 symmetry components
0.19/0.25 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.19/0.25 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 0 implications, 0 cliques
0.19/0.25 c presolved problem has 12650 variables (12650 bin, 0 int, 0 impl, 0 cont) and 12650 constraints
0.19/0.25 c 12650 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.18
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 10.0.0
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.25 c limits/time = 3596.99801
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.25 c limits/memory = 27900
0.19/0.25 c
0.19/0.25 c # belongs reading time to solving time?
0.19/0.25 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c timing/reading = TRUE
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.26 c transformed 1/1 original solutions to the transformed problem space
0.19/0.26 c
0.29/0.34 o 3242
0.29/0.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.34 c p 0.3s| 1 | 0 | 0 | - | locks| 0 | 12k| 12k| 12k| 0 | 0 | 0 | 0 | 0.000000e+00 | 3.242000e+03 | Inf | unknown
1211.84/1215.66 c 1216s| 1 | 0 |520111 | - | 173M | 0 | 12k| 12k| 12k| 0 | 0 | 0 | 0 | 3.162500e+03 | 3.242000e+03 | 2.51%| unknown
1488.48/1493.19 c 1493s| 1 | 2 |636535 | - | 202M | 0 | 12k| 12k| 12k| 0 | 1 | 0 | 34 | 3.162514e+03 | 3.242000e+03 | 2.51%| unknown
1743.28/1748.71 o 3241
1743.28/1748.71 c r1749s| 6 | 3 |662449 |28467.6 |rounding| 4 | 12k| 12k| 12k| 0 | 0 | 0 | 147 | 3.162750e+03 | 3.241000e+03 | 2.47%| 50.09%
1810.77/1816.41 o 3168
1810.77/1816.41 c i1816s| 7 | 4 |662530 |23736.5 | oneopt| 5 | 12k| 12k| 12k| 0 | 0 | 0 | 190 | 3.162750e+03 | 3.168000e+03 | 0.17%| 50.09%
2362.73/2370.18 o 3165
2362.73/2370.18 c d2370s| 11 | 10 |741175 |22106.4 |pscostdi| 7 | 12k| 12k| 12k| 0 | 1 | 0 | 407 | 3.163000e+03 | 3.165000e+03 | 0.06%| 50.36%
3585.76/3597.01 c
3585.76/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.76/3597.01 c Solving Time (sec) : 3597.00
3585.76/3597.01 c Solving Nodes : 22
3585.76/3597.01 c Primal Bound : +3.16500000000001e+03 (94 solutions)
3585.76/3597.01 c Dual Bound : +3.16300000000000e+03
3585.76/3597.01 c Gap : 0.06 %
3585.76/3597.01 s SATISFIABLE
3585.76/3597.02 v x12650 -x12649 -x12648 x12647 x12646 -x12645 -x12644 x12643 x12642 -x12641 -x12640 x12639 x12638 -x12637 -x12636 x12635 x12634
3585.76/3597.02 v -x12633 -x12632 -x12631 -x12630 -x12629 -x12628 -x12627 -x12626 -x12625 -x12624 -x12623 -x12622 -x12621 -x12620 -x12619 -x12618
3585.76/3597.02 v -x12617 -x12616 -x12615 -x12614 -x12613 -x12612 -x12611 -x12610 -x12609 -x12608 x12607 x12606 -x12605 -x12604 x12603 x12602
3585.76/3597.02 v -x12601 -x12600 x12599 x12598 -x12597 -x12596 x12595 x12594 -x12593 -x12592 x12591 x12590 -x12589 -x12588 x12587 x12586 -x12585
3585.76/3597.02 v -x12584 -x12583 -x12582 -x12581 -x12580 -x12579 -x12578 -x12577 -x12576 -x12575 -x12574 -x12573 -x12572 -x12571 -x12570
3585.76/3597.02 v -x12569 -x12568 -x12567 -x12566 -x12565 -x12564 -x12563 -x12562 -x12561 -x12560 x12559 x12558 -x12557 -x12556 x12555 x12554 -x12553
3585.76/3597.02 v -x12552 x12551 x12550 -x12549 -x12548 x12547 x12546 -x12545 -x12544 x12543 x12542 -x12541 -x12540 x12539 x12538 -x12537
3585.76/3597.02 v -x12536 -x12535 -x12534 -x12533 -x12532 -x12531 -x12530 -x12529 -x12528 -x12527 -x12526 -x12525 -x12524 -x12523 -x12522 -x12521
3585.76/3597.02 v -x12520 -x12519 -x12518 -x12517 -x12516 -x12515 -x12514 -x12513 -x12512 x12511 x12510 -x12509 -x12508 x12507 x12506 -x12505
3585.76/3597.02 v -x12504 x12503 x12502 -x12501 -x12500 x12499 x12498 -x12497 -x12496 x12495 x12494 -x12493 -x12492 x12491 x12490 -x12489 -x12488
3585.76/3597.02 v -x12487 -x12486 -x12485 -x12484 -x12483 -x12482 -x12481 -x12480 -x12479 -x12478 -x12477 -x12476 -x12475 -x12474 -x12473
3585.76/3597.02 v -x12472 -x12471 -x12470 -x12469 -x12468 -x12467 -x12466 -x12465 -x12464 x12463 x12462 -x12461 -x12460 x12459 x12458 -x12457
3585.76/3597.02 v -x12456 x12455 x12454 -x12453 -x12452 x12451 x12450 -x12449 -x12448 x12447 x12446 -x12445 -x12444 x12443 x12442 -x12441 -x12440
3585.76/3597.02 v -x12439 -x12438 -x12437 -x12436 -x12435 -x12434 -x12433 -x12432 -x12431 -x12430 -x12429 -x12428 -x12427 -x12426 -x12425 -x12424
3585.76/3597.02 v -x12423 -x12422 -x12421 -x12420 -x12419 -x12418 -x12417 -x12416 x12415 x12414 -x12413 -x12412 x12411 x12410 -x12409 -x12408
3585.76/3597.02 v x12407 x12406 -x12405 -x12404 x12403 x12402 -x12401 -x12400 x12399 x12398 -x12397 -x12396 x12395 x12394 -x12393 -x12392
3585.76/3597.02 v -x12391 -x12390 -x12389 -x12388 -x12387 -x12386 -x12385 -x12384 -x12383 -x12382 -x12381 -x12380 -x12379 -x12378 -x12377 -x12376
3585.76/3597.02 v -x12375 -x12374 -x12373 -x12372 -x12371 -x12370 -x12369 -x12368 x12367 x12366 -x12365 -x12364 x12363 x12362 -x12361 -x12360
3585.76/3597.02 v x12359 x12358 -x12357 -x12356 x12355 x12354 -x12353 -x12352 x12351 x12350 -x12349 -x12348 x12347 x12346 -x12345 -x12344 -x12343
3585.76/3597.02 v -x12342 -x12341 -x12340 -x12339 -x12338 -x12337 -x12336 -x12335 -x12334 -x12333 -x12332 -x12331 -x12330 -x12329 -x12328
3585.76/3597.02 v -x12327 -x12326 -x12325 -x12324 -x12323 -x12322 -x12321 -x12320 x12319 x12318 -x12317 -x12316 x12315 x12314 -x12313 -x12312
3585.76/3597.02 v x12311 x12310 -x12309 -x12308 x12307 x12306 -x12305 -x12304 x12303 x12302 -x12301 -x12300 x12299 x12298 -x12297 -x12296 -x12295
3585.76/3597.02 v -x12294 -x12293 -x12292 -x12291 -x12290 -x12289 -x12288 -x12287 -x12286 -x12285 -x12284 -x12283 -x12282 -x12281 -x12280 -x12279
3585.76/3597.02 v -x12278 -x12277 -x12276 -x12275 -x12274 -x12273 -x12272 x12271 x12270 -x12269 -x12268 x12267 x12266 -x12265 -x12264 x12263
3585.76/3597.02 v x12262 -x12261 -x12260 x12259 x12258 -x12257 -x12256 x12255 x12254 -x12253 -x12252 x12251 x12250 -x12249 -x12248 -x12247
3585.76/3597.02 v -x12246 -x12245 -x12244 -x12243 -x12242 -x12241 -x12240 -x12239 -x12238 -x12237 -x12236 -x12235 -x12234 -x12233 -x12232 -x12231
3585.76/3597.02 v -x12230 -x12229 -x12228 -x12227 -x12226 -x12225 -x12224 x12223 x12222 -x12221 -x12220 x12219 x12218 -x12217 -x12216 x12215
3585.76/3597.02 v x12214 -x12213 -x12212 x12211 x12210 -x12209 -x12208 x12207 x12206 -x12205 -x12204 x12203 x12202 -x12201 -x12200 -x12199 -x12198
3585.76/3597.02 v -x12197 -x12196 -x12195 -x12194 -x12193 -x12192 -x12191 -x12190 -x12189 -x12188 -x12187 -x12186 -x12185 -x12184 -x12183
3585.76/3597.02 v -x12182 -x12181 -x12180 -x12179 -x12178 -x12177 -x12176 x12175 x12174 -x12173 -x12172 x12171 x12170 -x12169 -x12168 x12167 x12166
3585.76/3597.02 v -x12165 -x12164 x12163 x12162 -x12161 -x12160 x12159 x12158 -x12157 -x12156 x12155 x12154 -x12153 -x12152 -x12151 -x12150
3585.76/3597.02 v -x12149 -x12148 -x12147 -x12146 -x12145 -x12144 -x12143 -x12142 -x12141 -x12140 -x12139 -x12138 -x12137 -x12136 -x12135 -x12134
3585.76/3597.02 v -x12133 -x12132 -x12131 -x12130 -x12129 -x12128 x12127 x12126 -x12125 -x12124 x12123 x12122 -x12121 -x12120 x12119 x12118
3585.76/3597.02 v -x12117 -x12116 x12115 x12114 -x12113 -x12112 x12111 x12110 -x12109 -x12108 x12107 x12106 -x12105 -x12104 -x12103 -x12102 -x12101
3585.76/3597.02 v -x12100 -x12099 -x12098 -x12097 -x12096 -x12095 -x12094 -x12093 -x12092 -x12091 -x12090 -x12089 -x12088 -x12087 -x12086
3585.76/3597.02 v -x12085 -x12084 -x12083 -x12082 -x12081 -x12080 x12079 x12078 -x12077 -x12076 x12075 x12074 -x12073 -x12072 x12071 x12070 -x12069
3585.76/3597.02 v -x12068 x12067 x12066 -x12065 -x12064 x12063 x12062 -x12061 -x12060 x12059 x12058 -x12057 -x12056 -x12055 -x12054 -x12053
3585.76/3597.02 v -x12052 -x12051 -x12050 -x12049 -x12048 -x12047 -x12046 -x12045 -x12044 -x12043 -x12042 -x12041 -x12040 -x12039 -x12038 -x12037
3585.76/3597.02 v -x12036 -x12035 -x12034 -x12033 -x12032 x12031 x12030 -x12029 -x12028 x12027 x12026 -x12025 -x12024 x12023 x12022 -x12021
3585.76/3597.02 v -x12020 x12019 x12018 -x12017 -x12016 x12015 x12014 -x12013 -x12012 x12011 x12010 -x12009 -x12008 -x12007 -x12006 -x12005
3585.76/3597.02 v -x12004 -x12003 -x12002 -x12001 -x12000 -x11999 -x11998 -x11997 -x11996 -x11995 -x11994 -x11993 -x11992 -x11991 -x11990 -x11989
3585.76/3597.02 v -x11988 -x11987 -x11986 -x11985 -x11984 x11983 x11982 -x11981 -x11980 x11979 x11978 -x11977 -x11976 x11975 x11974 -x11973
3585.76/3597.02 v -x11972 x11971 x11970 -x11969 -x11968 x11967 x11966 -x11965 -x11964 x11963 x11962 -x11961 -x11960 -x11959 -x11958 -x11957 -x11956
3585.76/3597.02 v -x11955 -x11954 -x11953 -x11952 -x11951 -x11950 -x11949 -x11948 -x11947 -x11946 -x11945 -x11944 -x11943 -x11942 -x11941
3585.76/3597.02 v -x11940 -x11939 -x11938 -x11937 -x11936 x11935 x11934 -x11933 -x11932 x11931 x11930 -x11929 -x11928 x11927 x11926 -x11925 -x11924
3585.76/3597.02 v x11923 x11922 -x11921 -x11920 x11919 x11918 -x11917 -x11916 x11915 x11914 -x11913 -x11912 -x11911 -x11910 -x11909 -x11908
3585.76/3597.02 v -x11907 -x11906 -x11905 -x11904 -x11903 -x11902 -x11901 -x11900 -x11899 -x11898 -x11897 -x11896 -x11895 -x11894 -x11893 -x11892
3585.76/3597.02 v -x11891 -x11890 -x11889 -x11888 x11887 x11886 -x11885 -x11884 x11883 x11882 -x11881 -x11880 x11879 x11878 -x11877 -x11876
3585.76/3597.02 v x11875 x11874 -x11873 -x11872 x11871 x11870 -x11869 -x11868 x11867 x11866 -x11865 -x11864 -x11863 -x11862 -x11861 -x11860
3585.76/3597.02 v -x11859 -x11858 -x11857 -x11856 -x11855 -x11854 -x11853 -x11852 -x11851 -x11850 -x11849 -x11848 -x11847 -x11846 -x11845 -x11844
3585.76/3597.02 v -x11843 -x11842 -x11841 -x11840 x11839 x11838 -x11837 -x11836 x11835 x11834 -x11833 -x11832 x11831 x11830 -x11829 -x11828
3585.76/3597.02 v x11827 x11826 -x11825 -x11824 x11823 x11822 -x11821 -x11820 x11819 x11818 -x11817 -x11816 -x11815 -x11814 -x11813 -x11812 -x11811
3585.76/3597.02 v -x11810 -x11809 -x11808 -x11807 -x11806 -x11805 -x11804 -x11803 -x11802 -x11801 -x11800 -x11799 -x11798 -x11797 -x11796
3585.76/3597.02 v -x11795 -x11794 -x11793 -x11792 x11791 x11790 -x11789 -x11788 x11787 x11786 -x11785 -x11784 x11783 x11782 -x11781 -x11780 x11779
3585.76/3597.02 v x11778 -x11777 -x11776 x11775 x11774 -x11773 -x11772 x11771 x11770 -x11769 -x11768 -x11767 -x11766 -x11765 -x11764 -x11763
3585.76/3597.02 v -x11762 -x11761 -x11760 -x11759 -x11758 -x11757 -x11756 -x11755 -x11754 -x11753 -x11752 -x11751 -x11750 -x11749 -x11748 -x11747
3585.76/3597.02 v -x11746 -x11745 -x11744 x11743 x11742 -x11741 -x11740 x11739 x11738 -x11737 -x11736 x11735 x11734 -x11733 -x11732 x11731
3585.76/3597.02 v x11730 -x11729 -x11728 x11727 x11726 -x11725 -x11724 x11723 x11722 -x11721 -x11720 -x11719 -x11718 -x11717 -x11716 -x11715 -x11714
3585.76/3597.02 v -x11713 -x11712 -x11711 -x11710 -x11709 -x11708 -x11707 -x11706 -x11705 -x11704 -x11703 -x11702 -x11701 -x11700 -x11699
3585.76/3597.02 v -x11698 -x11697 -x11696 x11695 x11694 -x11693 -x11692 x11691 x11690 -x11689 -x11688 x11687 x11686 -x11685 -x11684 x11683 x11682
3585.76/3597.02 v -x11681 -x11680 x11679 x11678 -x11677 -x11676 x11675 x11674 -x11673 -x11672 -x11671 -x11670 -x11669 -x11668 -x11667 -x11666
3585.76/3597.02 v -x11665 -x11664 -x11663 -x11662 -x11661 -x11660 -x11659 -x11658 -x11657 -x11656 -x11655 -x11654 -x11653 -x11652 -x11651 -x11650
3585.76/3597.02 v -x11649 -x11648 x11647 x11646 -x11645 -x11644 x11643 x11642 -x11641 -x11640 x11639 x11638 -x11637 -x11636 x11635 x11634
3585.76/3597.02 v -x11633 -x11632 x11631 x11630 -x11629 -x11628 x11627 x11626 -x11625 -x11624 -x11623 -x11622 -x11621 -x11620 -x11619 -x11618
3585.76/3597.02 v -x11617 -x11616 -x11615 -x11614 -x11613 -x11612 -x11611 -x11610 -x11609 -x11608 -x11607 -x11606 -x11605 -x11604 -x11603 -x11602
3585.76/3597.02 v -x11601 -x11600 x11599 x11598 -x11597 -x11596 x11595 x11594 -x11593 -x11592 x11591 x11590 -x11589 -x11588 x11587 x11586 -x11585
3585.76/3597.02 v -x11584 x11583 x11582 -x11581 -x11580 x11579 x11578 -x11577 -x11576 -x11575 -x11574 -x11573 -x11572 -x11571 -x11570 -x11569
3585.76/3597.02 v -x11568 -x11567 -x11566 -x11565 -x11564 -x11563 -x11562 -x11561 -x11560 -x11559 -x11558 -x11557 -x11556 -x11555 -x11554
3585.76/3597.02 v -x11553 -x11552 x11551 x11550 -x11549 -x11548 x11547 x11546 -x11545 -x11544 x11543 x11542 -x11541 -x11540 x11539 x11538 -x11537
3585.76/3597.02 v -x11536 x11535 x11534 -x11533 -x11532 x11531 x11530 -x11529 -x11528 -x11527 -x11526 -x11525 -x11524 -x11523 -x11522 -x11521
3585.76/3597.02 v -x11520 -x11519 -x11518 -x11517 -x11516 -x11515 -x11514 -x11513 -x11512 -x11511 -x11510 -x11509 -x11508 -x11507 -x11506 -x11505
3585.76/3597.02 v -x11504 x11503 x11502 -x11501 -x11500 x11499 x11498 -x11497 -x11496 x11495 x11494 -x11493 -x11492 x11491 x11490 -x11489
3585.76/3597.02 v -x11488 x11487 x11486 -x11485 -x11484 x11483 x11482 -x11481 -x11480 -x11479 -x11478 -x11477 -x11476 -x11475 -x11474 -x11473
3585.76/3597.02 v -x11472 -x11471 -x11470 -x11469 -x11468 -x11467 -x11466 -x11465 -x11464 -x11463 -x11462 -x11461 -x11460 -x11459 -x11458 -x11457
3585.76/3597.02 v -x11456 x11455 x11454 -x11453 -x11452 x11451 x11450 -x11449 -x11448 x11447 x11446 -x11445 -x11444 x11443 x11442 -x11441 -x11440
3585.76/3597.02 v x11439 x11438 -x11437 -x11436 x11435 x11434 -x11433 -x11432 -x11431 -x11430 -x11429 -x11428 -x11427 -x11426 -x11425 -x11424
3585.76/3597.02 v -x11423 -x11422 -x11421 -x11420 -x11419 -x11418 -x11417 -x11416 -x11415 -x11414 -x11413 -x11412 -x11411 -x11410 -x11409
3585.76/3597.02 v -x11408 x11407 x11406 -x11405 -x11404 x11403 x11402 -x11401 -x11400 x11399 x11398 -x11397 -x11396 x11395 x11394 -x11393 -x11392
3585.76/3597.02 v x11391 x11390 -x11389 -x11388 x11387 x11386 -x11385 -x11384 -x11383 -x11382 -x11381 -x11380 -x11379 -x11378 -x11377 -x11376
3585.76/3597.02 v -x11375 -x11374 -x11373 -x11372 -x11371 -x11370 -x11369 -x11368 -x11367 -x11366 -x11365 -x11364 -x11363 -x11362 -x11361 -x11360
3585.76/3597.02 v x11359 x11358 -x11357 -x11356 x11355 x11354 -x11353 -x11352 x11351 x11350 -x11349 -x11348 x11347 x11346 -x11345 -x11344
3585.76/3597.02 v x11343 x11342 -x11341 -x11340 x11339 x11338 -x11337 -x11336 -x11335 -x11334 -x11333 -x11332 -x11331 -x11330 -x11329 -x11328 -x11327
3585.76/3597.02 v -x11326 -x11325 -x11324 -x11323 -x11322 -x11321 -x11320 -x11319 -x11318 -x11317 -x11316 -x11315 -x11314 -x11313 -x11312
3585.76/3597.02 v x11311 x11310 -x11309 -x11308 x11307 x11306 -x11305 -x11304 x11303 x11302 -x11301 -x11300 x11299 x11298 -x11297 -x11296 x11295
3585.76/3597.02 v x11294 -x11293 -x11292 x11291 x11290 -x11289 -x11288 -x11287 -x11286 -x11285 -x11284 -x11283 -x11282 -x11281 -x11280 -x11279
3585.76/3597.02 v -x11278 -x11277 -x11276 -x11275 -x11274 -x11273 -x11272 -x11271 -x11270 -x11269 -x11268 -x11267 -x11266 -x11265 -x11264 x11263
3585.76/3597.02 v x11262 -x11261 -x11260 x11259 x11258 -x11257 -x11256 x11255 x11254 -x11253 -x11252 x11251 x11250 -x11249 -x11248 x11247
3585.76/3597.02 v x11246 -x11245 -x11244 x11243 x11242 -x11241 -x11240 -x11239 -x11238 -x11237 -x11236 -x11235 -x11234 -x11233 -x11232 -x11231
3585.76/3597.02 v -x11230 -x11229 -x11228 -x11227 -x11226 -x11225 -x11224 -x11223 -x11222 -x11221 -x11220 -x11219 -x11218 -x11217 -x11216 x11215
3585.76/3597.02 v x11214 -x11213 -x11212 x11211 x11210 -x11209 -x11208 x11207 x11206 -x11205 -x11204 x11203 x11202 -x11201 -x11200 x11199 x11198
3585.76/3597.02 v -x11197 -x11196 x11195 x11194 -x11193 -x11192 -x11191 -x11190 -x11189 -x11188 -x11187 -x11186 -x11185 -x11184 -x11183 -x11182
3585.76/3597.02 v -x11181 -x11180 -x11179 -x11178 -x11177 -x11176 -x11175 -x11174 -x11173 -x11172 -x11171 -x11170 -x11169 -x11168 x11167
3585.76/3597.02 v x11166 -x11165 -x11164 x11163 x11162 -x11161 -x11160 x11159 x11158 -x11157 -x11156 x11155 x11154 -x11153 -x11152 x11151 x11150
3585.76/3597.02 v -x11149 -x11148 x11147 x11146 -x11145 -x11144 -x11143 -x11142 -x11141 -x11140 -x11139 -x11138 -x11137 -x11136 -x11135 -x11134
3585.76/3597.02 v -x11133 -x11132 -x11131 -x11130 -x11129 -x11128 -x11127 -x11126 -x11125 -x11124 -x11123 -x11122 -x11121 -x11120 x11119 x11118
3585.76/3597.02 v -x11117 -x11116 x11115 x11114 -x11113 -x11112 x11111 x11110 -x11109 -x11108 x11107 x11106 -x11105 -x11104 x11103 x11102 -x11101
3585.76/3597.02 v -x11100 x11099 x11098 -x11097 -x11096 -x11095 -x11094 -x11093 -x11092 -x11091 -x11090 -x11089 -x11088 -x11087 -x11086
3585.76/3597.02 v -x11085 -x11084 -x11083 -x11082 -x11081 -x11080 -x11079 -x11078 -x11077 -x11076 -x11075 -x11074 -x11073 -x11072 x11071 x11070
3585.76/3597.02 v -x11069 -x11068 x11067 x11066 -x11065 -x11064 x11063 x11062 -x11061 -x11060 x11059 x11058 -x11057 -x11056 x11055 x11054 -x11053
3585.76/3597.02 v -x11052 x11051 x11050 -x11049 -x11048 -x11047 -x11046 -x11045 -x11044 -x11043 -x11042 -x11041 -x11040 -x11039 -x11038 -x11037
3585.76/3597.02 v -x11036 -x11035 -x11034 -x11033 -x11032 -x11031 -x11030 -x11029 -x11028 -x11027 -x11026 -x11025 -x11024 x11023 x11022 -x11021
3585.76/3597.02 v -x11020 x11019 x11018 -x11017 -x11016 x11015 x11014 -x11013 -x11012 x11011 x11010 -x11009 -x11008 x11007 x11006 -x11005
3585.76/3597.02 v -x11004 x11003 x11002 -x11001 -x11000 -x10999 -x10998 -x10997 -x10996 -x10995 -x10994 -x10993 -x10992 -x10991 -x10990 -x10989
3585.76/3597.02 v -x10988 -x10987 -x10986 -x10985 -x10984 -x10983 -x10982 -x10981 -x10980 -x10979 -x10978 -x10977 -x10976 x10975 x10974 -x10973
3585.76/3597.02 v -x10972 x10971 x10970 -x10969 -x10968 x10967 x10966 -x10965 -x10964 x10963 x10962 -x10961 -x10960 x10959 x10958 -x10957 -x10956
3585.76/3597.02 v x10955 x10954 -x10953 -x10952 -x10951 -x10950 -x10949 -x10948 -x10947 -x10946 -x10945 -x10944 -x10943 -x10942 -x10941 -x10940
3585.76/3597.02 v -x10939 -x10938 -x10937 -x10936 -x10935 -x10934 -x10933 -x10932 -x10931 -x10930 -x10929 -x10928 x10927 x10926 -x10925
3585.76/3597.02 v -x10924 x10923 x10922 -x10921 -x10920 x10919 x10918 -x10917 -x10916 x10915 x10914 -x10913 -x10912 x10911 x10910 -x10909 -x10908
3585.76/3597.02 v x10907 x10906 -x10905 -x10904 -x10903 -x10902 -x10901 -x10900 -x10899 -x10898 -x10897 -x10896 -x10895 -x10894 -x10893 -x10892
3585.76/3597.02 v -x10891 -x10890 -x10889 -x10888 -x10887 -x10886 -x10885 -x10884 -x10883 -x10882 -x10881 -x10880 x10879 x10878 -x10877 -x10876
3585.76/3597.02 v x10875 x10874 -x10873 -x10872 x10871 x10870 -x10869 -x10868 x10867 x10866 -x10865 -x10864 x10863 x10862 -x10861 -x10860
3585.76/3597.02 v x10859 x10858 -x10857 -x10856 -x10855 -x10854 -x10853 -x10852 -x10851 -x10850 -x10849 -x10848 -x10847 -x10846 -x10845 -x10844
3585.76/3597.02 v -x10843 -x10842 -x10841 -x10840 -x10839 -x10838 -x10837 -x10836 -x10835 -x10834 -x10833 -x10832 x10831 x10830 -x10829 -x10828
3585.76/3597.02 v x10827 x10826 -x10825 -x10824 x10823 x10822 -x10821 -x10820 x10819 x10818 -x10817 -x10816 x10815 x10814 -x10813 -x10812 x10811
3585.76/3597.02 v x10810 -x10809 -x10808 -x10807 -x10806 -x10805 -x10804 -x10803 -x10802 -x10801 -x10800 -x10799 -x10798 -x10797 -x10796 -x10795
3585.76/3597.02 v -x10794 -x10793 -x10792 -x10791 -x10790 -x10789 -x10788 -x10787 -x10786 -x10785 -x10784 x10783 x10782 -x10781 -x10780 x10779
3585.76/3597.02 v x10778 -x10777 -x10776 x10775 x10774 -x10773 -x10772 x10771 x10770 -x10769 -x10768 x10767 x10766 -x10765 -x10764 x10763
3585.76/3597.02 v x10762 -x10761 -x10760 -x10759 -x10758 -x10757 -x10756 -x10755 -x10754 -x10753 -x10752 -x10751 -x10750 -x10749 -x10748 -x10747
3585.76/3597.02 v -x10746 -x10745 -x10744 -x10743 -x10742 -x10741 -x10740 -x10739 -x10738 -x10737 -x10736 x10735 x10734 -x10733 -x10732 x10731
3585.76/3597.02 v x10730 -x10729 -x10728 x10727 x10726 -x10725 -x10724 x10723 x10722 -x10721 -x10720 x10719 x10718 -x10717 -x10716 x10715 x10714
3585.76/3597.02 v -x10713 -x10712 -x10711 -x10710 -x10709 -x10708 -x10707 -x10706 -x10705 -x10704 -x10703 -x10702 -x10701 -x10700 -x10699
3585.76/3597.02 v -x10698 -x10697 -x10696 -x10695 -x10694 -x10693 -x10692 -x10691 -x10690 -x10689 -x10688 x10687 x10686 -x10685 -x10684 x10683
3585.76/3597.02 v x10682 -x10681 -x10680 x10679 x10678 -x10677 -x10676 x10675 x10674 -x10673 -x10672 x10671 x10670 -x10669 -x10668 x10667 x10666
3585.76/3597.02 v -x10665 -x10664 -x10663 -x10662 -x10661 -x10660 -x10659 -x10658 -x10657 -x10656 -x10655 -x10654 -x10653 -x10652 -x10651 -x10650
3585.76/3597.02 v -x10649 -x10648 -x10647 -x10646 -x10645 -x10644 -x10643 -x10642 -x10641 -x10640 x10639 x10638 -x10637 -x10636 x10635 x10634
3585.76/3597.02 v -x10633 -x10632 x10631 x10630 -x10629 -x10628 x10627 x10626 -x10625 -x10624 x10623 x10622 -x10621 -x10620 x10619 x10618 -x10617
3585.76/3597.02 v -x10616 -x10615 -x10614 -x10613 -x10612 -x10611 -x10610 -x10609 -x10608 -x10607 -x10606 -x10605 -x10604 -x10603 -x10602
3585.76/3597.02 v -x10601 -x10600 -x10599 -x10598 -x10597 -x10596 -x10595 -x10594 -x10593 -x10592 x10591 x10590 -x10589 -x10588 x10587 x10586
3585.76/3597.02 v -x10585 -x10584 x10583 x10582 -x10581 -x10580 x10579 x10578 -x10577 -x10576 x10575 x10574 -x10573 -x10572 x10571 x10570 -x10569
3585.76/3597.02 v -x10568 -x10567 -x10566 -x10565 -x10564 -x10563 -x10562 -x10561 -x10560 -x10559 -x10558 -x10557 -x10556 -x10555 -x10554 -x10553
3585.76/3597.02 v -x10552 -x10551 -x10550 -x10549 -x10548 -x10547 -x10546 -x10545 -x10544 x10543 x10542 -x10541 -x10540 x10539 x10538 -x10537
3585.76/3597.02 v -x10536 x10535 x10534 -x10533 -x10532 x10531 x10530 -x10529 -x10528 x10527 x10526 -x10525 -x10524 x10523 x10522 -x10521
3585.76/3597.02 v -x10520 -x10519 -x10518 -x10517 -x10516 -x10515 -x10514 -x10513 -x10512 -x10511 -x10510 -x10509 -x10508 -x10507 -x10506 -x10505
3585.76/3597.02 v -x10504 -x10503 -x10502 -x10501 -x10500 -x10499 -x10498 -x10497 -x10496 x10495 x10494 -x10493 -x10492 x10491 x10490 -x10489
3585.76/3597.02 v -x10488 x10487 x10486 -x10485 -x10484 x10483 x10482 -x10481 -x10480 x10479 x10478 -x10477 -x10476 x10475 x10474 -x10473 -x10472
3585.76/3597.02 v -x10471 -x10470 -x10469 -x10468 -x10467 -x10466 -x10465 -x10464 -x10463 -x10462 -x10461 -x10460 -x10459 -x10458 -x10457
3585.76/3597.02 v -x10456 -x10455 -x10454 -x10453 -x10452 -x10451 -x10450 -x10449 -x10448 x10447 x10446 -x10445 -x10444 x10443 x10442 -x10441
3585.76/3597.02 v -x10440 x10439 x10438 -x10437 -x10436 x10435 x10434 -x10433 -x10432 x10431 x10430 -x10429 -x10428 x10427 x10426 -x10425 -x10424
3585.76/3597.02 v -x10423 -x10422 -x10421 -x10420 -x10419 -x10418 -x10417 -x10416 -x10415 -x10414 -x10413 -x10412 -x10411 -x10410 -x10409 -x10408
3585.76/3597.02 v -x10407 -x10406 -x10405 -x10404 -x10403 -x10402 -x10401 -x10400 x10399 x10398 -x10397 -x10396 x10395 x10394 -x10393 -x10392
3585.76/3597.02 v x10391 x10390 -x10389 -x10388 x10387 x10386 -x10385 -x10384 x10383 x10382 -x10381 -x10380 x10379 x10378 -x10377 -x10376
3585.76/3597.02 v -x10375 -x10374 -x10373 -x10372 -x10371 -x10370 -x10369 -x10368 -x10367 -x10366 -x10365 -x10364 -x10363 -x10362 -x10361 -x10360
3585.76/3597.02 v -x10359 -x10358 -x10357 -x10356 -x10355 -x10354 -x10353 -x10352 x10351 x10350 -x10349 -x10348 x10347 x10346 -x10345 -x10344
3585.76/3597.02 v x10343 x10342 -x10341 -x10340 x10339 x10338 -x10337 -x10336 x10335 x10334 -x10333 -x10332 x10331 x10330 -x10329 -x10328 -x10327
3585.76/3597.02 v -x10326 -x10325 -x10324 -x10323 -x10322 -x10321 -x10320 -x10319 -x10318 -x10317 -x10316 -x10315 -x10314 -x10313 -x10312
3585.76/3597.02 v -x10311 -x10310 -x10309 -x10308 -x10307 -x10306 -x10305 -x10304 x10303 x10302 -x10301 -x10300 x10299 x10298 -x10297 -x10296 x10295
3585.76/3597.02 v x10294 -x10293 -x10292 x10291 x10290 -x10289 -x10288 x10287 x10286 -x10285 -x10284 x10283 x10282 -x10281 -x10280 -x10279
3585.76/3597.02 v -x10278 -x10277 -x10276 -x10275 -x10274 -x10273 -x10272 -x10271 -x10270 -x10269 -x10268 -x10267 -x10266 -x10265 -x10264 -x10263
3585.76/3597.02 v -x10262 -x10261 -x10260 -x10259 -x10258 -x10257 -x10256 x10255 x10254 -x10253 -x10252 x10251 x10250 -x10249 -x10248 x10247
3585.76/3597.02 v x10246 -x10245 -x10244 x10243 x10242 -x10241 -x10240 x10239 x10238 -x10237 -x10236 x10235 x10234 -x10233 -x10232 -x10231 -x10230
3585.76/3597.02 v -x10229 -x10228 -x10227 -x10226 -x10225 -x10224 -x10223 -x10222 -x10221 -x10220 -x10219 -x10218 -x10217 -x10216 -x10215
3585.76/3597.02 v -x10214 -x10213 -x10212 -x10211 -x10210 -x10209 -x10208 x10207 x10206 -x10205 -x10204 x10203 x10202 -x10201 -x10200 x10199
3585.76/3597.02 v x10198 -x10197 -x10196 x10195 x10194 -x10193 -x10192 x10191 x10190 -x10189 -x10188 x10187 x10186 -x10185 -x10184 -x10183 -x10182
3585.76/3597.02 v -x10181 -x10180 -x10179 -x10178 -x10177 -x10176 -x10175 -x10174 -x10173 -x10172 -x10171 -x10170 -x10169 -x10168 -x10167 -x10166
3585.76/3597.02 v -x10165 -x10164 -x10163 -x10162 -x10161 -x10160 x10159 x10158 -x10157 -x10156 x10155 x10154 -x10153 -x10152 x10151 x10150
3585.76/3597.02 v -x10149 -x10148 x10147 x10146 -x10145 -x10144 x10143 x10142 -x10141 -x10140 x10139 x10138 -x10137 -x10136 -x10135 -x10134
3585.76/3597.02 v -x10133 -x10132 -x10131 -x10130 -x10129 -x10128 -x10127 -x10126 -x10125 -x10124 -x10123 -x10122 -x10121 -x10120 -x10119 -x10118
3585.76/3597.02 v -x10117 -x10116 -x10115 -x10114 -x10113 -x10112 x10111 x10110 -x10109 -x10108 x10107 x10106 -x10105 -x10104 x10103 x10102
3585.76/3597.02 v -x10101 -x10100 x10099 x10098 -x10097 -x10096 x10095 x10094 -x10093 -x10092 x10091 x10090 -x10089 -x10088 -x10087 -x10086 -x10085
3585.76/3597.02 v -x10084 -x10083 -x10082 -x10081 -x10080 -x10079 -x10078 -x10077 -x10076 -x10075 -x10074 -x10073 -x10072 -x10071 -x10070
3585.76/3597.02 v -x10069 -x10068 -x10067 -x10066 -x10065 -x10064 x10063 x10062 -x10061 -x10060 x10059 x10058 -x10057 -x10056 x10055 x10054 -x10053
3585.76/3597.02 v -x10052 x10051 x10050 -x10049 -x10048 x10047 x10046 -x10045 -x10044 x10043 x10042 -x10041 -x10040 -x10039 -x10038 -x10037
3585.76/3597.02 v -x10036 -x10035 -x10034 -x10033 -x10032 -x10031 -x10030 -x10029 -x10028 -x10027 -x10026 -x10025 -x10024 -x10023 -x10022 -x10021
3585.76/3597.02 v -x10020 -x10019 -x10018 -x10017 -x10016 x10015 x10014 -x10013 -x10012 x10011 x10010 -x10009 -x10008 x10007 x10006 -x10005
3585.76/3597.02 v -x10004 x10003 x10002 -x10001 -x10000 x9999 x9998 -x9997 -x9996 x9995 x9994 -x9993 -x9992 -x9991 -x9990 -x9989 -x9988 -x9987
3585.76/3597.02 v -x9986 -x9985 -x9984 -x9983 -x9982 -x9981 -x9980 -x9979 -x9978 -x9977 -x9976 -x9975 -x9974 -x9973 -x9972 -x9971 -x9970 -x9969
3585.76/3597.02 v -x9968 x9967 x9966 -x9965 -x9964 x9963 x9962 -x9961 -x9960 x9959 x9958 -x9957 -x9956 x9955 x9954 -x9953 -x9952 x9951 x9950
3585.76/3597.02 v -x9949 -x9948 x9947 x9946 -x9945 -x9944 -x9943 -x9942 -x9941 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932
3585.76/3597.02 v -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924 -x9923 -x9922 -x9921 -x9920 x9919 x9918 -x9917 -x9916 x9915 x9914 -x9913
3585.76/3597.02 v -x9912 x9911 x9910 -x9909 -x9908 x9907 x9906 -x9905 -x9904 x9903 x9902 -x9901 -x9900 x9899 x9898 -x9897 -x9896 -x9895 -x9894
3585.76/3597.02 v -x9893 -x9892 -x9891 -x9890 -x9889 -x9888 -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9879 -x9878 -x9877 -x9876
3585.76/3597.02 v -x9875 -x9874 -x9873 -x9872 x9871 x9870 -x9869 -x9868 x9867 x9866 -x9865 -x9864 x9863 x9862 -x9861 -x9860 x9859 x9858 -x9857
3585.76/3597.02 v -x9856 x9855 x9854 -x9853 -x9852 x9851 x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839
3585.76/3597.02 v -x9838 -x9837 -x9836 -x9835 -x9834 -x9833 -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 x9823 x9822 -x9821
3585.76/3597.02 v -x9820 x9819 x9818 -x9817 -x9816 x9815 x9814 -x9813 -x9812 x9811 x9810 -x9809 -x9808 x9807 x9806 -x9805 -x9804 x9803 x9802
3585.76/3597.02 v -x9801 -x9800 -x9799 -x9798 -x9797 -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784
3585.76/3597.02 v -x9783 -x9782 -x9781 -x9780 -x9779 -x9778 -x9777 -x9776 x9775 x9774 -x9773 -x9772 x9771 x9770 -x9769 -x9768 x9767 x9766 -x9765
3585.76/3597.02 v -x9764 x9763 x9762 -x9761 -x9760 x9759 x9758 -x9757 -x9756 x9755 x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746
3585.76/3597.02 v -x9745 -x9744 -x9743 -x9742 -x9741 -x9740 -x9739 -x9738 -x9737 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9730 -x9729 -x9728
3585.76/3597.02 v x9727 x9726 -x9725 -x9724 x9723 x9722 -x9721 -x9720 x9719 x9718 -x9717 -x9716 x9715 x9714 -x9713 -x9712 x9711 x9710 -x9709
3585.76/3597.02 v -x9708 x9707 x9706 -x9705 -x9704 -x9703 -x9702 -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691
3585.76/3597.02 v -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 -x9683 -x9682 -x9681 -x9680 x9679 x9678 -x9677 -x9676 x9675 x9674 -x9673
3585.76/3597.02 v -x9672 x9671 x9670 -x9669 -x9668 x9667 x9666 -x9665 -x9664 x9663 x9662 -x9661 -x9660 x9659 x9658 -x9657 -x9656 -x9655 -x9654
3585.76/3597.02 v -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636
3585.76/3597.02 v -x9635 -x9634 -x9633 -x9632 x9631 x9630 -x9629 -x9628 x9627 x9626 -x9625 -x9624 x9623 x9622 -x9621 -x9620 x9619 x9618 -x9617
3585.76/3597.02 v -x9616 x9615 x9614 -x9613 -x9612 x9611 x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 -x9600 -x9599 -x9598
3585.76/3597.02 v -x9597 -x9596 -x9595 -x9594 -x9593 -x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9585 -x9584 x9583 x9582 -x9581 -x9580
3585.76/3597.02 v x9579 x9578 -x9577 -x9576 x9575 x9574 -x9573 -x9572 x9571 x9570 -x9569 -x9568 x9567 x9566 -x9565 -x9564 x9563 x9562 -x9561
3585.76/3597.02 v -x9560 -x9559 -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543
3585.76/3597.02 v -x9542 -x9541 -x9540 -x9539 -x9538 -x9537 -x9536 x9535 x9534 -x9533 -x9532 x9531 x9530 -x9529 -x9528 x9527 x9526 -x9525 -x9524
3585.76/3597.02 v x9523 x9522 -x9521 -x9520 x9519 x9518 -x9517 -x9516 x9515 x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506
3585.76/3597.02 v -x9505 -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488
3585.76/3597.02 v x9487 x9486 -x9485 -x9484 x9483 x9482 -x9481 -x9480 x9479 x9478 -x9477 -x9476 x9475 x9474 -x9473 -x9472 x9471 x9470 -x9469 -x9468
3585.76/3597.02 v x9467 x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451 -x9450
3585.76/3597.02 v -x9449 -x9448 -x9447 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 x9439 x9438 -x9437 -x9436 x9435 x9434 -x9433 -x9432
3585.76/3597.02 v x9431 x9430 -x9429 -x9428 x9427 x9426 -x9425 -x9424 x9423 x9422 -x9421 -x9420 x9419 x9418 -x9417 -x9416 -x9415 -x9414 -x9413
3585.76/3597.02 v -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 -x9395
3585.76/3597.02 v -x9394 -x9393 -x9392 x9391 x9390 -x9389 -x9388 x9387 x9386 -x9385 -x9384 x9383 x9382 -x9381 -x9380 x9379 x9378 -x9377 -x9376
3585.76/3597.02 v x9375 x9374 -x9373 -x9372 x9371 x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360 -x9359 -x9358
3585.76/3597.02 v -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 x9343 x9342 -x9341 -x9340 x9339
3585.76/3597.02 v x9338 -x9337 -x9336 x9335 x9334 -x9333 -x9332 x9331 x9330 -x9329 -x9328 x9327 x9326 -x9325 -x9324 x9323 x9322 -x9321 -x9320
3585.76/3597.02 v -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306 -x9305 -x9304 -x9303 -x9302
3585.76/3597.02 v -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 x9295 x9294 -x9293 -x9292 x9291 x9290 -x9289 -x9288 x9287 x9286 -x9285 -x9284
3585.76/3597.02 v x9283 x9282 -x9281 -x9280 x9279 x9278 -x9277 -x9276 x9275 x9274 -x9273 -x9272 -x9271 -x9270 -x9269 -x9268 -x9267 -x9266 -x9265
3585.76/3597.02 v -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252 -x9251 -x9250 -x9249 -x9248 x9247
3585.76/3597.02 v x9246 -x9245 -x9244 x9243 x9242 -x9241 -x9240 x9239 x9238 -x9237 -x9236 x9235 x9234 -x9233 -x9232 x9231 x9230 -x9229 -x9228
3585.76/3597.02 v x9227 x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215 -x9214 -x9213 -x9212 -x9211 -x9210
3585.76/3597.02 v -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 x9199 x9198 -x9197 -x9196 x9195 x9194 -x9193 -x9192 x9191
3585.76/3597.02 v x9190 -x9189 -x9188 x9187 x9186 -x9185 -x9184 x9183 x9182 -x9181 -x9180 x9179 x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172
3585.76/3597.02 v -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9163 -x9162 -x9161 -x9160 -x9159 -x9158 -x9157 -x9156 -x9155 -x9154
3585.76/3597.02 v -x9153 -x9152 x9151 x9150 -x9149 -x9148 x9147 x9146 -x9145 -x9144 x9143 x9142 -x9141 -x9140 x9139 x9138 -x9137 -x9136 x9135
3585.76/3597.02 v x9134 -x9133 -x9132 x9131 x9130 -x9129 -x9128 -x9127 -x9126 -x9125 -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117
3585.76/3597.02 v -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107 -x9106 -x9105 -x9104 x9103 x9102 -x9101 -x9100 x9099
3585.76/3597.02 v x9098 -x9097 -x9096 x9095 x9094 -x9093 -x9092 x9091 x9090 -x9089 -x9088 x9087 x9086 -x9085 -x9084 x9083 x9082 -x9081 -x9080 -x9079
3585.76/3597.02 v -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062
3585.76/3597.02 v -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 x9055 x9054 -x9053 -x9052 x9051 x9050 -x9049 -x9048 x9047 x9046 -x9045 -x9044 x9043
3585.76/3597.02 v x9042 -x9041 -x9040 x9039 x9038 -x9037 -x9036 x9035 x9034 -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024
3585.76/3597.02 v -x9023 -x9022 -x9021 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 x9007 x9006
3585.76/3597.02 v -x9005 -x9004 x9003 x9002 -x9001 -x9000 x8999 x8998 -x8997 -x8996 x8995 x8994 -x8993 -x8992 x8991 x8990 -x8989 -x8988 x8987
3585.76/3597.02 v x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969
3585.76/3597.02 v -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 -x8961 -x8960 x8959 x8958 -x8957 -x8956 x8955 x8954 -x8953 -x8952 x8951 x8950
3585.76/3597.02 v -x8949 -x8948 x8947 x8946 -x8945 -x8944 x8943 x8942 -x8941 -x8940 x8939 x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931
3585.76/3597.02 v -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914
3585.76/3597.02 v -x8913 -x8912 x8911 x8910 -x8909 -x8908 x8907 x8906 -x8905 -x8904 x8903 x8902 -x8901 -x8900 x8899 x8898 -x8897 -x8896 x8895 x8894
3585.76/3597.02 v -x8893 -x8892 x8891 x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876
3585.76/3597.02 v -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 x8863 x8862 -x8861 -x8860 x8859 x8858
3585.76/3597.02 v -x8857 -x8856 x8855 x8854 -x8853 -x8852 x8851 x8850 -x8849 -x8848 x8847 x8846 -x8845 -x8844 x8843 x8842 -x8841 -x8840 -x8839
3585.76/3597.02 v -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 -x8822 -x8821
3585.76/3597.02 v -x8820 -x8819 -x8818 -x8817 -x8816 x8815 x8814 -x8813 -x8812 x8811 x8810 -x8809 -x8808 x8807 x8806 -x8805 -x8804 x8803 x8802
3585.76/3597.02 v -x8801 -x8800 x8799 x8798 -x8797 -x8796 x8795 x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783
3585.76/3597.02 v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 x8767 x8766 -x8765
3585.76/3597.02 v -x8764 x8763 x8762 -x8761 -x8760 x8759 x8758 -x8757 -x8756 x8755 x8754 -x8753 -x8752 x8751 x8750 -x8749 -x8748 x8747 x8746
3585.76/3597.02 v -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728
3585.76/3597.02 v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 x8719 x8718 -x8717 -x8716 x8715 x8714 -x8713 -x8712 x8711 x8710 -x8709
3585.76/3597.02 v -x8708 x8707 x8706 -x8705 -x8704 x8703 x8702 -x8701 -x8700 x8699 x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 -x8691
3585.76/3597.02 v -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673
3585.76/3597.02 v -x8672 x8671 x8670 -x8669 -x8668 x8667 x8666 -x8665 -x8664 x8663 x8662 -x8661 -x8660 x8659 x8658 -x8657 -x8656 x8655 x8654
3585.76/3597.02 v -x8653 -x8652 x8651 x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 -x8636 -x8635
3585.76/3597.02 v -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 x8623 x8622 -x8621 -x8620 x8619 x8618 -x8617
3585.76/3597.02 v -x8616 x8615 x8614 -x8613 -x8612 x8611 x8610 -x8609 -x8608 x8607 x8606 -x8605 -x8604 x8603 x8602 -x8601 -x8600 -x8599 -x8598
3585.76/3597.02 v -x8597 -x8596 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583 -x8582 -x8581 -x8580
3585.76/3597.02 v -x8579 -x8578 -x8577 -x8576 x8575 x8574 -x8573 -x8572 x8571 x8570 -x8569 -x8568 x8567 x8566 -x8565 -x8564 x8563 x8562 -x8561
3585.76/3597.02 v -x8560 x8559 x8558 -x8557 -x8556 x8555 x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543
3585.76/3597.02 v -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 x8527 x8526 -x8525
3585.76/3597.02 v -x8524 x8523 x8522 -x8521 -x8520 x8519 x8518 -x8517 -x8516 x8515 x8514 -x8513 -x8512 x8511 x8510 -x8509 -x8508 x8507 x8506 -x8505
3585.76/3597.02 v -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487
3585.76/3597.02 v -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 x8479 x8478 -x8477 -x8476 x8475 x8474 -x8473 -x8472 x8471 x8470 -x8469
3585.76/3597.02 v -x8468 x8467 x8466 -x8465 -x8464 x8463 x8462 -x8461 -x8460 x8459 x8458 -x8457 -x8456 -x8455 -x8454 -x8453 -x8452 -x8451 -x8450
3585.76/3597.02 v -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436 -x8435 -x8434 -x8433 -x8432
3585.76/3597.02 v x8431 x8430 -x8429 -x8428 x8427 x8426 -x8425 -x8424 x8423 x8422 -x8421 -x8420 x8419 x8418 -x8417 -x8416 x8415 x8414 -x8413
3585.76/3597.02 v -x8412 x8411 x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395
3585.76/3597.02 v -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 x8383 x8382 -x8381 -x8380 x8379 x8378 -x8377 -x8376
3585.76/3597.02 v x8375 x8374 -x8373 -x8372 x8371 x8370 -x8369 -x8368 x8367 x8366 -x8365 -x8364 x8363 x8362 -x8361 -x8360 -x8359 -x8358 -x8357
3585.76/3597.02 v -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339
3585.76/3597.02 v -x8338 -x8337 -x8336 x8335 x8334 -x8333 -x8332 x8331 x8330 -x8329 -x8328 x8327 x8326 -x8325 -x8324 x8323 x8322 -x8321 -x8320
3585.76/3597.02 v x8319 x8318 -x8317 -x8316 x8315 x8314 -x8313 -x8312 -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302
3585.76/3597.02 v -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 x8287 x8286 -x8285 -x8284
3585.76/3597.02 v x8283 x8282 -x8281 -x8280 x8279 x8278 -x8277 -x8276 x8275 x8274 -x8273 -x8272 x8271 x8270 -x8269 -x8268 x8267 x8266 -x8265
3585.76/3597.02 v -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247
3585.76/3597.02 v -x8246 -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 x8239 x8238 -x8237 -x8236 x8235 x8234 -x8233 -x8232 x8231 x8230 -x8229 -x8228
3585.76/3597.02 v x8227 x8226 -x8225 -x8224 x8223 x8222 -x8221 -x8220 x8219 x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209
3585.76/3597.02 v -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 x8191
3585.76/3597.02 v x8190 -x8189 -x8188 x8187 x8186 -x8185 -x8184 x8183 x8182 -x8181 -x8180 x8179 x8178 -x8177 -x8176 x8175 x8174 -x8173 -x8172
3585.76/3597.02 v x8171 x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154
3585.76/3597.02 v -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 x8143 x8142 -x8141 -x8140 x8139 x8138 -x8137 -x8136
3585.76/3597.02 v x8135 x8134 -x8133 -x8132 x8131 x8130 -x8129 -x8128 x8127 x8126 -x8125 -x8124 x8123 x8122 -x8121 -x8120 -x8119 -x8118 -x8117
3585.76/3597.02 v -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099
3585.76/3597.02 v -x8098 -x8097 -x8096 x8095 x8094 -x8093 -x8092 x8091 x8090 -x8089 -x8088 x8087 x8086 -x8085 -x8084 x8083 x8082 -x8081 -x8080
3585.76/3597.02 v x8079 x8078 -x8077 -x8076 x8075 x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061
3585.76/3597.02 v -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 x8047 x8046 -x8045 -x8044 x8043
3585.76/3597.02 v x8042 -x8041 -x8040 x8039 x8038 -x8037 -x8036 x8035 x8034 -x8033 -x8032 x8031 x8030 -x8029 -x8028 x8027 x8026 -x8025 -x8024
3585.76/3597.02 v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006
3585.76/3597.02 v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 x7999 x7998 -x7997 -x7996 x7995 x7994 -x7993 -x7992 x7991 x7990 -x7989 -x7988 x7987
3585.76/3597.02 v x7986 -x7985 -x7984 x7983 x7982 -x7981 -x7980 x7979 x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969
3585.76/3597.02 v -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 x7951
3585.76/3597.02 v x7950 -x7949 -x7948 x7947 x7946 -x7945 -x7944 x7943 x7942 -x7941 -x7940 x7939 x7938 -x7937 -x7936 x7935 x7934 -x7933 -x7932 x7931
3585.76/3597.02 v x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913
3585.76/3597.02 v -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 x7903 x7902 -x7901 -x7900 x7899 x7898 -x7897 -x7896 x7895
3585.76/3597.02 v x7894 -x7893 -x7892 x7891 x7890 -x7889 -x7888 x7887 x7886 -x7885 -x7884 x7883 x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876
3585.76/3597.02 v -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858
3585.76/3597.02 v -x7857 -x7856 x7855 x7854 -x7853 -x7852 x7851 x7850 -x7849 -x7848 x7847 x7846 -x7845 -x7844 x7843 x7842 -x7841 -x7840 x7839
3585.76/3597.02 v x7838 -x7837 -x7836 x7835 x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821
3585.76/3597.02 v -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 x7807 x7806 -x7805 -x7804 x7803 x7802
3585.76/3597.02 v -x7801 -x7800 x7799 x7798 -x7797 -x7796 x7795 x7794 -x7793 -x7792 x7791 x7790 -x7789 -x7788 x7787 x7786 -x7785 -x7784 -x7783
3585.76/3597.02 v -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765
3585.76/3597.02 v -x7764 -x7763 -x7762 -x7761 -x7760 x7759 x7758 -x7757 -x7756 x7755 x7754 -x7753 -x7752 x7751 x7750 -x7749 -x7748 x7747 x7746
3585.76/3597.02 v -x7745 -x7744 x7743 x7742 -x7741 -x7740 x7739 x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728
3585.76/3597.02 v -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 x7711 x7710
3585.76/3597.02 v -x7709 -x7708 x7707 x7706 -x7705 -x7704 x7703 x7702 -x7701 -x7700 x7699 x7698 -x7697 -x7696 x7695 x7694 -x7693 -x7692 x7691
3585.76/3597.02 v x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673
3585.76/3597.02 v -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 x7663 x7662 -x7661 -x7660 x7659 x7658 -x7657 -x7656 x7655 x7654
3585.76/3597.02 v -x7653 -x7652 x7651 x7650 -x7649 -x7648 x7647 x7646 -x7645 -x7644 x7643 x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635
3585.76/3597.02 v -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617
3585.76/3597.02 v -x7616 x7615 x7614 -x7613 -x7612 x7611 x7610 -x7609 -x7608 x7607 x7606 -x7605 -x7604 x7603 x7602 -x7601 -x7600 x7599 x7598
3585.76/3597.02 v -x7597 -x7596 x7595 x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580
3585.76/3597.02 v -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 x7567 x7566 -x7565 -x7564 x7563 x7562 -x7561
3585.76/3597.02 v -x7560 x7559 x7558 -x7557 -x7556 x7555 x7554 -x7553 -x7552 x7551 x7550 -x7549 -x7548 x7547 x7546 -x7545 -x7544 -x7543 -x7542
3585.76/3597.02 v -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525
3585.76/3597.02 v -x7524 -x7523 -x7522 -x7521 -x7520 x7519 x7518 -x7517 -x7516 x7515 x7514 -x7513 -x7512 x7511 x7510 -x7509 -x7508 x7507 x7506
3585.76/3597.02 v -x7505 -x7504 x7503 x7502 -x7501 -x7500 x7499 x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487
3585.76/3597.02 v -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 x7471 x7470 -x7469
3585.76/3597.02 v -x7468 x7467 x7466 -x7465 -x7464 x7463 x7462 -x7461 -x7460 x7459 x7458 -x7457 -x7456 x7455 x7454 -x7453 -x7452 x7451 x7450
3585.76/3597.02 v -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432
3585.76/3597.02 v -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 x7423 x7422 -x7421 -x7420 x7419 x7418 -x7417 -x7416 x7415 x7414 -x7413
3585.76/3597.02 v -x7412 x7411 x7410 -x7409 -x7408 x7407 x7406 -x7405 -x7404 x7403 x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394
3585.76/3597.02 v -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377
3585.76/3597.02 v -x7376 x7375 x7374 -x7373 -x7372 x7371 x7370 -x7369 -x7368 x7367 x7366 -x7365 -x7364 x7363 x7362 -x7361 -x7360 x7359 x7358 -x7357
3585.76/3597.02 v -x7356 x7355 x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339
3585.76/3597.02 v -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 x7327 x7326 -x7325 -x7324 x7323 x7322 -x7321
3585.76/3597.02 v -x7320 x7319 x7318 -x7317 -x7316 x7315 x7314 -x7313 -x7312 x7311 x7310 -x7309 -x7308 x7307 x7306 -x7305 -x7304 -x7303 -x7302
3585.76/3597.02 v -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284
3585.76/3597.02 v -x7283 -x7282 -x7281 -x7280 x7279 x7278 -x7277 -x7276 x7275 x7274 -x7273 -x7272 x7271 x7270 -x7269 -x7268 x7267 x7266 -x7265
3585.76/3597.02 v -x7264 x7263 x7262 -x7261 -x7260 x7259 x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246
3585.76/3597.02 v -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 x7231 x7230 -x7229 -x7228
3585.76/3597.02 v x7227 x7226 -x7225 -x7224 x7223 x7222 -x7221 -x7220 x7219 x7218 -x7217 -x7216 x7215 x7214 -x7213 -x7212 x7211 x7210 -x7209
3585.76/3597.02 v -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191
3585.76/3597.02 v -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 x7183 x7182 -x7181 -x7180 x7179 x7178 -x7177 -x7176 x7175 x7174 -x7173 -x7172
3585.76/3597.02 v x7171 x7170 -x7169 -x7168 x7167 x7166 -x7165 -x7164 x7163 x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154
3585.76/3597.02 v -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136
3585.76/3597.02 v x7135 x7134 -x7133 -x7132 x7131 x7130 -x7129 -x7128 x7127 x7126 -x7125 -x7124 x7123 x7122 -x7121 -x7120 x7119 x7118 -x7117
3585.76/3597.02 v -x7116 x7115 x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098
3585.76/3597.02 v -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 x7087 x7086 -x7085 -x7084 x7083 x7082 -x7081 -x7080
3585.76/3597.02 v x7079 x7078 -x7077 -x7076 x7075 x7074 -x7073 -x7072 x7071 x7070 -x7069 -x7068 x7067 x7066 -x7065 -x7064 -x7063 -x7062 -x7061
3585.76/3597.02 v -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043
3585.76/3597.02 v -x7042 -x7041 -x7040 x7039 x7038 -x7037 -x7036 x7035 x7034 -x7033 -x7032 x7031 x7030 -x7029 -x7028 x7027 x7026 -x7025 -x7024
3585.76/3597.02 v x7023 x7022 -x7021 -x7020 x7019 x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006
3585.76/3597.02 v -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 x6991 x6990 -x6989 -x6988
3585.76/3597.02 v x6987 x6986 -x6985 -x6984 x6983 x6982 -x6981 -x6980 x6979 x6978 -x6977 -x6976 x6975 x6974 -x6973 -x6972 x6971 x6970 -x6969 -x6968
3585.76/3597.02 v -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950
3585.76/3597.02 v -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 x6943 x6942 -x6941 -x6940 x6939 x6938 -x6937 -x6936 x6935 x6934 -x6933 -x6932
3585.76/3597.02 v x6931 x6930 -x6929 -x6928 x6927 x6926 -x6925 -x6924 x6923 x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913
3585.76/3597.02 v -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 x6895
3585.76/3597.02 v x6894 -x6893 -x6892 x6891 x6890 -x6889 -x6888 x6887 x6886 -x6885 -x6884 x6883 x6882 -x6881 -x6880 x6879 x6878 -x6877 -x6876
3585.76/3597.02 v x6875 x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858
3585.76/3597.02 v -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 x6847 x6846 -x6845 -x6844 x6843 x6842 -x6841 -x6840 x6839
3585.76/3597.02 v x6838 -x6837 -x6836 x6835 x6834 -x6833 -x6832 x6831 x6830 -x6829 -x6828 x6827 x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820
3585.76/3597.02 v -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802
3585.76/3597.02 v -x6801 -x6800 x6799 x6798 -x6797 -x6796 x6795 x6794 -x6793 -x6792 x6791 x6790 -x6789 -x6788 x6787 x6786 -x6785 -x6784 x6783
3585.76/3597.02 v x6782 -x6781 -x6780 x6779 x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765
3585.76/3597.02 v -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 x6751 x6750 -x6749 -x6748 x6747
3585.76/3597.02 v x6746 -x6745 -x6744 x6743 x6742 -x6741 -x6740 x6739 x6738 -x6737 -x6736 x6735 x6734 -x6733 -x6732 x6731 x6730 -x6729 -x6728
3585.76/3597.02 v -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710
3585.76/3597.02 v -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 x6703 x6702 -x6701 -x6700 x6699 x6698 -x6697 -x6696 x6695 x6694 -x6693 -x6692 x6691
3585.76/3597.02 v x6690 -x6689 -x6688 x6687 x6686 -x6685 -x6684 x6683 x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672
3585.76/3597.02 v -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 x6655 x6654
3585.76/3597.02 v -x6653 -x6652 x6651 x6650 -x6649 -x6648 x6647 x6646 -x6645 -x6644 x6643 x6642 -x6641 -x6640 x6639 x6638 -x6637 -x6636 x6635
3585.76/3597.02 v x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617
3585.76/3597.02 v -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 x6607 x6606 -x6605 -x6604 x6603 x6602 -x6601 -x6600 x6599 x6598
3585.76/3597.02 v -x6597 -x6596 x6595 x6594 -x6593 -x6592 x6591 x6590 -x6589 -x6588 x6587 x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580
3585.76/3597.02 v -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562
3585.76/3597.02 v -x6561 -x6560 x6559 x6558 -x6557 -x6556 x6555 x6554 -x6553 -x6552 x6551 x6550 -x6549 -x6548 x6547 x6546 -x6545 -x6544 x6543
3585.76/3597.02 v x6542 -x6541 -x6540 x6539 x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524
3585.76/3597.02 v -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 x6511 x6510 -x6509 -x6508 x6507 x6506
3585.76/3597.02 v -x6505 -x6504 x6503 x6502 -x6501 -x6500 x6499 x6498 -x6497 -x6496 x6495 x6494 -x6493 -x6492 x6491 x6490 -x6489 -x6488 -x6487
3585.76/3597.02 v -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469
3585.76/3597.02 v -x6468 -x6467 -x6466 -x6465 -x6464 x6463 x6462 -x6461 -x6460 x6459 x6458 -x6457 -x6456 x6455 x6454 -x6453 -x6452 x6451 x6450
3585.76/3597.02 v -x6449 -x6448 x6447 x6446 -x6445 -x6444 x6443 x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432
3585.76/3597.02 v -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 x6415 x6414 -x6413
3585.76/3597.02 v -x6412 x6411 x6410 -x6409 -x6408 x6407 x6406 -x6405 -x6404 x6403 x6402 -x6401 -x6400 x6399 x6398 -x6397 -x6396 x6395 x6394
3585.76/3597.02 v -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376
3585.76/3597.02 v -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 x6367 x6366 -x6365 -x6364 x6363 x6362 -x6361 -x6360 x6359 x6358
3585.76/3597.02 v -x6357 -x6356 x6355 x6354 -x6353 -x6352 x6351 x6350 -x6349 -x6348 x6347 x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339
3585.76/3597.02 v -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321
3585.76/3597.02 v -x6320 x6319 x6318 -x6317 -x6316 x6315 x6314 -x6313 -x6312 x6311 x6310 -x6309 -x6308 x6307 x6306 -x6305 -x6304 x6303 x6302
3585.76/3597.02 v -x6301 -x6300 x6299 x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284
3585.76/3597.02 v -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 x6271 x6270 -x6269 -x6268 x6267 x6266 -x6265
3585.76/3597.02 v -x6264 x6263 x6262 -x6261 -x6260 x6259 x6258 -x6257 -x6256 x6255 x6254 -x6253 -x6252 x6251 x6250 -x6249 -x6248 -x6247 -x6246
3585.76/3597.02 v -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228
3585.76/3597.02 v -x6227 -x6226 -x6225 -x6224 x6223 x6222 -x6221 -x6220 x6219 x6218 -x6217 -x6216 x6215 x6214 -x6213 -x6212 x6211 x6210 -x6209
3585.76/3597.02 v -x6208 x6207 x6206 -x6205 -x6204 x6203 x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191
3585.76/3597.02 v -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 x6175 x6174 -x6173
3585.76/3597.02 v -x6172 x6171 x6170 -x6169 -x6168 x6167 x6166 -x6165 -x6164 x6163 x6162 -x6161 -x6160 x6159 x6158 -x6157 -x6156 x6155 x6154 -x6153
3585.76/3597.02 v -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136
3585.76/3597.02 v -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 x6127 x6126 -x6125 -x6124 x6123 x6122 -x6121 -x6120 x6119 x6118 -x6117
3585.76/3597.02 v -x6116 x6115 x6114 -x6113 -x6112 x6111 x6110 -x6109 -x6108 x6107 x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098
3585.76/3597.02 v -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080
3585.76/3597.02 v x6079 x6078 -x6077 -x6076 x6075 x6074 -x6073 -x6072 x6071 x6070 -x6069 -x6068 x6067 x6066 -x6065 -x6064 x6063 x6062 -x6061
3585.76/3597.02 v -x6060 x6059 x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043
3585.76/3597.02 v -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 x6031 x6030 -x6029 -x6028 x6027 x6026 -x6025 -x6024
3585.76/3597.02 v x6023 x6022 -x6021 -x6020 x6019 x6018 -x6017 -x6016 x6015 x6014 -x6013 -x6012 x6011 x6010 -x6009 -x6008 -x6007 -x6006 -x6005
3585.76/3597.02 v -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988
3585.76/3597.02 v -x5987 -x5986 -x5985 -x5984 x5983 x5982 -x5981 -x5980 x5979 x5978 -x5977 -x5976 x5975 x5974 -x5973 -x5972 x5971 x5970 -x5969
3585.76/3597.02 v -x5968 x5967 x5966 -x5965 -x5964 x5963 x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950
3585.76/3597.02 v -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 x5935 x5934 -x5933 -x5932
3585.76/3597.02 v x5931 x5930 -x5929 -x5928 x5927 x5926 -x5925 -x5924 x5923 x5922 -x5921 -x5920 x5919 x5918 -x5917 -x5916 x5915 x5914 -x5913
3585.76/3597.02 v -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895
3585.76/3597.02 v -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 x5887 x5886 -x5885 -x5884 x5883 x5882 -x5881 -x5880 x5879 x5878 -x5877 -x5876
3585.76/3597.02 v x5875 x5874 -x5873 -x5872 x5871 x5870 -x5869 -x5868 x5867 x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857
3585.76/3597.02 v -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840
3585.76/3597.02 v x5839 x5838 -x5837 -x5836 x5835 x5834 -x5833 -x5832 x5831 x5830 -x5829 -x5828 x5827 x5826 -x5825 -x5824 x5823 x5822 -x5821 -x5820
3585.76/3597.02 v x5819 x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802
3585.76/3597.02 v -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 x5791 x5790 -x5789 -x5788 x5787 x5786 -x5785 -x5784
3585.76/3597.02 v x5783 x5782 -x5781 -x5780 x5779 x5778 -x5777 -x5776 x5775 x5774 -x5773 -x5772 x5771 x5770 -x5769 -x5768 -x5767 -x5766 -x5765
3585.76/3597.02 v -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747
3585.76/3597.02 v -x5746 -x5745 -x5744 x5743 x5742 -x5741 -x5740 x5739 x5738 -x5737 -x5736 x5735 x5734 -x5733 -x5732 x5731 x5730 -x5729 -x5728
3585.76/3597.02 v x5727 x5726 -x5725 -x5724 x5723 x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709
3585.76/3597.02 v -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 x5695 x5694 -x5693 -x5692 x5691
3585.76/3597.02 v x5690 -x5689 -x5688 x5687 x5686 -x5685 -x5684 x5683 x5682 -x5681 -x5680 x5679 x5678 -x5677 -x5676 x5675 x5674 -x5673 -x5672
3585.76/3597.02 v -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654
3585.76/3597.02 v -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 x5647 x5646 -x5645 -x5644 x5643 x5642 -x5641 -x5640 x5639 x5638 -x5637 -x5636 x5635
3585.76/3597.02 v x5634 -x5633 -x5632 x5631 x5630 -x5629 -x5628 x5627 x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617
3585.76/3597.02 v -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 x5599
3585.76/3597.02 v x5598 -x5597 -x5596 x5595 x5594 -x5593 -x5592 x5591 x5590 -x5589 -x5588 x5587 x5586 -x5585 -x5584 x5583 x5582 -x5581 -x5580
3585.76/3597.02 v x5579 x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561
3585.76/3597.02 v -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 x5551 x5550 -x5549 -x5548 x5547 x5546 -x5545 -x5544 x5543
3585.76/3597.02 v x5542 -x5541 -x5540 x5539 x5538 -x5537 -x5536 x5535 x5534 -x5533 -x5532 x5531 x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524
3585.76/3597.02 v -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506
3585.76/3597.02 v -x5505 -x5504 x5503 x5502 -x5501 -x5500 x5499 x5498 -x5497 -x5496 x5495 x5494 -x5493 -x5492 x5491 x5490 -x5489 -x5488 x5487
3585.76/3597.02 v x5486 -x5485 -x5484 x5483 x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469
3585.76/3597.02 v -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 x5455 x5454 -x5453 -x5452 x5451 x5450
3585.76/3597.02 v -x5449 -x5448 x5447 x5446 -x5445 -x5444 x5443 x5442 -x5441 -x5440 x5439 x5438 -x5437 -x5436 x5435 x5434 -x5433 -x5432 -x5431
3585.76/3597.02 v -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413
3585.76/3597.02 v -x5412 -x5411 -x5410 -x5409 -x5408 x5407 x5406 -x5405 -x5404 x5403 x5402 -x5401 -x5400 x5399 x5398 -x5397 -x5396 x5395
3585.76/3597.02 v x5394 -x5393 -x5392 x5391 x5390 -x5389 -x5388 x5387 x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376
3585.76/3597.02 v -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 x5359 x5358
3585.76/3597.02 v -x5357 -x5356 x5355 x5354 -x5353 -x5352 x5351 x5350 -x5349 -x5348 x5347 x5346 -x5345 -x5344 x5343 x5342 -x5341 -x5340 x5339
3585.76/3597.02 v x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321
3585.76/3597.02 v -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 x5311 x5310 -x5309 -x5308 x5307 x5306 -x5305 -x5304 x5303 x5302
3585.76/3597.02 v -x5301 -x5300 x5299 x5298 -x5297 -x5296 x5295 x5294 -x5293 -x5292 x5291 x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283
3585.76/3597.02 v -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265
3585.76/3597.02 v -x5264 x5263 x5262 -x5261 -x5260 x5259 x5258 -x5257 -x5256 x5255 x5254 -x5253 -x5252 x5251 x5250 -x5249 -x5248 x5247 x5246
3585.76/3597.02 v -x5245 -x5244 x5243 x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228
3585.76/3597.02 v -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 x5215 x5214 -x5213 -x5212 x5211 x5210
3585.76/3597.02 v -x5209 -x5208 x5207 x5206 -x5205 -x5204 x5203 x5202 -x5201 -x5200 x5199 x5198 -x5197 -x5196 x5195 x5194 -x5193 -x5192 -x5191
3585.76/3597.02 v -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173
3585.76/3597.02 v -x5172 -x5171 -x5170 -x5169 -x5168 x5167 x5166 -x5165 -x5164 x5163 x5162 -x5161 -x5160 x5159 x5158 -x5157 -x5156 x5155 x5154
3585.76/3597.02 v -x5153 -x5152 x5151 x5150 -x5149 -x5148 x5147 x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135
3585.76/3597.02 v -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 x5119 x5118 -x5117
3585.76/3597.02 v -x5116 x5115 x5114 -x5113 -x5112 x5111 x5110 -x5109 -x5108 x5107 x5106 -x5105 -x5104 x5103 x5102 -x5101 -x5100 x5099 x5098
3585.76/3597.02 v -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080
3585.76/3597.02 v -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 x5071 x5070 -x5069 -x5068 x5067 x5066 -x5065 -x5064 x5063 x5062 -x5061
3585.76/3597.02 v -x5060 x5059 x5058 -x5057 -x5056 x5055 x5054 -x5053 -x5052 x5051 x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043
3585.76/3597.02 v -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025
3585.76/3597.02 v -x5024 x5023 x5022 -x5021 -x5020 x5019 x5018 -x5017 -x5016 x5015 x5014 -x5013 -x5012 x5011 x5010 -x5009 -x5008 x5007 x5006 -x5005
3585.76/3597.02 v -x5004 x5003 x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987
3585.76/3597.02 v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 x4975 x4974 -x4973 -x4972 x4971 x4970 -x4969
3585.76/3597.02 v -x4968 x4967 x4966 -x4965 -x4964 x4963 x4962 -x4961 -x4960 x4959 x4958 -x4957 -x4956 x4955 x4954 -x4953 -x4952 -x4951 -x4950
3585.76/3597.02 v -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932
3585.76/3597.02 v -x4931 -x4930 -x4929 -x4928 x4927 x4926 -x4925 -x4924 x4923 x4922 -x4921 -x4920 x4919 x4918 -x4917 -x4916 x4915 x4914 -x4913
3585.76/3597.02 v -x4912 x4911 x4910 -x4909 -x4908 x4907 x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895
3585.76/3597.02 v -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 x4879 x4878 -x4877 -x4876
3585.76/3597.02 v x4875 x4874 -x4873 -x4872 x4871 x4870 -x4869 -x4868 x4867 x4866 -x4865 -x4864 x4863 x4862 -x4861 -x4860 x4859 x4858 -x4857
3585.76/3597.02 v -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839
3585.76/3597.02 v -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 x4831 x4830 -x4829 -x4828 x4827 x4826 -x4825 -x4824 x4823 x4822 -x4821
3585.76/3597.02 v -x4820 x4819 x4818 -x4817 -x4816 x4815 x4814 -x4813 -x4812 x4811 x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802
3585.76/3597.02 v -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784
3585.76/3597.02 v x4783 x4782 -x4781 -x4780 x4779 x4778 -x4777 -x4776 x4775 x4774 -x4773 -x4772 x4771 x4770 -x4769 -x4768 x4767 x4766 -x4765
3585.76/3597.02 v -x4764 x4763 x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747
3585.76/3597.02 v -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 x4735 x4734 -x4733 -x4732 x4731 x4730 -x4729 -x4728
3585.76/3597.02 v x4727 x4726 -x4725 -x4724 x4723 x4722 -x4721 -x4720 x4719 x4718 -x4717 -x4716 x4715 x4714 -x4713 -x4712 -x4711 -x4710 -x4709
3585.76/3597.02 v -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691
3585.76/3597.02 v -x4690 -x4689 -x4688 x4687 x4686 -x4685 -x4684 x4683 x4682 -x4681 -x4680 x4679 x4678 -x4677 -x4676 x4675 x4674 -x4673 -x4672
3585.76/3597.02 v x4671 x4670 -x4669 -x4668 x4667 x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654
3585.76/3597.02 v -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 x4639 x4638 -x4637 -x4636
3585.76/3597.02 v x4635 x4634 -x4633 -x4632 x4631 x4630 -x4629 -x4628 x4627 x4626 -x4625 -x4624 x4623 x4622 -x4621 -x4620 x4619 x4618 -x4617 -x4616
3585.76/3597.02 v -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
3585.76/3597.02 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 x4591 x4590 -x4589 -x4588 x4587 x4586 -x4585 -x4584 x4583 x4582 -x4581 -x4580
3585.76/3597.02 v x4579 x4578 -x4577 -x4576 x4575 x4574 -x4573 -x4572 x4571 x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561
3585.76/3597.02 v -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 x4543
3585.76/3597.02 v x4542 -x4541 -x4540 x4539 x4538 -x4537 -x4536 x4535 x4534 -x4533 -x4532 x4531 x4530 -x4529 -x4528 x4527 x4526 -x4525 -x4524
3585.76/3597.02 v x4523 x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506
3585.76/3597.02 v -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 x4495 x4494 -x4493 -x4492 x4491 x4490 -x4489 -x4488 x4487
3585.76/3597.02 v x4486 -x4485 -x4484 x4483 x4482 -x4481 -x4480 x4479 x4478 -x4477 -x4476 x4475 x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468
3585.76/3597.02 v -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451
3585.76/3597.02 v -x4450 -x4449 -x4448 x4447 x4446 -x4445 -x4444 x4443 x4442 -x4441 -x4440 x4439 x4438 -x4437 -x4436 x4435 x4434 -x4433 -x4432
3585.76/3597.02 v x4431 x4430 -x4429 -x4428 x4427 x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
3585.76/3597.02 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 x4399 x4398 -x4397 -x4396 x4395
3585.76/3597.02 v x4394 -x4393 -x4392 x4391 x4390 -x4389 -x4388 x4387 x4386 -x4385 -x4384 x4383 x4382 -x4381 -x4380 x4379 x4378 -x4377 -x4376
3585.76/3597.02 v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358
3585.76/3597.02 v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 x4351 x4350 -x4349 -x4348 x4347 x4346 -x4345 -x4344 x4343 x4342 -x4341 -x4340 x4339
3585.76/3597.02 v x4338 -x4337 -x4336 x4335 x4334 -x4333 -x4332 x4331 x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320
3585.76/3597.02 v -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 x4303 x4302
3585.76/3597.02 v -x4301 -x4300 x4299 x4298 -x4297 -x4296 x4295 x4294 -x4293 -x4292 x4291 x4290 -x4289 -x4288 x4287 x4286 -x4285 -x4284 x4283
3585.76/3597.02 v x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265
3585.76/3597.02 v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 x4255 x4254 -x4253 -x4252 x4251 x4250 -x4249 -x4248 x4247
3585.76/3597.02 v x4246 -x4245 -x4244 x4243 x4242 -x4241 -x4240 x4239 x4238 -x4237 -x4236 x4235 x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228
3585.76/3597.02 v -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210
3585.76/3597.02 v -x4209 -x4208 x4207 x4206 -x4205 -x4204 x4203 x4202 -x4201 -x4200 x4199 x4198 -x4197 -x4196 x4195 x4194 -x4193 -x4192 x4191
3585.76/3597.02 v x4190 -x4189 -x4188 x4187 x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172
3585.76/3597.02 v -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 x4159 x4158 -x4157 -x4156 x4155 x4154
3585.76/3597.02 v -x4153 -x4152 x4151 x4150 -x4149 -x4148 x4147 x4146 -x4145 -x4144 x4143 x4142 -x4141 -x4140 x4139 x4138 -x4137 -x4136 -x4135
3585.76/3597.02 v -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117
3585.76/3597.02 v -x4116 -x4115 -x4114 -x4113 -x4112 x4111 x4110 -x4109 -x4108 x4107 x4106 -x4105 -x4104 x4103 x4102 -x4101 -x4100 x4099 x4098
3585.76/3597.02 v -x4097 -x4096 x4095 x4094 -x4093 -x4092 x4091 x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080
3585.76/3597.02 v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 x4063 x4062
3585.76/3597.02 v -x4061 -x4060 x4059 x4058 -x4057 -x4056 x4055 x4054 -x4053 -x4052 x4051 x4050 -x4049 -x4048 x4047 x4046 -x4045 -x4044 x4043 x4042
3585.76/3597.02 v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024
3585.76/3597.02 v -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 x4015 x4014 -x4013 -x4012 x4011 x4010 -x4009 -x4008 x4007 x4006
3585.76/3597.02 v -x4005 -x4004 x4003 x4002 -x4001 -x4000 x3999 x3998 -x3997 -x3996 x3995 x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
3585.76/3597.02 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969
3585.76/3597.02 v -x3968 x3967 x3966 -x3965 -x3964 x3963 x3962 -x3961 -x3960 x3959 x3958 -x3957 -x3956 x3955 x3954 -x3953 -x3952 x3951 x3950
3585.76/3597.02 v -x3949 -x3948 x3947 x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932
3585.76/3597.02 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 x3919 x3918 -x3917 -x3916 x3915 x3914 -x3913
3585.76/3597.02 v -x3912 x3911 x3910 -x3909 -x3908 x3907 x3906 -x3905 -x3904 x3903 x3902 -x3901 -x3900 x3899 x3898 -x3897 -x3896 -x3895 -x3894
3585.76/3597.02 v -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876
3585.76/3597.02 v -x3875 -x3874 -x3873 -x3872 x3871 x3870 -x3869 -x3868 x3867 x3866 -x3865 -x3864 x3863 x3862 -x3861 -x3860 x3859 x3858 -x3857
3585.76/3597.02 v -x3856 x3855 x3854 -x3853 -x3852 x3851 x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839
3585.76/3597.02 v -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 x3823 x3822 -x3821
3585.76/3597.02 v -x3820 x3819 x3818 -x3817 -x3816 x3815 x3814 -x3813 -x3812 x3811 x3810 -x3809 -x3808 x3807 x3806 -x3805 -x3804 x3803 x3802
3585.76/3597.02 v -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784
3585.76/3597.02 v -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 x3775 x3774 -x3773 -x3772 x3771 x3770 -x3769 -x3768 x3767 x3766 -x3765
3585.76/3597.02 v -x3764 x3763 x3762 -x3761 -x3760 x3759 x3758 -x3757 -x3756 x3755 x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746
3585.76/3597.02 v -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 x3730 -x3729 -x3728
3585.76/3597.02 v x3727 x3726 -x3725 -x3724 x3723 x3722 -x3721 -x3720 x3719 x3718 -x3717 -x3716 x3715 x3714 -x3713 -x3712 x3711 x3710 -x3709
3585.76/3597.02 v -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691
3585.76/3597.02 v -x3690 -x3689 -x3688 -x3687 -x3686 x3685 -x3684 x3683 x3682 -x3681 -x3680 x3679 x3678 -x3677 -x3676 x3675 x3674 -x3673 -x3672
3585.76/3597.02 v x3671 x3670 -x3669 -x3668 x3667 x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654
3585.76/3597.02 v -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 x3641 x3640 -x3639 x3638 -x3637 -x3636
3585.76/3597.02 v x3635 x3634 -x3633 -x3632 x3631 x3630 -x3629 -x3628 x3627 x3626 -x3625 -x3624 x3623 x3622 -x3621 x3620 -x3619 -x3618 -x3617 -x3616
3585.76/3597.02 v -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599
3585.76/3597.02 v -x3598 -x3597 -x3596 -x3595 -x3594 x3593 -x3592 x3591 x3590 -x3589 -x3588 x3587 x3586 -x3585 -x3584 x3583 x3582 -x3581 -x3580
3585.76/3597.02 v x3579 x3578 -x3577 -x3576 x3575 -x3574 x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561
3585.76/3597.02 v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 x3546 -x3545 -x3544 x3543
3585.76/3597.02 v x3542 -x3541 -x3540 x3539 x3538 -x3537 -x3536 x3535 x3534 -x3533 -x3532 x3531 x3530 -x3529 x3528 -x3527 -x3526 x3525 x3524
3585.76/3597.02 v -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506
3585.76/3597.02 v -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 x3499 x3498 -x3497 -x3496 x3495 x3494 -x3493 -x3492 x3491 x3490 -x3489 -x3488 x3487
3585.76/3597.02 v x3486 -x3485 -x3484 x3483 -x3482 x3481 x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469
3585.76/3597.02 v -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 x3455 x3454 -x3453 -x3452 x3451 x3450
3585.76/3597.02 v -x3449 -x3448 x3447 x3446 -x3445 -x3444 x3443 x3442 -x3441 -x3440 x3439 x3438 -x3437 x3436 -x3435 -x3434 -x3433 -x3432 -x3431
3585.76/3597.02 v -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413
3585.76/3597.02 v -x3412 x3411 x3410 -x3409 -x3408 x3407 x3406 -x3405 -x3404 x3403 x3402 -x3401 -x3400 x3399 x3398 -x3397 -x3396 x3395 x3394
3585.76/3597.02 v -x3393 -x3392 x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376
3585.76/3597.02 v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 x3367 x3366 -x3365 -x3364 x3363 x3362 -x3361 -x3360 x3359 x3358 -x3357
3585.76/3597.02 v -x3356 x3355 x3354 -x3353 -x3352 x3351 x3350 -x3349 -x3348 x3347 x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339
3585.76/3597.02 v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321
3585.76/3597.02 v -x3320 x3319 x3318 -x3317 -x3316 x3315 x3314 -x3313 -x3312 x3311 x3310 -x3309 -x3308 x3307 x3306 -x3305 -x3304 x3303 x3302
3585.76/3597.02 v -x3301 -x3300 x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283
3585.76/3597.02 v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 x3274 -x3273 -x3272 x3271 x3270 -x3269 -x3268 x3267 x3266 -x3265
3585.76/3597.02 v -x3264 x3263 x3262 -x3261 -x3260 x3259 x3258 -x3257 -x3256 x3255 x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246
3585.76/3597.02 v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 x3229 -x3228
3585.76/3597.02 v x3227 x3226 -x3225 -x3224 x3223 x3222 -x3221 -x3220 x3219 x3218 -x3217 -x3216 x3215 x3214 -x3213 -x3212 x3211 x3210 -x3209
3585.76/3597.02 v -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191
3585.76/3597.02 v -x3190 -x3189 -x3188 -x3187 -x3186 x3185 x3184 -x3183 x3182 -x3181 -x3180 x3179 x3178 -x3177 -x3176 x3175 x3174 -x3173 -x3172
3585.76/3597.02 v x3171 x3170 -x3169 -x3168 x3167 x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154
3585.76/3597.02 v -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 x3141 x3140 -x3139 -x3138 x3137 -x3136 x3135
3585.76/3597.02 v x3134 -x3133 -x3132 x3131 x3130 -x3129 -x3128 x3127 x3126 -x3125 -x3124 x3123 x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116
3585.76/3597.02 v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099
3585.76/3597.02 v -x3098 x3097 x3096 -x3095 -x3094 x3093 x3092 -x3091 x3090 -x3089 -x3088 x3087 x3086 -x3085 -x3084 x3083 x3082 -x3081 -x3080 x3079
3585.76/3597.02 v x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061
3585.76/3597.02 v -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 x3053 x3052 -x3051 -x3050 x3049 x3048 -x3047 -x3046 x3045 -x3044 x3043
3585.76/3597.02 v x3042 -x3041 -x3040 x3039 x3038 -x3037 -x3036 x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024
3585.76/3597.02 v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 x3009 x3008 -x3007 -x3006
3585.76/3597.02 v x3005 x3004 -x3003 -x3002 x3001 x3000 -x2999 x2998 -x2997 -x2996 x2995 x2994 -x2993 -x2992 x2991 x2990 -x2989 -x2988 -x2987
3585.76/3597.02 v -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969
3585.76/3597.02 v -x2968 -x2967 -x2966 x2965 x2964 -x2963 -x2962 x2961 x2960 -x2959 -x2958 x2957 x2956 -x2955 -x2954 x2953 -x2952 x2951 x2950
3585.76/3597.02 v x2949 -x2948 x2947 x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931
3585.76/3597.02 v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 x2921 x2920 -x2919 -x2918 x2917 x2916 -x2915 -x2914 x2913
3585.76/3597.02 v x2912 -x2911 -x2910 x2909 x2908 -x2907 x2906 -x2905 -x2904 -x2903 x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894
3585.76/3597.02 v -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 x2881 x2880 -x2879 -x2878 x2877 x2876
3585.76/3597.02 v -x2875 -x2874 x2873 x2872 -x2871 -x2870 x2869 x2868 -x2867 -x2866 x2865 x2864 -x2863 -x2862 x2861 -x2860 -x2859 -x2858 -x2857
3585.76/3597.02 v -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839
3585.76/3597.02 v -x2838 x2837 x2836 -x2835 -x2834 x2833 x2832 -x2831 -x2830 x2829 x2828 -x2827 -x2826 x2825 x2824 -x2823 -x2822 x2821 x2820
3585.76/3597.02 v -x2819 -x2818 x2817 x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802
3585.76/3597.02 v -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 x2789 x2788 -x2787 -x2786 x2785 x2784 -x2783
3585.76/3597.02 v -x2782 x2781 x2780 -x2779 -x2778 x2777 x2776 -x2775 -x2774 x2773 x2772 -x2771 -x2770 x2769 x2768 -x2767 -x2766 -x2765 -x2764
3585.76/3597.02 v -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746
3585.76/3597.02 v -x2745 -x2744 -x2743 -x2742 x2741 x2740 -x2739 -x2738 x2737 x2736 -x2735 -x2734 x2733 x2732 -x2731 -x2730 x2729 x2728 -x2727
3585.76/3597.02 v -x2726 x2725 x2724 -x2723 -x2722 x2721 x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709
3585.76/3597.02 v -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 x2693 x2692 -x2691
3585.76/3597.02 v -x2690 x2689 x2688 -x2687 -x2686 x2685 x2684 -x2683 -x2682 x2681 x2680 -x2679 -x2678 x2677 x2676 -x2675 -x2674 x2673 x2672
3585.76/3597.02 v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654
3585.76/3597.02 v -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 x2645 x2644 -x2643 -x2642 x2641 x2640 -x2639 -x2638 x2637 x2636 -x2635
3585.76/3597.02 v -x2634 x2633 x2632 -x2631 -x2630 x2629 x2628 -x2627 -x2626 x2625 x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
3585.76/3597.02 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
3585.76/3597.02 v x2597 x2596 -x2595 -x2594 x2593 x2592 -x2591 -x2590 x2589 x2588 -x2587 -x2586 x2585 x2584 -x2583 -x2582 x2581 x2580 -x2579
3585.76/3597.02 v -x2578 x2577 x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561
3585.76/3597.02 v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 x2549 x2548 -x2547 -x2546 x2545 x2544 -x2543
3585.76/3597.02 v -x2542 x2541 x2540 -x2539 -x2538 x2537 x2536 -x2535 -x2534 x2533 x2532 -x2531 -x2530 x2529 x2528 -x2527 -x2526 -x2525 -x2524
3585.76/3597.02 v -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506
3585.76/3597.02 v -x2505 -x2504 -x2503 -x2502 x2501 x2500 -x2499 -x2498 x2497 x2496 -x2495 -x2494 x2493 x2492 -x2491 -x2490 x2489 x2488 -x2487
3585.76/3597.02 v -x2486 x2485 x2484 -x2483 -x2482 x2481 x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468
3585.76/3597.02 v -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 x2453 x2452 -x2451 -x2450
3585.76/3597.02 v x2449 x2448 -x2447 -x2446 x2445 x2444 -x2443 -x2442 x2441 x2440 -x2439 -x2438 x2437 x2436 -x2435 -x2434 x2433 x2432 -x2431
3585.76/3597.02 v -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413
3585.76/3597.02 v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 x2405 x2404 -x2403 -x2402 x2401 x2400 -x2399 -x2398 x2397 x2396 -x2395 -x2394
3585.76/3597.02 v x2393 x2392 -x2391 -x2390 x2389 x2388 -x2387 -x2386 x2385 x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376
3585.76/3597.02 v -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358
3585.76/3597.02 v x2357 x2356 -x2355 -x2354 x2353 x2352 -x2351 -x2350 x2349 x2348 -x2347 -x2346 x2345 x2344 -x2343 -x2342 x2341 x2340 -x2339 -x2338
3585.76/3597.02 v x2337 x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320
3585.76/3597.02 v -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 x2309 x2308 -x2307 -x2306 x2305 x2304 -x2303 -x2302
3585.76/3597.02 v x2301 x2300 -x2299 -x2298 x2297 x2296 -x2295 -x2294 x2293 x2292 -x2291 -x2290 x2289 x2288 -x2287 -x2286 -x2285 -x2284 -x2283
3585.76/3597.02 v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
3585.76/3597.02 v -x2264 -x2263 -x2262 x2261 x2260 -x2259 -x2258 x2257 x2256 -x2255 -x2254 x2253 x2252 -x2251 -x2250 x2249 x2248 -x2247 -x2246
3585.76/3597.02 v x2245 x2244 -x2243 -x2242 x2241 x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228
3585.76/3597.02 v -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 x2213 x2212 -x2211 -x2210 x2209
3585.76/3597.02 v x2208 -x2207 -x2206 x2205 x2204 -x2203 -x2202 x2201 x2200 -x2199 -x2198 x2197 x2196 -x2195 -x2194 x2193 x2192 -x2191 -x2190
3585.76/3597.02 v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172
3585.76/3597.02 v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 x2164 -x2163 -x2162 x2161 x2160 -x2159 -x2158 x2157 x2156 -x2155 -x2154
3585.76/3597.02 v x2153 x2152 -x2151 -x2150 x2149 x2148 -x2147 -x2146 x2145 x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135
3585.76/3597.02 v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 x2117
3585.76/3597.02 v x2116 -x2115 -x2114 x2113 x2112 -x2111 -x2110 x2109 x2108 -x2107 -x2106 x2105 x2104 -x2103 -x2102 x2101 x2100 -x2099 -x2098
3585.76/3597.02 v x2097 x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
3585.76/3597.02 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 x2069 x2068 -x2067 -x2066 x2065 x2064 -x2063 -x2062 x2061
3585.76/3597.02 v x2060 -x2059 -x2058 x2057 x2056 -x2055 -x2054 x2053 x2052 -x2051 -x2050 x2049 x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042
3585.76/3597.02 v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024
3585.76/3597.02 v -x2023 -x2022 x2021 x2020 -x2019 -x2018 x2017 x2016 -x2015 -x2014 x2013 x2012 -x2011 -x2010 x2009 x2008 -x2007 -x2006 x2005
3585.76/3597.02 v x2004 -x2003 -x2002 x2001 x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987
3585.76/3597.02 v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 x1973 x1972 -x1971 -x1970 x1969
3585.76/3597.02 v x1968 -x1967 -x1966 x1965 x1964 -x1963 -x1962 x1961 x1960 -x1959 -x1958 x1957 x1956 -x1955 -x1954 x1953 x1952 -x1951 -x1950 -x1949
3585.76/3597.02 v -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932
3585.76/3597.02 v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 x1925 x1924 -x1923 -x1922 x1921 x1920 -x1919 -x1918 x1917 x1916 -x1915 -x1914 x1913
3585.76/3597.02 v x1912 -x1911 -x1910 x1909 x1908 -x1907 -x1906 x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894
3585.76/3597.02 v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 x1877 x1876
3585.76/3597.02 v -x1875 -x1874 x1873 x1872 -x1871 -x1870 x1869 x1868 -x1867 -x1866 x1865 x1864 -x1863 -x1862 x1861 x1860 -x1859 -x1858 x1857
3585.76/3597.02 v x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839
3585.76/3597.02 v -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 x1829 x1828 -x1827 -x1826 x1825 x1824 -x1823 -x1822 x1821 x1820
3585.76/3597.02 v -x1819 -x1818 x1817 x1816 -x1815 -x1814 x1813 x1812 -x1811 -x1810 x1809 x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801
3585.76/3597.02 v -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784
3585.76/3597.02 v -x1783 -x1782 x1781 x1780 -x1779 -x1778 x1777 x1776 -x1775 -x1774 x1773 x1772 -x1771 -x1770 x1769 x1768 -x1767 -x1766 x1765 x1764
3585.76/3597.02 v -x1763 -x1762 x1761 x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746
3585.76/3597.02 v -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 x1732 -x1731 -x1730 x1729 x1728
3585.76/3597.02 v -x1727 -x1726 x1725 x1724 -x1723 -x1722 x1721 x1720 -x1719 -x1718 x1717 x1716 -x1715 -x1714 x1713 x1712 -x1711 -x1710 -x1709
3585.76/3597.02 v -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691
3585.76/3597.02 v -x1690 -x1689 -x1688 -x1687 -x1686 x1685 x1684 -x1683 -x1682 x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 x1673 x1672
3585.76/3597.02 v -x1671 -x1670 x1669 x1668 -x1667 -x1666 x1665 x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653
3585.76/3597.02 v -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 x1637 x1636 -x1635
3585.76/3597.02 v -x1634 x1633 x1632 -x1631 -x1630 x1629 x1628 -x1627 -x1626 x1625 x1624 -x1623 -x1622 x1621 x1620 -x1619 -x1618 x1617 x1616
3585.76/3597.02 v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598
3585.76/3597.02 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 x1589 x1588 -x1587 -x1586 x1585 x1584 -x1583 -x1582 x1581 x1580 -x1579
3585.76/3597.02 v -x1578 x1577 x1576 -x1575 -x1574 x1573 x1572 -x1571 -x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561
3585.76/3597.02 v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543
3585.76/3597.02 v -x1542 x1541 x1540 -x1539 -x1538 x1537 x1536 -x1535 -x1534 x1533 x1532 -x1531 -x1530 x1529 x1528 -x1527 -x1526 x1525 x1524
3585.76/3597.02 v -x1523 -x1522 x1521 x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
3585.76/3597.02 v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 x1493 x1492 -x1491 -x1490 x1489 x1488 -x1487
3585.76/3597.02 v -x1486 x1485 x1484 -x1483 -x1482 x1481 x1480 -x1479 -x1478 x1477 x1476 -x1475 -x1474 x1473 x1472 -x1471 -x1470 -x1469 -x1468
3585.76/3597.02 v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
3585.76/3597.02 v -x1449 -x1448 -x1447 -x1446 x1445 x1444 -x1443 -x1442 x1441 x1440 -x1439 -x1438 x1437 x1436 -x1435 -x1434 x1433 x1432 -x1431
3585.76/3597.02 v -x1430 x1429 x1428 -x1427 -x1426 x1425 x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413
3585.76/3597.02 v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 x1397 x1396 -x1395
3585.76/3597.02 v -x1394 x1393 x1392 -x1391 -x1390 x1389 x1388 -x1387 -x1386 x1385 x1384 -x1383 -x1382 x1381 x1380 -x1379 -x1378 x1377 x1376 -x1375
3585.76/3597.02 v -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357
3585.76/3597.02 v -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 x1349 x1348 -x1347 -x1346 x1345 x1344 -x1343 -x1342 x1341 x1340 -x1339
3585.76/3597.02 v -x1338 x1337 x1336 -x1335 -x1334 x1333 x1332 -x1331 -x1330 x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320
3585.76/3597.02 v -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302
3585.76/3597.02 v x1301 x1300 -x1299 -x1298 x1297 x1296 -x1295 -x1294 x1293 x1292 -x1291 -x1290 x1289 x1288 -x1287 -x1286 x1285 x1284 -x1283
3585.76/3597.02 v -x1282 x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265
3585.76/3597.02 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 x1252 -x1251 -x1250 x1249 x1248 -x1247 -x1246
3585.76/3597.02 v x1245 x1244 -x1243 -x1242 x1241 x1240 -x1239 -x1238 x1237 x1236 -x1235 -x1234 x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227
3585.76/3597.02 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209
3585.76/3597.02 v -x1208 -x1207 -x1206 x1205 x1204 -x1203 -x1202 x1201 x1200 -x1199 -x1198 x1197 x1196 -x1195 -x1194 x1193 x1192 -x1191 -x1190
3585.76/3597.02 v x1189 x1188 -x1187 -x1186 x1185 x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
3585.76/3597.02 v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 x1156 -x1155 -x1154
3585.76/3597.02 v x1153 x1152 -x1151 -x1150 x1149 x1148 -x1147 -x1146 x1145 x1144 -x1143 -x1142 x1141 x1140 -x1139 -x1138 x1137 x1136 -x1135
3585.76/3597.02 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
3585.76/3597.02 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 x1108 -x1107 -x1106 x1105 x1104 -x1103 -x1102 x1101 x1100 -x1099 -x1098
3585.76/3597.02 v x1097 x1096 -x1095 -x1094 x1093 x1092 -x1091 -x1090 x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079
3585.76/3597.02 v -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061
3585.76/3597.02 v x1060 -x1059 -x1058 x1057 x1056 -x1055 -x1054 x1053 x1052 -x1051 -x1050 x1049 x1048 -x1047 -x1046 x1045 x1044 -x1043 -x1042
3585.76/3597.02 v x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
3585.76/3597.02 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 x1012 -x1011 -x1010 x1009 x1008 -x1007 -x1006
3585.76/3597.02 v x1005 x1004 -x1003 -x1002 x1001 x1000 -x999 -x998 x997 x996 -x995 -x994 x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984
3585.76/3597.02 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 x964 -x963
3585.76/3597.02 v -x962 x961 x960 -x959 -x958 x957 x956 -x955 -x954 x953 x952 -x951 -x950 x949 x948 -x947 -x946 x945 x944 -x943 -x942 -x941
3585.76/3597.02 v -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920
3585.76/3597.02 v -x919 -x918 x917 x916 -x915 -x914 x913 x912 -x911 -x910 x909 x908 -x907 -x906 x905 x904 -x903 -x902 x901 x900 -x899 -x898 x897
3585.76/3597.02 v x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876
3585.76/3597.02 v -x875 -x874 -x873 -x872 -x871 -x870 x869 x868 -x867 -x866 x865 x864 -x863 -x862 x861 x860 -x859 -x858 x857 x856 -x855 -x854
3585.76/3597.02 v x853 x852 -x851 -x850 x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
3585.76/3597.02 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 x820 -x819 -x818 x817 x816 -x815 -x814 x813 x812 -x811
3585.76/3597.02 v -x810 x809 x808 -x807 -x806 x805 x804 -x803 -x802 x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
3585.76/3597.02 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 x772 -x771 -x770 x769 x768 -x767
3585.76/3597.02 v -x766 x765 x764 -x763 -x762 x761 x760 -x759 -x758 x757 x756 -x755 -x754 x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
3585.76/3597.02 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 x724
3585.76/3597.02 v -x723 -x722 x721 x720 -x719 -x718 x717 x716 -x715 -x714 x713 x712 -x711 -x710 x709 x708 -x707 -x706 x705 x704 -x703 -x702
3585.76/3597.02 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
3585.76/3597.02 v -x680 -x679 -x678 x677 x676 -x675 -x674 x673 x672 -x671 -x670 x669 x668 -x667 -x666 x665 x664 -x663 -x662 x661 x660 -x659 -x658
3585.76/3597.02 v x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
3585.76/3597.02 v -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 x628 -x627 -x626 x625 x624 -x623 -x622 x621 x620 -x619 -x618 x617 x616 -x615
3585.76/3597.02 v -x614 x613 x612 -x611 -x610 x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
3585.76/3597.02 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 -x579 -x578 x577 x576 -x575 -x574 x573 x572
3585.76/3597.02 v -x571 -x570 x569 x568 -x567 -x566 x565 x564 -x563 -x562 x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
3585.76/3597.02 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 x532 -x531 -x530 x529 x528
3585.76/3597.02 v -x527 -x526 x525 x524 -x523 -x522 x521 x520 -x519 -x518 x517 x516 -x515 -x514 x513 x512 -x511 -x510 -x509 -x508 -x507 -x506
3585.76/3597.02 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485
3585.76/3597.02 v x484 -x483 -x482 x481 x480 -x479 -x478 x477 x476 -x475 -x474 x473 x472 -x471 -x470 x469 x468 -x467 -x466 x465 x464 -x463 -x462
3585.76/3597.02 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
3585.76/3597.02 v -x441 -x440 -x439 -x438 x437 x436 -x435 -x434 x433 x432 -x431 -x430 x429 x428 -x427 -x426 x425 x424 -x423 -x422 x421 x420 -x419
3585.76/3597.02 v -x418 x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398
3585.76/3597.02 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 x388 -x387 -x386 x385 x384 -x383 -x382 x381 x380 -x379 -x378 x377 x376
3585.76/3597.02 v -x375 -x374 x373 x372 -x371 -x370 x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
3585.76/3597.02 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 x340 -x339 -x338 x337 x336 -x335 -x334 x333
3585.76/3597.02 v x332 -x331 -x330 x329 x328 -x327 -x326 x325 x324 -x323 -x322 x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
3585.76/3597.02 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 x292 -x291 -x290 x289
3585.76/3597.02 v x288 -x287 -x286 x285 x284 -x283 -x282 x281 x280 -x279 -x278 x277 x276 -x275 -x274 x273 x272 -x271 -x270 -x269 -x268 -x267
3585.76/3597.02 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
3585.76/3597.02 v x245 x244 -x243 -x242 x241 x240 -x239 -x238 x237 x236 -x235 -x234 x233 x232 -x231 -x230 x229 x228 -x227 -x226 x225 x224 -x223
3585.76/3597.02 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
3585.76/3597.02 v -x201 -x200 -x199 -x198 x197 x196 -x195 -x194 x193 x192 -x191 -x190 x189 x188 -x187 -x186 x185 x184 -x183 -x182 x181 x180
3585.76/3597.02 v -x179 -x178 x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
3585.76/3597.02 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 x148 -x147 -x146 x145 x144 -x143 -x142 x141 x140 -x139 -x138 x137
3585.76/3597.02 v x136 -x135 -x134 x133 x132 -x131 -x130 x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
3585.76/3597.02 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 x100 -x99 -x98 x97 x96 -x95 -x94 x93 x92
3585.76/3597.02 v -x91 -x90 x89 x88 -x87 -x86 x85 x84 -x83 -x82 x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
3585.76/3597.02 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 x52 -x51 -x50 x49 x48 -x47 -x46 x45 x44 -x43 -x42 x41 x40 -x39
3585.76/3597.02 v -x38 x37 x36 -x35 -x34 x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
3585.76/3597.02 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 x4 -x3 -x2 x1
3585.76/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3585.76/3597.02 c Total Time : 3597.00
3585.76/3597.02 c solving : 3597.00
3585.76/3597.02 c presolving : 0.18 (included in solving)
3585.76/3597.02 c reading : 0.04 (included in solving)
3585.76/3597.02 c copying : 0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3585.76/3597.02 c Original Problem :
3585.76/3597.02 c Problem name : HOME/instance-4520582-1751553937.opb
3585.76/3597.02 c Variables : 12650 (12650 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.76/3597.02 c Constraints : 12650 initial, 12650 maximal
3585.76/3597.02 c Objective : minimize, 12650 non-zeros (abs.min = 1, abs.max = 1)
3585.76/3597.02 c Presolved Problem :
3585.76/3597.02 c Problem name : t_HOME/instance-4520582-1751553937.opb
3585.76/3597.02 c Variables : 12650 (12650 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.76/3597.02 c Constraints : 12650 initial, 12650 maximal
3585.76/3597.02 c Objective : minimize, 12650 non-zeros (abs.min = 1, abs.max = 1)
3585.76/3597.02 c Nonzeros : 50600 constraint, 0 clique table
3585.76/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.76/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c milp : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c symmetry : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c linear : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c logicor : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c root node : - - - 1 - - 1 - - - - -
3585.76/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.76/3597.02 c benderslp : 0 0 0 0 20 0 0 100 0 0 0 0 0 0 0
3585.76/3597.02 c integral : 0 0 0 0 20 0 0 100 0 0 0 0 0 0 40
3585.76/3597.02 c logicor : 12650 12650 1 9462 0 0 0 95 0 1 0 0 0 0 0
3585.76/3597.02 c benders : 0 0 0 0 0 0 0 97 0 0 0 0 0 0 0
3585.76/3597.02 c fixedvar : 0 0 0 0 0 0 0 97 0 0 0 0 0 0 0
3585.76/3597.02 c countsols : 0 0 0 0 0 0 0 97 0 0 0 0 0 0 0
3585.76/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.76/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c integral : 1052.14 0.00 0.00 0.00 1052.12 0.00 0.00 0.03 0.00 0.00
3585.76/3597.02 c logicor : 0.05 0.00 0.01 0.01 0.00 0.00 0.00 0.02 0.00 0.00
3585.76/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.76/3597.02 c dualfix : 2 0 0 0
3585.76/3597.02 c genvbounds : 0 0 0 0
3585.76/3597.02 c nlobbt : 0 0 0 0
3585.76/3597.02 c obbt : 0 0 0 0
3585.76/3597.02 c probing : 0 0 0 0
3585.76/3597.02 c pseudoobj : 46 0 0 0
3585.76/3597.02 c redcost : 2 0 0 0
3585.76/3597.02 c rootredcost : 0 0 0 0
3585.76/3597.02 c symmetry : 3154 0 0 12649
3585.76/3597.02 c vbounds : 0 0 0 0
3585.76/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.76/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3585.76/3597.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c symmetry : 0.11 0.00 0.05 0.03 0.00 0.02
3585.76/3597.02 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.76/3597.02 c Symmetry :
3585.76/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.76/3597.02 c orbital reduction: 12649 reductions applied, 0 cutoffs
3585.76/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.76/3597.02 c shadow tree time : 0.00 s
3585.76/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3585.76/3597.02 c propagation : 0.00 1 0 - 0 0.0 0 0.0 - - -
3585.76/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.76/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.76/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.76/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.76/3597.02 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3585.76/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.76/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.76/3597.02 c cut pool : 0.00 - 3 0 - - 2 2 - - - - - (maximal pool size: 2)
3585.76/3597.02 c aggregation : 0.02 0.00 3 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.76/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.76/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.76/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c gomory : 8.81 0.00 3 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3585.76/3597.02 c > strongcg : - - - - - - - 0 0 0 0 0 -
3585.76/3597.02 c impliedbounds : 0.00 0.00 3 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c multilinear : 0.00 0.00 3 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c rlt : 0.00 0.00 2 1 0 0 0 0 0 0 0 0 0
3585.76/3597.02 c zerohalf : 1.04 0.00 3 1 0 0 2 2 0 2 2 0 0
3585.76/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.76/3597.02 c hybrid : 0.00 0.00 2 0 2 0 0 0 0 0
3585.76/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3585.76/3597.02 c problem variables: 0.00 - 0 0
3585.76/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.76/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c relpscost : 1052.12 0.00 20 0 0 0 0 0 0 40
3585.76/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.76/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.76/3597.02 c LP solutions : 0.00 - - 0 0
3585.76/3597.02 c relax solutions : 0.00 - - 0 0
3585.76/3597.02 c pseudo solutions : 0.00 - - 0 0
3585.76/3597.02 c strong branching : 0.14 - - 46 0
3585.76/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c adaptivediving : 0.00 0.00 0 0 0
3585.76/3597.02 c alns : 0.08 0.00 1 0 0
3585.76/3597.02 c bound : 0.00 0.00 0 0 0
3585.76/3597.02 c clique : 0.00 0.00 0 0 0
3585.76/3597.02 c coefdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c completesol : 0.00 0.00 0 0 0
3585.76/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c crossover : 0.00 0.00 0 0 0
3585.76/3597.02 c dins : 0.00 0.00 0 0 0
3585.76/3597.02 c distributiondivin: 0.01 0.00 0 0 0
3585.76/3597.02 c dps : 0.00 0.00 0 0 0
3585.76/3597.02 c dualval : 0.00 0.00 0 0 0
3585.76/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c feasjump : 0.00 0.00 0 0 0
3585.76/3597.02 c feaspump : 227.81 0.00 1 0 0
3585.76/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3585.76/3597.02 c fracdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c gins : 0.00 0.00 0 0 0
3585.76/3597.02 c guideddiving : 0.00 0.00 0 0 0
3585.76/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c indicator : 0.00 0.00 0 0 0
3585.76/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3585.76/3597.02 c indoneopt : 0.00 0.00 0 0 0
3585.76/3597.02 c indrounding : 0.00 0.00 0 0 0
3585.76/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3585.76/3597.02 c intdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c intshifting : 0.00 0.00 0 0 0
3585.76/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c localbranching : 0.00 0.00 0 0 0
3585.76/3597.02 c locks : 0.08 0.00 1 1 1
3585.76/3597.02 c lpface : 0.00 0.00 0 0 0
3585.76/3597.02 c mpec : 0.00 0.00 0 0 0
3585.76/3597.02 c multistart : 0.00 0.00 0 0 0
3585.76/3597.02 c mutation : 0.00 0.00 0 0 0
3585.76/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3585.76/3597.02 c octane : 0.00 0.00 0 0 0
3585.76/3597.02 c ofins : 0.00 0.00 0 0 0
3585.76/3597.02 c oneopt : 0.01 0.00 3 1 1
3585.76/3597.02 c padm : 0.00 0.00 0 0 0
3585.76/3597.02 c proximity : 0.00 0.00 0 0 0
3585.76/3597.02 c pscostdiving : 27.50 0.00 1 3 1
3585.76/3597.02 c randrounding : 0.05 0.00 1 1 0
3585.76/3597.02 c rens : 0.00 0.00 0 0 0
3585.76/3597.02 c reoptsols : 0.00 0.00 0 0 0
3585.76/3597.02 c repair : 0.00 0.00 0 0 0
3585.76/3597.02 c rins : 0.00 0.00 0 0 0
3585.76/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3585.76/3597.02 c rounding : 7.68 0.00 22 1 1
3585.76/3597.02 c scheduler : 0.00 0.00 0 0 0
3585.76/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3585.76/3597.02 c shifting : 0.82 0.00 4 0 0
3585.76/3597.02 c simplerounding : 0.04 0.00 22 20 0
3585.76/3597.02 c smallcard : 0.00 0.00 0 0 0
3585.76/3597.02 c subnlp : 0.00 0.00 0 0 0
3585.76/3597.02 c trivial : 0.01 0.00 2 1 1
3585.76/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3585.76/3597.02 c trustregion : 0.00 0.00 0 0 0
3585.76/3597.02 c trysol : 0.00 0.00 0 0 0
3585.76/3597.02 c twoopt : 0.00 0.00 0 0 0
3585.76/3597.02 c undercover : 0.00 0.00 0 0 0
3585.76/3597.02 c vbounds : 0.00 0.00 0 0 0
3585.76/3597.02 c veclendiving : 0.00 0.00 0 0 0
3585.76/3597.02 c zeroobj : 0.00 0.00 0 0 0
3585.76/3597.02 c zirounding : 0.06 0.00 20 20 0
3585.76/3597.02 c other solutions : - - - 0 -
3585.76/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.76/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.76/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.76/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.76/3597.02 c primal LP : 0.00 0 0 0.00 - 0.00 0
3585.76/3597.02 c dual LP : 2270.51 23 1011650 43984.78 445.56 0.00 0
3585.76/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3585.76/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.76/3597.02 c resolve instable : 0.00 0 0 0.00 -
3585.76/3597.02 c diving/probing LP: 258.56 18 133248 7402.67 515.36
3585.76/3597.02 c strong branching : 1047.46 621 598288 963.43 571.18 - - 1184
3585.76/3597.02 c (at root node) : - 34 17034 501.00 -
3585.76/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3585.76/3597.02 c B&B Tree :
3585.76/3597.02 c number of runs : 1
3585.76/3597.02 c nodes : 22 (20 internal, 2 leaves)
3585.76/3597.02 c feasible leaves : 0
3585.76/3597.02 c infeas. leaves : 1
3585.76/3597.02 c objective leaves : 0
3585.76/3597.02 c nodes (total) : 22 (20 internal, 2 leaves)
3585.76/3597.02 c nodes left : 20
3585.76/3597.02 c max depth : 12
3585.76/3597.02 c max depth (total): 12
3585.76/3597.02 c backtracks : 5 (22.7%)
3585.76/3597.02 c early backtracks : 0 (0.0%)
3585.76/3597.02 c nodes exc. ref. : 0 (0.0%)
3585.76/3597.02 c delayed cutoffs : 0
3585.76/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3585.76/3597.02 c avg switch length: 2.05
3585.76/3597.02 c switching time : 0.01
3585.76/3597.02 c Root Node :
3585.76/3597.02 c First LP value : +3.16250000000000e+03
3585.76/3597.02 c First LP Iters : 520111 (427.96 Iter/sec)
3585.76/3597.02 c First LP Time : 1215.32
3585.76/3597.02 c Final Dual Bound : +3.16251351351351e+03
3585.76/3597.02 c Final Root Iters : 520111
3585.76/3597.02 c Root LP Estimate : +3.16362466734258e+03
3585.76/3597.02 c Solution :
3585.76/3597.02 c Solutions found : 94 (5 improvements)
3585.76/3597.02 c First Solution : +1.26500000000000e+04 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
3585.76/3597.02 c Gap First Sol. : infinite
3585.76/3597.02 c Gap Last Sol. : 0.06 %
3585.76/3597.02 c Primal Bound : +3.16500000000001e+03 (in run 1, after 11 nodes, 2370.17 seconds, depth 1950, found by <pscostdiving>)
3585.76/3597.02 c Dual Bound : +3.16300000000000e+03
3585.76/3597.02 c Gap : 0.06 %
3585.76/3597.02 c Integrals : Total Avg%
3585.76/3597.02 c primal-dual : 123201.97 34.25
3585.76/3597.02 c primal-ref : - - (not evaluated)
3585.76/3597.02 c dual-ref : - - (not evaluated)
3585.76/3597.06 c Time complete: 3585.82.
OK 3165
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: 63665 MiB (62321 MiB free)
memory of node 1: 64507 MiB (63302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520582-1751553937/watcher-4520582-1751553937 -o /tmp/evaluation-result-4520582-1751553937/solver-4520582-1751553937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78443 --watchdog 3760 pbscip -f HOME/instance-4520582-1751553937.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=79717, runsolver pid=79712
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.01 4.09 4.07 4/258 79723
/proc/meminfo: memFree=128653064/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=96492 memory=66880 CPUtime=0.09 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 13658 0 0 0 7 2 0 0 20 0 1 0 71073566 98807808 16720 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 24123 16720 3584 3530 0 15574 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96492 KiB
Current children cumulated memory: 66880 KiB
[startup+0.205442 s]*
/proc/loadavg: 4.01 4.09 4.07 5/262 79727
/proc/meminfo: memFree=128609024/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=131972 memory=82680 CPUtime=0.19 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 19649 0 0 0 16 3 0 0 20 0 1 0 71073566 135139328 20670 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 32993 20670 3744 3530 0 24444 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 131972 KiB
Current children cumulated memory: 82680 KiB
[startup+0.305406 s]*
/proc/loadavg: 4.01 4.09 4.07 5/262 79727
/proc/meminfo: memFree=128565176/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=220524 memory=148668 CPUtime=0.29 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 37324 0 0 0 23 6 0 0 20 0 1 0 71073566 225816576 37167 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 55131 37167 3808 3530 0 46582 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 220524 KiB
Current children cumulated memory: 148668 KiB
[startup+0.700139 s]
/proc/loadavg: 4.01 4.09 4.07 5/262 79727
/proc/meminfo: memFree=128565176/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=227872 memory=155580 CPUtime=0.68 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 38978 0 0 0 62 6 0 0 20 0 1 0 71073566 233340928 38895 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 56968 38895 3904 3530 0 48419 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 227872 KiB
Current children cumulated memory: 155580 KiB
[startup+1.50014 s]
/proc/loadavg: 4.01 4.09 4.07 5/262 79727
/proc/meminfo: memFree=128565176/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=230212 memory=158012 CPUtime=1.48 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 39588 0 0 0 142 6 0 0 20 0 1 0 71073566 235737088 39503 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 57553 39503 3904 3530 0 49004 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 230212 KiB
Current children cumulated memory: 158012 KiB
[startup+3.10517 s]
/proc/loadavg: 4.09 4.10 4.08 5/262 79727
/proc/meminfo: memFree=128557032/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=235340 memory=162748 CPUtime=3.08 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 40753 0 0 0 302 6 0 0 20 0 1 0 71073566 240988160 40687 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 58835 40687 3904 3530 0 50286 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 235340 KiB
Current children cumulated memory: 162748 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.10 4.08 5/262 79727
/proc/meminfo: memFree=128557272/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=236492 memory=164156 CPUtime=6.26 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41134 0 0 0 620 6 0 0 20 0 1 0 71073566 242167808 41039 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 59123 41039 3904 3530 0 50574 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 236492 KiB
Current children cumulated memory: 164156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.08 5/262 79727
/proc/meminfo: memFree=128553176/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=240224 memory=167000 CPUtime=12.65 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41320 0 0 0 1259 6 0 0 20 0 1 0 71073566 245989376 41750 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 60056 41750 3904 3530 0 51507 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 240224 KiB
Current children cumulated memory: 167000 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.08 5/262 79727
/proc/meminfo: memFree=128553184/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=240224 memory=167000 CPUtime=25.41 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41320 0 0 0 2535 6 0 0 20 0 1 0 71073566 245989376 41750 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 60056 41750 3904 3530 0 51507 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 240224 KiB
Current children cumulated memory: 167000 KiB
[startup+51.1052 s]
/proc/loadavg: 4.17 4.12 4.09 5/262 79728
/proc/meminfo: memFree=128553208/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=240224 memory=167000 CPUtime=50.95 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41321 0 0 0 5089 6 0 0 20 0 1 0 71073566 245989376 41750 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 60056 41750 3904 3530 0 51507 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 240224 KiB
Current children cumulated memory: 167000 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 79778
/proc/meminfo: memFree=128810824/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=240224 memory=167384 CPUtime=102 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41421 0 0 0 10194 6 0 0 20 0 1 0 71073566 245989376 41846 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 60056 41846 3904 3530 0 51507 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 240224 KiB
Current children cumulated memory: 167384 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 79785
/proc/meminfo: memFree=128779020/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=240224 memory=167768 CPUtime=161.83 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41529 0 0 0 16177 6 0 0 20 0 1 0 71073566 245989376 41942 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 60056 41942 3904 3530 0 51507 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 240224 KiB
Current children cumulated memory: 167768 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 79787
/proc/meminfo: memFree=128779144/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=242200 memory=168920 CPUtime=221.66 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41819 0 0 0 22160 6 0 0 20 0 1 0 71073566 248012800 42230 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 60550 42230 3904 3530 0 52001 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 242200 KiB
Current children cumulated memory: 168920 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 79880
/proc/meminfo: memFree=129040068/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=242200 memory=169048 CPUtime=281.48 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41838 0 0 0 28142 6 0 0 20 0 1 0 71073566 248012800 42262 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 60550 42262 3904 3530 0 52001 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 242200 KiB
Current children cumulated memory: 169048 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 79883
/proc/meminfo: memFree=128993696/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=245380 memory=193280 CPUtime=341.31 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 41994 0 0 0 34125 6 0 0 20 0 1 0 71073566 251269120 48320 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 61345 48320 3904 3530 0 52796 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 245380 KiB
Current children cumulated memory: 193280 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 79975
/proc/meminfo: memFree=128986232/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=245380 memory=203904 CPUtime=401.14 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 42001 0 0 0 40108 6 0 0 20 0 1 0 71073566 251269120 50976 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 61345 50976 3904 3530 0 52796 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 245380 KiB
Current children cumulated memory: 203904 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 79977
/proc/meminfo: memFree=128914332/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=245380 memory=204160 CPUtime=460.96 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 42065 0 0 0 46090 6 0 0 20 0 1 0 71073566 251269120 51040 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 61345 51040 3904 3530 0 52796 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
/proc/loadavg: 4.12 4.14 4.11 5/262 80337
/proc/meminfo: memFree=124161776/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3152.42 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57913 0 0 0 315232 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3152.42 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 80338
/proc/meminfo: memFree=124162400/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3212.22 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57913 0 0 0 321212 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3212.22 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 80345
/proc/meminfo: memFree=124165808/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3272.04 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57913 0 0 0 327194 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3272.04 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/263 80347
/proc/meminfo: memFree=124165604/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3331.85 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57914 0 0 0 333175 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/263 80349
/proc/meminfo: memFree=124171656/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3391.67 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57914 0 0 0 339157 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3391.67 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 80351
/proc/meminfo: memFree=124174500/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3451.49 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 345139 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3451.49 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 80353
/proc/meminfo: memFree=124193452/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3511.29 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 351119 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3511.29 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 80355
/proc/meminfo: memFree=124191692/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3571.1 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 357100 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3597.07 s]
# the end of solver process 79717 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.72 s, system=0.106661 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 80355
/proc/meminfo: memFree=124191692/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3572.8 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 357270 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 80356
/proc/meminfo: memFree=124191724/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3579.18 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 357908 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3579.18 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 80357
/proc/meminfo: memFree=124191796/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3582.37 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 358227 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3582.37 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 80357
/proc/meminfo: memFree=124191796/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3583.96 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 358386 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 80357
/proc/meminfo: memFree=124191796/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3584.77 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 358467 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3584.77 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 80357
/proc/meminfo: memFree=124191796/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3585.56 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 358546 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
[startup+3597 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 80357
/proc/meminfo: memFree=124191796/131250000 swapFree=33010416/33010684
[pid=79717] ppid=79712 vsize=322608 memory=271012 CPUtime=3585.76 cores=1,3
/proc/79717/stat : 79717 (pbscip) R 79712 79717 78407 0 -1 4194304 57925 0 0 0 358566 10 0 0 20 0 1 0 71073566 330350592 67753 18446744073709551615 4235264 18693293 140735031757312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56844288 140735031765385 140735031765484 140735031765484 140735031771086 0
/proc/79717/statm: 80652 67753 3968 3530 0 72103 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 322608 KiB
Current children cumulated memory: 271012 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3585.83
CPU user time (s): 3585.72
CPU system time (s): 0.106661
CPU usage (%): 99.6876
Max. virtual memory (cumulated for all children) (KiB): 322608
Max. memory (cumulated for all children) (KiB): 271012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.72
system time used= 0.106661
maximum resident set size= 271012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 1130
# summary of solver processes directly reported to runsolver:
# pid: 79717
# total CPU time (s): 3585.83
# total CPU user time (s): 3585.72
# total CPU system time (s): 0.106661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57957 second user time and 15.0721 second system time
The end
Begin job on nodeC027 at 2025-07-03 16:45:37 IDJOB=4520582 IDBENCH=178105 IDSOLVER=3365 FILE ID=nodeC027/4520582-1751553937 RUNJOBID= nodeC027-1751550309-78443 SLURM_JOB_ID= 9598730 Free space on /tmp= 431128 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520582-1751553937/watcher-4520582-1751553937 -o /tmp/evaluation-result-4520582-1751553937/solver-4520582-1751553937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78443 --watchdog 3760 pbscip -f HOME/instance-4520582-1751553937.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d7ece7e3292f38d08ee869a6ef2ad2c1 RANDOM SEED=942756141 nodeC027 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.638 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.29 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.635 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.29 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 : 3600.871 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.29 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 : 3598.673 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.29 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.282 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.29 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 : 3599.656 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.29 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 : 3600.001 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.29 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.656 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128636632 kB MemAvailable: 128887308 kB Buffers: 2488 kB Cached: 1049812 kB SwapCached: 12 kB Active: 1331628 kB Inactive: 509272 kB Active(anon): 803864 kB Inactive(anon): 2792 kB Active(file): 527764 kB Inactive(file): 506480 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19428 kB Writeback: 64 kB AnonPages: 791704 kB Mapped: 126340 kB Shmem: 18056 kB KReclaimable: 110940 kB Slab: 200308 kB SReclaimable: 110940 kB SUnreclaim: 89368 kB KernelStack: 4188 kB PageTables: 4640 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1172332 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 694272 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431080 MiB End job on nodeC027 at 2025-07-03 17:45:34