Trace number 3450155

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Satisfiability Solver Selector 2011-03-18SAT 456.58 456.829

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.06 2.06 2.00 2/528 12014
/proc/meminfo: memFree=20520156/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/12014/stat : 12014 (python) R 12012 12014 11603 0 -1 4202496 870 0 0 0 0 0 0 0 25 0 1 0 817864125 16150528 752 33554432000 4194304 5683644 140733797933600 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12014/statm: 3943 752 343 364 0 430 0

[startup+0.0651559 s]
/proc/loadavg: 2.06 2.06 2.00 2/528 12014
/proc/meminfo: memFree=20520156/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+0.101149 s]
/proc/loadavg: 2.06 2.06 2.00 2/528 12014
/proc/meminfo: memFree=20520156/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+0.301106 s]
/proc/loadavg: 2.06 2.06 2.00 2/528 12014
/proc/meminfo: memFree=20520156/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+0.701065 s]
/proc/loadavg: 2.06 2.06 2.00 2/528 12014
/proc/meminfo: memFree=20520156/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+1.50092 s]
/proc/loadavg: 2.06 2.06 2.00 3/530 12016
/proc/meminfo: memFree=20509600/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
[pid=12016] ppid=12014 vsize=8364 CPUtime=1.46 cores=0,2,4,6
/proc/12016/stat : 12016 (features) R 12014 12014 11603 0 -1 4202496 2648 0 0 0 145 1 0 0 25 0 1 0 817864128 8564736 1532 33554432000 134512640 135907751 4292000672 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/12016/statm: 2091 1532 111 341 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30256

[startup+3.10063 s]
/proc/loadavg: 2.06 2.06 2.00 3/530 12016
/proc/meminfo: memFree=20508236/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
[pid=12016] ppid=12014 vsize=38468 CPUtime=3.06 cores=0,2,4,6
/proc/12016/stat : 12016 (features) R 12014 12014 11603 0 -1 4202496 10917 0 0 0 303 3 0 0 25 0 1 0 817864128 39391232 8896 33554432000 134512640 135907751 4292000672 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/12016/statm: 9617 8896 112 341 0 9273 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 60360

[startup+6.30102 s]
/proc/loadavg: 2.06 2.05 2.00 3/530 12016
/proc/meminfo: memFree=20486104/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
[pid=12016] ppid=12014 vsize=36148 CPUtime=6.26 cores=0,2,4,6
/proc/12016/stat : 12016 (features) R 12014 12014 11603 0 -1 4202496 11514 0 0 0 622 4 0 0 25 0 1 0 817864128 37015552 6892 33554432000 134512640 135907751 4292000672 18446744073709551615 134518619 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/12016/statm: 9037 6892 112 341 0 8693 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58040

[startup+12.7009 s]
/proc/loadavg: 2.21 2.09 2.01 3/530 12016
/proc/meminfo: memFree=20486980/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 1515 0 0 0 1 0 0 0 25 0 1 0 817864125 22417408 1349 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 5473 1349 443 364 0 928 0
[pid=12016] ppid=12014 vsize=36148 CPUtime=12.66 cores=0,2,4,6
/proc/12016/stat : 12016 (features) R 12014 12014 11603 0 -1 4202496 11514 0 0 0 1262 4 0 0 25 0 1 0 817864128 37015552 6892 33554432000 134512640 135907751 4292000672 18446744073709551615 134518976 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/12016/statm: 9037 6892 112 341 0 8693 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 58040

[startup+25.5006 s]
/proc/loadavg: 2.16 2.08 2.01 3/533 12020
/proc/meminfo: memFree=20444168/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=0.02 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 2167 0 0 0 2 0 0 0 18 0 1 0 817864125 35217408 1407 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/12014/statm: 8598 1407 468 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12019] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12019/stat : 12019 (timerun) S 12014 12014 11603 0 -1 4202496 756 0 0 0 0 0 0 0 17 0 1 0 817865575 8908800 248 33554432000 4194304 4922060 140736558258432 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/12019/statm: 2175 248 208 178 0 68 0
[pid=12020] ppid=12019 vsize=103288 CPUtime=10.91 cores=0,2,4,6
/proc/12020/stat : 12020 (cryptominisat) R 12019 12014 11603 0 -1 4202496 21100 0 0 0 1089 2 0 0 25 0 1 0 817865576 105766912 18287 33554432000 134512640 134994940 4292102880 18446744073709551615 3941884 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12020/statm: 25822 18287 358 118 0 25007 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 146380

