Trace number 2705528

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverOPTIMUM 46.7909 46.7887

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MD5SUM4b3e4ac9b9f8acc38ac61fe906d48ca6
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.235963
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 7728
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7727
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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: Clp 1.11.1]
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-2705528-1278576614.wbo>
0.00/0.02	c original problem has 7130 variables (6965 bin, 0 int, 165 impl, 0 cont) and 331 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.02/0.04	o 7727
0.02/0.04	c feasible solution found by trivial heuristic, objective value  7.727000e+03
0.02/0.04	c presolving:
0.02/0.05	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.05	c (round 2) 0 del vars, 1 del conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.08	c    (0.1s) probing: 101/6965 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.08	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.08	c presolving (3 rounds):
0.02/0.08	c  0 deleted vars, 1 deleted constraints, 165 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.08	c  250 implications, 0 cliques
0.02/0.08	c presolved problem has 7130 variables (6965 bin, 0 int, 165 impl, 0 cont) and 330 constraints
0.02/0.08	c     165 constraints of type <linear>
0.02/0.08	c     165 constraints of type <indicator>
0.02/0.08	c transformed objective value is always integral (scale: 1)
0.02/0.08	c Presolving Time: 0.05
0.02/0.08	c - non default parameters ----------------------------------------------------------------------
0.02/0.08	c # SCIP version 1.2.1.3
0.02/0.08	c 
0.02/0.08	c # frequency for displaying node information lines
0.02/0.08	c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.08	c display/freq = 10000
0.02/0.08	c 
0.02/0.08	c # maximal time in seconds to run
0.02/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08	c limits/time = 1789.99
0.02/0.08	c 
0.02/0.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08	c limits/memory = 3420
0.02/0.08	c 
0.02/0.08	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.08	c # [type: int, range: [1,2], default: 1]
0.02/0.08	c timing/clocktype = 2
0.02/0.08	c 
0.02/0.08	c # should presolving try to simplify inequalities
0.02/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08	c constraints/linear/simplifyinequalities = TRUE
0.02/0.08	c 
0.02/0.08	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08	c constraints/indicator/addCouplingCons = TRUE
0.02/0.08	c 
0.02/0.08	c # should presolving try to simplify knapsacks
0.02/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08	c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.08	c 
0.02/0.08	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.08	c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.08	c separating/rapidlearning/freq = 0
0.02/0.08	c 
0.02/0.08	c -----------------------------------------------------------------------------------------------
0.02/0.08	c start solving
0.02/0.08	c 
0.02/0.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.02/0.09	c t 0.1s|     1 |     0 |     0 |     - |  14M|   0 |   0 |7130 | 330 |7130 |   0 |   0 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.29/0.30	c   0.3s|     1 |     0 |    85 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  85 |  85 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.29/0.32	c   0.3s|     1 |     0 |   169 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  86 |  86 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.29/0.33	c   0.3s|     1 |     0 |   252 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  87 |  87 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   334 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  88 |  88 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.29/0.36	c   0.3s|     1 |     0 |   415 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  89 |  89 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.29/0.37	c   0.4s|     1 |     0 |   495 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  90 |  90 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.29/0.39	c   0.4s|     1 |     0 |   574 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  91 |  91 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.39/0.40	c   0.4s|     1 |     0 |   652 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  92 |  92 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.39/0.42	c   0.4s|     1 |     0 |   729 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  93 |  93 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.39/0.43	c   0.4s|     1 |     0 |   805 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  94 |  94 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.39/0.44	c   0.4s|     1 |     0 |   880 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  95 |  95 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.39/0.46	c   0.4s|     1 |     0 |   954 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  96 |  96 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.39/0.47	c   0.5s|     1 |     0 |  1027 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  97 |  97 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.39/0.48	c   0.5s|     1 |     0 |  1099 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  98 |  98 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.50	c   0.5s|     1 |     0 |  1170 |     - |  15M|   0 |   0 |7130 | 330 |7130 |  99 |  99 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.51	c   0.5s|     1 |     0 |  1240 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 100 | 100 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.52	c   0.5s|     1 |     0 |  1309 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 101 | 101 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.54	c   0.5s|     1 |     0 |  1377 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 102 | 102 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.55	c   0.5s|     1 |     0 |  1444 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 103 | 103 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.56	c   0.5s|     1 |     0 |  1510 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 104 | 104 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.57	c   0.6s|     1 |     0 |  1575 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 105 | 105 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.58	c   0.6s|     1 |     0 |  1639 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 106 | 106 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.49/0.60	c   0.6s|     1 |     0 |  1702 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 107 | 107 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.61	c   0.6s|     1 |     0 |  1764 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 108 | 108 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.62	c   0.6s|     1 |     0 |  1825 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 109 | 109 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.63	c   0.6s|     1 |     0 |  1885 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 110 | 110 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.64	c   0.6s|     1 |     0 |  1944 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 111 | 111 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.65	c   0.6s|     1 |     0 |  2002 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 112 | 112 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.66	c   0.6s|     1 |     0 |  2059 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 113 | 113 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.67	c   0.7s|     1 |     0 |  2115 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 114 | 114 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.68	c   0.7s|     1 |     0 |  2170 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 115 | 115 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.59/0.69	c   0.7s|     1 |     0 |  2224 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 116 | 116 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.70	c   0.7s|     1 |     0 |  2277 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 117 | 117 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.71	c   0.7s|     1 |     0 |  2329 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 118 | 118 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.72	c   0.7s|     1 |     0 |  2380 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 119 | 119 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.73	c   0.7s|     1 |     0 |  2430 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 120 | 120 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.74	c   0.7s|     1 |     0 |  2479 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 121 | 121 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.75	c   0.7s|     1 |     0 |  2527 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 122 | 122 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.76	c   0.7s|     1 |     0 |  2574 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 123 | 123 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.77	c   0.8s|     1 |     0 |  2620 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 124 | 124 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.78	c   0.8s|     1 |     0 |  2665 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 125 | 125 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.79	c   0.8s|     1 |     0 |  2709 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 126 | 126 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.69/0.79	c   0.8s|     1 |     0 |  2752 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 127 | 127 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.80	c   0.8s|     1 |     0 |  2794 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 128 | 128 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.81	c   0.8s|     1 |     0 |  2835 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 129 | 129 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.82	c   0.8s|     1 |     0 |  2875 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 130 | 130 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.83	c   0.8s|     1 |     0 |  2914 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 131 | 131 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.83	c   0.8s|     1 |     0 |  2952 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 132 | 132 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.84	c   0.8s|     1 |     0 |  2989 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 133 | 133 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.85	c   0.8s|     1 |     0 |  3025 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 134 | 134 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.85	c   0.8s|     1 |     0 |  3060 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 135 | 135 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.86	c   0.8s|     1 |     0 |  3094 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 136 | 136 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.87	c   0.8s|     1 |     0 |  3127 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 137 | 137 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.87	c   0.9s|     1 |     0 |  3159 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 138 | 138 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.88	c   0.9s|     1 |     0 |  3190 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 139 | 139 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.89	c   0.9s|     1 |     0 |  3220 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 140 | 140 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.79/0.89	c   0.9s|     1 |     0 |  3249 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 141 | 141 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.90	c   0.9s|     1 |     0 |  3277 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 142 | 142 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.90	c   0.9s|     1 |     0 |  3304 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 143 | 143 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.91	c   0.9s|     1 |     0 |  3330 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 144 | 144 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.91	c   0.9s|     1 |     0 |  3355 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 145 | 145 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.92	c   0.9s|     1 |     0 |  3379 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 146 | 146 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.92	c   0.9s|     1 |     0 |  3402 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 147 | 147 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.93	c   0.9s|     1 |     0 |  3424 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 148 | 148 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.93	c   0.9s|     1 |     0 |  3445 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 149 | 149 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.94	c   0.9s|     1 |     0 |  3465 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 150 | 150 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.94	c   0.9s|     1 |     0 |  3484 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 151 | 151 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.94	c   0.9s|     1 |     0 |  3502 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 152 | 152 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |  3519 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 153 | 153 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |  3535 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 154 | 154 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.96	c   0.9s|     1 |     0 |  3550 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 155 | 155 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.96	c   0.9s|     1 |     0 |  3564 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 156 | 156 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.96	c   0.9s|     1 |     0 |  3577 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 157 | 157 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.97	c   0.9s|     1 |     0 |  3589 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 158 | 158 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.89/0.97	c   1.0s|     1 |     0 |  3600 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 159 | 159 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.97	c   1.0s|     1 |     0 |  3610 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 160 | 160 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.98	c   1.0s|     1 |     0 |  3619 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 161 | 161 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.98	c   1.0s|     1 |     0 |  3627 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 162 | 162 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.98	c   1.0s|     1 |     0 |  3634 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 163 | 163 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.98	c   1.0s|     1 |     0 |  3640 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 164 | 164 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.99	c   1.0s|     1 |     0 |  3661 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 165 | 165 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
0.89/0.99	c   1.0s|     1 |     2 |  3661 |     - |  15M|   0 |   0 |7130 | 330 |7130 | 165 | 165 |   0 |   0 | 0.000000e+00 | 7.727000e+03 |    Inf 
1.39/1.43	o 160
1.39/1.43	c * 1.4s|   222 |   221 |  3756 |   0.4 |  16M| 161 |   - |7130 | 330 |7130 | 165 | 165 |   0 |   0 | 0.000000e+00 | 1.600000e+02 |    Inf 
18.60/18.70	c  18.7s| 10000 |  9945 |  5567 |   0.2 |  47M|1979 |   0 |7130 | 355 |7130 | 165 | 165 |  37 |   0 | 0.000000e+00 | 1.600000e+02 |    Inf 
27.69/27.74	o 156
27.69/27.74	c *27.7s| 15567 | 15457 |  6919 |   0.2 |  68M|1979 |   - |7130 | 467 |7130 | 165 | 165 | 163 |   0 | 0.000000e+00 | 1.560000e+02 |    Inf 
27.79/27.81	o 154
27.79/27.81	c *27.8s| 15579 | 15456 |  6990 |   0.2 |  68M|1979 |   - |7130 | 489 |7130 | 165 | 165 | 188 |   0 | 0.000000e+00 | 1.540000e+02 |    Inf 
28.39/28.40	o 150
28.39/28.40	c *28.4s| 15796 | 15646 |  7117 |   0.2 |  69M|1979 |   - |7130 | 519 |7130 | 165 | 165 | 228 |   0 | 0.000000e+00 | 1.500000e+02 |    Inf 
28.49/28.52	o 135
28.49/28.52	c *28.5s| 15830 | 15525 |  7240 |   0.2 |  69M|1979 |   - |7130 | 524 |7130 | 165 | 165 | 248 |   0 | 0.000000e+00 | 1.350000e+02 |    Inf 
29.09/29.18	o 133
29.09/29.18	c *29.2s| 16082 | 15754 |  7446 |   0.2 |  70M|1979 |   - |7130 | 497 |7130 | 165 | 165 | 257 |   0 | 0.000000e+00 | 1.330000e+02 |    Inf 
29.19/29.27	o 120
29.19/29.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
29.19/29.27	c *29.3s| 16108 |  5878 |  7534 |   0.2 |  40M|1979 |   - |7130 | 502 |7130 | 165 | 165 | 263 |   0 | 0.000000e+00 | 1.200000e+02 |    Inf 
29.49/29.55	o 111
29.49/29.55	c *29.5s| 16204 |  5925 |  7903 |   0.3 |  40M|1979 |   - |7130 | 498 |7130 | 165 | 165 | 276 |   0 | 0.000000e+00 | 1.110000e+02 |    Inf 
29.60/29.64	o 80
29.60/29.64	c *29.6s| 16235 |  5248 |  8045 |   0.3 |  39M|1979 |   - |7130 | 505 |7130 | 165 | 165 | 291 |   0 | 0.000000e+00 | 8.000000e+01 |    Inf 
29.70/29.73	o 76
29.70/29.73	c *29.7s| 16259 |  5243 |  8132 |   0.3 |  39M|1979 |   - |7130 | 483 |7130 | 165 | 165 | 299 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
29.79/29.84	o 74
29.79/29.84	c *29.8s| 16284 |  5240 |  8247 |   0.3 |  39M|1979 |   - |7130 | 488 |7130 | 165 | 165 | 320 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
29.89/29.93	o 69
29.89/29.93	c *29.9s| 16310 |  5226 |  8282 |   0.3 |  39M|1979 |   - |7130 | 494 |7130 | 165 | 165 | 336 |   0 | 0.000000e+00 | 6.900000e+01 |    Inf 
30.09/30.17	o 66
30.09/30.17	c *30.1s| 16360 |  5239 |  8821 |   0.3 |  40M|1979 |   - |7130 | 525 |7130 | 165 | 165 | 404 |   0 | 0.000000e+00 | 6.600000e+01 |    Inf 
30.29/30.37	o 60
30.29/30.37	c *30.4s| 16403 |  4996 |  9093 |   0.3 |  39M|1979 |   - |7130 | 481 |7130 | 165 | 165 | 463 |   0 | 0.000000e+00 | 6.000000e+01 |    Inf 
30.39/30.49	o 59
30.39/30.49	c *30.5s| 16423 |  4998 |  9328 |   0.3 |  39M|1979 |   - |7130 | 486 |7130 | 165 | 165 | 499 |   0 | 0.000000e+00 | 5.900000e+01 |    Inf 
30.99/31.01	o 55
30.99/31.01	c *31.0s| 16535 |  5011 | 10245 |   0.4 |  39M|1979 |   - |7130 | 411 |7130 | 165 | 165 | 656 |   0 | 0.000000e+00 | 5.500000e+01 |    Inf 
31.90/31.96	o 36
31.90/31.96	c *31.9s| 16833 |  4713 | 11162 |   0.4 |  39M|1979 |   - |7130 | 455 |7130 | 165 | 165 | 825 |   0 | 0.000000e+00 | 3.600000e+01 |    Inf 
34.30/34.32	o 35
34.30/34.32	c *34.3s| 17934 |  5717 | 12027 |   0.5 |  41M|1979 |   - |7130 | 485 |7130 | 165 | 165 | 918 |   0 | 0.000000e+00 | 3.500000e+01 |    Inf 
37.19/37.23	o 33
37.19/37.23	c *37.2s| 19344 |  7062 | 12301 |   0.4 |  44M|1979 |   - |7130 | 474 |7130 | 165 | 165 | 923 |   0 | 0.000000e+00 | 3.300000e+01 |    Inf 
38.19/38.20	o 31
38.19/38.20	c *38.2s| 19751 |  7430 | 12728 |   0.5 |  45M|1979 |   - |7130 | 468 |7130 | 165 | 165 | 929 |   0 | 0.000000e+00 | 3.100000e+01 |    Inf 
38.79/38.80	c  38.8s| 20000 |  7677 | 12824 |   0.5 |  46M|1979 |   0 |7130 | 461 |7130 | 165 | 165 | 929 |   0 | 0.000000e+00 | 3.100000e+01 |    Inf 
40.29/40.32	o 30
40.29/40.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
40.29/40.32	c *40.3s| 20956 |  8610 | 12966 |   0.4 |  48M|1979 |   - |7130 | 429 |7130 | 165 | 165 | 941 |   0 | 0.000000e+00 | 3.000000e+01 |    Inf 
45.79/45.81	o 29
45.79/45.81	c *45.8s| 24353 | 11974 | 13269 |   0.4 |  56M|1979 |   - |7130 | 372 |7130 | 165 | 165 | 945 |   0 | 0.000000e+00 | 2.900000e+01 |    Inf 
46.70/46.74	o 1
46.70/46.74	c *46.7s| 24850 |  2575 | 13524 |   0.4 |  33M|1979 |   - |7130 | 365 |7130 | 165 | 165 | 950 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
46.70/46.76	c 
46.70/46.76	c SCIP Status        : problem is solved [optimal solution found]
46.70/46.76	c Solving Time (sec) : 46.74
46.70/46.76	c Solving Nodes      : 24850
46.70/46.76	c Primal Bound       : +1.00000000000000e+00 (121 solutions)
46.70/46.76	c Dual Bound         : +1.00000000000000e+00
46.70/46.76	c Gap                : 0.00 %
46.70/46.76	s OPTIMUM FOUND
46.70/46.76	v -x6800 -x6799 -x6798 -x6797 -x6796 x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 
46.70/46.76	v -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 
46.70/46.76	v -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 
46.70/46.76	v -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 
46.70/46.76	v -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 
46.70/46.76	v -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 
46.70/46.76	v -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 
46.70/46.76	v -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 
46.70/46.76	v -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 x6642 -x6641 -x6640 -x6639 
46.70/46.76	v -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 
46.70/46.76	v -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 
46.70/46.76	v -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 
46.70/46.76	v -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 
46.70/46.76	v -x6567 -x6566 -x6565 -x6564 x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 
46.70/46.76	v -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 
46.70/46.76	v -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 
46.70/46.76	v -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 
46.70/46.76	v -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 
46.70/46.76	v -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 
46.70/46.76	v -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 
46.70/46.76	v -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 
46.70/46.76	v -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 
46.70/46.76	v -x6406 x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 
46.70/46.76	v -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 
46.70/46.76	v -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 
46.70/46.76	v -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 
46.70/46.76	v -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 
46.70/46.76	v -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 
46.70/46.76	v -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 
46.70/46.76	v -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 
46.70/46.76	v -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 
46.70/46.76	v -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 
46.70/46.76	v -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 
46.70/46.76	v -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 
46.70/46.76	v -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 
46.70/46.76	v -x6173 -x6172 -x6171 -x6170 -x6169 x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 
46.70/46.76	v -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 
46.70/46.76	v -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 
46.70/46.76	v -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 
46.70/46.76	v -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 x6089 -x6088 -x6087 -x6086 -x6085 
46.70/46.76	v -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 
46.70/46.76	v -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 
46.70/46.76	v -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 
46.70/46.76	v -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 
46.70/46.76	v -x6012 -x6011 x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 
46.70/46.76	v -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 
46.70/46.76	v -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 
46.70/46.76	v -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 
46.70/46.76	v -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 
46.70/46.76	v -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 
46.70/46.76	v -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 
46.70/46.76	v -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 
46.70/46.76	v -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 
46.70/46.76	v -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 
46.70/46.76	v -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 
46.70/46.76	v -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 
46.70/46.76	v -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 
46.70/46.76	v -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 
46.70/46.76	v -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 
46.70/46.76	v -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 
46.70/46.76	v -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 
46.70/46.76	v -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 x5694 -x5693 -x5692 -x5691 
46.70/46.76	v -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 
46.70/46.76	v -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 
46.70/46.76	v -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 
46.70/46.76	v -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 
46.70/46.76	v -x5619 -x5618 -x5617 -x5616 x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 
46.70/46.76	v -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 
46.70/46.76	v -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 
46.70/46.76	v -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 
46.70/46.76	v -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 
46.70/46.76	v -x5529 -x5528 x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 
46.70/46.76	v -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 
46.70/46.76	v -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 
46.70/46.76	v -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 
46.70/46.76	v -x5458 x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 
46.70/46.76	v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 
46.70/46.76	v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 
46.70/46.76	v -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 
46.70/46.76	v -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 
46.70/46.76	v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 
46.70/46.76	v -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 
46.70/46.76	v -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 
46.70/46.76	v -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 x5299 -x5298 
46.70/46.76	v -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 
46.70/46.76	v -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 
46.70/46.76	v -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 
46.70/46.76	v -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 
46.70/46.76	v -x5225 -x5224 -x5223 -x5222 -x5221 x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 
46.70/46.76	v -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 
46.70/46.76	v -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 
46.70/46.76	v -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 
46.70/46.76	v -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 
46.70/46.76	v -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 
46.70/46.76	v -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 
46.70/46.76	v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 
46.70/46.76	v -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 
46.70/46.76	v -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 x5052 -x5051 -x5050 -x5049 -x5048 -x5047 
46.70/46.76	v -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 
46.70/46.76	v -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 
46.70/46.76	v -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 
46.70/46.76	v -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 
46.70/46.76	v -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 
46.70/46.76	v -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 
46.70/46.76	v -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 
46.70/46.76	v -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 x4904 
46.70/46.76	v -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 
46.70/46.76	v -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 
46.70/46.76	v -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 
46.70/46.76	v -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 
46.70/46.76	v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 
46.70/46.76	v -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 
46.70/46.76	v -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 
46.70/46.76	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
46.70/46.76	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 x4746 -x4745 -x4744 -x4743 
46.70/46.76	v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 
46.70/46.76	v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 
46.70/46.76	v -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 
46.70/46.76	v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 
46.70/46.76	v -x4671 -x4670 -x4669 -x4668 x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 
46.70/46.76	v -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 
46.70/46.76	v -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 
46.70/46.76	v -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 
46.70/46.76	v -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 
46.70/46.76	v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 
46.70/46.76	v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 
46.70/46.76	v -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 
46.70/46.76	v -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 
46.70/46.76	v -x4510 x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 
46.70/46.76	v -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 
46.70/46.76	v -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 
46.70/46.76	v -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 
46.70/46.76	v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 
46.70/46.76	v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 
46.70/46.76	v -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 
46.70/46.76	v -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 
46.70/46.76	v -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 x4351 -x4350 -x4349 
46.70/46.76	v -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 
46.70/46.76	v -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 
46.70/46.76	v -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 
46.70/46.76	v -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 
46.70/46.76	v -x4277 -x4276 -x4275 -x4274 -x4273 x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
46.70/46.76	v -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 
46.70/46.76	v -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 
46.70/46.76	v -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 
46.70/46.76	v -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 x4193 -x4192 -x4191 -x4190 -x4189 -x4188 
46.70/46.76	v -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 
46.70/46.76	v -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 
46.70/46.76	v -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 
46.70/46.76	v -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 
46.70/46.76	v -x4116 -x4115 x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 
46.70/46.76	v -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 
46.70/46.76	v -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 
46.70/46.76	v -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 
46.70/46.76	v -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 
46.70/46.76	v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 
46.70/46.76	v -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 
46.70/46.76	v -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 
46.70/46.76	v -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 x3956 
46.70/46.76	v -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 
46.70/46.76	v -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 
46.70/46.76	v -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 
46.70/46.76	v -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 
46.70/46.76	v -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 
46.70/46.76	v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 
46.70/46.76	v -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 
46.70/46.76	v -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 
46.70/46.76	v -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 x3798 -x3797 -x3796 -x3795 
46.70/46.76	v -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 
46.70/46.76	v -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 
46.70/46.76	v -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 
46.70/46.76	v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 
46.70/46.76	v -x3722 -x3721 -x3720 x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 
46.70/46.76	v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 
46.70/46.76	v -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 
46.70/46.76	v -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 
46.70/46.76	v -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 
46.70/46.76	v -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 
46.70/46.76	v -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 
46.70/46.76	v -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 
46.70/46.76	v -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 
46.70/46.76	v x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 
46.70/46.76	v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 
46.70/46.76	v -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 
46.70/46.76	v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 
46.70/46.76	v -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 
46.70/46.76	v -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 
46.70/46.76	v -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 
46.70/46.76	v -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 
46.70/46.76	v x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 
46.70/46.76	v -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 
46.70/46.76	v -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 
46.70/46.76	v -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 
46.70/46.76	v -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 
46.70/46.76	v -x3329 -x3328 -x3327 -x3326 -x3325 x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 
46.70/46.76	v -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 
46.70/46.76	v -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 
46.70/46.76	v -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 
46.70/46.76	v -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 x3245 -x3244 -x3243 -x3242 -x3241 -x3240 
46.70/46.76	v -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 
46.70/46.76	v -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 
46.70/46.76	v -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 
46.70/46.76	v -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 
46.70/46.76	v -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 
46.70/46.76	v -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 x3136 -x3135 -x3134 -x3133 
46.70/46.76	v -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 
46.70/46.76	v -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 
46.70/46.76	v -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 
46.70/46.76	v -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 
46.70/46.76	v -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 
46.70/46.76	v -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 
46.70/46.76	v -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 
46.70/46.76	v x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 
46.70/46.76	v -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 
46.70/46.76	v -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 
46.70/46.76	v -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 
46.70/46.76	v -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 
46.70/46.76	v -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 
46.70/46.76	v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 
46.70/46.76	v -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 
46.70/46.76	v -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 x2850 -x2849 -x2848 -x2847 
46.70/46.76	v -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
46.70/46.76	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 
46.70/46.76	v -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 
46.70/46.76	v -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 
46.70/46.76	v -x2774 -x2773 -x2772 x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 
46.70/46.76	v -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 
46.70/46.76	v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 
46.70/46.76	v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
46.70/46.76	v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 
46.70/46.76	v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 
46.70/46.76	v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 
46.70/46.76	v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 
46.70/46.76	v -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 
46.70/46.76	v x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 
46.70/46.76	v -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 
46.70/46.76	v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 
46.70/46.76	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
46.70/46.76	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
46.70/46.76	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
46.70/46.76	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
46.70/46.76	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
46.70/46.76	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 x2455 -x2454 -x2453 
46.70/46.76	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
46.70/46.76	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
46.70/46.76	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 
46.70/46.76	v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 
46.70/46.76	v -x2381 -x2380 -x2379 -x2378 -x2377 x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 
46.70/46.76	v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 
46.70/46.76	v -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
46.70/46.76	v -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 
46.70/46.76	v -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 x2297 -x2296 -x2295 -x2294 -x2293 -x2292 
46.70/46.76	v -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 
46.70/46.76	v -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 
46.70/46.76	v -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 
46.70/46.76	v -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
46.70/46.76	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
46.70/46.76	v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
46.70/46.76	v -x2184 -x2183 -x2182 x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
46.70/46.76	v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
46.70/46.76	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 
46.70/46.76	v -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
46.70/46.76	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 
46.70/46.76	v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
46.70/46.76	v -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 x2060 
46.70/46.76	v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 
46.70/46.76	v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 
46.70/46.76	v -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 
46.70/46.76	v -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 
46.70/46.76	v -x1987 -x1986 -x1985 x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 
46.70/46.76	v -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 
46.70/46.76	v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 
46.70/46.76	v -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 
46.70/46.76	v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 
46.70/46.76	v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 x1883 -x1882 -x1881 
46.70/46.76	v -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 
46.70/46.76	v -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 
46.70/46.76	v -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 
46.70/46.76	v -x1826 -x1825 -x1824 x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 
46.70/46.76	v -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 
46.70/46.76	v -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 
46.70/46.76	v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 
46.70/46.76	v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 
46.70/46.76	v -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 
46.70/46.76	v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
46.70/46.76	v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
46.70/46.76	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
46.70/46.76	v x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 
46.70/46.76	v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 
46.70/46.76	v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 
46.70/46.76	v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 
46.70/46.76	v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 
46.70/46.76	v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 
46.70/46.76	v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 
46.70/46.76	v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 
46.70/46.76	v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 x1507 -x1506 -x1505 
46.70/46.76	v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 
46.70/46.76	v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 
46.70/46.76	v -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 
46.70/46.76	v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 
46.70/46.76	v -x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 
46.70/46.76	v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 
46.70/46.76	v -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 
46.70/46.76	v -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
46.70/46.76	v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
46.70/46.76	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
46.70/46.76	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
46.70/46.76	v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 
46.70/46.76	v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 
46.70/46.76	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 
46.70/46.76	v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 
46.70/46.76	v -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 
46.70/46.76	v -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 
46.70/46.76	v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 
46.70/46.76	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 
46.70/46.76	v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
46.70/46.76	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
46.70/46.76	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 
46.70/46.76	v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 
46.70/46.76	v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 
46.70/46.76	v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 
46.70/46.76	v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 
46.70/46.76	v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 
46.70/46.76	v -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 
46.70/46.76	v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 
46.70/46.76	v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 
46.70/46.76	v -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 
46.70/46.76	v -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 
46.70/46.76	v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 
46.70/46.76	v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 
46.70/46.76	v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 -x859 
46.70/46.76	v -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 
46.70/46.76	v -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 
46.70/46.76	v -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 
46.70/46.76	v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 
46.70/46.76	v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 
46.70/46.76	v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 
46.70/46.76	v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 
46.70/46.76	v -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 
46.70/46.76	v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 
46.70/46.76	v -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 
46.70/46.76	v -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 
46.70/46.76	v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 
46.70/46.76	v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 
46.70/46.76	v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 
46.70/46.76	v -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 
46.70/46.76	v -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 
46.70/46.76	v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 
46.70/46.76	v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 
46.70/46.76	v -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 
46.70/46.76	v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 
46.70/46.76	v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 
46.70/46.76	v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 
46.70/46.76	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 
46.70/46.76	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 
46.70/46.76	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 
46.70/46.76	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 
46.70/46.76	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 
46.70/46.76	v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 
46.70/46.76	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 
46.70/46.76	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 
46.70/46.76	v -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 
46.70/46.76	v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 
46.70/46.76	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 
46.70/46.76	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 
46.70/46.76	v -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 
46.70/46.76	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 
46.70/46.76	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 
46.70/46.76	v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 
46.70/46.76	v -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 
46.70/46.76	v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 
46.70/46.76	v -x7 -x6 -x5 -x4 -x3 -x2 -x1 
46.70/46.76	c SCIP Status        : problem is solved [optimal solution found]
46.70/46.76	c Solving Time       :      46.74
46.70/46.76	c Original Problem   :
46.70/46.76	c   Problem name     : HOME/instance-2705528-1278576614.wbo
46.70/46.76	c   Variables        : 7130 (6965 binary, 0 integer, 165 implicit integer, 0 continuous)
46.70/46.76	c   Constraints      : 331 initial, 331 maximal
46.70/46.76	c Presolved Problem  :
46.70/46.76	c   Problem name     : t_HOME/instance-2705528-1278576614.wbo
46.70/46.76	c   Variables        : 7130 (6965 binary, 0 integer, 165 implicit integer, 0 continuous)
46.70/46.76	c   Constraints      : 330 initial, 536 maximal
46.70/46.76	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
46.70/46.76	c   trivial          :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   implics          :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   probing          :       0.03          0          0          0          0          0          0          0          0
46.70/46.76	c   linear           :       0.01          0          0          0        165          0          1          0          0
46.70/46.76	c   indicator        :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   logicor          :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
46.70/46.76	c   root node        :          -        276          -          -        276          -          -          -          -
46.70/46.76	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
46.70/46.76	c   integral         :          0          0          0      24620          0          0          0          0          0          0
46.70/46.76	c   linear           :        165         82      39659      24620          0          0     268760        165          0          0
46.70/46.76	c   indicator        :        165          0      39626      24611          0         11       2580          0          0          0
46.70/46.76	c   logicor          :          0+         0        172          0          0          0          9          0          0          0
46.70/46.76	c   bounddisjunction :          0+         0       1568          0          0         42        496          0          0          0
46.70/46.76	c   countsols        :          0          0          0      24620          0          0          0          0          0          0
46.70/46.76	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
46.70/46.76	c   integral         :       0.01       0.00       0.00       0.01       0.00
46.70/46.76	c   linear           :       1.33       0.01       1.24       0.08       0.00
46.70/46.76	c   indicator        :       0.20       0.00       0.06       0.14       0.00
46.70/46.76	c   logicor          :       0.00       0.00       0.00       0.00       0.00
46.70/46.76	c   bounddisjunction :       0.13       0.00       0.13       0.00       0.00
46.70/46.76	c   countsols        :       0.00       0.00       0.00       0.00       0.00
46.70/46.76	c Propagators        :       Time      Calls    Cutoffs    DomReds
46.70/46.76	c   vbounds          :       0.02       1109          0        578
46.70/46.76	c   rootredcost      :       0.01         23          0        165
46.70/46.76	c   pseudoobj        :       0.21      39468          9       3663
46.70/46.76	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
46.70/46.76	c   propagation      :       0.04         51         51        170      308.1          0        0.0          -
46.70/46.76	c   infeasible LP    :       0.63        170        165       1191      470.4          3      122.7          0
46.70/46.76	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
46.70/46.76	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
46.70/46.76	c   pseudo solution  :       0.01          6          6         47      344.8          0        0.0          -
46.70/46.76	c   applied globally :          -          -          -        951      333.1          -          -          -
46.70/46.76	c   applied locally  :          -          -          -          0        0.0          -          -          -
46.70/46.76	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
46.70/46.76	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
46.70/46.76	c   redcost          :       3.05      24943          0       2693          0          0
46.70/46.76	c   impliedbounds    :       0.00          0          0          0          0          0
46.70/46.76	c   intobj           :       0.00          0          0          0          0          0
46.70/46.76	c   cgmip            :       0.00          0          0          0          0          0
46.70/46.76	c   gomory           :       0.00          0          0          0          0          0
46.70/46.76	c   strongcg         :       0.00          0          0          0          0          0
46.70/46.76	c   cmir             :       0.00          0          0          0          0          0
46.70/46.76	c   flowcover        :       0.00          0          0          0          0          0
46.70/46.76	c   clique           :       0.00          0          0          0          0          0
46.70/46.76	c   zerohalf         :       0.00          0          0          0          0          0
46.70/46.76	c   mcf              :       0.00          0          0          0          0          0
46.70/46.76	c   rapidlearning    :       0.20          1          0          0          0          0
46.70/46.76	c Pricers            :       Time      Calls       Vars
46.70/46.76	c   problem variables:       0.00          0          0
46.70/46.76	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
46.70/46.76	c   relpscost        :       0.00          0          0          0          0          0          0
46.70/46.76	c   pscost           :       0.00          0          0          0          0          0          0
46.70/46.76	c   inference        :      10.15      24597          0          0          0          0      49195
46.70/46.76	c   mostinf          :       0.00          0          0          0          0          0          0
46.70/46.76	c   leastinf         :       0.00          0          0          0          0          0          0
46.70/46.76	c   fullstrong       :       0.00          0          0          0          0          0          0
46.70/46.76	c   allfullstrong    :       0.00          0          0          0          0          0          0
46.70/46.76	c   random           :       0.00          0          0          0          0          0          0
46.70/46.76	c Primal Heuristics  :       Time      Calls      Found
46.70/46.76	c   LP solutions     :       0.04          -         23
46.70/46.76	c   pseudo solutions :       0.00          -          0
46.70/46.76	c   feaspump         :       0.00          0          0
46.70/46.76	c   oneopt           :       0.13         22          0
46.70/46.76	c   crossover        :       0.65         15          2
46.70/46.76	c   guideddiving     :       0.08         70          0
46.70/46.76	c   linesearchdiving :       0.07         72          0
46.70/46.76	c   coefdiving       :       0.07         73          0
46.70/46.76	c   pscostdiving     :       0.07         73          0
46.70/46.76	c   fracdiving       :       0.06         73          0
46.70/46.76	c   veclendiving     :       0.06         73          0
46.70/46.76	c   objpscostdiving  :       0.08         73          0
46.70/46.76	c   rootsoldiving    :       0.08         73          0
46.70/46.76	c   trivial          :       0.01          2          2
46.70/46.76	c   simplerounding   :       0.01          0          0
46.70/46.76	c   zirounding       :       0.01          0          0
46.70/46.76	c   rounding         :       0.01          0          0
46.70/46.76	c   shifting         :       0.00          0          0
46.70/46.76	c   intshifting      :       0.00          0          0
46.70/46.76	c   twoopt           :       0.00          0          0
46.70/46.76	c   fixandinfer      :       0.00          0          0
46.70/46.76	c   intdiving        :       0.00          0          0
46.70/46.76	c   actconsdiving    :       0.00          0          0
46.70/46.76	c   octane           :       0.00          0          0
46.70/46.76	c   rens             :       0.00          0          0
46.70/46.76	c   rins             :       0.00          0          0
46.70/46.76	c   localbranching   :       0.00          0          0
46.70/46.76	c   mutation         :       0.00          0          0
46.70/46.76	c   dins             :       0.00          0          0
46.70/46.76	c   undercover       :       0.00          0          0
46.70/46.76	c   nlp              :       0.00          0          0
46.70/46.76	c   trysol           :       0.15        102         94
46.70/46.76	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
46.70/46.76	c   primal LP        :       0.00          0          0       0.00          -
46.70/46.76	c   dual LP          :      16.54        841      13325      15.84     805.49
46.70/46.76	c   lex dual LP      :       0.00          0          0       0.00          -
46.70/46.76	c   barrier LP       :       0.00          0          0       0.00          -
46.70/46.76	c   diving/probing LP:       0.05         20        199       9.95    3947.94
46.70/46.76	c   strong branching :       0.00          0          0       0.00          -
46.70/46.76	c     (at root node) :          -          0          0       0.00          -
46.70/46.76	c   conflict analysis:       0.00          0          0       0.00          -
46.70/46.76	c B&B Tree           :
46.70/46.76	c   number of runs   :          1
46.70/46.76	c   nodes            :      24850
46.70/46.76	c   nodes (total)    :      24850
46.70/46.76	c   nodes left       :          0
46.70/46.76	c   max depth        :       1979
46.70/46.76	c   max depth (total):       1979
46.70/46.76	c   backtracks       :        194 (0.8%)
46.70/46.76	c   delayed cutoffs  :       2728
46.70/46.76	c   repropagations   :       9554 (1964 domain reductions, 8 cutoffs)
46.70/46.76	c   avg switch length:       2.94
46.70/46.76	c   switching time   :       1.90
46.70/46.76	c Solution           :
46.70/46.76	c   Solutions found  :        121 (24 improvements)
46.70/46.76	c   First Solution   : +7.72700000000000e+03   (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
46.70/46.76	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 24850 nodes, 46.71 seconds, depth 536, found by <relaxation>)
46.70/46.76	c   Dual Bound       : +1.00000000000000e+00
46.70/46.76	c   Gap              :       0.00 %
46.70/46.76	c   Root Dual Bound  : +0.00000000000000e+00
46.70/46.76	c   Root Iterations  :       3661
46.70/46.78	c Time complete: 46.78.

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705528-1278576614/watcher-2705528-1278576614 -o /tmp/evaluation-result-2705528-1278576614/solver-2705528-1278576614 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705528-1278576614.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23735
/proc/meminfo: memFree=28226212/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=12632 CPUtime=0
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 1993 0 0 0 0 0 0 0 25 0 1 0 25874525 12935168 1912 4089446400 4194304 10345943 140735363954656 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23735/statm: 3158 1912 429 1502 0 1651 0

