Trace number 34030

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
PB-smodels 1.28SAT (TO)548 1801 1801.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
MD5SUM1c32686691bf96e75781667309b05481
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark104
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 104
Optimality of the best value was proved NO
Number of variables9818
Total number of constraints291
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 constraints291
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 9818
Biggest coefficient in the objective function 7770
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 533087
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 533087
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Running pbsmodels-v1.28
3.15	o 549
3.24	o 548
1801.26	sh: line 1: 23027 Done                    pbsmodels.trans ROOT/tmp/node5/34030-1154036402/instance-34030-1154036402.opb ROOT/tmp/node5/34030-1154036402
1801.26	     23028 Terminated              | smodels -seed 64328026
1801.26	     23029 Terminated              | pbout.pl ROOT/tmp/node5/34030-1154036402/instance-34030-1154036402.opb ROOT/tmp/node5/34030-1154036402
1801.27	c Somebody sent me a SIGTERM
1801.28	smodels: no process killed
1801.28	pbsmodels.trans: no process killed
1801.29	s SATISFIABLE
1801.29	v x3334 x3337 x3347 x7149 x7151 x7153 x7154 x7156 x7164 x4811 x4814 x4815 x4820 x4824 x5862 x5863 x5871 x5874 x5901 x5919 x5921
1801.29	v x5925 x5928 x5933 x5950 x5952 x5953 x5954 x5955 x5956 x5957 x5958 x5960 x5961 x5980 x5981 x5982 x5983 x5984 x5985 x5986 x5987
1801.29	v x5988 x5990 x5991 x5992 x5993 x5994 x5995 x6009 x6010 x6011 x6012 x6013 x6014 x6015 x6016 x6017 x6018 x6019 x6020 x6021 x6024
1801.29	v x6025 x6026 x6043 x6044 x6047 x6048 x6049 x6051 x6052 x6054 x6055 x6069 x6070 x6072 x6073 x6075 x6076 x6077 x6078 x6079 x6080
1801.29	v x6081 x6082 x6083 x6099 x6106 x6107 x6108 x6111 x6112 x6131 x6140 x6199 x6200 x6219 x6222 x6229 x6231 x6233 x6237 x6249 x6250
1801.29	v x6252 x6255 x6258 x6259 x6261 x6262 x6267 x6279 x6280 x6282 x6284 x6285 x6287 x6289 x6292 x6294 x6311 x6314 x6319 x6323 x6325
1801.29	v x6339 x6340 x6341 x6342 x6343 x6344 x6345 x6347 x6348 x6349 x6351 x6353 x6369 x6370 x6372 x6373 x6374 x6376 x6377 x6378 x6379
1801.29	v x6380 x6381 x6382 x6383 x6384 x6385 x6386 x6387 x6399 x6400 x6402 x6403 x6405 x6410 x6412 x6414 x6415 x6429 x6432 x6434 x6435
1801.29	v x6436 x6437 x6438 x6440 x6442 x6443 x6444 x6463 x6465 x6467 x6470 x6520 x6521 x6522 x6523 x6524 x6526 x6527 x6529 x6530 x6531
1801.29	v x6534 x6535 x6549 x6550 x6551 x6554 x6555 x6556 x6558 x6559 x6561 x6562 x6563 x6565 x6579 x6580 x6581 x6582 x6583 x6584 x6585
1801.29	v x6586 x6587 x6588 x6589 x6590 x6591 x6594 x6597 x6610 x6612 x6613 x6614 x6615 x6620 x6639 x6640 x6641 x6652 x6653 x6655 x6669
1801.29	v x6676 x6684 x6686 x6701 x6703 x6705 x6706 x6707 x6708 x6710 x6715 x6729 x6730 x6731 x6732 x6733 x6734 x6735 x6736 x6737 x6738
1801.29	v x6740 x6741 x6742 x6743 x6744 x6745 x6760 x6773 x6789 x6797 x6805 x6849 x6851 x6854 x6855 x6857 x6859 x6882 x6884 x6885 x6887
1801.29	v x6891 x6940 x6942 x6943 x6970 x6972 x6977 x6978 x6979 x6980 x6983 x6986 x6987 x6999 x7000 x7001 x7002 x7003 x7004 x7005 x7006
1801.29	v x7008 x7009 x7010 x7011 x7015 x7016 x7029 x7030 x7031 x7032 x7035 x7037 x7038 x7039 x7043 x7044 x7045 x7047 x7059 x7061 x7062
1801.29	v x7064 x7065 x7068 x7069 x7070 x7072 x7073 x7075 x7076 x7077 x7078 x7089 x7090 x7091 x7092 x7095 x7098 x7099 x7100 x7104 x7105
1801.29	v x7106 x7107 x7108 x7109 x7121 x7124 x7126 x7127 x7128 x7129 x7132 x7133 x7134 x7135 x7136 x7137 x7214 x7217 x7221 x7223 x7242
1801.29	v x7247 x7249 x7250 x7254 x7270 x7272 x7273 x7277 x7278 x7284 x7285 x7286 x7300 x7301 x7302 x7303 x7306 x7309 x7313 x7316 x7319
1801.29	v x7332 x7335 x7345 x7346 x7347 x7359 x7361 x7365 x7370 x7374 x7390 x7392 x7394 x7395 x7396 x7397 x7398 x7401 x7402 x7404 x7407
1801.29	v x7408 x7419 x7420 x7421 x7422 x7423 x7424 x7425 x7426 x7427 x7428 x7430 x7432 x7435 x7436 x7437 x7438 x7452 x7453 x7455 x7458
1801.29	v x7459 x7460 x7461 x7463 x7466 x7479 x7481 x7483 x7484 x7485 x7489 x7490 x7492 x7493 x7495 x7542 x7546 x7550 x7551 x7570 x7571
1801.29	v x7572 x7573 x7574 x7575 x7576 x7578 x7580 x7582 x7583 x7586 x7599 x7600 x7601 x7602 x7603 x7604 x7607 x7608 x7610 x7611 x7612
1801.29	v x7615 x7616 x7617 x7629 x7631 x7632 x7633 x7635 x7636 x7638 x7639 x7640 x7641 x7642 x7643 x7645 x7646 x7647 x7659 x7663 x7664
1801.29	v x7665 x7667 x7668 x7669 x7671 x7672 x7674 x7676 x7678 x7719 x7724 x7728 x7729 x7735 x7736 x7750 x7751 x7752 x7753 x7754 x7755
1801.29	v x7761 x7779 x7780 x7781 x7783 x7784 x7785 x7786 x7787 x7788 x7789 x7791 x7792 x7794 x7796 x7812 x7815 x7871 x7872 x7879 x7883
1801.29	v x7900 x7905 x7910 x7914 x7930 x7940 x7946 x7947 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18
1801.29	v -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x3331 -x3332 -x3333 -x3335 -x3336 -x3338 -x3339 -x3340 -x3341
1801.29	v -x3342 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359
1801.29	v -x3360 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834
1801.29	v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x7150 -x7152 -x7155
1801.29	v -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174
1801.29	v -x7175 -x7176 -x7177 -x7178 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181
1801.29	v -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198
1801.29	v -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515
1801.29	v -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8829 -x8830 -x8831 -x8832
1801.29	v -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849
1801.29	v -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166
1801.29	v -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183
1801.29	v -x9184 -x9185 -x9186 -x9187 -x9188 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500
1801.29	v -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517
1801.29	v -x9518 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1801.29	v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1801.29	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1801.29	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1801.29	v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036
1801.29	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353
1801.29	v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1801.29	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1801.29	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1801.29	v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021
1801.29	v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038
1801.29	v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
1801.29	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672
1801.29	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689
1801.29	v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006
1801.29	v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023
1801.29	v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1801.29	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387
1801.29	v -x3388 -x3389 -x3390 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443
1801.29	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3470
1801.29	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1801.29	v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3510 -x3511 -x3512 -x3513 -x3514
1801.29	v -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531
1801.29	v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558
1801.29	v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575
1801.29	v -x3576 -x3577 -x3578 -x3579 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602
1801.29	v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619
1801.29	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646
1801.29	v -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3670 -x3671 -x3672 -x3673
1801.29	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1801.29	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717
1801.29	v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734
1801.29	v -x3735 -x3736 -x3737 -x3738 -x3739 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1801.29	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778
1801.29	v -x3779 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864
1801.29	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x4179 -x4180 -x4181
1801.29	v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198
1801.29	v -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515
1801.29	v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532
1801.29	v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849
1801.29	v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866
1801.29	v -x4867 -x4868 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183
1801.29	v -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5499 -x5500
1801.29	v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517
1801.29	v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834
1801.29	v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851
1801.29	v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168
1801.29	v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185
1801.29	v -x6186 -x6187 -x6188 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502
1801.29	v -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6819
1801.29	v -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836
1801.29	v -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x7179 -x7180 -x7181 -x7182 -x7183
1801.29	v -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200
1801.29	v -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517
1801.29	v -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534
1801.29	v -x7535 -x7536 -x7537 -x7538 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851
1801.29	v -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868
1801.29	v -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975
1801.29	v -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992
1801.29	v -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009
1801.29	v -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026
1801.29	v -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043
1801.29	v -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060
1801.29	v -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077
1801.29	v -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094
1801.29	v -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111
1801.29	v -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128
1801.29	v -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145
1801.29	v -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162
1801.29	v -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209
1801.29	v -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226
1801.29	v -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243
1801.29	v -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260
1801.29	v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277
1801.29	v -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294
1801.29	v -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311
1801.29	v -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328
1801.29	v -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345
1801.29	v -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362
1801.29	v -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379
1801.29	v -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396
1801.29	v -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413
1801.29	v -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430
1801.29	v -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447
1801.29	v -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464
1801.29	v -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481
1801.29	v -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498
1801.29	v -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545
1801.29	v -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562
1801.29	v -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579
1801.29	v -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596
1801.29	v -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613
1801.29	v -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630
1801.29	v -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647
1801.29	v -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664
1801.29	v -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681
1801.29	v -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698
1801.29	v -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715
1801.29	v -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732
1801.29	v -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749
1801.29	v -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766
1801.29	v -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783
1801.29	v -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800
1801.29	v -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817
1801.29	v -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864
1801.29	v -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881
1801.29	v -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898
1801.29	v -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915
1801.29	v -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932
1801.29	v -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949
1801.29	v -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966
1801.29	v -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983
1801.29	v -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000
1801.29	v -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017
1801.29	v -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034
1801.29	v -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051
1801.29	v -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068
1801.29	v -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085
1801.29	v -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102
1801.29	v -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119
1801.29	v -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136
1801.29	v -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153
1801.29	v -x9154 -x9155 -x9156 -x9157 -x9158 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200
1801.29	v -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217
1801.29	v -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234
1801.29	v -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251
1801.29	v -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268
1801.29	v -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285
1801.29	v -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302
1801.29	v -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319
1801.29	v -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336
1801.29	v -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353
1801.29	v -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370
1801.29	v -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387
1801.29	v -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404
1801.29	v -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421
1801.29	v -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438
1801.29	v -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455
1801.29	v -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472
1801.29	v -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9519
1801.29	v -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536
1801.29	v -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553
1801.29	v -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570
1801.29	v -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587
1801.29	v -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604
1801.29	v -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621
1801.29	v -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638
1801.29	v -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655
1801.29	v -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672
1801.29	v -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689
1801.29	v -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706
1801.29	v -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723
1801.29	v -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740
1801.29	v -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757
1801.29	v -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774
1801.29	v -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791
1801.29	v -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808
1801.29	v -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71
1801.29	v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97
1801.29	v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118
1801.29	v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139
1801.29	v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1801.29	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181
1801.29	v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202
1801.29	v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223
1801.29	v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244
1801.29	v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265
1801.29	v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286
1801.29	v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
1801.29	v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328
1801.29	v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349
1801.29	v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1801.29	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1801.29	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1801.29	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1801.29	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1801.29	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1801.29	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1801.29	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1801.29	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1801.29	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1801.29	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1801.29	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1801.29	v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1801.29	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1801.29	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724
1801.29	v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745
1801.29	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766
1801.29	v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787
1801.29	v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808
1801.29	v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829
1801.29	v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
1801.29	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871
1801.29	v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892
1801.29	v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913
1801.29	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934
1801.29	v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955
1801.29	v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976
1801.29	v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997
1801.29	v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1801.29	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
1801.29	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1801.29	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096
1801.29	v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
1801.29	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
1801.29	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1801.29	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1801.29	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1801.29	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1801.29	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1801.29	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1801.29	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
1801.29	v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266
1801.29	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
1801.29	v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1801.29	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317
1801.29	v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1801.29	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381
1801.29	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1801.29	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1801.29	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1801.29	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1801.29	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1801.29	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1801.29	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1801.29	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1801.29	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1801.29	v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551
1801.29	v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
1801.29	v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
1801.29	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1801.29	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1801.29	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636
1801.29	v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1801.29	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1801.29	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717
1801.29	v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734
1801.29	v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751
1801.29	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
1801.29	v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1801.29	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802
1801.29	v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819
1801.29	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
1801.29	v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853
1801.29	v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
1801.29	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887
1801.29	v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904
1801.29	v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921
1801.29	v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
1801.29	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955
1801.29	v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
1801.29	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
1801.29	v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006
1801.29	v -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
1801.29	v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
1801.29	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087
1801.29	v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104
1801.29	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121
1801.29	v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138
1801.29	v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155
1801.29	v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172
1801.29	v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189
1801.29	v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1801.29	v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223
1801.29	v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
1801.29	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
1801.29	v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274
1801.29	v -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291
1801.29	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308
1801.29	v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325
1801.29	v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372
1801.29	v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
1801.29	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
1801.29	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1801.29	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1801.29	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1801.29	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
1801.29	v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491
1801.29	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508
1801.29	v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525
1801.29	v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
1801.29	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1801.29	v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1801.29	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593
1801.29	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1801.29	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627
1801.29	v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644
1801.29	v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661
1801.29	v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708
1801.29	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
1801.29	v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1801.29	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759
1801.29	v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776
1801.29	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1801.29	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1801.29	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1801.29	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844
1801.29	v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861
1801.29	v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878
1801.29	v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895
1801.29	v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912
1801.29	v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929
1801.29	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946
1801.29	v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
1801.29	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
1801.29	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997
1801.29	v -x2998 -x2999 -x3000 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044
1801.29	v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061
1801.29	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078
1801.29	v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095
1801.29	v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112
1801.29	v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129
1801.29	v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146
1801.29	v -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163
1801.29	v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
1801.29	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197
1801.29	v -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214
1801.29	v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231
1801.29	v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
1801.29	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265
1801.29	v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282
1801.29	v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
1801.29	v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316
1801.29	v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3391 -x3392 -x3393
1801.29	v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1801.29	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1801.29	v -x3428 -x3429 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3500 -x3501 -x3502 -x3503 -x3504
1801.29	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3580 -x3581
1801.29	v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
1801.29	v -x3629 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
1801.29	v -x3706 -x3707 -x3708 -x3709 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3780 -x3781 -x3782
1801.29	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799
1801.29	v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816
1801.29	v -x3817 -x3818 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893
1801.29	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
1801.29	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1801.29	v -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944
1801.29	v -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961
1801.29	v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978
1801.29	v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995
1801.29	v -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012
1801.29	v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029
1801.29	v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
1801.29	v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063
1801.29	v -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1801.29	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097
1801.29	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114
1801.29	v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
1801.29	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148
1801.29	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165
1801.29	v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4209 -x4210 -x4211 -x4212
1801.29	v -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229
1801.29	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246
1801.29	v -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263
1801.29	v -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280
1801.29	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297
1801.29	v -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314
1801.29	v -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331
1801.29	v -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348
1801.29	v -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365
1801.29	v -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382
1801.29	v -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399
1801.29	v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416
1801.29	v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433
1801.29	v -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450
1801.29	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467
1801.29	v -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484
1801.29	v -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501
1801.29	v -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548
1801.29	v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565
1801.29	v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582
1801.29	v -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599
1801.29	v -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616
1801.29	v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633
1801.29	v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650
1801.29	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667
1801.29	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684
1801.29	v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701
1801.29	v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
1801.29	v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735
1801.29	v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752
1801.29	v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
1801.29	v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786
1801.29	v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803
1801.29	v -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4812 -x4813 -x4816 -x4817 -x4818 -x4819 -x4821 -x4822 -x4823 -x4825
1801.29	v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4869 -x4870 -x4871 -x4872
1801.29	v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889
1801.29	v -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906
1801.29	v -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923
1801.29	v -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
1801.29	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957
1801.29	v -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974
1801.29	v -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991
1801.29	v -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008
1801.29	v -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025
1801.29	v -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042
1801.29	v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059
1801.29	v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076
1801.29	v -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093
1801.29	v -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110
1801.29	v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127
1801.29	v -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144
1801.29	v -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161
1801.29	v -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208
1801.29	v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225
1801.29	v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242
1801.29	v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259
1801.29	v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276
1801.29	v -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293
1801.29	v -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310
1801.29	v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327
1801.29	v -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344
1801.29	v -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361
1801.29	v -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378
1801.29	v -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395
1801.29	v -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412
1801.29	v -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429
1801.29	v -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446
1801.29	v -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463
1801.29	v -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480
1801.29	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497
1801.29	v -x5498 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544
1801.29	v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561
1801.29	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578
1801.29	v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595
1801.29	v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612
1801.29	v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629
1801.29	v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646
1801.29	v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663
1801.29	v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
1801.29	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697
1801.29	v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714
1801.29	v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731
1801.29	v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748
1801.29	v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765
1801.29	v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782
1801.29	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799
1801.29	v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816
1801.29	v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5859 -x5860 -x5861 -x5864 -x5865
1801.29	v -x5866 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884
1801.29	v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5902
1801.29	v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5920
1801.29	v -x5922 -x5923 -x5924 -x5926 -x5927 -x5929 -x5930 -x5931 -x5932 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941
1801.29	v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5951 -x5959 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968
1801.29	v -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5989 -x5996 -x5997 -x5998 -x5999 -x6000
1801.29	v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6022 -x6023 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033
1801.29	v -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6045 -x6046 -x6050 -x6053 -x6056 -x6057 -x6058 -x6059
1801.29	v -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6071 -x6074 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089
1801.29	v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6109 -x6110
1801.29	v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129
1801.29	v -x6130 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148
1801.29	v -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195
1801.29	v -x6196 -x6197 -x6198 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214
1801.29	v -x6215 -x6216 -x6217 -x6218 -x6220 -x6221 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6230 -x6232 -x6234 -x6235 -x6236
1801.29	v -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6251 -x6253 -x6254 -x6256 -x6257 -x6260
1801.29	v -x6263 -x6264 -x6265 -x6266 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6281 -x6283
1801.29	v -x6286 -x6288 -x6290 -x6291 -x6293 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306
1801.29	v -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6315 -x6316 -x6317 -x6318 -x6320 -x6321 -x6322 -x6324 -x6326 -x6327 -x6328
1801.29	v -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6346 -x6350 -x6352 -x6354 -x6355 -x6356 -x6357
1801.29	v -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6371 -x6375 -x6388 -x6389 -x6390 -x6391
1801.29	v -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6401 -x6404 -x6406 -x6407 -x6408 -x6409 -x6411 -x6413 -x6416 -x6417
1801.29	v -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6430 -x6431 -x6433 -x6439 -x6441 -x6445
1801.29	v -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462
1801.29	v -x6464 -x6466 -x6468 -x6469 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483
1801.29	v -x6484 -x6485 -x6486 -x6487 -x6488 -x6519 -x6525 -x6528 -x6532 -x6533 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542
1801.29	v -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6552 -x6553 -x6557 -x6560 -x6564 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571
1801.29	v -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6592 -x6593 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603
1801.29	v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6611 -x6616 -x6617 -x6618 -x6619 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626
1801.29	v -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6642 -x6643 -x6644 -x6645 -x6646
1801.29	v -x6647 -x6648 -x6649 -x6650 -x6651 -x6654 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666
1801.29	v -x6667 -x6668 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6685 -x6687
1801.29	v -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6702 -x6704 -x6709 -x6711
1801.29	v -x6712 -x6713 -x6714 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6739
1801.29	v -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6761 -x6762 -x6763
1801.29	v -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781
1801.29	v -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6798 -x6799 -x6800
1801.29	v -x6801 -x6802 -x6803 -x6804 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818
1801.29	v -x6850 -x6852 -x6853 -x6856 -x6858 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871
1801.29	v -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6883 -x6886 -x6888 -x6889 -x6890 -x6892 -x6893
1801.29	v -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910
1801.29	v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927
1801.29	v -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6941 -x6944 -x6945 -x6946 -x6947
1801.29	v -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964
1801.29	v -x6965 -x6966 -x6967 -x6968 -x6969 -x6971 -x6973 -x6974 -x6975 -x6976 -x6981 -x6982 -x6984 -x6985 -x6988 -x6989 -x6990
1801.29	v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x7007 -x7012 -x7013 -x7014 -x7017 -x7018 -x7019 -x7020 -x7021
1801.29	v -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7033 -x7034 -x7036 -x7040 -x7041 -x7042 -x7046 -x7048 -x7049 -x7050
1801.29	v -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7060 -x7063 -x7066 -x7067 -x7071 -x7074 -x7079 -x7080 -x7081
1801.29	v -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7093 -x7094 -x7096 -x7097 -x7101 -x7102 -x7103 -x7110 -x7111 -x7112
1801.29	v -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7122 -x7123 -x7125 -x7130 -x7131 -x7138 -x7139 -x7140 -x7141
1801.29	v -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7209 -x7210 -x7211 -x7212 -x7213 -x7215 -x7216 -x7218 -x7219 -x7220
1801.29	v -x7222 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239
1801.29	v -x7240 -x7241 -x7243 -x7244 -x7245 -x7246 -x7248 -x7251 -x7252 -x7253 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261
1801.29	v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7271 -x7274 -x7275 -x7276 -x7279 -x7280 -x7281 -x7282 -x7283
1801.29	v -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7304 -x7305 -x7307 -x7308
1801.29	v -x7310 -x7311 -x7312 -x7314 -x7315 -x7317 -x7318 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329
1801.29	v -x7330 -x7331 -x7333 -x7334 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7348 -x7349 -x7350 -x7351
1801.29	v -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7360 -x7362 -x7363 -x7364 -x7366 -x7367 -x7368 -x7369 -x7371 -x7372
1801.29	v -x7373 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7391
1801.29	v -x7393 -x7399 -x7400 -x7403 -x7405 -x7406 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7429
1801.29	v -x7431 -x7433 -x7434 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7454
1801.29	v -x7456 -x7457 -x7462 -x7464 -x7465 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478
1801.29	v -x7480 -x7482 -x7486 -x7487 -x7488 -x7491 -x7494 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505
1801.29	v -x7506 -x7507 -x7508 -x7539 -x7540 -x7541 -x7543 -x7544 -x7545 -x7547 -x7548 -x7549 -x7552 -x7553 -x7554 -x7555 -x7556
1801.29	v -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7577 -x7579 -x7581 -x7584
1801.29	v -x7585 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7605 -x7606 -x7609 -x7613
1801.29	v -x7614 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7630 -x7634 -x7637 -x7644 -x7648
1801.29	v -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7660 -x7661 -x7662 -x7666 -x7670 -x7673 -x7675
1801.29	v -x7677 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694
1801.29	v -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711
1801.29	v -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7720 -x7721 -x7722 -x7723 -x7725 -x7726 -x7727 -x7730 -x7731 -x7732
1801.29	v -x7733 -x7734 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7756 -x7757
1801.29	v -x7758 -x7759 -x7760 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775
1801.29	v -x7776 -x7777 -x7778 -x7782 -x7790 -x7793 -x7795 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806
1801.29	v -x7807 -x7808 -x7809 -x7810 -x7811 -x7813 -x7814 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825
1801.29	v -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7869 -x7870 -x7873 -x7874
1801.29	v -x7875 -x7876 -x7877 -x7878 -x7880 -x7881 -x7882 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893
1801.29	v -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907 -x7908 -x7909 -x7911 -x7912 -x7913
1801.29	v -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932
1801.29	v -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7941 -x7942 -x7943 -x7944 -x7945 -x7948 -x7949 -x7950 -x7951 -x7952
1801.29	v -x7953 -x7954 -x7955 -x7956 -x7957 -x7958

