Trace number 3290780

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 1200.48 1200.7

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 benchmark45.6781
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

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

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-3290780-1303779276/watcher-3290780-1303779276 -o /tmp/evaluation-result-3290780-1303779276/solver-3290780-1303779276 -C 2400 -W 1300 -M 7680 python portfolio_solver.py -t 2400 -s 1067683743 HOME/instance-3290780-1303779276.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.70 4.00 4.76 4/192 11231
/proc/meminfo: memFree=17479304/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=11800 CPUtime=0 cores=0,2
/proc/11231/stat : 11231 (runsolver) R 11229 11231 9483 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 489526262 12083200 53 33554432000 4194304 5434984 140734600856224 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/11231/statm: 2950 53 31 303 0 2644 0

[startup+0.049701 s]
/proc/loadavg: 3.70 4.00 4.76 4/192 11231
/proc/meminfo: memFree=17479304/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956

[startup+0.10069 s]
/proc/loadavg: 3.70 4.00 4.76 4/192 11231
/proc/meminfo: memFree=17479304/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956

[startup+0.300642 s]
/proc/loadavg: 3.70 4.00 4.76 4/192 11231
/proc/meminfo: memFree=17479304/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956

[startup+0.700576 s]
/proc/loadavg: 3.70 4.00 4.76 4/192 11231
/proc/meminfo: memFree=17479304/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21956

[startup+1.50044 s]
/proc/loadavg: 3.70 4.00 4.76 6/194 11234
/proc/meminfo: memFree=17467324/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
[pid=11233] ppid=11231 vsize=8364 CPUtime=1.45 cores=0,2
/proc/11233/stat : 11233 (features) R 11231 11231 9483 0 -1 4202496 2641 0 0 0 144 1 0 0 25 0 1 0 489526265 8564736 1524 33554432000 134512640 135907751 4287673536 18446744073709551615 134518530 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/11233/statm: 2091 1524 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30320

[startup+3.10022 s]
/proc/loadavg: 3.70 4.00 4.76 5/194 11234
/proc/meminfo: memFree=17404456/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
[pid=11233] ppid=11231 vsize=54444 CPUtime=3.04 cores=0,2
/proc/11233/stat : 11233 (features) R 11231 11231 9483 0 -1 4202496 11688 0 0 0 300 4 0 0 25 0 1 0 489526265 55750656 9666 33554432000 134512640 135907751 4287673536 18446744073709551615 135340715 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11233/statm: 13611 9666 112 341 0 13267 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 76400

[startup+6.30067 s]
/proc/loadavg: 3.97 4.05 4.77 5/194 11234
/proc/meminfo: memFree=17264600/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
[pid=11233] ppid=11231 vsize=187176 CPUtime=6.24 cores=0,2
/proc/11233/stat : 11233 (features) R 11231 11231 9483 0 -1 4202496 44485 0 0 0 614 10 0 0 25 0 1 0 489526265 191668224 42463 33554432000 134512640 135907751 4287673536 18446744073709551615 134537513 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11233/statm: 46794 42463 112 341 0 46450 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 209132

[startup+12.7066 s]
/proc/loadavg: 3.97 4.05 4.77 5/194 11234
/proc/meminfo: memFree=17299600/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
[pid=11233] ppid=11231 vsize=176608 CPUtime=12.65 cores=0,2
/proc/11233/stat : 11233 (features) R 11231 11231 9483 0 -1 4202496 47124 0 0 0 1254 11 0 0 25 0 1 0 489526265 180846592 33545 33554432000 134512640 135907751 4287673536 18446744073709551615 134518639 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11233/statm: 44152 33545 112 341 0 43808 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 198564

