Trace number 3449749

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-18 (1200 s timeout)SAT 170.9 171.004

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

16.67/17.03	c COMMAND LINE: portfolio_solver.py -t 1200 -s 120367807 HOME/instance-3449749-1307054978.cnf
16.67/17.03	c    tmpdir         WORKING-DIR
16.67/17.03	c    timelimit      1200
16.67/17.03	c    seed           120367807
16.67/17.03	c    verbosity      0
16.67/17.03	c Parsed command line and set default values...
16.67/17.03	c Starting *WALL CLOCK* TIMER
16.67/17.03	c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
16.67/17.03	c   indicating coach-executables-test.sh was run successfully earlier
16.67/17.03	c Making sure all necessary files and folders are present...
16.67/17.03	c   Checking for ./features                            OK
16.67/17.03	c   Checking for COACH/coach                           OK
16.67/17.03	c   Checking for preprocessors/SatELite_v1.0_linux     OK
16.67/17.03	c   Checking for solvers/adaptg2wsat2009               OK
16.67/17.03	c   Checking for solvers/adaptg2wsat2009++             OK
16.67/17.03	c   Checking for solvers/clasp-1.3.6-x86-linux         OK
16.67/17.03	c   Checking for solvers/cryptominisat                 OK
16.67/17.03	c   Checking for solvers/glucose_static                OK
16.67/17.03	c   Checking for solvers/gnovelty+2                    OK
16.67/17.03	c   Checking for solvers/gnovelty+2-H                  OK
16.67/17.03	c   Checking for solvers/hybridGM3                     OK
16.67/17.03	c   Checking for solvers/kcnfs04SAT07                  OK
16.67/17.03	c   Checking for solvers/lingeling                     OK
16.67/17.03	c   Checking for solvers/LySATc                        OK
16.67/17.03	c   Checking for solvers/LySATi                        OK
16.67/17.03	c   Checking for solvers/march_hi                      OK
16.67/17.03	c   Checking for solvers/march_nn                      OK
16.67/17.03	c   Checking for solvers/minisat_static                OK
16.67/17.03	c   Checking for solvers/mxc-sat09                     OK
16.67/17.03	c   Checking for solvers/picosat                       OK
16.67/17.03	c   Checking for solvers/precosat                      OK
16.67/17.03	c   Checking for solvers/SATenstein                    OK
16.67/17.03	c   Checking for solvers/TNM                           OK
16.67/17.03	c   Checking for solvers/ubcsatOrig                    OK
16.67/17.03	c   Checking for utilities/timerun                     OK
16.67/17.03	c   Checking for folder COACH/DATA                     OK
16.67/17.03	c   Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
16.67/17.03	c Check successful
16.67/17.03	c TIMER: 0.0 sec total, 0.0 sec since previous report
16.67/17.03	c Computing instance features...
16.67/17.03	c    ./features HOME/instance-3449749-1307054978.cnf
16.67/17.03	c    Features found: 9848 479107 0.0205549074 0.000852784519 3.74275849 6.26164928e-06 0.0169941161 1.53815392 0.000803924851 0.629983167 0.000203086921 0.00792038993 2.3914165 0.927836778 0.260682417 0 1 0.353901313 0.25918702 0.269934541 0 0.998965874 1.11070513 0 0.0540756032 0.10039511 0.000734801887 4.21867422 4.17443285e-06 0.0169815928 1.49051163 0.95273081 6.34465641e-05 0.898631472 4.38315449e-05 0.000371524524 0.64 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1
16.67/17.03	c TIMER: 16.67 sec total, 16.67 sec since previous report
16.67/17.03	c Computing most promising solver to run...
16.67/17.03	c    COACH/coach 9848 479107 0.0205549074 0.000852784519 3.74275849 6.26164928e-06 0.0169941161 1.53815392 0.000803924851 0.629983167 0.000203086921 0.00792038993 2.3914165 0.927836778 0.260682417 0 1 0.353901313 0.25918702 0.269934541 0 0.998965874 1.11070513 0 0.0540756032 0.10039511 0.000734801887 4.21867422 4.17443285e-06 0.0169815928 1.49051163 0.95273081 6.34465641e-05 0.898631472 4.38315449e-05 0.000371524524 0.64 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1 COACH/DATA/ 1
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER cryptominisat 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER precosat 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER march_hi 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER hybridGM3 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER gnovelty+2 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER TNM 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER AshiHgen 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
16.67/17.03	c    PORTFOLIO-SUGGESTION SOLVER lingeling 100000 1
16.67/17.03	c TIMER: 16.99 sec total, 0.32 sec since previous report
16.67/17.03	c Preprocessing ON (for solvers that need to use it)
16.67/17.03	c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
16.67/17.03	c    cryptominisat   	              4 	False
16.67/17.03	c    adaptg2wsat2009 	              4 	False
165.90/166.06	c    precosat        	              4 	False
165.90/166.06	c    march_hi        	              4 	False
165.90/166.06	c    hybridGM3       	              4 	False
165.90/166.06	c    lingeling       	              4 	False
165.90/166.06	c    gnovelty+2      	              4 	False
165.90/166.06	c    TNM             	              4 	False
165.90/166.06	c    AshiHgen        	              4 	False
165.90/166.06	c    mxc-sat09       	              4 	False
165.90/166.06	c    lingeling       	         100000 	True
165.90/166.06	c Default solver to fall back on, in case everything fails:
165.90/166.06	c    lingeling       	       no limit 	False
165.90/166.06	c Running cryptominisat for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/cryptominisat HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 21.01 sec total, 4.02 sec since previous report
165.90/166.06	c Running adaptg2wsat2009 for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/adaptg2wsat2009 HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 25.03 sec total, 4.01 sec since previous report
165.90/166.06	c Running precosat for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/precosat HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 29.03 sec total, 4.0 sec since previous report
165.90/166.06	c Running march_hi for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/march_hi HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 33.04 sec total, 4.01 sec since previous report
165.90/166.06	c Running hybridGM3 for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/hybridGM3 HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 33.05 sec total, 0.01 sec since previous report
165.90/166.06	c Running lingeling for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/lingeling HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 37.06 sec total, 4.01 sec since previous report
165.90/166.06	c Running gnovelty+2 for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/gnovelty+2 HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 41.07 sec total, 4.01 sec since previous report
165.90/166.06	c Running TNM for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/TNM HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 45.08 sec total, 4.01 sec since previous report
165.90/166.06	c Running AshiHgen for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/SATenstein -i HOME/instance-3449749-1307054978.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 120367807 
165.90/166.06	c TIMER: 49.08 sec total, 4.01 sec since previous report
165.90/166.06	c Running mxc-sat09 for 4 seconds on HOME/instance-3449749-1307054978.cnf
165.90/166.06	c    utilities/timerun 4 solvers/mxc-sat09 -i HOME/instance-3449749-1307054978.cnf
165.90/166.06	c TIMER: 53.09 sec total, 4.01 sec since previous report
165.90/166.06	c <<<< Running SatElite to preprocess instance >>>>
165.90/166.06	c    preprocessors/SatELite_v1.0_linux +pre --verbosity=0 HOME/instance-3449749-1307054978.cnf WORKING-DIR/instance-3449749-1307054978.cnf.pre WORKING-DIR/instance-3449749-1307054978.cnf.pre.varmap
165.90/166.06	c Satelite return code: 0
165.90/166.06	c Running lingeling for 100000 seconds on WORKING-DIR/instance-3449749-1307054978.cnf.pre
165.90/166.06	c    utilities/timerun 100000 solvers/lingeling WORKING-DIR/instance-3449749-1307054978.cnf.pre
165.90/166.06	c TIMER: 166.03 sec total, 112.94 sec since previous report
165.90/166.06	c Instance solved!
165.90/166.06	c Converting preprocessed instance solution back to original instance solution
170.81/170.99	c    Writing unit-clause-extended CNF file to WORKING-DIR/instance-3449749-1307054978.cnf.extended
170.81/170.99	c    Running lingeling on WORKING-DIR/instance-3449749-1307054978.cnf.extended
170.81/170.99	c       solvers/lingeling WORKING-DIR/instance-3449749-1307054978.cnf.extended
170.81/170.99	c TIMER: 170.95 sec total, 4.92 sec since previous report
170.81/170.99	s SATISFIABLE
170.81/170.99	v -1 -2 -3 4 5 6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 18 -19 -20
170.81/170.99	v 21 -22 23 24 25 -26 -27 -28 29 -30 31 -32 33 34 -35 -36 37 -38 -39 -40
170.81/170.99	v -41 -42 43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 56 57 -58 -59 -60
170.81/170.99	v -61 -62 -63 64 -65 66 67 -68 -69 70 71 72 -73 -74 -75 -76 -77 -78 -79 80
170.81/170.99	v -81 -82 83 -84 -85 86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 98 99 100
170.81/170.99	v 101 102 103 104 105 106 107 108 109 110 111 112 -113 -114 -115 -116 -117 -118 -119 -120
170.81/170.99	v -121 -122 123 -124 125 -126 127 128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140
170.81/170.99	v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 155 -156 -157 -158 -159 -160
170.81/170.99	v -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 171 172 -173 -174 -175 -176 -177 -178 -179 -180
170.81/170.99	v 181 -182 -183 -184 -185 -186 -187 -188 -189 -190 191 192 -193 -194 -195 -196 -197 -198 199 200
170.81/170.99	v -201 202 -203 204 -205 -206 207 -208 -209 210 -211 212 -213 -214 -215 216 217 218 -219 220
170.81/170.99	v -221 222 -223 -224 225 226 -227 -228 229 230 231 -232 -233 234 235 236 237 238 239 -240
170.81/170.99	v 241 242 243 -244 245 -246 -247 248 249 -250 251 -252 -253 -254 -255 -256 -257 -258 -259 -260
170.81/170.99	v -261 -262 263 264 -265 266 -267 268 -269 -270 271 -272 -273 274 275 -276 -277 -278 279 280
170.81/170.99	v 281 282 283 284 -285 286 287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300
170.81/170.99	v -301 -302 303 -304 305 -306 -307 -308 -309 310 -311 -312 -313 314 -315 316 -317 -318 -319 -320
170.81/170.99	v 321 -322 -323 324 325 326 327 328 329 330 -331 332 333 334 -335 336 337 338 339 340
170.81/170.99	v 341 342 343 344 -345 346 347 -348 349 350 -351 -352 -353 354 -355 356 357 358 -359 360
170.81/170.99	v -361 -362 363 -364 -365 -366 367 368 -369 -370 -371 -372 373 374 375 -376 -377 378 -379 380
170.81/170.99	v -381 -382 -383 -384 -385 -386 -387 388 389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
170.81/170.99	v -401 -402 -403 404 405 406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
170.81/170.99	v 421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
170.81/170.99	v -441 -442 -443 -444 445 446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460
170.81/170.99	v -461 -462 -463 -464 -465 -466 -467 -468 469 470 471 -472 -473 -474 -475 -476 -477 -478 -479 -480
170.81/170.99	v -481 -482 -483 -484 -485 486 487 488 489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500
170.81/170.99	v -501 502 503 504 505 506 507 508 509 510 511 512 -513 -514 -515 -516 -517 -518 -519 -520
170.81/170.99	v -521 -522 -523 -524 -525 -526 527 528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
170.81/170.99	v 541 542 543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
170.81/170.99	v -561 562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580
170.81/170.99	v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 592 -593 -594 -595 -596 -597 -598 -599 -600
170.81/170.99	v -601 -602 603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
170.81/170.99	v -621 -622 623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640
170.81/170.99	v -641 -642 -643 -644 645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660
170.81/170.99	v -661 -662 -663 -664 -665 -666 -667 -668 -669 670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
170.81/170.99	v -681 -682 -683 -684 685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
170.81/170.99	v -701 -702 -703 -704 705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
170.81/170.99	v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 731 -732 -733 -734 -735 -736 -737 -738 -739 -740
170.81/170.99	v -741 -742 -743 -744 -745 -746 -747 748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760
170.81/170.99	v -761 -762 -763 -764 -765 766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780
170.81/170.99	v -781 -782 -783 -784 785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
170.81/170.99	v -801 -802 -803 -804 805 806 807 808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
170.81/170.99	v 821 822 823 824 825 826 827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840
170.81/170.99	v -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 851 -852 -853 -854 -855 -856 -857 -858 -859 -860
170.81/170.99	v -861 -862 -863 -864 -865 -866 867 868 869 870 871 -872 -873 -874 -875 -876 -877 -878 -879 -880
170.81/170.99	v -881 882 883 884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900
170.81/170.99	v 901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920
170.81/170.99	v -921 -922 -923 -924 -925 -926 -927 -928 -929 930 931 -932 -933 -934 -935 -936 -937 -938 -939 -940
170.81/170.99	v -941 -942 -943 -944 -945 -946 -947 948 949 950 951 -952 -953 -954 -955 -956 -957 -958 -959 -960
170.81/170.99	v -961 962 963 964 965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980
170.81/170.99	v -981 982 983 984 985 986 987 988 989 990 991 -992 -993 -994 -995 -996 -997 -998 -999 -1000
170.81/170.99	v -1001 1002 1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020
170.81/170.99	v -1021 -1022 -1023 1024 1025 1026 1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040
170.81/170.99	v -1041 1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060
170.81/170.99	v -1061 1062 1063 1064 1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080
170.81/170.99	v -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 1089 1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
170.81/170.99	v -1101 -1102 1103 1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120
170.81/170.99	v -1121 1122 1123 1124 1125 1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140
170.81/170.99	v -1141 -1142 -1143 -1144 -1145 1146 1147 1148 1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160
170.81/170.99	v -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 1169 1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180
170.81/170.99	v -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200
170.81/170.99	v -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220
170.81/170.99	v -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240
170.81/170.99	v -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260
170.81/170.99	v -1261 -1262 -1263 -1264 -1265 -1266 -1267 1268 1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280
170.81/170.99	v -1281 -1282 -1283 -1284 -1285 -1286 -1287 1288 1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300
170.81/170.99	v -1301 -1302 -1303 -1304 -1305 -1306 -1307 1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320
170.81/170.99	v -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340
170.81/170.99	v -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360
170.81/170.99	v -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380
170.81/170.99	v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400
170.81/170.99	v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420
170.81/170.99	v -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440
170.81/170.99	v -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460
170.81/170.99	v -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480
170.81/170.99	v -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500
170.81/170.99	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520
170.81/170.99	v -1521 -1522 -1523 -1524 -1525 -1526 -1527 1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540
170.81/170.99	v -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560
170.81/170.99	v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580
170.81/170.99	v -1581 -1582 -1583 -1584 1585 1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600
170.81/170.99	v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
170.81/170.99	v -1621 -1622 -1623 -1624 -1625 1626 1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640
170.81/170.99	v -1641 -1642 -1643 1644 1645 1646 1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660
170.81/170.99	v -1661 -1662 -1663 -1664 -1665 -1666 1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
170.81/170.99	v -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
170.81/170.99	v -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720
170.81/170.99	v -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740
170.81/170.99	v -1741 -1742 -1743 1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760
170.81/170.99	v -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780
170.81/170.99	v -1781 -1782 -1783 -1784 1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800
170.81/170.99	v -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820
170.81/170.99	v -1821 -1822 -1823 -1824 1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840
170.81/170.99	v -1841 -1842 -1843 -1844 1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860
170.81/170.99	v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880
170.81/170.99	v -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900
170.81/170.99	v -1901 -1902 -1903 -1904 -1905 1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920
170.81/170.99	v -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940
170.81/170.99	v -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
170.81/170.99	v -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
170.81/170.99	v -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
170.81/170.99	v -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
170.81/170.99	v 2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040
170.81/170.99	v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060
170.81/170.99	v -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080
170.81/170.99	v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100
170.81/170.99	v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120
170.81/170.99	v -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140
170.81/170.99	v -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160
170.81/170.99	v -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180
170.81/170.99	v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
170.81/170.99	v -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
170.81/170.99	v -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240
170.81/170.99	v -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260
170.81/170.99	v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
170.81/170.99	v -2281 -2282 -2283 -2284 -2285 2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300
170.81/170.99	v -2301 -2302 -2303 -2304 2305 2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320
170.81/170.99	v -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340
170.81/170.99	v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360
170.81/170.99	v -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380
170.81/170.99	v -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400
170.81/170.99	v -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420
170.81/170.99	v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
170.81/170.99	v -2441 -2442 -2443 -2444 2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460
170.81/170.99	v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480
170.81/170.99	v -2481 -2482 -2483 -2484 2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
170.81/170.99	v -2501 -2502 -2503 -2504 2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
170.81/170.99	v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540
170.81/170.99	v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
170.81/170.99	v -2561 -2562 -2563 -2564 -2565 2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
170.81/170.99	v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600
170.81/170.99	v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 2609 2610 2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620
170.81/170.99	v -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640
170.81/170.99	v -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660
170.81/170.99	v -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680
170.81/170.99	v -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700
170.81/170.99	v -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720
170.81/170.99	v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
170.81/170.99	v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760
170.81/170.99	v -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780
170.81/170.99	v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800
170.81/170.99	v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820
170.81/170.99	v -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840
170.81/170.99	v -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860
170.81/170.99	v -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880
170.81/170.99	v -2881 -2882 -2883 -2884 -2885 2886 2887 2888 2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900
170.81/170.99	v -2901 -2902 -2903 -2904 -2905 -2906 2907 2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920
170.81/170.99	v -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940
170.81/170.99	v -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960
170.81/170.99	v -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980
170.81/170.99	v -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000
170.81/170.99	v -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020
170.81/170.99	v -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
170.81/170.99	v -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060
170.81/170.99	v -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
170.81/170.99	v -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100
170.81/170.99	v -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120
170.81/170.99	v -3121 -3122 -3123 -3124 -3125 -3126 -3127 3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140
170.81/170.99	v -3141 -3142 -3143 -3144 -3145 3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160
170.81/170.99	v -3161 -3162 -3163 -3164 -3165 -3166 3167 3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180
170.81/170.99	v -3181 3182 3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200
170.81/170.99	v -3201 3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220
170.81/170.99	v -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240
170.81/170.99	v -3241 -3242 3243 3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260
170.81/170.99	v -3261 -3262 3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280
170.81/170.99	v -3281 -3282 -3283 -3284 3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300
170.81/170.99	v -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320
170.81/170.99	v -3321 -3322 -3323 -3324 3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340
170.81/170.99	v -3341 -3342 -3343 -3344 3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360
170.81/170.99	v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
170.81/170.99	v -3381 -3382 -3383 -3384 -3385 -3386 -3387 3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400
170.81/170.99	v -3401 -3402 -3403 -3404 -3405 3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420
170.81/170.99	v -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440
170.81/170.99	v -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460
170.81/170.99	v -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480
170.81/170.99	v -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500
170.81/170.99	v -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520
170.81/170.99	v -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540
170.81/170.99	v -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
170.81/170.99	v -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580
170.81/170.99	v -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600
170.81/170.99	v -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620
170.81/170.99	v -3621 -3622 -3623 -3624 -3625 -3626 -3627 3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
170.81/170.99	v -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660
170.81/170.99	v -3661 3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680
170.81/170.99	v -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700
170.81/170.99	v -3701 -3702 3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720
170.81/170.99	v -3721 -3722 3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740
170.81/170.99	v -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760
170.81/170.99	v -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
170.81/170.99	v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800
170.81/170.99	v -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820
170.81/170.99	v -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840
170.81/170.99	v -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860
170.81/170.99	v -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880
170.81/170.99	v -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900
170.81/170.99	v -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920
170.81/170.99	v -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940
170.81/170.99	v -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960
170.81/170.99	v -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980
170.81/170.99	v -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000
170.81/170.99	v -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020
170.81/170.99	v -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040
170.81/170.99	v -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060
170.81/170.99	v -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080
170.81/170.99	v -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100
170.81/170.99	v -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120
170.81/170.99	v -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140
170.81/170.99	v -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160
170.81/170.99	v -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180
170.81/170.99	v -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200
170.81/170.99	v -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
170.81/170.99	v -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240
170.81/170.99	v -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
170.81/170.99	v -4261 -4262 4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280
170.81/170.99	v -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300
170.81/170.99	v -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320
170.81/170.99	v -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340
170.81/170.99	v -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360
170.81/170.99	v -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380
170.81/170.99	v -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400
170.81/170.99	v -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420
170.81/170.99	v -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440
170.81/170.99	v -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460
170.81/170.99	v -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480
170.81/170.99	v -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500
170.81/170.99	v -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520
170.81/170.99	v -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540
170.81/170.99	v -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560
170.81/170.99	v -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580
170.81/170.99	v -4581 -4582 -4583 -4584 4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600
170.81/170.99	v -4601 -4602 -4603 -4604 4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620
170.81/170.99	v -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640
170.81/170.99	v -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660
170.81/170.99	v -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680
170.81/170.99	v -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700
170.81/170.99	v -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720
170.81/170.99	v -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740
170.81/170.99	v -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760
170.81/170.99	v -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780
170.81/170.99	v -4781 -4782 -4783 -4784 4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800
170.81/170.99	v -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
170.81/170.99	v -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840
170.81/170.99	v -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860
170.81/170.99	v -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880
170.81/170.99	v -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900
170.81/170.99	v -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920
170.81/170.99	v -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940
170.81/170.99	v -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960
170.81/170.99	v -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980
170.81/170.99	v -4981 -4982 -4983 -4984 4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000
170.81/170.99	v -5001 -5002 -5003 -5004 5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020
170.81/170.99	v -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040
170.81/170.99	v -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060
170.81/170.99	v -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080
170.81/170.99	v -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100
170.81/170.99	v -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
170.81/170.99	v -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140
170.81/170.99	v -5141 -5142 -5143 -5144 5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160
170.81/170.99	v -5161 -5162 -5163 -5164 5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180
170.81/170.99	v -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200
170.81/170.99	v -5201 -5202 -5203 -5204 5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220
170.81/170.99	v -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240
170.81/170.99	v -5241 -5242 -5243 -5244 5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260
170.81/170.99	v -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280
170.81/170.99	v -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300
170.81/170.99	v -5301 -5302 -5303 -5304 5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320
170.81/170.99	v -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340
170.81/170.99	v -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360
170.81/170.99	v -5361 -5362 -5363 -5364 5365 5366 5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
170.81/170.99	v -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
170.81/170.99	v -5401 -5402 -5403 -5404 -5405 -5406 5407 5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420
170.81/170.99	v -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440
170.81/170.99	v -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460
170.81/170.99	v -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480
170.81/170.99	v -5481 -5482 -5483 -5484 -5485 -5486 -5487 5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500
170.81/170.99	v -5501 -5502 -5503 -5504 5505 5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520
170.81/170.99	v -5521 -5522 -5523 -5524 5525 5526 5527 5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540
170.81/170.99	v -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560
170.81/170.99	v -5561 -5562 -5563 -5564 5565 5566 5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580
170.81/170.99	v -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600
170.81/170.99	v -5601 -5602 -5603 -5604 5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620
170.81/170.99	v -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640
170.81/170.99	v -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660
170.81/170.99	v -5661 -5662 -5663 -5664 5665 5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680
170.81/170.99	v -5681 -5682 -5683 -5684 -5685 5686 5687 5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700
170.81/170.99	v -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
170.81/170.99	v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740
170.81/170.99	v -5741 -5742 -5743 -5744 -5745 -5746 5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760
170.81/170.99	v -5761 5762 5763 5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780
170.81/170.99	v 5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800
170.81/170.99	v -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820
170.81/170.99	v -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840
170.81/170.99	v -5841 5842 5843 5844 5845 5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860
170.81/170.99	v -5861 5862 5863 5864 5865 5866 5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880
170.81/170.99	v -5881 5882 5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900
170.81/170.99	v -5901 -5902 -5903 5904 5905 5906 5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920
170.81/170.99	v -5921 5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
170.81/170.99	v -5941 5942 5943 5944 5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960
170.81/170.99	v -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
170.81/170.99	v -5981 -5982 5983 5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000
170.81/170.99	v -6001 6002 6003 6004 6005 6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020
170.81/170.99	v -6021 -6022 -6023 -6024 -6025 6026 6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040
170.81/170.99	v -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060
170.81/170.99	v -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080
170.81/170.99	v -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100
170.81/170.99	v -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120
170.81/170.99	v -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140
170.81/170.99	v -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160
170.81/170.99	v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180
170.81/170.99	v -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
170.81/170.99	v -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
170.81/170.99	v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
170.81/170.99	v -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260
170.81/170.99	v -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
170.81/170.99	v -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300
170.81/170.99	v -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320
170.81/170.99	v -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340
170.81/170.99	v -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360
170.81/170.99	v -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380
170.81/170.99	v -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400
170.81/170.99	v -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420
170.81/170.99	v -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 6430 6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440
170.81/170.99	v -6441 -6442 -6443 -6444 -6445 -6446 -6447 6448 6449 6450 6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
170.81/170.99	v -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480
170.81/170.99	v -6481 -6482 -6483 -6484 -6485 -6486 6487 6488 6489 6490 6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500
170.81/170.99	v -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520
170.81/170.99	v -6521 -6522 -6523 -6524 -6525 -6526 6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540
170.81/170.99	v -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560
170.81/170.99	v -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580
170.81/170.99	v -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 6589 6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600
170.81/170.99	v -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620
170.81/170.99	v -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640
170.81/170.99	v -6641 -6642 -6643 -6644 -6645 -6646 6647 6648 6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660
170.81/170.99	v -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 6669 6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680
170.81/170.99	v -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700
170.81/170.99	v -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720
170.81/170.99	v -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740
170.81/170.99	v -6741 6742 6743 6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760
170.81/170.99	v -6761 6762 6763 6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780
170.81/170.99	v -6781 6782 6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800
170.81/170.99	v -6801 -6802 -6803 6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820
170.81/170.99	v -6821 6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840
170.81/170.99	v -6841 6842 6843 6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860
170.81/170.99	v -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880
170.81/170.99	v -6881 -6882 6883 6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900
170.81/170.99	v -6901 6902 6903 6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920
170.81/170.99	v -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940
170.81/170.99	v -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960
170.81/170.99	v -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980
170.81/170.99	v -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000
170.81/170.99	v -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020
170.81/170.99	v -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040
170.81/170.99	v -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060
170.81/170.99	v -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080
170.81/170.99	v -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100
170.81/170.99	v -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120
170.81/170.99	v -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140
170.81/170.99	v -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160
170.81/170.99	v -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180
170.81/170.99	v -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200
170.81/170.99	v -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220
170.81/170.99	v -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 7230 7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240
170.81/170.99	v -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260
170.81/170.99	v -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 7270 7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280
170.81/170.99	v -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300
170.81/170.99	v -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320
170.81/170.99	v -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340
170.81/170.99	v -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360
170.81/170.99	v -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380
170.81/170.99	v -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400
170.81/170.99	v -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420
170.81/170.99	v -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440
170.81/170.99	v -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460
170.81/170.99	v -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480
170.81/170.99	v -7481 -7482 -7483 -7484 -7485 -7486 -7487 7488 7489 7490 7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500
170.81/170.99	v -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520
170.81/170.99	v -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540
170.81/170.99	v -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560
170.81/170.99	v -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580
170.81/170.99	v -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 7589 7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600
170.81/170.99	v -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620
170.81/170.99	v -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640
170.81/170.99	v -7641 -7642 -7643 -7644 -7645 -7646 -7647 7648 7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660
170.81/170.99	v -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 7669 7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680
170.81/170.99	v -7681 7682 7683 7684 7685 7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700
170.81/170.99	v -7701 7702 7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720
170.81/170.99	v -7721 -7722 -7723 7724 7725 7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740
170.81/170.99	v -7741 7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760
170.81/170.99	v -7761 7762 7763 7764 7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780
170.81/170.99	v -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800
170.81/170.99	v -7801 -7802 7803 7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820
170.81/170.99	v -7821 7822 7823 7824 7825 7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840
170.81/170.99	v -7841 -7842 -7843 -7844 -7845 7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860
170.81/170.99	v -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880
170.81/170.99	v -7881 7882 7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900
170.81/170.99	v -7901 -7902 -7903 7904 7905 7906 7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920
170.81/170.99	v -7921 7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940
170.81/170.99	v -7941 7942 7943 7944 7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960
170.81/170.99	v -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 7969 7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980
170.81/170.99	v -7981 -7982 7983 7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000
170.81/170.99	v -8001 8002 8003 8004 8005 8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020
170.81/170.99	v -8021 -8022 -8023 -8024 -8025 8026 8027 8028 8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040
170.81/170.99	v -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 8049 8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060
170.81/170.99	v -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080
170.81/170.99	v -8081 8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100
170.81/170.99	v -8101 8102 8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120
170.81/170.99	v -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140
170.81/170.99	v -8141 -8142 8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160
170.81/170.99	v -8161 8162 8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180
170.81/170.99	v -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200
170.81/170.99	v -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220
170.81/170.99	v -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240
170.81/170.99	v -8241 -8242 -8243 8244 8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260
170.81/170.99	v -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280
170.81/170.99	v -8281 -8282 -8283 8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300
170.81/170.99	v -8301 -8302 -8303 8304 8305 8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320
170.81/170.99	v -8321 -8322 -8323 -8324 -8325 8326 8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340
170.81/170.99	v -8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360
170.81/170.99	v -8361 8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380
170.81/170.99	v -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400
170.81/170.99	v -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420
170.81/170.99	v -8421 8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440
170.81/170.99	v -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460
170.81/170.99	v -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480
170.81/170.99	v -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500
170.81/170.99	v -8501 -8502 8503 8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520
170.81/170.99	v -8521 8522 8523 8524 8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540
170.81/170.99	v -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560
170.81/170.99	v -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580
170.81/170.99	v -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600
170.81/170.99	v -8601 -8602 -8603 -8604 -8605 -8606 -8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620
170.81/170.99	v -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640
170.81/170.99	v -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 8649 8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660
170.81/170.99	v -8661 -8662 8663 8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680
170.81/170.99	v -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700
170.81/170.99	v -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720
170.81/170.99	v -8721 -8722 -8723 -8724 -8725 8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740
170.81/170.99	v -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760
170.81/170.99	v -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780
170.81/170.99	v -8781 -8782 -8783 -8784 -8785 -8786 -8787 8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800
170.81/170.99	v -8801 -8802 -8803 8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820
170.81/170.99	v 8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840
170.81/170.99	v -8841 -8842 -8843 -8844 8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860
170.81/170.99	v -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880
170.81/170.99	v -8881 -8882 -8883 -8884 -8885 8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900
170.81/170.99	v -8901 8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920
170.81/170.99	v -8921 -8922 -8923 -8924 -8925 -8926 8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940
170.81/170.99	v 8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960
170.81/170.99	v -8961 8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980
170.81/170.99	v -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000
170.81/170.99	v -9001 -9002 9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020
170.81/170.99	v -9021 -9022 9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040
170.81/170.99	v -9041 -9042 -9043 -9044 9045 -9046 -9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060
170.81/170.99	v -9061 -9062 -9063 -9064 -9065 -9066 -9067 -9068 -9069 9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080
170.81/170.99	v -9081 -9082 -9083 -9084 9085 -9086 -9087 -9088 -9089 -9090 -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100
170.81/170.99	v -9101 -9102 -9103 -9104 9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120
170.81/170.99	v -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 9131 -9132 -9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140
170.81/170.99	v -9141 -9142 -9143 -9144 -9145 -9146 -9147 9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160
170.81/170.99	v -9161 -9162 -9163 -9164 -9165 9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180
170.81/170.99	v -9181 -9182 -9183 -9184 9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200
170.81/170.99	v -9201 -9202 -9203 -9204 9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220
170.81/170.99	v 9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240
170.81/170.99	v -9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260
170.81/170.99	v -9261 -9262 -9263 -9264 -9265 -9266 9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280
170.81/170.99	v -9281 9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300
170.81/170.99	v 9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320
170.81/170.99	v -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340
170.81/170.99	v -9341 -9342 -9343 -9344 -9345 -9346 -9347 9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360
170.81/170.99	v -9361 9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380
170.81/170.99	v -9381 9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400
170.81/170.99	v -9401 9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420
170.81/170.99	v -9421 -9422 -9423 9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440
170.81/170.99	v -9441 9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460
170.81/170.99	v -9461 9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480
170.81/170.99	v -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500
170.81/170.99	v -9501 -9502 9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520
170.81/170.99	v -9521 9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540
170.81/170.99	v -9541 -9542 -9543 -9544 -9545 9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560
170.81/170.99	v -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580
170.81/170.99	v -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600
170.81/170.99	v -9601 -9602 -9603 -9604 -9605 -9606 9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620
170.81/170.99	v 9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640
170.81/170.99	v -9641 -9642 -9643 -9644 -9645 9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660
170.81/170.99	v -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680
170.81/170.99	v -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700
170.81/170.99	v -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720
170.81/170.99	v -9721 -9722 -9723 -9724 -9725 -9726 -9727 9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740
170.81/170.99	v -9741 -9742 9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760
170.81/170.99	v -9761 9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780
170.81/170.99	v -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800
170.81/170.99	v -9801 -9802 -9803 9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820
170.81/170.99	v -9821 -9822 9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840
170.81/170.99	v -9841 -9842 -9843 -9844 9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860
170.81/170.99	v -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880
170.81/170.99	v -9881 -9882 -9883 -9884 9885 -9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900
170.81/170.99	v -9901 -9902 -9903 -9904 9905 -9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920
170.81/170.99	v -9921 -9922 -9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940
170.81/170.99	v -9941 -9942 -9943 -9944 -9945 -9946 -9947 9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960
170.81/170.99	v -9961 -9962 -9963 -9964 -9965 9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980
170.81/170.99	v -9981 -9982 -9983 -9984 9985 -9986 -9987 -9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000
170.81/170.99	v -10001 -10002 -10003 -10004 -10005 -10006 -10007 10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020
170.81/170.99	v -10021 -10022 -10023 -10024 -10025 -10026 10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040
170.81/170.99	v -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060
170.81/170.99	v -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080
170.81/170.99	v -10081 -10082 -10083 10084 -10085 -10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100
170.81/170.99	v 10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120
170.81/170.99	v -10121 -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140
170.81/170.99	v -10141 -10142 -10143 -10144 -10145 -10146 -10147 -10148 -10149 -10150 10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160
170.81/170.99	v -10161 -10162 -10163 -10164 -10165 10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180
170.81/170.99	v -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200
170.81/170.99	v -10201 -10202 10203 -10204 -10205 -10206 -10207 -10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220
170.81/170.99	v -10221 -10222 -10223 -10224 -10225 -10226 10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240
170.81/170.99	v -10241 10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260
170.90/171.00	v -10261 -10262 -10263 -10264 10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280
170.90/171.00	v -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300
170.90/171.00	v -10301 -10302 -10303 10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320
170.90/171.00	v -10321 -10322 -10323 -10324 -10325 10326 -10327 -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340
170.90/171.00	v -10341 -10342 -10343 -10344 -10345 -10346 -10347 -10348 10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360
170.90/171.00	v -10361 -10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380
170.90/171.00	v -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 10393 10394 10395 10396 10397 10398 10399 10400
170.90/171.00	v -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 -10411 10412 10413 10414 10415 10416 10417 10418 10419 10420
170.90/171.00	v 0
170.90/171.00	c TIMER: 170.96 sec total, 0.01 sec since previous report

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3449749-1307054978/watcher-3449749-1307054978 -o /tmp/evaluation-result-3449749-1307054978/solver-3449749-1307054978 -C 1200 -W 1300 -M 7680 python portfolio_solver.py -t 1200 -s 120367807 HOME/instance-3449749-1307054978.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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: 4.03 4.06 3.77 6/507 1736
/proc/meminfo: memFree=24430320/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=14644 CPUtime=0 cores=1,3
/proc/1736/stat : 1736 (python) R 1734 1736 637 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 1 0 895728611 14995456 325 33554432000 4194304 5683644 140734133304800 18446744073709551615 5282514 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1736/statm: 3661 327 216 364 0 148 0

