Trace number 3290642

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 452.21 452.397

General information on the benchmark

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

Solver Data 

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290642-1303778128/watcher-3290642-1303778128 -o /tmp/evaluation-result-3290642-1303778128/solver-3290642-1303778128 -C 2400 -W 1300 -M 7680 python portfolio_solver.py -t 2400 -s 1244483767 HOME/instance-3290642-1303778128.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 2.53 3.54 3.75 3/181 7692
/proc/meminfo: memFree=13390412/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=15140 CPUtime=0 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 617 0 0 0 0 0 0 0 25 0 1 0 568043549 15503360 515 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/7692/statm: 3785 515 304 379 0 258 0

[startup+0.00958504 s]
/proc/loadavg: 2.53 3.54 3.75 3/181 7692
/proc/meminfo: memFree=13390412/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=15244 CPUtime=0 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 739 0 0 0 0 0 0 0 17 0 1 0 568043549 15609856 630 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/7692/statm: 3811 630 333 379 0 284 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15244

[startup+0.100609 s]
/proc/loadavg: 2.53 3.54 3.75 3/181 7692
/proc/meminfo: memFree=13390412/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=21952 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 568043549 22478848 1366 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21952

[startup+0.300577 s]
/proc/loadavg: 2.53 3.54 3.75 3/181 7692
/proc/meminfo: memFree=13390412/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=21952 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 568043549 22478848 1366 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21952

[startup+0.70049 s]
/proc/loadavg: 2.53 3.54 3.75 3/181 7692
/proc/meminfo: memFree=13390412/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=21952 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 568043549 22478848 1366 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 5488 1366 463 379 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21952

[startup+1.50034 s]
/proc/loadavg: 2.53 3.54 3.75 3/183 7694
/proc/meminfo: memFree=13378244/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=21952 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 568043549 22478848 1366 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 5488 1366 463 379 0 929 0
[pid=7694] ppid=7692 vsize=8364 CPUtime=1.45 cores=5,7
/proc/7694/stat : 7694 (features) R 7692 7692 7045 0 -1 4202496 2643 0 0 0 141 4 0 0 21 0 1 0 568043553 8564736 1527 33554432000 134512640 135907751 4288122464 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/7694/statm: 2091 1527 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30316

[startup+3.10106 s]
/proc/loadavg: 2.53 3.54 3.75 3/183 7694
/proc/meminfo: memFree=13379856/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=21952 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 568043549 22478848 1366 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 5488 1366 463 379 0 929 0
[pid=7694] ppid=7692 vsize=38468 CPUtime=3.05 cores=5,7
/proc/7694/stat : 7694 (features) R 7692 7692 7045 0 -1 4202496 10912 0 0 0 294 11 0 0 25 0 1 0 568043553 39391232 8891 33554432000 134512640 135907751 4288122464 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/7694/statm: 9617 8891 112 341 0 9273 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60420

[startup+6.30046 s]
/proc/loadavg: 2.49 3.51 3.74 3/183 7694
/proc/meminfo: memFree=13357964/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=21952 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 568043549 22478848 1366 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 5488 1366 463 379 0 929 0
[pid=7694] ppid=7692 vsize=36148 CPUtime=6.25 cores=5,7
/proc/7694/stat : 7694 (features) R 7692 7692 7045 0 -1 4202496 11514 0 0 0 614 11 0 0 25 0 1 0 568043553 37015552 6892 33554432000 134512640 135907751 4288122464 18446744073709551615 134518630 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/7694/statm: 9037 6892 112 341 0 8693 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 58100

[startup+12.7003 s]
/proc/loadavg: 2.45 3.49 3.73 3/183 7694
/proc/meminfo: memFree=13357944/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=21952 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 1528 0 0 0 1 0 0 0 17 0 1 0 568043549 22478848 1366 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 5488 1366 463 379 0 929 0
[pid=7694] ppid=7692 vsize=36148 CPUtime=12.65 cores=5,7
/proc/7694/stat : 7694 (features) R 7692 7692 7045 0 -1 4202496 11514 0 0 0 1254 11 0 0 25 0 1 0 568043553 37015552 6892 33554432000 134512640 135907751 4288122464 18446744073709551615 134518656 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/7694/statm: 9037 6892 112 341 0 8693 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 58100

