Trace number 3450158

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Satisfiability Solver Selector 2011-03-18SAT 1087.14 1087.32

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark44.5842
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data

33.09/33.43	c COMMAND LINE: portfolio_solver.py -t 5000 -s 1037998027 HOME/instance-3450158-1307062818.cnf
33.09/33.43	c    tmpdir         WORKING-DIR
33.09/33.43	c    timelimit      5000
33.09/33.43	c    seed           1037998027
33.09/33.43	c    verbosity      0
33.09/33.43	c Parsed command line and set default values...
33.09/33.43	c Starting *WALL CLOCK* TIMER
33.09/33.43	c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
33.09/33.43	c   indicating coach-executables-test.sh was run successfully earlier
33.09/33.43	c Making sure all necessary files and folders are present...
33.09/33.43	c   Checking for ./features                            OK
33.09/33.43	c   Checking for COACH/coach                           OK
33.09/33.43	c   Checking for preprocessors/SatELite_v1.0_linux     OK
33.09/33.43	c   Checking for solvers/adaptg2wsat2009               OK
33.09/33.43	c   Checking for solvers/adaptg2wsat2009++             OK
33.09/33.43	c   Checking for solvers/clasp-1.3.6-x86-linux         OK
33.09/33.43	c   Checking for solvers/cryptominisat                 OK
33.09/33.43	c   Checking for solvers/glucose_static                OK
33.09/33.43	c   Checking for solvers/gnovelty+2                    OK
33.09/33.43	c   Checking for solvers/gnovelty+2-H                  OK
33.09/33.43	c   Checking for solvers/hybridGM3                     OK
33.09/33.43	c   Checking for solvers/kcnfs04SAT07                  OK
33.09/33.43	c   Checking for solvers/lingeling                     OK
33.09/33.43	c   Checking for solvers/LySATc                        OK
33.09/33.43	c   Checking for solvers/LySATi                        OK
33.09/33.43	c   Checking for solvers/march_hi                      OK
33.09/33.43	c   Checking for solvers/march_nn                      OK
33.09/33.43	c   Checking for solvers/minisat_static                OK
33.09/33.43	c   Checking for solvers/mxc-sat09                     OK
33.09/33.43	c   Checking for solvers/picosat                       OK
33.09/33.43	c   Checking for solvers/precosat                      OK
33.09/33.43	c   Checking for solvers/SATenstein                    OK
33.09/33.43	c   Checking for solvers/TNM                           OK
33.09/33.43	c   Checking for solvers/ubcsatOrig                    OK
33.09/33.43	c   Checking for utilities/timerun                     OK
33.09/33.43	c   Checking for folder COACH/DATA                     OK
33.09/33.43	c   Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
33.09/33.43	c Check successful
33.09/33.43	c TIMER: 0.0 sec total, 0.0 sec since previous report
33.09/33.43	c Computing instance features...
33.09/33.43	c    ./features HOME/instance-3450158-1307062818.cnf
33.09/33.43	c    Features found: 12542 1296974 0.00967020156 0.000752808512 3.86005829 2.31307644e-06 0.015795228 1.49970234 0.000691182969 0.576235352 0.0001594642 0.00605963961 2.30400335 0.965182009 0.177622627 0 1 0.202338851 0.258274985 0.270145966 0 0.999587331 0.998032224 0 0.0258324377 0.0478845374 0.000654974824 4.32037818 1.54205096e-06 0.0157906018 1.47411724 0.956830283 2.55275751e-05 0.930345887 1.7733586e-05 0.0001603733 1.81410072 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1
33.09/33.43	c TIMER: 33.07 sec total, 33.07 sec since previous report
33.09/33.43	c Computing most promising solver to run...
33.09/33.43	c    COACH/coach 12542 1296974 0.00967020156 0.000752808512 3.86005829 2.31307644e-06 0.015795228 1.49970234 0.000691182969 0.576235352 0.0001594642 0.00605963961 2.30400335 0.965182009 0.177622627 0 1 0.202338851 0.258274985 0.270145966 0 0.999587331 0.998032224 0 0.0258324377 0.0478845374 0.000654974824 4.32037818 1.54205096e-06 0.0157906018 1.47411724 0.956830283 2.55275751e-05 0.930345887 1.7733586e-05 0.0001603733 1.81410072 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1 COACH/DATA/ 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER cryptominisat 21 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER precosat 128 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER march_hi 121 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER hybridGM3 34 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER gnovelty+2 38 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER TNM 62 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER AshiHgen 8 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
33.09/33.43	c    PORTFOLIO-SUGGESTION SOLVER lingeling 100000 1
33.09/33.43	c TIMER: 33.41 sec total, 0.33 sec since previous report
33.09/33.43	c Preprocessing ON (for solvers that need to use it)
33.09/33.43	c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
33.09/33.43	c    cryptominisat   	             21 	False
33.09/33.43	c    adaptg2wsat2009 	              4 	False
1058.35/1058.49	c    precosat        	            128 	False
1058.35/1058.49	c    march_hi        	            121 	False
1058.35/1058.49	c    hybridGM3       	             34 	False
1058.35/1058.49	c    lingeling       	              4 	False
1058.35/1058.49	c    gnovelty+2      	             38 	False
1058.35/1058.49	c    TNM             	             62 	False
1058.35/1058.49	c    AshiHgen        	              8 	False
1058.35/1058.49	c    mxc-sat09       	              4 	False
1058.35/1058.49	c    lingeling       	         100000 	True
1058.35/1058.49	c Default solver to fall back on, in case everything fails:
1058.35/1058.49	c    lingeling       	       no limit 	False
1058.35/1058.49	c Running cryptominisat for 21 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 21 solvers/cryptominisat HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 54.43 sec total, 21.02 sec since previous report
1058.35/1058.49	c Running adaptg2wsat2009 for 4 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 4 solvers/adaptg2wsat2009 HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 58.44 sec total, 4.01 sec since previous report
1058.35/1058.49	c Running precosat for 128 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 128 solvers/precosat HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 186.43 sec total, 127.99 sec since previous report
1058.35/1058.49	c Running march_hi for 121 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 121 solvers/march_hi HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 307.43 sec total, 121.01 sec since previous report
1058.35/1058.49	c Running hybridGM3 for 34 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 34 solvers/hybridGM3 HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 307.45 sec total, 0.02 sec since previous report
1058.35/1058.49	c Running lingeling for 4 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 4 solvers/lingeling HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 311.46 sec total, 4.01 sec since previous report
1058.35/1058.49	c Running gnovelty+2 for 38 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 38 solvers/gnovelty+2 HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 349.46 sec total, 38.0 sec since previous report
1058.35/1058.49	c Running TNM for 62 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 62 solvers/TNM HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 411.47 sec total, 62.0 sec since previous report
1058.35/1058.49	c Running AshiHgen for 8 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 8 solvers/SATenstein -i HOME/instance-3450158-1307062818.cnf -alg satenstein -varinfalse 1 -adaptwalkprob 0 -theta 3 -singleclause 1 -randomwalk 3 -performrandomwalk 1 -selectclause 1 -promisinglist 0 -adaptiveprom 0 -heuristic 7 -adaptive 1 -phi 10 -tabusearch 0 -rdp 0.15 -r satcomp  -cutoff max -runs 100 -solve -seed 1037998027 
1058.35/1058.49	c TIMER: 419.48 sec total, 8.01 sec since previous report
1058.35/1058.49	c Running mxc-sat09 for 4 seconds on HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c    utilities/timerun 4 solvers/mxc-sat09 -i HOME/instance-3450158-1307062818.cnf
1058.35/1058.49	c TIMER: 423.49 sec total, 4.01 sec since previous report
1058.35/1058.49	c <<<< Running SatElite to preprocess instance >>>>
1058.35/1058.49	c    preprocessors/SatELite_v1.0_linux +pre --verbosity=0 HOME/instance-3450158-1307062818.cnf WORKING-DIR/instance-3450158-1307062818.cnf.pre WORKING-DIR/instance-3450158-1307062818.cnf.pre.varmap
1058.35/1058.49	c Satelite return code: 0
1058.35/1058.49	c Running lingeling for 100000 seconds on WORKING-DIR/instance-3450158-1307062818.cnf.pre
1058.35/1058.49	c    utilities/timerun 100000 solvers/lingeling WORKING-DIR/instance-3450158-1307062818.cnf.pre
1058.35/1058.49	c TIMER: 1058.47 sec total, 634.98 sec since previous report
1087.13/1087.30	c Instance solved!
1087.13/1087.30	c Converting preprocessed instance solution back to original instance solution
1087.13/1087.30	c    Writing unit-clause-extended CNF file to WORKING-DIR/instance-3450158-1307062818.cnf.extended
1087.13/1087.30	c    Running lingeling on WORKING-DIR/instance-3450158-1307062818.cnf.extended
1087.13/1087.30	c       solvers/lingeling WORKING-DIR/instance-3450158-1307062818.cnf.extended
1087.13/1087.30	c TIMER: 1087.27 sec total, 28.8 sec since previous report
1087.13/1087.30	s SATISFIABLE
1087.13/1087.30	v -1 -2 3 -4 -5 -6 -7 8 9 -10 -11 -12 -13 14 15 16 -17 -18 -19 20
1087.13/1087.30	v -21 22 23 24 -25 26 27 28 -29 -30 31 32 33 -34 -35 -36 -37 38 39 -40
1087.13/1087.30	v 41 -42 43 -44 -45 -46 47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 60
1087.13/1087.30	v 61 -62 -63 -64 65 66 -67 -68 -69 -70 71 72 73 -74 75 76 77 -78 -79 -80
1087.13/1087.30	v 81 82 -83 -84 85 -86 87 -88 -89 -90 -91 92 93 -94 95 -96 -97 98 -99 -100
1087.13/1087.30	v -101 -102 -103 -104 -105 -106 107 -108 -109 -110 -111 -112 113 -114 -115 -116 117 -118 -119 -120
1087.13/1087.30	v -121 -122 -123 -124 -125 -126 127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
1087.13/1087.30	v -141 142 143 144 145 146 147 148 149 150 151 152 153 -154 -155 -156 -157 -158 -159 -160
1087.13/1087.30	v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 178 -179 -180
1087.13/1087.30	v -181 -182 -183 -184 -185 186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
1087.13/1087.30	v -201 -202 203 -204 205 -206 -207 -208 -209 -210 -211 -212 -213 -214 215 -216 -217 -218 -219 -220
1087.13/1087.30	v -221 -222 -223 -224 -225 226 -227 -228 -229 -230 -231 -232 233 -234 -235 236 237 -238 -239 -240
1087.13/1087.30	v 241 242 -243 -244 -245 -246 -247 -248 249 250 -251 -252 -253 -254 -255 -256 -257 -258 -259 260
1087.13/1087.30	v 261 -262 -263 -264 265 266 -267 268 -269 -270 -271 -272 273 -274 275 276 277 -278 -279 280
1087.13/1087.30	v 281 -282 283 -284 -285 -286 -287 288 289 -290 -291 -292 293 294 295 -296 -297 298 299 -300
1087.13/1087.30	v 301 -302 -303 -304 -305 -306 -307 -308 309 310 311 -312 -313 314 315 -316 317 -318 319 320
1087.13/1087.30	v 321 322 -323 -324 325 -326 327 328 -329 330 331 332 -333 334 -335 -336 337 -338 339 340
1087.13/1087.30	v 341 342 343 -344 345 346 347 -348 349 -350 -351 352 353 354 355 356 357 -358 -359 360
1087.13/1087.30	v -361 -362 363 -364 -365 -366 -367 -368 -369 370 371 372 -373 -374 -375 -376 -377 -378 -379 -380
1087.13/1087.30	v -381 -382 -383 -384 385 -386 387 -388 389 390 391 392 -393 -394 395 -396 397 398 399 400
1087.13/1087.30	v 401 402 403 404 405 406 407 -408 -409 -410 -411 -412 -413 414 415 -416 -417 -418 419 420
1087.13/1087.30	v -421 422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 435 -436 437 -438 -439 -440
1087.13/1087.30	v -441 -442 443 -444 -445 -446 -447 448 -449 -450 451 452 -453 -454 455 -456 -457 -458 -459 -460
1087.13/1087.30	v -461 462 -463 -464 -465 -466 -467 -468 -469 470 471 472 -473 -474 -475 -476 -477 -478 -479 -480
1087.13/1087.30	v -481 -482 -483 -484 -485 -486 487 488 489 490 491 -492 -493 -494 -495 -496 -497 -498 -499 -500
1087.13/1087.30	v -501 -502 -503 -504 -505 -506 -507 -508 -509 510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
1087.13/1087.30	v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 535 536 537 538 -539 -540
1087.13/1087.30	v -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 555 556 557 -558 -559 -560
1087.13/1087.30	v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 574 -575 -576 -577 -578 -579 -580
1087.13/1087.30	v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 597 -598 -599 -600
1087.13/1087.30	v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
1087.13/1087.30	v -621 622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 640
1087.13/1087.30	v 641 642 643 644 645 646 647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660
1087.13/1087.30	v -661 -662 -663 -664 -665 -666 -667 -668 -669 670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
1087.13/1087.30	v -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
1087.13/1087.30	v -701 -702 -703 -704 -705 -706 -707 -708 709 710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
1087.13/1087.30	v -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
1087.13/1087.30	v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 753 -754 -755 -756 -757 -758 -759 -760
1087.13/1087.30	v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 778 -779 -780
1087.13/1087.30	v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
1087.13/1087.30	v 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
1087.13/1087.30	v -821 822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 838 -839 -840
1087.13/1087.30	v -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860
1087.13/1087.30	v -861 -862 -863 -864 865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880
1087.13/1087.30	v -881 -882 -883 -884 -885 -886 887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900
1087.13/1087.30	v -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 911 -912 -913 -914 -915 -916 -917 -918 -919 -920
1087.13/1087.30	v -921 -922 -923 -924 -925 -926 -927 928 929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940
1087.13/1087.30	v -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 957 958 -959 -960
1087.13/1087.30	v -961 -962 -963 -964 -965 -966 -967 -968 -969 970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980
1087.13/1087.30	v -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 999 1000
1087.13/1087.30	v 1001 1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 1020
1087.13/1087.30	v 1021 1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 1037 1038 1039 -1040
1087.13/1087.30	v -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060
1087.13/1087.30	v 1061 1062 1063 1064 1065 1066 1067 1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080
1087.13/1087.30	v -1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
1087.13/1087.30	v -1101 -1102 -1103 -1104 -1105 -1106 1107 1108 1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120
1087.13/1087.30	v -1121 -1122 1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140
1087.13/1087.30	v -1141 -1142 -1143 -1144 1145 1146 1147 1148 1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160
1087.13/1087.30	v -1161 -1162 -1163 -1164 -1165 -1166 -1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 -1179 -1180
1087.13/1087.30	v -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 1198 1199 1200
1087.13/1087.30	v -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220
1087.13/1087.30	v -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240
1087.13/1087.30	v 1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 1256 1257 -1258 -1259 -1260
1087.13/1087.30	v -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 1278 1279 -1280
1087.13/1087.30	v -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300
1087.13/1087.30	v -1301 1302 1303 1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320
1087.13/1087.30	v -1321 1322 1323 1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340
1087.13/1087.30	v -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360
1087.13/1087.30	v -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 1376 -1377 -1378 -1379 -1380
1087.13/1087.30	v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 1390 1391 1392 1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400
1087.13/1087.30	v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 1414 1415 1416 -1417 -1418 -1419 -1420
1087.13/1087.30	v -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440
1087.13/1087.30	v -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460
1087.13/1087.30	v -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480
1087.13/1087.30	v -1481 1482 1483 1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500
1087.14/1087.30	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520
1087.14/1087.30	v -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540
1087.14/1087.30	v -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560
1087.14/1087.30	v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580
1087.14/1087.30	v -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 1592 1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600
1087.14/1087.30	v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 1616 -1617 -1618 -1619 -1620
1087.14/1087.30	v -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640
1087.14/1087.30	v -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660
1087.14/1087.30	v -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
1087.14/1087.30	v -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
1087.14/1087.30	v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720
1087.14/1087.30	v -1721 -1722 -1723 1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740
1087.14/1087.30	v -1741 -1742 -1743 -1744 -1745 -1746 1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760
1087.14/1087.30	v -1761 -1762 -1763 -1764 -1765 -1766 -1767 1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780
1087.14/1087.30	v -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800
1087.14/1087.30	v -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820
1087.14/1087.30	v -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840
1087.14/1087.30	v -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 1857 -1858 -1859 -1860
1087.14/1087.30	v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880
1087.14/1087.30	v -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 1896 -1897 -1898 -1899 -1900
1087.14/1087.30	v -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920
1087.14/1087.30	v 1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 1940
1087.14/1087.30	v 1941 1942 1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
1087.14/1087.30	v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
1087.14/1087.30	v -1981 -1982 1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
1087.14/1087.30	v -2001 -2002 -2003 -2004 -2005 -2006 -2007 2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
1087.14/1087.30	v -2021 -2022 -2023 -2024 -2025 -2026 2027 2028 2029 2030 2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040
1087.14/1087.30	v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060
1087.14/1087.30	v -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080
1087.14/1087.30	v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 2095 2096 -2097 -2098 -2099 -2100
1087.14/1087.30	v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 2115 -2116 -2117 -2118 -2119 -2120
1087.14/1087.30	v -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 2139 -2140
1087.14/1087.30	v -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160
1087.14/1087.30	v -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180
1087.14/1087.30	v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
1087.14/1087.30	v -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
1087.14/1087.30	v -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240
1087.14/1087.30	v -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260
1087.14/1087.30	v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
1087.14/1087.30	v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300
1087.14/1087.30	v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 2314 2315 -2316 -2317 -2318 -2319 -2320
1087.14/1087.30	v -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340
1087.14/1087.30	v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 2358 -2359 -2360
1087.14/1087.30	v -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380
1087.14/1087.30	v -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400
1087.14/1087.30	v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420
1087.14/1087.30	v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
1087.14/1087.30	v -2441 -2442 -2443 -2444 -2445 2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460
1087.14/1087.30	v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
1087.14/1087.30	v -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
1087.14/1087.30	v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
1087.14/1087.30	v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540
1087.14/1087.30	v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
1087.14/1087.30	v -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
1087.14/1087.30	v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600
1087.14/1087.30	v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620
1087.14/1087.30	v -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640
1087.14/1087.30	v -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660
1087.14/1087.30	v -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680
1087.14/1087.30	v -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700
1087.14/1087.30	v -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720
1087.14/1087.30	v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
1087.14/1087.30	v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 2757 -2758 -2759 -2760
1087.14/1087.30	v -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780
1087.14/1087.30	v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800
1087.14/1087.30	v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820
1087.14/1087.30	v -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840
1087.14/1087.30	v -2841 -2842 -2843 -2844 2845 2846 2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860
1087.14/1087.30	v -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880
1087.14/1087.30	v -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900
1087.14/1087.30	v -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920
1087.14/1087.30	v -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940
1087.14/1087.30	v -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960
1087.14/1087.30	v -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 2978 -2979 -2980
1087.14/1087.30	v -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000
1087.14/1087.30	v 3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020
1087.14/1087.30	v -3021 3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
1087.14/1087.30	v -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060
1087.14/1087.30	v -3061 -3062 -3063 -3064 3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
1087.14/1087.30	v -3081 -3082 -3083 -3084 -3085 -3086 3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100
1087.14/1087.30	v -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120
1087.14/1087.30	v -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140
1087.14/1087.30	v -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160
1087.14/1087.30	v -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180
1087.14/1087.30	v -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 3196 -3197 -3198 -3199 -3200
1087.14/1087.30	v -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 3216 3217 3218 3219 -3220
1087.14/1087.30	v -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240
1087.14/1087.30	v -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260
1087.14/1087.30	v -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280
1087.14/1087.30	v -3281 -3282 3283 3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300
1087.14/1087.30	v -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320
1087.14/1087.30	v -3321 -3322 -3323 -3324 -3325 -3326 3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340
1087.14/1087.30	v -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360
1087.14/1087.30	v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
1087.14/1087.30	v -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400
1087.14/1087.30	v -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420
1087.14/1087.30	v -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 3439 -3440
1087.14/1087.30	v -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460
1087.14/1087.30	v 3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480
1087.14/1087.30	v -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500
1087.14/1087.30	v -3501 3502 3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520
1087.14/1087.30	v -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540
1087.14/1087.30	v -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
1087.14/1087.30	v -3561 -3562 -3563 -3564 -3565 3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580
1087.14/1087.30	v -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600
1087.14/1087.30	v -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620
1087.14/1087.30	v -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
1087.14/1087.30	v -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660
1087.14/1087.30	v -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680
1087.14/1087.30	v -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700
1087.14/1087.30	v -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720
1087.14/1087.30	v -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740
1087.14/1087.30	v -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760
1087.14/1087.30	v -3761 -3762 -3763 3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
1087.14/1087.30	v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800
1087.14/1087.30	v -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820
1087.14/1087.30	v -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840
1087.14/1087.30	v -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860
1087.14/1087.30	v -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880
1087.14/1087.30	v -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 3897 -3898 -3899 -3900
1087.14/1087.30	v -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920
1087.14/1087.30	v -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940
1087.14/1087.30	v -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960
1087.14/1087.30	v -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980
1087.14/1087.30	v -3981 -3982 -3983 -3984 3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000
1087.14/1087.30	v -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020
1087.14/1087.30	v -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040
1087.14/1087.30	v -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060
1087.14/1087.30	v -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080
1087.14/1087.30	v -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100
1087.14/1087.30	v -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120
1087.14/1087.30	v -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140
1087.14/1087.30	v -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160
1087.14/1087.30	v -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180
1087.14/1087.30	v -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200
1087.14/1087.30	v -4201 -4202 -4203 -4204 -4205 -4206 -4207 4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
1087.14/1087.30	v -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240
1087.14/1087.30	v -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
1087.14/1087.30	v -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 4274 -4275 -4276 -4277 -4278 -4279 -4280
1087.14/1087.30	v -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300
1087.14/1087.30	v -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320
1087.14/1087.30	v -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340
1087.14/1087.30	v -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360
1087.14/1087.30	v -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380
1087.14/1087.30	v -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400
1087.14/1087.30	v -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420
1087.14/1087.30	v -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440
1087.14/1087.30	v -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460
1087.14/1087.30	v -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480
1087.14/1087.30	v -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500
1087.14/1087.30	v -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520
1087.14/1087.30	v -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540
1087.14/1087.30	v -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 4559 4560
1087.14/1087.30	v -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 4579 -4580
1087.14/1087.30	v -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600
1087.14/1087.30	v -4601 -4602 4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620
1087.14/1087.30	v -4621 -4622 -4623 -4624 -4625 -4626 -4627 4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640
1087.14/1087.30	v -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660
1087.14/1087.30	v -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680
1087.14/1087.30	v -4681 -4682 -4683 -4684 -4685 -4686 -4687 4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700
1087.14/1087.30	v -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 4715 -4716 -4717 -4718 -4719 -4720
1087.14/1087.30	v -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 4737 -4738 -4739 -4740
1087.14/1087.30	v -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760
1087.14/1087.30	v 4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 4778 4779 -4780
1087.14/1087.30	v -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800
1087.14/1087.30	v -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
1087.14/1087.30	v -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840
1087.14/1087.30	v -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860
1087.14/1087.30	v -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880
1087.14/1087.30	v -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900
1087.14/1087.30	v -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920
1087.14/1087.30	v -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940
1087.14/1087.30	v -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960
1087.14/1087.30	v -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980
1087.14/1087.30	v -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000
1087.14/1087.30	v -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020
1087.14/1087.30	v -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040
1087.14/1087.30	v -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060
1087.14/1087.30	v -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080
1087.14/1087.30	v -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100
1087.14/1087.30	v -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
1087.14/1087.30	v -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140
1087.14/1087.30	v -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160
1087.14/1087.30	v -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180
1087.14/1087.30	v -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200
1087.14/1087.30	v -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220
1087.14/1087.30	v -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240
1087.14/1087.30	v -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260
1087.14/1087.30	v -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280
1087.14/1087.30	v -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300
1087.14/1087.30	v -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320
1087.14/1087.30	v -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340
1087.14/1087.30	v -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360
1087.14/1087.30	v -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
1087.14/1087.30	v -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
1087.14/1087.30	v -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420
1087.14/1087.30	v -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440
1087.14/1087.30	v -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460
1087.14/1087.30	v -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480
1087.14/1087.30	v -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500
1087.14/1087.30	v -5501 -5502 -5503 -5504 5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520
1087.14/1087.30	v -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540
1087.14/1087.30	v -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560
1087.14/1087.30	v -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580
1087.14/1087.30	v -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600
1087.14/1087.30	v -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620
1087.14/1087.30	v -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640
1087.14/1087.30	v -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660
1087.14/1087.30	v -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680
1087.14/1087.30	v -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700
1087.14/1087.30	v -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
1087.14/1087.30	v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740
1087.14/1087.30	v -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760
1087.14/1087.30	v -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780
1087.14/1087.30	v -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800
1087.14/1087.30	v -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820
1087.14/1087.30	v -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840
1087.14/1087.30	v -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860
1087.14/1087.30	v -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 5879 -5880
1087.14/1087.30	v -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900
1087.14/1087.30	v -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920
1087.14/1087.30	v -5921 -5922 -5923 -5924 -5925 5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
1087.14/1087.30	v -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960
1087.14/1087.30	v -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
1087.14/1087.30	v -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000
1087.14/1087.30	v -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020
1087.14/1087.30	v -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040
1087.14/1087.30	v -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060
1087.14/1087.30	v -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080
1087.14/1087.30	v -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100
1087.14/1087.30	v -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120
1087.14/1087.30	v -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140
1087.14/1087.30	v -6141 -6142 -6143 -6144 -6145 -6146 6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160
1087.14/1087.30	v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180
1087.14/1087.30	v -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
1087.14/1087.30	v -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
1087.14/1087.30	v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
1087.14/1087.30	v -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260
1087.14/1087.30	v -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
1087.14/1087.30	v -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300
1087.14/1087.30	v -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320
1087.14/1087.30	v -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340
1087.14/1087.30	v -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360
1087.14/1087.30	v -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380
1087.14/1087.30	v -6381 -6382 -6383 -6384 -6385 -6386 6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400
1087.14/1087.30	v -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420
1087.14/1087.30	v -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440
1087.14/1087.30	v -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
1087.14/1087.30	v -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480
1087.14/1087.30	v -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500
1087.14/1087.30	v -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520
1087.14/1087.30	v -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540
1087.14/1087.30	v -6541 -6542 -6543 -6544 6545 6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560
1087.14/1087.30	v -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580
1087.14/1087.30	v -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600
1087.14/1087.30	v -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 6611 6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620
1087.14/1087.30	v -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 6633 6634 -6635 -6636 -6637 -6638 -6639 -6640
1087.14/1087.30	v -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660
1087.14/1087.30	v -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680
1087.14/1087.30	v -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700
1087.14/1087.30	v -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720
1087.14/1087.30	v 6721 6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740
1087.14/1087.30	v -6741 -6742 6743 6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760
1087.14/1087.30	v -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780
1087.14/1087.30	v -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800
1087.14/1087.30	v -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820
1087.14/1087.30	v -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840
1087.14/1087.30	v -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860
1087.14/1087.30	v -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880
1087.14/1087.30	v -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 6897 -6898 -6899 -6900
1087.14/1087.30	v -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 6920
1087.14/1087.30	v -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940
1087.14/1087.30	v -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960
1087.14/1087.30	v -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980
1087.14/1087.30	v -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000
1087.14/1087.30	v -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020
1087.14/1087.30	v -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040
1087.14/1087.30	v -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060
1087.14/1087.30	v -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080
1087.14/1087.30	v -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100
1087.14/1087.30	v -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120
1087.14/1087.30	v -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140
1087.14/1087.30	v -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160
1087.14/1087.30	v -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180
1087.14/1087.30	v -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200
1087.14/1087.30	v -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220
1087.14/1087.30	v -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 7240
1087.14/1087.30	v -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260
1087.14/1087.30	v -7261 7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280
1087.14/1087.30	v -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300
1087.14/1087.30	v -7301 -7302 -7303 -7304 -7305 7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320
1087.14/1087.30	v -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340
1087.14/1087.30	v -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360
1087.14/1087.30	v -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380
1087.14/1087.30	v -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400
1087.14/1087.30	v -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420
1087.14/1087.30	v -7421 -7422 7423 7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440
1087.14/1087.30	v -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460
1087.14/1087.30	v -7461 -7462 -7463 -7464 -7465 -7466 7467 7468 7469 7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480
1087.14/1087.30	v -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 7489 7490 7491 7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500
1087.14/1087.30	v -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520
1087.14/1087.30	v -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540
1087.14/1087.30	v -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560
1087.14/1087.30	v -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 7577 7578 7579 7580
1087.14/1087.30	v -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 7600
1087.14/1087.30	v 7601 7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620
1087.14/1087.30	v -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640
1087.14/1087.30	v -7641 -7642 7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660
1087.14/1087.30	v -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680
1087.14/1087.30	v -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700
1087.14/1087.30	v -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720
1087.14/1087.30	v -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740
1087.14/1087.30	v -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 7755 -7756 -7757 -7758 -7759 -7760
1087.14/1087.30	v -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 7778 -7779 -7780
1087.14/1087.30	v -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800
1087.14/1087.30	v -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820
1087.14/1087.30	v -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840
1087.14/1087.30	v -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860
1087.14/1087.30	v -7861 7862 7863 7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880
1087.14/1087.30	v -7881 -7882 -7883 7884 7885 7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900
1087.14/1087.30	v -7901 -7902 -7903 -7904 -7905 7906 7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920
1087.14/1087.30	v -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940
1087.14/1087.30	v -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960
1087.14/1087.30	v -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970 -7971 7972 7973 7974 -7975 -7976 -7977 -7978 -7979 -7980
1087.14/1087.30	v -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 7996 -7997 -7998 -7999 -8000
1087.14/1087.30	v -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020
1087.14/1087.30	v -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 8039 -8040
1087.14/1087.30	v -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060
1087.14/1087.30	v -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080
1087.14/1087.30	v -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100
1087.14/1087.30	v -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120
1087.14/1087.30	v -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140
1087.14/1087.30	v -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160
1087.14/1087.30	v -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180
1087.14/1087.30	v -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200
1087.14/1087.30	v -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 8214 -8215 -8216 -8217 -8218 -8219 -8220
1087.14/1087.30	v -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240
1087.14/1087.30	v -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 8254 8255 -8256 -8257 -8258 -8259 -8260
1087.14/1087.30	v -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280
1087.14/1087.30	v -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300
1087.14/1087.30	v -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 8319 8320
1087.14/1087.30	v 8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340
1087.14/1087.30	v 8341 8342 8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360
1087.14/1087.30	v -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380
1087.14/1087.30	v -8381 -8382 -8383 -8384 8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400
1087.14/1087.30	v -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420
1087.14/1087.30	v -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440
1087.14/1087.30	v -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460
1087.14/1087.30	v -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 8474 8475 -8476 -8477 -8478 -8479 -8480
1087.14/1087.30	v -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 8495 8496 -8497 -8498 -8499 -8500
1087.14/1087.30	v -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520
1087.14/1087.30	v -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540
1087.14/1087.30	v -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560
1087.14/1087.30	v -8561 8562 8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580
1087.14/1087.30	v -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600
1087.14/1087.30	v -8601 -8602 -8603 -8604 -8605 -8606 8607 8608 8609 8610 8611 8612 8613 8614 -8615 -8616 -8617 -8618 -8619 -8620
1087.14/1087.30	v -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 8631 8632 8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640
1087.14/1087.30	v -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660
1087.14/1087.30	v -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680
1087.14/1087.30	v -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 8695 8696 8697 8698 8699 8700
1087.14/1087.30	v 8701 8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720
1087.14/1087.30	v -8721 8722 8723 8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740
1087.14/1087.30	v -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760
1087.14/1087.30	v -8761 -8762 -8763 -8764 8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780
1087.14/1087.30	v -8781 -8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800
1087.14/1087.30	v -8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820
1087.14/1087.30	v -8821 -8822 -8823 -8824 -8825 -8826 8827 8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840
1087.14/1087.30	v -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860
1087.14/1087.30	v -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 8877 -8878 -8879 -8880
1087.14/1087.30	v -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 8900
1087.14/1087.30	v -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 8915 8916 8917 -8918 -8919 -8920
1087.14/1087.30	v -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 8938 8939 8940
1087.14/1087.30	v -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960
1087.14/1087.30	v 8961 8962 8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980
1087.14/1087.30	v -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000
1087.14/1087.30	v -9001 9002 9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020
1087.14/1087.30	v -9021 -9022 -9023 9024 9025 9026 9027 9028 9029 9030 9031 9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040
1087.14/1087.30	v -9041 -9042 -9043 -9044 -9045 -9046 -9047 -9048 -9049 -9050 -9051 9052 9053 9054 -9055 -9056 -9057 -9058 -9059 -9060
1087.14/1087.30	v -9061 -9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080
1087.14/1087.30	v -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 -9091 -9092 -9093 -9094 9095 -9096 -9097 -9098 -9099 -9100
1087.14/1087.30	v -9101 -9102 -9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120
1087.14/1087.30	v -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140
1087.14/1087.30	v -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 9156 9157 9158 -9159 -9160
1087.14/1087.30	v -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 9178 -9179 -9180
1087.14/1087.30	v -9181 -9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200
1087.14/1087.30	v -9201 -9202 -9203 -9204 -9205 -9206 9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220
1087.14/1087.30	v -9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240
1087.14/1087.30	v -9241 -9242 -9243 9244 9245 9246 9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260
1087.14/1087.30	v -9261 -9262 -9263 -9264 -9265 -9266 -9267 9268 9269 9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280
1087.14/1087.30	v -9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300
1087.14/1087.30	v -9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320
1087.14/1087.30	v -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 9335 9336 9337 -9338 -9339 -9340
1087.14/1087.30	v -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360
1087.14/1087.30	v -9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380
1087.14/1087.30	v -9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400
1087.14/1087.30	v -9401 -9402 9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420
1087.14/1087.30	v -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440
1087.14/1087.30	v -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460
1087.14/1087.30	v -9461 -9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480
1087.14/1087.30	v -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500
1087.14/1087.30	v -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520
1087.14/1087.30	v -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540
1087.14/1087.30	v -9541 -9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 9555 -9556 -9557 -9558 -9559 -9560
1087.14/1087.30	v -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 9577 9578 -9579 -9580
1087.14/1087.30	v -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600
1087.14/1087.30	v -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620
1087.14/1087.30	v -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640
1087.14/1087.30	v -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660
1087.14/1087.30	v -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680
1087.14/1087.30	v -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700
1087.14/1087.30	v -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720
1087.14/1087.30	v -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740
1087.14/1087.30	v -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760
1087.14/1087.30	v -9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780
1087.14/1087.30	v -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800
1087.14/1087.30	v -9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820
1087.14/1087.30	v -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840
1087.14/1087.30	v -9841 -9842 -9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860
1087.14/1087.30	v -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 9880
1087.14/1087.30	v 9881 9882 9883 -9884 -9885 -9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900
1087.14/1087.30	v -9901 -9902 -9903 -9904 -9905 -9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920
1087.14/1087.30	v -9921 -9922 -9923 -9924 9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940
1087.14/1087.30	v -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960
1087.14/1087.30	v -9961 -9962 -9963 -9964 -9965 -9966 -9967 9968 9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980
1087.14/1087.30	v -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 9990 9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000
1087.14/1087.30	v -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 10014 10015 -10016 -10017 -10018 -10019 -10020
1087.14/1087.30	v -10021 -10022 -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 10034 10035 10036 -10037 -10038 -10039 -10040
1087.14/1087.30	v -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060
1087.14/1087.30	v -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080
1087.14/1087.30	v -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100
1087.14/1087.30	v -10101 10102 10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120
1087.14/1087.30	v -10121 -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140
1087.14/1087.30	v -10141 -10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 -10150 -10151 10152 10153 10154 -10155 -10156 -10157 -10158 -10159 -10160
1087.14/1087.30	v -10161 -10162 -10163 -10164 -10165 -10166 10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180
1087.14/1087.30	v -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 -10191 -10192 -10193 -10194 10195 -10196 -10197 -10198 -10199 -10200
1087.14/1087.30	v -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 10210 10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220
1087.14/1087.30	v -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 10232 10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240
1087.14/1087.30	v -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 10256 10257 10258 -10259 -10260
1087.14/1087.30	v -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 10276 10277 10278 -10279 -10280
1087.14/1087.30	v -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300
1087.14/1087.30	v -10301 -10302 -10303 -10304 -10305 -10306 10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320
1087.14/1087.30	v -10321 -10322 -10323 -10324 -10325 -10326 -10327 -10328 -10329 10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340
1087.14/1087.30	v -10341 -10342 -10343 10344 10345 10346 10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360
1087.14/1087.30	v -10361 -10362 -10363 -10364 -10365 -10366 -10367 10368 10369 10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380
1087.14/1087.30	v -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399 -10400
1087.14/1087.30	v -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418 -10419 -10420
1087.14/1087.30	v -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 -10430 -10431 -10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440
1087.14/1087.30	v -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 -10454 -10455 -10456 -10457 -10458 -10459 -10460
1087.14/1087.30	v -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480
1087.14/1087.30	v -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 -10499 -10500
1087.14/1087.30	v -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520
1087.14/1087.30	v -10521 -10522 -10523 -10524 -10525 -10526 10527 -10528 -10529 -10530 -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540
1087.14/1087.30	v -10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 10550 -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560
1087.14/1087.30	v -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580
1087.14/1087.30	v -10581 -10582 -10583 -10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600
1087.14/1087.30	v -10601 -10602 -10603 -10604 -10605 -10606 -10607 -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620
1087.14/1087.30	v -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 10629 -10630 -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640
1087.14/1087.30	v -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650 10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660
1087.14/1087.30	v -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680
1087.14/1087.30	v -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 -10694 10695 -10696 -10697 -10698 -10699 -10700
1087.14/1087.30	v -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715 -10716 -10717 -10718 -10719 -10720
1087.14/1087.30	v -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740
1087.14/1087.30	v -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760
1087.14/1087.30	v -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780
1087.14/1087.30	v -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800
1087.14/1087.30	v -10801 -10802 -10803 -10804 -10805 -10806 -10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820
1087.14/1087.30	v -10821 -10822 -10823 -10824 -10825 -10826 -10827 -10828 -10829 -10830 -10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840
1087.14/1087.30	v -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860
1087.14/1087.30	v -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 -10870 -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879 -10880
1087.14/1087.30	v -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891 -10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900
1087.14/1087.30	v -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920
1087.14/1087.30	v -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940
1087.14/1087.30	v -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960
1087.14/1087.30	v -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 10980
1087.14/1087.30	v 10981 -10982 -10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000
1087.14/1087.30	v -11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020
1087.14/1087.30	v -11021 -11022 -11023 11024 11025 -11026 -11027 -11028 -11029 -11030 -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040
1087.14/1087.30	v -11041 -11042 -11043 -11044 -11045 -11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 -11060
1087.14/1087.30	v -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080
1087.14/1087.30	v -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100
1087.14/1087.30	v -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120
1087.14/1087.30	v -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140
1087.14/1087.30	v -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155 11156 11157 -11158 -11159 -11160
1087.14/1087.30	v -11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 -11180
1087.14/1087.30	v -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200
1087.14/1087.30	v -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220
1087.14/1087.30	v -11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240
1087.14/1087.30	v -11241 -11242 -11243 -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255 -11256 -11257 -11258 -11259 -11260
1087.14/1087.30	v -11261 -11262 -11263 -11264 -11265 -11266 -11267 11268 -11269 -11270 -11271 -11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280
1087.14/1087.30	v -11281 -11282 -11283 -11284 -11285 -11286 -11287 -11288 -11289 -11290 -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298 -11299 -11300
1087.14/1087.30	v -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320
1087.14/1087.30	v -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 -11331 -11332 -11333 11334 11335 11336 -11337 -11338 -11339 -11340
1087.14/1087.30	v -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 -11353 -11354 -11355 -11356 -11357 11358 -11359 -11360
1087.14/1087.30	v -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375 -11376 -11377 -11378 -11379 -11380
1087.14/1087.30	v -11381 -11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400
1087.14/1087.30	v -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420
1087.14/1087.30	v -11421 11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430 -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440
1087.14/1087.30	v -11441 -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460
1087.14/1087.30	v -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480
1087.14/1087.30	v -11481 -11482 -11483 -11484 -11485 -11486 -11487 -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500
1087.14/1087.30	v -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520
1087.14/1087.30	v -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 -11539 -11540
1087.14/1087.30	v -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551 -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560
1087.14/1087.30	v -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575 -11576 -11577 11578 11579 -11580
1087.14/1087.30	v -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 -11599 -11600
1087.14/1087.30	v -11601 11602 -11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615 -11616 -11617 -11618 11619 -11620
1087.14/1087.30	v -11621 -11622 -11623 -11624 -11625 -11626 -11627 -11628 -11629 -11630 -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 -11639 -11640
1087.14/1087.30	v -11641 11642 -11643 -11644 -11645 -11646 -11647 -11648 -11649 -11650 -11651 -11652 -11653 -11654 -11655 -11656 -11657 -11658 -11659 -11660
1087.14/1087.30	v -11661 -11662 -11663 -11664 -11665 -11666 11667 -11668 -11669 -11670 -11671 -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680
1087.14/1087.30	v -11681 -11682 -11683 -11684 -11685 11686 -11687 -11688 -11689 -11690 -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 -11699 -11700
1087.14/1087.30	v -11701 -11702 -11703 -11704 -11705 11706 -11707 -11708 -11709 -11710 -11711 -11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719 -11720
1087.14/1087.30	v -11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 11729 -11730 -11731 -11732 -11733 -11734 -11735 -11736 -11737 -11738 -11739 -11740
1087.14/1087.30	v -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749 -11750 -11751 -11752 -11753 11754 -11755 -11756 -11757 -11758 -11759 -11760
1087.14/1087.30	v -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770 11771 -11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780
1087.14/1087.30	v -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791 -11792 -11793 -11794 -11795 -11796 -11797 -11798 -11799 -11800
1087.14/1087.30	v -11801 11802 -11803 -11804 -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 11815 -11816 -11817 -11818 -11819 -11820
1087.14/1087.30	v -11821 -11822 -11823 -11824 -11825 -11826 -11827 -11828 -11829 -11830 -11831 -11832 -11833 -11834 -11835 -11836 -11837 -11838 -11839 -11840
1087.14/1087.30	v 11841 -11842 -11843 -11844 -11845 -11846 -11847 -11848 -11849 -11850 -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 -11859 -11860
1087.14/1087.30	v 11861 -11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880
1087.14/1087.30	v -11881 -11882 -11883 -11884 11885 -11886 -11887 -11888 -11889 -11890 -11891 -11892 -11893 -11894 -11895 -11896 -11897 -11898 -11899 -11900
1087.14/1087.30	v -11901 -11902 -11903 -11904 -11905 -11906 -11907 -11908 -11909 11910 -11911 -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919 -11920
1087.14/1087.30	v -11921 -11922 -11923 -11924 -11925 -11926 -11927 -11928 -11929 -11930 -11931 -11932 11933 -11934 -11935 -11936 -11937 -11938 -11939 -11940
1087.14/1087.30	v -11941 -11942 -11943 -11944 -11945 -11946 -11947 -11948 -11949 -11950 -11951 -11952 -11953 11954 -11955 -11956 -11957 -11958 -11959 -11960
1087.14/1087.30	v -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969 11970 -11971 -11972 -11973 -11974 -11975 -11976 -11977 -11978 -11979 -11980
1087.14/1087.30	v -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991 -11992 -11993 -11994 -11995 -11996 11997 -11998 -11999 -12000
1087.14/1087.30	v -12001 -12002 -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013 -12014 -12015 -12016 -12017 -12018 12019 -12020
1087.14/1087.30	v -12021 -12022 -12023 -12024 -12025 -12026 -12027 -12028 -12029 -12030 -12031 -12032 -12033 -12034 -12035 -12036 -12037 -12038 -12039 -12040
1087.14/1087.30	v -12041 -12042 12043 -12044 -12045 -12046 -12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057 -12058 -12059 12060
1087.14/1087.30	v -12061 -12062 -12063 -12064 -12065 -12066 -12067 -12068 -12069 -12070 -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 -12080
1087.14/1087.30	v -12081 -12082 -12083 -12084 -12085 -12086 -12087 -12088 12089 -12090 -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100
1087.14/1087.30	v -12101 12102 -12103 -12104 -12105 -12106 -12107 -12108 -12109 -12110 -12111 -12112 -12113 -12114 -12115 -12116 -12117 -12118 -12119 -12120
1087.14/1087.31	v -12121 -12122 -12123 -12124 -12125 -12126 -12127 -12128 -12129 -12130 12131 -12132 -12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140
1087.14/1087.31	v -12141 -12142 -12143 -12144 -12145 -12146 -12147 -12148 -12149 -12150 -12151 12152 -12153 -12154 -12155 -12156 -12157 -12158 -12159 -12160
1087.14/1087.31	v -12161 -12162 -12163 -12164 -12165 -12166 -12167 -12168 12169 -12170 -12171 -12172 -12173 -12174 -12175 -12176 -12177 -12178 -12179 -12180
1087.14/1087.31	v -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189 -12190 -12191 -12192 12193 -12194 -12195 -12196 -12197 -12198 -12199 -12200
1087.14/1087.31	v -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210 -12211 -12212 -12213 12214 -12215 -12216 -12217 -12218 -12219 -12220
1087.14/1087.31	v -12221 -12222 -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233 -12234 -12235 -12236 -12237 -12238 12239 -12240
1087.14/1087.31	v -12241 -12242 -12243 -12244 -12245 -12246 -12247 -12248 -12249 -12250 -12251 -12252 -12253 -12254 12255 -12256 -12257 -12258 -12259 -12260
1087.14/1087.31	v -12261 -12262 -12263 -12264 -12265 -12266 -12267 -12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 12277 -12278 -12279 -12280
1087.14/1087.31	v -12281 -12282 -12283 -12284 -12285 -12286 -12287 -12288 -12289 -12290 -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 -12299 12300
1087.14/1087.31	v -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310 -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320
1087.14/1087.31	v -12321 -12322 -12323 -12324 -12325 -12326 -12327 -12328 -12329 12330 -12331 -12332 -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340
1087.14/1087.31	v -12341 -12342 -12343 -12344 12345 -12346 -12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359 -12360
1087.14/1087.31	v -12361 -12362 -12363 -12364 -12365 -12366 -12367 -12368 -12369 -12370 -12371 -12372 12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380
1087.14/1087.31	v -12381 -12382 -12383 -12384 -12385 -12386 -12387 12388 -12389 -12390 -12391 -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399 -12400
1087.14/1087.31	v -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 -12409 12410 -12411 -12412 -12413 -12414 -12415 -12416 -12417 -12418 -12419 -12420
1087.14/1087.31	v -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430 -12431 -12432 -12433 12434 -12435 -12436 -12437 -12438 -12439 -12440
1087.14/1087.31	v -12441 -12442 -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450 -12451 -12452 -12453 12454 -12455 -12456 -12457 -12458 -12459 -12460
1087.14/1087.31	v -12461 -12462 -12463 -12464 -12465 -12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475 -12476 -12477 -12478 -12479 -12480
1087.14/1087.31	v -12481 -12482 -12483 -12484 12485 -12486 -12487 -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495 -12496 -12497 -12498 -12499 -12500
1087.14/1087.31	v -12501 -12502 -12503 -12504 -12505 -12506 -12507 12508 -12509 -12510 -12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519 -12520
1087.14/1087.31	v -12521 12522 -12523 -12524 -12525 -12526 -12527 -12528 -12529 -12530 -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540
1087.14/1087.31	v -12541 -12542 -12543 -12544 -12545 12546 -12547 -12548 -12549 -12550 -12551 -12552 -12553 -12554 -12555 -12556 -12557 -12558 -12559 -12560
1087.14/1087.31	v -12561 -12562 -12563 -12564 -12565 -12566 -12567 -12568 -12569 -12570 -12571 12572 -12573 -12574 -12575 -12576 -12577 -12578 -12579 -12580
1087.14/1087.31	v -12581 -12582 -12583 -12584 -12585 -12586 -12587 -12588 -12589 -12590 12591 -12592 -12593 -12594 -12595 -12596 -12597 -12598 -12599 -12600
1087.14/1087.31	v -12601 -12602 -12603 -12604 -12605 -12606 -12607 -12608 -12609 12610 -12611 -12612 -12613 -12614 -12615 -12616 -12617 -12618 -12619 -12620
1087.14/1087.31	v -12621 -12622 -12623 -12624 -12625 -12626 -12627 -12628 -12629 -12630 -12631 -12632 -12633 -12634 -12635 -12636 -12637 12638 -12639 -12640
1087.14/1087.31	v -12641 -12642 -12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650 -12651 -12652 -12653 -12654 -12655 -12656 12657 -12658 -12659 -12660
1087.14/1087.31	v -12661 -12662 -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 -12672 -12673 12674 -12675 -12676 -12677 -12678 -12679 -12680
1087.14/1087.31	v -12681 -12682 -12683 -12684 -12685 -12686 -12687 -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695 -12696 12697 -12698 -12699 -12700
1087.14/1087.31	v -12701 -12702 -12703 -12704 -12705 -12706 -12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 -12717 -12718 -12719 -12720
1087.14/1087.31	v -12721 12722 -12723 -12724 -12725 -12726 -12727 -12728 -12729 -12730 -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739 -12740
1087.14/1087.31	v -12741 -12742 -12743 -12744 -12745 -12746 12747 -12748 -12749 -12750 -12751 -12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760
1087.14/1087.31	v -12761 -12762 -12763 -12764 -12765 -12766 -12767 -12768 -12769 12770 -12771 -12772 -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780
1087.14/1087.31	v -12781 -12782 12783 -12784 -12785 -12786 -12787 -12788 -12789 -12790 -12791 -12792 -12793 -12794 -12795 -12796 -12797 -12798 -12799 -12800
1087.14/1087.31	v -12801 -12802 -12803 -12804 -12805 -12806 -12807 -12808 -12809 12810 -12811 -12812 -12813 -12814 -12815 -12816 -12817 -12818 -12819 -12820
1087.14/1087.31	v -12821 -12822 -12823 -12824 -12825 -12826 -12827 -12828 12829 -12830 -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839 -12840
1087.14/1087.31	v -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849 -12850 -12851 -12852 12853 -12854 -12855 -12856 -12857 -12858 -12859 -12860
1087.14/1087.31	v -12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 -12869 -12870 -12871 -12872 -12873 -12874 -12875 -12876 -12877 12878 -12879 -12880
1087.14/1087.31	v -12881 -12882 -12883 -12884 -12885 -12886 -12887 -12888 -12889 -12890 -12891 -12892 -12893 -12894 -12895 -12896 -12897 -12898 -12899 -12900
1087.14/1087.31	v 12901 -12902 -12903 -12904 -12905 -12906 -12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 -12915 -12916 -12917 -12918 -12919 -12920
1087.14/1087.31	v -12921 12922 -12923 -12924 -12925 -12926 -12927 -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935 -12936 -12937 12938 -12939 -12940
1087.14/1087.31	v -12941 -12942 -12943 -12944 -12945 -12946 -12947 -12948 -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959 -12960
1087.14/1087.31	v -12961 -12962 -12963 -12964 12965 -12966 -12967 -12968 -12969 -12970 -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980
1087.14/1087.31	v -12981 -12982 -12983 -12984 -12985 -12986 12987 -12988 -12989 -12990 -12991 -12992 -12993 -12994 -12995 -12996 -12997 -12998 -12999 -13000
1087.14/1087.31	v -13001 -13002 -13003 -13004 -13005 -13006 -13007 -13008 -13009 -13010 13011 -13012 -13013 -13014 -13015 -13016 -13017 -13018 -13019 -13020
1087.14/1087.31	v -13021 -13022 -13023 -13024 -13025 -13026 -13027 -13028 13029 -13030 -13031 -13032 -13033 -13034 -13035 -13036 -13037 -13038 -13039 -13040
1087.14/1087.31	v -13041 -13042 -13043 -13044 -13045 -13046 -13047 -13048 -13049 -13050 -13051 -13052 -13053 -13054 -13055 -13056 -13057 13058 -13059 -13060
1087.14/1087.31	v -13061 -13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069 13070 -13071 -13072 -13073 -13074 -13075 -13076 -13077 -13078 -13079 -13080
1087.14/1087.31	v -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091 -13092 -13093 -13094 -13095 -13096 -13097 -13098 -13099 -13100
1087.14/1087.31	v -13101 13102 -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111 -13112 -13113 -13114 -13115 -13116 -13117 -13118 -13119 -13120
1087.14/1087.31	v -13121 13122 -13123 -13124 -13125 -13126 -13127 -13128 -13129 -13130 -13131 -13132 -13133 -13134 -13135 -13136 -13137 -13138 13139 -13140
1087.14/1087.32	v -13141 -13142 -13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159 -13160
1087.14/1087.32	v -13161 -13162 -13163 -13164 -13165 -13166 -13167 13168 -13169 -13170 -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179 -13180
1087.14/1087.32	v -13181 -13182 -13183 -13184 -13185 -13186 -13187 -13188 -13189 13190 -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200
1087.14/1087.32	v -13201 -13202 -13203 -13204 -13205 -13206 -13207 -13208 13209 -13210 -13211 -13212 -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220
1087.14/1087.32	v -13221 -13222 13223 -13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231 -13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239 -13240
1087.14/1087.32	v -13241 -13242 -13243 -13244 -13245 -13246 -13247 -13248 13249 -13250 -13251 -13252 -13253 -13254 -13255 -13256 -13257 -13258 -13259 -13260
1087.14/1087.32	v -13261 -13262 -13263 -13264 -13265 -13266 -13267 -13268 -13269 -13270 -13271 -13272 -13273 -13274 -13275 -13276 -13277 13278 -13279 -13280
1087.14/1087.32	v -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289 -13290 -13291 -13292 -13293 -13294 -13295 -13296 -13297 -13298 -13299 13300
1087.14/1087.32	v -13301 -13302 -13303 -13304 -13305 -13306 -13307 -13308 -13309 -13310 -13311 -13312 13313 -13314 -13315 -13316 -13317 -13318 -13319 -13320
1087.14/1087.32	v -13321 -13322 -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330 -13331 -13332 -13333 -13334 -13335 -13336 -13337 -13338 -13339 -13340
1087.14/1087.32	v 13341 -13342 -13343 -13344 -13345 -13346 -13347 -13348 -13349 -13350 -13351 -13352 -13353 -13354 -13355 -13356 13357 -13358 -13359 -13360
1087.14/1087.32	v -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375 -13376 -13377 -13378 13379 -13380
1087.14/1087.32	v -13381 -13382 -13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390 -13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 -13399 -13400
1087.14/1087.32	v -13401 -13402 -13403 13404 -13405 -13406 -13407 -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420
1087.14/1087.32	v -13421 -13422 -13423 13424 -13425 -13426 -13427 -13428 -13429 -13430 -13431 -13432 -13433 -13434 -13435 -13436 -13437 -13438 -13439 -13440
1087.14/1087.32	v -13441 -13442 -13443 -13444 -13445 -13446 -13447 -13448 -13449 -13450 -13451 -13452 13453 -13454 -13455 -13456 -13457 -13458 -13459 -13460
1087.14/1087.32	v -13461 -13462 -13463 -13464 -13465 -13466 -13467 -13468 -13469 -13470 -13471 -13472 -13473 -13474 -13475 13476 -13477 -13478 -13479 -13480
1087.14/1087.32	v -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 -13489 -13490 -13491 -13492 13493 -13494 -13495 -13496 -13497 -13498 -13499 -13500
1087.14/1087.32	v -13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509 -13510 -13511 -13512 -13513 -13514 -13515 13516 -13517 -13518 -13519 -13520
1087.14/1087.32	v -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 -13530 -13531 -13532 -13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540
1087.14/1087.32	v 13541 13542 13543 13544 13545 13546 13547 13548 13549 13550 13551 13552 -13553 -13554 -13555 -13556 -13557 -13558 -13559 -13560
1087.14/1087.32	v -13561 -13562 -13563 -13564 13565 13566 13567 13568 13569 13570 13571 13572 13573 13574 0
1087.14/1087.32	c TIMER: 1087.29 sec total, 0.02 sec since previous report

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450158-1307062818/watcher-3450158-1307062818 -o /tmp/evaluation-result-3450158-1307062818/solver-3450158-1307062818 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 1037998027 HOME/instance-3450158-1307062818.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.04 1.97 2/465 5085
/proc/meminfo: memFree=24139608/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/5085/stat : 5085 (python) R 5083 5085 4773 0 -1 4202496 875 0 0 0 0 0 0 0 22 0 1 0 817879937 16150528 757 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122374853 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5085/statm: 3943 757 343 364 0 430 0

