Trace number 3449737

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 98.71 98.8142

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

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

[startup+0.0225381 s]
/proc/loadavg: 3.97 4.07 3.76 4/539 1026
/proc/meminfo: memFree=23173004/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=16396 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) R 1024 1026 32266 0 -1 4202496 1147 0 0 0 1 0 0 0 17 0 1 0 895724467 16789504 1013 33554432000 4194304 5683644 140737053485920 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1026/statm: 4099 1013 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396

[startup+0.100594 s]
/proc/loadavg: 3.97 4.07 3.76 4/539 1026
/proc/meminfo: memFree=23173004/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 895724467 22421504 1349 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 5474 1349 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.300543 s]
/proc/loadavg: 3.97 4.07 3.76 4/539 1026
/proc/meminfo: memFree=23173004/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 895724467 22421504 1349 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 5474 1349 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+0.700471 s]
/proc/loadavg: 3.97 4.07 3.76 4/539 1026
/proc/meminfo: memFree=23173004/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 895724467 22421504 1349 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 5474 1349 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896

[startup+1.50032 s]
/proc/loadavg: 3.97 4.07 3.76 5/541 1028
/proc/meminfo: memFree=23159596/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 895724467 22421504 1349 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 5474 1349 443 364 0 929 0
[pid=1028] ppid=1026 vsize=8364 CPUtime=1.46 cores=1,3
/proc/1028/stat : 1028 (features) R 1026 1026 32266 0 -1 4202496 2647 0 0 0 144 2 0 0 21 0 1 0 895724470 8564736 1530 33554432000 134512640 135907751 4287613936 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1028/statm: 2091 1530 111 341 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30260

[startup+3.10102 s]
/proc/loadavg: 3.97 4.07 3.76 5/541 1030
/proc/meminfo: memFree=23163524/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 895724467 22421504 1349 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 5474 1349 443 364 0 929 0
[pid=1028] ppid=1026 vsize=38468 CPUtime=3.06 cores=1,3
/proc/1028/stat : 1028 (features) R 1026 1026 32266 0 -1 4202496 10915 0 0 0 298 8 0 0 25 0 1 0 895724470 39391232 8893 33554432000 134512640 135907751 4287613936 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1028/statm: 9617 8893 112 341 0 9273 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 60364

[startup+6.3004 s]
/proc/loadavg: 3.97 4.07 3.76 5/541 1032
/proc/meminfo: memFree=23139852/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 895724467 22421504 1349 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 5474 1349 443 364 0 929 0
[pid=1028] ppid=1026 vsize=36148 CPUtime=6.26 cores=1,3
/proc/1028/stat : 1028 (features) R 1026 1026 32266 0 -1 4202496 11515 0 0 0 618 8 0 0 25 0 1 0 895724470 37015552 6892 33554432000 134512640 135907751 4287613936 18446744073709551615 134518639 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1028/statm: 9037 6892 112 341 0 8693 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58044

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 3.76 5/541 1036
/proc/meminfo: memFree=23137156/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=21896 CPUtime=0.01 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 895724467 22421504 1349 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 5474 1349 443 364 0 929 0
[pid=1028] ppid=1026 vsize=36148 CPUtime=12.66 cores=1,3
/proc/1028/stat : 1028 (features) R 1026 1026 32266 0 -1 4202496 11515 0 0 0 1258 8 0 0 25 0 1 0 895724470 37015552 6892 33554432000 134512640 135907751 4287613936 18446744073709551615 134524781 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/1028/statm: 9037 6892 112 341 0 8693 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 58044