[startup+25.5009 s]
/proc/loadavg: 2.35 3.41 3.70 3/186 7697
/proc/meminfo: memFree=13315772/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=0.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 2175 0 0 0 1 0 0 0 18 0 1 0 568043549 35278848 1425 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1425 488 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7696] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7696/stat : 7696 (timerun) S 7692 7692 7045 0 -1 4202496 755 0 0 0 0 0 0 0 17 0 1 0 568045001 8908800 247 33554432000 4194304 4922060 140733575473792 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7696/statm: 2175 247 208 178 0 68 0
[pid=7697] ppid=7696 vsize=106260 CPUtime=10.97 cores=5,7
/proc/7697/stat : 7697 (cryptominisat) R 7696 7692 7045 0 -1 4202496 21979 0 0 0 1094 3 0 0 25 0 1 0 568045001 108810240 18653 33554432000 134512640 134994940 4289153584 18446744073709551615 134923204 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/7697/statm: 26565 18653 358 118 0 25750 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 149412

[startup+51.1012 s]
/proc/loadavg: 2.23 3.30 3.65 3/186 7702
/proc/meminfo: memFree=13340848/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=25.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 2477 40077 0 0 1 0 2493 7 19 0 1 0 568043549 35278848 1426 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1426 488 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7701] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7701/stat : 7701 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 20 0 1 0 568047502 8908800 247 33554432000 4194304 4922060 140733668102176 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7701/statm: 2175 247 208 178 0 68 0
[pid=7702] ppid=7701 vsize=43124 CPUtime=11.55 cores=5,7
/proc/7702/stat : 7702 (precosat) R 7701 7692 7045 0 -1 4202496 11730 0 0 0 1154 1 0 0 25 0 1 0 568047502 44158976 10566 33554432000 134512640 135142049 4290894784 18446744073709551615 134555872 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/7702/statm: 10781 10566 82 154 0 10625 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 86276

[startup+102.307 s]
/proc/loadavg: 2.17 3.11 3.57 3/186 7705
/proc/meminfo: memFree=13332768/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=25.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 2477 40077 0 0 1 0 2493 7 19 0 1 0 568043549 35278848 1426 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1426 488 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7701] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7701/stat : 7701 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 20 0 1 0 568047502 8908800 247 33554432000 4194304 4922060 140733668102176 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7701/statm: 2175 247 208 178 0 68 0
[pid=7702] ppid=7701 vsize=48548 CPUtime=62.76 cores=5,7
/proc/7702/stat : 7702 (precosat) R 7701 7692 7045 0 -1 4202496 13127 0 0 0 6274 2 0 0 25 0 1 0 568047502 49713152 11910 33554432000 134512640 135142049 4290894784 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/7702/statm: 12137 11910 82 154 0 11981 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 91700

[startup+162.301 s]
/proc/loadavg: 2.06 2.91 3.47 3/186 7707
/proc/meminfo: memFree=12851004/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=25.01 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 2477 40077 0 0 1 0 2493 7 19 0 1 0 568043549 35278848 1426 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1426 488 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7701] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7701/stat : 7701 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 20 0 1 0 568047502 8908800 247 33554432000 4194304 4922060 140733668102176 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7701/statm: 2175 247 208 178 0 68 0
[pid=7702] ppid=7701 vsize=55652 CPUtime=122.76 cores=5,7
/proc/7702/stat : 7702 (precosat) R 7701 7692 7045 0 -1 4202496 14974 0 0 0 12274 2 0 0 25 0 1 0 568047502 56987648 13682 33554432000 134512640 135142049 4290894784 18446744073709551615 134552370 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/7702/statm: 13913 13682 82 154 0 13757 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 98804

[startup+222.3 s]
/proc/loadavg: 2.02 2.74 3.37 3/187 7717
/proc/meminfo: memFree=12780656/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=152.99 cores=5,7

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

/proc/meminfo: memFree=13457692/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=391.25 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 3753 508239 0 0 1 0 39042 82 19 0 1 0 568043549 35278848 1427 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1427 489 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7765] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7765/stat : 7765 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 18 0 1 0 568084128 8908800 247 33554432000 4194304 4922060 140734261288720 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7765/statm: 2175 247 208 178 0 68 0
[pid=7766] ppid=7765 vsize=29416 CPUtime=3.69 cores=5,7
/proc/7766/stat : 7766 (lingeling) R 7765 7692 7045 0 -1 4202496 14026 0 0 0 367 2 0 0 25 0 1 0 568084128 30121984 7036 33554432000 134512640 134650204 4293126800 18446744073709551615 134610643 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7766/statm: 7354 7036 112 34 0 6969 0
Current children cumulated CPU time (s) 409.39
Current children cumulated vsize (KiB) 72568