[startup+0.0895619 s]
/proc/loadavg: 2.01 2.04 1.97 2/465 5085
/proc/meminfo: memFree=24139608/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892

[startup+0.100503 s]
/proc/loadavg: 2.01 2.04 1.97 2/465 5085
/proc/meminfo: memFree=24139608/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892

[startup+0.300477 s]
/proc/loadavg: 2.01 2.04 1.97 2/465 5085
/proc/meminfo: memFree=24139608/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892

[startup+0.700391 s]
/proc/loadavg: 2.01 2.04 1.97 2/465 5085
/proc/meminfo: memFree=24139608/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892

[startup+1.50022 s]
/proc/loadavg: 2.01 2.04 1.97 3/467 5087
/proc/meminfo: memFree=24126944/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
[pid=5087] ppid=5085 vsize=8364 CPUtime=1.46 cores=1,3,5,7
/proc/5087/stat : 5087 (features) R 5085 5085 4773 0 -1 4202496 2646 0 0 0 142 4 0 0 23 0 1 0 817879941 8564736 1530 33554432000 134512640 135907751 4287030240 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5087/statm: 2091 1530 111 341 0 1747 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30256

[startup+3.10094 s]
/proc/loadavg: 2.01 2.04 1.97 3/467 5087
/proc/meminfo: memFree=24128212/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
[pid=5087] ppid=5085 vsize=60336 CPUtime=3.06 cores=1,3,5,7
/proc/5087/stat : 5087 (features) R 5085 5085 4773 0 -1 4202496 13306 0 0 0 297 9 0 0 25 0 1 0 817879941 61784064 11285 33554432000 134512640 135907751 4287030240 18446744073709551615 135340715 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5087/statm: 15084 11285 112 341 0 14740 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 82228