[startup+51.101 s]
/proc/loadavg: 2.11 2.08 2.01 3/533 12025
/proc/meminfo: memFree=20471860/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=25.02 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 2461 40072 0 0 2 0 2495 5 18 0 1 0 817864125 35217408 1408 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8598 1408 468 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12023] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (timerun) S 12014 12014 11603 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817868084 8908800 247 33554432000 4194304 4922060 140734226730304 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/12023/statm: 2175 247 208 178 0 68 0
[pid=12024] ppid=12023 vsize=43124 CPUtime=11.5 cores=0,2,4,6
/proc/12024/stat : 12024 (precosat) R 12023 12014 11603 0 -1 4202496 11731 0 0 0 1149 1 0 0 25 0 1 0 817868084 44158976 10567 33554432000 134512640 135142049 4292383936 18446744073709551615 134555767 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/12024/statm: 10781 10567 82 154 0 10625 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 86216

[startup+102.32 s]
/proc/loadavg: 2.09 2.08 2.01 3/533 12026
/proc/meminfo: memFree=20467232/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=25.02 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 2461 40072 0 0 2 0 2495 5 18 0 1 0 817864125 35217408 1408 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8598 1408 468 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12023] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (timerun) S 12014 12014 11603 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817868084 8908800 247 33554432000 4194304 4922060 140734226730304 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/12023/statm: 2175 247 208 178 0 68 0
[pid=12024] ppid=12023 vsize=48272 CPUtime=62.72 cores=0,2,4,6
/proc/12024/stat : 12024 (precosat) R 12023 12014 11603 0 -1 4202496 13025 0 0 0 6270 2 0 0 25 0 1 0 817868084 49430528 11808 33554432000 134512640 135142049 4292383936 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/12024/statm: 12068 11808 82 154 0 11912 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 91364

[startup+162.301 s]
/proc/loadavg: 2.03 2.06 2.00 3/533 12027
/proc/meminfo: memFree=20458388/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=25.02 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 2461 40072 0 0 2 0 2495 5 18 0 1 0 817864125 35217408 1408 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8598 1408 468 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12023] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (timerun) S 12014 12014 11603 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817868084 8908800 247 33554432000 4194304 4922060 140734226730304 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/12023/statm: 2175 247 208 178 0 68 0
[pid=12024] ppid=12023 vsize=55652 CPUtime=122.7 cores=0,2,4,6
/proc/12024/stat : 12024 (precosat) R 12023 12014 11603 0 -1 4202496 14970 0 0 0 12268 2 0 0 25 0 1 0 817868084 56987648 13678 33554432000 134512640 135142049 4292383936 18446744073709551615 134550107 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/12024/statm: 13913 13678 82 154 0 13757 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 98744

[startup+222.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/533 12040
/proc/meminfo: memFree=19962812/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=153.01 cores=0,2,4,6

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


[startup+435.101 s]
/proc/loadavg: 2.10 2.05 2.01 3/533 12066
/proc/meminfo: memFree=20342948/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=391.38 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 3709 481954 0 0 2 0 39057 79 18 0 1 0 817864125 35217408 1409 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8598 1409 469 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12064] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12064/stat : 12064 (timerun) S 12014 12014 11603 0 -1 4202496 747 0 0 0 0 0 0 0 18 0 1 0 817904723 8908800 248 33554432000 4194304 4922060 140733508191248 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/12064/statm: 2175 248 208 178 0 68 0
[pid=12065] ppid=12064 vsize=49564 CPUtime=29.1 cores=0,2,4,6
/proc/12065/stat : 12065 (lingeling) R 12064 12014 11603 0 -1 4202496 33591 0 0 0 2906 4 0 0 25 0 1 0 817904723 50753536 12105 33554432000 134512640 134650204 4288700528 18446744073709551615 134525056 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12065/statm: 12391 12105 112 34 0 12006 0
Current children cumulated CPU time (s) 434.9
Current children cumulated vsize (KiB) 92656