[startup+0.085848 s]
/proc/loadavg: 4.03 4.06 3.77 6/507 1736
/proc/meminfo: memFree=24430320/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.100844 s]
/proc/loadavg: 4.03 4.06 3.77 6/507 1736
/proc/meminfo: memFree=24430320/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.300806 s]
/proc/loadavg: 4.03 4.06 3.77 6/507 1736
/proc/meminfo: memFree=24430320/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.700732 s]
/proc/loadavg: 4.03 4.06 3.77 6/507 1736
/proc/meminfo: memFree=24430320/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+1.50059 s]
/proc/loadavg: 4.03 4.06 3.77 5/509 1738
/proc/meminfo: memFree=24416168/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
[pid=1738] ppid=1736 vsize=8364 CPUtime=1.45 cores=1,3
/proc/1738/stat : 1738 (features) R 1736 1736 637 0 -1 4202496 2645 0 0 0 142 3 0 0 25 0 1 0 895728615 8564736 1528 33554432000 134512640 135907751 4293303360 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1738/statm: 2091 1528 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30260

[startup+3.1003 s]
/proc/loadavg: 4.03 4.06 3.77 5/509 1738
/proc/meminfo: memFree=24411652/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
[pid=1738] ppid=1736 vsize=59292 CPUtime=3.05 cores=1,3
/proc/1738/stat : 1738 (features) R 1736 1736 637 0 -1 4202496 16401 0 0 0 297 8 0 0 25 0 1 0 895728615 60715008 14379 33554432000 134512640 135907751 4293303360 18446744073709551615 134538745 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1738/statm: 14823 14379 112 341 0 14479 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 81188