[startup+6.30035 s]
/proc/loadavg: 2.01 2.04 1.97 3/467 5087
/proc/meminfo: memFree=23965360/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
[pid=5087] ppid=5085 vsize=192244 CPUtime=6.26 cores=1,3,5,7
/proc/5087/stat : 5087 (features) R 5085 5085 4773 0 -1 4202496 45806 0 0 0 610 16 0 0 25 0 1 0 817879941 196857856 43785 33554432000 134512640 135907751 4287030240 18446744073709551615 134538568 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5087/statm: 48061 43785 112 341 0 47717 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 214136

[startup+12.7002 s]
/proc/loadavg: 2.01 2.04 1.97 3/467 5087
/proc/meminfo: memFree=24000212/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
[pid=5087] ppid=5085 vsize=176608 CPUtime=12.66 cores=1,3,5,7
/proc/5087/stat : 5087 (features) R 5085 5085 4773 0 -1 4202496 47123 0 0 0 1249 17 0 0 25 0 1 0 817879941 180846592 33545 33554432000 134512640 135907751 4287030240 18446744073709551615 134518668 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5087/statm: 44152 33545 112 341 0 43808 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 198500

[startup+25.5009 s]
/proc/loadavg: 2.01 2.03 1.97 3/467 5089
/proc/meminfo: memFree=24001576/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=21892 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 1515 0 0 0 2 0 0 0 18 0 1 0 817879937 22417408 1349 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 5473 1349 443 364 0 928 0
[pid=5087] ppid=5085 vsize=176608 CPUtime=25.46 cores=1,3,5,7
/proc/5087/stat : 5087 (features) R 5085 5085 4773 0 -1 4202496 47123 0 0 0 2529 17 0 0 25 0 1 0 817879941 180846592 33545 33554432000 134512640 135907751 4287030240 18446744073709551615 134851265 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5087/statm: 44152 33545 112 341 0 43808 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 198500