[startup+447.901 s]
/proc/loadavg: 2.07 2.04 2.01 3/533 12066
/proc/meminfo: memFree=20337248/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=391.38 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 3709 481954 0 0 2 0 39057 79 18 0 1 0 817864125 35217408 1409 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8598 1409 469 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12064] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12064/stat : 12064 (timerun) S 12014 12014 11603 0 -1 4202496 747 0 0 0 0 0 0 0 18 0 1 0 817904723 8908800 248 33554432000 4194304 4922060 140733508191248 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/12064/statm: 2175 248 208 178 0 68 0
[pid=12065] ppid=12064 vsize=34836 CPUtime=41.9 cores=0,2,4,6
/proc/12065/stat : 12065 (lingeling) R 12064 12014 11603 0 -1 4202496 39487 0 0 0 4185 5 0 0 25 0 1 0 817904723 35672064 8423 33554432000 134512640 134650204 4288700528 18446744073709551615 134610681 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12065/statm: 8709 8423 112 34 0 8324 0
Current children cumulated CPU time (s) 447.7
Current children cumulated vsize (KiB) 77928

[startup+451.101 s]
/proc/loadavg: 2.07 2.04 2.01 3/533 12066
/proc/meminfo: memFree=20336880/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=391.38 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 3709 481954 0 0 2 0 39057 79 18 0 1 0 817864125 35217408 1409 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8598 1409 469 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12064] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12064/stat : 12064 (timerun) S 12014 12014 11603 0 -1 4202496 747 0 0 0 0 0 0 0 18 0 1 0 817904723 8908800 248 33554432000 4194304 4922060 140733508191248 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/12064/statm: 2175 248 208 178 0 68 0
[pid=12065] ppid=12064 vsize=36212 CPUtime=45.11 cores=0,2,4,6
/proc/12065/stat : 12065 (lingeling) R 12064 12014 11603 0 -1 4202496 40183 0 0 0 4505 6 0 0 25 0 1 0 817904723 37081088 8767 33554432000 134512640 134650204 4288700528 18446744073709551615 134546557 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12065/statm: 9053 8767 112 34 0 8668 0
Current children cumulated CPU time (s) 450.91
Current children cumulated vsize (KiB) 79304

[startup+454.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/533 12066
/proc/meminfo: memFree=20336284/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=34392 CPUtime=391.38 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 3709 481954 0 0 2 0 39057 79 18 0 1 0 817864125 35217408 1409 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8598 1409 469 364 0 932 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12064] ppid=12014 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12064/stat : 12064 (timerun) S 12014 12014 11603 0 -1 4202496 747 0 0 0 0 0 0 0 18 0 1 0 817904723 8908800 248 33554432000 4194304 4922060 140733508191248 18446744073709551615 218905549957 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/12064/statm: 2175 248 208 178 0 68 0
[pid=12065] ppid=12064 vsize=33684 CPUtime=48.33 cores=0,2,4,6
/proc/12065/stat : 12065 (lingeling) R 12064 12014 11603 0 -1 4202496 44471 0 0 0 4827 6 0 0 25 0 1 0 817904723 34492416 8135 33554432000 134512640 134650204 4288700528 18446744073709551615 134630256 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12065/statm: 8421 8135 112 34 0 8036 0
Current children cumulated CPU time (s) 454.13
Current children cumulated vsize (KiB) 76776

[startup+455.901 s]
/proc/loadavg: 2.07 2.04 2.01 3/532 12067
/proc/meminfo: memFree=20339264/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=35512 CPUtime=440.48 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 4553 527288 0 0 37 3 43922 86 19 0 1 0 817864125 36364288 1663 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8878 1663 469 364 0 1212 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12067] ppid=12014 vsize=29768 CPUtime=0.78 cores=0,2,4,6
/proc/12067/stat : 12067 (lingeling) R 12014 12014 11603 0 -1 4202496 9586 0 0 0 77 1 0 0 21 0 1 0 817909634 30482432 7117 33554432000 134512640 134650204 4288341456 18446744073709551615 134544837 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12067/statm: 7442 7117 98 34 0 7057 0
Current children cumulated CPU time (s) 455.68
Current children cumulated vsize (KiB) 65280

[startup+456.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/532 12067
/proc/meminfo: memFree=20339264/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=35512 CPUtime=440.48 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 4553 527288 0 0 37 3 43922 86 19 0 1 0 817864125 36364288 1663 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8878 1663 469 364 0 1212 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12067] ppid=12014 vsize=29768 CPUtime=1.18 cores=0,2,4,6
/proc/12067/stat : 12067 (lingeling) R 12014 12014 11603 0 -1 4202496 9586 0 0 0 117 1 0 0 22 0 1 0 817909634 30482432 7117 33554432000 134512640 134650204 4288341456 18446744073709551615 134544816 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/12067/statm: 7442 7117 98 34 0 7057 0
Current children cumulated CPU time (s) 456.08
Current children cumulated vsize (KiB) 65280

