Trace number 3290504

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 454.23 454.348

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.72 3.95 3.89 3/180 7590
/proc/meminfo: memFree=13449572/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=15444 CPUtime=0 cores=4,6
/proc/7590/stat : 7590 (python) R 7588 7590 7045 0 -1 4202496 815 0 0 0 0 0 0 0 25 0 1 0 568036500 15814656 703 33554432000 4194304 5745468 140736531162608 18446744073709551615 4617920 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7590/statm: 3861 704 344 379 0 334 0

[startup+0.0210821 s]
/proc/loadavg: 3.72 3.95 3.89 3/180 7590
/proc/meminfo: memFree=13449572/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=16460 CPUtime=0.01 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1133 0 0 0 1 0 0 0 25 0 1 0 568036500 16855040 1005 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7590/statm: 4115 1005 432 379 0 588 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16460

[startup+0.100348 s]
/proc/loadavg: 3.72 3.95 3.89 3/180 7590
/proc/meminfo: memFree=13449572/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=21960 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1530 0 0 0 2 0 0 0 25 0 1 0 568036500 22487040 1367 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21960

[startup+0.300306 s]
/proc/loadavg: 3.72 3.95 3.89 3/180 7590
/proc/meminfo: memFree=13449572/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=21960 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1530 0 0 0 2 0 0 0 25 0 1 0 568036500 22487040 1367 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21960

[startup+0.700232 s]
/proc/loadavg: 3.72 3.95 3.89 3/180 7590
/proc/meminfo: memFree=13449572/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=21960 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1530 0 0 0 2 0 0 0 25 0 1 0 568036500 22487040 1367 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21960

[startup+1.50108 s]
/proc/loadavg: 3.72 3.95 3.89 3/181 7592
/proc/meminfo: memFree=13437660/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=21960 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1530 0 0 0 2 0 0 0 25 0 1 0 568036500 22487040 1367 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 5490 1367 463 379 0 931 0
[pid=7592] ppid=7590 vsize=8364 CPUtime=1.46 cores=4,6
/proc/7592/stat : 7592 (features) R 7590 7590 7045 0 -1 4202496 2648 0 0 0 145 1 0 0 25 0 1 0 568036503 8564736 1532 33554432000 134512640 135907751 4290543328 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7592/statm: 2091 1532 111 341 0 1747 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30324

[startup+3.10079 s]
/proc/loadavg: 3.72 3.95 3.89 3/181 7592
/proc/meminfo: memFree=13439648/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=21960 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1530 0 0 0 2 0 0 0 25 0 1 0 568036500 22487040 1367 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 5490 1367 463 379 0 931 0
[pid=7592] ppid=7590 vsize=48896 CPUtime=3.06 cores=4,6
/proc/7592/stat : 7592 (features) R 7590 7590 7045 0 -1 4202496 13585 0 0 0 301 5 0 0 25 0 1 0 568036503 50069504 11564 33554432000 134512640 135907751 4290543328 18446744073709551615 134515169 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7592/statm: 12224 11564 112 341 0 11880 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 70856

[startup+6.3012 s]
/proc/loadavg: 3.58 3.92 3.88 3/180 7592
/proc/meminfo: memFree=13411532/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=21960 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1530 0 0 0 2 0 0 0 25 0 1 0 568036500 22487040 1367 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 5490 1367 463 379 0 931 0
[pid=7592] ppid=7590 vsize=45220 CPUtime=6.26 cores=4,6
/proc/7592/stat : 7592 (features) R 7590 7590 7045 0 -1 4202496 14410 0 0 0 621 5 0 0 25 0 1 0 568036503 46305280 8800 33554432000 134512640 135907751 4290543328 18446744073709551615 134518699 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7592/statm: 11305 8800 112 341 0 10961 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67180

[startup+12.701 s]
/proc/loadavg: 3.46 3.88 3.87 3/180 7592
/proc/meminfo: memFree=13411804/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=21960 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 1530 0 0 0 2 0 0 0 25 0 1 0 568036500 22487040 1367 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 5490 1367 463 379 0 931 0
[pid=7592] ppid=7590 vsize=45220 CPUtime=12.66 cores=4,6
/proc/7592/stat : 7592 (features) R 7590 7590 7045 0 -1 4202496 14410 0 0 0 1261 5 0 0 25 0 1 0 568036503 46305280 8800 33554432000 134512640 135907751 4290543328 18446744073709551615 134518785 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/7592/statm: 11305 8800 112 341 0 10961 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67180