[startup+51.1012 s]
/proc/loadavg: 2.00 2.03 1.97 3/470 5102
/proc/meminfo: memFree=23845504/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=34392 CPUtime=0.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 2168 0 0 0 2 0 0 0 18 0 1 0 817879937 35217408 1407 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8598 1407 468 364 0 932 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5091] ppid=5085 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5091/stat : 5091 (timerun) S 5085 5085 4773 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817883282 8908800 248 33554432000 4194304 4922060 140736200260048 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5091/statm: 2175 248 208 178 0 68 0
[pid=5092] ppid=5091 vsize=428612 CPUtime=17.64 cores=1,3,5,7
/proc/5092/stat : 5092 (cryptominisat) R 5091 5085 4773 0 -1 4202496 72704 0 0 0 1754 10 0 0 25 0 1 0 817883282 438898688 72419 33554432000 134512640 134994940 4289166208 18446744073709551615 134829610 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5092/statm: 107153 72419 340 118 0 106338 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 471704

[startup+102.318 s]
/proc/loadavg: 2.00 2.02 1.97 3/470 5109
/proc/meminfo: memFree=23985776/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=34392 CPUtime=25.04 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 2455 131474 0 0 2 0 2480 22 18 0 1 0 817879937 35217408 1407 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8598 1407 468 364 0 932 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5105] ppid=5085 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5105/stat : 5105 (timerun) S 5085 5085 4773 0 -1 4202496 747 0 0 0 0 0 0 0 19 0 1 0 817885784 8908800 248 33554432000 4194304 4922060 140733448480416 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5105/statm: 2175 248 208 178 0 68 0
[pid=5107] ppid=5105 vsize=154136 CPUtime=43.83 cores=1,3,5,7
/proc/5107/stat : 5107 (precosat) R 5105 5085 4773 0 -1 4202496 110446 0 0 0 4364 19 0 0 25 0 1 0 817885785 157835264 36625 33554432000 134512640 135142049 4287625728 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/5107/statm: 38534 36625 82 154 0 38378 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 197228

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/470 5110
/proc/meminfo: memFree=23974712/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=34392 CPUtime=25.04 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 2455 131474 0 0 2 0 2480 22 18 0 1 0 817879937 35217408 1407 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8598 1407 468 364 0 932 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5105] ppid=5085 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5105/stat : 5105 (timerun) S 5085 5085 4773 0 -1 4202496 747 0 0 0 0 0 0 0 19 0 1 0 817885784 8908800 248 33554432000 4194304 4922060 140733448480416 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5105/statm: 2175 248 208 178 0 68 0
[pid=5107] ppid=5105 vsize=149156 CPUtime=103.82 cores=1,3,5,7
/proc/5107/stat : 5107 (precosat) R 5105 5085 4773 0 -1 4202496 189221 0 0 0 10351 31 0 0 25 0 1 0 817885785 152735744 36528 33554432000 134512640 135142049 4287625728 18446744073709551615 134614014 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/5107/statm: 37289 36528 82 154 0 37133 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 192248

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/470 5115
/proc/meminfo: memFree=23855992/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=34392 CPUtime=153.02 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 2596 350228 0 0 2 0 15243 57 18 0 1 0 817879937 35217408 1407 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8598 1407 468 364 0 932 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5112] ppid=5085 vsize=8700 CPUtime=0 cores=1,3,5,7

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