[startup+456.701 s]
/proc/loadavg: 2.07 2.04 2.01 3/532 12067
/proc/meminfo: memFree=20328352/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=35512 CPUtime=440.48 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 4553 527288 0 0 37 3 43922 86 19 0 1 0 817864125 36364288 1663 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8878 1663 469 364 0 1212 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12067] ppid=12014 vsize=29768 CPUtime=1.58 cores=0,2,4,6
/proc/12067/stat : 12067 (lingeling) R 12014 12014 11603 0 -1 4202496 9586 0 0 0 157 1 0 0 24 0 1 0 817909634 30482432 7117 33554432000 134512640 134650204 4288341456 18446744073709551615 134544776 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12067/statm: 7442 7117 98 34 0 7057 0
Current children cumulated CPU time (s) 456.48
Current children cumulated vsize (KiB) 65280

[startup+456.801 s]
/proc/loadavg: 2.07 2.04 2.01 3/532 12067
/proc/meminfo: memFree=20328352/32951124 swapFree=56930356/67111528
[pid=12014] ppid=12012 vsize=35512 CPUtime=440.48 cores=0,2,4,6
/proc/12014/stat : 12014 (python) S 12012 12014 11603 0 -1 4202496 4553 527288 0 0 37 3 43922 86 19 0 1 0 817864125 36364288 1663 33554432000 4194304 5683644 140733797933600 18446744073709551615 218905730816 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/12014/statm: 8878 1663 469 364 0 1212 0
[pid=12016] ppid=12014 vsize=0 CPUtime=14.07 cores=0,2,4,6
/proc/12016/stat : 12016 (features) Z 12014 12014 11603 0 -1 4202524 12967 0 0 0 1402 5 0 0 25 0 1 0 817864128 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12016/statm: 0 0 0 0 0 0 0
[pid=12018] ppid=12014 vsize=0 CPUtime=0.35 cores=0,2,4,6
/proc/12018/stat : 12018 (coach) Z 12014 12014 11603 0 -1 4202524 3928 0 0 0 35 0 0 0 20 0 1 0 817865536 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12018/statm: 0 0 0 0 0 0 0
[pid=12067] ppid=12014 vsize=27784 CPUtime=1.68 cores=0,2,4,6
/proc/12067/stat : 12067 (lingeling) R 12014 12014 11603 0 -1 4202496 9589 0 0 0 167 1 0 0 25 0 1 0 817909634 28450816 6624 33554432000 134512640 134650204 4288341456 18446744073709551615 134560884 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/12067/statm: 6946 6624 101 34 0 6561 0
Current children cumulated CPU time (s) 456.58
Current children cumulated vsize (KiB) 63296

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12014 and gives
#  childrusage.ru_utime.tv_sec=453
#  childrusage.ru_utime.tv_usec=997981
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=967852
# CPU time returned by wait4() is 454.966
# while last known CPU time is 456.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 456.829
CPU time (s): 456.58
CPU user time (s): 455.63
CPU system time (s): 0.95
CPU usage (%): 99.9455
Max. virtual memory (cumulated for all children) (KiB): 1470284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 453.998
system time used= 0.967852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549673
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= 355
involuntary context switches= 4415

runsolver used 2.6086 second user time and 5.2612 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-03 02:57:44
IDJOB=3450155
IDBENCH=83443
IDSOLVER=1635
FILE ID=node137/3450155-1307062664
RUNJOBID= node137-1307058811-11621
PBS_JOBID= 13497849
Free space on /tmp= 70284 MiB

SOLVER NAME= Coach 2011-03-18
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-3450155-1307062664/watcher-3450155-1307062664 -o /tmp/evaluation-result-3450155-1307062664/solver-3450155-1307062664 -C 5000 -W 5100 -M 15500  python portfolio_solver.py -t 5000 -s 490377332  HOME/instance-3450155-1307062664.cnf

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=490377332

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.83
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.844
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:     32951124 kB
MemFree:      20520312 kB
Buffers:        207628 kB
Cached:        3716652 kB
SwapCached:      12308 kB
Active:        8514592 kB
Inactive:      3575028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20520312 kB
SwapTotal:    67111528 kB
SwapFree:     56930356 kB
Dirty:           46240 kB
Writeback:           0 kB
AnonPages:     8162496 kB
Mapped:          23340 kB
Slab:           196512 kB
PageTables:      75040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162894484 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= 70248 MiB
End job on node137 at 2011-06-03 03:05:21