[startup+0.035137 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23735
/proc/meminfo: memFree=28226212/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=29544 CPUtime=0.02
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 6629 0 0 0 2 0 0 0 25 0 1 0 25874525 30253056 6194 4089446400 4194304 10345943 140735363954656 18446744073709551615 4604681 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23735/statm: 7386 6196 494 1502 0 5879 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29544

[startup+0.101129 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23735
/proc/meminfo: memFree=28226212/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=43560 CPUtime=0.1
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 9885 0 0 0 9 1 0 0 25 0 1 0 25874525 44605440 9450 4089446400 4194304 10345943 140735363954656 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 11094 9483 627 1502 0 9587 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 43560

[startup+0.301105 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23735
/proc/meminfo: memFree=28226212/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=58740 CPUtime=0.29
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 14512 0 0 0 28 1 0 0 25 0 1 0 25874525 60149760 13279 4089446400 4194304 10345943 140735363954656 18446744073709551615 6148717 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 14685 13279 644 1502 0 13178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58740

[startup+0.701031 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 23735
/proc/meminfo: memFree=28226212/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=58740 CPUtime=0.69
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 14575 0 0 0 68 1 0 0 25 0 1 0 25874525 60149760 13342 4089446400 4194304 10345943 140735363954656 18446744073709551615 6882139 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 14685 13342 707 1502 0 13178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58740

[startup+1.5009 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23736
/proc/meminfo: memFree=28170776/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=58740 CPUtime=1.49
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 14622 0 0 0 148 1 0 0 25 0 1 0 25874525 60149760 13389 4089446400 4194304 10345943 140735363954656 18446744073709551615 6756392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 14685 13389 712 1502 0 13178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58740

[startup+3.10063 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23736
/proc/meminfo: memFree=28170156/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=58740 CPUtime=3.09
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 14623 0 0 0 308 1 0 0 25 0 1 0 25874525 60149760 13390 4089446400 4194304 10345943 140735363954656 18446744073709551615 4688020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 14685 13390 712 1502 0 13178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58740

[startup+6.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23736
/proc/meminfo: memFree=28169148/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=58740 CPUtime=6.29
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 15829 0 0 0 627 2 0 0 25 0 1 0 25874525 60149760 13426 4089446400 4194304 10345943 140735363954656 18446744073709551615 6853993 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 14685 13426 721 1502 0 13178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58740

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28167244/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=65808 CPUtime=12.69
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 19662 0 0 0 1266 3 0 0 25 0 1 0 25874525 67387392 14988 4089446400 4194304 10345943 140735363954656 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 16452 14988 721 1502 0 14945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65808

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28141484/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=91280 CPUtime=25.49
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 28075 0 0 0 2543 6 0 0 25 0 1 0 25874525 93470720 21360 4089446400 4194304 10345943 140735363954656 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 22820 21360 721 1502 0 21313 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91280

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

[startup+38.3002 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28103920/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=121612 CPUtime=38.29
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 50726 0 0 0 3818 11 0 0 25 0 1 0 25874525 124530688 29194 4089446400 4194304 10345943 140735363954656 18446744073709551615 6307504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 30403 29194 726 1502 0 28896 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 121612

[startup+41.5006 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28103936/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=121612 CPUtime=41.5
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 53086 0 0 0 4138 12 0 0 25 0 1 0 25874525 124530688 29194 4089446400 4194304 10345943 140735363954656 18446744073709551615 6119667 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 30403 29194 726 1502 0 28896 0
Current children cumulated CPU time (s) 41.5
Current children cumulated vsize (KiB) 121612

[startup+44.7011 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28103808/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=121612 CPUtime=44.69
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 55739 0 0 0 4457 12 0 0 25 0 1 0 25874525 124530688 29194 4089446400 4194304 10345943 140735363954656 18446744073709551615 6003111 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 30403 29194 726 1502 0 28896 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 121612

[startup+45.5009 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28103436/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=121612 CPUtime=45.49
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 57076 0 0 0 4537 12 0 0 25 0 1 0 25874525 124530688 29194 4089446400 4194304 10345943 140735363954656 18446744073709551615 6785235 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 30403 29194 726 1502 0 28896 0
Current children cumulated CPU time (s) 45.49
Current children cumulated vsize (KiB) 121612

[startup+46.3007 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28105544/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=121612 CPUtime=46.3
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 58415 0 0 0 4617 13 0 0 25 0 1 0 25874525 124530688 29194 4089446400 4194304 10345943 140735363954656 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 30403 29194 726 1502 0 28896 0
Current children cumulated CPU time (s) 46.3
Current children cumulated vsize (KiB) 121612

[startup+46.7007 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23737
/proc/meminfo: memFree=28105544/32951124 swapFree=67111528/67111528
[pid=23735] ppid=23733 vsize=121612 CPUtime=46.7
/proc/23735/stat : 23735 (pbscip.linux.x8) R 23733 23735 23192 0 -1 4202496 58415 0 0 0 4657 13 0 0 25 0 1 0 25874525 124530688 29194 4089446400 4194304 10345943 140735363954656 18446744073709551615 7582907 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23735/statm: 30403 29194 726 1502 0 28896 0
Current children cumulated CPU time (s) 46.7
Current children cumulated vsize (KiB) 121612

Child status: 0
Real time (s): 46.7887
CPU time (s): 46.7909
CPU user time (s): 46.6529
CPU system time (s): 0.137979
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 127984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.6529
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58451
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= 3
involuntary context switches= 172

runsolver used 0.06499 second user time and 0.155976 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-08 10:10:14
IDJOB=2705528
IDBENCH=79176
IDSOLVER=1214
FILE ID=node138/2705528-1278576614
PBS_JOBID= 11240178
Free space on /tmp= 73600 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705528-1278576614/watcher-2705528-1278576614 -o /tmp/evaluation-result-2705528-1278576614/solver-2705528-1278576614 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705528-1278576614.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 4b3e4ac9b9f8acc38ac61fe906d48ca6
RANDOM SEED=1569878084

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5266.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.845
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28226616 kB
Buffers:        157928 kB
Cached:        4050240 kB
SwapCached:          0 kB
Active:        1952700 kB
Inactive:      2603568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28226616 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18872 kB
Writeback:           0 kB
AnonPages:      348000 kB
Mapped:          17444 kB
Slab:           105352 kB
PageTables:       5212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   507428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73588 MiB
End job on node138 at 2010-07-08 10:11:01