Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 0 | 1782.74 | 1783.24 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow7.opb |
MD5SUM | 8d33b9e58f24eb64e3fc155c85c275f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 7994 |
Total number of constraints | 420 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 623 |
Biggest coefficient in the objective function | 28673 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524874 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524874 |
Number of bits of the biggest sum of numbers | 20 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.23 c starting to Solve 0.23 c #variables read: 7994 - #constraints read: 561 0.25 o 0 1783.23 c total time : 1783 s 1783.23 s SATISFIABLE 1783.23 v -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 1783.23 v -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7582 -x7583 -x7584 -x7585 1783.23 v -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 1783.23 v -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 1783.23 v -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 1783.23 v -x7811 -x7812 -x7813 -x7814 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 1783.23 v -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 1783.23 v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 1783.23 v -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7815 -x7816 -x7817 -x7818 -x7819 1783.23 v -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 1783.23 v -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 1783.23 v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 1783.23 v -x7458 -x7459 -x7460 -x7461 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 1783.23 v -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7845 1783.23 v -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 1783.23 v -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7462 -x7463 -x7464 -x7465 -x7466 1783.23 v -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 1783.23 v -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 1783.23 v -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 1783.23 v -x7695 -x7696 -x7697 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 1783.23 v -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7492 1783.23 v -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 1783.23 v -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7698 -x7699 -x7700 -x7701 -x7702 1783.23 v -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 1783.23 v -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 1783.23 v -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 1783.23 v -x7932 -x7933 -x7934 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 1783.23 v -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7727 1783.23 v -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 1783.23 v -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 1783.23 v -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 1783.23 v -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 1783.23 v -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 1783.23 v -x7579 -x7580 -x7581 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 1783.23 v -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7965 -x7966 1783.23 v -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 1783.23 v -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 1783.23 v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 1783.23 v -x4266 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 1783.23 v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4607 -x4608 -x4609 -x4610 -x4611 1783.23 v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 1783.23 v -x4629 -x4630 -x4631 -x4632 -x4633 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 1783.23 v -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4985 -x4986 1783.23 v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 1783.23 v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1783.23 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5342 -x5343 1783.23 v -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 1783.23 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 1783.23 v -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5706 1783.23 v -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 1783.23 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 1783.23 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 1783.23 v -x5908 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 1783.23 v -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6280 -x6281 -x6282 -x6283 1783.23 v -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1783.23 v -x6301 -x6302 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 1783.23 v -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 1783.23 v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 1783.23 v -x6640 -x6641 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 1783.23 v -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 1783.23 v -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 1783.23 v -x7003 -x7004 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 1783.23 v -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x4267 1783.23 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 1783.23 v -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 1783.23 v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1783.23 v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 1783.23 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 1783.23 v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 1783.23 v -x4847 -x4848 -x4849 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 1783.23 v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 1783.23 v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 1783.23 v -x5209 -x5210 -x5211 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 1783.23 v -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5550 -x5551 -x5552 -x5553 -x5554 1783.23 v -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 1783.23 v -x5572 -x5573 -x5574 -x5575 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 1783.23 v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5909 -x5910 -x5911 -x5912 -x5913 1783.23 v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 1783.23 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 1783.23 v -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 1783.23 v -x6134 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 1783.23 v -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 1783.23 v -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6642 -x6643 1783.23 v -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 1783.23 v -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 1783.23 v -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x7005 1783.23 v -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 1783.23 v -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 1783.23 v -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 1783.23 v -x7213 -x7214 -x7215 -x7216 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1783.23 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 1783.23 v -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 1783.23 v -x4490 -x4491 -x4492 -x4493 -x4494 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 1783.23 v -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4850 -x4851 1783.23 v -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 1783.23 v -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 1783.23 v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5212 1783.23 v -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 1783.23 v -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 1783.23 v -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 1783.23 v -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 1783.23 v -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 1783.23 v -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 1783.23 v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 1783.23 v -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 1783.23 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 1783.23 v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 1783.23 v -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6491 -x6492 -x6493 -x6494 -x6495 1783.23 v -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 1783.23 v -x6513 -x6514 -x6515 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 1783.23 v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6850 -x6851 -x6852 -x6853 -x6854 1783.23 v -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 1783.23 v -x6872 -x6873 -x6874 -x6875 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 1783.23 v -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7217 -x7218 -x7219 -x7220 -x7221 1783.23 v -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 1783.23 v -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 1783.23 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4495 1783.23 v -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 1783.23 v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 1783.23 v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 1783.23 v -x4712 -x4713 -x4714 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1783.23 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x5060 -x5061 -x5062 -x5063 1783.23 v -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 1783.23 v -x5081 -x5082 -x5083 -x5084 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 1783.23 v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5420 -x5421 -x5422 -x5423 1783.23 v -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 1783.23 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 1783.23 v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5781 -x5782 -x5783 1783.23 v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 1783.23 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 1783.23 v -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x6164 1783.23 v -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 1783.23 v -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 1783.23 v -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 1783.23 v -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 1783.23 v -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 1783.23 v -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 1783.23 v -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 1783.23 v -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 1783.23 v -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 1783.23 v -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 1783.23 v -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x4339 -x4340 -x4341 1783.23 v -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 1783.23 v -x4359 -x4360 -x4361 -x4362 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 1783.23 v -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4715 -x4716 1783.23 v -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 1783.23 v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1783.23 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 1783.23 v -x4930 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1783.23 v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 1783.23 v -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 1783.23 v -x5289 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 1783.23 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 1783.23 v -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 1783.23 v -x5652 -x5653 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 1783.23 v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 1783.23 v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 1783.23 v -x6017 -x6018 -x6019 -x6020 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 1783.23 v -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6372 1783.23 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1783.23 v -x6390 -x6391 -x6392 -x6393 -x6394 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 1783.23 v -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6720 -x6721 -x6722 -x6723 1783.23 v -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 1783.23 v -x6741 -x6742 -x6743 -x6744 -x6745 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 1783.23 v -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x7080 -x7081 -x7082 1783.23 v -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 1783.23 v -x7100 -x7101 -x7102 -x7103 -x7104 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 1783.23 v -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 1783.23 v -x7308 -x7309 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 1783.23 v -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1783.23 v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 1783.23 v -x4576 -x4577 -x4578 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 1783.23 v -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4931 -x4932 -x4933 -x4934 1783.23 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 1783.23 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1783.23 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5290 -x5291 -x5292 1783.23 v -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 1783.23 v -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 1783.23 v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5654 -x5655 1783.23 v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 1783.23 v -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 1783.23 v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x6021 -x6022 1783.23 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 1783.23 v -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 1783.23 v -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 1783.23 v -x6247 -x6248 -x6249 -x6250 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 1783.23 v -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 1783.23 v -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 1783.23 v -x6590 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 1783.23 v -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 1783.23 v -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 1783.23 v -x6952 -x6953 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 1783.23 v -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 1783.23 v -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 1783.23 v -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 1783.23 v -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4579 -x4580 -x4581 1783.23 v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 1783.23 v -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 1783.23 v -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 1783.23 v -x4795 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 1783.23 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 1783.23 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 1783.23 v -x5158 -x5159 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 1783.23 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 1783.23 v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 1783.23 v -x5521 -x5522 -x5523 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 1783.23 v -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5856 -x5857 -x5858 -x5859 -x5860 1783.23 v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 1783.23 v -x5878 -x5879 -x5880 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 1783.23 v -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6251 -x6252 -x6253 1783.23 v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1783.23 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 1783.23 v -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6591 -x6592 1783.23 v -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 1783.23 v -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 1783.23 v -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6954 -x6955 1783.23 v -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 1783.23 v -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 1783.23 v -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7341 -x7342 1783.23 v -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 1783.23 v -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x603 -x604 -x605 -x606 -x607 -x608 1783.23 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x764 -x765 -x766 -x767 1783.23 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1783.23 v -x789 -x790 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1783.23 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1783.23 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1317 -x1318 1783.23 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1783.23 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 1783.23 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1660 -x1661 -x1662 -x1663 1783.23 v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 1783.23 v -x1681 -x1682 -x1683 -x1684 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 1783.23 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x2010 -x2011 -x2012 -x2013 -x2014 1783.23 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1783.23 v -x2032 -x2033 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1783.23 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2367 -x2368 -x2369 -x2370 -x2371 1783.23 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 1783.23 v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 1783.23 v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1783.23 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 1783.23 v -x2740 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1783.23 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1783.23 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1783.23 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 1783.23 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1783.23 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 1783.23 v -x3430 -x3431 -x3432 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 1783.23 v -x643 -x644 -x645 -x646 -x647 -x648 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1783.23 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1783.23 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1161 -x1162 1783.23 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1783.23 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1783.23 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1510 -x1511 -x1512 1783.23 v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 1783.23 v -x1530 -x1531 -x1532 -x1533 -x1534 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1783.23 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1860 -x1861 -x1862 -x1863 1783.23 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1783.23 v -x1881 -x1882 -x1883 -x1884 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 1783.23 v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1783.23 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1783.23 v -x2228 -x2229 -x2230 -x2231 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1783.23 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2585 -x2586 1783.23 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1783.23 v -x2604 -x2605 -x2606 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 1783.23 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1783.23 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1783.23 v -x2934 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1783.23 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 1783.23 v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3433 1783.23 v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 1783.23 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x649 -x650 -x651 -x652 -x653 -x654 1783.23 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x818 -x819 -x820 -x821 1783.23 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1783.23 v -x843 -x844 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1783.23 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1783.23 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1783.23 v -x1211 -x1212 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1783.23 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1783.23 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 1783.23 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1783.23 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 1783.23 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x2058 1783.23 v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 1783.23 v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1783.23 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2423 1783.23 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1783.23 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1783.23 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2765 -x2766 1783.23 v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 1783.23 v -x2784 -x2785 -x2786 -x2787 -x2788 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1783.23 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x3110 -x3111 -x3112 -x3113 1783.23 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1783.23 v -x3131 -x3132 -x3133 -x3134 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 1783.23 v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 1783.23 v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 1783.23 v -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 1783.23 v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1783.23 v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x1031 -x1032 -x1033 1783.23 v -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1783.23 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1783.23 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1389 -x1390 1783.23 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1783.23 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1783.23 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1735 -x1736 -x1737 -x1738 1783.23 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1783.23 v -x1756 -x1757 -x1758 -x1759 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1783.23 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x2082 -x2083 -x2084 -x2085 -x2086 1783.23 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1783.23 v -x2104 -x2105 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 1783.23 v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2451 -x2452 -x2453 -x2454 -x2455 1783.23 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1783.23 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1783.23 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 1783.23 v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 1783.23 v -x2812 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1783.23 v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1783.23 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1783.23 v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 1783.23 v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 1783.23 v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 1783.23 v -x3520 -x3521 -x3522 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 1783.23 v -x712 -x713 -x714 -x715 -x716 -x717 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1783.23 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1783.23 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1783.23 v -x1081 -x1082 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 1783.23 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1783.23 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1783.23 v -x1436 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1783.23 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 1783.23 v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 1783.23 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1783.23 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1783.23 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2286 -x2287 1783.23 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1783.23 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1783.23 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1783.23 v -x2505 -x2506 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1783.23 v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 1783.23 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2985 -x2986 -x2987 1783.23 v -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 1783.23 v -x3005 -x3006 -x3007 -x3008 -x3009 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1783.23 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3331 -x3332 -x3333 -x3334 1783.23 v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 1783.23 v -x3352 -x3353 -x3354 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 1783.23 v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x718 1783.23 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1783.23 v -x740 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1783.23 v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1783.23 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1265 -x1266 1783.23 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1783.23 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1783.23 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1610 -x1611 -x1612 1783.23 v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 1783.23 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1783.23 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1960 -x1961 -x1962 -x1963 1783.23 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1783.23 v -x1981 -x1982 -x1983 -x1984 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1783.23 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 1783.23 v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1783.23 v -x2336 -x2337 -x2338 -x2339 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 1783.23 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2673 -x2674 1783.23 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1783.23 v -x2692 -x2693 -x2694 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1783.23 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 1783.23 v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 1783.23 v -x3034 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1783.23 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 1783.23 v -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3553 1783.23 v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 1783.23 v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x741 -x742 -x743 -x744 -x745 -x746 1783.23 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x926 -x927 -x928 -x929 1783.23 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1783.23 v -x951 -x952 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1783.23 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1783.23 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1783.23 v -x1315 -x1316 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 1783.23 v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1783.23 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 1783.23 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1783.23 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1783.23 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2154 1783.23 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1783.23 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1783.23 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2535 1783.23 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1783.23 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 1783.23 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2861 -x2862 1783.23 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1783.23 v -x2880 -x2881 -x2882 -x2883 -x2884 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1783.23 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3210 -x3211 -x3212 -x3213 1783.23 v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 1783.23 v -x3231 -x3232 -x3233 -x3234 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 1783.23 v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 1783.23 v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 1783.23 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 1783.23 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1783.23 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x400 -x401 -x402 -x403 1783.23 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1783.23 v -x425 -x426 -x427 -x428 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 1783.23 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 1783.23 v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x429 -x430 -x431 -x432 -x433 -x434 -x435 1783.23 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 1783.23 v -x457 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1783.23 v -x83 -x84 -x85 -x86 -x87 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1783.23 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1783.23 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x88 -x89 1783.23 v -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 1783.23 v -x113 -x114 -x115 -x116 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 1783.23 v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 1783.23 v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x117 -x118 1783.23 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1783.23 v -x140 -x141 -x142 -x143 -x144 -x145 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1783.23 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1783.23 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1783.23 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 1783.23 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1783.23 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x545 -x546 -x547 -x548 -x549 -x550 1783.23 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1783.23 v -x572 -x573 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1783.23 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1783.23 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x574 -x575 -x576 -x577 1783.23 v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1783.23 v -x599 -x600 -x601 -x602 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 1783.23 v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 1783.23 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 1783.23 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 1783.23 v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1783.23 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 1783.23 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1783.23 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1783.23 v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 1783.23 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1783.23 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1783.23 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 1783.23 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1783.23 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 1783.23 v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1783.23 v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1783.23 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1783.23 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1783.23 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 1783.23 v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 1783.23 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 1783.23 v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 1783.23 v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1783.23 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1783.23 v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 1783.23 v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 1783.23 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1783.23 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 1783.23 v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 1783.23 v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 1783.23 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 1783.23 v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 1783.23 v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 1783.23 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1783.23 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1783.23 v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1783.23 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 1783.23 v -x4239 -x4240 -x4241 -x4242
OK 0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node64/watcher-37667-1149342920 -o ROOT/results/node64/solver-37667-1149342920 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node64/37667-1149342920/instance-37667-1149342920.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1444336/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=2328 CPUtime=0 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 69 0 0 0 0 0 0 0 19 0 1 0 36283307 2383872 54 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6900429 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 582 66 52 16 0 11 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1436736/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=9964 CPUtime=9.99 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 2134 0 0 0 996 3 0 0 25 0 1 0 36283307 10203136 2105 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 2491 2105 205 16 0 1932 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9964 [startup+20.0077 s] /proc/loadavg: 0.94 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1434752/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=12036 CPUtime=19.99 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 2634 0 0 0 1995 4 0 0 25 0 1 0 36283307 12324864 2605 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3009 2605 205 16 0 2450 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12036 [startup+30.0135 s] /proc/loadavg: 0.95 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1433408/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=13300 CPUtime=30 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 2968 0 0 0 2994 6 0 0 25 0 1 0 36283307 13619200 2939 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3325 2939 205 16 0 2766 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13300 [startup+40.0194 s] /proc/loadavg: 0.96 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1433408/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=13300 CPUtime=39.99 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 2968 0 0 0 3992 7 0 0 25 0 1 0 36283307 13619200 2939 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3325 2939 205 16 0 2766 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 13300 [startup+50.0253 s] /proc/loadavg: 0.96 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1433408/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=13300 CPUtime=50 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 2968 0 0 0 4990 10 0 0 25 0 1 0 36283307 13619200 2939 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3325 2939 205 16 0 2766 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 13300 [startup+60.0302 s] /proc/loadavg: 0.97 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1433088/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=13700 CPUtime=60 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 3049 0 0 0 5987 13 0 0 25 0 1 0 36283307 14028800 3020 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3425 3020 205 16 0 2866 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 13700 [startup+70.0361 s] /proc/loadavg: 0.97 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1432896/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=13828 CPUtime=70.01 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 3106 0 0 0 6986 15 0 0 25 0 1 0 36283307 14159872 3077 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3457 3077 205 16 0 2898 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 13828 [startup+80.0419 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1431040/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=15748 CPUtime=80.01 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 3561 0 0 0 7985 16 0 0 25 0 1 0 36283307 16125952 3532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3937 3532 205 16 0 3378 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 15748 [startup+90.0478 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1431104/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=15748 CPUtime=90.02 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 3561 0 0 0 8984 18 0 0 25 0 1 0 36283307 16125952 3532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 3937 3532 205 16 0 3378 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 15748 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1428416/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=18336 CPUtime=100.02 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 4233 0 0 0 9983 19 0 0 25 0 1 0 36283307 18776064 4204 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 4584 4204 205 16 0 4025 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 18336 [startup+110.06 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1427328/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=19532 CPUtime=110.02 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 4495 0 0 0 10982 20 0 0 25 0 1 0 36283307 20000768 4466 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528015 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 4883 4466 205 16 0 4324 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 19532 [startup+120.065 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1426176/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=20576 CPUtime=120.02 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 4783 0 0 0 11981 21 0 0 25 0 1 0 36283307 21069824 4754 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520215 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5144 4754 205 16 0 4585 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 20576 [startup+130.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425280/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21476 CPUtime=130.03 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5009 0 0 0 12981 22 0 0 25 0 1 0 36283307 21991424 4980 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5369 4980 205 16 0 4810 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 21476 [startup+140.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425216/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21476 CPUtime=140.03 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5009 0 0 0 13980 23 0 0 25 0 1 0 36283307 21991424 4980 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5369 4980 205 16 0 4810 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 21476 [startup+150.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425216/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21476 CPUtime=150.04 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5009 0 0 0 14979 25 0 0 25 0 1 0 36283307 21991424 4980 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5369 4980 205 16 0 4810 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 21476 [startup+160.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425152/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21604 CPUtime=160.04 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5042 0 0 0 15977 27 0 0 25 0 1 0 36283307 22122496 5013 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5401 5013 205 16 0 4842 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 21604 [startup+170.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425152/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21736 CPUtime=170.04 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5050 0 0 0 16976 28 0 0 25 0 1 0 36283307 22257664 5021 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5434 5021 205 16 0 4875 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 21736 [startup+180.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425088/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21736 CPUtime=180.05 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5050 0 0 0 17973 32 0 0 25 0 1 0 36283307 22257664 5021 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557247 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5434 5021 205 16 0 4875 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 21736 [startup+190.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425088/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21736 CPUtime=190.05 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5050 0 0 0 18972 33 0 0 25 0 1 0 36283307 22257664 5021 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5434 5021 205 16 0 4875 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 21736 [startup+200.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425088/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=21736 CPUtime=200.05 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 5050 0 0 0 19969 36 0 0 25 0 1 0 36283307 22257664 5021 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 5434 5021 205 16 0 4875 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 21736 [startup+210.117 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6008 /proc/meminfo: memFree=1425088/2055920 swapFree=4192036/4192956 ################ # More data... # ################ /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1590.46 Current children cumulated vsize (Kb) 28204 [startup+1600.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1600.47 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 159695 352 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1600.47 Current children cumulated vsize (Kb) 28204 [startup+1610.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1610.47 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 160694 353 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1610.47 Current children cumulated vsize (Kb) 28204 [startup+1620.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1620.47 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 161693 354 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1620.47 Current children cumulated vsize (Kb) 28204 [startup+1630.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1630.48 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 162692 356 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1630.48 Current children cumulated vsize (Kb) 28204 [startup+1640.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418304/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1640.48 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 163690 358 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532093 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1640.48 Current children cumulated vsize (Kb) 28204 [startup+1650.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1650.48 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 164690 358 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1650.48 Current children cumulated vsize (Kb) 28204 [startup+1660.96 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1660.49 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 165690 359 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1660.49 Current children cumulated vsize (Kb) 28204 [startup+1670.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1670.49 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 166689 360 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1670.49 Current children cumulated vsize (Kb) 28204 [startup+1680.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1680.49 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 167688 361 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528207 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1680.49 Current children cumulated vsize (Kb) 28204 [startup+1690.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1690.5 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 168687 363 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1690.5 Current children cumulated vsize (Kb) 28204 [startup+1700.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1700.5 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 169682 368 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528290 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1700.5 Current children cumulated vsize (Kb) 28204 [startup+1710.99 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1710.5 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 170681 369 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1710.5 Current children cumulated vsize (Kb) 28204 [startup+1720.99 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418368/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1720.5 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 171679 371 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1720.5 Current children cumulated vsize (Kb) 28204 [startup+1731 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1418304/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=28204 CPUtime=1730.51 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 6908 0 0 0 172677 374 0 0 25 0 1 0 36283307 28880896 6661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7051 6661 205 16 0 6492 0 Current children cumulated CPU time (s) 1730.51 Current children cumulated vsize (Kb) 28204 [startup+1741.01 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1417536/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=29108 CPUtime=1740.51 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 7129 0 0 0 173675 376 0 0 25 0 1 0 36283307 29806592 6882 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7277 6882 205 16 0 6718 0 Current children cumulated CPU time (s) 1740.51 Current children cumulated vsize (Kb) 29108 [startup+1751.01 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1417024/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=29612 CPUtime=1750.52 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 7253 0 0 0 174673 379 0 0 25 0 1 0 36283307 30322688 7006 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7394939 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 7403 7006 205 16 0 6844 0 Current children cumulated CPU time (s) 1750.52 Current children cumulated vsize (Kb) 29612 [startup+1761.02 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1414464/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=32152 CPUtime=1760.52 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 7877 0 0 0 175671 381 0 0 25 0 1 0 36283307 32923648 7630 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 8038 7630 205 16 0 7479 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 32152 [startup+1771.03 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1414464/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=32152 CPUtime=1770.52 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 7877 0 0 0 176671 381 0 0 25 0 1 0 36283307 32923648 7630 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 8038 7630 205 16 0 7479 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 32152 [startup+1781.03 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1414464/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=32088 CPUtime=1780.53 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 7877 0 0 0 177670 383 0 0 25 0 1 0 36283307 32858112 7627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 8022 7627 205 16 0 7463 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 32088 [startup+1782.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1414464/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=32088 CPUtime=1781.53 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 7877 0 0 0 177770 383 0 0 25 0 1 0 36283307 32858112 7627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 8022 7627 205 16 0 7463 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 32088 [startup+1783.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6205 /proc/meminfo: memFree=1414464/2055920 swapFree=4192036/4192956 [pid=6008] ppid=6006 vsize=32088 CPUtime=1782.54 /proc/6008/stat : 6008 (Pueblo13) R 6006 6008 5962 0 -1 4194304 7877 0 0 0 177871 383 0 0 25 0 1 0 36283307 32858112 7627 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6008/statm: 8022 7627 205 16 0 7463 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 32088 Child status: 10 Real time (s): 1783.24 CPU time (s): 1782.74 CPU user time (s): 1778.9 CPU system time (s): 3.84242 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (Kb): 32152
Begin job on node64 on Sat Jun 3 13:55:20 UTC 2006 FILE ID= 37667-1149342920 PBS_JOBID= 310520 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow7.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node64/37667-1149342920/instance-37667-1149342920.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node64/watcher-37667-1149342920 -o ROOT/results/node64/solver-37667-1149342920 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node64/37667-1149342920/instance-37667-1149342920.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 8d33b9e58f24eb64e3fc155c85c275f1 RANDOM SEED= 930389548 /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.219 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.219 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: 1444544 kB Buffers: 31896 kB Cached: 501664 kB SwapCached: 444 kB Active: 56384 kB Inactive: 491228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1444544 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 176 kB Writeback: 0 kB Mapped: 23736 kB Slab: 49764 kB Committed_AS: 265280 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node64 on Sat Jun 3 14:25:04 UTC 2006