Trace number 3741309

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: SCIP spx E_2 2011-06-10 (fixed)OPT81 113.499 113.542

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ex9.opb
MD5SUM8cecfae519c586a787d92a89208dece3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark81
Best CPU time to get the best result obtained on this benchmark0.446931
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10404
Total number of constraints40962
Number of constraints which are clauses40800
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
Number of terms in the objective function 10404
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10404
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10404
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3741309-1338774132.opb>
0.38/0.43	c original problem has 10404 variables (10404 bin, 0 int, 0 impl, 0 cont) and 40962 constraints
0.38/0.43	c problem read
0.38/0.43	c presolving settings loaded
0.59/0.64	c presolving:
0.78/0.81	c (round 1) 1404 del vars, 3272 del conss, 0 add conss, 1324 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4236 impls, 159 clqs
0.78/0.87	c (round 2) 1845 del vars, 6378 del conss, 0 add conss, 1761 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7190 impls, 157 clqs
0.78/0.89	c (round 3) 1924 del vars, 7158 del conss, 0 add conss, 1836 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8226 impls, 157 clqs
0.88/0.90	c (round 4) 1924 del vars, 7276 del conss, 0 add conss, 1836 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8226 impls, 157 clqs
1.09/1.12	c (round 5) 1924 del vars, 7281 del conss, 0 add conss, 1836 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8226 impls, 157 clqs
1.38/1.49	c (round 6) 1981 del vars, 7281 del conss, 0 add conss, 1845 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 247429 impls, 157 clqs
1.48/1.50	c (round 7) 1981 del vars, 7509 del conss, 0 add conss, 1845 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 247429 impls, 157 clqs
1.68/1.74	c (round 8) 2068 del vars, 7509 del conss, 0 add conss, 1857 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 360203 impls, 157 clqs
1.68/1.76	c (round 9) 2068 del vars, 7878 del conss, 0 add conss, 1863 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 360803 impls, 157 clqs
1.68/1.77	c (round 10) 2074 del vars, 7885 del conss, 0 add conss, 1863 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 360803 impls, 157 clqs
1.88/1.90	c (round 11) 2134 del vars, 7885 del conss, 0 add conss, 1890 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 453136 impls, 157 clqs
1.88/1.92	c (round 12) 2134 del vars, 8165 del conss, 0 add conss, 1908 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 453208 impls, 157 clqs
1.88/1.94	c (round 13) 2152 del vars, 8197 del conss, 0 add conss, 1908 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 453208 impls, 157 clqs
15.48/15.58	c    (15.6s) probing: 1000/8480 (11.8%) - 224 fixings, 0 aggregations, 1252314 implications, 48 bound changes
18.69/18.76	c (round 14) 2205 del vars, 8197 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3547628 impls, 157 clqs
18.69/18.77	c (round 15) 2205 del vars, 8409 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3547628 impls, 157 clqs
19.28/19.36	c (round 16) 2255 del vars, 8409 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3547628 impls, 157 clqs
19.38/19.40	c (round 17) 2283 del vars, 8675 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3548940 impls, 157 clqs
19.38/19.42	c (round 18) 2283 del vars, 8725 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3548940 impls, 157 clqs
19.98/20.00	c (round 19) 2333 del vars, 8725 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3551464 impls, 157 clqs
19.98/20.02	c (round 20) 2333 del vars, 8917 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3552620 impls, 157 clqs
22.48/22.53	c (round 21) 2383 del vars, 8917 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3895180 impls, 157 clqs
22.48/22.55	c (round 22) 2383 del vars, 9117 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 3895644 impls, 157 clqs
32.78/32.85	c    (32.8s) probing: 2000/8480 (23.6%) - 421 fixings, 5 aggregations, 2213193 implications, 52 bound changes
48.48/48.56	c    (48.5s) probing: 3000/8480 (35.4%) - 441 fixings, 10 aggregations, 3089578 implications, 52 bound changes
53.58/53.67	c (round 23) 2433 del vars, 9117 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 7336565 impls, 157 clqs
53.78/53.81	c (round 24) 2439 del vars, 9280 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 7354413 impls, 157 clqs
53.78/53.84	c (round 25) 2439 del vars, 9289 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 7354413 impls, 157 clqs
64.07/64.16	c    (64.1s) probing: 4000/8480 (47.2%) - 461 fixings, 10 aggregations, 3896460 implications, 52 bound changes
69.47/69.50	c (round 26) 2489 del vars, 9289 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8892939 impls, 157 clqs
69.47/69.53	c (round 27) 2489 del vars, 9489 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8892939 impls, 157 clqs
70.46/70.50	c (round 28) 2539 del vars, 9489 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8918199 impls, 157 clqs
70.46/70.52	c (round 29) 2539 del vars, 9689 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8918199 impls, 157 clqs
71.06/71.19	c (round 30) 2589 del vars, 9689 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8932529 impls, 157 clqs
71.16/71.22	c (round 31) 2589 del vars, 9889 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8932529 impls, 157 clqs
72.26/72.32	c (round 32) 2639 del vars, 9889 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8972169 impls, 157 clqs
72.26/72.35	c (round 33) 2639 del vars, 10089 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8972169 impls, 157 clqs
73.26/73.32	c (round 34) 2689 del vars, 10089 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8995019 impls, 157 clqs
73.26/73.35	c (round 35) 2689 del vars, 10289 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 8995019 impls, 157 clqs
74.57/74.69	c (round 36) 2739 del vars, 10289 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9066129 impls, 157 clqs
74.67/74.72	c (round 37) 2739 del vars, 10489 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9066129 impls, 157 clqs
75.67/75.73	c (round 38) 2789 del vars, 10489 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9096765 impls, 157 clqs
75.67/75.75	c (round 39) 2789 del vars, 10689 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9096765 impls, 157 clqs
76.67/76.75	c (round 40) 2839 del vars, 10689 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9125605 impls, 157 clqs
76.67/76.76	c (round 41) 2839 del vars, 10889 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9125605 impls, 157 clqs
77.97/78.05	c (round 42) 2889 del vars, 10889 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9186533 impls, 157 clqs
77.97/78.06	c (round 43) 2889 del vars, 11089 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9186551 impls, 157 clqs
78.86/78.98	c (round 44) 2939 del vars, 11089 del conss, 0 add conss, 1912 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9204633 impls, 157 clqs
78.96/79.01	c (round 45) 2939 del vars, 11299 del conss, 0 add conss, 1916 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9204695 impls, 157 clqs
78.96/79.04	c (round 46) 2943 del vars, 11305 del conss, 0 add conss, 1916 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9204695 impls, 157 clqs
79.46/79.58	c (round 47) 2994 del vars, 11305 del conss, 0 add conss, 1916 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9212297 impls, 157 clqs
79.56/79.61	c (round 48) 2994 del vars, 11509 del conss, 0 add conss, 1916 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9212305 impls, 157 clqs
80.17/80.30	c    (80.3s) probing: 5000/8480 (59.0%) - 1044 fixings, 10 aggregations, 4300108 implications, 52 bound changes
80.27/80.36	c (round 49) 3044 del vars, 11509 del conss, 0 add conss, 1916 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9223931 impls, 157 clqs
80.27/80.39	c (round 50) 3044 del vars, 11709 del conss, 0 add conss, 1916 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9224019 impls, 157 clqs
81.06/81.11	c (round 51) 3094 del vars, 11709 del conss, 0 add conss, 1916 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9236495 impls, 157 clqs
81.06/81.16	c (round 52) 3094 del vars, 11916 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9236575 impls, 157 clqs
81.06/81.19	c (round 53) 3098 del vars, 11925 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9236575 impls, 157 clqs
82.06/82.10	c (round 54) 3148 del vars, 11925 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9263315 impls, 157 clqs
82.06/82.12	c (round 55) 3153 del vars, 12126 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9263403 impls, 157 clqs
82.06/82.15	c (round 56) 3153 del vars, 12132 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9263403 impls, 157 clqs
82.96/83.04	c (round 57) 3203 del vars, 12132 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9311319 impls, 157 clqs
82.96/83.06	c (round 58) 3206 del vars, 12338 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9311367 impls, 157 clqs
82.96/83.09	c (round 59) 3206 del vars, 12341 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9311367 impls, 157 clqs
83.06/83.13	c (round 60) 3214 del vars, 12350 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9312391 impls, 155 clqs
83.06/83.15	c (round 61) 3225 del vars, 12392 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9312799 impls, 155 clqs
83.06/83.18	c (round 62) 3238 del vars, 12438 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9313181 impls, 155 clqs
83.66/83.71	c (round 63) 3289 del vars, 12439 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9315387 impls, 155 clqs
83.66/83.72	c (round 64) 3289 del vars, 12643 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9315393 impls, 155 clqs
84.36/84.42	c (round 65) 3348 del vars, 12643 del conss, 0 add conss, 1920 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9329319 impls, 155 clqs
84.36/84.46	c (round 66) 3348 del vars, 12901 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9329371 impls, 155 clqs
84.36/84.47	c (round 67) 3360 del vars, 12923 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9329371 impls, 155 clqs
85.46/85.53	c (round 68) 3410 del vars, 12923 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9358421 impls, 155 clqs
85.46/85.55	c (round 69) 3414 del vars, 13117 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9358469 impls, 155 clqs
85.46/85.56	c (round 70) 3414 del vars, 13127 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9358469 impls, 155 clqs
85.96/86.03	c (round 71) 3464 del vars, 13127 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9372021 impls, 155 clqs
85.96/86.04	c (round 72) 3464 del vars, 13327 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9372039 impls, 155 clqs
86.77/86.88	c (round 73) 3514 del vars, 13327 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9374663 impls, 155 clqs
86.77/86.89	c (round 74) 3514 del vars, 13527 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9374693 impls, 155 clqs
87.66/87.79	c (round 75) 3564 del vars, 13527 del conss, 0 add conss, 1932 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9399907 impls, 155 clqs
87.76/87.84	c (round 76) 3592 del vars, 13788 del conss, 0 add conss, 1933 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9401378 impls, 155 clqs
87.76/87.86	c (round 77) 3593 del vars, 13827 del conss, 0 add conss, 1933 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9401378 impls, 155 clqs
88.46/88.54	c (round 78) 3683 del vars, 13827 del conss, 0 add conss, 1933 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9408470 impls, 155 clqs
88.56/88.61	c (round 79) 3691 del vars, 14226 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9410455 impls, 155 clqs
88.56/88.62	c (round 80) 3702 del vars, 14251 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9410455 impls, 155 clqs
89.46/89.53	c (round 81) 3752 del vars, 14251 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9431713 impls, 155 clqs
89.56/89.60	c (round 82) 3760 del vars, 14459 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9431853 impls, 155 clqs
89.56/89.62	c (round 83) 3760 del vars, 14471 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9431853 impls, 155 clqs
90.36/90.43	c (round 84) 3825 del vars, 14471 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9442581 impls, 155 clqs
90.36/90.45	c (round 85) 3825 del vars, 14731 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9442629 impls, 155 clqs
91.16/91.21	c (round 86) 3887 del vars, 14731 del conss, 0 add conss, 1944 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9498609 impls, 155 clqs
91.16/91.27	c (round 87) 3895 del vars, 15004 del conss, 0 add conss, 1945 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9502888 impls, 155 clqs
91.16/91.28	c (round 88) 3896 del vars, 15015 del conss, 0 add conss, 1945 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9502888 impls, 155 clqs
92.76/92.81	c (round 89) 4165 del vars, 16010 del conss, 0 add conss, 1949 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9515380 impls, 152 clqs
92.76/92.82	c (round 90) 4169 del vars, 16082 del conss, 0 add conss, 1949 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9515380 impls, 152 clqs
93.86/93.94	c (round 91) 4219 del vars, 16082 del conss, 0 add conss, 1949 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9588254 impls, 152 clqs
93.86/93.98	c (round 92) 4219 del vars, 16293 del conss, 0 add conss, 1953 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9588306 impls, 152 clqs
93.96/94.00	c (round 93) 4223 del vars, 16298 del conss, 0 add conss, 1953 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9588306 impls, 152 clqs
94.56/94.69	c (round 94) 4273 del vars, 16298 del conss, 0 add conss, 1953 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9604732 impls, 152 clqs
94.85/94.91	c (round 95) 4281 del vars, 16566 del conss, 0 add conss, 1981 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9628530 impls, 152 clqs
94.85/94.92	c (round 96) 4309 del vars, 16606 del conss, 0 add conss, 1981 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9628530 impls, 152 clqs
95.56/95.69	c (round 97) 4359 del vars, 16606 del conss, 0 add conss, 1981 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9663528 impls, 152 clqs
95.66/95.72	c (round 98) 4369 del vars, 16846 del conss, 0 add conss, 1982 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9663932 impls, 152 clqs
95.66/95.74	c (round 99) 4370 del vars, 16858 del conss, 0 add conss, 1982 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9663938 impls, 152 clqs
95.66/95.77	c (round 100) 4378 del vars, 16867 del conss, 0 add conss, 1982 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9664010 impls, 150 clqs
95.66/95.79	c (round 101) 4378 del vars, 16875 del conss, 0 add conss, 1982 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9664010 impls, 150 clqs
96.35/96.50	c (round 102) 4428 del vars, 16876 del conss, 0 add conss, 1982 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9677500 impls, 150 clqs
96.55/96.66	c (round 103) 4435 del vars, 17135 del conss, 0 add conss, 2003 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9688839 impls, 150 clqs
96.55/96.69	c (round 104) 4459 del vars, 17180 del conss, 0 add conss, 2003 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9692671 impls, 150 clqs
96.66/96.74	c (round 105) 4462 del vars, 17216 del conss, 0 add conss, 2009 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9692713 impls, 150 clqs
96.66/96.76	c (round 106) 4468 del vars, 17228 del conss, 0 add conss, 2009 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9692713 impls, 150 clqs
97.25/97.32	c (round 107) 4518 del vars, 17228 del conss, 0 add conss, 2009 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9692713 impls, 150 clqs
97.45/97.59	c (round 108) 4524 del vars, 17497 del conss, 0 add conss, 2037 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9714830 impls, 150 clqs
97.55/97.62	c (round 109) 4553 del vars, 17571 del conss, 0 add conss, 2041 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9714860 impls, 150 clqs
97.55/97.65	c (round 110) 4557 del vars, 17576 del conss, 0 add conss, 2041 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9714860 impls, 150 clqs
98.15/98.28	c (round 111) 4607 del vars, 17576 del conss, 0 add conss, 2041 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9725526 impls, 150 clqs
98.55/98.63	c (round 112) 4688 del vars, 18025 del conss, 0 add conss, 2062 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9736449 impls, 150 clqs
98.55/98.67	c (round 113) 4717 del vars, 18174 del conss, 0 add conss, 2062 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9736673 impls, 150 clqs
98.55/98.69	c (round 114) 4718 del vars, 18207 del conss, 0 add conss, 2064 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9736687 impls, 150 clqs
98.65/98.72	c (round 115) 4720 del vars, 18208 del conss, 0 add conss, 2064 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9736687 impls, 150 clqs
99.15/99.29	c (round 116) 4817 del vars, 18208 del conss, 0 add conss, 2064 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9738989 impls, 150 clqs
99.25/99.33	c (round 117) 4823 del vars, 18604 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9744132 impls, 150 clqs
99.25/99.34	c (round 118) 4826 del vars, 18608 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9744132 impls, 150 clqs
99.85/99.99	c (round 119) 4876 del vars, 18608 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9815926 impls, 150 clqs
99.96/100.05	c (round 120) 4888 del vars, 18827 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9818482 impls, 150 clqs
99.96/100.06	c (round 121) 4888 del vars, 18841 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9818482 impls, 150 clqs
100.55/100.69	c (round 122) 4952 del vars, 18841 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9854368 impls, 150 clqs
100.65/100.70	c (round 123) 4952 del vars, 19085 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9854388 impls, 150 clqs
100.95/101.00	c    (101.0s) probing: 6000/8480 (70.8%) - 2290 fixings, 30 aggregations, 4508394 implications, 52 bound changes
101.16/101.25	c (round 124) 5002 del vars, 19085 del conss, 0 add conss, 2067 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9863850 impls, 150 clqs
101.35/101.41	c (round 125) 5042 del vars, 19407 del conss, 0 add conss, 2079 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9867749 impls, 150 clqs
101.35/101.44	c (round 126) 5059 del vars, 19484 del conss, 0 add conss, 2081 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9867955 impls, 150 clqs
101.35/101.47	c (round 127) 5075 del vars, 19531 del conss, 0 add conss, 2081 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9867999 impls, 150 clqs
101.35/101.50	c (round 128) 5079 del vars, 19556 del conss, 0 add conss, 2081 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9870759 impls, 150 clqs
101.85/101.93	c (round 129) 5129 del vars, 19558 del conss, 0 add conss, 2081 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9875033 impls, 150 clqs
101.95/102.04	c (round 130) 5151 del vars, 19836 del conss, 0 add conss, 2090 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9875415 impls, 150 clqs
101.95/102.05	c (round 131) 5161 del vars, 19890 del conss, 0 add conss, 2090 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9875419 impls, 150 clqs
102.35/102.49	c (round 132) 5234 del vars, 19890 del conss, 0 add conss, 2090 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9879653 impls, 150 clqs
102.45/102.56	c (round 133) 5237 del vars, 20178 del conss, 0 add conss, 2090 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9891581 impls, 150 clqs
103.05/103.11	c (round 134) 5310 del vars, 20179 del conss, 0 add conss, 2090 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9904027 impls, 150 clqs
103.05/103.14	c (round 135) 5312 del vars, 20479 del conss, 0 add conss, 2094 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9906375 impls, 150 clqs
103.05/103.15	c (round 136) 5316 del vars, 20485 del conss, 0 add conss, 2094 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9906375 impls, 150 clqs
103.45/103.58	c (round 137) 5366 del vars, 20485 del conss, 0 add conss, 2094 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9906375 impls, 150 clqs
103.95/104.08	c (round 138) 5501 del vars, 21056 del conss, 0 add conss, 2108 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9908551 impls, 150 clqs
104.15/104.22	c (round 139) 5539 del vars, 21383 del conss, 0 add conss, 2125 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9908618 impls, 150 clqs
104.15/104.23	c (round 140) 5558 del vars, 21428 del conss, 0 add conss, 2125 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9908634 impls, 150 clqs
104.15/104.25	c (round 141) 5558 del vars, 21430 del conss, 0 add conss, 2125 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9908634 impls, 150 clqs
104.55/104.68	c (round 142) 5608 del vars, 21430 del conss, 0 add conss, 2125 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9921888 impls, 150 clqs
104.95/105.03	c (round 143) 5680 del vars, 21876 del conss, 0 add conss, 2162 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9934743 impls, 150 clqs
104.95/105.08	c (round 144) 5729 del vars, 22078 del conss, 0 add conss, 2174 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9935103 impls, 150 clqs
104.95/105.09	c (round 145) 5743 del vars, 22111 del conss, 0 add conss, 2174 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9935515 impls, 150 clqs
105.05/105.10	c (round 146) 5743 del vars, 22114 del conss, 0 add conss, 2174 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9935515 impls, 150 clqs
105.05/105.13	c (round 147) 5743 del vars, 22116 del conss, 0 add conss, 2174 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9935515 impls, 150 clqs
105.46/105.52	c (round 148) 5793 del vars, 22116 del conss, 0 add conss, 2174 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9935515 impls, 150 clqs
106.15/106.26	c (round 149) 5938 del vars, 22773 del conss, 0 add conss, 2228 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9970738 impls, 150 clqs
106.25/106.36	c (round 150) 6027 del vars, 23180 del conss, 0 add conss, 2240 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9971520 impls, 150 clqs
106.35/106.40	c (round 151) 6044 del vars, 23256 del conss, 0 add conss, 2242 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9980126 impls, 150 clqs
106.35/106.41	c (round 152) 6046 del vars, 23264 del conss, 0 add conss, 2242 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 9980128 impls, 150 clqs
106.85/106.98	c (round 153) 6169 del vars, 23265 del conss, 0 add conss, 2242 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10017319 impls, 150 clqs
107.15/107.21	c (round 154) 6182 del vars, 23775 del conss, 0 add conss, 2264 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10049624 impls, 150 clqs
107.15/107.22	c (round 155) 6208 del vars, 23834 del conss, 0 add conss, 2264 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10049626 impls, 150 clqs
107.45/107.57	c (round 156) 6258 del vars, 23835 del conss, 0 add conss, 2264 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10053716 impls, 150 clqs
107.95/108.03	c (round 157) 6370 del vars, 24415 del conss, 0 add conss, 2339 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10071086 impls, 150 clqs
107.95/108.09	c (round 158) 6489 del vars, 24845 del conss, 0 add conss, 2349 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10073545 impls, 150 clqs
108.05/108.10	c (round 159) 6506 del vars, 24930 del conss, 0 add conss, 2352 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10073721 impls, 150 clqs
108.05/108.12	c (round 160) 6510 del vars, 24952 del conss, 0 add conss, 2356 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10074035 impls, 150 clqs
108.05/108.13	c (round 161) 6514 del vars, 24958 del conss, 0 add conss, 2356 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10074041 impls, 150 clqs
108.45/108.57	c (round 162) 6564 del vars, 24958 del conss, 0 add conss, 2356 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10074041 impls, 150 clqs
109.05/109.18	c (round 163) 6758 del vars, 25859 del conss, 0 add conss, 2432 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10086411 impls, 150 clqs
109.55/109.60	c (round 164) 6968 del vars, 26693 del conss, 0 add conss, 2497 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10121202 impls, 150 clqs
109.86/109.98	c (round 165) 7192 del vars, 27487 del conss, 0 add conss, 2556 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10123507 impls, 150 clqs
110.25/110.32	c (round 166) 7362 del vars, 28242 del conss, 0 add conss, 2607 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10127259 impls, 150 clqs
110.45/110.52	c (round 167) 7461 del vars, 28684 del conss, 0 add conss, 2642 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10153425 impls, 150 clqs
110.65/110.73	c (round 168) 7557 del vars, 28951 del conss, 0 add conss, 2668 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10168310 impls, 150 clqs
110.75/110.80	c (round 169) 7630 del vars, 29194 del conss, 0 add conss, 2672 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10171613 impls, 150 clqs
110.75/110.85	c (round 170) 7652 del vars, 29317 del conss, 0 add conss, 2685 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10173100 impls, 150 clqs
110.75/110.90	c (round 171) 7669 del vars, 29384 del conss, 0 add conss, 2692 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10178549 impls, 150 clqs
110.85/110.91	c (round 172) 7680 del vars, 29406 del conss, 0 add conss, 2692 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10178553 impls, 150 clqs
110.85/110.92	c (round 173) 7681 del vars, 29413 del conss, 0 add conss, 2692 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10178553 impls, 150 clqs
110.85/110.92	c (round 174) 7681 del vars, 29416 del conss, 0 add conss, 2692 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10178553 impls, 150 clqs
111.25/111.37	c (round 175) 7907 del vars, 29416 del conss, 0 add conss, 2692 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10192011 impls, 150 clqs
111.55/111.67	c (round 176) 7951 del vars, 30517 del conss, 0 add conss, 2781 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10230449 impls, 150 clqs
111.65/111.77	c (round 177) 8114 del vars, 31017 del conss, 0 add conss, 2827 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10235055 impls, 150 clqs
111.95/112.09	c (round 178) 8274 del vars, 31563 del conss, 0 add conss, 2934 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10256378 impls, 150 clqs
112.65/112.77	c (round 179) 8704 del vars, 33321 del conss, 0 add conss, 3100 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10289241 impls, 145 clqs
113.15/113.26	c (round 180) 9364 del vars, 35723 del conss, 0 add conss, 3273 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10305546 impls, 124 clqs
113.25/113.37	c (round 181) 9973 del vars, 38218 del conss, 0 add conss, 3441 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10310245 impls, 108 clqs
113.25/113.38	c (round 182) 10295 del vars, 39496 del conss, 0 add conss, 3506 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10313515 impls, 73 clqs
113.25/113.38	c (round 183) 10384 del vars, 39745 del conss, 0 add conss, 3508 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10313589 impls, 12 clqs
113.25/113.39	c (round 184) 10389 del vars, 39767 del conss, 0 add conss, 3508 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10313591 impls, 6 clqs
113.25/113.39	c (round 185) 10389 del vars, 39768 del conss, 0 add conss, 3508 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10313591 impls, 6 clqs
113.35/113.40	c (round 186) 10389 del vars, 39912 del conss, 0 add conss, 3508 chg bounds, 0 chg sides, 0 chg coeffs, 33681 upgd conss, 10313591 impls, 6 clqs
113.35/113.41	c    (113.4s) probing: 7000/8480 (82.5%) - 3093 fixings, 48 aggregations, 4545637 implications, 52 bound changes
113.35/113.41	c    (113.4s) probing: 8000/8480 (94.3%) - 3093 fixings, 48 aggregations, 4545637 implications, 52 bound changes
113.35/113.41	c presolving (187 rounds):
113.35/113.41	c  10389 deleted vars, 39912 deleted constraints, 0 added constraints, 3508 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
113.35/113.41	c  10313591 implications, 6 cliques
113.35/113.41	c presolved problem has 12 variables (12 bin, 0 int, 0 impl, 0 cont) and 1050 constraints
113.35/113.41	c       6 constraints of type <setppc>
113.35/113.41	c    1044 constraints of type <logicor>
113.35/113.41	c transformed objective value is always integral (scale: 1)
113.35/113.41	c Presolving Time: 112.80
113.35/113.41	c - non default parameters ----------------------------------------------------------------------
113.35/113.41	c # SCIP version 2.0.1.5
113.35/113.41	c 
113.35/113.41	c # frequency for displaying node information lines
113.35/113.41	c # [type: int, range: [-1,2147483647], default: 100]
113.35/113.41	c display/freq = 10000
113.35/113.41	c 
113.35/113.41	c # maximal time in seconds to run
113.35/113.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
113.35/113.41	c limits/time = 1797
113.35/113.41	c 
113.35/113.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
113.35/113.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
113.35/113.41	c limits/memory = 13950
113.35/113.41	c 
113.35/113.41	c # default clock type (1: CPU user seconds, 2: wall clock time)
113.35/113.41	c # [type: int, range: [1,2], default: 1]
113.35/113.41	c timing/clocktype = 2
113.35/113.41	c 
113.35/113.41	c # belongs reading time to solving time?
113.35/113.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
113.35/113.41	c timing/reading = TRUE
113.35/113.41	c 
113.35/113.41	c # should presolving try to simplify inequalities
113.35/113.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
113.35/113.41	c constraints/linear/simplifyinequalities = TRUE
113.35/113.41	c 
113.35/113.41	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
113.35/113.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
113.35/113.41	c constraints/indicator/addCouplingCons = TRUE
113.35/113.41	c 
113.35/113.41	c # should presolving try to simplify knapsacks
113.35/113.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
113.35/113.41	c constraints/knapsack/simplifyinequalities = TRUE
113.35/113.41	c 
113.35/113.41	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
113.35/113.41	c # [type: int, range: [-1,2147483647], default: -1]
113.35/113.41	c separating/rapidlearning/freq = 0
113.35/113.41	c 
113.35/113.41	c -----------------------------------------------------------------------------------------------
113.35/113.41	c start solving
113.35/113.41	c 
113.35/113.41	o 81
113.35/113.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
113.35/113.41	c T 113s|     1 |     0 |     0 |     - |  65M|   0 |   - |  12 |1050 |  12 |  54 |   0 |   0 |   0 |      --      | 8.100000e+01 |    Inf 
113.35/113.41	c   113s|     1 |     0 |     3 |     - |  65M|   0 |   - |  12 |1050 |  12 |  54 |   0 |   0 |   0 | 8.100000e+01 | 8.100000e+01 |   0.00%
113.35/113.41	c   113s|     1 |     0 |     3 |     - |  65M|   0 |   - |  12 |1050 |  12 |  54 |   0 |   0 |   0 | 8.100000e+01 | 8.100000e+01 |   0.00%
113.35/113.41	c 
113.35/113.41	c SCIP Status        : problem is solved [optimal solution found]
113.35/113.41	c Solving Time (sec) : 113.41
113.35/113.41	c Solving Nodes      : 1
113.35/113.41	c Primal Bound       : +8.10000000000000e+01 (1 solutions)
113.35/113.41	c Dual Bound         : +8.10000000000000e+01
113.35/113.41	c Gap                : 0.00 %
113.35/113.46	s OPTIMUM FOUND
113.35/113.46	v -x10404 -x10403 -x10402 -x10401 -x10400 -x10399 -x10398 -x10397 -x10396 -x10395 -x10394 -x10393 -x10392 -x10391 -x10390 -x10389 
113.35/113.46	v -x10388 -x10387 -x10386 -x10385 -x10384 -x10383 -x10382 -x10381 -x10380 -x10379 -x10378 -x10377 -x10376 -x10375 -x10374 -x10373 
113.35/113.46	v -x10372 -x10371 -x10370 -x10369 -x10368 -x10367 -x10366 -x10365 x10364 -x10363 -x10362 -x10361 -x10360 -x10359 -x10358 -x10357 
113.35/113.46	v -x10356 -x10355 -x10354 -x10353 -x10352 -x10351 -x10350 -x10349 -x10348 -x10347 -x10346 -x10345 -x10344 -x10343 -x10342 
113.35/113.46	v -x10341 -x10340 -x10339 -x10338 -x10337 -x10336 -x10335 -x10334 -x10333 -x10332 -x10331 -x10330 -x10329 -x10328 -x10327 -x10326 
113.35/113.46	v -x10325 -x10324 -x10323 -x10322 -x10321 -x10320 -x10319 -x10318 -x10317 -x10316 -x10315 -x10314 -x10313 -x10312 -x10311 -x10310 
113.35/113.46	v -x10309 -x10308 -x10307 -x10306 -x10305 -x10304 -x10303 -x10302 -x10301 -x10300 -x10299 -x10298 -x10297 -x10296 -x10295 
113.35/113.46	v -x10294 -x10293 -x10292 -x10291 -x10290 -x10289 -x10288 -x10287 -x10286 -x10285 -x10284 -x10283 -x10282 -x10281 -x10280 -x10279 
113.35/113.46	v -x10278 -x10277 -x10276 -x10275 -x10274 -x10273 -x10272 -x10271 -x10270 -x10269 -x10268 -x10267 -x10266 -x10265 -x10264 
113.35/113.46	v -x10263 -x10262 -x10261 -x10260 -x10259 -x10258 -x10257 -x10256 -x10255 -x10254 -x10253 -x10252 -x10251 -x10250 -x10249 -x10248 
113.35/113.46	v -x10247 -x10246 -x10245 -x10244 -x10243 -x10242 -x10241 -x10240 -x10239 -x10238 -x10237 -x10236 -x10235 -x10234 -x10233 -x10232 
113.35/113.46	v -x10231 -x10230 -x10229 -x10228 -x10227 -x10226 -x10225 -x10224 -x10223 -x10222 -x10221 -x10220 -x10219 -x10218 -x10217 
113.35/113.46	v -x10216 -x10215 -x10214 -x10213 -x10212 -x10211 -x10210 -x10209 -x10208 -x10207 -x10206 -x10205 -x10204 -x10203 -x10202 -x10201 
113.35/113.46	v -x10200 -x10199 -x10198 -x10197 -x10196 -x10195 -x10194 -x10193 -x10192 -x10191 -x10190 -x10189 -x10188 x10187 -x10186 -x10185 
113.35/113.46	v -x10184 -x10183 -x10182 -x10181 -x10180 -x10179 -x10178 -x10177 -x10176 -x10175 -x10174 -x10173 -x10172 -x10171 -x10170 
113.35/113.46	v -x10169 -x10168 -x10167 -x10166 -x10165 -x10164 -x10163 -x10162 -x10161 -x10160 -x10159 -x10158 -x10157 -x10156 -x10155 -x10154 
113.35/113.46	v -x10153 -x10152 -x10151 -x10150 -x10149 -x10148 -x10147 -x10146 -x10145 -x10144 -x10143 -x10142 -x10141 -x10140 -x10139 -x10138 
113.35/113.46	v -x10137 -x10136 -x10135 -x10134 -x10133 -x10132 -x10131 -x10130 -x10129 -x10128 -x10127 -x10126 -x10125 -x10124 -x10123 
113.35/113.46	v -x10122 -x10121 -x10120 -x10119 -x10118 -x10117 -x10116 -x10115 -x10114 -x10113 -x10112 -x10111 -x10110 -x10109 -x10108 -x10107 
113.35/113.46	v -x10106 -x10105 -x10104 -x10103 -x10102 -x10101 -x10100 -x10099 -x10098 -x10097 -x10096 -x10095 -x10094 -x10093 -x10092 
113.35/113.46	v -x10091 -x10090 -x10089 -x10088 -x10087 -x10086 -x10085 -x10084 -x10083 -x10082 -x10081 -x10080 -x10079 -x10078 -x10077 -x10076 
113.35/113.46	v -x10075 -x10074 -x10073 -x10072 -x10071 -x10070 -x10069 -x10068 -x10067 -x10066 -x10065 -x10064 -x10063 -x10062 -x10061 -x10060 
113.35/113.46	v -x10059 -x10058 -x10057 -x10056 -x10055 -x10054 -x10053 -x10052 -x10051 -x10050 -x10049 -x10048 -x10047 -x10046 -x10045 
113.35/113.46	v -x10044 -x10043 -x10042 -x10041 -x10040 -x10039 -x10038 -x10037 -x10036 -x10035 -x10034 -x10033 -x10032 -x10031 -x10030 -x10029 
113.35/113.46	v -x10028 -x10027 -x10026 -x10025 -x10024 -x10023 -x10022 x10021 -x10020 -x10019 -x10018 -x10017 -x10016 -x10015 -x10014 -x10013 
113.35/113.46	v -x10012 -x10011 -x10010 -x10009 -x10008 -x10007 -x10006 -x10005 -x10004 -x10003 -x10002 -x10001 -x10000 -x9999 -x9998 -x9997 
113.35/113.46	v -x9996 -x9995 -x9994 -x9993 -x9992 -x9991 -x9990 -x9989 -x9988 -x9987 -x9986 -x9985 -x9984 -x9983 -x9982 -x9981 -x9980 
113.35/113.46	v -x9979 -x9978 x9977 -x9976 -x9975 -x9974 -x9973 -x9972 -x9971 -x9970 -x9969 -x9968 -x9967 -x9966 -x9965 -x9964 -x9963 -x9962 
113.35/113.46	v -x9961 -x9960 -x9959 -x9958 -x9957 -x9956 -x9955 x9954 -x9953 -x9952 -x9951 -x9950 -x9949 -x9948 -x9947 -x9946 -x9945 -x9944 
113.35/113.46	v -x9943 -x9942 -x9941 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 
113.35/113.46	v -x9925 -x9924 -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 
113.35/113.46	v -x9907 -x9906 -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 
113.35/113.46	v -x9889 -x9888 -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9879 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 
113.35/113.46	v -x9871 -x9870 -x9869 -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 
113.35/113.46	v -x9853 -x9852 -x9851 -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 
113.35/113.46	v -x9835 -x9834 -x9833 -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 
113.35/113.46	v -x9818 -x9817 -x9816 -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9808 -x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 
113.35/113.46	v -x9800 -x9799 -x9798 -x9797 -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 
113.35/113.46	v -x9782 -x9781 -x9780 -x9779 -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 
113.35/113.46	v -x9764 -x9763 -x9762 -x9761 -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 
113.35/113.46	v -x9746 -x9745 -x9744 -x9743 -x9742 -x9741 -x9740 -x9739 -x9738 -x9737 x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9730 -x9729 
113.35/113.46	v -x9728 -x9727 x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719 -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 
113.35/113.46	v -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702 -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 
113.35/113.46	v -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 
113.35/113.46	v -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666 x9665 -x9664 -x9663 -x9662 -x9661 -x9660 -x9659 -x9658 -x9657 
113.35/113.46	v -x9656 -x9655 -x9654 -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 
113.35/113.46	v -x9639 -x9638 -x9637 -x9636 -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 
113.35/113.46	v -x9621 -x9620 -x9619 -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 
113.35/113.46	v -x9603 -x9602 -x9601 -x9600 -x9599 -x9598 -x9597 -x9596 -x9595 -x9594 -x9593 -x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 
113.35/113.46	v -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577 -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 
113.35/113.46	v -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559 -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 
113.35/113.46	v -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541 -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 
113.35/113.46	v -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523 -x9522 -x9521 -x9520 -x9519 -x9518 -x9517 -x9516 -x9515 
113.35/113.46	v -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 
113.35/113.46	v -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 x9489 -x9488 -x9487 -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 
113.35/113.46	v -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469 -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 
113.35/113.46	v -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 x9453 -x9452 -x9451 -x9450 -x9449 -x9448 -x9447 -x9446 -x9445 -x9444 -x9443 
113.35/113.46	v -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 
113.35/113.46	v -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414 -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 
113.35/113.46	v -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 
113.35/113.46	v -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 -x9378 -x9377 -x9376 -x9375 -x9374 -x9373 -x9372 -x9371 
113.35/113.46	v -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360 -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 
113.35/113.46	v -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342 -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 
113.35/113.46	v -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324 -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 
113.35/113.46	v -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306 -x9305 -x9304 -x9303 -x9302 -x9301 -x9300 
113.35/113.46	v -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286 -x9285 -x9284 -x9283 -x9282 
113.35/113.46	v -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 x9270 -x9269 -x9268 -x9267 -x9266 -x9265 -x9264 
113.35/113.46	v -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252 -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 
113.35/113.46	v -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9234 x9233 -x9232 -x9231 -x9230 -x9229 -x9228 
113.35/113.46	v -x9227 -x9226 x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215 -x9214 -x9213 -x9212 -x9211 -x9210 
113.35/113.46	v -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197 -x9196 -x9195 -x9194 -x9193 -x9192 
113.35/113.46	v -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179 -x9178 -x9177 -x9176 -x9175 
113.35/113.46	v -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9163 -x9162 -x9161 -x9160 -x9159 -x9158 -x9157 
113.35/113.46	v -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142 -x9141 -x9140 -x9139 
113.35/113.46	v -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 x9130 -x9129 -x9128 -x9127 -x9126 -x9125 -x9124 -x9123 -x9122 -x9121 
113.35/113.46	v -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107 -x9106 -x9105 -x9104 -x9103 
113.35/113.46	v -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9092 -x9091 -x9090 -x9089 -x9088 -x9087 -x9086 -x9085 
113.35/113.46	v -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 -x9068 -x9067 
113.35/113.46	v -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 -x9051 -x9050 -x9049 
113.35/113.46	v -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033 -x9032 
113.35/113.46	v -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9021 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 -x9014 
113.35/113.46	v -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 -x8996 
113.35/113.46	v x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 -x8979 -x8978 
113.35/113.46	v -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 -x8961 -x8960 
113.35/113.46	v -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8950 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943 -x8942 
113.35/113.46	v -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 -x8924 
113.35/113.46	v -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 -x8906 
113.35/113.46	v -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8890 -x8889 
113.35/113.46	v -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 
113.35/113.46	v -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 
113.35/113.46	v -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 
113.35/113.46	v -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 
113.35/113.46	v -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 
113.35/113.46	v -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 
113.35/113.46	v -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 
113.35/113.46	v -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 
113.35/113.46	v -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 
113.35/113.46	v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710 
113.35/113.46	v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 
113.35/113.46	v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 
113.35/113.46	v -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8667 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 
113.35/113.46	v -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 
113.35/113.46	v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 
113.35/113.46	v -x8620 -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 
113.35/113.46	v -x8602 -x8601 -x8600 -x8599 -x8598 -x8597 -x8596 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 
113.35/113.46	v -x8584 -x8583 -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 
113.35/113.46	v -x8566 -x8565 -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 
113.35/113.46	v -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 
113.35/113.46	v -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 
113.35/113.46	v -x8512 -x8511 -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 
113.35/113.46	v -x8495 x8494 -x8493 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 
113.35/113.46	v -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 
113.35/113.46	v -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 
113.35/113.46	v -x8441 -x8440 -x8439 -x8438 -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 
113.35/113.46	v -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 
113.35/113.46	v -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 
113.35/113.46	v -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 
113.35/113.46	v -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 x8356 -x8355 -x8354 -x8353 -x8352 
113.35/113.46	v -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 
113.35/113.46	v -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 
113.35/113.46	v -x8316 -x8315 -x8314 -x8313 -x8312 -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 
113.35/113.46	v -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 
113.35/113.46	v -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 
113.35/113.46	v -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 
113.35/113.46	v -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 
113.35/113.46	v -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 
113.35/113.46	v -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 
113.35/113.46	v -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 x8174 
113.35/113.46	v -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 
113.35/113.46	v -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 
113.35/113.46	v -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 
113.35/113.46	v -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 
113.35/113.46	v -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 
113.35/113.46	v -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 
113.35/113.46	v -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 
113.35/113.46	v -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 
113.35/113.46	v -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 
113.35/113.46	v -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 
113.35/113.46	v -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 
113.35/113.46	v -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 
113.35/113.46	v -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 
113.35/113.46	v -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 
113.35/113.46	v -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 
113.35/113.46	v -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 
113.35/113.46	v -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 
113.35/113.46	v -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 
113.35/113.46	v -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 
113.35/113.46	v -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 
113.35/113.46	v -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 
113.35/113.46	v x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 
113.35/113.46	v -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 
113.35/113.46	v -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 
113.35/113.46	v -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 
113.35/113.46	v -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 
113.35/113.46	v -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 
113.35/113.46	v -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 
113.35/113.46	v -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 
113.35/113.46	v -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 
113.35/113.46	v -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 
113.35/113.46	v -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 
113.35/113.46	v -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 
113.35/113.46	v -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 
113.35/113.46	v -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 
113.35/113.46	v -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 
113.35/113.46	v -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 
113.35/113.46	v -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 
113.35/113.46	v -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 
113.35/113.46	v -x7476 -x7475 x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 
113.35/113.46	v -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 
113.35/113.46	v -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 
113.35/113.46	v -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 
113.35/113.46	v -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 
113.35/113.46	v -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 
113.35/113.46	v -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 
113.35/113.46	v -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 
113.35/113.46	v -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 
113.35/113.46	v -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 
113.35/113.46	v -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 
113.35/113.46	v -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 
113.35/113.46	v -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 
113.35/113.46	v -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 
113.35/113.46	v -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 
113.35/113.46	v -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 
113.35/113.46	v -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 
113.35/113.46	v -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 
113.35/113.46	v -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 
113.35/113.46	v -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 
113.35/113.46	v -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 
113.35/113.46	v -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 
113.35/113.46	v -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 
113.35/113.46	v -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 
113.35/113.46	v -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 
113.35/113.46	v -x7029 -x7028 -x7027 x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 
113.35/113.46	v -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 
113.35/113.46	v -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 
113.35/113.46	v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 
113.35/113.46	v -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 
113.35/113.46	v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 
113.35/113.46	v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 
113.35/113.46	v -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 
113.35/113.46	v -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 
113.35/113.46	v -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 
113.35/113.46	v -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 
113.35/113.46	v -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 
113.35/113.46	v -x6814 -x6813 -x6812 -x6811 -x6810 x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 
113.35/113.46	v -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 
113.35/113.46	v -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 
113.35/113.46	v -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 
113.35/113.46	v -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 
113.35/113.46	v -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 
113.35/113.46	v -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 
113.35/113.46	v -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 
113.35/113.46	v -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 
113.35/113.46	v -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 
113.35/113.46	v -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 x6619 
113.35/113.46	v -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 
113.35/113.46	v -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 
113.35/113.46	v -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 
113.35/113.46	v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 
113.35/113.46	v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 
113.35/113.46	v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 
113.35/113.46	v -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 
113.35/113.46	v -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 
113.35/113.46	v -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 
113.35/113.46	v -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 
113.35/113.46	v -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 
113.35/113.46	v -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 
113.35/113.46	v -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 
113.35/113.46	v -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 x6369 -x6368 
113.35/113.46	v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 
113.35/113.46	v -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 
113.35/113.46	v -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 
113.35/113.46	v -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 
113.35/113.46	v -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 x6280 -x6279 
113.35/113.46	v -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 
113.35/113.46	v -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 
113.35/113.46	v -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 
113.35/113.46	v -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 
113.35/113.46	v -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 
113.35/113.46	v -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 
113.35/113.46	v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 
113.35/113.46	v -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 
113.35/113.46	v -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 
113.35/113.46	v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 
113.35/113.46	v -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 
113.35/113.46	v -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 
113.35/113.46	v -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 
113.35/113.46	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 x6033 -x6032 -x6031 -x6030 -x6029 
113.35/113.46	v -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 
113.35/113.46	v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 
113.35/113.46	v -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 
113.35/113.46	v -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 
113.35/113.46	v -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 
113.35/113.46	v -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 
113.35/113.46	v -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 
113.35/113.46	v -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 
113.35/113.46	v -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 
113.35/113.46	v -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 
113.35/113.46	v -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 
113.35/113.46	v -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 
113.35/113.46	v -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 
113.35/113.46	v -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 
113.35/113.46	v -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 
113.35/113.46	v -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 x5743 
113.35/113.46	v -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 
113.35/113.46	v -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 
113.35/113.46	v -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 
113.35/113.46	v -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 
113.35/113.46	v -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 
113.35/113.46	v -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 x5640 -x5639 -x5638 -x5637 -x5636 -x5635 
113.35/113.46	v -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 
113.35/113.46	v -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 
113.35/113.46	v -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 
113.35/113.46	v -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 
113.35/113.46	v -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 
113.35/113.46	v -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 
113.35/113.46	v -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 
113.35/113.46	v -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 
113.35/113.46	v -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 
113.35/113.46	v -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 
113.35/113.46	v -x5456 x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 
113.35/113.46	v -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 
113.35/113.46	v -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 
113.35/113.46	v -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 
113.35/113.46	v -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 
113.35/113.46	v -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 
113.35/113.46	v -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 x5332 
113.35/113.46	v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 
113.35/113.46	v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 
113.35/113.46	v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 
113.35/113.46	v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 
113.35/113.46	v -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 
113.35/113.46	v -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 
113.35/113.46	v -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 
113.35/113.46	v -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 
113.35/113.46	v -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 
113.35/113.46	v -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 
113.35/113.46	v -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 
113.35/113.46	v -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 
113.35/113.46	v -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 
113.35/113.46	v -x5098 -x5097 x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 
113.35/113.46	v x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 
113.35/113.46	v -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 
113.35/113.46	v -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 
113.35/113.46	v -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 
113.35/113.46	v -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 
113.35/113.46	v -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 
113.35/113.46	v -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 
113.35/113.46	v -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 
113.35/113.46	v -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 
113.35/113.46	v -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 
113.35/113.46	v -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 x4890 -x4889 -x4888 -x4887 -x4886 -x4885 
113.35/113.46	v -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 
113.35/113.46	v -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 
113.35/113.46	v -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 
113.35/113.46	v -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 
113.35/113.46	v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 
113.35/113.46	v -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 
113.35/113.46	v -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 
113.35/113.46	v -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 
113.35/113.46	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 
113.35/113.46	v -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 
113.35/113.46	v -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 
113.35/113.46	v -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 
113.35/113.46	v -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 
113.35/113.46	v -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 
113.35/113.46	v -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 
113.35/113.46	v -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 
113.35/113.46	v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 
113.35/113.46	v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 x4563 
113.35/113.46	v -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 
113.35/113.46	v -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 
113.35/113.46	v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 
113.35/113.46	v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 
113.35/113.46	v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 
113.35/113.46	v -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 
113.35/113.46	v -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 
113.35/113.46	v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 
113.35/113.46	v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 
113.35/113.46	v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 
113.35/113.46	v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 
113.35/113.46	v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 
113.35/113.46	v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 
113.35/113.46	v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 
113.35/113.46	v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 
113.35/113.46	v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 
113.35/113.46	v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 
113.35/113.46	v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 
113.35/113.46	v -x4240 -x4239 x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 
113.35/113.46	v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 
113.35/113.46	v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 
113.35/113.46	v -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 
113.35/113.46	v -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 
113.35/113.46	v -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 
113.35/113.46	v -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 
113.35/113.46	v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 
113.35/113.46	v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 
113.35/113.46	v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 
113.35/113.46	v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 
113.35/113.46	v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 
113.35/113.46	v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 x4012 -x4011 -x4010 -x4009 
113.35/113.46	v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 
113.35/113.46	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 
113.35/113.46	v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 
113.35/113.46	v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 
113.35/113.46	v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 
113.35/113.46	v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 
113.35/113.46	v -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 
113.35/113.46	v -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 
113.35/113.46	v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 
113.35/113.46	v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 
113.35/113.46	v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 
113.35/113.46	v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 
113.35/113.46	v -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 
113.35/113.46	v -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 
113.35/113.46	v -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 x3741 
113.35/113.46	v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 
113.35/113.46	v -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 
113.35/113.46	v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 
113.35/113.46	v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 
113.35/113.46	v -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 
113.35/113.46	v -x3650 -x3649 -x3648 x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 
113.35/113.46	v -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 
113.35/113.46	v -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 
113.35/113.46	v -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 
113.35/113.46	v -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 
113.35/113.46	v -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 
113.35/113.46	v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 
113.35/113.46	v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 
113.35/113.46	v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 
113.35/113.46	v -x3489 -x3488 -x3487 x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 
113.35/113.46	v -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 
113.35/113.46	v -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 
113.35/113.46	v -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 
113.35/113.46	v -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 
113.35/113.46	v -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 
113.35/113.46	v -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 
113.35/113.46	v -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 
113.35/113.46	v -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 
113.35/113.46	v -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 
113.35/113.46	v -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 
113.35/113.46	v -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 
113.35/113.46	v -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 
113.35/113.46	v -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 
113.35/113.46	v -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 x3226 -x3225 -x3224 -x3223 -x3222 
113.35/113.46	v -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 
113.35/113.46	v -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 
113.35/113.46	v -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 
113.35/113.46	v -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 
113.35/113.46	v -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 
113.35/113.46	v -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 
113.35/113.46	v -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 
113.35/113.46	v -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 
113.35/113.46	v -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 
113.35/113.46	v -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 
113.35/113.46	v -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 x3028 -x3027 -x3026 
113.35/113.46	v -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 
113.35/113.46	v -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 x2994 -x2993 -x2992 -x2991 -x2990 
113.35/113.46	v -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 x2974 -x2973 -x2972 
113.35/113.46	v -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 x2959 -x2958 -x2957 -x2956 -x2955 -x2954 
113.35/113.46	v -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 
113.35/113.46	v -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 
113.35/113.46	v -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 
113.35/113.46	v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 
113.35/113.46	v -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 
113.35/113.46	v -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 
113.35/113.46	v -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 
113.35/113.46	v -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 
113.35/113.46	v -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 x2793 
113.35/113.46	v -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 
113.35/113.46	v -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 
113.35/113.46	v -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 
113.35/113.46	v -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 
113.35/113.46	v -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
113.35/113.46	v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 x2691 -x2690 -x2689 -x2688 -x2687 -x2686 
113.35/113.46	v -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 
113.35/113.46	v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 
113.35/113.46	v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 
113.35/113.46	v -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 
113.35/113.46	v -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 
113.35/113.46	v -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 
113.35/113.46	v -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 
113.35/113.46	v -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 
113.35/113.46	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 
113.35/113.46	v -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 
113.35/113.46	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
113.35/113.46	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
113.35/113.46	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 
113.35/113.46	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 
113.35/113.46	v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 
113.35/113.46	v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 x2400 
113.35/113.46	v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 
113.35/113.46	v -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 
113.35/113.46	v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 x2347 -x2346 
113.35/113.46	v -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
113.35/113.46	v -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 
113.35/113.46	v -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 
113.35/113.46	v -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 
113.35/113.46	v -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 
113.35/113.46	v -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 
113.35/113.46	v -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
113.35/113.46	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
113.35/113.46	v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
113.35/113.46	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
113.35/113.46	v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
113.35/113.46	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 
113.35/113.46	v -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 
113.35/113.46	v -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 
113.35/113.46	v -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
113.35/113.46	v -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 
113.35/113.46	v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 
113.35/113.46	v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 
113.35/113.46	v -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 
113.35/113.46	v -x2006 -x2005 x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 
113.35/113.46	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 
113.35/113.46	v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 
113.35/113.46	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 
113.35/113.46	v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 
113.35/113.46	v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 
113.35/113.46	v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 
113.35/113.46	v -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 
113.35/113.46	v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 
113.35/113.46	v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 
113.35/113.46	v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 
113.35/113.46	v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 
113.35/113.46	v -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 
113.35/113.46	v -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 
113.35/113.46	v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 
113.35/113.46	v -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 
113.35/113.46	v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 
113.35/113.46	v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 
113.35/113.46	v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
113.35/113.46	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 
113.35/113.46	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
113.35/113.46	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 
113.35/113.46	v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 
113.35/113.46	v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 
113.35/113.46	v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 
113.35/113.46	v -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 
113.35/113.46	v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 
113.35/113.46	v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 
113.35/113.46	v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 
113.35/113.46	v -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 
113.35/113.46	v -x1469 -x1468 -x1467 -x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 
113.35/113.46	v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 
113.35/113.46	v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 
113.35/113.46	v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
113.35/113.46	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 
113.35/113.46	v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 
113.35/113.46	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 
113.35/113.46	v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 
113.35/113.46	v -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 
113.35/113.46	v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 
113.35/113.46	v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 
113.35/113.46	v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 
113.35/113.46	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239 -x1238 
113.35/113.46	v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 
113.35/113.46	v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 
113.35/113.46	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 
113.35/113.46	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 
113.35/113.46	v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 
113.35/113.46	v x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 
113.35/113.46	v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 
113.35/113.46	v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 
113.35/113.46	v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 
113.35/113.46	v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 
113.35/113.46	v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 
113.35/113.46	v -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 
113.35/113.46	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 
113.35/113.46	v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 
113.35/113.46	v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 
113.35/113.46	v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 
113.35/113.46	v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 
113.35/113.46	v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 
113.35/113.46	v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 
113.35/113.46	v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 
113.35/113.46	v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 
113.35/113.46	v -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 
113.35/113.46	v -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 
113.35/113.46	v -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 
113.35/113.46	v -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 
113.35/113.46	v -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 
113.35/113.46	v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 
113.35/113.46	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 
113.35/113.46	v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 
113.35/113.46	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 
113.35/113.46	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 
113.35/113.46	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 
113.35/113.46	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 
113.35/113.46	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 
113.35/113.46	v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 
113.35/113.46	v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 
113.35/113.46	v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 
113.35/113.46	v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 
113.35/113.46	v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 
113.35/113.46	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 
113.35/113.46	v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 
113.35/113.46	v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 
113.35/113.46	v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 
113.35/113.46	v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 
113.35/113.46	v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
113.35/113.46	v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 
113.35/113.46	v -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 
113.35/113.46	v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 
113.35/113.46	v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 
113.35/113.46	v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 
113.35/113.46	v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 
113.35/113.46	v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 
113.35/113.46	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 
113.35/113.46	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 
113.35/113.46	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 
113.35/113.46	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 
113.35/113.46	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 
113.35/113.46	v x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 
113.35/113.46	v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 
113.35/113.46	v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 
113.35/113.46	v -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
113.35/113.46	c SCIP Status        : problem is solved [optimal solution found]
113.35/113.46	c Total Time         :     113.41
113.35/113.46	c   solving          :     113.41
113.35/113.46	c   presolving       :     112.80 (included in solving)
113.35/113.46	c   reading          :       0.42 (included in solving)
113.35/113.46	c Original Problem   :
113.35/113.46	c   Problem name     : HOME/instance-3741309-1338774132.opb
113.35/113.46	c   Variables        : 10404 (10404 binary, 0 integer, 0 implicit integer, 0 continuous)
113.35/113.46	c   Constraints      : 40962 initial, 40962 maximal
113.35/113.46	c Presolved Problem  :
113.35/113.46	c   Problem name     : t_HOME/instance-3741309-1338774132.opb
113.35/113.46	c   Variables        : 12 (12 binary, 0 integer, 0 implicit integer, 0 continuous)
113.35/113.46	c   Constraints      : 1050 initial, 1050 maximal
113.35/113.46	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
113.35/113.46	c   trivial          :       0.07       1802          0          0          0          0          0          0          0          0
113.35/113.46	c   dualfix          :       0.03          0          0          0          0          0          0          0          0          0
113.35/113.46	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
113.35/113.46	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
113.35/113.46	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
113.35/113.46	c   implics          :       2.36          0        593          0          0          0          0          0          0          0
113.35/113.46	c   probing          :      98.14       3093         48          0         52          0          0          0          0          0
113.35/113.46	c   setppc           :       2.28        267          0          0          0          0       1711          0          0          0
113.35/113.46	c   linear           :       0.36       1836          0          0       1836          0       7281          0          0          0
113.35/113.46	c   logicor          :       9.35       2750          0          0       1620          0      30920          0          0          0
113.35/113.46	c   root node        :          -          0          -          -          0          -          -          -          -          -
113.35/113.46	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
113.35/113.46	c   integral         :          0          0          0          0          0          6          0          0          0          0          0          0
113.35/113.46	c   setppc           :          6          0      39616          0          0          4          0       1018          0          0          0          0
113.35/113.46	c   logicor          :       1044          0      37594          0          0          1          0        882          0          0          0          0
113.35/113.46	c   countsols        :          0          0          0          0          0          3          0          0          0          0          0          0
113.35/113.46	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
113.35/113.46	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
113.35/113.46	c   setppc           :       2.38       0.00       2.38       0.00       0.00       0.00       0.00
113.35/113.46	c   logicor          :      32.64       0.00      32.63       0.00       0.00       0.00       0.00
113.35/113.46	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
113.35/113.46	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
113.35/113.46	c   vbounds          :          0          0          0          0
113.35/113.46	c   rootredcost      :          0          0          0          0
113.35/113.46	c   pseudoobj        :          5          0          0          0
113.35/113.46	c Propagator Timings :  TotalTime  Propagate    Resprop
113.35/113.46	c   vbounds          :       0.01       0.01       0.00
113.35/113.46	c   rootredcost      :       0.01       0.01       0.00
113.35/113.46	c   pseudoobj        :       0.00       0.00       0.00
113.35/113.46	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
113.35/113.46	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
113.35/113.46	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
113.35/113.46	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
113.35/113.46	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
113.35/113.46	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
113.35/113.46	c   applied globally :          -          -          -          0        0.0          -          -          -
113.35/113.46	c   applied locally  :          -          -          -          0        0.0          -          -          -
113.35/113.46	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
113.35/113.46	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
113.35/113.46	c   redcost          :       0.00          0          0          0          0          0
113.35/113.46	c   impliedbounds    :       0.00          0          0          0          0          0
113.35/113.46	c   intobj           :       0.00          0          0          0          0          0
113.35/113.46	c   gomory           :       0.00          0          0          0          0          0
113.35/113.46	c   cgmip            :       0.00          0          0          0          0          0
113.35/113.46	c   closecuts        :       0.00          0          0          0          0          0
113.35/113.46	c   strongcg         :       0.00          0          0          0          0          0
113.35/113.46	c   cmir             :       0.00          0          0          0          0          0
113.35/113.46	c   flowcover        :       0.00          0          0          0          0          0
113.35/113.46	c   clique           :       0.00          0          0          0          0          0
113.35/113.46	c   zerohalf         :       0.00          0          0          0          0          0
113.35/113.46	c   mcf              :       0.00          0          0          0          0          0
113.35/113.46	c   oddcycle         :       0.00          0          0          0          0          0
113.35/113.46	c   rapidlearning    :       0.00          0          0          0          0          0
113.35/113.46	c Pricers            :       Time      Calls       Vars
113.35/113.46	c   problem variables:       0.00          0          0
113.35/113.46	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
113.35/113.46	c   pscost           :       0.00          0          0          0          0          0          0
113.35/113.46	c   inference        :       0.00          0          0          0          0          0          0
113.35/113.46	c   mostinf          :       0.00          0          0          0          0          0          0
113.35/113.46	c   leastinf         :       0.00          0          0          0          0          0          0
113.35/113.46	c   fullstrong       :       0.00          0          0          0          0          0          0
113.35/113.46	c   allfullstrong    :       0.00          0          0          0          0          0          0
113.35/113.46	c   random           :       0.00          0          0          0          0          0          0
113.35/113.46	c   relpscost        :       0.00          0          0          0          0          0          0
113.35/113.46	c Primal Heuristics  :       Time      Calls      Found
113.35/113.46	c   LP solutions     :       0.00          -          0
113.35/113.46	c   pseudo solutions :       0.00          -          0
113.35/113.46	c   trivial          :       0.02          2          0
113.35/113.46	c   shiftandpropagate:       0.00          1          1
113.35/113.46	c   simplerounding   :       0.00          0          0
113.35/113.46	c   zirounding       :       0.00          0          0
113.35/113.46	c   rounding         :       0.00          0          0
113.35/113.46	c   shifting         :       0.00          0          0
113.35/113.46	c   intshifting      :       0.00          0          0
113.35/113.46	c   oneopt           :       0.00          1          0
113.35/113.46	c   twoopt           :       0.00          0          0
113.35/113.47	c   fixandinfer      :       0.00          0          0
113.35/113.47	c   feaspump         :       0.00          0          0
113.35/113.47	c   clique           :       0.00          0          0
113.35/113.47	c   coefdiving       :       0.00          0          0
113.35/113.47	c   pscostdiving     :       0.00          0          0
113.35/113.47	c   fracdiving       :       0.00          0          0
113.35/113.47	c   veclendiving     :       0.00          0          0
113.35/113.47	c   intdiving        :       0.00          0          0
113.35/113.47	c   actconsdiving    :       0.00          0          0
113.35/113.47	c   objpscostdiving  :       0.00          0          0
113.35/113.47	c   rootsoldiving    :       0.00          0          0
113.35/113.47	c   linesearchdiving :       0.00          0          0
113.35/113.47	c   guideddiving     :       0.00          0          0
113.35/113.47	c   octane           :       0.00          0          0
113.35/113.47	c   rens             :       0.00          0          0
113.35/113.47	c   rins             :       0.00          0          0
113.35/113.47	c   localbranching   :       0.00          0          0
113.35/113.47	c   mutation         :       0.00          0          0
113.35/113.47	c   crossover        :       0.00          0          0
113.35/113.47	c   dins             :       0.00          0          0
113.35/113.47	c   vbounds          :       0.00          0          0
113.35/113.47	c   undercover       :       0.00          0          0
113.35/113.47	c   subnlp           :       0.00          0          0
113.35/113.47	c   trysol           :       0.00          0          0
113.35/113.47	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
113.35/113.47	c   primal LP        :       0.00          0          0       0.00          -
113.35/113.47	c   dual LP          :       0.00          1          3       3.00          -
113.35/113.47	c   lex dual LP      :       0.00          0          0       0.00          -
113.35/113.47	c   barrier LP       :       0.00          0          0       0.00          -
113.35/113.47	c   diving/probing LP:       0.00          0          0       0.00          -
113.35/113.47	c   strong branching :       0.00          0          0       0.00          -
113.35/113.47	c     (at root node) :          -          0          0       0.00          -
113.35/113.47	c   conflict analysis:       0.00          0          0       0.00          -
113.35/113.47	c B&B Tree           :
113.35/113.47	c   number of runs   :          1
113.35/113.47	c   nodes            :          1
113.35/113.47	c   nodes (total)    :          1
113.35/113.47	c   nodes left       :          0
113.35/113.47	c   max depth        :          0
113.35/113.47	c   max depth (total):          0
113.35/113.47	c   backtracks       :          0 (0.0%)
113.35/113.47	c   delayed cutoffs  :          0
113.35/113.47	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
113.35/113.47	c   avg switch length:       2.00
113.35/113.47	c   switching time   :       0.00
113.35/113.47	c Solution           :
113.35/113.47	c   Solutions found  :          1 (1 improvements)
113.35/113.47	c   First Solution   : +8.10000000000000e+01   (in run 1, after 1 nodes, 113.40 seconds, depth 4, found by <shiftandpropagate>)
113.35/113.47	c   Primal Bound     : +8.10000000000000e+01   (in run 1, after 1 nodes, 113.40 seconds, depth 4, found by <shiftandpropagate>)
113.35/113.47	c   Dual Bound       : +8.10000000000000e+01
113.35/113.47	c   Gap              :       0.00 %
113.35/113.47	c   Root Dual Bound  : +8.10000000000000e+01
113.35/113.47	c   Root Iterations  :          3
113.44/113.54	c Time complete: 113.49.