[startup+25.5005 s]
/proc/loadavg: 3.98 4.04 4.76 5/200 11271
/proc/meminfo: memFree=17206936/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=21956 CPUtime=0.01 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 1528 0 0 0 1 0 0 0 21 0 1 0 489526262 22482944 1367 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 5489 1367 463 379 0 930 0
[pid=11233] ppid=11231 vsize=176608 CPUtime=25.44 cores=0,2
/proc/11233/stat : 11233 (features) R 11231 11231 9483 0 -1 4202496 47124 0 0 0 2533 11 0 0 25 0 1 0 489526265 180846592 33545 33554432000 134512640 135907751 4287673536 18446744073709551615 134518674 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11233/statm: 44152 33545 112 341 0 43808 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 198564

[startup+51.1012 s]
/proc/loadavg: 3.98 4.04 4.73 5/203 11314
/proc/meminfo: memFree=16745524/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=34456 CPUtime=0.02 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 2173 0 0 0 1 1 0 0 18 0 1 0 489526262 35282944 1426 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8614 1426 488 379 0 934 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11281] ppid=11231 vsize=8700 CPUtime=0 cores=0,2
/proc/11281/stat : 11281 (timerun) S 11231 11231 9483 0 -1 4202496 756 0 0 0 0 0 0 0 19 0 1 0 489530161 8908800 247 33554432000 4194304 4922060 140733297515312 18446744073709551615 210204466309 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11281/statm: 2175 247 208 178 0 68 0
[pid=11282] ppid=11281 vsize=428608 CPUtime=12.1 cores=0,2
/proc/11282/stat : 11282 (cryptominisat) R 11281 11231 9483 0 -1 4202496 72704 0 0 0 1201 9 0 0 25 0 1 0 489530161 438894592 72419 33554432000 134512640 134994940 4293706144 18446744073709551615 134829610 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11282/statm: 107152 72419 340 118 0 106337 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 471764

[startup+102.301 s]
/proc/loadavg: 3.99 4.03 4.69 5/206 11324
/proc/meminfo: memFree=17073420/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=34456 CPUtime=25.03 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 2470 131481 0 0 1 1 2481 20 19 0 1 0 489526262 35282944 1426 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8614 1426 488 379 0 934 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11317] ppid=11231 vsize=8700 CPUtime=0 cores=0,2
/proc/11317/stat : 11317 (timerun) S 11231 11231 9483 0 -1 4202496 750 0 0 0 0 0 0 0 18 0 1 0 489532664 8908800 247 33554432000 4194304 4922060 140734163008384 18446744073709551615 210204466309 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11317/statm: 2175 247 208 178 0 68 0
[pid=11318] ppid=11317 vsize=139032 CPUtime=38.27 cores=0,2
/proc/11318/stat : 11318 (precosat) R 11317 11231 9483 0 -1 4202496 104702 0 0 0 3807 20 0 0 25 0 1 0 489532664 142368768 34639 33554432000 134512640 135142049 4292733088 18446744073709551615 134529716 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/11318/statm: 34758 34639 82 154 0 34602 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 182188

[startup+162.307 s]
/proc/loadavg: 3.99 4.02 4.65 5/206 11328
/proc/meminfo: memFree=16829760/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=34456 CPUtime=25.03 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 2470 131481 0 0 1 1 2481 20 19 0 1 0 489526262 35282944 1426 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8614 1426 488 379 0 934 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11317] ppid=11231 vsize=8700 CPUtime=0 cores=0,2
/proc/11317/stat : 11317 (timerun) S 11231 11231 9483 0 -1 4202496 750 0 0 0 0 0 0 0 18 0 1 0 489532664 8908800 247 33554432000 4194304 4922060 140734163008384 18446744073709551615 210204466309 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11317/statm: 2175 247 208 178 0 68 0
[pid=11318] ppid=11317 vsize=159492 CPUtime=98.27 cores=0,2
/proc/11318/stat : 11318 (precosat) R 11317 11231 9483 0 -1 4202496 180344 0 0 0 9797 30 0 0 25 0 1 0 489532664 163319808 37714 33554432000 134512640 135142049 4292733088 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/11318/statm: 39873 37714 82 154 0 39717 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 202648