/proc/5140/stat : 5140 (timerun) S 5085 5085 4773 0 -1 4202496 747 0 0 0 0 0 0 0 18 0 1 0 817925254 8908800 248 33554432000 4194304 4922060 140736452581296 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5140/statm: 2175 248 208 178 0 68 0
[pid=5141] ppid=5140 vsize=125888 CPUtime=489.14 cores=1,3,5,7
/proc/5141/stat : 5141 (lingeling) R 5140 5085 4773 0 -1 4202496 353666 0 0 0 48864 50 0 0 25 0 1 0 817925255 128909312 31186 33554432000 134512640 134650204 4287773152 18446744073709551615 134630612 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/5141/statm: 31472 31186 112 34 0 31087 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 168980

[startup+1002.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/470 5158
/proc/meminfo: memFree=23574496/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=34392 CPUtime=419.72 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 3700 1057230 0 0 2 0 41778 192 18 0 1 0 817879937 35217408 1408 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8598 1408 469 364 0 932 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5140] ppid=5085 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5140/stat : 5140 (timerun) S 5085 5085 4773 0 -1 4202496 747 0 0 0 0 0 0 0 18 0 1 0 817925254 8908800 248 33554432000 4194304 4922060 140736452581296 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5140/statm: 2175 248 208 178 0 68 0
[pid=5141] ppid=5140 vsize=194716 CPUtime=549.14 cores=1,3,5,7
/proc/5141/stat : 5141 (lingeling) R 5140 5085 4773 0 -1 4202496 391329 0 0 0 54860 54 0 0 25 0 1 0 817925255 199389184 48393 33554432000 134512640 134650204 4287773152 18446744073709551615 134630291 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/5141/statm: 48679 48393 112 34 0 48294 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 237808

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/466 5192
/proc/meminfo: memFree=28228752/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=35920 CPUtime=1026.68 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 4702 1470540 0 0 153 11 102254 250 21 0 1 0 817879937 36782080 1828 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8980 1828 469 364 0 1314 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5192] ppid=5085 vsize=123556 CPUtime=2.16 cores=1,3,5,7
/proc/5192/stat : 5192 (lingeling) R 5085 5085 4773 0 -1 4202496 35234 0 0 0 209 7 0 0 25 0 1 0 817985949 126521344 30573 33554432000 134512640 134650204 4289715984 18446744073709551615 134544786 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/5192/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 159476

