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