Verifier Data (download as text)

OK	548

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node5/watcher-34030-1154036402 -o ROOT/results/node5/solver-34030-1154036402 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node5/34030-1154036402/instance-34030-1154036402.opb 64328026 ROOT/tmp/node5/34030-1154036402 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 2/64 23024
/proc/meminfo: memFree=1009720/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=2504 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) R 23024 23024 22975 0 -1 4194304 44 0 0 0 0 0 0 0 20 0 1 0 150501661 2564096 26 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226910860681 0 0 4096 0 0 0 0 17 1 0 0
/proc/23025/statm: 626 26 19 3 0 5 0

[startup+10.0018 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23029
/proc/meminfo: memFree=1003992/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=9.02
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 901 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555136 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (Kb) 41776

[startup+20.0089 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23029
/proc/meminfo: memFree=1004120/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=19.03
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 1902 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521296 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 20.32
Current children cumulated vsize (Kb) 41776

[startup+30.016 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23029
/proc/meminfo: memFree=1004184/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=29.03
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 2902 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550183 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 30.32
Current children cumulated vsize (Kb) 41776

[startup+40.0232 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23030
/proc/meminfo: memFree=1004184/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=39.03
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 3902 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548969 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 40.32
Current children cumulated vsize (Kb) 41776

[startup+50.0303 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23031
/proc/meminfo: memFree=1004184/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=49.04
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 4903 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531508 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 50.33
Current children cumulated vsize (Kb) 41776

[startup+60.0364 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23031
/proc/meminfo: memFree=1004184/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=59.04
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 5903 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550166 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 60.33
Current children cumulated vsize (Kb) 41776

[startup+70.0426 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23031
/proc/meminfo: memFree=1004184/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=69.04
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 6903 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555136 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 70.33
Current children cumulated vsize (Kb) 41776

[startup+80.0487 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23031
/proc/meminfo: memFree=1004184/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=79.05
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 7904 1 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134519814 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 80.34
Current children cumulated vsize (Kb) 41776

[startup+90.0548 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 23031
/proc/meminfo: memFree=1004184/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179265 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551055 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1793.96
Current children cumulated vsize (Kb) 41776

[startup+1795.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1793.68
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179366 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527584 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1794.97
Current children cumulated vsize (Kb) 41776

[startup+1796.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1794.68
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179466 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550190 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1795.97
Current children cumulated vsize (Kb) 41776

[startup+1797.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1795.69
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179567 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531111 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (Kb) 41776

[startup+1798.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1796.69
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179667 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550851 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (Kb) 41776

[startup+1799.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1797.7
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179768 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134518528 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (Kb) 41776

[startup+1800.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1798.7
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179868 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521216 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (Kb) 41776

[startup+1801.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1799.71
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179969 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550985 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (Kb) 41776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 23229
/proc/meminfo: memFree=1003800/2055920 swapFree=4173748/4192956
[pid=23024] ppid=23022 vsize=5360 CPUtime=0
/proc/23024/stat : 23024 (runpbsmodels) S 23022 23024 22975 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150501661 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23024/statm: 1340 234 195 169 0 51 0
[pid=23025] ppid=23024 vsize=12268 CPUtime=0
/proc/23025/stat : 23025 (pbsmodels-v1.28) S 23024 23024 22975 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150501661 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/23025/statm: 3067 383 293 3 0 167 0
[pid=23026] ppid=23025 vsize=5356 CPUtime=1.29
/proc/23026/stat : 23026 (sh) S 23025 23024 22975 0 -1 4194304 311 1247 0 0 0 0 128 1 16 0 1 0 150501662 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23026/statm: 1339 227 188 169 0 50 0
[pid=23028] ppid=23026 vsize=6124 CPUtime=1799.71
/proc/23028/stat : 23028 (smodels) R 23026 23024 22975 0 -1 4194304 1184 0 0 0 179969 2 0 0 25 0 1 0 150501662 6270976 1148 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530487 0 0 4096 0 0 0 0 17 1 0 0
/proc/23028/statm: 1531 1148 211 20 0 968 0
[pid=23029] ppid=23026 vsize=12668 CPUtime=0
/proc/23029/stat : 23029 (pbout.pl) S 23026 23024 22975 0 -1 4194304 545 0 0 0 0 0 0 0 16 0 1 0 150501662 12972032 504 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 226922377314 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/23029/statm: 3167 504 333 3 0 267 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (Kb) 41776

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23024 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.002998
while last known CPU time is 1801

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1801.28
CPU time (s): 1801
CPU user time (s): 1800.97
CPU system time (s): 0.03
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (Kb): 41776
The end

Launcher Data (download as text)

Begin job on node5 on Thu Jul 27 21:40:02 UTC 2006


FILE ID= 34030-1154036402

PBS_JOBID= 881154

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node5/34030-1154036402/instance-34030-1154036402.opb 64328026  ROOT/tmp/node5/34030-1154036402
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-34030-1154036402 -o ROOT/results/node5/solver-34030-1154036402 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node5/34030-1154036402/instance-34030-1154036402.opb 64328026  ROOT/tmp/node5/34030-1154036402

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  1c32686691bf96e75781667309b05481

RANDOM SEED= 64328026

TIMEOUT= 1800 seconds


/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.234
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.234
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:       1009928 kB
Buffers:         37216 kB
Cached:         940244 kB
SwapCached:      13504 kB
Active:         159108 kB
Inactive:       836944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1009928 kB
SwapTotal:     4192956 kB
SwapFree:      4173748 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14488 kB
Slab:            35964 kB
Committed_AS:   530932 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node5 on Thu Jul 27 22:10:03 UTC 2006