[startup+6.30071 s]
/proc/loadavg: 4.02 4.06 3.77 5/509 1738
/proc/meminfo: memFree=24371228/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
[pid=1738] ppid=1736 vsize=54932 CPUtime=6.25 cores=1,3
/proc/1738/stat : 1738 (features) R 1736 1736 637 0 -1 4202496 17399 0 0 0 616 9 0 0 25 0 1 0 895728615 56250368 11034 33554432000 134512640 135907751 4293303360 18446744073709551615 134518619 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1738/statm: 13733 11034 112 341 0 13389 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 76828

[startup+12.7005 s]
/proc/loadavg: 4.10 4.08 3.78 5/509 1738
/proc/meminfo: memFree=24361672/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 1516 0 0 0 1 0 0 0 23 0 1 0 895728611 22421504 1350 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 5474 1350 443 364 0 929 0
[pid=1738] ppid=1736 vsize=54932 CPUtime=12.65 cores=1,3
/proc/1738/stat : 1738 (features) R 1736 1736 637 0 -1 4202496 17399 0 0 0 1256 9 0 0 25 0 1 0 895728615 56250368 11034 33554432000 134512640 135907751 4293303360 18446744073709551615 134851293 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1738/statm: 13733 11034 112 341 0 13389 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 76828

[startup+25.5012 s]
/proc/loadavg: 4.08 4.07 3.78 5/512 1746
/proc/meminfo: memFree=24469328/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=34396 CPUtime=8.03 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 2459 48347 0 0 2 0 794 7 18 0 1 0 895728611 35221504 1407 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8599 1407 468 364 0 933 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1745] ppid=1736 vsize=8700 CPUtime=0 cores=1,3
/proc/1745/stat : 1745 (timerun) S 1736 1736 637 0 -1 4202496 746 0 0 0 0 0 0 0 20 0 1 0 895731118 8908800 248 33554432000 4194304 4922060 140734690072672 18446744073709551615 260905213061 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1745/statm: 2175 248 208 178 0 68 0
[pid=1746] ppid=1745 vsize=36456 CPUtime=0.42 cores=1,3
/proc/1746/stat : 1746 (precosat) R 1745 1736 637 0 -1 4202496 8757 0 0 0 41 1 0 0 22 0 1 0 895731118 37330944 8713 33554432000 134512640 135142049 4294548432 18446744073709551615 134767371 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/1746/statm: 9114 8714 62 154 0 8958 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 79552

