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