Solver just ended. Dumping a history of the last processes samples

[startup+1075.1 s]
/proc/loadavg: 2.02 2.04 2.01 3/466 5192
/proc/meminfo: memFree=28207892/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=35920 CPUtime=1026.68 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 4702 1470540 0 0 153 11 102254 250 21 0 1 0 817879937 36782080 1828 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8980 1828 469 364 0 1314 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5192] ppid=5085 vsize=123556 CPUtime=14.96 cores=1,3,5,7
/proc/5192/stat : 5192 (lingeling) R 5085 5085 4773 0 -1 4202496 35234 0 0 0 1489 7 0 0 25 0 1 0 817985949 126521344 30573 33554432000 134512640 134650204 4289715984 18446744073709551615 134544776 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/5192/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1075.03
Current children cumulated vsize (KiB) 159476

[startup+1081.5 s]
/proc/loadavg: 2.02 2.04 2.01 3/466 5193
/proc/meminfo: memFree=28208136/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=35920 CPUtime=1026.68 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 4702 1470540 0 0 153 11 102254 250 21 0 1 0 817879937 36782080 1828 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8980 1828 469 364 0 1314 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5192] ppid=5085 vsize=123556 CPUtime=21.36 cores=1,3,5,7
/proc/5192/stat : 5192 (lingeling) R 5085 5085 4773 0 -1 4202496 35234 0 0 0 2129 7 0 0 25 0 1 0 817985949 126521344 30573 33554432000 134512640 134650204 4289715984 18446744073709551615 134544791 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/5192/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1081.43
Current children cumulated vsize (KiB) 159476