[startup+51.1005 s]
/proc/loadavg: 4.11 4.08 3.79 5/512 1760
/proc/meminfo: memFree=24362296/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=34396 CPUtime=32.07 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 3467 252660 0 0 2 0 3165 40 18 0 1 0 895728611 35221504 1407 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8599 1407 468 364 0 933 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1759] ppid=1736 vsize=8700 CPUtime=0 cores=1,3
/proc/1759/stat : 1759 (timerun) S 1736 1736 637 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 895733524 8908800 248 33554432000 4194304 4922060 140736244457088 18446744073709551615 260905213061 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/1759/statm: 2175 248 208 178 0 68 0
[pid=1760] ppid=1759 vsize=58716 CPUtime=1.96 cores=1,3
/proc/1760/stat : 1760 (mxc-sat09) R 1759 1736 637 0 -1 4202496 18332 0 0 0 194 2 0 0 25 0 1 0 895733524 60125184 13183 33554432000 134512640 134581694 4287253888 18446744073709551615 134565958 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1760/statm: 14679 13183 190 17 0 14026 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 101812

[startup+102.319 s]
/proc/loadavg: 4.09 4.08 3.81 5/512 1765
/proc/meminfo: memFree=24303008/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=34396 CPUtime=40.23 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 3712 285632 0 0 2 0 3973 48 18 0 1 0 895728611 35221504 1408 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8599 1408 469 364 0 933 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1763] ppid=1736 vsize=8700 CPUtime=0 cores=1,3
/proc/1763/stat : 1763 (timerun) S 1736 1736 637 0 -1 4202496 745 0 0 0 0 0 0 0 19 0 1 0 895734341 8908800 248 33554432000 4194304 4922060 140735747774352 18446744073709551615 260905213061 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/1763/statm: 2175 248 208 178 0 68 0
[pid=1764] ppid=1763 vsize=57896 CPUtime=45.01 cores=1,3
/proc/1764/stat : 1764 (lingeling) R 1763 1736 637 0 -1 4202496 26557 0 0 0 4497 4 0 0 25 0 1 0 895734341 59285504 14156 33554432000 134512640 134650204 4289810800 18446744073709551615 134547413 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1764/statm: 14474 14156 112 34 0 14089 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 100992

