Trace number 2703846

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT5535740 1789.72 1790.14

General information on the benchmark

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

Verifier Data 

OK	5535740

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703846-1278557359/watcher-2703846-1278557359 -o /tmp/evaluation-result-2703846-1278557359/solver-2703846-1278557359 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703846-1278557359.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 775
/proc/meminfo: memFree=1593048/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=5692 CPUtime=0
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 735 0 0 0 0 0 0 0 18 0 1 0 23947713 5828608 650 1992294400 4194304 8395647 140735057583888 18446744073709551615 5521403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/775/statm: 1423 655 310 1026 0 393 0

[startup+0.0597641 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 775
/proc/meminfo: memFree=1593048/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=17184 CPUtime=0.05
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 3625 0 0 0 5 0 0 0 20 0 1 0 23947713 17596416 3536 1992294400 4194304 8395647 140735057583888 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/775/statm: 4296 3536 394 1026 0 3266 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17184

[startup+0.101766 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 775
/proc/meminfo: memFree=1593048/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=21788 CPUtime=0.09
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 5049 0 0 0 8 1 0 0 20 0 1 0 23947713 22310912 4606 1992294400 4194304 8395647 140735057583888 18446744073709551615 6115978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 5447 4606 410 1026 0 4417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21788

[startup+0.301783 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 775
/proc/meminfo: memFree=1593048/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=36300 CPUtime=0.29
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 8545 0 0 0 27 2 0 0 20 0 1 0 23947713 37171200 8102 1992294400 4194304 8395647 140735057583888 18446744073709551615 5608258 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 9075 8102 500 1026 0 8045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36300

[startup+0.700815 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 775
/proc/meminfo: memFree=1593048/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=36464 CPUtime=0.69
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 8601 0 0 0 67 2 0 0 20 0 1 0 23947713 37339136 8158 1992294400 4194304 8395647 140735057583888 18446744073709551615 5029575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 9116 8158 500 1026 0 8086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36464

[startup+1.50088 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 776
/proc/meminfo: memFree=1561792/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=42008 CPUtime=1.49
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 10131 0 0 0 145 4 0 0 23 0 1 0 23947713 43016192 9668 1992294400 4194304 8395647 140735057583888 18446744073709551615 6636751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 10502 9668 587 1026 0 9472 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42008

[startup+3.10101 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 776
/proc/meminfo: memFree=1551128/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=72012 CPUtime=3.09
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 17062 0 0 0 300 9 0 0 25 0 1 0 23947713 73740288 16599 1992294400 4194304 8395647 140735057583888 18446744073709551615 4687902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 18003 16599 623 1026 0 16973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72012

[startup+6.30126 s]
/proc/loadavg: 1.16 1.03 0.97 2/108 776
/proc/meminfo: memFree=1540588/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=61336 CPUtime=6.29
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 20387 0 0 0 618 11 0 0 25 0 1 0 23947713 62808064 14260 1992294400 4194304 8395647 140735057583888 18446744073709551615 6198182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 15334 14260 645 1026 0 14304 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61336

[startup+12.7008 s]
/proc/loadavg: 1.15 1.03 0.97 2/108 776
/proc/meminfo: memFree=1532900/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=66872 CPUtime=12.69
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 22293 0 0 0 1256 13 0 0 25 0 1 0 23947713 68476928 15467 1992294400 4194304 8395647 140735057583888 18446744073709551615 4922599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 16718 15467 630 1026 0 15688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66872

[startup+25.5018 s]
/proc/loadavg: 1.11 1.03 0.97 2/108 776
/proc/meminfo: memFree=1504752/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97084 CPUtime=25.49
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 30660 0 0 0 2524 25 0 0 25 0 1 0 23947713 99414016 22513 1992294400 4194304 8395647 140735057583888 18446744073709551615 6119711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24271 22513 641 1026 0 23241 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97084

[startup+51.1018 s]
/proc/loadavg: 1.07 1.03 0.97 2/108 777
/proc/meminfo: memFree=1504380/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97084 CPUtime=51.08
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 30856 0 0 0 5065 43 0 0 25 0 1 0 23947713 99414016 22709 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24271 22709 740 1026 0 23241 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97084

[startup+102.309 s]
/proc/loadavg: 1.03 1.02 0.97 2/108 778
/proc/meminfo: memFree=1504008/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97084 CPUtime=102.28
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 30933 0 0 0 10152 76 0 0 25 0 1 0 23947713 99414016 22786 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24271 22786 740 1026 0 23241 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 97084

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 0.97 2/108 780
/proc/meminfo: memFree=1503884/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97084 CPUtime=162.25
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 30990 0 0 0 16114 111 0 0 25 0 1 0 23947713 99414016 22843 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24271 22843 743 1026 0 23241 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97084

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/108 782
/proc/meminfo: memFree=1503760/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97084 CPUtime=222.24
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 31004 0 0 0 22074 150 0 0 25 0 1 0 23947713 99414016 22857 1992294400 4194304 8395647 140735057583888 18446744073709551615 6652301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24271 22857 744 1026 0 23241 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 97084

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 784
/proc/meminfo: memFree=1502148/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=96800 CPUtime=282.23
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 32895 0 0 0 28032 191 0 0 25 0 1 0 23947713 99123200 23124 1992294400 4194304 8395647 140735057583888 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24200 23124 745 1026 0 23170 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 96800

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 785
/proc/meminfo: memFree=1502148/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=96800 CPUtime=342.21
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 32896 0 0 0 33994 227 0 0 25 0 1 0 23947713 99123200 23125 1992294400 4194304 8395647 140735057583888 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24200 23125 745 1026 0 23170 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 96800

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 786
/proc/meminfo: memFree=1502148/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=96800 CPUtime=402.2
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 32896 0 0 0 39956 264 0 0 25 0 1 0 23947713 99123200 23125 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24200 23125 745 1026 0 23170 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 96800

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 3/108 788
/proc/meminfo: memFree=1502024/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=96800 CPUtime=462.19
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 32899 0 0 0 45918 301 0 0 25 0 1 0 23947713 99123200 23128 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24200 23128 745 1026 0 23170 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 96800

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 790
/proc/meminfo: memFree=1502024/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=96800 CPUtime=522.17
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 32899 0 0 0 51879 338 0 0 25 0 1 0 23947713 99123200 23128 1992294400 4194304 8395647 140735057583888 18446744073709551615 6586857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24200 23128 745 1026 0 23170 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 96800

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 792
/proc/meminfo: memFree=1502024/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=96800 CPUtime=582.15
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 32900 0 0 0 57833 382 0 0 25 0 1 0 23947713 99123200 23129 1992294400 4194304 8395647 140735057583888 18446744073709551615 6585941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24200 23129 745 1026 0 23170 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 96800

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/108 793
/proc/meminfo: memFree=1501900/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=96800 CPUtime=642.15
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 32900 0 0 0 63790 425 0 0 25 0 1 0 23947713 99123200 23129 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24200 23129 745 1026 0 23170 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 96800

[startup+702.301 s]

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

/proc/meminfo: memFree=1501156/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97088 CPUtime=1002.05
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37171 0 0 0 99533 672 0 0 25 0 1 0 23947713 99418112 23195 1992294400 4194304 8395647 140735057583888 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24272 23195 745 1026 0 23242 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 97088

[startup+1062.3 s]
/proc/loadavg: 1.05 1.01 0.98 2/108 813
/proc/meminfo: memFree=1501156/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97088 CPUtime=1062.03
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37172 0 0 0 105488 715 0 0 25 0 1 0 23947713 99418112 23196 1992294400 4194304 8395647 140735057583888 18446744073709551615 6697581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24272 23196 745 1026 0 23242 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 97088

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 0.98 2/108 815
/proc/meminfo: memFree=1501156/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97088 CPUtime=1122.02
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37174 0 0 0 111447 755 0 0 25 0 1 0 23947713 99418112 23198 1992294400 4194304 8395647 140735057583888 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24272 23198 745 1026 0 23242 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 97088

[startup+1182.3 s]
/proc/loadavg: 1.07 1.03 0.99 2/108 817
/proc/meminfo: memFree=1501156/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97088 CPUtime=1182.01
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37175 0 0 0 117405 796 0 0 25 0 1 0 23947713 99418112 23199 1992294400 4194304 8395647 140735057583888 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24272 23199 745 1026 0 23242 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 97088

[startup+1242.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/108 818
/proc/meminfo: memFree=1501156/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97088 CPUtime=1241.99
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37178 0 0 0 123366 833 0 0 25 0 1 0 23947713 99418112 23202 1992294400 4194304 8395647 140735057583888 18446744073709551615 6586897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24272 23202 745 1026 0 23242 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 97088

[startup+1302.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/108 819
/proc/meminfo: memFree=1501032/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97220 CPUtime=1301.99
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37198 0 0 0 129324 875 0 0 25 0 1 0 23947713 99553280 23222 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24305 23222 745 1026 0 23275 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 97220

[startup+1362.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 821
/proc/meminfo: memFree=1500908/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=97920 CPUtime=1361.97
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37370 0 0 0 135280 917 0 0 25 0 1 0 23947713 100270080 23394 1992294400 4194304 8395647 140735057583888 18446744073709551615 6003026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24480 23394 745 1026 0 23450 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 97920

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 823
/proc/meminfo: memFree=1500784/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=98220 CPUtime=1421.96
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 37380 0 0 0 141235 961 0 0 25 0 1 0 23947713 100577280 23404 1992294400 4194304 8395647 140735057583888 18446744073709551615 6586889 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 24555 23404 745 1026 0 23525 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 98220

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 825
/proc/meminfo: memFree=1498180/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=100816 CPUtime=1481.94
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 38044 0 0 0 147191 1003 0 0 25 0 1 0 23947713 103235584 24068 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 25204 24068 745 1026 0 24174 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 100816

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 826
/proc/meminfo: memFree=1497312/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=101488 CPUtime=1541.93
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 38272 0 0 0 153149 1044 0 0 25 0 1 0 23947713 103923712 24296 1992294400 4194304 8395647 140735057583888 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 25372 24296 745 1026 0 24342 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 101488

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 827
/proc/meminfo: memFree=1495948/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=102808 CPUtime=1601.91
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 38599 0 0 0 159107 1084 0 0 25 0 1 0 23947713 105275392 24623 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 25702 24623 745 1026 0 24672 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 102808

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 829
/proc/meminfo: memFree=1495576/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=103080 CPUtime=1661.9
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 44847 0 0 0 165055 1135 0 0 25 0 1 0 23947713 105553920 24694 1992294400 4194304 8395647 140735057583888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 25770 24694 745 1026 0 24740 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 103080

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 831
/proc/meminfo: memFree=1494336/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=104228 CPUtime=1721.89
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 45149 0 0 0 171015 1174 0 0 25 0 1 0 23947713 106729472 24996 1992294400 4194304 8395647 140735057583888 18446744073709551615 6311156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 26057 24996 745 1026 0 25027 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 104228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 835
/proc/meminfo: memFree=1492228/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=105960 CPUtime=1781.88
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 45532 0 0 0 176970 1218 0 0 25 0 1 0 23947713 108503040 25379 1992294400 4194304 8395647 140735057583888 18446744073709551615 4737505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 26490 25379 745 1026 0 25460 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 105960

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 835
/proc/meminfo: memFree=1492228/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=105960 CPUtime=1785.07
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 45532 0 0 0 177288 1219 0 0 25 0 1 0 23947713 108503040 25379 1992294400 4194304 8395647 140735057583888 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 26490 25379 745 1026 0 25460 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (KiB) 105960

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 836
/proc/meminfo: memFree=1492228/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=105960 CPUtime=1788.27
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 45532 0 0 0 177606 1221 0 0 25 0 1 0 23947713 108503040 25379 1992294400 4194304 8395647 140735057583888 18446744073709551615 6751179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 26490 25379 745 1026 0 25460 0
Current children cumulated CPU time (s) 1788.27
Current children cumulated vsize (KiB) 105960

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 836
/proc/meminfo: memFree=1492228/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=105960 CPUtime=1789.07
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 45577 0 0 0 177685 1222 0 0 25 0 1 0 23947713 108503040 25424 1992294400 4194304 8395647 140735057583888 18446744073709551615 6670396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 26490 25424 745 1026 0 25460 0
Current children cumulated CPU time (s) 1789.07
Current children cumulated vsize (KiB) 105960

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 836
/proc/meminfo: memFree=1491980/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=105960 CPUtime=1789.47
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 45577 0 0 0 177725 1222 0 0 25 0 1 0 23947713 108503040 25424 1992294400 4194304 8395647 140735057583888 18446744073709551615 6502798 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/775/statm: 26490 25424 745 1026 0 25460 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (KiB) 105960

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 836
/proc/meminfo: memFree=1491980/2059040 swapFree=4139464/4192956
[pid=775] ppid=773 vsize=105960 CPUtime=1789.67
/proc/775/stat : 775 (pbscip.linux.x8) R 773 775 30740 0 -1 4202496 45580 0 0 0 177745 1222 0 0 25 0 1 0 23947713 108503040 25427 1992294400 4194304 8395647 140735057583888 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/775/statm: 26490 25427 748 1026 0 25460 0
Current children cumulated CPU time (s) 1789.67
Current children cumulated vsize (KiB) 105960

Child status: 0
Real time (s): 1790.14
CPU time (s): 1789.72
CPU user time (s): 1777.49
CPU system time (s): 12.2361
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 128524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.49
system time used= 12.2361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45581
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= 2
involuntary context switches= 2683

runsolver used 2.90156 second user time and 8.5147 second system time

The end

Launcher Data 

Begin job on node026 at 2010-07-08 04:49:20
IDJOB=2703846
IDBENCH=2310
IDSOLVER=1213
FILE ID=node026/2703846-1278557359
PBS_JOBID= 11239511
Free space on /tmp= 62496 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703846-1278557359/watcher-2703846-1278557359 -o /tmp/evaluation-result-2703846-1278557359/solver-2703846-1278557359 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703846-1278557359.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e99162fa0a9c8caac0a04031bf39653d
RANDOM SEED=353913632

node026.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1593576 kB
Buffers:         62288 kB
Cached:         296312 kB
SwapCached:      10232 kB
Active:         132976 kB
Inactive:       242696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1593576 kB
SwapTotal:     4192956 kB
SwapFree:      4139464 kB
Dirty:           10828 kB
Writeback:           0 kB
AnonPages:       11500 kB
Mapped:          11828 kB
Slab:            67856 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179608 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62488 MiB
End job on node026 at 2010-07-08 05:19:10