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

OK	48

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693671-1338042969/watcher-3693671-1338042969 -o /tmp/evaluation-result-3693671-1338042969/solver-3693671-1338042969 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693671-1338042969.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 9547
/proc/meminfo: memFree=27998296/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=11644 CPUtime=0 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1647 0 0 0 0 0 0 0 20 0 1 0 270422571 11923456 1601 33554432000 4194304 10169799 140737112508000 140737112372680 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 2911 1609 403 1459 0 1443 0

[startup+0.033568 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 9547
/proc/meminfo: memFree=27998296/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=18516 CPUtime=0.02 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 3392 0 0 0 2 0 0 0 20 0 1 0 270422571 18960384 3346 33554432000 4194304 10169799 140737112508000 140737112372680 5281196 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 4629 3346 412 1459 0 3161 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18516

[startup+0.100315 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 9547
/proc/meminfo: memFree=27998296/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=24156 CPUtime=0.09 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 4796 0 0 0 9 0 0 0 20 0 1 0 270422571 24735744 4750 33554432000 4194304 10169799 140737112508000 140737112372680 8688085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 6039 4750 412 1459 0 4571 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24156

[startup+0.300316 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 9547
/proc/meminfo: memFree=27998296/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=36828 CPUtime=0.29 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 7962 0 0 0 28 1 0 0 20 0 1 0 270422571 37711872 7916 33554432000 4194304 10169799 140737112508000 140737112372680 7169948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 9207 7916 412 1459 0 7739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36828

[startup+0.700313 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 9547
/proc/meminfo: memFree=27998296/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=62660 CPUtime=0.69 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 14429 0 0 0 67 2 0 0 20 0 1 0 270422571 64163840 14383 33554432000 4194304 10169799 140737112508000 140737112372680 7169050 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 15665 14383 412 1459 0 14197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62660

[startup+1.50032 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9548
/proc/meminfo: memFree=27926732/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=186008 CPUtime=1.49 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 45081 0 0 0 141 8 0 0 20 0 1 0 270422571 190472192 45004 33554432000 4194304 10169799 140737112508000 140737112374328 5757893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 46502 45004 490 1459 0 45034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186008

[startup+3.10031 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9548
/proc/meminfo: memFree=27544688/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=574132 CPUtime=3.09 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 147939 0 0 0 280 29 0 0 20 0 1 0 270422571 587911168 139557 33554432000 4194304 10169799 140737112508000 140737112506152 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 143533 139557 540 1459 0 142065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 574132

[startup+6.30032 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9548
/proc/meminfo: memFree=27246028/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=765648 CPUtime=6.29 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 214388 0 0 0 567 62 0 0 20 0 1 0 270422571 784023552 186599 33554432000 4194304 10169799 140737112508000 140737112506760 4950544 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 191412 186599 582 1459 0 189944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 765648

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9548
/proc/meminfo: memFree=27252256/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=765648 CPUtime=12.69 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 214388 0 0 0 1207 62 0 0 20 0 1 0 270422571 784023552 186599 33554432000 4194304 10169799 140737112508000 140737112506760 4950523 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 191412 186599 582 1459 0 189944 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 765648

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9586
/proc/meminfo: memFree=27665408/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1400712 CPUtime=25.48 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 281752 0 0 0 2469 79 0 0 20 0 1 0 270422571 1434329088 315863 33554432000 4194304 10169799 140737112508000 140737112502504 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 350178 315863 718 1459 0 348710 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1400712

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9586
/proc/meminfo: memFree=27508572/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1404912 CPUtime=51.08 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 282926 0 0 0 5027 81 0 0 20 0 1 0 270422571 1438629888 318631 33554432000 4194304 10169799 140737112508000 140737112502136 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 351228 318631 719 1459 0 349760 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1404912

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9586
/proc/meminfo: memFree=27616308/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1215480 CPUtime=102.27 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 433976 0 0 0 10063 164 0 0 20 0 1 0 270422571 1244651520 289542 33554432000 4194304 10169799 140737112508000 140737112502280 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 303870 289542 814 1459 0 302402 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1215480

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9586
/proc/meminfo: memFree=27534228/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1280568 CPUtime=162.26 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 476637 0 0 0 16040 186 0 0 20 0 1 0 270422571 1311301632 307091 33554432000 4194304 10169799 140737112508000 140737112501432 8009605 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 320142 307091 814 1459 0 318674 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1280568

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9586
/proc/meminfo: memFree=27604680/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1211088 CPUtime=222.24 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 511276 0 0 0 22018 206 0 0 20 0 1 0 270422571 1240154112 289534 33554432000 4194304 10169799 140737112508000 140737112501848 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 302772 289534 814 1459 0 301304 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1211088

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9590
/proc/meminfo: memFree=27524452/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1278584 CPUtime=282.23 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 554385 0 0 0 27996 227 0 0 20 0 1 0 270422571 1309270016 309632 33554432000 4194304 10169799 140737112508000 140737112502600 7908798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 319646 309632 814 1459 0 318178 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1278584

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27587540/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1216668 CPUtime=342.22 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 589132 0 0 0 33977 245 0 0 20 0 1 0 270422571 1245868032 293225 33554432000 4194304 10169799 140737112508000 140737112502328 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 304167 293225 814 1459 0 302699 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1216668

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27597308/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1217128 CPUtime=402.21 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 625676 0 0 0 39957 264 0 0 20 0 1 0 270422571 1246339072 291991 33554432000 4194304 10169799 140737112508000 140737112502280 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 304282 291991 815 1459 0 302814 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1217128

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27588288/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1217060 CPUtime=462.2 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 668217 0 0 0 45936 284 0 0 20 0 1 0 270422571 1246269440 292689 33554432000 4194304 10169799 140737112508000 140737112502600 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 304265 292689 815 1459 0 302797 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1217060

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9590
/proc/meminfo: memFree=27604840/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1217428 CPUtime=522.18 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 705632 0 0 0 51919 299 0 0 20 0 1 0 270422571 1246646272 288553 33554432000 4194304 10169799 140737112508000 140737112502984 7591849 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 304357 288553 815 1459 0 302889 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1217428

[startup+582.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 9591
/proc/meminfo: memFree=27608248/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1217428 CPUtime=582.18 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 739868 0 0 0 57903 315 0 0 20 0 1 0 270422571 1246646272 288928 33554432000 4194304 10169799 140737112508000 140737112501848 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 304357 288928 815 1459 0 302889 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1217428

[startup+642.3 s]

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

/proc/meminfo: memFree=27540024/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1213108 CPUtime=1062.1 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 954055 0 0 0 105780 430 0 0 20 0 1 0 270422571 1242222592 293188 33554432000 4194304 10169799 140737112508000 140737112501848 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 303277 293188 815 1459 0 301809 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1213108

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9595
/proc/meminfo: memFree=27540700/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1241400 CPUtime=1122.1 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 961923 0 0 0 111772 438 0 0 20 0 1 0 270422571 1271193600 303054 33554432000 4194304 10169799 140737112508000 140737112502600 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 310350 303054 815 1459 0 308882 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1241400

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9595
/proc/meminfo: memFree=27580108/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1211308 CPUtime=1182.09 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 987059 0 0 0 117756 453 0 0 20 0 1 0 270422571 1240379392 293181 33554432000 4194304 10169799 140737112508000 140737112502600 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 302827 293181 815 1459 0 301359 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1211308

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9596
/proc/meminfo: memFree=27571608/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1214144 CPUtime=1242.07 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1007540 0 0 0 123743 464 0 0 20 0 1 0 270422571 1243283456 295208 33554432000 4194304 10169799 140737112508000 140737112502600 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 303536 295208 815 1459 0 302068 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1214144

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9596
/proc/meminfo: memFree=27496460/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1284660 CPUtime=1302.08 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1009790 0 0 0 129739 469 0 0 20 0 1 0 270422571 1315491840 313892 33554432000 4194304 10169799 140737112508000 140737112502408 8009920 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 321165 313892 815 1459 0 319697 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1284660

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9596
/proc/meminfo: memFree=27498320/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1280528 CPUtime=1362.06 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1012224 0 0 0 135732 474 0 0 20 0 1 0 270422571 1311260672 313375 33554432000 4194304 10169799 140737112508000 140737112501864 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 320132 313375 815 1459 0 318664 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1280528

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9596
/proc/meminfo: memFree=27490428/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1289456 CPUtime=1422.05 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1016467 0 0 0 141725 480 0 0 20 0 1 0 270422571 1320402944 315368 33554432000 4194304 10169799 140737112508000 140737112502408 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 322364 315368 815 1459 0 320896 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1289456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9599
/proc/meminfo: memFree=27542248/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1230064 CPUtime=1482.04 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1029142 0 0 0 147711 493 0 0 20 0 1 0 270422571 1259585536 293922 33554432000 4194304 10169799 140737112508000 140737112502600 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 307516 293922 815 1459 0 306048 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1230064

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9623
/proc/meminfo: memFree=27481304/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1303704 CPUtime=1542.04 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1036971 0 0 0 153702 502 0 0 20 0 1 0 270422571 1334992896 317701 33554432000 4194304 10169799 140737112508000 140737112506280 8021429 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 325926 317701 815 1459 0 324458 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1303704

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27481560/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1303704 CPUtime=1602.02 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1036981 0 0 0 159697 505 0 0 20 0 1 0 270422571 1334992896 317711 33554432000 4194304 10169799 140737112508000 140737112502120 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 325926 317711 815 1459 0 324458 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1303704

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27481560/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1303704 CPUtime=1662.02 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1036981 0 0 0 165694 508 0 0 20 0 1 0 270422571 1334992896 317711 33554432000 4194304 10169799 140737112508000 140737112501288 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 325926 317711 815 1459 0 324458 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1303704

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27545520/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1233864 CPUtime=1722 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1042294 0 0 0 171687 513 0 0 20 0 1 0 270422571 1263476736 301745 33554432000 4194304 10169799 140737112508000 140737112502824 8009933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 308466 301745 815 1459 0 306998 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1233864

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27547568/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1232840 CPUtime=1782 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1051551 0 0 0 177680 520 0 0 20 0 1 0 270422571 1262428160 301166 33554432000 4194304 10169799 140737112508000 140737112502600 8009933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 308210 301166 815 1459 0 306742 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1232840

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27547692/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1232840 CPUtime=1785.2 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1051551 0 0 0 178000 520 0 0 20 0 1 0 270422571 1262428160 301166 33554432000 4194304 10169799 140737112508000 140737112502280 7703728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 308210 301166 815 1459 0 306742 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1232840

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9623
/proc/meminfo: memFree=27544900/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1242388 CPUtime=1791.6 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1051675 0 0 0 178640 520 0 0 20 0 1 0 270422571 1272205312 301801 33554432000 4194304 10169799 140737112508000 140737112502792 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 310597 301801 815 1459 0 309129 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 1242388

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9623
/proc/meminfo: memFree=27545032/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1242388 CPUtime=1794.8 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1051719 0 0 0 178959 521 0 0 20 0 1 0 270422571 1272205312 301845 33554432000 4194304 10169799 140737112508000 140737112501672 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 310597 301845 815 1459 0 309129 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 1242388

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9623
/proc/meminfo: memFree=27545032/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1242388 CPUtime=1796.39 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1051733 0 0 0 179118 521 0 0 20 0 1 0 270422571 1272205312 301859 33554432000 4194304 10169799 140737112508000 140737112502408 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 310597 301859 815 1459 0 309129 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 1242388

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9623
/proc/meminfo: memFree=27545032/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1240484 CPUtime=1797.19 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1051735 0 0 0 179198 521 0 0 20 0 1 0 270422571 1270255616 301385 33554432000 4194304 10169799 140737112508000 140737112502408 5058793 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 310121 301385 817 1459 0 308653 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 1240484

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9623
/proc/meminfo: memFree=27545032/32873844 swapFree=7616/7616
[pid=9547] ppid=9545 vsize=1189764 CPUtime=1797.39 cores=0,2,4,6
/proc/9547/stat : 9547 (scip-2.1.1.4sfi) R 9545 9547 5654 0 -1 4202496 1051735 0 0 0 179218 521 0 0 20 0 1 0 270422571 1218318336 288705 33554432000 4194304 10169799 140737112508000 140737112502408 5892107 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9547/statm: 297441 288705 817 1459 0 295973 0
Current children cumulated CPU time (s) 1797.39
Current children cumulated vsize (KiB) 1189764

Child status: 0
Real time (s): 1797.77
CPU time (s): 1797.47
CPU user time (s): 1792.24
CPU system time (s): 5.2382
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1723392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.24
system time used= 5.2382
maximum resident set size= 1658296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1051737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 1878

runsolver used 5.2442 second user time and 15.4477 second system time

The end

Begin job on node130 at 2012-05-26 16:36:10
IDJOB=3693671
IDBENCH=89912
IDSOLVER=2272
FILE ID=node130/3693671-1338042969
RUNJOBID= node130-1338029673-6802
PBS_JOBID= 14624341
Free space on /tmp= 71348 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693671-1338042969/watcher-3693671-1338042969 -o /tmp/evaluation-result-3693671-1338042969/solver-3693671-1338042969 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693671-1338042969.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0476e702136eda2e813dad2792abe9ac
RANDOM SEED=1954042926

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27999312 kB
Buffers:          245612 kB
Cached:          2762836 kB
SwapCached:            0 kB
Active:          1948084 kB
Inactive:        2144572 kB
Active(anon):    1086520 kB
Inactive(anon):        0 kB
Active(file):     861564 kB
Inactive(file):  2144572 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             44652 kB
Writeback:             0 kB
AnonPages:       1179240 kB
Mapped:            17696 kB
Shmem:               200 kB
Slab:             641884 kB
SReclaimable:      84104 kB
SUnreclaim:       557780 kB
KernelStack:        1472 kB
PageTables:         6628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1226644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    997376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71344 MiB
End job on node130 at 2012-05-26 17:06:08