[startup+162.301 s]
/proc/loadavg: 4.10 4.09 3.82 5/512 1766
/proc/meminfo: memFree=24255880/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=34396 CPUtime=40.23 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 3712 285632 0 0 2 0 3973 48 18 0 1 0 895728611 35221504 1408 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8599 1408 469 364 0 933 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1763] ppid=1736 vsize=8700 CPUtime=0 cores=1,3
/proc/1763/stat : 1763 (timerun) S 1736 1736 637 0 -1 4202496 745 0 0 0 0 0 0 0 19 0 1 0 895734341 8908800 248 33554432000 4194304 4922060 140735747774352 18446744073709551615 260905213061 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/1763/statm: 2175 248 208 178 0 68 0
[pid=1764] ppid=1763 vsize=58372 CPUtime=104.99 cores=1,3
/proc/1764/stat : 1764 (lingeling) R 1763 1736 637 0 -1 4202496 35112 0 0 0 10494 5 0 0 25 0 1 0 895734341 59772928 14275 33554432000 134512640 134650204 4289810800 18446744073709551615 134583869 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1764/statm: 14593 14275 112 34 0 14208 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 101468

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

[startup+166.3 s]
/proc/loadavg: 4.17 4.11 3.83 5/512 1766
/proc/meminfo: memFree=24241984/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=35524 CPUtime=40.47 cores=1,3
/proc/1736/stat : 1736 (python) R 1734 1736 637 0 -1 4202496 4481 285632 0 0 24 2 3973 48 18 0 1 0 895728611 36376576 1702 33554432000 4194304 5683644 140734133304800 18446744073709551615 4539777 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1736/statm: 8881 1702 469 364 0 1215 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1763] ppid=1736 vsize=0 CPUtime=108.75 cores=1,3
/proc/1763/stat : 1763 (timerun) Z 1736 1736 637 0 -1 4202524 753 35445 0 0 0 0 10870 5 18 0 1 0 895734341 0 0 33554432000 0 0 0 0 0 0 0 16781316 65536 18446744073709551615 0 0 17 1 0 0 0
/proc/1763/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 166.2
Current children cumulated vsize (KiB) 35524

