Trace number 37667

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.3SAT0 1782.74 1783.24

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.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

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/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

Launcher Data (download as text)

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