[startup+25.5006 s]
/proc/loadavg: 3.13 3.79 3.84 3/183 7626
/proc/meminfo: memFree=13357860/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=0.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 2176 0 0 0 2 0 0 0 18 0 1 0 568036500 35287040 1426 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 8615 1426 488 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7594] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7594/stat : 7594 (timerun) S 7590 7590 7045 0 -1 4202496 755 0 0 0 0 0 0 0 17 0 1 0 568037991 8908800 247 33554432000 4194304 4922060 140736572658288 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7594/statm: 2175 247 208 178 0 68 0
[pid=7595] ppid=7594 vsize=120216 CPUtime=10.56 cores=4,6
/proc/7595/stat : 7595 (cryptominisat) R 7594 7590 7045 0 -1 4202496 21806 0 0 0 1053 3 0 0 25 0 1 0 568037992 123101184 21616 33554432000 134512640 134994940 4289359856 18446744073709551615 134829688 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7595/statm: 30054 21616 340 118 0 29239 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 163376

[startup+51.1009 s]
/proc/loadavg: 2.75 3.65 3.79 3/186 7634
/proc/meminfo: memFree=13368796/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=25.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 2481 47841 0 0 2 0 2492 8 18 0 1 0 568036500 35287040 1427 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 8615 1427 488 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7633] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7633/stat : 7633 (timerun) S 7590 7590 7045 0 -1 4202496 749 0 0 0 0 0 0 0 19 0 1 0 568040493 8908800 247 33554432000 4194304 4922060 140733402225472 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7633/statm: 2175 247 208 178 0 68 0
[pid=7634] ppid=7633 vsize=54216 CPUtime=11.16 cores=4,6
/proc/7634/stat : 7634 (precosat) R 7633 7590 7045 0 -1 4202496 16038 0 0 0 1114 2 0 0 25 0 1 0 568040493 55517184 13348 33554432000 134512640 135142049 4291297040 18446744073709551615 134529249 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/7634/statm: 13554 13348 82 154 0 13398 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 97376

[startup+102.306 s]
/proc/loadavg: 2.32 3.39 3.69 3/186 7698
/proc/meminfo: memFree=13300720/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=25.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 2481 47841 0 0 2 0 2492 8 18 0 1 0 568036500 35287040 1427 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 8615 1427 488 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7633] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7633/stat : 7633 (timerun) S 7590 7590 7045 0 -1 4202496 749 0 0 0 0 0 0 0 19 0 1 0 568040493 8908800 247 33554432000 4194304 4922060 140733402225472 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7633/statm: 2175 247 208 178 0 68 0
[pid=7634] ppid=7633 vsize=54824 CPUtime=62.36 cores=4,6
/proc/7634/stat : 7634 (precosat) R 7633 7590 7045 0 -1 4202496 32322 0 0 0 6232 4 0 0 25 0 1 0 568040493 56139776 13516 33554432000 134512640 135142049 4291297040 18446744073709551615 134555712 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/7634/statm: 13706 13516 82 154 0 13550 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 97984

[startup+162.301 s]
/proc/loadavg: 2.12 3.13 3.58 3/186 7703
/proc/meminfo: memFree=13332644/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=25.02 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 2481 47841 0 0 2 0 2492 8 18 0 1 0 568036500 35287040 1427 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/7590/statm: 8615 1427 488 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7633] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7633/stat : 7633 (timerun) S 7590 7590 7045 0 -1 4202496 749 0 0 0 0 0 0 0 19 0 1 0 568040493 8908800 247 33554432000 4194304 4922060 140733402225472 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7633/statm: 2175 247 208 178 0 68 0
[pid=7634] ppid=7633 vsize=60704 CPUtime=122.36 cores=4,6
/proc/7634/stat : 7634 (precosat) R 7633 7590 7045 0 -1 4202496 35227 0 0 0 12231 5 0 0 25 0 1 0 568040493 62160896 14990 33554432000 134512640 135142049 4291297040 18446744073709551615 134610227 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/7634/statm: 15176 14990 82 154 0 15020 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 103864

[startup+222.301 s]
/proc/loadavg: 2.07 2.94 3.49 3/186 7707
/proc/meminfo: memFree=12934332/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=153 cores=4,6

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


[startup+409.5 s]
/proc/loadavg: 2.00 2.49 3.20 3/186 7740
/proc/meminfo: memFree=13335772/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=392 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 3769 495121 0 0 2 0 39121 77 18 0 1 0 568036500 35287040 1428 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8615 1428 489 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7739] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7739/stat : 7739 (timerun) S 7590 7590 7045 0 -1 4202496 750 0 0 0 0 0 0 0 19 0 1 0 568077193 8908800 247 33554432000 4194304 4922060 140734908271392 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7739/statm: 2175 247 208 178 0 68 0
[pid=7740] ppid=7739 vsize=47864 CPUtime=2.56 cores=4,6
/proc/7740/stat : 7740 (lingeling) R 7739 7590 7045 0 -1 4202496 14069 0 0 0 254 2 0 0 25 0 1 0 568077193 49012736 11679 33554432000 134512640 134650204 4289255648 18446744073709551615 134581495 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7740/statm: 11966 11679 111 34 0 11581 0
Current children cumulated CPU time (s) 409.42
Current children cumulated vsize (KiB) 91024