[startup+169.501 s]
/proc/loadavg: 4.17 4.11 3.83 5/511 1768
/proc/meminfo: memFree=24227484/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=35528 CPUtime=149.59 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 4586 321830 0 0 56 5 14844 54 19 0 1 0 895728611 36380672 1700 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8882 1700 469 364 0 1216 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1767] ppid=1736 vsize=38028 CPUtime=2.84 cores=1,3
/proc/1767/stat : 1767 (lingeling) R 1736 1736 637 0 -1 4202496 9811 0 0 0 281 3 0 0 25 0 1 0 895745276 38940672 9190 33554432000 134512640 134650204 4291632784 18446744073709551615 134544786 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1767/statm: 9507 9190 98 34 0 9122 0
Current children cumulated CPU time (s) 169.41
Current children cumulated vsize (KiB) 73556

[startup+170.301 s]
/proc/loadavg: 4.17 4.11 3.83 5/511 1768
/proc/meminfo: memFree=24227484/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=35528 CPUtime=149.59 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 4586 321830 0 0 56 5 14844 54 19 0 1 0 895728611 36380672 1700 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8882 1700 469 364 0 1216 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1767] ppid=1736 vsize=38028 CPUtime=3.64 cores=1,3
/proc/1767/stat : 1767 (lingeling) R 1736 1736 637 0 -1 4202496 9811 0 0 0 361 3 0 0 25 0 1 0 895745276 38940672 9190 33554432000 134512640 134650204 4291632784 18446744073709551615 134544796 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1767/statm: 9507 9190 98 34 0 9122 0
Current children cumulated CPU time (s) 170.21
Current children cumulated vsize (KiB) 73556