[startup+25.5007 s]
/proc/loadavg: 4.04 4.08 3.77 5/544 1046
/proc/meminfo: memFree=23125732/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=34396 CPUtime=8.02 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 2460 29660 0 0 2 0 797 3 19 0 1 0 895724467 35221504 1406 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8599 1406 468 364 0 933 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1045] ppid=1026 vsize=8700 CPUtime=0 cores=1,3
/proc/1045/stat : 1045 (timerun) S 1026 1026 32266 0 -1 4202496 744 0 0 0 0 0 0 0 18 0 1 0 895726721 8908800 247 33554432000 4194304 4922060 140736095566768 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/1045/statm: 2175 247 208 178 0 68 0
[pid=1046] ppid=1045 vsize=43124 CPUtime=2.94 cores=1,3
/proc/1046/stat : 1046 (precosat) R 1045 1026 32266 0 -1 4202496 11723 0 0 0 293 1 0 0 25 0 1 0 895726721 44158976 10559 33554432000 134512640 135142049 4291459008 18446744073709551615 134528184 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/1046/statm: 10781 10559 82 154 0 10625 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 86220

[startup+51.1009 s]
/proc/loadavg: 4.03 4.08 3.77 5/544 1060
/proc/meminfo: memFree=23137560/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=34384 CPUtime=32.06 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 3525 159874 0 0 2 1 3181 22 18 0 1 0 895724467 35209216 1408 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415210629 0 65536 16781318 0 18446744071562232103 0 0 17 1 0 0 0
/proc/1026/statm: 8596 1408 469 364 0 930 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1059] ppid=1026 vsize=0 CPUtime=3.99 cores=1,3
/proc/1059/stat : 1059 (timerun) Z 1026 1026 32266 0 -1 4202524 755 10237 0 0 0 0 398 1 18 0 1 0 895729126 0 0 33554432000 0 0 0 0 0 0 0 16781316 65536 18446744073709551615 0 0 17 1 0 0 0
/proc/1059/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 34384

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

[startup+76.701 s]
/proc/loadavg: 4.08 4.08 3.78 5/544 1064
/proc/meminfo: memFree=23107492/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=34396 CPUtime=37.27 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 3725 179045 0 0 2 1 3697 27 18 0 1 0 895724467 35221504 1408 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8599 1408 469 364 0 933 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1063] ppid=1026 vsize=8700 CPUtime=0 cores=1,3
/proc/1063/stat : 1063 (timerun) S 1026 1026 32266 0 -1 4202496 744 0 0 0 0 0 0 0 18 0 1 0 895729648 8908800 247 33554432000 4194304 4922060 140735437992304 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1063/statm: 2175 247 208 178 0 68 0
[pid=1064] ppid=1063 vsize=33312 CPUtime=24.88 cores=1,3
/proc/1064/stat : 1064 (lingeling) R 1063 1026 32266 0 -1 4202496 28827 0 0 0 2484 4 0 0 25 0 1 0 895729648 34111488 8041 33554432000 134512640 134650204 4288974288 18446744073709551615 134630335 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1064/statm: 8328 8041 112 34 0 7943 0
Current children cumulated CPU time (s) 76.62
Current children cumulated vsize (KiB) 76408

[startup+89.5005 s]
/proc/loadavg: 4.06 4.08 3.79 5/544 1065
/proc/meminfo: memFree=23106312/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=34396 CPUtime=37.27 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 3725 179045 0 0 2 1 3697 27 18 0 1 0 895724467 35221504 1408 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8599 1408 469 364 0 933 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1063] ppid=1026 vsize=8700 CPUtime=0 cores=1,3
/proc/1063/stat : 1063 (timerun) S 1026 1026 32266 0 -1 4202496 744 0 0 0 0 0 0 0 18 0 1 0 895729648 8908800 247 33554432000 4194304 4922060 140735437992304 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1063/statm: 2175 247 208 178 0 68 0
[pid=1064] ppid=1063 vsize=50452 CPUtime=37.68 cores=1,3
/proc/1064/stat : 1064 (lingeling) R 1063 1026 32266 0 -1 4202496 39293 0 0 0 3763 5 0 0 25 0 1 0 895729648 51662848 12326 33554432000 134512640 134650204 4288974288 18446744073709551615 134524703 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1064/statm: 12613 12326 112 34 0 12228 0
Current children cumulated CPU time (s) 89.42
Current children cumulated vsize (KiB) 93548