[startup+435.101 s]
/proc/loadavg: 2.00 2.45 3.17 3/186 7740
/proc/meminfo: memFree=13328180/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=392 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 3769 495121 0 0 2 0 39121 77 18 0 1 0 568036500 35287040 1428 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8615 1428 489 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7739] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7739/stat : 7739 (timerun) S 7590 7590 7045 0 -1 4202496 750 0 0 0 0 0 0 0 19 0 1 0 568077193 8908800 247 33554432000 4194304 4922060 140734908271392 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7739/statm: 2175 247 208 178 0 68 0
[pid=7740] ppid=7739 vsize=52856 CPUtime=28.15 cores=4,6
/proc/7740/stat : 7740 (lingeling) R 7739 7590 7045 0 -1 4202496 21139 0 0 0 2813 2 0 0 25 0 1 0 568077193 54124544 12928 33554432000 134512640 134650204 4289255648 18446744073709551615 134630328 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7740/statm: 13214 12928 112 34 0 12829 0
Current children cumulated CPU time (s) 435.01
Current children cumulated vsize (KiB) 96016

[startup+447.901 s]
/proc/loadavg: 2.00 2.43 3.16 3/186 7741
/proc/meminfo: memFree=13329520/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=392 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 3769 495121 0 0 2 0 39121 77 18 0 1 0 568036500 35287040 1428 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8615 1428 489 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7739] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7739/stat : 7739 (timerun) S 7590 7590 7045 0 -1 4202496 750 0 0 0 0 0 0 0 19 0 1 0 568077193 8908800 247 33554432000 4194304 4922060 140734908271392 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7739/statm: 2175 247 208 178 0 68 0
[pid=7740] ppid=7739 vsize=53584 CPUtime=40.96 cores=4,6
/proc/7740/stat : 7740 (lingeling) R 7739 7590 7045 0 -1 4202496 23568 0 0 0 4093 3 0 0 25 0 1 0 568077193 54870016 13110 33554432000 134512640 134650204 4289255648 18446744073709551615 134547453 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7740/statm: 13396 13110 112 34 0 13011 0
Current children cumulated CPU time (s) 447.82
Current children cumulated vsize (KiB) 96744

[startup+451.101 s]
/proc/loadavg: 2.00 2.43 3.15 3/186 7741
/proc/meminfo: memFree=13328032/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=34460 CPUtime=392 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 3769 495121 0 0 2 0 39121 77 18 0 1 0 568036500 35287040 1428 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8615 1428 489 379 0 935 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7739] ppid=7590 vsize=8700 CPUtime=0 cores=4,6
/proc/7739/stat : 7739 (timerun) S 7590 7590 7045 0 -1 4202496 750 0 0 0 0 0 0 0 19 0 1 0 568077193 8908800 247 33554432000 4194304 4922060 140734908271392 18446744073709551615 251367365765 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/7739/statm: 2175 247 208 178 0 68 0
[pid=7740] ppid=7739 vsize=55120 CPUtime=44.16 cores=4,6
/proc/7740/stat : 7740 (lingeling) R 7739 7590 7045 0 -1 4202496 24432 0 0 0 4413 3 0 0 25 0 1 0 568077193 56442880 13494 33554432000 134512640 134650204 4289255648 18446744073709551615 134630411 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7740/statm: 13780 13494 112 34 0 13395 0
Current children cumulated CPU time (s) 451.02
Current children cumulated vsize (KiB) 98280

[startup+452.7 s]
/proc/loadavg: 2.00 2.43 3.15 3/185 7742
/proc/meminfo: memFree=13356560/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=35592 CPUtime=436.99 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 4636 520388 0 0 41 3 43574 81 19 0 1 0 568036500 36446208 1722 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8898 1722 489 379 0 1218 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7742] ppid=7590 vsize=33268 CPUtime=0.77 cores=4,6
/proc/7742/stat : 7742 (lingeling) R 7590 7590 7045 0 -1 4202496 9707 0 0 0 76 1 0 0 21 0 1 0 568081691 34066432 8000 33554432000 134512640 134650204 4288963424 18446744073709551615 134544832 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7742/statm: 8317 8000 98 34 0 7932 0
Current children cumulated CPU time (s) 452.62
Current children cumulated vsize (KiB) 68860

