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