Trace number 3291194

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Satisfiability Solver Selector 2011-03-18SAT 124.64 124.729

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 0.92 1.14 1.83 5/186 6016
/proc/meminfo: memFree=20583608/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=15276 CPUtime=0 cores=1,3
/proc/6016/stat : 6016 (python) R 6014 6016 4124 0 -1 4202496 660 0 0 0 0 0 0 0 18 0 1 0 489669223 15642624 558 33554432000 4194304 5745468 140734514185616 18446744073709551615 5300864 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6016/statm: 3819 559 318 379 0 292 0

[startup+0.108927 s]
/proc/loadavg: 0.92 1.14 1.83 5/186 6016
/proc/meminfo: memFree=20583608/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960

[startup+0.20089 s]
/proc/loadavg: 0.92 1.14 1.83 5/186 6016
/proc/meminfo: memFree=20583608/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960

[startup+0.30087 s]
/proc/loadavg: 0.92 1.14 1.83 5/186 6016
/proc/meminfo: memFree=20583608/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960

[startup+0.70081 s]
/proc/loadavg: 0.92 1.14 1.83 5/186 6016
/proc/meminfo: memFree=20583608/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21960

[startup+1.50066 s]
/proc/loadavg: 1.17 1.18 1.84 5/194 6025
/proc/meminfo: memFree=20528612/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
[pid=6019] ppid=6016 vsize=8364 CPUtime=1.46 cores=1,3
/proc/6019/stat : 6019 (features) R 6016 6016 4124 0 -1 4202496 2644 0 0 0 143 3 0 0 21 0 1 0 489669226 8564736 1527 33554432000 134512640 135907751 4288126720 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6019/statm: 2091 1527 111 341 0 1747 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30324

[startup+3.10037 s]
/proc/loadavg: 1.17 1.18 1.84 5/194 6025
/proc/meminfo: memFree=20532084/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
[pid=6019] ppid=6016 vsize=59292 CPUtime=3.05 cores=1,3
/proc/6019/stat : 6019 (features) R 6016 6016 4124 0 -1 4202496 16400 0 0 0 298 7 0 0 25 0 1 0 489669226 60715008 14378 33554432000 134512640 135907751 4288126720 18446744073709551615 134538186 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6019/statm: 14823 14378 112 341 0 14479 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 81252

[startup+6.30081 s]
/proc/loadavg: 1.17 1.18 1.84 5/194 6025
/proc/meminfo: memFree=20469536/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
[pid=6019] ppid=6016 vsize=54932 CPUtime=6.26 cores=1,3
/proc/6019/stat : 6019 (features) R 6016 6016 4124 0 -1 4202496 17398 0 0 0 617 9 0 0 25 0 1 0 489669226 56250368 11033 33554432000 134512640 135907751 4288126720 18446744073709551615 134518692 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6019/statm: 13733 11033 112 341 0 13389 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 76892

[startup+12.7007 s]
/proc/loadavg: 1.90 1.34 1.89 5/194 6025
/proc/meminfo: memFree=20473804/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=21960 CPUtime=0.01 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 1529 0 0 0 1 0 0 0 17 0 1 0 489669223 22487040 1367 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 5490 1367 463 379 0 931 0
[pid=6019] ppid=6016 vsize=54932 CPUtime=12.66 cores=1,3
/proc/6019/stat : 6019 (features) R 6016 6016 4124 0 -1 4202496 17398 0 0 0 1257 9 0 0 25 0 1 0 489669226 56250368 11033 33554432000 134512640 135907751 4288126720 18446744073709551615 134518823 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6019/statm: 13733 11033 112 341 0 13389 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 76892