[startup+453.501 s]
/proc/loadavg: 2.00 2.43 3.15 3/185 7742
/proc/meminfo: memFree=13333868/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=35592 CPUtime=436.99 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 4636 520388 0 0 41 3 43574 81 19 0 1 0 568036500 36446208 1722 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8898 1722 489 379 0 1218 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7742] ppid=7590 vsize=33268 CPUtime=1.57 cores=4,6
/proc/7742/stat : 7742 (lingeling) R 7590 7590 7045 0 -1 4202496 9707 0 0 0 156 1 0 0 24 0 1 0 568081691 34066432 8000 33554432000 134512640 134650204 4288963424 18446744073709551615 134544776 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7742/statm: 8317 8000 98 34 0 7932 0
Current children cumulated CPU time (s) 453.42
Current children cumulated vsize (KiB) 68860

[startup+453.901 s]
/proc/loadavg: 2.00 2.43 3.15 3/185 7742
/proc/meminfo: memFree=13333868/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=35592 CPUtime=436.99 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 4636 520388 0 0 41 3 43574 81 19 0 1 0 568036500 36446208 1722 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8898 1722 489 379 0 1218 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7742] ppid=7590 vsize=33268 CPUtime=1.97 cores=4,6
/proc/7742/stat : 7742 (lingeling) R 7590 7590 7045 0 -1 4202496 9707 0 0 0 196 1 0 0 25 0 1 0 568081691 34066432 8000 33554432000 134512640 134650204 4288963424 18446744073709551615 134616632 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7742/statm: 8317 8000 98 34 0 7932 0
Current children cumulated CPU time (s) 453.82
Current children cumulated vsize (KiB) 68860

[startup+454.307 s]
/proc/loadavg: 2.00 2.42 3.14 3/185 7742
/proc/meminfo: memFree=13333872/32950928 swapFree=67111528/67111528
[pid=7590] ppid=7588 vsize=35592 CPUtime=436.99 cores=4,6
/proc/7590/stat : 7590 (python) S 7588 7590 7045 0 -1 4202496 4636 520388 0 0 41 3 43574 81 19 0 1 0 568036500 36446208 1722 33554432000 4194304 5745468 140736531162608 18446744073709551615 251367546624 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/7590/statm: 8898 1722 489 379 0 1218 0
[pid=7592] ppid=7590 vsize=0 CPUtime=14.54 cores=4,6
/proc/7592/stat : 7592 (features) Z 7590 7590 7045 0 -1 4202524 16343 0 0 0 1448 6 0 0 25 0 1 0 568036503 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7592/statm: 0 0 0 0 0 0 0
[pid=7593] ppid=7590 vsize=0 CPUtime=0.32 cores=4,6
/proc/7593/stat : 7593 (coach) Z 7590 7590 7045 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 568037958 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/7593/statm: 0 0 0 0 0 0 0
[pid=7742] ppid=7590 vsize=33268 CPUtime=2.38 cores=4,6
/proc/7742/stat : 7742 (lingeling) R 7590 7590 7045 0 -1 4202496 9707 0 0 0 237 1 0 0 25 0 1 0 568081691 34066432 8000 33554432000 134512640 134650204 4288963424 18446744073709551615 134544832 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7742/statm: 8317 8000 98 34 0 7932 0
Current children cumulated CPU time (s) 454.23
Current children cumulated vsize (KiB) 68860

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7590 and gives
#  childrusage.ru_utime.tv_sec=450
#  childrusage.ru_utime.tv_usec=977441
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=932858
# CPU time returned by wait4() is 451.91
# while last known CPU time is 454.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 454.348
CPU time (s): 454.23
CPU user time (s): 453.32
CPU system time (s): 0.91
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1655912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 450.977
system time used= 0.932858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546248
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= 334
involuntary context switches= 631

runsolver used 0.793879 second user time and 1.62375 second system time

The end

Launcher Data

Begin job on node113 at 2011-04-26 02:34:18
IDJOB=3290504
IDBENCH=83436
IDSOLVER=1618
FILE ID=node113/3290504-1303778058
RUNJOBID= node113-1303775446-7064
PBS_JOBID= 13157195
Free space on /tmp= 70932 MiB

SOLVER NAME= Coach 2011-03-18
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= python portfolio_solver.py -t TIMELIMIT -s RANDOMSEED  BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290504-1303778058/watcher-3290504-1303778058 -o /tmp/evaluation-result-3290504-1303778058/solver-3290504-1303778058 -C 2400 -W 1300 -M 7680  python portfolio_solver.py -t 2400 -s 171548465  HOME/instance-3290504-1303778058.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=171548465

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:      13449728 kB
Buffers:       1855776 kB
Cached:       16978820 kB
SwapCached:          0 kB
Active:       10623640 kB
Inactive:      8283428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13449728 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           87164 kB
Writeback:           0 kB
AnonPages:       72408 kB
Mapped:          16792 kB
Slab:           528128 kB
PageTables:       5084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   222652 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= 70888 MiB
End job on node113 at 2011-04-26 02:41:53