Verifier Data

OK	81

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.07 2.03 3/176 22030
/proc/meminfo: memFree=31456240/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22030/stat : 22030 (runsolver) D 22028 22030 20052 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 343539224 12095488 50 33554432000 4194304 5436572 140736672170064 140736672166360 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/22030/statm: 2953 50 31 304 0 2645 0

[startup+0.0879641 s]
/proc/loadavg: 2.05 2.07 2.03 3/176 22030
/proc/meminfo: memFree=31456240/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=25916 CPUtime=0.07 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 5513 0 0 0 7 0 0 0 20 0 1 0 343539224 26537984 5465 33554432000 4194304 9016284 140736164594464 140736672166248 7842273 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 6479 5465 360 1178 0 5297 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25916

[startup+0.100205 s]
/proc/loadavg: 2.05 2.07 2.03 3/176 22030
/proc/meminfo: memFree=31456240/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=27284 CPUtime=0.08 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 5854 0 0 0 8 0 0 0 20 0 1 0 343539224 27938816 5806 33554432000 4194304 9016284 140736164594464 140736672166248 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 6821 5806 360 1178 0 5639 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27284

[startup+0.300149 s]
/proc/loadavg: 2.05 2.07 2.03 3/176 22030
/proc/meminfo: memFree=31456240/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=38724 CPUtime=0.29 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 8705 0 0 0 28 1 0 0 20 0 1 0 343539224 39653376 8657 33554432000 4194304 9016284 140736164594464 140736672166248 7870488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 9681 8657 360 1178 0 8499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38724

