Trace number 36517

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT0 1782.74 1783.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-grow7.opb
MD5SUM8d33b9e58f24eb64e3fc155c85c275f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables7994
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint22
Maximum length of a constraint491
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 numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

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/node66/watcher-36517-1149342907 -o ROOT/results/node66/solver-36517-1149342907 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node66/36517-1149342907/instance-36517-1149342907.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1695096/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=2704 CPUtime=0
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 199958817 2768896 266 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10007359 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 676 266 199 16 0 117 0

[startup+10.0023 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1687552/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=9836 CPUtime=9.99
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 2110 0 0 0 995 4 0 0 25 0 1 0 199958817 10072064 2081 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 2459 2081 205 16 0 1900 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9836

[startup+20.0085 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1685576/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=12036 CPUtime=19.99
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 2635 0 0 0 1994 5 0 0 25 0 1 0 199958817 12324864 2606 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3009 2606 205 16 0 2450 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12036

[startup+30.0158 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1684232/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=13300 CPUtime=30
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 2967 0 0 0 2993 7 0 0 25 0 1 0 199958817 13619200 2938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3325 2938 205 16 0 2766 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13300

[startup+40.021 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1684232/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=13300 CPUtime=40
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 2968 0 0 0 3992 8 0 0 25 0 1 0 199958817 13619200 2939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3325 2939 205 16 0 2766 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 13300

[startup+50.0273 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1684296/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=13300 CPUtime=50
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 2968 0 0 0 4990 10 0 0 25 0 1 0 199958817 13619200 2939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3325 2939 205 16 0 2766 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 13300

[startup+60.0335 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1683976/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=13692 CPUtime=60.01
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 3043 0 0 0 5987 14 0 0 25 0 1 0 199958817 14020608 3014 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3423 3014 205 16 0 2864 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 13692

[startup+70.0397 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1683976/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=13692 CPUtime=70.01
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 3043 0 0 0 6986 15 0 0 25 0 1 0 199958817 14020608 3014 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3423 3014 205 16 0 2864 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 13692

[startup+80.0459 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1681928/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=15732 CPUtime=80.01
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 3564 0 0 0 7985 16 0 0 25 0 1 0 199958817 16109568 3535 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3933 3535 205 16 0 3374 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 15732

[startup+90.0522 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1681928/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=15732 CPUtime=90.01
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 3564 0 0 0 8984 17 0 0 25 0 1 0 199958817 16109568 3535 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 3933 3535 205 16 0 3374 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 15732

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1680520/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=17152 CPUtime=100.01
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 3927 0 0 0 9983 18 0 0 25 0 1 0 199958817 17563648 3898 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 4288 3898 205 16 0 3729 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 17152

[startup+110.064 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1678216/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=19528 CPUtime=110.02
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 4494 0 0 0 10982 20 0 0 25 0 1 0 199958817 19996672 4465 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 4882 4465 205 16 0 4323 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 19528

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1677064/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=20572 CPUtime=120.03
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 4787 0 0 0 11981 22 0 0 25 0 1 0 199958817 21065728 4758 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5143 4758 205 16 0 4584 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 20572

[startup+130.076 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676104/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21600 CPUtime=130.03
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5023 0 0 0 12979 24 0 0 25 0 1 0 199958817 22118400 4994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5400 4994 205 16 0 4841 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 21600

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676104/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21600 CPUtime=140.03
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5023 0 0 0 13978 25 0 0 25 0 1 0 199958817 22118400 4994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5400 4994 205 16 0 4841 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 21600

[startup+150.089 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676040/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21600 CPUtime=150.04
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5023 0 0 0 14977 27 0 0 25 0 1 0 199958817 22118400 4994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528547 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5400 4994 205 16 0 4841 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 21600

[startup+160.094 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676040/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21600 CPUtime=160.04
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5023 0 0 0 15975 29 0 0 25 0 1 0 199958817 22118400 4994 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5400 4994 205 16 0 4841 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 21600

[startup+170.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676040/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21728 CPUtime=170.04
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5041 0 0 0 16974 30 0 0 25 0 1 0 199958817 22249472 5012 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557266 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5432 5012 205 16 0 4873 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 21728

[startup+180.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676040/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21660 CPUtime=180.05
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5041 0 0 0 17970 35 0 0 25 0 1 0 199958817 22179840 5012 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5415 5012 205 16 0 4856 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 21660

[startup+190.113 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676040/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21660 CPUtime=190.05
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5041 0 0 0 18968 37 0 0 25 0 1 0 199958817 22179840 5012 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5415 5012 205 16 0 4856 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 21660

[startup+200.119 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676040/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=21660 CPUtime=200.05
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 5041 0 0 0 19965 40 0 0 25 0 1 0 199958817 22179840 5012 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 5415 5012 205 16 0 4856 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 21660

[startup+210.125 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23452
/proc/meminfo: memFree=1676040/2055920 swapFree=4182224/4192956

################
# More data... #
################

/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1590.45
Current children cumulated vsize (Kb) 28232

[startup+1600.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1600.45
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 159693 352 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1600.45
Current children cumulated vsize (Kb) 28232

[startup+1610.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1610.45
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 160692 353 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1610.45
Current children cumulated vsize (Kb) 28232

[startup+1620.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1620.46
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 161691 355 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1620.46
Current children cumulated vsize (Kb) 28232

[startup+1631 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1630.46
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 162690 356 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1630.46
Current children cumulated vsize (Kb) 28232

[startup+1641 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1640.47
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 163689 358 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1640.47
Current children cumulated vsize (Kb) 28232

[startup+1651.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1650.47
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 164688 359 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1650.47
Current children cumulated vsize (Kb) 28232

[startup+1661.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1660.47
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 165687 360 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1660.47
Current children cumulated vsize (Kb) 28232

[startup+1671.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669072/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1670.48
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 166686 362 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1670.48
Current children cumulated vsize (Kb) 28232

[startup+1681.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669072/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1680.47
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 167685 362 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1680.47
Current children cumulated vsize (Kb) 28232

[startup+1691.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669072/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1690.48
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 168685 363 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1690.48
Current children cumulated vsize (Kb) 28232

[startup+1701.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1700.48
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 169685 363 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1700.48
Current children cumulated vsize (Kb) 28232

[startup+1711.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1710.48
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 170682 366 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1710.48
Current children cumulated vsize (Kb) 28232

[startup+1721.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1720.49
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 171679 370 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1720.49
Current children cumulated vsize (Kb) 28232

[startup+1731.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1730.5
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 172677 373 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1730.5
Current children cumulated vsize (Kb) 28232

[startup+1741.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1740.49
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 173675 374 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1740.49
Current children cumulated vsize (Kb) 28232

[startup+1751.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1669136/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=28232 CPUtime=1750.5
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 6881 0 0 0 174673 377 0 0 25 0 1 0 199958817 28909568 6663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7058 6663 205 16 0 6499 0
Current children cumulated CPU time (s) 1750.5
Current children cumulated vsize (Kb) 28232

[startup+1761.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1668240/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=29140 CPUtime=1760.5
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 7091 0 0 0 175670 380 0 0 25 0 1 0 199958817 29839360 6873 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7285 6873 205 16 0 6726 0
Current children cumulated CPU time (s) 1760.5
Current children cumulated vsize (Kb) 29140

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1667408/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=29976 CPUtime=1770.51
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 7310 0 0 0 176669 382 0 0 25 0 1 0 199958817 30695424 7092 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 7494 7092 205 16 0 6935 0
Current children cumulated CPU time (s) 1770.51
Current children cumulated vsize (Kb) 29976

[startup+1781.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1665232/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=32216 CPUtime=1780.51
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 7845 0 0 0 177667 384 0 0 25 0 1 0 199958817 32989184 7627 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 8054 7627 205 16 0 7495 0
Current children cumulated CPU time (s) 1780.51
Current children cumulated vsize (Kb) 32216

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1665232/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=32216 CPUtime=1781.52
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 7845 0 0 0 177767 385 0 0 25 0 1 0 199958817 32989184 7627 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 8054 7627 205 16 0 7495 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 32216

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23647
/proc/meminfo: memFree=1665232/2055920 swapFree=4182224/4192956
[pid=23452] ppid=23450 vsize=32216 CPUtime=1782.52
/proc/23452/stat : 23452 (Pueblo) R 23450 23452 23406 0 -1 4194304 7845 0 0 0 177867 385 0 0 25 0 1 0 199958817 32989184 7627 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/23452/statm: 8054 7627 205 16 0 7495 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 32216

Child status: 10
Real time (s): 1783.31
CPU time (s): 1782.74
CPU user time (s): 1778.88
CPU system time (s): 3.85641
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (Kb): 32216

Launcher Data (download as text)

Begin job on node66 on Sat Jun  3 13:55:07 UTC 2006


FILE ID= 36517-1149342907

PBS_JOBID= 310519

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/Pueblo ROOT/tmp/node66/36517-1149342907/instance-36517-1149342907.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-36517-1149342907 -o ROOT/results/node66/solver-36517-1149342907 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node66/36517-1149342907/instance-36517-1149342907.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  8d33b9e58f24eb64e3fc155c85c275f1

RANDOM SEED= 654646245


/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.225
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.225
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:       1695304 kB
Buffers:         28240 kB
Cached:         262268 kB
SwapCached:       2368 kB
Active:          50544 kB
Inactive:       248616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1695304 kB
SwapTotal:     4192956 kB
SwapFree:      4182224 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          15144 kB
Slab:            47532 kB
Committed_AS:   313348 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node66 on Sat Jun  3 14:24:51 UTC 2006