[startup+25.5004 s]
/proc/loadavg: 2.15 1.41 1.90 5/203 6097
/proc/meminfo: memFree=20333252/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=0.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2175 0 0 0 1 1 0 0 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6093] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6093/stat : 6093 (timerun) S 6016 6016 4124 0 -1 4202496 757 0 0 0 0 0 0 0 17 0 1 0 489670930 8908800 247 33554432000 4194304 4922060 140734651003872 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6093/statm: 2175 247 208 178 0 68 0
[pid=6094] ppid=6093 vsize=130716 CPUtime=8.41 cores=1,3
/proc/6094/stat : 6094 (cryptominisat) R 6093 6016 4124 0 -1 4202496 26485 0 0 0 837 4 0 0 25 0 1 0 489670930 133853184 26272 33554432000 134512640 134994940 4287584576 18446744073709551615 134829717 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/6094/statm: 32679 26272 340 118 0 31864 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 173876

[startup+51.1009 s]
/proc/loadavg: 2.78 1.62 1.96 5/206 6112
/proc/meminfo: memFree=20406232/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=65468 CPUtime=9 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 17513 0 0 0 898 2 0 0 25 0 1 0 489673432 67039232 16190 33554432000 134512640 135142049 4293246912 18446744073709551615 134555855 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16367 16190 82 154 0 16211 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 108628

[startup+102.301 s]
/proc/loadavg: 3.55 2.03 2.08 5/203 6146
/proc/meminfo: memFree=20458140/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=65468 CPUtime=60.21 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 31714 0 0 0 6016 5 0 0 25 0 1 0 489673432 67039232 16194 33554432000 134512640 135142049 4293246912 18446744073709551615 134556082 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16367 16194 82 154 0 16211 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 108628

Solver just ended. Dumping a history of the last processes samples

[startup+102.408 s]
/proc/loadavg: 3.55 2.03 2.08 5/203 6146
/proc/meminfo: memFree=20458140/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=65468 CPUtime=60.31 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 31714 0 0 0 6026 5 0 0 25 0 1 0 489673432 67039232 16194 33554432000 134512640 135142049 4293246912 18446744073709551615 134555844 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16367 16194 82 154 0 16211 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 108628

[startup+115.201 s]
/proc/loadavg: 3.62 2.09 2.10 5/206 6149
/proc/meminfo: memFree=20439844/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=66640 CPUtime=73.11 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 31974 0 0 0 7306 5 0 0 25 0 1 0 489673432 68239360 16454 33554432000 134512640 135142049 4293246912 18446744073709551615 134528340 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16660 16454 82 154 0 16504 0
Current children cumulated CPU time (s) 115.14
Current children cumulated vsize (KiB) 109800

[startup+121.6 s]
/proc/loadavg: 3.65 2.13 2.11 5/206 6149
/proc/meminfo: memFree=20435628/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=67300 CPUtime=79.51 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 32143 0 0 0 7946 5 0 0 25 0 1 0 489673432 68915200 16623 33554432000 134512640 135142049 4293246912 18446744073709551615 134555774 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16825 16623 82 154 0 16669 0
Current children cumulated CPU time (s) 121.54
Current children cumulated vsize (KiB) 110460

[startup+123.201 s]
/proc/loadavg: 3.68 2.16 2.12 5/206 6149
/proc/meminfo: memFree=20435876/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=67300 CPUtime=81.11 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 32143 0 0 0 8106 5 0 0 25 0 1 0 489673432 68915200 16623 33554432000 134512640 135142049 4293246912 18446744073709551615 134556107 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16825 16623 82 154 0 16669 0
Current children cumulated CPU time (s) 123.14
Current children cumulated vsize (KiB) 110460

[startup+124.001 s]
/proc/loadavg: 3.68 2.16 2.12 5/206 6149
/proc/meminfo: memFree=20435876/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=67300 CPUtime=81.91 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 32143 0 0 0 8186 5 0 0 25 0 1 0 489673432 68915200 16623 33554432000 134512640 135142049 4293246912 18446744073709551615 134555841 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16825 16623 82 154 0 16669 0
Current children cumulated CPU time (s) 123.94
Current children cumulated vsize (KiB) 110460

[startup+124.408 s]
/proc/loadavg: 3.68 2.16 2.12 5/206 6149
/proc/meminfo: memFree=20435628/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=67300 CPUtime=82.31 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 32143 0 0 0 8226 5 0 0 25 0 1 0 489673432 68915200 16623 33554432000 134512640 135142049 4293246912 18446744073709551615 134555764 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16825 16623 82 154 0 16669 0
Current children cumulated CPU time (s) 124.34
Current children cumulated vsize (KiB) 110460