[startup+0.700159 s]
/proc/loadavg: 2.05 2.07 2.03 3/176 22030
/proc/meminfo: memFree=31456240/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=126728 CPUtime=0.68 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 30297 0 0 0 63 5 0 0 20 0 1 0 343539224 129769472 30216 33554432000 4194304 9016284 140736164594464 140736164590888 5227599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 31682 30216 485 1178 0 30500 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 126728

[startup+1.50016 s]
/proc/loadavg: 2.05 2.07 2.03 3/177 22031
/proc/meminfo: memFree=31324364/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=150284 CPUtime=1.48 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 37874 0 0 0 142 6 0 0 20 0 1 0 343539224 153890816 35977 33554432000 4194304 9016284 140736164594464 140736164589528 4802362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 37571 35977 520 1178 0 36389 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 150284

[startup+3.10016 s]
/proc/loadavg: 2.05 2.07 2.03 3/177 22031
/proc/meminfo: memFree=31308244/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=156052 CPUtime=3.08 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 39548 0 0 0 302 6 0 0 20 0 1 0 343539224 159797248 37519 33554432000 4194304 9016284 140736164594464 140736164590168 4889096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 39013 37519 520 1178 0 37831 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 156052

[startup+6.30023 s]
/proc/loadavg: 2.04 2.07 2.03 3/177 22031
/proc/meminfo: memFree=31289768/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=176960 CPUtime=6.28 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 44828 0 0 0 621 7 0 0 20 0 1 0 343539224 181207040 42799 33554432000 4194304 9016284 140736164594464 140736164590056 4889369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 44240 42799 520 1178 0 43058 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 176960