[startup+92.7009 s]
/proc/loadavg: 4.06 4.08 3.79 5/544 1065
/proc/meminfo: memFree=23122680/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=34396 CPUtime=37.27 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 3725 179045 0 0 2 1 3697 27 18 0 1 0 895724467 35221504 1408 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8599 1408 469 364 0 933 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1063] ppid=1026 vsize=8700 CPUtime=0 cores=1,3
/proc/1063/stat : 1063 (timerun) S 1026 1026 32266 0 -1 4202496 744 0 0 0 0 0 0 0 18 0 1 0 895729648 8908800 247 33554432000 4194304 4922060 140735437992304 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1063/statm: 2175 247 208 178 0 68 0
[pid=1064] ppid=1063 vsize=34068 CPUtime=40.88 cores=1,3
/proc/1064/stat : 1064 (lingeling) R 1063 1026 32266 0 -1 4202496 39645 0 0 0 4083 5 0 0 25 0 1 0 895729648 34885632 8230 33554432000 134512640 134650204 4288974288 18446744073709551615 134630373 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1064/statm: 8517 8230 112 34 0 8132 0
Current children cumulated CPU time (s) 92.62
Current children cumulated vsize (KiB) 77164

[startup+95.9003 s]
/proc/loadavg: 4.06 4.08 3.79 5/544 1065
/proc/meminfo: memFree=23122740/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=34396 CPUtime=37.27 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 3725 179045 0 0 2 1 3697 27 18 0 1 0 895724467 35221504 1408 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8599 1408 469 364 0 933 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1063] ppid=1026 vsize=8700 CPUtime=0 cores=1,3
/proc/1063/stat : 1063 (timerun) S 1026 1026 32266 0 -1 4202496 744 0 0 0 0 0 0 0 18 0 1 0 895729648 8908800 247 33554432000 4194304 4922060 140735437992304 18446744073709551615 256415210629 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1063/statm: 2175 247 208 178 0 68 0
[pid=1064] ppid=1063 vsize=33428 CPUtime=44.09 cores=1,3
/proc/1064/stat : 1064 (lingeling) R 1063 1026 32266 0 -1 4202496 44405 0 0 0 4403 6 0 0 25 0 1 0 895729648 34230272 8070 33554432000 134512640 134650204 4288974288 18446744073709551615 134611752 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1064/statm: 8357 8070 112 34 0 7972 0
Current children cumulated CPU time (s) 95.83
Current children cumulated vsize (KiB) 76524

[startup+97.501 s]
/proc/loadavg: 4.06 4.08 3.79 5/544 1065
/proc/meminfo: memFree=23122740/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=35516 CPUtime=82.59 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 4568 224375 0 0 36 2 8188 33 19 0 1 0 895724467 36368384 1663 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8879 1663 469 364 0 1213 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 97.06
Current children cumulated vsize (KiB) 35516

[startup+98.3008 s]
/proc/loadavg: 4.06 4.08 3.79 5/543 1066
/proc/meminfo: memFree=23114936/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=35516 CPUtime=82.59 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 4568 224375 0 0 36 2 8188 33 19 0 1 0 895724467 36368384 1663 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8879 1663 469 364 0 1213 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1066] ppid=1026 vsize=29768 CPUtime=1.16 cores=1,3
/proc/1066/stat : 1066 (lingeling) R 1026 1026 32266 0 -1 4202496 9585 0 0 0 114 2 0 0 19 0 1 0 895734180 30482432 7118 33554432000 134512640 134650204 4287197392 18446744073709551615 134544791 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1066/statm: 7442 7118 98 34 0 7057 0
Current children cumulated CPU time (s) 98.22
Current children cumulated vsize (KiB) 65284

