Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 63201 | 1800.02 | 1800.57 |
Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 59847 |
Best CPU time to get the best result obtained on this benchmark | 1800.42 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 3945 |
Total number of constraints | 8604 |
Number of constraints which are clauses | 8604 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 59 |
Number of terms in the objective function | 1872 |
Biggest coefficient in the objective function | 2110 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 3036193 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 2110 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 3036193 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/373461-1177195338/instance-373461-1177195338.opb 0.00/0.00 c File size is 270841 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Highest Coefficient sum: 3.03619e+06 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.049 s 0.00/0.05 c Var: 3945 Constr: 8604 8604/0/0 Lit: 22124 Watch. Lit: 17206 0.00/0.05 c Obj. Vars: 1872 (47.4525 % of total variables) 0.09/0.10 c Pre-processing Time: 0.102 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3777 7190 18848 2 14380 2396 0 0 0.10 0.09/0.11 o 67506 0.107 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 3777 7191 20718 2 16210 6136 1 0 0.11 0.09/0.11 o 67204 0.113 67.37/67.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.37/67.49 c 1 3777 7193 22658 3 18042 6136 3 8 0.12 67.37/67.49 c 102 3777 7294 30176 4 18246 6750 104 645 0.16 67.37/67.49 c 352 3777 7544 48269 6 18746 7426 354 1380 0.26 67.37/67.49 c 827 3777 8019 93164 11 19696 8169 829 1875 0.44 67.37/67.49 c 1640 3777 8832 135021 15 21322 8986 1642 2222 0.74 67.37/67.49 c 2961 3777 10153 224718 22 23966 9885 2963 1889 1.57 67.37/67.49 c 5042 3777 12234 336314 27 28126 10874 5044 2180 2.31 67.37/67.49 c 8265 3777 15457 547877 35 34569 11962 8267 2233 3.70 67.37/67.49 c 13201 3777 13173 480942 36 28174 13159 5983 1971 6.70 67.37/67.49 c 20709 3777 13772 576442 41 29373 14475 6582 1914 10.81 67.37/67.49 c 32070 3777 15636 608850 38 33102 15923 8446 1735 18.48 67.37/67.49 c 49215 3777 22405 1215476 54 46638 17516 15215 1713 28.72 67.37/67.49 c 75034 3777 15950 1037885 65 33729 19268 8760 1122 66.84 67.37/67.49 o 67176 67.479 70.97/71.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.97/71.06 c 76888 3777 17805 1185616 66 39266 6136 10615 1139 67.48 70.97/71.06 c 76988 3777 10360 381138 36 22549 6750 3170 1137 67.70 70.97/71.06 c 77238 3777 10610 396051 37 23048 7426 3420 1138 67.82 70.97/71.06 c 77713 3777 11085 420904 37 24000 8169 3895 1142 68.01 70.97/71.06 c 78526 3777 11898 460482 38 25624 8986 4708 1150 68.24 70.97/71.06 c 79846 3777 13218 534490 40 28265 9885 6028 1161 68.73 70.97/71.06 c 81927 3777 15299 674548 44 32427 10874 8109 1173 69.78 70.97/71.06 c 85151 3777 12629 330349 26 27086 11962 5439 1205 70.66 70.97/71.06 o 67089 71.039 173.54/173.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 173.54/173.69 c 86255 3777 13734 388733 28 31126 6136 6544 1214 71.04 173.54/173.69 c 86355 3777 10360 183099 17 22549 6750 3170 1214 71.11 173.54/173.69 c 86605 3777 10610 198636 18 23050 7426 3420 1216 71.22 173.54/173.69 c 87080 3777 11085 226699 20 23999 8169 3895 1219 71.40 173.54/173.69 c 87893 3777 11898 288421 24 25625 8986 4708 1225 71.71 173.54/173.69 c 89213 3777 13218 376507 28 28264 9885 6028 1234 72.26 173.54/173.69 c 91296 3777 15301 494496 32 32431 10874 8111 1249 73.09 173.54/173.69 c 94519 3777 12629 325573 25 27087 11962 5439 1261 74.91 173.54/173.69 c 99455 3777 17565 650421 37 36958 13159 10375 1292 76.96 173.54/173.69 c 106962 3777 16420 692507 42 34669 14475 9230 1322 80.86 173.54/173.69 c 118323 3777 18242 712812 39 38313 15923 11052 1367 86.53 173.54/173.69 c 135467 3777 15154 599981 39 32137 17516 7964 1345 100.71 173.54/173.69 c 161286 3777 18393 688520 37 38615 19268 11203 1306 123.50 173.54/173.69 c 200118 3777 20859 906831 43 43546 21195 13669 1159 172.58 173.54/173.69 o 67058 173.65 174.55/174.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 174.55/174.64 c 202318 3777 23060 1099543 47 49780 6136 15870 1165 173.65 174.55/174.64 c 202418 3777 10360 282628 27 22549 6750 3170 1160 174.49 174.55/174.64 c 202669 3777 10611 299088 28 23050 7426 3421 1160 174.59 174.55/174.64 o 66870 174.603 216.14/216.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 216.14/216.27 c 202671 3777 10614 301042 28 24886 6136 3424 1160 174.61 216.14/216.27 c 202771 3777 10714 305252 28 25087 6750 3524 1161 174.64 216.14/216.27 c 203022 3777 10965 319031 29 25588 7426 3775 1161 174.80 216.14/216.27 c 203497 3777 11440 350052 30 26538 8169 4250 1162 175.04 216.14/216.27 c 204310 3777 12253 398176 32 28164 8986 5063 1165 175.33 216.14/216.27 c 205630 3777 13573 487896 35 30804 9885 6383 1168 176.05 216.14/216.27 c 207711 3777 15654 617278 39 34966 10874 8464 1172 177.20 216.14/216.27 c 210935 3777 12629 340369 26 27087 11962 5439 1180 178.66 216.14/216.27 c 215871 3777 17565 647957 36 36959 13159 10375 1196 180.48 216.14/216.27 c 223377 3777 16221 862460 53 34271 14475 9031 1199 186.22 216.14/216.27 c 234738 3777 18007 845441 46 37843 15923 10817 1215 193.16 216.14/216.27 c 251882 3777 15154 1055985 69 32136 17516 7964 1165 216.20 216.14/216.27 o 65322 216.221 216.33/216.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 216.33/216.46 c 251882 3777 15155 1057855 69 33971 6136 7965 1164 216.23 216.33/216.46 o 65287 216.41 307.21/307.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 307.21/307.38 c 251977 3777 10356 572366 55 24372 6136 3166 1164 216.41 307.21/307.38 c 252078 3777 10457 580653 55 24574 6750 3267 1164 216.48 307.21/307.38 c 252328 3777 10707 598102 55 25076 7426 3517 1164 216.61 307.21/307.38 c 252803 3777 11182 623123 55 26024 8169 3992 1165 216.83 307.21/307.38 c 253616 3777 11995 666912 55 27650 8986 4805 1167 217.19 307.21/307.38 c 254936 3777 13315 739704 55 30290 9885 6125 1170 217.82 307.21/307.38 c 257017 3777 15396 878618 57 34451 10874 8206 1174 218.75 307.21/307.38 c 260240 3777 12629 366869 29 27088 11962 5439 1179 220.66 307.21/307.38 c 265177 3777 17566 710398 40 36961 13159 10376 1191 222.48 307.21/307.38 c 272683 3777 16419 539392 32 34667 14475 9229 1209 225.41 307.21/307.38 c 284045 3777 18325 1137029 62 38479 15923 11135 1214 233.94 307.21/307.38 c 301189 3777 15154 954275 62 32137 17516 7964 1197 251.57 307.21/307.38 c 327008 3777 18153 878296 48 38136 19268 10963 1195 273.44 307.21/307.38 c 365840 3777 20810 718527 34 43450 21195 13620 1250 292.61 307.21/307.38 o 65210 307.304 397.49/397.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 397.49/397.67 c 380871 3777 22368 927359 41 48394 6136 15178 1239 307.31 397.49/397.67 c 380972 3777 10361 228162 22 22551 6750 3171 1234 308.66 397.49/397.67 c 381222 3777 10611 245824 23 23053 7426 3421 1234 308.77 397.49/397.67 c 381697 3777 11086 273399 24 24002 8169 3896 1235 308.93 397.49/397.67 c 382511 3777 11900 351284 29 25630 8986 4710 1236 309.42 397.49/397.67 c 383831 3777 13220 416705 31 28270 9885 6030 1238 309.85 397.49/397.67 c 385912 3777 15301 581602 38 32432 10874 8111 1241 310.85 397.49/397.67 c 389135 3777 12629 464237 36 27088 11962 5439 1246 312.07 397.49/397.67 c 394071 3777 17565 831040 47 36960 13159 10375 1254 314.17 397.49/397.67 c 401577 3777 16528 669863 40 34886 14475 9338 1263 317.86 397.49/397.67 c 412938 3777 18448 755431 40 38726 15923 11258 1273 324.26 397.49/397.67 c 430083 3777 15154 1188346 78 32137 17516 7964 1261 340.97 397.49/397.67 c 455902 3777 19503 1144903 58 40835 19268 12313 1252 363.97 397.49/397.67 c 494735 3777 20642 1020734 49 43113 21195 13452 1244 397.56 397.49/397.67 o 64813 397.573 416.99/417.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 416.99/417.14 c 494744 3777 20652 1023371 49 44963 6136 13462 1244 397.58 416.99/417.14 c 494844 3777 10360 297260 28 22550 6750 3170 1242 398.12 416.99/417.14 c 495094 3777 10610 309937 29 23051 7426 3420 1243 398.19 416.99/417.14 c 495569 3777 11085 336415 30 24000 8169 3895 1243 398.38 416.99/417.14 c 496382 3777 11898 393070 33 25625 8986 4708 1244 398.88 416.99/417.14 c 497702 3777 13218 468448 35 28265 9885 6028 1246 399.29 416.99/417.14 c 499783 3777 15299 613254 40 32428 10874 8109 1248 400.35 416.99/417.14 c 503006 3777 12629 404752 32 27089 11962 5439 1252 401.66 416.99/417.14 c 507943 3777 17566 686381 39 36962 13159 10376 1257 403.90 416.99/417.14 c 515451 3777 16484 564094 34 34797 14475 9294 1266 406.98 416.99/417.14 c 526812 3777 18549 970698 52 38928 15923 11359 1271 414.44 416.99/417.14 o 64735 417.038 513.06/513.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 513.06/513.22 c 530811 3777 22549 1316636 58 48758 6136 15359 1272 417.04 513.06/513.22 c 530912 3777 10361 292653 28 22552 6750 3171 1272 417.25 513.06/513.22 c 531162 3777 10611 306260 28 23051 7426 3421 1272 417.35 513.06/513.22 c 531639 3777 11088 347233 31 24006 8169 3898 1273 417.62 513.06/513.22 c 532452 3777 11901 407481 34 25631 8986 4711 1274 417.90 513.06/513.22 c 533772 3777 13221 486440 36 28271 9885 6031 1275 418.51 513.06/513.22 c 535853 3777 15302 625053 40 32434 10874 8112 1277 419.32 513.06/513.22 c 539076 3777 12629 392546 31 27087 11962 5439 1280 421.02 513.06/513.22 c 544013 3777 17566 776310 44 36961 13159 10376 1285 423.35 513.06/513.22 c 551519 3777 16284 639410 39 34398 14475 9094 1292 426.57 513.06/513.22 c 562880 3777 18182 931018 51 38194 15923 10992 1297 433.70 513.06/513.22 c 580024 3777 15154 1197721 79 32138 17516 7964 1277 453.89 513.06/513.22 c 605843 3777 18185 1031809 56 38199 19268 10995 1267 477.93 513.06/513.22 c 644675 3777 21869 1133673 51 45569 21195 14679 1256 512.87 513.06/513.22 o 64320 513.096 572.86/573.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 572.86/573.05 c 645249 3777 22444 1179551 52 48550 6136 15254 1257 513.10 572.86/573.05 c 645350 3777 10361 253058 24 22553 6750 3171 1255 514.05 572.86/573.05 c 645600 3777 10611 267013 25 23053 7426 3421 1255 514.18 572.86/573.05 c 646075 3777 11086 288864 26 24003 8169 3896 1256 514.33 572.86/573.05 c 646888 3777 11899 337775 28 25629 8986 4709 1256 514.65 572.86/573.05 c 648208 3777 13219 432858 32 28268 9885 6029 1257 515.44 572.86/573.05 c 650290 3777 15301 551049 36 32432 10874 8111 1260 516.09 572.86/573.05 c 653514 3777 12629 335031 26 27088 11962 5439 1263 517.22 572.86/573.05 c 658450 3777 17565 637990 36 36961 13159 10375 1267 519.43 572.86/573.05 c 665956 3777 16265 754442 46 34360 14475 9075 1270 524.19 572.86/573.05 c 677319 3777 18290 705097 38 38410 15923 11100 1279 529.41 572.86/573.05 c 694463 3777 15752 1136082 72 33335 17516 8562 1268 547.46 572.86/573.05 c 720282 3777 19764 1010378 51 41358 19268 12574 1262 570.70 572.86/573.05 o 64318 572.917 1033.14/1033.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1033.14/1033.47 c 724549 3777 24032 1396442 58 51726 6136 16842 1264 572.92 1033.14/1033.47 c 724651 3777 10362 310384 29 22554 6750 3172 1264 573.25 1033.14/1033.47 c 724901 3777 10612 323893 30 23055 7426 3422 1264 573.32 1033.14/1033.47 c 725376 3777 11087 346256 31 24006 8169 3897 1264 573.42 1033.14/1033.47 c 726189 3777 11900 390772 32 25631 8986 4710 1265 573.62 1033.14/1033.47 c 727509 3777 13220 454942 34 28270 9885 6030 1267 574.14 1033.14/1033.47 c 729591 3777 15302 577012 37 32435 10874 8112 1268 575.06 1033.14/1033.47 c 732815 3777 12629 409291 32 27089 11962 5439 1270 576.62 1033.14/1033.47 c 737751 3777 17565 692656 39 36960 13159 10375 1275 578.40 1033.14/1033.47 c 745257 3777 16269 618504 38 34368 14475 9079 1281 581.61 1033.14/1033.47 c 756618 3777 18426 701827 38 38683 15923 11236 1285 588.73 1033.14/1033.47 c 773762 3777 15154 1024520 67 32139 17516 7964 1263 612.55 1033.14/1033.47 c 799581 3777 18852 937189 49 39535 19268 11662 1249 639.86 1033.14/1033.47 c 838413 3777 22104 1126677 50 46039 21195 14914 1251 670.15 1033.14/1033.47 c 896766 3777 27962 2204627 78 57755 23315 20772 1166 768.54 1033.14/1033.47 c 984399 3777 27445 3368913 122 56720 25647 20255 1108 887.75 1033.14/1033.47 c 1115952 3777 26451 1245597 47 54733 28212 19261 1080 1033.18 1033.14/1033.47 o 63569 1033.22 1129.88/1130.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1129.88/1130.23 c 1116017 3777 26517 1253500 47 56695 6136 19327 1080 1033.22 1129.88/1130.23 c 1116117 3777 10360 222515 21 22550 6750 3170 1079 1034.24 1129.88/1130.23 c 1116367 3777 10610 235541 22 23051 7426 3420 1079 1034.35 1129.88/1130.23 c 1116843 3777 11086 259777 23 24003 8169 3896 1079 1034.54 1129.88/1130.23 c 1117657 3777 11900 302030 25 25632 8986 4710 1080 1034.79 1129.88/1130.23 c 1118977 3777 13220 382000 28 28272 9885 6030 1080 1035.34 1129.88/1130.23 c 1121058 3777 15301 532414 34 32433 10874 8111 1081 1036.58 1129.88/1130.23 c 1124281 3777 12629 385865 30 27089 11962 5439 1083 1037.76 1129.88/1130.23 c 1129217 3777 17565 695658 39 36961 13159 10375 1086 1039.66 1129.88/1130.23 c 1136724 3777 16530 874510 52 34891 14475 9340 1088 1043.86 1129.88/1130.23 c 1148086 3777 18542 895736 48 38915 15923 11352 1090 1052.54 1129.88/1130.23 c 1165230 3777 15154 618583 40 32138 17516 7964 1094 1064.58 1129.88/1130.23 c 1191049 3777 18341 1498943 81 38513 19268 11151 1087 1095.62 1129.88/1130.23 c 1229881 3777 22015 1487276 67 45860 21195 14825 1088 1129.89 1129.88/1130.23 o 63504 1129.92 1186.59/1187.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1186.59/1187.03 c 1229927 3777 22062 1492018 67 47786 6136 14872 1088 1129.92 1186.59/1187.03 c 1230028 3777 10361 189996 18 22553 6750 3171 1088 1130.27 1186.59/1187.03 c 1230278 3777 10611 210906 19 23054 7426 3421 1088 1130.43 1186.59/1187.03 c 1230753 3777 11086 239030 21 24003 8169 3896 1088 1130.70 1186.59/1187.03 c 1231566 3777 11899 285613 24 25629 8986 4709 1088 1131.07 1186.59/1187.03 c 1232886 3777 13219 373846 28 28270 9885 6029 1089 1131.49 1186.59/1187.03 c 1234967 3777 15300 485348 31 32430 10874 8110 1090 1132.17 1186.59/1187.03 c 1238191 3777 12629 344689 27 27089 11962 5439 1092 1133.62 1186.59/1187.03 c 1243127 3777 17565 741346 42 36960 13159 10375 1093 1136.46 1186.59/1187.03 c 1250634 3777 16338 1077903 65 34507 14475 9148 1095 1141.66 1186.59/1187.03 c 1261995 3777 18165 1105270 60 38161 15923 10975 1098 1149.02 1186.59/1187.03 c 1279140 3777 15157 975941 64 32146 17516 7967 1097 1165.40 1186.59/1187.03 c 1304959 3777 19073 1264983 66 39977 19268 11883 1099 1186.62 1186.59/1187.03 o 63201 1186.63 1799.95/1800.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.55 c 1304959 3777 19074 1266853 66 41810 6136 11884 1099 1186.63 1799.95/1800.55 c 1305059 3777 10360 454918 43 22550 6750 3170 1099 1187.06 1799.95/1800.55 c 1305310 3777 10611 475850 44 23053 7426 3421 1099 1187.14 1799.95/1800.55 c 1305785 3777 11086 504810 45 24004 8169 3896 1099 1187.38 1799.95/1800.55 c 1306598 3777 11899 555019 46 25630 8986 4709 1100 1187.64 1799.95/1800.55 c 1307919 3777 13220 620402 46 28271 9885 6030 1100 1188.11 1799.95/1800.55 c 1310000 3777 15301 727772 47 32434 10874 8111 1101 1188.78 1799.95/1800.55 c 1313223 3777 12629 334741 26 27089 11962 5439 1103 1189.99 1799.95/1800.55 c 1318159 3777 17565 696553 39 36960 13159 10375 1105 1192.06 1799.95/1800.55 c 1325665 3777 16336 599356 36 34502 14475 9146 1109 1194.82 1799.95/1800.55 c 1337026 3777 18368 764982 41 38567 15923 11178 1113 1201.05 1799.95/1800.55 c 1354170 3777 15372 713422 46 32575 17516 8182 1116 1213.07 1799.95/1800.55 c 1379989 3777 19642 1105210 56 41115 19268 12452 1122 1229.78 1799.95/1800.55 c 1418822 3777 21811 1378546 63 45454 21195 14621 1115 1271.69 1799.95/1800.55 c 1477174 3777 26783 1277120 47 55397 23315 19593 1106 1335.10 1799.95/1800.55 c 1564806 3777 29155 1343581 46 60143 25647 21965 1109 1410.14 1799.95/1800.55 c 1696358 3777 19571 1520272 77 40974 28212 12381 1060 1600.31 1799.95/1800.55 c Resources Exceeded 1799.95/1800.55 v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 1799.95/1800.55 v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 1799.95/1800.55 v -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 1799.95/1800.55 v -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 1799.95/1800.55 v -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 1799.95/1800.55 v -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 x468 1799.95/1800.55 v -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 1799.95/1800.55 v -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 1799.95/1800.55 v -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 1799.95/1800.55 v -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 1799.95/1800.55 v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 x671 -x673 -x675 -x677 1799.95/1800.55 v -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 1799.95/1800.55 v -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 1799.95/1800.55 v -x763 -x765 -x767 -x769 -x771 -x773 x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x798 -x800 -x802 1799.95/1800.55 v -x804 -x806 -x808 -x810 -x812 x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 1799.95/1800.55 v -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 1799.95/1800.55 v -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 1799.95/1800.55 v -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 1799.95/1800.55 v -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 1799.95/1800.55 v -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 1799.95/1800.55 v -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 1799.95/1800.55 v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 1799.95/1800.55 v -x1114 -x1116 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 1799.95/1800.55 v x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 1799.95/1800.55 v -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 x1203 -x1205 -x1207 -x1209 -x1211 -x1213 1799.95/1800.55 v -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 1799.95/1800.55 v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 1799.95/1800.55 v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 1799.95/1800.55 v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 1799.95/1800.55 v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 x1376 -x1378 -x1380 -x1382 1799.95/1800.55 v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 1799.95/1800.55 v -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 1799.95/1800.55 v -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 1799.95/1800.55 v -x1486 -x1488 -x1490 x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 1799.95/1800.55 v -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 1799.95/1800.55 v -x1554 -x1556 -x1558 x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 1799.95/1800.55 v -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 1799.95/1800.55 v -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 x1646 -x1648 -x1650 -x1652 -x1654 1799.95/1800.55 v -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 1799.95/1800.55 v -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 1799.95/1800.55 v -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 1799.95/1800.55 v x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 1799.95/1800.55 v -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 1799.95/1800.55 v -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 1799.95/1800.55 v -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 1799.95/1800.55 v -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 1799.95/1800.55 v -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 1799.95/1800.55 v -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 1799.95/1800.55 v -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 1799.95/1800.55 v -x2030 -x2032 -x2034 -x2036 -x2038 x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 1799.95/1800.55 v -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 1799.95/1800.55 v -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 1799.95/1800.55 v -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 1799.95/1800.55 v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 1799.95/1800.55 v -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 1799.95/1800.55 v -x2234 x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 1799.95/1800.55 v -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 1799.95/1800.55 v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 1799.95/1800.55 v -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 1799.95/1800.55 v -x2370 -x2372 -x2374 -x2376 -x2378 x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 1799.95/1800.55 v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 1799.95/1800.55 v -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 1799.95/1800.55 v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 x2504 1799.95/1800.55 v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 1799.95/1800.55 v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 1799.95/1800.55 v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 1799.95/1800.55 v -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 1799.95/1800.55 v -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 1799.95/1800.55 v -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 1799.95/1800.55 v -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 1799.95/1800.55 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 1799.95/1800.55 v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 1799.95/1800.55 v -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 1799.95/1800.55 v -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 1799.95/1800.55 v -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 1799.95/1800.55 v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 1799.95/1800.55 v -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 1799.95/1800.55 v -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 1799.95/1800.55 v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 1799.95/1800.55 v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 1799.95/1800.55 v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 1799.95/1800.55 v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 1799.95/1800.55 v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 1799.95/1800.55 v -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 1799.95/1800.55 v -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 1799.95/1800.55 v -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 1799.95/1800.55 v -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 x3313 -x3315 -x3317 1799.95/1800.55 v x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 1799.95/1800.55 v -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 1799.95/1800.55 v -x3387 -x3389 -x3391 -x3393 x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 1799.95/1800.55 v -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 1799.95/1800.55 v -x3455 -x3457 -x3459 -x3461 -x3463 x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 1799.95/1800.55 v -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 1799.95/1800.55 v -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 1799.95/1800.55 v -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 1799.95/1800.55 v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 x3617 -x3619 -x3621 1799.95/1800.55 v -x3623 -x3625 -x3627 -x3629 x3631 -x3633 -x3635 -x3637 x3639 -x3641 -x3643 x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 1799.95/1800.55 v -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 1799.95/1800.55 v -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722 1799.95/1800.55 v -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 1799.95/1800.55 v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 -x3785 -x3787 1799.95/1800.55 v -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 1799.95/1800.55 v -x3823 -x3825 -x3827 x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 x3853 -x3855 -x3857 1799.95/1800.55 v -x3859 -x3861 -x3863 x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 1799.95/1800.55 v -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 x3905 x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 1799.95/1800.55 v x3929 -x3931 -x3933 -x3935 x3937 -x3939 -x3941 -x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x2 -x233 1799.95/1800.55 v -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 1799.95/1800.55 v -x273 -x275 -x277 -x279 -x281 -x283 x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 1799.95/1800.55 v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6 -x351 1799.95/1800.55 v -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387 -x389 1799.95/1800.55 v -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 -x14 -x423 1799.95/1800.55 v -x425 -x427 -x15 -x429 -x16 -x431 -x17 -x433 -x435 -x437 -x18 -x439 -x441 -x443 -x19 -x445 -x447 -x449 -x451 -x453 -x455 -x457 1799.95/1800.55 v -x459 -x461 -x463 -x465 x467 -x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 -x493 1799.95/1800.55 v -x495 -x497 -x23 -x499 -x501 -x503 -x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x25 -x527 -x529 1799.95/1800.55 v -x531 -x533 -x536 -x538 -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 -x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x29 1799.95/1800.55 v -x566 -x568 -x570 -x30 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 1799.95/1800.55 v -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 1799.95/1800.55 v -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 x670 -x672 -x674 -x676 -x32 -x678 -x680 -x682 -x684 1799.95/1800.55 v -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x33 -x700 -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 -x722 1799.95/1800.55 v -x724 -x726 -x728 -x730 -x35 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 1799.95/1800.55 v -x764 -x766 -x768 -x770 -x772 x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x799 -x801 -x803 -x805 1799.95/1800.55 v -x807 -x809 -x811 x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 1799.95/1800.55 v -x849 -x851 -x853 -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 1799.95/1800.55 v -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 x907 -x909 -x38 -x911 -x913 -x915 -x39 -x917 -x919 -x921 -x923 1799.95/1800.55 v -x925 -x927 -x929 -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 x955 -x957 -x959 -x961 -x963 1799.95/1800.55 v -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 1799.95/1800.55 v -x1005 -x1007 -x1009 -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031 -x1033 -x1035 1799.95/1800.55 v -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 -x1065 1799.95/1800.55 v -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x48 1799.95/1800.55 v -x1097 -x1099 -x1101 -x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 -x1128 1799.95/1800.55 v -x51 -x1130 -x1132 -x1134 -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 x1146 x54 -x1148 -x55 -x1150 -x56 -x1152 -x1154 -x1156 1799.95/1800.55 v -x57 -x1158 -x1160 -x1162 -x58 -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 -x1186 1799.95/1800.55 v -x1188 -x1190 -x1192 -x1194 -x1196 -x61 -x1198 -x1200 x1202 x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 -x1216 -x1218 1799.95/1800.55 v -x1220 -x64 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x66 1799.95/1800.55 v -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 -x1279 -x1281 1799.95/1800.55 v -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297 -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 1799.95/1800.55 v -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 1799.95/1800.55 v -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 x1375 -x1377 -x1379 -x1381 1799.95/1800.55 v -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x72 -x1413 1799.95/1800.55 v -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 1799.95/1800.55 v -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 1799.95/1800.55 v -x1483 -x1485 -x1487 -x1489 x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 1799.95/1800.55 v -x1517 -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 x76 -x1531 x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x77 -x1545 1799.95/1800.55 v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 1799.95/1800.55 v -x78 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 -x1609 1799.95/1800.55 v -x1611 -x1613 -x1615 -x1617 -x1619 -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 -x84 1799.95/1800.55 v -x1641 -x1643 x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 -x1673 1799.95/1800.55 v -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88 -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 -x1699 1799.95/1800.55 v -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 -x1713 -x94 -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 -x1727 1799.95/1800.55 v -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 x98 -x1755 x1757 -x1759 1799.95/1800.55 v -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100 -x1781 -x1783 -x1785 -x101 -x1787 -x1789 1799.95/1800.55 v -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 1799.95/1800.55 v -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 1799.95/1800.55 v -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881 -x1883 -x1885 1799.95/1800.55 v -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 -x108 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 1799.95/1800.55 v -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 -x1949 1799.95/1800.55 v -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 1799.95/1800.55 v -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 x2007 -x2009 -x2011 -x2013 -x2015 -x2017 1799.95/1800.55 v -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 1799.95/1800.55 v -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 1799.95/1800.55 v -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 -x2117 1799.95/1800.55 v -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 -x2149 1799.95/1800.55 v -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169 -x115 -x2171 -x2173 -x2175 x116 x2177 -x2179 1799.95/1800.55 v -x2181 -x2183 -x2185 -x2187 -x2189 -x117 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x118 -x2205 -x2207 -x2209 -x2211 1799.95/1800.55 v -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 x2235 -x2237 -x2239 -x2241 -x2243 -x2245 1799.95/1800.55 v -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 1799.95/1800.55 v -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309 -x2311 1799.95/1800.55 v -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 1799.95/1800.55 v -x2345 -x2347 -x121 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 -x2375 1799.95/1800.55 v x123 -x2377 x2379 -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 -x2405 1799.95/1800.55 v -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 1799.95/1800.55 v -x2439 -x127 -x2441 -x2443 -x128 -x2445 -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 1799.95/1800.55 v -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130 -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 -x2497 1799.95/1800.55 v -x2499 -x2501 -x133 x2503 x134 -x2505 -x135 -x2507 -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 -x137 -x2523 1799.95/1800.55 v -x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 1799.95/1800.55 v -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571 -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585 1799.95/1800.55 v -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 1799.95/1800.55 v -x2617 -x2619 -x2621 x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x147 -x2645 -x2647 1799.95/1800.55 v -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 1799.95/1800.55 v -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 1799.95/1800.55 v -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 1799.95/1800.55 v -x2752 x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148 -x2784 1799.95/1800.55 v -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 1799.95/1800.55 v -x2818 -x2820 -x2822 -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 1799.95/1800.55 v -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 -x2880 1799.95/1800.55 v -x153 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 -x2912 1799.95/1800.55 v -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 1799.95/1800.55 v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 1799.95/1800.55 v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 1799.95/1800.55 v -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 1799.95/1800.55 v -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 1799.95/1800.55 v -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 1799.95/1800.55 v -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 -x3143 1799.95/1800.55 v -x3145 -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x161 -x3175 1799.95/1800.55 v -x3177 -x3179 -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x164 1799.95/1800.55 v -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 -x3236 -x3238 1799.95/1800.55 v -x3240 -x167 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 1799.95/1800.55 v -x168 -x3272 -x3274 -x3276 -x169 -x3278 -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 -x3296 -x3298 1799.95/1800.55 v -x172 -x3300 -x173 -x3302 -x174 -x3304 -x3306 -x3308 x175 -x3310 x3312 -x3314 x176 -x3316 x3318 -x3320 -x177 -x3322 -x3324 1799.95/1800.55 v -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 -x3354 -x3356 1799.95/1800.55 v -x179 -x3358 -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 1799.95/1800.55 v -x3390 -x3392 x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x181 -x3420 -x3422 1799.95/1800.55 v -x3424 -x3426 -x3428 -x3430 -x3432 x3434 -x3436 -x3438 -x182 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 1799.95/1800.55 v -x3458 -x3460 -x3462 x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 1799.95/1800.55 v -x183 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x184 -x3522 1799.95/1800.55 v -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 1799.95/1800.55 v -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 1799.95/1800.55 v -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610 -x3612 -x3614 x3616 1799.95/1800.55 v x192 -x3618 -x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 x3630 -x3632 -x3634 -x3636 x3638 -x3640 -x3642 x3644 -x3646 1799.95/1800.55 v -x3648 -x195 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3677 -x3679 1799.95/1800.55 v -x3681 -x3683 -x3685 -x196 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 1799.95/1800.55 v -x3713 -x3715 -x3717 -x3720 -x3723 -x3725 -x197 -x3727 -x3729 -x3731 -x3733 -x3735 x198 -x3737 -x3739 -x3741 x3743 -x3745 1799.95/1800.55 v -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 1799.95/1800.55 v -x3779 -x3782 -x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 1799.95/1800.55 v -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 x3828 -x3830 -x3832 -x3834 -x202 -x3836 -x3838 -x3840 -x203 -x3842 1799.95/1800.55 v -x3844 -x3846 -x3848 -x3850 -x204 x3852 x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862 x3864 -x3866 -x3868 -x3870 -x207 1799.95/1800.55 v -x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 -x210 -x3896 -x3898 -x3900 1799.95/1800.55 v -x3902 x3904 x3906 -x3908 -x211 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 x3928 -x3930 -x3932 -x3934 1799.95/1800.55 v x3936 x212 -x3938 -x213 -x3940 -x214 -x3942 -x215 -x3944 x216 1799.95/1800.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.55 c 179 1856045 1230597 8178135 26725 1845561 19535 1031 1800.01 1799.95/1800.55 c Objective: 63201 1799.95/1800.55 s SATISFIABLE 1799.95/1800.55 c Total time: 1800.01 s
OK 63201
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-373461-1177195338 -o ROOT/results/node68/solver-373461-1177195338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373461-1177195338/instance-373461-1177195338.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10916 /proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=12004 CPUtime=0 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 195523327 12292096 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 3001 336 281 324 0 2003 0 [startup+0.00876998 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10916 /proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=4352 CPUtime=0 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 1 0 195523327 4456448 382 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 1088 383 289 324 0 90 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4352 [startup+0.101779 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10916 /proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=5904 CPUtime=0.09 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 959 0 0 0 8 1 0 0 18 0 1 0 195523327 6045696 856 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 1476 856 307 324 0 545 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5904 [startup+0.301796 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10916 /proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=6292 CPUtime=0.28 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 1062 0 0 0 27 1 0 0 19 0 1 0 195523327 6443008 959 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 1573 959 313 324 0 642 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6292 [startup+0.701832 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10916 /proc/meminfo: memFree=1771328/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=7324 CPUtime=0.69 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 1321 0 0 0 67 2 0 0 22 0 1 0 195523327 7499776 1218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 1831 1218 313 324 0 900 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7324 [startup+1.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1767096/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=8616 CPUtime=1.48 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 1644 0 0 0 146 2 0 0 25 0 1 0 195523327 8822784 1541 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 2154 1541 313 324 0 1223 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8616 [startup+3.10105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1764920/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=12292 CPUtime=3.09 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 2556 0 0 0 305 4 0 0 25 0 1 0 195523327 12587008 2453 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 3073 2453 313 324 0 2142 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12292 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1757624/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=18552 CPUtime=6.28 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 4099 0 0 0 622 6 0 0 25 0 1 0 195523327 18997248 3996 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 4638 3996 313 324 0 3707 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18552 [startup+12.7029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1753336/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=21280 CPUtime=12.69 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 4805 0 0 0 1259 10 0 0 25 0 1 0 195523327 21790720 4702 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 5320 4702 313 324 0 4389 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21280 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1749560/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=25116 CPUtime=25.48 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 5757 0 0 0 2532 16 0 0 25 0 1 0 195523327 25718784 5654 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134587038 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 6279 5654 313 324 0 5348 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25116 [startup+51.1014 s] /proc/loadavg: 1.05 1.01 1.00 2/65 10917 /proc/meminfo: memFree=1733688/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=41016 CPUtime=51.07 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9735 0 0 0 5081 26 0 0 25 0 1 0 195523327 42000384 9632 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10254 9632 313 324 0 9323 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41016 [startup+102.306 s] /proc/loadavg: 1.08 1.03 1.00 2/65 10917 /proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40664 CPUtime=102.26 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9735 0 0 0 10173 53 0 0 25 0 1 0 195523327 41639936 9556 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10166 9556 313 324 0 9235 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40664 [startup+162.301 s] /proc/loadavg: 1.03 1.02 1.00 2/65 10917 /proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40672 CPUtime=162.25 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9737 0 0 0 16161 64 0 0 25 0 1 0 195523327 41648128 9558 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10168 9558 313 324 0 9237 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 40672 [startup+222.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 10917 /proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40672 CPUtime=222.23 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9737 0 0 0 22134 89 0 0 25 0 1 0 195523327 41648128 9558 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10168 9558 313 324 0 9237 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 40672 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10917 /proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40672 CPUtime=282.22 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9737 0 0 0 28106 116 0 0 25 0 1 0 195523327 41648128 9558 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10168 9558 313 324 0 9237 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 40672 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40680 CPUtime=342.2 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 34067 153 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10170 9560 313 324 0 9239 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 40680 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40680 CPUtime=402.19 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 40046 173 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10170 9560 313 324 0 9239 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 40680 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1733752/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40680 CPUtime=462.18 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 46016 202 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10170 9560 313 324 0 9239 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 40680 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1733816/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40680 CPUtime=522.17 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 51996 221 0 0 25 0 1 0 195523327 41656320 9560 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10170 9560 313 324 0 9239 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 40680 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1733816/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40628 CPUtime=582.15 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 57965 250 0 0 25 0 1 0 195523327 41603072 9547 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10157 9547 313 324 0 9226 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 40628 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1733816/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=40628 CPUtime=642.14 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 9739 0 0 0 63947 267 0 0 25 0 1 0 195523327 41603072 9547 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 10157 9547 313 324 0 9226 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 40628 ################ # More data... # ################ /proc/meminfo: memFree=1716920/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57368 CPUtime=1062.04 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 105838 366 0 0 25 0 1 0 195523327 58744832 13732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14342 13732 313 324 0 13411 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 57368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10917 /proc/meminfo: memFree=1716920/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57368 CPUtime=1122.02 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 111817 385 0 0 25 0 1 0 195523327 58744832 13732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14342 13732 313 324 0 13411 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 57368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1716768/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57368 CPUtime=1181.89 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 117776 413 0 0 25 0 1 0 195523327 58744832 13732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14342 13732 313 324 0 13411 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 57368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1716792/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57364 CPUtime=1241.88 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 123741 447 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14341 13731 313 324 0 13410 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 57364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1716792/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57364 CPUtime=1301.87 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 129726 461 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14341 13731 313 324 0 13410 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 57364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1716792/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57364 CPUtime=1361.85 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 135709 476 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14341 13731 313 324 0 13410 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 57364 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1716984/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57364 CPUtime=1421.83 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 141692 491 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14341 13731 313 324 0 13410 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 57364 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1716984/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57364 CPUtime=1481.82 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 147680 502 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14341 13731 313 324 0 13410 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 57364 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1717048/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=57364 CPUtime=1541.81 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 14347 0 0 0 153664 517 0 0 25 0 1 0 195523327 58740736 13731 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 14341 13731 313 324 0 13410 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 57364 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712632/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61852 CPUtime=1601.79 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15463 0 0 0 159649 530 0 0 25 0 1 0 195523327 63336448 14847 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15463 14847 313 324 0 14532 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 61852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1661.78 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 165626 552 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 61844 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1721.76 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 171602 574 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 61844 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1781.75 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 177589 586 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 61844 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1791.35 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 178548 587 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 61844 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1794.55 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 178868 587 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 61844 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1797.75 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179187 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 61844 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1799.35 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179347 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1799.35 Current children cumulated vsize (KiB) 61844 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1799.75 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179387 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (KiB) 61844 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11115 /proc/meminfo: memFree=1712568/2055920 swapFree=4183868/4192956 [pid=10916] ppid=10914 vsize=61844 CPUtime=1799.95 /proc/10916/stat : 10916 (bsolo3.0.16) R 10914 10916 10180 0 -1 4194304 15465 0 0 0 179407 588 0 0 25 0 1 0 195523327 63328256 14849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10916/statm: 15461 14849 313 324 0 14530 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 61844 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.02 CPU user time (s): 1794.13 CPU system time (s): 5.8911 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 61860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.13 system time used= 5.8911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15466 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= 12 involuntary context switches= 4426 runsolver used 1.21081 second user time and 3.76243 second system time The end
Begin job on node68 on Sat Apr 21 22:42:18 UTC 2007 IDJOB= 373461 IDBENCH= 25048 IDSOLVER= 163 FILE ID= node68/373461-1177195338 PBS_JOBID= 4649069 Free space on /tmp= 66323 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373461-1177195338/instance-373461-1177195338.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-373461-1177195338 -o ROOT/results/node68/solver-373461-1177195338 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373461-1177195338/instance-373461-1177195338.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED= 313771250 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1771736 kB Buffers: 31468 kB Cached: 190584 kB SwapCached: 2824 kB Active: 89300 kB Inactive: 142312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771736 kB SwapTotal: 4192956 kB SwapFree: 4183868 kB Dirty: 4656 kB Writeback: 0 kB Mapped: 15596 kB Slab: 38672 kB Committed_AS: 2828772 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66323 MiB End job on node68 on Sat Apr 21 23:12:19 UTC 2007