[startup+12.7003 s]
/proc/loadavg: 2.04 2.07 2.03 3/177 22031
/proc/meminfo: memFree=31242168/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=222732 CPUtime=12.68 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 56018 0 0 0 1258 10 0 0 20 0 1 0 343539224 228077568 53989 33554432000 4194304 9016284 140736164594464 140736164590056 4875334 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 55683 53989 520 1178 0 54501 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 222732

[startup+25.5003 s]
/proc/loadavg: 2.03 2.07 2.03 3/177 22031
/proc/meminfo: memFree=31183756/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=279456 CPUtime=25.48 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 70297 0 0 0 2535 13 0 0 20 0 1 0 343539224 286162944 68235 33554432000 4194304 9016284 140736164594464 140736164590056 4460307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 69864 68235 525 1178 0 68682 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 279456

[startup+51.1002 s]
/proc/loadavg: 2.02 2.06 2.03 3/177 22031
/proc/meminfo: memFree=31088252/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=377600 CPUtime=51.07 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 94535 0 0 0 5089 18 0 0 20 0 1 0 343539224 386662400 92473 33554432000 4194304 9016284 140736164594464 140736164590056 6469479 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 94400 92473 525 1178 0 93218 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 377600

[startup+102.307 s]
/proc/loadavg: 2.06 2.06 2.03 3/177 22031
/proc/meminfo: memFree=31020488/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=440256 CPUtime=102.26 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 110667 0 0 0 10204 22 0 0 20 0 1 0 343539224 450822144 108734 33554432000 4194304 9016284 140736164594464 140736164590136 4460256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 110064 108734 525 1178 0 108882 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 440256

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