[startup+170.701 s]
/proc/loadavg: 4.16 4.10 3.83 5/511 1768
/proc/meminfo: memFree=24224260/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=35528 CPUtime=149.59 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 4586 321830 0 0 56 5 14844 54 19 0 1 0 895728611 36380672 1700 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8882 1700 469 364 0 1216 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1767] ppid=1736 vsize=38028 CPUtime=4.04 cores=1,3
/proc/1767/stat : 1767 (lingeling) R 1736 1736 637 0 -1 4202496 9811 0 0 0 401 3 0 0 25 0 1 0 895745276 38940672 9190 33554432000 134512640 134650204 4291632784 18446744073709551615 134544837 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1767/statm: 9507 9190 98 34 0 9122 0
Current children cumulated CPU time (s) 170.61
Current children cumulated vsize (KiB) 73556

[startup+170.901 s]
/proc/loadavg: 4.16 4.10 3.83 5/511 1768
/proc/meminfo: memFree=24224260/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=35528 CPUtime=149.59 cores=1,3
/proc/1736/stat : 1736 (python) S 1734 1736 637 0 -1 4202496 4586 321830 0 0 56 5 14844 54 19 0 1 0 895728611 36380672 1700 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905393920 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1736/statm: 8882 1700 469 364 0 1216 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1767] ppid=1736 vsize=38028 CPUtime=4.24 cores=1,3
/proc/1767/stat : 1767 (lingeling) R 1736 1736 637 0 -1 4202496 9811 0 0 0 421 3 0 0 25 0 1 0 895745276 38940672 9190 33554432000 134512640 134650204 4291632784 18446744073709551615 134544778 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1767/statm: 9507 9190 98 34 0 9122 0
Current children cumulated CPU time (s) 170.81
Current children cumulated vsize (KiB) 73556