[startup+1084.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/466 5193
/proc/meminfo: memFree=28207624/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=35920 CPUtime=1026.68 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 4702 1470540 0 0 153 11 102254 250 21 0 1 0 817879937 36782080 1828 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8980 1828 469 364 0 1314 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5192] ppid=5085 vsize=123556 CPUtime=24.56 cores=1,3,5,7
/proc/5192/stat : 5192 (lingeling) R 5085 5085 4773 0 -1 4202496 35234 0 0 0 2449 7 0 0 25 0 1 0 817985949 126521344 30573 33554432000 134512640 134650204 4289715984 18446744073709551615 134544806 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/5192/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1084.63
Current children cumulated vsize (KiB) 159476

[startup+1086.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/466 5193
/proc/meminfo: memFree=28207600/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=35920 CPUtime=1026.68 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 4702 1470540 0 0 153 11 102254 250 21 0 1 0 817879937 36782080 1828 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8980 1828 469 364 0 1314 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5192] ppid=5085 vsize=123556 CPUtime=26.16 cores=1,3,5,7
/proc/5192/stat : 5192 (lingeling) R 5085 5085 4773 0 -1 4202496 35234 0 0 0 2609 7 0 0 25 0 1 0 817985949 126521344 30573 33554432000 134512640 134650204 4289715984 18446744073709551615 134616637 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/5192/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1086.23
Current children cumulated vsize (KiB) 159476

