Trace number 3691339

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedSAT48 1798.72 1799.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM0476e702136eda2e813dad2792abe9ac
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark1790.38
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint34
Maximum length of a constraint64
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 numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	48

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6843
/proc/meminfo: memFree=27964920/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=10460 CPUtime=0 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 1 0 268587778 10711040 1306 33554432000 4194304 10173063 140733209308032 140734373969528 7173674 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6843/statm: 2615 1307 408 1460 0 1146 0

[startup+0.0548941 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6843
/proc/meminfo: memFree=27964920/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=19720 CPUtime=0.04 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 3707 0 0 0 4 0 0 0 20 0 1 0 268587778 20193280 3661 33554432000 4194304 10173063 140733209308032 140734373969528 5285008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6843/statm: 4930 3661 416 1460 0 3461 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19720

[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6843
/proc/meminfo: memFree=27964920/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=22680 CPUtime=0.09 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 4458 0 0 0 9 0 0 0 20 0 1 0 268587778 23224320 4412 33554432000 4194304 10173063 140733209308032 140734373969528 5285001 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6843/statm: 5670 4412 416 1460 0 4201 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22680

[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6843
/proc/meminfo: memFree=27964920/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=36668 CPUtime=0.28 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 7934 0 0 0 28 0 0 0 20 0 1 0 268587778 37548032 7888 33554432000 4194304 10173063 140733209308032 140734373969528 5283955 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6843/statm: 9167 7888 416 1460 0 7698 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 36668

[startup+0.700246 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6843
/proc/meminfo: memFree=27964920/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=59896 CPUtime=0.69 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 13725 0 0 0 68 1 0 0 20 0 1 0 268587778 61333504 13679 33554432000 4194304 10173063 140733209308032 140734373969528 7172032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6843/statm: 14974 13679 416 1460 0 13505 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59896

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6844
/proc/meminfo: memFree=27894448/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=160704 CPUtime=1.48 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 38825 0 0 0 143 5 0 0 20 0 1 0 268587778 164560896 38748 33554432000 4194304 10173063 140733209308032 140733209173208 7545739 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6843/statm: 40176 38748 468 1460 0 38707 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 160704

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6844
/proc/meminfo: memFree=27557168/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=574132 CPUtime=3.09 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 147943 0 0 0 280 29 0 0 20 0 1 0 268587778 587911168 139561 33554432000 4194304 10173063 140733209308032 140733209305032 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6843/statm: 143533 139561 544 1460 0 142064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 574132

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6844
/proc/meminfo: memFree=27212804/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=765648 CPUtime=6.29 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 214393 0 0 0 566 63 0 0 20 0 1 0 268587778 784023552 186604 33554432000 4194304 10173063 140733209308032 140733209305640 4953280 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 191412 186604 587 1460 0 189943 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 765648

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6844
/proc/meminfo: memFree=27172716/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=765648 CPUtime=12.68 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 214393 0 0 0 1205 63 0 0 20 0 1 0 268587778 784023552 186604 33554432000 4194304 10173063 140733209308032 140733209305640 4953292 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 191412 186604 587 1460 0 189943 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 765648

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6844
/proc/meminfo: memFree=26701680/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1400712 CPUtime=25.48 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 283145 0 0 0 2466 82 0 0 20 0 1 0 268587778 1434329088 315504 33554432000 4194304 10173063 140733209308032 140733209300360 7594544 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 350178 315504 723 1460 0 348709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1400712

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6845
/proc/meminfo: memFree=26687664/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1404912 CPUtime=51.08 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 284306 0 0 0 5024 84 0 0 20 0 1 0 268587778 1438629888 318198 33554432000 4194304 10173063 140733209308032 140733209300552 8012649 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 351228 318198 723 1460 0 349759 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1404912

[startup+102.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 6845
/proc/meminfo: memFree=26719704/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1245344 CPUtime=102.28 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 436524 0 0 0 10064 164 0 0 20 0 1 0 268587778 1275232256 297722 33554432000 4194304 10173063 140733209308032 140733209301208 7969409 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 311336 297722 824 1460 0 309867 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1245344

[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 6845
/proc/meminfo: memFree=26800676/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1215048 CPUtime=162.26 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 476619 0 0 0 16042 184 0 0 20 0 1 0 268587778 1244209152 289481 33554432000 4194304 10173063 140733209308032 140733209301160 8012640 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 303762 289481 824 1460 0 302293 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1215048

[startup+222.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 6845
/proc/meminfo: memFree=26792356/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1216920 CPUtime=222.26 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 511046 0 0 0 22022 204 0 0 20 0 1 0 268587778 1246126080 291509 33554432000 4194304 10173063 140733209308032 140733209301160 7706052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 304230 291509 824 1460 0 302761 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1216920

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6846
/proc/meminfo: memFree=26707072/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1234000 CPUtime=282.24 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 556122 0 0 0 28000 224 0 0 20 0 1 0 268587778 1263616000 297845 33554432000 4194304 10173063 140733209308032 140733209300312 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 308500 297845 824 1460 0 307031 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1234000

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6846
/proc/meminfo: memFree=26794780/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1216668 CPUtime=342.24 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 587902 0 0 0 33980 244 0 0 20 0 1 0 268587778 1245868032 290419 33554432000 4194304 10173063 140733209308032 140733209301160 8033024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 304167 290419 824 1460 0 302698 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1216668

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6847
/proc/meminfo: memFree=26795736/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1244660 CPUtime=402.23 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 624380 0 0 0 39959 264 0 0 20 0 1 0 268587778 1274531840 298719 33554432000 4194304 10173063 140733209308032 140733209301480 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 311165 298719 824 1460 0 309696 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1244660

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6847
/proc/meminfo: memFree=26678580/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1255668 CPUtime=462.22 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 670503 0 0 0 45937 285 0 0 20 0 1 0 268587778 1285804032 301529 33554432000 4194304 10173063 140733209308032 140733209301480 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 313917 301529 824 1460 0 312448 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1255668

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6847
/proc/meminfo: memFree=26813660/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1217428 CPUtime=522.21 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 708384 0 0 0 51919 302 0 0 20 0 1 0 268587778 1246646272 285412 33554432000 4194304 10173063 140733209308032 140733209301160 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 304357 285412 824 1460 0 302888 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1217428

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 6850
/proc/meminfo: memFree=26785616/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1217428 CPUtime=582.2 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 744343 0 0 0 57901 319 0 0 20 0 1 0 268587778 1246646272 290357 33554432000 4194304 10173063 140733209308032 140733209301864 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 304357 290357 824 1460 0 302888 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1217428

[startup+642.3 s]

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

/proc/meminfo: memFree=26708876/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1212868 CPUtime=1062.12 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 972246 0 0 0 105775 437 0 0 20 0 1 0 268587778 1241976832 294432 33554432000 4194304 10173063 140733209308032 140733209301864 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 303217 294432 824 1460 0 301748 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1212868

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6852
/proc/meminfo: memFree=26722132/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1212868 CPUtime=1122.1 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 981673 0 0 0 111764 446 0 0 20 0 1 0 268587778 1241976832 294587 33554432000 4194304 10173063 140733209308032 140733209301208 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 303217 294587 824 1460 0 301748 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1212868

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 6855
/proc/meminfo: memFree=26766652/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1228688 CPUtime=1182.09 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1001338 0 0 0 117751 458 0 0 20 0 1 0 268587778 1258176512 299282 33554432000 4194304 10173063 140733209308032 140733209301480 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 307172 299282 824 1460 0 305703 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1228688

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6855
/proc/meminfo: memFree=26683680/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1238704 CPUtime=1242.08 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1023208 0 0 0 123739 469 0 0 20 0 1 0 268587778 1268432896 302285 33554432000 4194304 10173063 140733209308032 140733209301288 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 309676 302285 824 1460 0 308207 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1238704

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6856
/proc/meminfo: memFree=26680632/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1214444 CPUtime=1302.08 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1029854 0 0 0 129734 474 0 0 20 0 1 0 268587778 1243590656 296147 33554432000 4194304 10173063 140733209308032 140733209301480 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 303611 296147 824 1460 0 302142 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1214444

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6856
/proc/meminfo: memFree=26709392/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1256156 CPUtime=1362.06 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1032902 0 0 0 135727 479 0 0 20 0 1 0 268587778 1286303744 306154 33554432000 4194304 10173063 140733209308032 140733209300472 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 314039 306154 824 1460 0 312570 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1256156

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6856
/proc/meminfo: memFree=26636188/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1255848 CPUtime=1422.06 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1035274 0 0 0 141720 486 0 0 20 0 1 0 268587778 1285988352 306650 33554432000 4194304 10173063 140733209308032 140733209300552 8012669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 313962 306650 824 1460 0 312493 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1255848

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6895
/proc/meminfo: memFree=28675736/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1232404 CPUtime=1482.05 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1046810 0 0 0 147705 500 0 0 20 0 1 0 268587778 1261981696 300751 33554432000 4194304 10173063 140733209308032 140733209301160 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 308101 300751 824 1460 0 306632 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1232404

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6895
/proc/meminfo: memFree=28630184/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1284656 CPUtime=1542.05 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1058020 0 0 0 153696 509 0 0 20 0 1 0 268587778 1315487744 311386 33554432000 4194304 10173063 140733209308032 140733209300168 7911568 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 321164 311386 824 1460 0 319695 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1284656

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6896
/proc/meminfo: memFree=28601084/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1303704 CPUtime=1602.03 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1059760 0 0 0 159689 514 0 0 20 0 1 0 268587778 1334992896 318139 33554432000 4194304 10173063 140733209308032 140733209300168 8012673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 325926 318139 824 1460 0 324457 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1303704

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6896
/proc/meminfo: memFree=28604060/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1303704 CPUtime=1662.02 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1059760 0 0 0 165686 516 0 0 20 0 1 0 268587778 1334992896 318139 33554432000 4194304 10173063 140733209308032 140733209300904 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 325926 318139 824 1460 0 324457 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1303704

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6896
/proc/meminfo: memFree=28653000/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1254240 CPUtime=1722.01 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1061770 0 0 0 171680 521 0 0 20 0 1 0 268587778 1284341760 306186 33554432000 4194304 10173063 140733209308032 140733209300552 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 313560 306186 824 1460 0 312091 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1254240

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6899
/proc/meminfo: memFree=28656100/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1275284 CPUtime=1782.01 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1070440 0 0 0 177672 529 0 0 20 0 1 0 268587778 1305890816 310373 33554432000 4194304 10173063 140733209308032 140733209301480 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 318821 310373 824 1460 0 317352 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1275284

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6899
/proc/meminfo: memFree=28675768/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1232568 CPUtime=1791.7 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1073979 0 0 0 178640 530 0 0 20 0 1 0 268587778 1262149632 300608 33554432000 4194304 10173063 140733209308032 140733209301160 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 308142 300608 824 1460 0 306673 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 1232568

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6899
/proc/meminfo: memFree=28673596/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1232840 CPUtime=1794.9 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1074328 0 0 0 178960 530 0 0 20 0 1 0 268587778 1262428160 301165 33554432000 4194304 10173063 140733209308032 140733209301160 8047317 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 308210 301165 824 1460 0 306741 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 1232840

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6899
/proc/meminfo: memFree=28673596/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1232840 CPUtime=1796.5 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1074328 0 0 0 179120 530 0 0 20 0 1 0 268587778 1262428160 301165 33554432000 4194304 10173063 140733209308032 140733209301160 8033088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 308210 301165 824 1460 0 306741 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 1232840

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6899
/proc/meminfo: memFree=28673596/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1232840 CPUtime=1798.1 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1074329 0 0 0 179279 531 0 0 20 0 1 0 268587778 1262428160 301166 33554432000 4194304 10173063 140733209308032 140733209304728 5293593 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 308210 301166 825 1460 0 306741 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 1232840

[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6899
/proc/meminfo: memFree=28673596/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=1225916 CPUtime=1798.5 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1074331 0 0 0 179319 531 0 0 20 0 1 0 268587778 1255337984 299437 33554432000 4194304 10173063 140733209308032 140733209304728 4941862 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 306479 299437 827 1460 0 305010 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (KiB) 1225916

[startup+1799 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6899
/proc/meminfo: memFree=28673596/32873844 swapFree=7388/7388
[pid=6843] ppid=6841 vsize=862976 CPUtime=1798.7 cores=0,2,4,6
/proc/6843/stat : 6843 (scip-2.1.1.4fix) R 6841 6843 6041 0 -1 4202496 1074331 0 0 0 179338 532 0 0 20 0 1 0 268587778 883687424 213969 33554432000 4194304 10173063 140733209308032 140733209307256 8992599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6843/statm: 215744 213969 827 1460 0 214275 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 862976

Child status: 0
Real time (s): 1799.01
CPU time (s): 1798.72
CPU user time (s): 1793.38
CPU system time (s): 5.33919
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1723392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.38
system time used= 5.33919
maximum resident set size= 1655372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1074333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 2090

runsolver used 2.82557 second user time and 8.45671 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-26 11:30:34
IDJOB=3691339
IDBENCH=89912
IDSOLVER=2270
FILE ID=node147/3691339-1338024633
RUNJOBID= node147-1338016919-6057
PBS_JOBID= 14624328
Free space on /tmp= 71604 MiB

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

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

MD5SUM BENCH= 0476e702136eda2e813dad2792abe9ac
RANDOM SEED=1783632616

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27964920 kB
Buffers:          258404 kB
Cached:          1852812 kB
SwapCached:         6180 kB
Active:          2514008 kB
Inactive:        1616468 kB
Active(anon):    2014904 kB
Inactive(anon):     6780 kB
Active(file):     499104 kB
Inactive(file):  1609688 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67097572 kB
Dirty:             44532 kB
Writeback:            20 kB
AnonPages:       2021180 kB
Mapped:            12924 kB
Shmem:                 0 kB
Slab:             634388 kB
SReclaimable:      75452 kB
SUnreclaim:       558936 kB
KernelStack:        1440 kB
PageTables:         8652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2284972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    925696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71628 MiB
End job on node147 at 2012-05-26 12:00:33