[startup+124.601 s]
/proc/loadavg: 3.68 2.16 2.12 5/206 6149
/proc/meminfo: memFree=20435628/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=67300 CPUtime=82.51 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 32143 0 0 0 8246 5 0 0 25 0 1 0 489673432 68915200 16623 33554432000 134512640 135142049 4293246912 18446744073709551615 134555701 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16825 16623 82 154 0 16669 0
Current children cumulated CPU time (s) 124.54
Current children cumulated vsize (KiB) 110460

[startup+124.701 s]
/proc/loadavg: 3.68 2.16 2.12 5/206 6149
/proc/meminfo: memFree=20435628/32951124 swapFree=67111464/67111528
[pid=6016] ppid=6014 vsize=34460 CPUtime=25.02 cores=1,3
/proc/6016/stat : 6016 (python) S 6014 6016 4124 0 -1 4202496 2474 48352 0 0 1 1 2492 8 18 0 1 0 489669223 35287040 1426 33554432000 4194304 5745468 140734514185616 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/6016/statm: 8615 1426 488 379 0 935 0
[pid=6019] ppid=6016 vsize=0 CPUtime=16.69 cores=1,3
/proc/6019/stat : 6019 (features) Z 6016 6016 4124 0 -1 4202524 19748 0 0 0 1660 9 0 0 25 0 1 0 489669226 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6019/statm: 0 0 0 0 0 0 0
[pid=6092] ppid=6016 vsize=0 CPUtime=0.32 cores=1,3
/proc/6092/stat : 6092 (coach) Z 6016 6016 4124 0 -1 4202524 3926 0 0 0 32 0 0 0 20 0 1 0 489670896 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/6092/statm: 0 0 0 0 0 0 0
[pid=6109] ppid=6016 vsize=8700 CPUtime=0 cores=1,3
/proc/6109/stat : 6109 (timerun) S 6016 6016 4124 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 489673431 8908800 247 33554432000 4194304 4922060 140737448222176 18446744073709551615 228244167813 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/6109/statm: 2175 247 208 178 0 68 0
[pid=6110] ppid=6109 vsize=67300 CPUtime=82.61 cores=1,3
/proc/6110/stat : 6110 (precosat) R 6109 6016 4124 0 -1 4202496 32143 0 0 0 8256 5 0 0 25 0 1 0 489673432 68915200 16623 33554432000 134512640 135142049 4293246912 18446744073709551615 134555480 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/6110/statm: 16825 16623 82 154 0 16669 0
Current children cumulated CPU time (s) 124.64
Current children cumulated vsize (KiB) 110460

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6016 and gives
#  childrusage.ru_utime.tv_sec=41
#  childrusage.ru_utime.tv_usec=888631
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=200969
# CPU time returned by wait4() is 42.0896
# while last known CPU time is 124.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 124.729
CPU time (s): 124.64
CPU user time (s): 124.41
CPU system time (s): 0.23
CPU usage (%): 99.929
Max. virtual memory (cumulated for all children) (KiB): 543684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8886
system time used= 0.200969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75283
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= 247
involuntary context switches= 94

runsolver used 0.200969 second user time and 0.495924 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-26 03:18:32
IDJOB=3291194
IDBENCH=83475
IDSOLVER=1618
FILE ID=node136/3291194-1303780712
RUNJOBID= node136-1303780712-5980
PBS_JOBID= 13157165
Free space on /tmp= 72096 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=2111776157

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20583772 kB
Buffers:       1714216 kB
Cached:        9983580 kB
SwapCached:         60 kB
Active:        4853336 kB
Inactive:      6932996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20583772 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:          138260 kB
Writeback:           0 kB
AnonPages:       87388 kB
Mapped:          17204 kB
Slab:           516148 kB
PageTables:       5500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   257108 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= 72032 MiB
End job on node136 at 2011-04-26 03:20:37