[startup+222.3 s]
/proc/loadavg: 3.99 4.02 4.60 5/203 11361
/proc/meminfo: memFree=16128528/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=34456 CPUtime=153.02 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 2614 349279 0 0 1 1 15241 59 18 0 1 0 489526262 35282944 1426 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8614 1426 488 379 0 934 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11360] ppid=11231 vsize=8700 CPUtime=0 cores=0,2

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

/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11427] ppid=11231 vsize=8700 CPUtime=0 cores=0,2
/proc/11427/stat : 11427 (timerun) S 11231 11231 9483 0 -1 4202496 750 0 0 0 0 0 0 0 18 0 1 0 489572401 8908800 247 33554432000 4194304 4922060 140736703045888 18446744073709551615 210204466309 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11427/statm: 2175 247 208 178 0 68 0
[pid=11428] ppid=11427 vsize=126620 CPUtime=660.87 cores=0,2
/proc/11428/stat : 11428 (lingeling) R 11427 11231 9483 0 -1 4202496 392480 0 0 0 66028 59 0 0 25 0 1 0 489572401 129658880 31369 33554432000 134512640 134650204 4293650848 18446744073709551615 134525097 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11428/statm: 31655 31369 112 34 0 31270 0
Current children cumulated CPU time (s) 1122.16
Current children cumulated vsize (KiB) 169776

[startup+1182.3 s]
/proc/loadavg: 4.01 4.02 4.21 5/205 11471
/proc/meminfo: memFree=16342728/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=123556 CPUtime=11.81 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35242 0 0 0 1174 7 0 0 25 0 1 0 489643310 126521344 30573 33554432000 134512640 134650204 4288865904 18446744073709551615 134544801 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1182.17
Current children cumulated vsize (KiB) 159540

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

[startup+1190.9 s]
/proc/loadavg: 4.01 4.02 4.20 5/205 11471
/proc/meminfo: memFree=16349672/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=123556 CPUtime=20.41 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35242 0 0 0 2034 7 0 0 25 0 1 0 489643310 126521344 30573 33554432000 134512640 134650204 4288865904 18446744073709551615 134544806 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1190.77
Current children cumulated vsize (KiB) 159540

[startup+1197.3 s]
/proc/loadavg: 4.01 4.02 4.20 5/205 11471
/proc/meminfo: memFree=16346892/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=123556 CPUtime=26.82 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35242 0 0 0 2675 7 0 0 25 0 1 0 489643310 126521344 30573 33554432000 134512640 134650204 4288865904 18446744073709551615 134544786 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1197.18
Current children cumulated vsize (KiB) 159540

[startup+1198.9 s]
/proc/loadavg: 4.00 4.02 4.20 5/205 11471
/proc/meminfo: memFree=16354208/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=123556 CPUtime=28.41 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35242 0 0 0 2834 7 0 0 25 0 1 0 489643310 126521344 30573 33554432000 134512640 134650204 4288865904 18446744073709551615 134544806 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1198.77
Current children cumulated vsize (KiB) 159540

[startup+1199.7 s]
/proc/loadavg: 4.00 4.02 4.20 5/205 11471
/proc/meminfo: memFree=16354208/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=123556 CPUtime=29.21 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35242 0 0 0 2914 7 0 0 25 0 1 0 489643310 126521344 30573 33554432000 134512640 134650204 4288865904 18446744073709551615 134544832 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1199.57
Current children cumulated vsize (KiB) 159540

[startup+1200.1 s]
/proc/loadavg: 4.00 4.02 4.20 5/205 11471
/proc/meminfo: memFree=16354208/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=123556 CPUtime=29.61 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35242 0 0 0 2954 7 0 0 25 0 1 0 489643310 126521344 30573 33554432000 134512640 134650204 4288865904 18446744073709551615 134544837 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (KiB) 159540

