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