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