[startup+435.101 s]
/proc/loadavg: 1.43 2.20 3.03 2/176 7767
/proc/meminfo: memFree=13436416/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=391.25 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 3753 508239 0 0 1 0 39042 82 19 0 1 0 568043549 35278848 1427 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1427 489 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7765] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7765/stat : 7765 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 18 0 1 0 568084128 8908800 247 33554432000 4194304 4922060 140734261288720 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7765/statm: 2175 247 208 178 0 68 0
[pid=7766] ppid=7765 vsize=50080 CPUtime=29.3 cores=5,7
/proc/7766/stat : 7766 (lingeling) R 7765 7692 7045 0 -1 4202496 34135 0 0 0 2925 5 0 0 25 0 1 0 568084128 51281920 12234 33554432000 134512640 134650204 4293126800 18446744073709551615 134575466 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7766/statm: 12520 12234 112 34 0 12135 0
Current children cumulated CPU time (s) 435
Current children cumulated vsize (KiB) 93232

[startup+441.501 s]
/proc/loadavg: 1.40 2.18 3.02 2/176 7767
/proc/meminfo: memFree=13436704/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=391.25 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 3753 508239 0 0 1 0 39042 82 19 0 1 0 568043549 35278848 1427 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1427 489 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7765] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7765/stat : 7765 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 18 0 1 0 568084128 8908800 247 33554432000 4194304 4922060 140734261288720 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7765/statm: 2175 247 208 178 0 68 0
[pid=7766] ppid=7765 vsize=51220 CPUtime=35.7 cores=5,7
/proc/7766/stat : 7766 (lingeling) R 7765 7692 7045 0 -1 4202496 39134 0 0 0 3564 6 0 0 25 0 1 0 568084128 52449280 12519 33554432000 134512640 134650204 4293126800 18446744073709551615 134540642 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7766/statm: 12805 12519 112 34 0 12420 0
Current children cumulated CPU time (s) 441.4
Current children cumulated vsize (KiB) 94372

[startup+447.901 s]
/proc/loadavg: 1.37 2.16 3.01 2/176 7767
/proc/meminfo: memFree=13435716/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=391.25 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 3753 508239 0 0 1 0 39042 82 19 0 1 0 568043549 35278848 1427 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1427 489 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7765] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7765/stat : 7765 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 18 0 1 0 568084128 8908800 247 33554432000 4194304 4922060 140734261288720 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7765/statm: 2175 247 208 178 0 68 0
[pid=7766] ppid=7765 vsize=51220 CPUtime=42.1 cores=5,7
/proc/7766/stat : 7766 (lingeling) R 7765 7692 7045 0 -1 4202496 44406 0 0 0 4203 7 0 0 25 0 1 0 568084128 52449280 12519 33554432000 134512640 134650204 4293126800 18446744073709551615 134631166 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7766/statm: 12805 12519 112 34 0 12420 0
Current children cumulated CPU time (s) 447.8
Current children cumulated vsize (KiB) 94372

[startup+449.501 s]
/proc/loadavg: 1.34 2.14 3.00 2/176 7767
/proc/meminfo: memFree=13453076/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=34452 CPUtime=391.25 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 3753 508239 0 0 1 0 39042 82 19 0 1 0 568043549 35278848 1427 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8613 1427 489 379 0 933 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7765] ppid=7692 vsize=8700 CPUtime=0 cores=5,7
/proc/7765/stat : 7765 (timerun) S 7692 7692 7045 0 -1 4202496 749 0 0 0 0 0 0 0 18 0 1 0 568084128 8908800 247 33554432000 4194304 4922060 140734261288720 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7765/statm: 2175 247 208 178 0 68 0
[pid=7766] ppid=7765 vsize=33428 CPUtime=43.7 cores=5,7
/proc/7766/stat : 7766 (lingeling) R 7765 7692 7045 0 -1 4202496 44406 0 0 0 4363 7 0 0 25 0 1 0 568084128 34230272 8071 33554432000 134512640 134650204 4293126800 18446744073709551615 134630337 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7766/statm: 8357 8071 112 34 0 7972 0
Current children cumulated CPU time (s) 449.4
Current children cumulated vsize (KiB) 76580

[startup+451.101 s]
/proc/loadavg: 1.34 2.14 3.00 2/175 7769
/proc/meminfo: memFree=13455768/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=35572 CPUtime=436.19 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 4587 553575 0 0 30 3 43496 90 19 0 1 0 568043549 36425728 1681 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8893 1681 489 379 0 1213 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7769] ppid=7692 vsize=29768 CPUtime=0.37 cores=5,7
/proc/7769/stat : 7769 (lingeling) R 7692 7692 7045 0 -1 4202496 9593 0 0 0 35 2 0 0 18 0 1 0 568088620 30482432 7118 33554432000 134512640 134650204 4287736096 18446744073709551615 134544786 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7769/statm: 7442 7118 98 34 0 7057 0
Current children cumulated CPU time (s) 451.01
Current children cumulated vsize (KiB) 65340