[startup+1087.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/466 5193
/proc/meminfo: memFree=28207600/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=35920 CPUtime=1026.68 cores=1,3,5,7
/proc/5085/stat : 5085 (python) S 5083 5085 4773 0 -1 4202496 4702 1470540 0 0 153 11 102254 250 21 0 1 0 817879937 36782080 1828 33554432000 4194304 5683644 140736110538832 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5085/statm: 8980 1828 469 364 0 1314 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5192] ppid=5085 vsize=123556 CPUtime=26.96 cores=1,3,5,7
/proc/5192/stat : 5192 (lingeling) R 5085 5085 4773 0 -1 4202496 35234 0 0 0 2689 7 0 0 25 0 1 0 817985949 126521344 30573 33554432000 134512640 134650204 4289715984 18446744073709551615 134544837 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/5192/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1087.03
Current children cumulated vsize (KiB) 159476

[startup+1087.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/466 5193
/proc/meminfo: memFree=28207600/32951124 swapFree=41830676/67111528
[pid=5085] ppid=5083 vsize=36272 CPUtime=1026.7 cores=1,3,5,7
/proc/5085/stat : 5085 (python) R 5083 5085 4773 0 -1 4202496 5203 1470540 0 0 154 12 102254 250 18 0 1 0 817879937 37142528 1832 33554432000 4194304 5683644 140736110538832 18446744073709551615 4619920 0 0 16781312 2 0 0 0 17 3 0 0 9
/proc/5085/statm: 9068 1832 469 364 0 1402 0
[pid=5087] ppid=5085 vsize=0 CPUtime=33.07 cores=1,3,5,7
/proc/5087/stat : 5087 (features) Z 5085 5085 4773 0 -1 4202524 53468 0 0 0 3289 18 0 0 25 0 1 0 817879941 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5087/statm: 0 0 0 0 0 0 0
[pid=5090] ppid=5085 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5090/stat : 5090 (coach) Z 5085 5085 4773 0 -1 4202524 3926 0 0 0 32 0 0 0 18 0 1 0 817883248 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5090/statm: 0 0 0 0 0 0 0
[pid=5192] ppid=5085 vsize=0 CPUtime=27.05 cores=1,3,5,7
/proc/5192/stat : 5192 (lingeling) Z 5085 5085 4773 0 -1 4202524 35256 0 0 0 2697 8 0 0 25 0 1 0 817985949 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/5192/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1087.14
Current children cumulated vsize (KiB) 36272

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5085 and gives
#  childrusage.ru_utime.tv_sec=1057
#  childrusage.ru_utime.tv_usec=316263
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=842567
# CPU time returned by wait4() is 1060.16
# while last known CPU time is 1087.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1087.32
CPU time (s): 1087.14
CPU user time (s): 1084.26
CPU system time (s): 2.88
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 3766584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1057.32
system time used= 2.84257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1533719
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= 346
involuntary context switches= 2331

runsolver used 4.74728 second user time and 11.7522 second system time

The end

Launcher Data

Begin job on node138 at 2011-06-03 03:00:19
IDJOB=3450158
IDBENCH=83447
IDSOLVER=1635
FILE ID=node138/3450158-1307062818
RUNJOBID= node138-1307058810-4795
PBS_JOBID= 13497848
Free space on /tmp= 69948 MiB

SOLVER NAME= Coach 2011-03-18
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= python portfolio_solver.py -t TIMELIMIT -s RANDOMSEED  BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450158-1307062818/watcher-3450158-1307062818 -o /tmp/evaluation-result-3450158-1307062818/solver-3450158-1307062818 -C 5000 -W 5100 -M 15500  python portfolio_solver.py -t 5000 -s 1037998027  HOME/instance-3450158-1307062818.cnf

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1037998027

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24139888 kB
Buffers:        273416 kB
Cached:        4750984 kB
SwapCached:      44568 kB
Active:        3165744 kB
Inactive:      5275112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24139888 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:           99492 kB
Writeback:           0 kB
AnonPages:     3382932 kB
Mapped:          18536 kB
Slab:           207324 kB
PageTables:      94392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 131465888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73400 MiB
End job on node138 at 2011-06-03 03:18:27