[startup+98.7008 s]
/proc/loadavg: 4.06 4.08 3.79 5/543 1066
/proc/meminfo: memFree=23114936/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=35516 CPUtime=82.59 cores=1,3
/proc/1026/stat : 1026 (python) S 1024 1026 32266 0 -1 4202496 4568 224375 0 0 36 2 8188 33 19 0 1 0 895724467 36368384 1663 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415391488 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/1026/statm: 8879 1663 469 364 0 1213 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1066] ppid=1026 vsize=29768 CPUtime=1.56 cores=1,3
/proc/1066/stat : 1066 (lingeling) R 1026 1026 32266 0 -1 4202496 9585 0 0 0 154 2 0 0 20 0 1 0 895734180 30482432 7118 33554432000 134512640 134650204 4287197392 18446744073709551615 134544832 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/1066/statm: 7442 7118 98 34 0 7057 0
Current children cumulated CPU time (s) 98.62
Current children cumulated vsize (KiB) 65284

[startup+98.8008 s]
/proc/loadavg: 4.06 4.08 3.79 5/543 1066
/proc/meminfo: memFree=23114936/32950928 swapFree=58671692/67111528
[pid=1026] ppid=1024 vsize=35660 CPUtime=82.59 cores=1,3
/proc/1026/stat : 1026 (python) R 1024 1026 32266 0 -1 4202496 4836 224375 0 0 36 2 8188 33 18 0 1 0 895724467 36515840 1694 33554432000 4194304 5683644 140737053485920 18446744073709551615 256415397431 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/1026/statm: 8915 1694 469 364 0 1249 0
[pid=1028] ppid=1026 vsize=0 CPUtime=14.15 cores=1,3
/proc/1028/stat : 1028 (features) Z 1026 1026 32266 0 -1 4202524 12968 0 0 0 1407 8 0 0 25 0 1 0 895724470 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1028/statm: 0 0 0 0 0 0 0
[pid=1038] ppid=1026 vsize=0 CPUtime=0.32 cores=1,3
/proc/1038/stat : 1038 (coach) Z 1026 1026 32266 0 -1 4202524 3736 0 0 0 31 1 0 0 20 0 1 0 895725886 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1038/statm: 0 0 0 0 0 0 0
[pid=1066] ppid=1026 vsize=0 CPUtime=1.65 cores=1,3
/proc/1066/stat : 1066 (lingeling) R 1026 1026 32266 0 -1 4202500 9607 0 0 0 163 2 0 0 20 0 1 0 895734180 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1066/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.71
Current children cumulated vsize (KiB) 35660

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1026 and gives
#  childrusage.ru_utime.tv_sec=96
#  childrusage.ru_utime.tv_usec=644307
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=468928
# CPU time returned by wait4() is 97.1132
# while last known CPU time is 98.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 98.8142
CPU time (s): 98.71
CPU user time (s): 98.25
CPU system time (s): 0.46
CPU usage (%): 99.8945
Max. virtual memory (cumulated for all children) (KiB): 1470288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.6443
system time used= 0.468928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246582
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= 249
involuntary context switches= 259

runsolver used 0.566913 second user time and 1.17282 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-03 00:48:58
IDJOB=3449737
IDBENCH=83443
IDSOLVER=1947
FILE ID=node115/3449737-1307054937
RUNJOBID= node115-1307052490-32286
PBS_JOBID= 13497815
Free space on /tmp= 73652 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1765321305

node115.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.811
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.62
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.811
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.811
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.811
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.811
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23173160 kB
Buffers:         82584 kB
Cached:         318128 kB
SwapCached:      65732 kB
Active:        1201904 kB
Inactive:      8337536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23173160 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:           53432 kB
Writeback:           0 kB
AnonPages:     9076980 kB
Mapped:          29796 kB
Slab:            90360 kB
PageTables:      76712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 152184564 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= 73616 MiB
End job on node115 at 2011-06-03 00:50:37