[startup+171.001 s]
/proc/loadavg: 4.16 4.10 3.83 5/511 1768
/proc/meminfo: memFree=24224260/32950928 swapFree=61542356/67111528
[pid=1736] ppid=1734 vsize=35656 CPUtime=149.6 cores=1,3
/proc/1736/stat : 1736 (python) R 1734 1736 637 0 -1 4202496 4991 321830 0 0 57 5 14844 54 18 0 1 0 895728611 36511744 1743 33554432000 4194304 5683644 140734133304800 18446744073709551615 260905399863 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1736/statm: 8914 1743 469 364 0 1248 0
[pid=1738] ppid=1736 vsize=0 CPUtime=16.66 cores=1,3
/proc/1738/stat : 1738 (features) Z 1736 1736 637 0 -1 4202524 19749 0 0 0 1656 10 0 0 25 0 1 0 895728615 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1738/statm: 0 0 0 0 0 0 0
[pid=1739] ppid=1736 vsize=0 CPUtime=0.32 cores=1,3
/proc/1739/stat : 1739 (coach) Z 1736 1736 637 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895730282 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 0 0 0 0 0 0 0
[pid=1767] ppid=1736 vsize=0 CPUtime=4.32 cores=1,3
/proc/1767/stat : 1767 (lingeling) Z 1736 1736 637 0 -1 4202524 9833 0 0 0 429 3 0 0 25 0 1 0 895745276 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/1767/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 170.9
Current children cumulated vsize (KiB) 35656

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1736 and gives
#  childrusage.ru_utime.tv_sec=165
#  childrusage.ru_utime.tv_usec=900779
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=723889
# CPU time returned by wait4() is 166.625
# while last known CPU time is 170.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 171.004
CPU time (s): 170.9
CPU user time (s): 170.17
CPU system time (s): 0.73
CPU usage (%): 99.9394
Max. virtual memory (cumulated for all children) (KiB): 3724548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 165.901
system time used= 0.723889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350857
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= 338
involuntary context switches= 512

runsolver used 0.811876 second user time and 2.00069 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-03 00:49:39
IDJOB=3449749
IDBENCH=83475
IDSOLVER=1947
FILE ID=node116/3449749-1307054978
RUNJOBID= node116-1307052490-657
PBS_JOBID= 13497814
Free space on /tmp= 73580 MiB

SOLVER NAME= Coach 2011-03-18 (1200 s timeout)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= python portfolio_solver.py -t TIMELIMIT -s RANDOMSEED  BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3449749-1307054978/watcher-3449749-1307054978 -o /tmp/evaluation-result-3449749-1307054978/solver-3449749-1307054978 -C 1200 -W 1300 -M 7680  python portfolio_solver.py -t 1200 -s 120367807  HOME/instance-3449749-1307054978.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=120367807

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24430600 kB
Buffers:        192888 kB
Cached:         421932 kB
SwapCached:      12572 kB
Active:        8057816 kB
Inactive:       197640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24430600 kB
SwapTotal:    67111528 kB
SwapFree:     61542356 kB
Dirty:           55796 kB
Writeback:           0 kB
AnonPages:     7638812 kB
Mapped:          25524 kB
Slab:           132584 kB
PageTables:      64768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 140770208 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= 73548 MiB
End job on node116 at 2011-06-03 00:52:30