[startup+1200.5 s]
/proc/loadavg: 4.00 4.02 4.20 5/205 11471
/proc/meminfo: memFree=16354208/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=123556 CPUtime=30.01 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35242 0 0 0 2994 7 0 0 25 0 1 0 489643310 126521344 30573 33554432000 134512640 134650204 4288865904 18446744073709551615 134544786 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 30889 30573 98 34 0 30504 0
Current children cumulated CPU time (s) 1200.37
Current children cumulated vsize (KiB) 159540

[startup+1200.6 s]
/proc/loadavg: 4.00 4.02 4.20 5/205 11471
/proc/meminfo: memFree=16358672/32951124 swapFree=67111528/67111528
[pid=11231] ppid=11229 vsize=35984 CPUtime=1131.45 cores=0,2
/proc/11231/stat : 11231 (python) S 11229 11231 9483 0 -1 4202496 4739 1460284 0 0 148 12 112726 259 21 0 1 0 489526262 36847616 1847 33554432000 4194304 5745468 140735396926144 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/11231/statm: 8996 1847 489 379 0 1316 0
[pid=11233] ppid=11231 vsize=0 CPUtime=38.59 cores=0,2
/proc/11233/stat : 11233 (features) Z 11231 11231 9483 0 -1 4202524 53469 0 0 0 3846 13 0 0 25 0 1 0 489526265 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11233/statm: 0 0 0 0 0 0 0
[pid=11280] ppid=11231 vsize=0 CPUtime=0.32 cores=0,2
/proc/11280/stat : 11280 (coach) Z 11231 11231 9483 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489530126 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11280/statm: 0 0 0 0 0 0 0
[pid=11471] ppid=11231 vsize=117224 CPUtime=30.12 cores=0,2
/proc/11471/stat : 11471 (lingeling) R 11231 11231 9483 0 -1 4202496 35245 0 0 0 3005 7 0 0 25 0 1 0 489643310 120037376 28993 33554432000 134512640 134650204 4288865904 18446744073709551615 134560884 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/11471/statm: 29306 28993 101 34 0 28921 0
Current children cumulated CPU time (s) 1200.48
Current children cumulated vsize (KiB) 153208

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11231 and gives
#  childrusage.ru_utime.tv_sec=1167
#  childrusage.ru_utime.tv_usec=556504
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=890560
# CPU time returned by wait4() is 1170.45
# while last known CPU time is 1200.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.7
CPU time (s): 1200.48
CPU user time (s): 1197.57
CPU system time (s): 2.91
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 3766648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1167.56
system time used= 2.89056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1523495
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= 282
involuntary context switches= 2445

runsolver used 2.21566 second user time and 4.5773 second system time

The end

Launcher Data

Begin job on node130 at 2011-04-26 02:54:37
IDJOB=3290780
IDBENCH=83447
IDSOLVER=1618
FILE ID=node130/3290780-1303779276
RUNJOBID= node130-1303779275-11186
PBS_JOBID= 13157181
Free space on /tmp= 71588 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-3290780-1303779276/watcher-3290780-1303779276 -o /tmp/evaluation-result-3290780-1303779276/solver-3290780-1303779276 -C 2400 -W 1300 -M 7680  python portfolio_solver.py -t 2400 -s 1067683743  HOME/instance-3290780-1303779276.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1067683743

node130.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.838
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.67
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.838
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.83
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.838
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.75
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.838
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.81
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.838
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.75
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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17479460 kB
Buffers:       2108256 kB
Cached:       12712568 kB
SwapCached:          0 kB
Active:        6915160 kB
Inactive:      8000784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17479460 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          230800 kB
Writeback:           4 kB
AnonPages:       94488 kB
Mapped:          17860 kB
Slab:           489704 kB
PageTables:       5352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   284720 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= 71156 MiB
End job on node130 at 2011-04-26 03:14:38