[startup+108.7 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 22031
/proc/meminfo: memFree=31020612/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=440256 CPUtime=108.65 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 110667 0 0 0 10843 22 0 0 20 0 1 0 343539224 450822144 108734 33554432000 4194304 9016284 140736164594464 140736164590136 6481251 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 110064 108734 525 1178 0 108882 0
Current children cumulated CPU time (s) 108.65
Current children cumulated vsize (KiB) 440256

[startup+111.9 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 22031
/proc/meminfo: memFree=31020472/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=440256 CPUtime=111.85 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 110673 0 0 0 11163 22 0 0 20 0 1 0 343539224 450822144 108734 33554432000 4194304 9016284 140736164594464 140736164590136 6481247 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 110064 108734 525 1178 0 108882 0
Current children cumulated CPU time (s) 111.85
Current children cumulated vsize (KiB) 440256

[startup+112.7 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 22031
/proc/meminfo: memFree=31020720/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=440256 CPUtime=112.65 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 110673 0 0 0 11243 22 0 0 20 0 1 0 343539224 450822144 108734 33554432000 4194304 9016284 140736164594464 140736164590136 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 110064 108734 525 1178 0 108882 0
Current children cumulated CPU time (s) 112.65
Current children cumulated vsize (KiB) 440256

[startup+113.1 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 22031
/proc/meminfo: memFree=31020720/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=440256 CPUtime=113.05 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 110673 0 0 0 11283 22 0 0 20 0 1 0 343539224 450822144 108734 33554432000 4194304 9016284 140736164594464 140736164590136 6481234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 110064 108734 525 1178 0 108882 0
Current children cumulated CPU time (s) 113.05
Current children cumulated vsize (KiB) 440256

[startup+113.5 s]
/proc/loadavg: 2.05 2.06 2.03 3/177 22031
/proc/meminfo: memFree=31020720/32873648 swapFree=7628/7628
[pid=22030] ppid=22028 vsize=416776 CPUtime=113.44 cores=0,2,4,6
/proc/22030/stat : 22030 (scip-2.0.1.4b_2) R 22028 22030 20052 0 -1 4202496 110795 0 0 0 11322 22 0 0 20 0 1 0 343539224 426778624 103339 33554432000 4194304 9016284 140736164594464 140736164590264 7933303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22030/statm: 104194 103082 644 1178 0 103012 0
Current children cumulated CPU time (s) 113.44
Current children cumulated vsize (KiB) 416776

Child status: 0
Real time (s): 113.542
CPU time (s): 113.499
CPU user time (s): 113.248
CPU system time (s): 0.250961
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 440256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.248
system time used= 0.250961
maximum resident set size= 435100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110803
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= 42
involuntary context switches= 118

runsolver used 0.205968 second user time and 0.58891 second system time

The end

Launcher Data

Begin job on node122 at 2012-06-04 03:42:12
IDJOB=3741309
IDBENCH=89829
IDSOLVER=2329
FILE ID=node122/3741309-1338774132
RUNJOBID= node122-1338749400-20068
PBS_JOBID= 14636801
Free space on /tmp= 71164 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ex9.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741309-1338774132/watcher-3741309-1338774132 -o /tmp/evaluation-result-3741309-1338774132/solver-3741309-1338774132 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741309-1338774132.opb -t 1800 -m 15500

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

MD5SUM BENCH= 8cecfae519c586a787d92a89208dece3
RANDOM SEED=1185120631

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31455868 kB
Buffers:          261888 kB
Cached:           226120 kB
SwapCached:         1832 kB
Active:           505196 kB
Inactive:          59248 kB
Active(anon):      72004 kB
Inactive(anon):     6992 kB
Active(file):     433192 kB
Inactive(file):    52256 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100168 kB
Dirty:             21744 kB
Writeback:             0 kB
AnonPages:         82852 kB
Mapped:            11340 kB
Shmem:                 0 kB
Slab:             715328 kB
SReclaimable:     159284 kB
SUnreclaim:       556044 kB
KernelStack:        1480 kB
PageTables:         4548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     200076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71148 MiB
End job on node122 at 2012-06-04 03:44:06