[startup+451.901 s]
/proc/loadavg: 1.34 2.14 3.00 2/175 7769
/proc/meminfo: memFree=13455768/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=35572 CPUtime=436.19 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 4587 553575 0 0 30 3 43496 90 19 0 1 0 568043549 36425728 1681 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8893 1681 489 379 0 1213 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7769] ppid=7692 vsize=29768 CPUtime=1.17 cores=5,7
/proc/7769/stat : 7769 (lingeling) R 7692 7692 7045 0 -1 4202496 9593 0 0 0 115 2 0 0 19 0 1 0 568088620 30482432 7118 33554432000 134512640 134650204 4287736096 18446744073709551615 134544786 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7769/statm: 7442 7118 98 34 0 7057 0
Current children cumulated CPU time (s) 451.81
Current children cumulated vsize (KiB) 65340

[startup+452.301 s]
/proc/loadavg: 1.34 2.14 3.00 2/175 7769
/proc/meminfo: memFree=13445104/32950928 swapFree=67111528/67111528
[pid=7692] ppid=7690 vsize=35572 CPUtime=436.19 cores=5,7
/proc/7692/stat : 7692 (python) S 7690 7692 7045 0 -1 4202496 4587 553575 0 0 30 3 43496 90 19 0 1 0 568043549 36425728 1681 33554432000 4194304 5745468 140733316162320 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 5 0 0 0
/proc/7692/statm: 8893 1681 489 379 0 1213 0
[pid=7694] ppid=7692 vsize=0 CPUtime=14.13 cores=5,7
/proc/7694/stat : 7694 (features) Z 7692 7692 7045 0 -1 4202524 12967 0 0 0 1402 11 0 0 25 0 1 0 568043553 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7694/statm: 0 0 0 0 0 0 0
[pid=7695] ppid=7692 vsize=0 CPUtime=0.32 cores=5,7
/proc/7695/stat : 7695 (coach) Z 7692 7692 7045 0 -1 4202524 3927 0 0 0 31 1 0 0 20 0 1 0 568044966 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/7695/statm: 0 0 0 0 0 0 0
[pid=7769] ppid=7692 vsize=29768 CPUtime=1.57 cores=5,7
/proc/7769/stat : 7769 (lingeling) R 7692 7692 7045 0 -1 4202496 9593 0 0 0 155 2 0 0 20 0 1 0 568088620 30482432 7118 33554432000 134512640 134650204 4287736096 18446744073709551615 134544801 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/7769/statm: 7442 7118 98 34 0 7057 0
Current children cumulated CPU time (s) 452.21
Current children cumulated vsize (KiB) 65340

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7692 and gives
#  childrusage.ru_utime.tv_sec=449
#  childrusage.ru_utime.tv_usec=612648
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=77836
# CPU time returned by wait4() is 450.69
# while last known CPU time is 452.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 452.397
CPU time (s): 452.21
CPU user time (s): 451.14
CPU system time (s): 1.07
CPU usage (%): 99.9586
Max. virtual memory (cumulated for all children) (KiB): 1470344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 449.613
system time used= 1.07784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575988
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= 372
involuntary context switches= 645

runsolver used 0.673897 second user time and 1.71374 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-26 02:35:29
IDJOB=3290642
IDBENCH=83443
IDSOLVER=1618
FILE ID=node113/3290642-1303778128
RUNJOBID= node113-1303775446-7066
PBS_JOBID= 13157195
Free space on /tmp= 70924 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-3290642-1303778128/watcher-3290642-1303778128 -o /tmp/evaluation-result-3290642-1303778128/solver-3290642-1303778128 -C 2400 -W 1300 -M 7680  python portfolio_solver.py -t 2400 -s 1244483767  HOME/instance-3290642-1303778128.cnf

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1244483767

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13390568 kB
Buffers:       1856248 kB
Cached:       16989820 kB
SwapCached:          0 kB
Active:       10683316 kB
Inactive:      8284772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13390568 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           54044 kB
Writeback:           0 kB
AnonPages:      121652 kB
Mapped:          16952 kB
Slab:           526600 kB
PageTables:       5176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   273688 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= 70940 MiB
End job on node113 at 2011-04-26 02:43:01