Trace number 2704826

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT27874403091 239.192 239.286

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb
MD5SUMfbe043df26f5b74d89609c6a75012446
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27874403091
Best CPU time to get the best result obtained on this benchmark44.5902
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8811
Total number of constraints38694
Number of constraints which are clauses38278
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 4184
Biggest coefficient in the objective function 9181846584
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 5068370546237
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 9181846584
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 5068370546237
Number of bits of the biggest sum of numbers43
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2704826-1278580130.opb>
0.59/0.62	c original problem has 8811 variables (8811 bin, 0 int, 0 impl, 0 cont) and 38694 constraints
0.59/0.62	c problem read
0.59/0.62	c presolving settings loaded
0.79/0.82	c presolving:
0.99/1.04	c (round 1) 1415 del vars, 2832 del conss, 35 chg bounds, 0 chg sides, 2 chg coeffs, 0 upgd conss, 85293 impls, 410 clqs
0.99/1.08	c (round 2) 1592 del vars, 3297 del conss, 111 chg bounds, 0 chg sides, 5 chg coeffs, 0 upgd conss, 93362 impls, 409 clqs
1.09/1.13	c (round 3) 1941 del vars, 6586 del conss, 335 chg bounds, 29 chg sides, 51 chg coeffs, 0 upgd conss, 100461 impls, 404 clqs
1.09/1.19	c (round 4) 2786 del vars, 14693 del conss, 504 chg bounds, 47 chg sides, 104 chg coeffs, 0 upgd conss, 102404 impls, 397 clqs
1.19/1.22	c (round 5) 2914 del vars, 16189 del conss, 542 chg bounds, 74 chg sides, 147 chg coeffs, 0 upgd conss, 102846 impls, 396 clqs
1.19/1.24	c (round 6) 2966 del vars, 16670 del conss, 545 chg bounds, 83 chg sides, 162 chg coeffs, 0 upgd conss, 102887 impls, 396 clqs
1.19/1.25	c (round 7) 2975 del vars, 16707 del conss, 545 chg bounds, 83 chg sides, 163 chg coeffs, 0 upgd conss, 102891 impls, 396 clqs
1.49/1.52	c (round 8) 2976 del vars, 18630 del conss, 545 chg bounds, 83 chg sides, 163 chg coeffs, 20048 upgd conss, 102891 impls, 396 clqs
1.59/1.61	c (round 9) 2981 del vars, 18639 del conss, 545 chg bounds, 83 chg sides, 163 chg coeffs, 20048 upgd conss, 102891 impls, 396 clqs
1.59/1.66	c (round 10) 2981 del vars, 18648 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20048 upgd conss, 102891 impls, 396 clqs
1.59/1.69	c (round 11) 2990 del vars, 18657 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 102891 impls, 396 clqs
2.29/2.31	c (round 12) 3046 del vars, 18658 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115771 impls, 388 clqs
2.29/2.34	c (round 13) 3049 del vars, 18750 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.29/2.38	c (round 14) 3050 del vars, 18757 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.39/2.42	c (round 15) 3050 del vars, 18801 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.49/2.50	c (round 16) 3050 del vars, 18804 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.49/2.54	c (round 17) 3051 del vars, 18817 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.59/2.64	c (round 18) 3051 del vars, 18821 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.69/2.76	c (round 19) 3051 del vars, 18858 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.79/2.84	c (round 20) 3051 del vars, 18861 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
2.79/2.89	c (round 21) 3051 del vars, 18865 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 115830 impls, 388 clqs
3.89/3.90	c (round 22) 3101 del vars, 18865 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 124548 impls, 386 clqs
3.89/3.92	c (round 23) 3104 del vars, 19014 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 124636 impls, 386 clqs
3.89/3.96	c (round 24) 3104 del vars, 19016 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 124636 impls, 386 clqs
3.99/4.01	c (round 25) 3104 del vars, 19060 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 124636 impls, 386 clqs
5.09/5.17	c (round 26) 3154 del vars, 19060 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 126466 impls, 383 clqs
5.09/5.19	c (round 27) 3155 del vars, 19124 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 126476 impls, 383 clqs
5.79/5.89	c (round 28) 3209 del vars, 19125 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 128790 impls, 378 clqs
5.89/5.91	c (round 29) 3209 del vars, 19208 del conss, 545 chg bounds, 92 chg sides, 163 chg coeffs, 20135 upgd conss, 128790 impls, 378 clqs
5.89/5.96	c (round 30) 3209 del vars, 19306 del conss, 545 chg bounds, 94 chg sides, 163 chg coeffs, 20135 upgd conss, 128790 impls, 378 clqs
6.99/7.04	c (round 31) 3259 del vars, 19306 del conss, 545 chg bounds, 94 chg sides, 163 chg coeffs, 20135 upgd conss, 134003 impls, 372 clqs
6.99/7.06	c (round 32) 3262 del vars, 19379 del conss, 545 chg bounds, 94 chg sides, 163 chg coeffs, 20135 upgd conss, 134017 impls, 372 clqs
7.09/7.10	c (round 33) 3264 del vars, 19381 del conss, 545 chg bounds, 94 chg sides, 163 chg coeffs, 20135 upgd conss, 134017 impls, 372 clqs
7.09/7.15	c (round 34) 3264 del vars, 19416 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 134017 impls, 372 clqs
8.19/8.28	c    (7.7s) probing: 1000/5821 (17.2%) - 63 fixings, 244 aggregations, 8609 implications, 0 bound changes
8.29/8.35	c (round 35) 3314 del vars, 19416 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 141038 impls, 370 clqs
8.29/8.37	c (round 36) 3314 del vars, 19521 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 141042 impls, 370 clqs
8.29/8.39	c (round 37) 3318 del vars, 19539 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 141042 impls, 370 clqs
8.39/8.41	c (round 38) 3322 del vars, 19565 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 141042 impls, 370 clqs
8.39/8.43	c (round 39) 3324 del vars, 19578 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 141042 impls, 370 clqs
8.39/8.48	c (round 40) 3324 del vars, 19613 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 141042 impls, 370 clqs
9.59/9.69	c (round 41) 3374 del vars, 19613 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 144203 impls, 368 clqs
9.69/9.71	c (round 42) 3374 del vars, 19682 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 144221 impls, 368 clqs
9.69/9.76	c (round 43) 3374 del vars, 19711 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 144221 impls, 368 clqs
11.00/11.08	c (round 44) 3426 del vars, 19711 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 146502 impls, 365 clqs
11.09/11.10	c (round 45) 3426 del vars, 19790 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 146512 impls, 365 clqs
11.09/11.15	c (round 46) 3426 del vars, 19828 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 146512 impls, 365 clqs
12.59/12.69	c (round 47) 3476 del vars, 19828 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 150124 impls, 365 clqs
12.69/12.71	c (round 48) 3476 del vars, 19885 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 150124 impls, 365 clqs
12.69/12.76	c (round 49) 3476 del vars, 19933 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 150124 impls, 365 clqs
13.39/13.49	c    (12.9s) probing: 2000/5821 (34.4%) - 95 fixings, 400 aggregations, 12851 implications, 0 bound changes
13.79/13.88	c (round 50) 3526 del vars, 19933 del conss, 545 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 151310 impls, 361 clqs
13.89/13.90	c (round 51) 3530 del vars, 20007 del conss, 547 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 151332 impls, 361 clqs
13.89/13.91	c (round 52) 3532 del vars, 20015 del conss, 547 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 151332 impls, 361 clqs
13.89/13.96	c (round 53) 3532 del vars, 20048 del conss, 547 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 151332 impls, 361 clqs
14.99/15.06	c (round 54) 3582 del vars, 20048 del conss, 547 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 152307 impls, 360 clqs
14.99/15.08	c (round 55) 3583 del vars, 20115 del conss, 547 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 152309 impls, 360 clqs
16.09/16.13	c (round 56) 3633 del vars, 20116 del conss, 547 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 153264 impls, 360 clqs
16.09/16.15	c (round 57) 3639 del vars, 20183 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 153299 impls, 360 clqs
16.09/16.19	c (round 58) 3644 del vars, 20206 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 153299 impls, 360 clqs
16.19/16.24	c (round 59) 3644 del vars, 20285 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 153299 impls, 360 clqs
17.29/17.37	c (round 60) 3694 del vars, 20285 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 154321 impls, 360 clqs
17.59/17.68	c (round 61) 3694 del vars, 20383 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 154321 impls, 360 clqs
17.69/17.73	c (round 62) 3694 del vars, 20427 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 154321 impls, 360 clqs
18.39/18.44	c    (17.8s) probing: 3000/5821 (51.5%) - 115 fixings, 594 aggregations, 14598 implications, 0 bound changes
18.39/18.45	c (round 63) 3744 del vars, 20427 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 154863 impls, 360 clqs
18.39/18.47	c (round 64) 3745 del vars, 20483 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 154865 impls, 360 clqs
19.29/19.30	c (round 65) 3795 del vars, 20484 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 155283 impls, 360 clqs
19.29/19.34	c (round 66) 3795 del vars, 20542 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 155283 impls, 360 clqs
19.29/19.39	c (round 67) 3795 del vars, 20635 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 155283 impls, 360 clqs
20.19/20.23	c (round 68) 3845 del vars, 20636 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 155751 impls, 360 clqs
20.19/20.27	c (round 69) 3845 del vars, 20691 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 155751 impls, 360 clqs
20.29/20.39	c (round 70) 3845 del vars, 20741 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 155751 impls, 360 clqs
20.89/21.00	c (round 71) 3895 del vars, 20741 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 156346 impls, 360 clqs
20.99/21.03	c (round 72) 3896 del vars, 20804 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 156358 impls, 360 clqs
21.09/21.12	c (round 73) 3896 del vars, 20817 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 156358 impls, 360 clqs
21.09/21.17	c (round 74) 3896 del vars, 20859 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 156358 impls, 360 clqs
21.19/21.22	c (round 75) 3896 del vars, 20861 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 156358 impls, 360 clqs
21.99/22.09	c (round 76) 3946 del vars, 20861 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 157123 impls, 360 clqs
22.09/22.13	c (round 77) 3948 del vars, 20919 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 157143 impls, 360 clqs
22.19/22.23	c (round 78) 3948 del vars, 20923 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 157143 impls, 360 clqs
22.19/22.29	c (round 79) 3948 del vars, 20966 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 157143 impls, 360 clqs
22.99/23.01	c (round 80) 3998 del vars, 20966 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158196 impls, 360 clqs
23.09/23.16	c (round 81) 3998 del vars, 21032 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158196 impls, 360 clqs
23.18/23.21	c (round 82) 3998 del vars, 21074 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158196 impls, 360 clqs
23.48/23.55	c    (22.9s) probing: 4000/5821 (68.7%) - 142 fixings, 847 aggregations, 16474 implications, 0 bound changes
23.68/23.72	c (round 83) 4048 del vars, 21074 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158586 impls, 360 clqs
23.68/23.79	c (round 84) 4048 del vars, 21168 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158586 impls, 360 clqs
23.78/23.83	c (round 85) 4048 del vars, 21204 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158586 impls, 360 clqs
24.38/24.44	c (round 86) 4098 del vars, 21204 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158816 impls, 360 clqs
24.38/24.48	c (round 87) 4098 del vars, 21276 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158816 impls, 360 clqs
24.48/24.52	c (round 88) 4098 del vars, 21306 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158816 impls, 360 clqs
24.58/24.60	c (round 89) 4098 del vars, 21331 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 158816 impls, 360 clqs
25.48/25.50	c (round 90) 4148 del vars, 21331 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 159910 impls, 360 clqs
25.48/25.53	c (round 91) 4152 del vars, 21414 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 160040 impls, 360 clqs
25.48/25.57	c (round 92) 4152 del vars, 21421 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 160040 impls, 360 clqs
25.58/25.62	c (round 93) 4152 del vars, 21452 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 160040 impls, 360 clqs
26.78/26.87	c (round 94) 4202 del vars, 21453 del conss, 552 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 161402 impls, 360 clqs
26.78/26.88	c (round 95) 4210 del vars, 21529 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 161445 impls, 360 clqs
26.88/26.93	c (round 96) 4211 del vars, 21543 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 161445 impls, 360 clqs
26.88/26.98	c (round 97) 4211 del vars, 21571 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 161445 impls, 360 clqs
27.78/27.86	c    (27.2s) probing: 5000/5821 (85.9%) - 214 fixings, 993 aggregations, 19617 implications, 0 bound changes
27.88/27.91	c (round 98) 4261 del vars, 21571 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 164077 impls, 360 clqs
27.88/27.95	c (round 99) 4265 del vars, 21683 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 164085 impls, 360 clqs
27.88/27.99	c (round 100) 4265 del vars, 21688 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 164085 impls, 360 clqs
29.48/29.53	c (round 101) 4315 del vars, 21688 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 167339 impls, 360 clqs
29.48/29.55	c (round 102) 4349 del vars, 21791 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 167421 impls, 360 clqs
29.48/29.60	c (round 103) 4349 del vars, 21828 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 167421 impls, 360 clqs
29.59/29.64	c (round 104) 4349 del vars, 21830 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 167421 impls, 360 clqs
29.59/29.70	c (round 105) 4349 del vars, 21834 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 167421 impls, 360 clqs
30.69/30.74	c (round 106) 4393 del vars, 21834 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 170247 impls, 360 clqs
30.69/30.77	c (round 107) 4448 del vars, 21922 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 170405 impls, 360 clqs
30.79/30.82	c (round 108) 4448 del vars, 21992 del conss, 553 chg bounds, 95 chg sides, 163 chg coeffs, 20135 upgd conss, 170405 impls, 360 clqs
30.79/30.87	c presolving (109 rounds):
30.79/30.87	c  4448 deleted vars, 21992 deleted constraints, 553 tightened bounds, 0 added holes, 95 changed sides, 163 changed coefficients
30.79/30.87	c  170405 implications, 360 cliques
30.79/30.87	c presolved problem has 4363 variables (4363 bin, 0 int, 0 impl, 0 cont) and 16714 constraints
30.79/30.87	c    7040 constraints of type <setppc>
30.79/30.87	c    9674 constraints of type <logicor>
30.79/30.87	c transformed objective value is always integral (scale: 1)
30.79/30.87	c Presolving Time: 30.11
30.79/30.87	c - non default parameters ----------------------------------------------------------------------
30.79/30.87	c # SCIP version 1.2.1.3
30.79/30.87	c 
30.79/30.87	c # frequency for displaying node information lines
30.79/30.87	c # [type: int, range: [-1,2147483647], default: 100]
30.79/30.87	c display/freq = 10000
30.79/30.87	c 
30.79/30.87	c # maximal time in seconds to run
30.79/30.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.79/30.87	c limits/time = 1789.39
30.79/30.87	c 
30.79/30.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.79/30.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.79/30.87	c limits/memory = 1620
30.79/30.87	c 
30.79/30.87	c # default clock type (1: CPU user seconds, 2: wall clock time)
30.79/30.87	c # [type: int, range: [1,2], default: 1]
30.79/30.87	c timing/clocktype = 2
30.79/30.87	c 
30.79/30.87	c # should presolving try to simplify inequalities
30.79/30.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.79/30.87	c constraints/linear/simplifyinequalities = TRUE
30.79/30.87	c 
30.79/30.87	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
30.79/30.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.79/30.87	c constraints/indicator/addCouplingCons = TRUE
30.79/30.87	c 
30.79/30.87	c # should presolving try to simplify knapsacks
30.79/30.87	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.79/30.87	c constraints/knapsack/simplifyinequalities = TRUE
30.79/30.87	c 
30.79/30.87	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
30.79/30.87	c # [type: int, range: [-1,2147483647], default: -1]
30.79/30.87	c separating/rapidlearning/freq = 0
30.79/30.87	c 
30.79/30.87	c -----------------------------------------------------------------------------------------------
30.79/30.87	c start solving
30.79/30.87	c 
31.68/31.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.68/31.76	c  31.1s|     1 |     2 |  3086 |     - |  51M|   0 |   - |4363 |  16k|4363 |  13k|   0 |   0 |   0 | 9.208156e+09 |      --      |    Inf 
40.98/41.04	o -2147483648
40.98/41.04	c c40.4s|     6 |     7 |  3534 |  89.6 |  52M|   5 |   - |4363 |  16k|4363 |  13k|   0 |   2 | 188 | 9.225695e+09 | 6.462371e+10 | 600.48%
40.98/41.08	o -2147483648
40.98/41.08	c b40.5s|     7 |     6 |  3534 |  74.7 |  52M|   5 |   - |4363 |  16k|4363 |  13k|   0 |   2 | 188 | 9.225695e+09 | 6.462371e+10 | 600.48%
75.46/75.59	o -2147483648
75.46/75.59	c p75.0s|    15 |    16 | 60754 |4119.1 |  53M|   9 |   - |4363 |  16k|4363 |  13k|   0 |   5 | 287 | 2.785997e+10 | 5.550764e+10 |  99.24%
76.25/76.30	o -2147483648
76.25/76.30	c b75.7s|    15 |    16 | 62166 |4220.0 |  52M|   9 | 531 |4363 |  16k|4363 |  13k|   0 |   5 | 287 | 2.785997e+10 | 5.550764e+10 |  99.24%
79.35/79.43	o -2147483648
79.35/79.43	c f78.8s|    16 |    17 | 62646 |3970.7 |  53M|   9 |   - |4363 |  16k|4363 |  13k|   0 |  15 | 300 | 2.785997e+10 | 4.659765e+10 |  67.26%
79.35/79.47	o -2147483648
79.35/79.47	c b78.8s|    16 |    17 | 62646 |3970.7 |  52M|   9 | 460 |4363 |  16k|4363 |  13k|   0 |  15 | 300 | 2.785997e+10 | 4.659765e+10 |  67.26%
81.26/81.32	o -2147483648
81.26/81.32	c b80.7s|    17 |    18 | 65303 |3888.6 |  52M|   9 | 498 |4363 |  16k|4363 |  13k|   0 |  15 | 314 | 2.785997e+10 | 4.659765e+10 |  67.26%
91.75/91.83	o -2147483648
91.75/91.83	c o91.2s|    23 |    22 | 71608 |3114.6 |  52M|  11 |   0 |4363 |  16k|4363 |  13k|   0 |  16 | 448 | 2.785997e+10 | 4.623810e+10 |  65.97%
91.75/91.86	o -2147483648
91.75/91.86	c b91.2s|    23 |    21 | 71608 |3114.6 |  53M|  11 | 436 |4363 |  16k|4363 |  13k|   0 |  16 | 448 | 2.785997e+10 | 4.623810e+10 |  65.97%
108.75/108.85	o -2147483648
108.75/108.85	c s 108s|    55 |    28 | 79073 |1407.2 |  53M|  20 | 338 |4363 |  16k|4363 |  13k|   0 |  23 | 803 | 2.785997e+10 | 3.711325e+10 |  33.21%
109.14/109.22	o -2147483648
109.14/109.22	c b 109s|    55 |    30 | 79073 |1407.2 |  53M|  20 | 338 |4363 |  16k|4363 |  13k|   0 |  23 | 814 | 2.785997e+10 | 3.711325e+10 |  33.21%
112.95/113.09	o -2147483648
112.95/113.09	c l 112s|    62 |    12 | 79252 |1248.6 |  53M|  25 |   - |4363 |  16k|4363 |  13k|   0 |  25 | 884 | 2.785997e+10 | 2.814626e+10 |   1.03%
113.05/113.12	o -2147483648
113.05/113.12	c b 112s|    62 |    12 | 79252 |1248.6 |  53M|  25 | 316 |4363 |  16k|4363 |  13k|   0 |  25 | 884 | 2.785997e+10 | 2.814626e+10 |   1.03%
113.54/113.65	o -2147483648
113.54/113.65	c b 113s|    63 |    13 | 79253 |1228.5 |  53M|  25 | 430 |4363 |  16k|4363 |  13k|   0 |  25 | 897 | 2.785997e+10 | 2.814626e+10 |   1.03%
114.44/114.55	o -2147483648
114.44/114.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
114.44/114.55	c b 114s|    64 |    14 | 79287 |1209.5 |  53M|  25 | 382 |4363 |  16k|4363 |  13k|   0 |  25 | 923 | 2.785997e+10 | 2.814626e+10 |   1.03%
123.94/124.02	o -2147483648
123.94/124.02	c s 123s|    82 |    28 | 79418 | 942.4 |  53M|  30 | 249 |4363 |  16k|4363 |  13k|   0 |  25 |1213 | 2.785997e+10 | 2.790948e+10 |   0.18%
126.14/126.20	o -2147483648
126.14/126.20	c g 126s|    82 |    30 | 79591 | 944.5 |  54M|  30 |   - |4363 |  16k|4363 |  13k|   0 |  25 |1227 | 2.785997e+10 | 2.790071e+10 |   0.15%
133.34/133.48	o -2147483648
133.34/133.48	c c 133s|    91 |    37 | 79905 | 853.5 |  54M|  30 |   - |4363 |  16k|4363 |  13k|   0 |  27 |1380 | 2.785997e+10 | 2.790071e+10 |   0.15%
133.44/133.52	o -2147483648
133.44/133.52	c b 133s|    91 |    37 | 79905 | 853.5 |  54M|  30 | 299 |4363 |  16k|4363 |  13k|   0 |  27 |1380 | 2.785997e+10 | 2.790071e+10 |   0.15%
137.04/137.18	o -2147483648
137.04/137.18	c v 137s|    95 |    41 | 80139 | 819.7 |  54M|  30 |   - |4363 |  16k|4363 |  13k|   0 |  27 |1448 | 2.785997e+10 | 2.789633e+10 |   0.13%
141.13/141.22	o -2147483648
141.13/141.22	c p 141s|    99 |    33 | 80349 | 788.4 |  55M|  30 |   - |4363 |  16k|4363 |  13k|   0 |  27 |1518 | 2.785997e+10 | 2.788317e+10 |   0.08%
141.13/141.25	o -2147483648
141.13/141.25	c b 141s|    99 |    33 | 80349 | 788.4 |  54M|  30 | 285 |4363 |  16k|4363 |  13k|   0 |  27 |1518 | 2.785997e+10 | 2.788317e+10 |   0.08%
152.93/153.04	o -2147483648
152.93/153.04	c R 152s|   108 |    36 | 80804 | 726.3 |  54M|  30 |   - |4363 |  16k|4363 |  13k|   0 |  27 |1834 | 2.785997e+10 | 2.788317e+10 |   0.08%
152.93/153.05	o -2147483648
152.93/153.05	c b 152s|   108 |    36 | 80804 | 726.3 |  55M|  30 |   - |4363 |  16k|4363 |  13k|   0 |  27 |1834 | 2.785997e+10 | 2.788317e+10 |   0.08%
153.23/153.38	o -2147483648
153.23/153.38	c b 153s|   109 |    37 | 80806 | 719.6 |  55M|  30 | 268 |4363 |  16k|4363 |  13k|   0 |  27 |1843 | 2.785997e+10 | 2.788317e+10 |   0.08%
153.53/153.67	o -2147483648
153.53/153.67	c b 153s|   110 |    38 | 80807 | 713.0 |  55M|  30 | 266 |4363 |  16k|4363 |  13k|   0 |  27 |1852 | 2.785997e+10 | 2.788317e+10 |   0.08%
160.53/160.64	o -2147483648
160.53/160.64	c s 160s|   115 |    32 | 80982 | 683.3 |  55M|  30 |  12 |4363 |  16k|4363 |  13k|   0 |  27 |2070 | 2.785997e+10 | 2.787879e+10 |   0.07%
190.61/190.79	o -2147483648
190.61/190.79	c l 190s|   160 |    45 | 81945 | 496.0 |  55M|  48 |   - |4363 |  16k|4363 |  13k|   0 |  44 |2991 | 2.785997e+10 | 2.787879e+10 |   0.07%
214.70/214.80	o -2147483648
214.70/214.80	c o 214s|   196 |    55 | 82692 | 408.2 |  56M|  58 |   0 |4363 |  16k|4363 |  13k|   0 |  52 |3697 | 2.787057e+10 | 2.787879e+10 |   0.03%
226.00/226.17	o -2147483648
226.00/226.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
226.00/226.17	c c 226s|   263 |    49 | 83840 | 308.2 |  56M|  85 |   - |4363 |  16k|4363 |  13k|   0 |  66 |3976 | 2.787057e+10 | 2.787879e+10 |   0.03%
226.10/226.20	o -2147483648
226.10/226.20	c b 226s|   263 |    49 | 83840 | 308.2 |  56M|  85 |  57 |4363 |  16k|4363 |  13k|   0 |  66 |3976 | 2.787057e+10 | 2.787879e+10 |   0.03%
226.20/226.30	o -2147483648
226.20/226.30	c b 226s|   264 |    50 | 83856 | 307.1 |  56M|  85 |  64 |4363 |  16k|4363 |  13k|   0 |  66 |3976 | 2.787057e+10 | 2.787879e+10 |   0.03%
226.20/226.33	o -2147483648
226.20/226.33	c b 226s|   266 |    48 | 83857 | 304.8 |  56M|  85 |  62 |4363 |  16k|4363 |  13k|   0 |  67 |3976 | 2.787057e+10 | 2.787879e+10 |   0.03%
226.70/226.84	o -2147483648
226.70/226.84	c s 226s|   299 |    36 | 83885 | 271.1 |  56M| 100 |  14 |4363 |  16k|4363 |  13k|   0 |  79 |3976 | 2.787057e+10 | 2.787440e+10 |   0.01%
227.61/227.74	o -2147483648
227.61/227.74	c R 227s|   304 |    37 | 83899 | 266.7 |  56M| 103 |  10 |4363 |  16k|4363 |  13k|   0 |  81 |3998 | 2.787057e+10 | 2.787440e+10 |   0.01%
228.61/228.80	o -2147483648
228.61/228.80	c s 228s|   308 |    33 | 83985 | 263.5 |  56M| 104 |  40 |4363 |  16k|4363 |  13k|   0 |  82 |4023 | 2.787057e+10 | 2.787440e+10 |   0.01%
233.90/234.07	o -2147483648
233.90/234.07	c s 233s|   350 |    10 | 84559 | 233.4 |  56M| 104 |  58 |4363 |  16k|4363 |  13k|   0 | 104 |4132 | 2.787075e+10 | 2.787440e+10 |   0.01%
234.11/234.29	o -2147483648
234.11/234.29	c b 234s|   350 |    12 | 84561 | 233.5 |  56M| 104 |  54 |4363 |  16k|4363 |  13k|   0 | 104 |4137 | 2.787075e+10 | 2.787440e+10 |   0.01%
235.00/235.11	o -2147483648
235.00/235.11	c R 234s|   365 |    10 | 84588 | 223.9 |  56M| 104 |   - |4363 |  16k|4363 |  13k|   0 | 108 |4153 | 2.787075e+10 | 2.787440e+10 |   0.01%
238.89/239.06	c 
238.89/239.06	c SCIP Status        : problem is solved [optimal solution found]
238.89/239.06	c Solving Time (sec) : 238.43
238.89/239.06	c Solving Nodes      : 377
238.89/239.06	c Primal Bound       : +2.78744030910000e+10 (41 solutions)
238.89/239.06	c Dual Bound         : +2.78744030910000e+10
238.89/239.06	c Gap                : 0.00 %
239.00/239.12	s OPTIMUM FOUND
239.00/239.12	v -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 
239.00/239.12	v -x4608 -x4607 -x4606 x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 
239.00/239.12	v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 
239.00/239.12	v -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 
239.00/239.12	v -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 
239.00/239.12	v -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 
239.00/239.12	v -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 
239.00/239.12	v -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 
239.00/239.12	v -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 
239.00/239.12	v -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 
239.00/239.12	v -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 
239.00/239.12	v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 
239.00/239.12	v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 
239.00/239.12	v -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 
239.00/239.12	v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 
239.00/239.12	v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 
239.00/239.12	v -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 
239.00/239.12	v -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 
239.00/239.12	v -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 
239.00/239.12	v -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 
239.00/239.12	v -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 
239.00/239.12	v -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 
239.00/239.12	v -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 
239.00/239.12	v -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 
239.00/239.12	v -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 
239.00/239.12	v -x4179 x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 
239.00/239.12	v -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 
239.00/239.12	v -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 
239.00/239.12	v -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 
239.00/239.12	v -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 
239.00/239.12	v -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 x4075 x4074 x4073 
239.00/239.12	v x4072 -x4071 -x4070 x4069 -x4068 -x4067 x4066 -x4065 -x4064 x4063 -x4062 x4061 -x4060 -x4059 x4058 -x4057 x4056 -x4055 -x4054 
239.00/239.12	v x4053 -x4052 x4051 -x4050 x4049 x4048 -x4047 -x4046 -x4045 x4044 x4043 -x4042 -x4041 -x4040 -x4039 -x4038 x4037 -x4036 -x4035 
239.00/239.12	v -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 x4019 -x4018 x4017 
239.00/239.12	v -x4016 x4015 -x4014 x4013 -x4012 -x4011 -x4010 -x4009 x4008 x4007 -x4006 -x4005 -x4004 x4003 x4002 x4001 -x4000 -x3999 -x3998 
239.00/239.12	v -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 x3991 -x3990 x3989 -x3988 -x3987 -x3986 -x3985 x3984 x3983 -x3982 -x3981 x3980 x3979 
239.00/239.12	v -x3978 -x3977 x3976 -x3975 x3974 x3973 -x3972 -x3971 -x3970 -x3969 -x3968 x3967 -x3966 x3965 -x3964 -x3963 -x3962 -x3961 
239.00/239.12	v x3960 x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 
239.00/239.12	v -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 x3927 -x3926 x3925 x3924 
239.00/239.12	v -x3923 x3922 -x3921 x3920 -x3919 x3918 -x3917 x3916 -x3915 x3914 -x3913 -x3912 -x3911 x3910 x3909 x3908 x3907 -x3906 x3905 
239.00/239.12	v -x3904 -x3903 -x3902 x3901 -x3900 x3899 -x3898 x3897 -x3896 -x3895 -x3894 -x3893 x3892 -x3891 -x3890 -x3889 -x3888 x3887 x3886 
239.00/239.12	v x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 
239.00/239.12	v -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 x3861 -x3860 -x3859 -x3858 -x3857 x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 
239.00/239.12	v -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 x3841 -x3840 x3839 -x3838 -x3837 -x3836 -x3835 x3834 -x3833 x3832 
239.00/239.12	v -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 x3825 x3824 -x3823 -x3822 -x3821 x3820 -x3819 -x3818 -x3817 -x3816 -x3815 x3814 -x3813 
239.00/239.12	v -x3812 -x3811 -x3810 x3809 -x3808 x3807 -x3806 -x3805 x3804 -x3803 -x3802 x3801 -x3800 x3799 -x3798 -x3797 -x3796 -x3795 
239.00/239.12	v -x3794 -x3793 -x3792 x3791 -x3790 x3789 x3788 -x3787 -x3786 -x3785 -x3784 x3783 x3782 -x3781 x3780 -x3779 x3778 -x3777 -x3776 
239.00/239.12	v x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 x3768 -x3767 x3766 -x3765 x3764 -x3763 -x3762 x3761 -x3760 -x3759 -x3758 -x3757 
239.00/239.12	v -x3756 x3755 -x3754 -x3753 -x3752 x3751 -x3750 -x3749 -x3748 -x3747 x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 
239.00/239.12	v -x3738 -x3737 -x3736 x3735 -x3734 -x3733 x3732 -x3731 -x3730 x3729 -x3728 x3727 -x3726 -x3725 -x3724 x3723 -x3722 -x3721 -x3720 
239.00/239.12	v -x3719 -x3718 -x3717 -x3716 -x3715 x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 x3706 x3705 x3704 x3703 x3702 
239.00/239.12	v -x3701 -x3700 -x3699 x3698 -x3697 -x3696 -x3695 x3694 x3693 -x3692 -x3691 x3690 -x3689 -x3688 -x3687 x3686 x3685 -x3684 -x3683 
239.00/239.12	v x3682 -x3681 -x3680 x3679 -x3678 x3677 -x3676 -x3675 x3674 -x3673 x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 
239.00/239.12	v -x3663 -x3662 -x3661 -x3660 x3659 -x3658 -x3657 x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 x3646 
239.00/239.12	v x3645 x3644 -x3643 x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 x3633 x3632 -x3631 -x3630 -x3629 -x3628 -x3627 
239.00/239.12	v -x3626 x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 x3613 -x3612 -x3611 -x3610 x3609 
239.00/239.12	v -x3608 x3607 -x3606 x3605 -x3604 -x3603 -x3602 x3601 -x3600 x3599 -x3598 -x3597 x3596 x3595 x3594 -x3593 -x3592 x3591 -x3590 
239.00/239.12	v -x3589 -x3588 x3587 -x3586 x3585 -x3584 -x3583 -x3582 x3581 x3580 -x3579 x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 
239.00/239.12	v x3571 -x3570 -x3569 -x3568 x3567 -x3566 -x3565 x3564 -x3563 -x3562 x3561 -x3560 -x3559 x3558 -x3557 -x3556 -x3555 -x3554 -x3553 
239.00/239.12	v -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 x3544 -x3543 -x3542 -x3541 -x3540 x3539 -x3538 -x3537 -x3536 -x3535 
239.00/239.12	v -x3534 -x3533 -x3532 -x3531 x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 x3522 -x3521 -x3520 -x3519 -x3518 -x3517 
239.00/239.12	v x3516 x3515 x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 x3499 -x3498 
239.00/239.12	v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 x3491 x3490 -x3489 -x3488 x3487 x3486 -x3485 -x3484 -x3483 -x3482 x3481 -x3480 
239.00/239.12	v -x3479 -x3478 x3477 -x3476 -x3475 x3474 -x3473 -x3472 -x3471 -x3470 x3469 -x3468 -x3467 x3466 x3465 -x3464 -x3463 -x3462 x3461 
239.00/239.12	v -x3460 -x3459 -x3458 x3457 -x3456 -x3455 -x3454 x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 x3443 
239.00/239.12	v -x3442 -x3441 -x3440 x3439 -x3438 x3437 -x3436 -x3435 x3434 -x3433 x3432 -x3431 -x3430 x3429 x3428 -x3427 x3426 -x3425 x3424 
239.00/239.12	v -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 x3412 -x3411 -x3410 -x3409 -x3408 x3407 -x3406 
239.00/239.12	v -x3405 x3404 x3403 -x3402 -x3401 -x3400 x3399 -x3398 x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 x3390 -x3389 x3388 -x3387 
239.00/239.12	v -x3386 x3385 -x3384 -x3383 x3382 -x3381 x3380 -x3379 x3378 -x3377 -x3376 x3375 x3374 -x3373 x3372 -x3371 -x3370 x3369 -x3368 
239.00/239.12	v -x3367 x3366 -x3365 -x3364 x3363 x3362 -x3361 -x3360 -x3359 -x3358 -x3357 x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 
239.00/239.12	v -x3348 x3347 x3346 -x3345 -x3344 x3343 x3342 x3341 x3340 -x3339 -x3338 x3337 -x3336 -x3335 x3334 -x3333 x3332 x3331 -x3330 
239.00/239.12	v -x3329 -x3328 x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 x3320 -x3319 x3318 -x3317 -x3316 -x3315 x3314 -x3313 -x3312 
239.00/239.12	v x3311 x3310 x3309 x3308 x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 x3299 -x3298 x3297 -x3296 x3295 -x3294 x3293 -x3292 
239.00/239.12	v x3291 -x3290 x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283 x3282 -x3281 -x3280 x3279 -x3278 -x3277 -x3276 -x3275 -x3274 
239.00/239.12	v x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 x3261 x3260 -x3259 -x3258 -x3257 -x3256 
239.00/239.12	v -x3255 x3254 x3253 x3252 -x3251 -x3250 -x3249 x3248 -x3247 -x3246 x3245 -x3244 -x3243 -x3242 -x3241 x3240 -x3239 -x3238 x3237 
239.00/239.12	v -x3236 x3235 -x3234 -x3233 x3232 x3231 -x3230 -x3229 -x3228 -x3227 -x3226 x3225 -x3224 x3223 -x3222 x3221 -x3220 x3219 -x3218 
239.00/239.12	v x3217 x3216 -x3215 -x3214 -x3213 -x3212 x3211 x3210 x3209 -x3208 -x3207 x3206 -x3205 -x3204 -x3203 x3202 -x3201 x3200 -x3199 
239.00/239.12	v -x3198 -x3197 -x3196 -x3195 x3194 -x3193 x3192 x3191 -x3190 -x3189 x3188 -x3187 x3186 -x3185 -x3184 -x3183 x3182 x3181 -x3180 
239.00/239.12	v -x3179 -x3178 x3177 -x3176 x3175 -x3174 -x3173 -x3172 -x3171 x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 
239.00/239.12	v -x3161 -x3160 -x3159 -x3158 x3157 x3156 -x3155 -x3154 x3153 -x3152 -x3151 x3150 x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 
239.00/239.12	v -x3142 -x3141 -x3140 x3139 x3138 x3137 -x3136 x3135 x3134 -x3133 x3132 -x3131 x3130 -x3129 x3128 -x3127 -x3126 x3125 -x3124 
239.00/239.12	v -x3123 -x3122 x3121 -x3120 -x3119 x3118 -x3117 -x3116 -x3115 -x3114 -x3113 x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 
239.00/239.12	v -x3105 x3104 -x3103 -x3102 -x3101 x3100 -x3099 -x3098 x3097 -x3096 -x3095 x3094 -x3093 -x3092 -x3091 -x3090 -x3089 x3088 -x3087 
239.00/239.12	v x3086 -x3085 -x3084 -x3083 x3082 -x3081 -x3080 -x3079 x3078 -x3077 -x3076 -x3075 x3074 -x3073 x3072 -x3071 -x3070 -x3069 
239.00/239.12	v -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 x3055 -x3054 x3053 x3052 -x3051 -x3050 
239.00/239.12	v x3049 -x3048 -x3047 -x3046 -x3045 -x3044 x3043 -x3042 -x3041 -x3040 x3039 -x3038 -x3037 -x3036 x3035 -x3034 -x3033 -x3032 
239.00/239.12	v -x3031 -x3030 x3029 x3028 -x3027 -x3026 x3025 x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 x3014 -x3013 
239.00/239.12	v -x3012 -x3011 -x3010 x3009 -x3008 -x3007 -x3006 x3005 x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 
239.00/239.12	v x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 x2987 x2986 -x2985 x2984 -x2983 -x2982 x2981 -x2980 x2979 x2978 x2977 x2976 
239.00/239.12	v -x2975 -x2974 x2973 -x2972 -x2971 -x2970 -x2969 x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 -x2961 x2960 -x2959 x2958 -x2957 
239.00/239.12	v -x2956 -x2955 x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947 x2946 x2945 -x2944 x2943 -x2942 x2941 -x2940 x2939 -x2938 
239.00/239.12	v x2937 x2936 -x2935 -x2934 -x2933 x2932 x2931 x2930 -x2929 x2928 -x2927 x2926 -x2925 x2924 x2923 x2922 x2921 x2920 x2919 
239.00/239.12	v x2918 x2917 x2916 -x2915 -x2914 -x2913 -x2912 x2911 -x2910 -x2909 -x2908 x2907 -x2906 x2905 -x2904 x2903 -x2902 x2901 -x2900 
239.00/239.12	v -x2899 -x2898 x2897 x2896 -x2895 -x2894 -x2893 x2892 x2891 -x2890 x2889 -x2888 x2887 -x2886 -x2885 x2884 x2883 -x2882 -x2881 
239.00/239.12	v x2880 -x2879 x2878 -x2877 x2876 -x2875 x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 x2866 -x2865 -x2864 -x2863 -x2862 
239.00/239.12	v x2861 -x2860 x2859 -x2858 -x2857 -x2856 -x2855 -x2854 x2853 x2852 -x2851 -x2850 -x2849 x2848 -x2847 x2846 x2845 x2844 x2843 
239.00/239.12	v x2842 -x2841 -x2840 -x2839 x2838 -x2837 x2836 x2835 x2834 -x2833 -x2832 -x2831 -x2830 -x2829 x2828 -x2827 x2826 -x2825 x2824 
239.00/239.12	v x2823 x2822 -x2821 -x2820 x2819 -x2818 -x2817 x2816 -x2815 x2814 -x2813 x2812 -x2811 x2810 -x2809 -x2808 x2807 -x2806 -x2805 
239.00/239.12	v -x2804 x2803 -x2802 -x2801 -x2800 x2799 -x2798 -x2797 -x2796 x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 
239.00/239.12	v -x2786 -x2785 -x2784 -x2783 x2782 -x2781 x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 x2773 -x2772 x2771 -x2770 -x2769 -x2768 
239.00/239.12	v -x2767 -x2766 x2765 -x2764 -x2763 -x2762 -x2761 x2760 -x2759 -x2758 x2757 -x2756 x2755 x2754 x2753 -x2752 -x2751 x2750 -x2749 
239.00/239.12	v -x2748 -x2747 x2746 x2745 x2744 x2743 -x2742 -x2741 -x2740 -x2739 -x2738 x2737 x2736 -x2735 -x2734 x2733 -x2732 -x2731 
239.00/239.12	v -x2730 -x2729 x2728 -x2727 x2726 -x2725 -x2724 x2723 x2722 x2721 -x2720 x2719 -x2718 x2717 -x2716 -x2715 x2714 -x2713 -x2712 
239.00/239.12	v x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 x2700 x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 
239.00/239.12	v x2692 -x2691 -x2690 x2689 -x2688 -x2687 x2686 -x2685 x2684 -x2683 x2682 -x2681 x2680 -x2679 x2678 -x2677 -x2676 x2675 x2674 
239.00/239.12	v x2673 -x2672 -x2671 -x2670 x2669 -x2668 -x2667 -x2666 -x2665 x2664 -x2663 -x2662 x2661 x2660 -x2659 x2658 x2657 -x2656 x2655 
239.00/239.12	v x2654 -x2653 x2652 -x2651 x2650 x2649 -x2648 x2647 -x2646 -x2645 x2644 x2643 x2642 -x2641 x2640 x2639 -x2638 -x2637 -x2636 
239.00/239.12	v -x2635 -x2634 x2633 -x2632 x2631 -x2630 -x2629 -x2628 -x2627 x2626 x2625 -x2624 x2623 -x2622 x2621 x2620 -x2619 -x2618 -x2617 
239.00/239.12	v -x2616 x2615 -x2614 -x2613 -x2612 -x2611 x2610 -x2609 -x2608 -x2607 -x2606 -x2605 x2604 -x2603 x2602 -x2601 x2600 -x2599 -x2598 
239.00/239.12	v -x2597 -x2596 -x2595 -x2594 -x2593 x2592 -x2591 -x2590 x2589 -x2588 x2587 -x2586 x2585 x2584 -x2583 -x2582 x2581 -x2580 
239.00/239.12	v x2579 -x2578 x2577 -x2576 x2575 -x2574 x2573 -x2572 x2571 -x2570 -x2569 x2568 x2567 -x2566 x2565 -x2564 -x2563 -x2562 -x2561 
239.00/239.12	v -x2560 -x2559 -x2558 x2557 -x2556 -x2555 -x2554 x2553 -x2552 x2551 x2550 x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 x2542 
239.00/239.12	v x2541 -x2540 x2539 -x2538 -x2537 -x2536 -x2535 x2534 x2533 -x2532 -x2531 x2530 x2529 -x2528 x2527 -x2526 -x2525 -x2524 x2523 
239.00/239.12	v -x2522 x2521 x2520 -x2519 x2518 x2517 -x2516 x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 
239.00/239.12	v x2503 -x2502 -x2501 -x2500 x2499 x2498 -x2497 -x2496 -x2495 -x2494 x2493 -x2492 x2491 x2490 x2489 x2488 x2487 x2486 -x2485 
239.00/239.12	v -x2484 -x2483 x2482 -x2481 x2480 -x2479 -x2478 x2477 x2476 -x2475 -x2474 -x2473 -x2472 x2471 -x2470 x2469 -x2468 x2467 -x2466 
239.00/239.12	v x2465 -x2464 -x2463 -x2462 -x2461 x2460 -x2459 -x2458 -x2457 -x2456 x2455 -x2454 x2453 -x2452 x2451 x2450 -x2449 x2448 -x2447 
239.00/239.12	v -x2446 x2445 -x2444 x2443 x2442 -x2441 x2440 -x2439 x2438 -x2437 x2436 x2435 x2434 -x2433 -x2432 x2431 -x2430 x2429 -x2428 
239.00/239.12	v x2427 x2426 x2425 x2424 x2423 -x2422 x2421 x2420 -x2419 -x2418 x2417 -x2416 -x2415 -x2414 -x2413 x2412 x2411 -x2410 -x2409 
239.00/239.12	v x2408 -x2407 -x2406 x2405 -x2404 x2403 -x2402 x2401 x2400 -x2399 -x2398 x2397 -x2396 x2395 x2394 -x2393 x2392 x2391 x2390 -x2389 
239.00/239.12	v -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 x2378 x2377 -x2376 -x2375 x2374 -x2373 -x2372 x2371 
239.00/239.12	v x2370 -x2369 -x2368 x2367 -x2366 x2365 x2364 -x2363 -x2362 x2361 -x2360 x2359 -x2358 x2357 -x2356 -x2355 -x2354 x2353 x2352 
239.00/239.12	v -x2351 -x2350 -x2349 x2348 -x2347 -x2346 -x2345 -x2344 x2343 -x2342 -x2341 x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 
239.00/239.12	v -x2333 x2332 -x2331 x2330 x2329 -x2328 -x2327 x2326 -x2325 x2324 x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 x2315 
239.00/239.12	v -x2314 -x2313 x2312 -x2311 -x2310 -x2309 -x2308 x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 x2300 -x2299 -x2298 -x2297 x2296 
239.00/239.12	v -x2295 x2294 -x2293 x2292 -x2291 -x2290 -x2289 -x2288 x2287 x2286 -x2285 -x2284 x2283 -x2282 x2281 -x2280 x2279 x2278 x2277 
239.00/239.12	v x2276 -x2275 -x2274 x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 x2266 -x2265 x2264 -x2263 -x2262 -x2261 -x2260 x2259 
239.00/239.12	v -x2258 x2257 -x2256 x2255 -x2254 x2253 -x2252 -x2251 x2250 -x2249 -x2248 -x2247 x2246 x2245 -x2244 -x2243 x2242 x2241 -x2240 
239.00/239.12	v -x2239 x2238 -x2237 -x2236 x2235 -x2234 x2233 x2232 -x2231 x2230 -x2229 -x2228 x2227 -x2226 -x2225 x2224 -x2223 x2222 -x2221 
239.00/239.12	v -x2220 x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 x2212 -x2211 x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 x2203 x2202 
239.00/239.12	v x2201 -x2200 x2199 -x2198 -x2197 x2196 x2195 -x2194 x2193 -x2192 x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 
239.00/239.12	v -x2182 -x2181 x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 x2172 -x2171 -x2170 x2169 x2168 x2167 -x2166 -x2165 
239.00/239.12	v -x2164 -x2163 x2162 -x2161 -x2160 -x2159 -x2158 -x2157 x2156 x2155 x2154 -x2153 -x2152 x2151 -x2150 -x2149 -x2148 x2147 -x2146 
239.00/239.12	v -x2145 -x2144 x2143 x2142 -x2141 -x2140 -x2139 x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 x2131 x2130 -x2129 -x2128 x2127 
239.00/239.12	v -x2126 -x2125 -x2124 x2123 -x2122 x2121 -x2120 -x2119 -x2118 x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 x2110 x2109 -x2108 
239.00/239.12	v -x2107 -x2106 x2105 -x2104 -x2103 -x2102 x2101 -x2100 -x2099 -x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 
239.00/239.12	v x2089 -x2088 x2087 -x2086 -x2085 x2084 -x2083 x2082 x2081 -x2080 -x2079 x2078 -x2077 x2076 -x2075 x2074 -x2073 -x2072 -x2071 
239.00/239.12	v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 
239.00/239.12	v -x2052 x2051 -x2050 -x2049 -x2048 -x2047 x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 
239.00/239.12	v -x2034 x2033 -x2032 -x2031 x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 x2021 -x2020 x2019 -x2018 -x2017 -x2016 
239.00/239.12	v -x2015 -x2014 x2013 x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 x2003 -x2002 -x2001 -x2000 -x1999 -x1998 
239.00/239.12	v -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 x1987 -x1986 -x1985 -x1984 -x1983 x1982 -x1981 x1980 
239.00/239.12	v -x1979 x1978 -x1977 x1976 -x1975 -x1974 x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 x1966 -x1965 x1964 -x1963 -x1962 -x1961 
239.00/239.12	v x1960 x1959 -x1958 -x1957 x1956 -x1955 -x1954 x1953 -x1952 x1951 -x1950 -x1949 x1948 -x1947 -x1946 -x1945 -x1944 -x1943 x1942 
239.00/239.12	v -x1941 -x1940 -x1939 -x1938 x1937 -x1936 -x1935 -x1934 x1933 -x1932 x1931 -x1930 x1929 -x1928 -x1927 x1926 x1925 -x1924 x1923 
239.00/239.12	v -x1922 x1921 -x1920 x1919 x1918 -x1917 -x1916 x1915 x1914 -x1913 x1912 x1911 -x1910 x1909 -x1908 -x1907 -x1906 -x1905 -x1904 
239.00/239.12	v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 
239.00/239.12	v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
239.00/239.12	v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 
239.00/239.12	v -x1850 -x1849 -x1848 x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 
239.00/239.12	v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 
239.00/239.12	v -x1814 -x1813 -x1812 -x1811 x1810 x1809 x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 
239.00/239.12	v -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 x1787 -x1786 -x1785 x1784 -x1783 x1782 -x1781 -x1780 -x1779 x1778 
239.00/239.12	v -x1777 -x1776 -x1775 x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 x1762 -x1761 -x1760 
239.00/239.12	v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 
239.00/239.12	v x1741 x1740 -x1739 -x1738 -x1737 x1736 x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 x1727 -x1726 x1725 x1724 x1723 
239.00/239.12	v -x1722 -x1721 x1720 x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 
239.00/239.12	v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 x1696 x1695 -x1694 -x1693 -x1692 -x1691 x1690 -x1689 -x1688 -x1687 x1686 
239.00/239.12	v -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 
239.00/239.12	v x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 x1655 -x1654 x1653 -x1652 -x1651 x1650 -x1649 
239.00/239.12	v -x1648 x1647 x1646 -x1645 x1644 x1643 -x1642 -x1641 -x1640 x1639 x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 x1631 x1630 
239.00/239.12	v x1629 -x1628 x1627 -x1626 -x1625 -x1624 x1623 x1622 x1621 x1620 -x1619 -x1618 x1617 -x1616 x1615 -x1614 x1613 x1612 -x1611 
239.00/239.12	v -x1610 x1609 -x1608 -x1607 -x1606 -x1605 -x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 -x1594 -x1593 
239.00/239.12	v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 
239.00/239.12	v -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 x1561 -x1560 x1559 -x1558 -x1557 
239.00/239.12	v -x1556 -x1555 -x1554 -x1553 -x1552 x1551 -x1550 -x1549 x1548 -x1547 -x1546 x1545 -x1544 -x1543 -x1542 x1541 x1540 -x1539 -x1538 
239.00/239.12	v x1537 -x1536 x1535 -x1534 -x1533 -x1532 x1531 -x1530 x1529 x1528 x1527 -x1526 -x1525 x1524 x1523 -x1522 x1521 -x1520 x1519 
239.00/239.12	v -x1518 -x1517 x1516 -x1515 -x1514 x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 -x1500 
239.00/239.12	v -x1499 x1498 -x1497 x1496 -x1495 x1494 -x1493 x1492 x1491 -x1490 x1489 x1488 x1487 x1486 -x1485 -x1484 -x1483 -x1482 -x1481 
239.00/239.12	v -x1480 -x1479 x1478 -x1477 -x1476 x1475 -x1474 -x1473 x1472 x1471 -x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464 x1463 -x1462 
239.00/239.12	v x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 x1449 x1448 -x1447 x1446 -x1445 -x1444 
239.00/239.12	v x1443 x1442 -x1441 x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433 -x1432 -x1431 -x1430 x1429 -x1428 x1427 -x1426 x1425 
239.00/239.12	v -x1424 -x1423 x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 x1408 -x1407 
239.00/239.12	v -x1406 -x1405 -x1404 -x1403 x1402 x1401 -x1400 x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 x1389 x1388 
239.00/239.12	v -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 
239.00/239.12	v -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 x1357 -x1356 x1355 -x1354 -x1353 x1352 
239.00/239.12	v x1351 -x1350 -x1349 -x1348 x1347 -x1346 -x1345 x1344 -x1343 -x1342 x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 x1333 
239.00/239.12	v -x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321 x1320 -x1319 x1318 x1317 -x1316 x1315 -x1314 
239.00/239.12	v -x1313 -x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 x1302 -x1301 -x1300 x1299 -x1298 -x1297 x1296 
239.00/239.12	v x1295 x1294 x1293 x1292 -x1291 -x1290 x1289 -x1288 x1287 x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279 -x1278 -x1277 -x1276 
239.00/239.12	v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 
239.00/239.12	v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 x1242 -x1241 x1240 
239.00/239.12	v -x1239 x1238 -x1237 -x1236 -x1235 -x1234 x1233 x1232 -x1231 -x1230 -x1229 -x1228 x1227 -x1226 -x1225 -x1224 -x1223 -x1222 
239.00/239.12	v -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 x1209 x1208 -x1207 -x1206 x1205 x1204 -x1203 
239.00/239.12	v -x1202 x1201 x1200 -x1199 x1198 -x1197 -x1196 x1195 -x1194 x1193 -x1192 x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 
239.00/239.12	v -x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 
239.00/239.12	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 
239.00/239.12	v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 
239.00/239.12	v x1129 x1128 -x1127 x1126 x1125 -x1124 x1123 -x1122 x1121 x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 
239.00/239.12	v x1110 -x1109 x1108 -x1107 x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 -x1099 -x1098 x1097 -x1096 x1095 -x1094 -x1093 -x1092 
239.00/239.12	v -x1091 -x1090 x1089 x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 x1078 x1077 -x1076 x1075 -x1074 
239.00/239.12	v x1073 -x1072 x1071 -x1070 x1069 x1068 -x1067 -x1066 -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 x1056 -x1055 
239.00/239.12	v -x1054 x1053 -x1052 x1051 x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 x1037 -x1036 
239.00/239.12	v -x1035 x1034 -x1033 x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 x1019 -x1018 x1017 
239.00/239.12	v -x1016 x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 x999 
239.00/239.12	v -x998 -x997 x996 -x995 -x994 x993 x992 -x991 -x990 x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 x978 -x977 
239.00/239.12	v -x976 -x975 x974 -x973 x972 -x971 -x970 x969 x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 x960 -x959 x958 x957 -x956 x955 x954 
239.00/239.12	v -x953 -x952 -x951 x950 -x949 -x948 x947 -x946 -x945 x944 -x943 x942 -x941 x940 x939 x938 -x937 x936 -x935 -x934 -x933 x932 
239.00/239.12	v x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 x923 -x922 -x921 x920 x919 x918 x917 -x916 x915 -x914 x913 -x912 -x911 x910 -x909 
239.00/239.12	v -x908 x907 -x906 -x905 -x904 -x903 x902 -x901 x900 -x899 -x898 x897 x896 -x895 x894 -x893 -x892 x891 -x890 -x889 x888 -x887 
239.00/239.12	v -x886 x885 -x884 x883 -x882 x881 x880 -x879 x878 -x877 -x876 x875 -x874 x873 -x872 -x871 -x870 x869 x868 -x867 -x866 x865 
239.00/239.12	v -x864 -x863 x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 x854 x853 -x852 x851 x850 x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 
239.00/239.12	v x841 x840 -x839 x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 
239.00/239.12	v -x820 x819 x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 x808 -x807 x806 -x805 x804 -x803 -x802 x801 -x800 -x799 
239.00/239.12	v -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 
239.00/239.12	v -x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 x765 x764 -x763 x762 -x761 -x760 x759 -x758 -x757 -x756 
239.00/239.12	v -x755 x754 x753 -x752 -x751 x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 x734 
239.00/239.12	v -x733 x732 -x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 -x722 x721 -x720 -x719 -x718 x717 -x716 -x715 x714 x713 -x712 -x711 
239.00/239.12	v -x710 -x709 x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 x700 -x699 x698 x697 -x696 -x695 -x694 -x693 x692 x691 -x690 x689 
239.00/239.12	v -x688 -x687 x686 x685 -x684 x683 x682 -x681 -x680 -x679 x678 -x677 x676 -x675 x674 x673 -x672 -x671 x670 -x669 x668 -x667 
239.00/239.12	v x666 -x665 -x664 -x663 -x662 -x661 -x660 x659 -x658 x657 -x656 x655 -x654 -x653 -x652 x651 -x650 -x649 x648 -x647 -x646 -x645 
239.00/239.12	v -x644 x643 -x642 -x641 -x640 -x639 -x638 x637 -x636 -x635 -x634 -x633 x632 x631 -x630 -x629 x628 -x627 -x626 -x625 x624 -x623 
239.00/239.12	v -x622 x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 
239.00/239.12	v -x601 x600 -x599 x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 x590 x589 -x588 x587 -x586 x585 -x584 -x583 x582 -x581 -x580 -x579 
239.00/239.12	v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 x563 -x562 x561 -x560 -x559 -x558 
239.00/239.12	v x557 -x556 -x555 -x554 x553 -x552 x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 x538 -x537 -x536 
239.00/239.12	v -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 x518 x517 -x516 -x515 
239.00/239.12	v -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 x506 -x505 -x504 -x503 x502 x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 
239.00/239.12	v -x492 -x491 -x490 x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 x481 x480 x479 x478 x477 x476 -x475 -x474 x473 -x472 x471 
239.00/239.12	v -x470 -x469 -x468 -x467 x466 x465 x464 x463 x462 x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 
239.00/239.12	v -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 x434 -x433 -x432 x431 -x430 x429 -x428 -x427 
239.00/239.12	v x426 -x425 x424 -x423 x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 x413 x412 -x411 -x410 x409 -x408 x407 -x406 -x405 
239.00/239.12	v x404 x403 -x402 -x401 x400 -x399 x398 -x397 -x396 x395 -x394 -x393 x392 x391 -x390 -x389 x388 -x387 x386 -x385 x384 -x383 -x382 
239.00/239.12	v -x381 -x380 x379 -x378 -x377 -x376 x375 -x374 x373 x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 x363 -x362 -x361 x360 
239.00/239.12	v -x359 x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 x350 -x349 x348 x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 
239.00/239.12	v x337 x336 x335 -x334 x333 x332 -x331 -x330 x329 -x328 -x327 x326 -x325 x324 x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 
239.00/239.12	v -x315 -x314 -x313 -x312 -x311 -x310 x309 x308 -x307 -x306 x305 x304 -x303 -x302 x301 -x300 -x299 x298 x297 -x296 -x295 -x294 
239.00/239.12	v x293 -x292 x291 -x290 x289 x288 -x287 x286 -x285 -x284 -x283 x282 x281 -x280 x279 -x278 -x277 -x276 -x275 x274 x273 -x272 x271 
239.00/239.12	v x270 -x269 x268 x267 -x266 -x265 x264 -x263 -x262 -x261 x260 -x259 x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
239.00/239.12	v -x248 -x247 -x246 -x245 x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 
239.00/239.12	v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 
239.00/239.12	v -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 
239.00/239.12	v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 
239.00/239.12	v -x164 x163 -x162 -x161 -x160 x159 -x158 -x157 x156 x155 -x154 x153 x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 
239.00/239.12	v -x142 x141 -x140 -x139 x138 -x137 x136 x135 -x134 -x133 x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 x122 -x121 
239.00/239.12	v -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 
239.00/239.12	v -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 
239.00/239.12	v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 
239.00/239.12	v -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 x39 -x38 -x37 x36 x35 -x34 x33 -x32 x31 x30 -x29 x28 -x27 x26 -x25 x24 -x23 -x22 
239.00/239.12	v x21 x20 -x19 -x18 x17 -x16 x15 -x14 -x13 x12 x11 -x10 -x9 x8 -x7 -x6 x5 x4 -x3 -x2 -x1 x8811 x8810 x8809 -x8808 -x8807 x8806 
239.00/239.12	v -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 x8798 x8797 x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 x8788 -x8787 
239.00/239.12	v -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 
239.00/239.12	v -x8768 -x8767 -x8766 -x8765 x8764 x8763 x8762 x8761 x8760 x8759 -x8758 x8757 x8756 x8755 x8754 x8753 x8752 x8751 x8750 -x8749 
239.00/239.12	v x8748 -x8747 -x8746 -x8745 -x8744 -x8743 x8742 x8741 x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 
239.00/239.12	v -x8730 -x8729 x8728 -x8727 -x8726 x8725 x8724 -x8723 -x8722 x8721 x8720 -x8719 x8718 x8717 x8716 -x8715 -x8714 x8713 -x8712 
239.00/239.12	v x8711 -x8710 -x8709 -x8708 -x8707 -x8706 -x8705 x8704 -x8703 x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 
239.00/239.12	v -x8693 -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 x8680 -x8679 x8678 x8677 x8676 -x8675 
239.00/239.12	v x8674 x8673 -x8672 x8671 -x8670 -x8669 -x8668 -x8667 -x8666 -x8665 -x8664 -x8663 -x8662 x8661 x8660 -x8659 -x8658 -x8657 
239.00/239.12	v x8656 x8655 -x8654 x8653 -x8652 -x8651 -x8650 x8649 -x8648 x8647 x8646 x8645 -x8644 x8643 -x8642 -x8641 -x8640 -x8639 -x8638 
239.00/239.12	v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 x8623 -x8622 -x8621 -x8620 
239.00/239.12	v -x8619 x8618 x8617 x8616 -x8615 -x8614 x8613 x8612 x8611 -x8610 x8609 x8608 -x8607 -x8606 -x8605 -x8604 x8603 x8602 x8601 x8600 
239.00/239.12	v -x8599 x8598 x8597 x8596 -x8595 -x8594 -x8593 x8592 -x8591 -x8590 x8589 x8588 -x8587 -x8586 -x8585 -x8584 -x8583 -x8582 -x8581 
239.00/239.12	v -x8580 x8579 -x8578 x8577 x8576 -x8575 x8574 -x8573 -x8572 -x8571 -x8570 -x8569 x8568 x8567 x8566 x8565 x8564 -x8563 -x8562 
239.00/239.12	v -x8561 -x8560 -x8559 x8558 x8557 x8556 x8555 -x8554 x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 -x8546 x8545 -x8544 -x8543 
239.00/239.12	v x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 x8533 x8532 x8531 x8530 x8529 x8528 x8527 -x8526 -x8525 -x8524 
239.00/239.12	v -x8523 x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 -x8508 -x8507 -x8506 
239.00/239.12	v -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 x8490 -x8489 x8488 
239.00/239.12	v x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 
239.00/239.12	v -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 -x8453 -x8452 
239.00/239.12	v -x8451 -x8450 x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436 -x8435 -x8434 
239.00/239.12	v x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 x8425 -x8424 -x8423 x8422 -x8421 -x8420 -x8419 x8418 x8417 x8416 
239.00/239.12	v -x8415 x8414 -x8413 -x8412 x8411 x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 
239.00/239.12	v x8396 x8395 -x8394 x8393 -x8392 -x8391 x8390 -x8389 -x8388 -x8387 -x8386 x8385 -x8384 -x8383 -x8382 x8381 x8380 -x8379 
239.00/239.12	v x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 x8369 x8368 x8367 -x8366 x8365 -x8364 -x8363 x8362 -x8361 x8360 
239.00/239.12	v x8359 x8358 x8357 x8356 x8355 x8354 x8353 x8352 x8351 -x8350 x8349 x8348 x8347 x8346 x8345 x8344 -x8343 x8342 -x8341 -x8340 
239.00/239.12	v x8339 x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 x8330 x8329 -x8328 x8327 -x8326 -x8325 x8324 -x8323 -x8322 x8321 
239.00/239.12	v x8320 x8319 x8318 x8317 x8316 x8315 x8314 x8313 -x8312 x8311 x8310 -x8309 -x8308 x8307 x8306 x8305 x8304 x8303 x8302 x8301 x8300 
239.00/239.12	v x8299 x8298 -x8297 x8296 x8295 -x8294 x8293 x8292 -x8291 x8290 x8289 -x8288 x8287 -x8286 -x8285 -x8284 -x8283 x8282 -x8281 
239.00/239.12	v x8280 x8279 x8278 -x8277 -x8276 -x8275 -x8274 x8273 x8272 -x8271 -x8270 -x8269 -x8268 -x8267 x8266 x8265 -x8264 x8263 x8262 
239.00/239.12	v -x8261 x8260 x8259 x8258 -x8257 x8256 x8255 -x8254 -x8253 x8252 x8251 x8250 x8249 x8248 x8247 x8246 -x8245 -x8244 -x8243 -x8242 
239.00/239.12	v -x8241 x8240 x8239 x8238 x8237 -x8236 x8235 -x8234 x8233 x8232 x8231 x8230 x8229 x8228 x8227 -x8226 x8225 x8224 -x8223 x8222 
239.00/239.12	v x8221 x8220 x8219 x8218 -x8217 -x8216 x8215 -x8214 x8213 x8212 -x8211 -x8210 x8209 -x8208 x8207 x8206 -x8205 x8204 -x8203 
239.00/239.12	v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 x8195 x8194 x8193 -x8192 -x8191 -x8190 x8189 x8188 x8187 x8186 x8185 -x8184 
239.00/239.12	v -x8183 x8182 -x8181 x8180 -x8179 -x8178 x8177 -x8176 -x8175 -x8174 x8173 x8172 -x8171 -x8170 -x8169 -x8168 x8167 -x8166 -x8165 
239.00/239.12	v -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 x8157 x8156 x8155 -x8154 -x8153 x8152 x8151 x8150 x8149 x8148 x8147 x8146 
239.00/239.12	v x8145 -x8144 -x8143 x8142 -x8141 -x8140 x8139 -x8138 -x8137 -x8136 -x8135 x8134 -x8133 -x8132 x8131 x8130 x8129 x8128 x8127 
239.00/239.12	v -x8126 x8125 x8124 x8123 x8122 -x8121 -x8120 x8119 -x8118 -x8117 x8116 -x8115 -x8114 x8113 x8112 x8111 x8110 -x8109 x8108 x8107 
239.00/239.12	v -x8106 x8105 -x8104 x8103 -x8102 x8101 x8100 x8099 -x8098 -x8097 -x8096 -x8095 x8094 x8093 x8092 -x8091 -x8090 x8089 -x8088 
239.00/239.12	v -x8087 -x8086 x8085 x8084 x8083 x8082 -x8081 -x8080 x8079 x8078 -x8077 -x8076 x8075 x8074 x8073 -x8072 -x8071 -x8070 -x8069 
239.00/239.12	v x8068 -x8067 x8066 -x8065 -x8064 x8063 x8062 x8061 x8060 x8059 x8058 x8057 x8056 x8055 x8054 x8053 x8052 x8051 x8050 x8049 
239.00/239.12	v x8048 -x8047 -x8046 -x8045 x8044 x8043 x8042 x8041 x8040 x8039 x8038 x8037 -x8036 -x8035 -x8034 x8033 x8032 x8031 -x8030 -x8029 
239.00/239.12	v x8028 -x8027 x8026 x8025 -x8024 -x8023 -x8022 x8021 x8020 -x8019 x8018 x8017 x8016 -x8015 -x8014 x8013 -x8012 x8011 x8010 
239.00/239.12	v x8009 x8008 x8007 x8006 -x8005 x8004 -x8003 x8002 x8001 -x8000 x7999 x7998 -x7997 -x7996 x7995 -x7994 -x7993 -x7992 -x7991 -x7990 
239.00/239.12	v -x7989 x7988 -x7987 x7986 x7985 x7984 -x7983 -x7982 -x7981 x7980 -x7979 x7978 -x7977 x7976 x7975 -x7974 x7973 x7972 -x7971 
239.00/239.12	v x7970 x7969 x7968 -x7967 -x7966 -x7965 x7964 x7963 x7962 -x7961 x7960 -x7959 x7958 -x7957 -x7956 x7955 x7954 -x7953 x7952 
239.00/239.12	v x7951 x7950 x7949 x7948 x7947 x7946 -x7945 -x7944 -x7943 x7942 x7941 x7940 -x7939 -x7938 x7937 -x7936 x7935 -x7934 -x7933 -x7932 
239.00/239.12	v -x7931 x7930 x7929 x7928 x7927 x7926 -x7925 x7924 x7923 x7922 x7921 x7920 -x7919 -x7918 -x7917 -x7916 -x7915 x7914 x7913 
239.00/239.12	v x7912 -x7911 -x7910 x7909 x7908 x7907 -x7906 x7905 x7904 x7903 -x7902 x7901 x7900 x7899 x7898 -x7897 -x7896 -x7895 -x7894 -x7893 
239.00/239.12	v -x7892 x7891 x7890 x7889 -x7888 x7887 x7886 x7885 -x7884 -x7883 -x7882 -x7881 -x7880 x7879 -x7878 x7877 x7876 x7875 x7874 
239.00/239.12	v -x7873 x7872 x7871 x7870 -x7869 x7868 x7867 x7866 x7865 x7864 x7863 x7862 x7861 -x7860 -x7859 -x7858 x7857 x7856 x7855 x7854 
239.00/239.12	v -x7853 -x7852 x7851 x7850 -x7849 x7848 -x7847 -x7846 x7845 x7844 -x7843 -x7842 -x7841 x7840 -x7839 -x7838 x7837 -x7836 x7835 
239.00/239.12	v -x7834 -x7833 -x7832 x7831 x7830 x7829 x7828 x7827 -x7826 x7825 x7824 -x7823 -x7822 -x7821 x7820 -x7819 -x7818 -x7817 -x7816 
239.00/239.12	v -x7815 -x7814 -x7813 x7812 x7811 x7810 -x7809 x7808 -x7807 -x7806 -x7805 x7804 x7803 x7802 x7801 x7800 -x7799 -x7798 -x7797 
239.00/239.12	v -x7796 x7795 x7794 x7793 -x7792 -x7791 -x7790 x7789 x7788 x7787 x7786 x7785 x7784 x7783 x7782 x7781 -x7780 x7779 -x7778 -x7777 
239.00/239.12	v x7776 -x7775 x7774 -x7773 x7772 x7771 x7770 x7769 x7768 x7767 x7766 x7765 -x7764 -x7763 -x7762 x7761 x7760 -x7759 -x7758 x7757 
239.00/239.12	v -x7756 x7755 -x7754 -x7753 -x7752 x7751 -x7750 -x7749 -x7748 x7747 x7746 x7745 x7744 -x7743 x7742 -x7741 -x7740 x7739 -x7738 
239.00/239.12	v x7737 x7736 x7735 x7734 x7733 -x7732 x7731 -x7730 -x7729 x7728 -x7727 -x7726 x7725 x7724 -x7723 -x7722 -x7721 x7720 x7719 
239.00/239.12	v x7718 -x7717 -x7716 -x7715 -x7714 -x7713 x7712 x7711 -x7710 -x7709 -x7708 -x7707 x7706 -x7705 -x7704 -x7703 -x7702 x7701 -x7700 
239.00/239.12	v -x7699 x7698 -x7697 x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 x7689 -x7688 x7687 x7686 x7685 -x7684 x7683 x7682 -x7681 
239.00/239.12	v x7680 -x7679 x7678 -x7677 -x7676 -x7675 -x7674 x7673 x7672 x7671 x7670 x7669 x7668 x7667 x7666 x7665 x7664 x7663 x7662 x7661 
239.00/239.12	v x7660 -x7659 x7658 -x7657 -x7656 x7655 x7654 x7653 x7652 x7651 x7650 -x7649 x7648 x7647 -x7646 x7645 x7644 -x7643 x7642 x7641 
239.00/239.12	v x7640 x7639 x7638 x7637 x7636 x7635 x7634 -x7633 x7632 x7631 -x7630 -x7629 -x7628 -x7627 x7626 x7625 x7624 x7623 -x7622 
239.00/239.12	v -x7621 x7620 x7619 x7618 x7617 x7616 -x7615 x7614 x7613 -x7612 -x7611 x7610 -x7609 -x7608 -x7607 -x7606 x7605 x7604 x7603 -x7602 
239.00/239.12	v -x7601 -x7600 x7599 x7598 -x7597 x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 x7586 x7585 x7584 -x7583 
239.00/239.12	v -x7582 -x7581 -x7580 x7579 x7578 -x7577 -x7576 x7575 -x7574 x7573 -x7572 -x7571 -x7570 x7569 x7568 x7567 -x7566 -x7565 
239.00/239.12	v -x7564 -x7563 -x7562 -x7561 x7560 -x7559 x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 x7546 
239.00/239.12	v -x7545 x7544 x7543 -x7542 -x7541 -x7540 -x7539 -x7538 x7537 x7536 -x7535 x7534 x7533 x7532 x7531 x7530 x7529 -x7528 -x7527 
239.00/239.12	v -x7526 -x7525 -x7524 x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 x7516 x7515 x7514 -x7513 -x7512 -x7511 x7510 -x7509 -x7508 
239.00/239.12	v x7507 -x7506 -x7505 x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 
239.00/239.12	v -x7489 x7488 x7487 x7486 x7485 x7484 x7483 x7482 x7481 -x7480 -x7479 -x7478 x7477 x7476 x7475 -x7474 x7473 x7472 -x7471 
239.00/239.12	v -x7470 -x7469 -x7468 -x7467 -x7466 x7465 -x7464 -x7463 x7462 -x7461 x7460 x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 
239.00/239.12	v x7451 -x7450 -x7449 -x7448 x7447 -x7446 x7445 x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 x7437 -x7436 -x7435 -x7434 
239.00/239.12	v -x7433 -x7432 x7431 x7430 -x7429 -x7428 x7427 x7426 -x7425 -x7424 -x7423 x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 
239.00/239.12	v -x7414 -x7413 x7412 -x7411 x7410 -x7409 -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 
239.00/239.12	v -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 
239.00/239.12	v -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 x7362 -x7361 
239.00/239.12	v x7360 -x7359 -x7358 x7357 x7356 x7355 -x7354 -x7353 x7352 x7351 -x7350 -x7349 -x7348 -x7347 x7346 x7345 x7344 x7343 -x7342 
239.00/239.12	v x7341 -x7340 x7339 -x7338 -x7337 -x7336 x7335 -x7334 -x7333 -x7332 -x7331 -x7330 x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 
239.00/239.12	v -x7322 x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 
239.00/239.12	v -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 x7292 x7291 -x7290 x7289 -x7288 x7287 
239.00/239.12	v x7286 -x7285 -x7284 x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 
239.00/239.12	v -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 
239.00/239.12	v -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 
239.00/239.12	v -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 
239.00/239.12	v -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 
239.00/239.12	v -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 
239.00/239.12	v -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 
239.00/239.12	v -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 
239.00/239.12	v -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 
239.00/239.12	v -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 
239.00/239.12	v -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 
239.00/239.12	v -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 
239.00/239.12	v -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 x7063 -x7062 -x7061 -x7060 -x7059 x7058 -x7057 -x7056 -x7055 -x7054 
239.00/239.12	v -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 
239.00/239.12	v -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 
239.00/239.12	v -x7017 -x7016 -x7015 -x7014 -x7013 x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 
239.00/239.12	v -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 
239.00/239.12	v -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 
239.00/239.12	v -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 
239.00/239.12	v -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 
239.00/239.12	v -x6928 -x6927 -x6926 -x6925 x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 
239.00/239.12	v -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 
239.00/239.12	v -x6892 -x6891 x6890 x6889 x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 
239.00/239.12	v -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 x6867 x6866 x6865 x6864 x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 
239.00/239.12	v -x6855 -x6854 -x6853 x6852 x6851 x6850 x6849 x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 
239.00/239.12	v -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 
239.00/239.12	v -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 
239.00/239.12	v -x6801 -x6800 -x6799 x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 
239.00/239.12	v -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 
239.00/239.12	v -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 
239.00/239.12	v -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 
239.00/239.12	v -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 
239.00/239.12	v -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 
239.00/239.12	v -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 
239.00/239.12	v -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 
239.00/239.12	v -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 
239.00/239.12	v -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 
239.00/239.12	v -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 
239.00/239.12	v -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 
239.00/239.12	v -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 
239.00/239.12	v -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 
239.00/239.12	v -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 
239.00/239.12	v -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 x6521 -x6520 -x6519 -x6518 -x6517 -x6516 
239.00/239.12	v -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 
239.00/239.12	v -x6497 x6496 x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 
239.00/239.12	v -x6479 -x6478 -x6477 -x6476 -x6475 x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 
239.00/239.12	v -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 
239.00/239.12	v -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 
239.00/239.12	v -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 x6419 x6418 x6417 x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 
239.00/239.12	v -x6406 x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 
239.00/239.12	v -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 
239.00/239.12	v -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 
239.00/239.12	v -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 
239.00/239.12	v -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 x6328 -x6327 -x6326 x6325 -x6324 -x6323 -x6322 -x6321 x6320 x6319 -x6318 -x6317 
239.00/239.12	v -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 
239.00/239.12	v -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 x6283 x6282 -x6281 
239.00/239.12	v -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 x6265 -x6264 -x6263 
239.00/239.12	v -x6262 -x6261 -x6260 x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 
239.00/239.12	v -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 
239.00/239.12	v -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 
239.00/239.12	v -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 x6196 -x6195 -x6194 -x6193 -x6192 -x6191 
239.00/239.12	v -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 
239.00/239.12	v -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 x6158 -x6157 -x6156 
239.00/239.12	v -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 
239.00/239.12	v -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 
239.00/239.12	v -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 
239.00/239.12	v -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 
239.00/239.12	v -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 
239.00/239.12	v -x6065 -x6064 x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 
239.00/239.12	v -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 
239.00/239.12	v -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 
239.00/239.12	v -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 
239.00/239.12	v -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 
239.00/239.12	v -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 
239.00/239.12	v -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 
239.00/239.12	v -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 
239.00/239.12	v -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 
239.00/239.12	v -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 
239.00/239.12	v -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 x5871 x5870 -x5869 
239.00/239.12	v -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 
239.00/239.12	v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 x5835 x5834 x5833 
239.00/239.12	v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 x5819 x5818 -x5817 -x5816 -x5815 
239.00/239.12	v -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 x5800 -x5799 x5798 x5797 
239.00/239.12	v -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 x5782 x5781 -x5780 -x5779 -x5778 
239.00/239.12	v -x5777 x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 
239.00/239.12	v -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 
239.00/239.12	v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 
239.00/239.12	v -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 
239.00/239.12	v -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 
239.00/239.12	v -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 
239.00/239.12	v -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 
239.00/239.12	v -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 
239.00/239.12	v -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 
239.00/239.12	v -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 
239.00/239.12	v -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 x5582 -x5581 
239.00/239.12	v -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 x5565 -x5564 -x5563 
239.00/239.12	v -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 
239.00/239.12	v -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 x5528 -x5527 
239.00/239.12	v -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 
239.00/239.12	v -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 
239.00/239.12	v -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 
239.00/239.12	v -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 x5456 
239.00/239.12	v x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 
239.00/239.12	v -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 x5421 x5420 -x5419 
239.00/239.12	v -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 
239.00/239.12	v -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 
239.00/239.12	v -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 
239.00/239.12	v -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 
239.00/239.12	v -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 
239.00/239.12	v -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 
239.00/239.12	v -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 
239.00/239.12	v -x5293 x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 
239.00/239.12	v x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 
239.00/239.12	v -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 
239.00/239.12	v -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 
239.00/239.12	v -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 x5213 x5212 -x5211 x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 
239.00/239.12	v -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 
239.00/239.12	v -x5185 -x5184 -x5183 -x5182 -x5181 x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 
239.00/239.12	v -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 
239.00/239.12	v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 
239.00/239.12	v -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 
239.00/239.12	v -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 
239.00/239.12	v -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 
239.00/239.12	v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 
239.00/239.12	v -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 
239.00/239.12	v -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 
239.00/239.12	v -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 
239.00/239.12	v -x5007 -x5006 -x5005 x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 
239.00/239.12	v -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 
239.00/239.12	v -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 
239.00/239.12	v -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 
239.00/239.12	v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 
239.00/239.12	v -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 
239.00/239.12	v -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 
239.00/239.12	v -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 
239.00/239.12	v -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 
239.00/239.12	v -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 
239.00/239.12	v -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 
239.00/239.12	v -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 
239.00/239.12	v -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 
239.00/239.12	v -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 
239.00/239.12	v -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 
239.00/239.12	v -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 
239.00/239.12	v -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 
239.00/239.12	v -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 
239.00/239.12	v -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 
239.00/239.12	v -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 
239.00/239.12	v -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 
239.00/239.12	v -x4631 -x4630 -x4629 -x4628 
239.00/239.12	c SCIP Status        : problem is solved [optimal solution found]
239.00/239.12	c Solving Time       :     238.43
239.00/239.12	c Original Problem   :
239.00/239.12	c   Problem name     : HOME/instance-2704826-1278580130.opb
239.00/239.12	c   Variables        : 8811 (8811 binary, 0 integer, 0 implicit integer, 0 continuous)
239.00/239.12	c   Constraints      : 38694 initial, 38694 maximal
239.00/239.12	c Presolved Problem  :
239.00/239.12	c   Problem name     : t_HOME/instance-2704826-1278580130.opb
239.00/239.12	c   Variables        : 4363 (4363 binary, 0 integer, 0 implicit integer, 0 continuous)
239.00/239.12	c   Constraints      : 16714 initial, 16825 maximal
239.00/239.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
239.00/239.12	c   trivial          :       0.12         28          0          0          0          0          0          0          0
239.00/239.12	c   dualfix          :       0.08       1298          0          0          0          0          0          0          0
239.00/239.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
239.00/239.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
239.00/239.12	c   implics          :       0.20          0        342          0          0          0          0          0          0
239.00/239.12	c   probing          :      24.30        305       1001          0          0          0          0          0          0
239.00/239.12	c   setppc           :       1.21          0          4          0          0          0       3023          3          0
239.00/239.12	c   linear           :       0.49        531        939          0        545          0      18559         92        163
239.00/239.12	c   logicor          :       3.50          0          0          0          8          0        410          0          0
239.00/239.12	c   root node        :          -          0          -          -          0          -          -          -          -
239.00/239.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
239.00/239.12	c   integral         :          0          0          0        582          0         11       1436          0          0        478
239.00/239.12	c   setppc           :       7040          0      20621          0         10        113      25191          0          0          0
239.00/239.12	c   logicor          :       9674+         0      16310          0         10        213      14448          0          0          0
239.00/239.12	c   countsols        :          0          0          0          0         10          0          0          0          0          0
239.00/239.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
239.00/239.12	c   integral         :     128.92       0.00       0.00     128.92       0.00
239.00/239.12	c   setppc           :      20.11       0.00      20.05       0.00       0.05
239.00/239.12	c   logicor          :       0.92       0.00       0.84       0.00       0.08
239.00/239.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00
239.00/239.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
239.00/239.12	c   vbounds          :       0.02          2          0          0
239.00/239.12	c   rootredcost      :       0.02          0          0          0
239.00/239.12	c   pseudoobj        :       1.52       4713          3         36
239.00/239.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
239.00/239.12	c   propagation      :       0.00         87         87        119        8.9          8        3.0          -
239.00/239.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
239.00/239.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
239.00/239.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
239.00/239.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
239.00/239.12	c   applied globally :          -          -          -        111        5.0          -          -          -
239.00/239.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
239.00/239.12	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
239.00/239.12	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
239.00/239.12	c   redcost          :       0.59        459          0      45329          0          0
239.00/239.12	c   impliedbounds    :       0.00          0          0          0          0          0
239.00/239.12	c   intobj           :       0.00          0          0          0          0          0
239.00/239.12	c   cgmip            :       0.00          0          0          0          0          0
239.00/239.12	c   gomory           :       0.00          0          0          0          0          0
239.00/239.12	c   strongcg         :       0.00          0          0          0          0          0
239.00/239.12	c   cmir             :       0.00          0          0          0          0          0
239.00/239.12	c   flowcover        :       0.00          0          0          0          0          0
239.00/239.12	c   clique           :       0.00          0          0          0          0          0
239.00/239.12	c   zerohalf         :       0.00          0          0          0          0          0
239.00/239.12	c   mcf              :       0.00          0          0          0          0          0
239.00/239.12	c   rapidlearning    :       0.00          0          0          0          0          0
239.00/239.12	c Pricers            :       Time      Calls       Vars
239.00/239.12	c   problem variables:       0.00          0          0
239.00/239.12	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
239.00/239.12	c   relpscost        :     128.91        582         11       1436          0          0        478
239.00/239.12	c   pscost           :       0.00          0          0          0          0          0          0
239.00/239.12	c   inference        :       0.02         10          0          0          0          0         20
239.00/239.12	c   mostinf          :       0.00          0          0          0          0          0          0
239.00/239.12	c   leastinf         :       0.00          0          0          0          0          0          0
239.00/239.12	c   fullstrong       :       0.00          0          0          0          0          0          0
239.00/239.12	c   allfullstrong    :       0.00          0          0          0          0          0          0
239.00/239.12	c   random           :       0.00          0          0          0          0          0          0
239.00/239.12	c Primal Heuristics  :       Time      Calls      Found
239.00/239.12	c   LP solutions     :       0.00          -          0
239.00/239.12	c   pseudo solutions :       0.00          -          0
239.00/239.12	c   crossover        :       0.00          0          0
239.00/239.12	c   feaspump         :       0.00          0          0
239.00/239.12	c   guideddiving     :       1.92          2          1
239.00/239.12	c   coefdiving       :       5.08          3          3
239.00/239.12	c   veclendiving     :       2.37          3          1
239.00/239.12	c   fracdiving       :       4.12          3          1
239.00/239.12	c   oneopt           :       0.44         37         18
239.00/239.12	c   objpscostdiving  :       2.63          2          2
239.00/239.12	c   rootsoldiving    :       0.94          2          1
239.00/239.12	c   trivial          :       0.03          2          0
239.00/239.12	c   simplerounding   :       0.00        136          0
239.00/239.12	c   zirounding       :       0.41        246          0
239.00/239.12	c   rounding         :       1.12        598          3
239.00/239.12	c   shifting         :       0.24         46          7
239.00/239.12	c   intshifting      :       0.00          0          0
239.00/239.12	c   twoopt           :       0.00          0          0
239.00/239.12	c   fixandinfer      :       0.00          0          0
239.00/239.12	c   pscostdiving     :      30.07          3          2
239.00/239.12	c   intdiving        :       0.00          0          0
239.00/239.12	c   actconsdiving    :       0.00          0          0
239.00/239.12	c   linesearchdiving :       1.68          3          2
239.00/239.12	c   octane           :       0.00          0          0
239.00/239.12	c   rens             :       0.00          0          0
239.00/239.12	c   rins             :       0.00          0          0
239.00/239.12	c   localbranching   :       0.00          0          0
239.00/239.12	c   mutation         :       0.00          0          0
239.00/239.12	c   dins             :       0.00          0          0
239.00/239.12	c   undercover       :       0.00          0          0
239.00/239.12	c   nlp              :       0.00          0          0
239.00/239.12	c   trysol           :       0.00          0          0
239.00/239.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
239.00/239.12	c   primal LP        :       0.00          0          0       0.00          -
239.00/239.12	c   dual LP          :      19.20        664      27922      42.05    1454.61
239.00/239.12	c   lex dual LP      :       0.00          0          0       0.00          -
239.00/239.12	c   barrier LP       :       0.00          0          0       0.00          -
239.00/239.12	c   diving/probing LP:      39.04       1351      57091      42.26    1462.33
239.00/239.12	c   strong branching :     128.76       4248      27277       6.42     211.85
239.00/239.12	c     (at root node) :          -          0          0       0.00          -
239.00/239.12	c   conflict analysis:       0.00          0          0       0.00          -
239.00/239.12	c B&B Tree           :
239.00/239.12	c   number of runs   :          1
239.00/239.12	c   nodes            :        377
239.00/239.12	c   nodes (total)    :        377
239.00/239.12	c   nodes left       :          0
239.00/239.12	c   max depth        :        104
239.00/239.12	c   max depth (total):        104
239.00/239.12	c   backtracks       :         68 (18.0%)
239.00/239.12	c   delayed cutoffs  :          3
239.00/239.12	c   repropagations   :        486 (133 domain reductions, 0 cutoffs)
239.00/239.12	c   avg switch length:       6.14
239.00/239.12	c   switching time   :       0.78
239.00/239.12	c Solution           :
239.00/239.12	c   Solutions found  :         41 (39 improvements)
239.00/239.12	c   First Solution   : +6.46237136000000e+10   (in run 1, after 6 nodes, 40.42 seconds, depth 150, found by <coefdiving>)
239.00/239.12	c   Primal Bound     : +2.78744030910000e+10   (in run 1, after 365 nodes, 234.48 seconds, depth 29, found by <rounding>)
239.00/239.12	c   Dual Bound       : +2.78744030910000e+10
239.00/239.12	c   Gap              :       0.00 %
239.00/239.12	c   Root Dual Bound  : +9.20815599100000e+09
239.00/239.12	c   Root Iterations  :       3086
239.10/239.28	c Time complete: 239.18.

Verifier Data

OK	27874403091

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30088
/proc/meminfo: memFree=1648224/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=7904 CPUtime=0
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 1036 0 0 0 0 0 0 0 22 0 1 0 26224847 8093696 948 1992294400 4194304 8395647 140734826557744 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30088/statm: 1976 957 365 1026 0 946 0

[startup+0.0129789 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30088
/proc/meminfo: memFree=1648224/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=8936 CPUtime=0
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 1336 0 0 0 0 0 0 0 22 0 1 0 26224847 9150464 1247 1992294400 4194304 8395647 140734826557744 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30088/statm: 2234 1258 374 1026 0 1204 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8936

[startup+0.100991 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30088
/proc/meminfo: memFree=1648224/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=16880 CPUtime=0.09
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 3540 0 0 0 9 0 0 0 22 0 1 0 26224847 17285120 3451 1992294400 4194304 8395647 140734826557744 18446744073709551615 4212754 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30088/statm: 4220 3451 393 1026 0 3190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16880

[startup+0.301025 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30088
/proc/meminfo: memFree=1648224/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=24520 CPUtime=0.29
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 5455 0 0 0 28 1 0 0 22 0 1 0 26224847 25108480 5366 1992294400 4194304 8395647 140734826557744 18446744073709551615 4327586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30088/statm: 6130 5366 393 1026 0 5100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24520

[startup+0.701094 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30088
/proc/meminfo: memFree=1648224/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=55528 CPUtime=0.69
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 13450 0 0 0 65 4 0 0 23 0 1 0 26224847 56860672 13007 1992294400 4194304 8395647 140734826557744 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 13882 13007 412 1026 0 12852 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55528

[startup+1.50123 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30089
/proc/meminfo: memFree=1582248/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=81692 CPUtime=1.49
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 20386 0 0 0 142 7 0 0 25 0 1 0 26224847 83652608 19188 1992294400 4194304 8395647 140734826557744 18446744073709551615 5093487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 20423 19188 486 1026 0 19393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81692

[startup+3.1005 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30089
/proc/meminfo: memFree=1572328/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=82184 CPUtime=3.09
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 20571 0 0 0 302 7 0 0 25 0 1 0 26224847 84156416 19373 1992294400 4194304 8395647 140734826557744 18446744073709551615 5604541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 20546 19373 498 1026 0 19516 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82184

[startup+6.30105 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30089
/proc/meminfo: memFree=1571088/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=82880 CPUtime=6.29
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 20745 0 0 0 621 8 0 0 25 0 1 0 26224847 84869120 19547 1992294400 4194304 8395647 140734826557744 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 20720 19547 498 1026 0 19690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82880

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30089
/proc/meminfo: memFree=1569848/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=84016 CPUtime=12.69
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 21062 0 0 0 1261 8 0 0 25 0 1 0 26224847 86032384 19864 1992294400 4194304 8395647 140734826557744 18446744073709551615 5217060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 21004 19864 504 1026 0 19974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84016

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 30089
/proc/meminfo: memFree=1568856/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=85148 CPUtime=25.48
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 21318 0 0 0 2540 8 0 0 25 0 1 0 26224847 87191552 20120 1992294400 4194304 8395647 140734826557744 18446744073709551615 4288144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 21287 20120 504 1026 0 20257 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85148

[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 30089
/proc/meminfo: memFree=1545296/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=109624 CPUtime=51.07
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 27506 0 0 0 5087 20 0 0 25 0 1 0 26224847 112254976 26102 1992294400 4194304 8395647 140734826557744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 27406 26102 600 1026 0 26376 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 109624

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 30091
/proc/meminfo: memFree=1543684/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=111128 CPUtime=102.25
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 27937 0 0 0 10174 51 0 0 25 0 1 0 26224847 113795072 26525 1992294400 4194304 8395647 140734826557744 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 27782 26525 598 1026 0 26752 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111128

[startup+162.301 s]
/proc/loadavg: 1.10 1.02 1.01 2/107 30093
/proc/meminfo: memFree=1542320/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=112484 CPUtime=162.23
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 28275 0 0 0 16154 69 0 0 25 0 1 0 26224847 115183616 26863 1992294400 4194304 8395647 140734826557744 18446744073709551615 6440989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 28121 26863 598 1026 0 27091 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 112484

[startup+222.301 s]
/proc/loadavg: 1.11 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1538600/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=116276 CPUtime=222.21
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 29205 0 0 0 22133 88 0 0 25 0 1 0 26224847 119066624 27793 1992294400 4194304 8395647 140734826557744 18446744073709551615 6723046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 29069 27793 598 1026 0 28039 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 116276

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

[startup+230.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1535624/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=119932 CPUtime=230.2
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 30063 0 0 0 22931 89 0 0 25 0 1 0 26224847 122810368 28644 1992294400 4194304 8395647 140734826557744 18446744073709551615 6723502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 29983 28644 600 1026 0 28953 0
Current children cumulated CPU time (s) 230.2
Current children cumulated vsize (KiB) 119932

[startup+233.501 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1534632/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=120064 CPUtime=233.4
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 30181 0 0 0 23250 90 0 0 25 0 1 0 26224847 122945536 28761 1992294400 4194304 8395647 140734826557744 18446744073709551615 6438917 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 30016 28761 599 1026 0 28986 0
Current children cumulated CPU time (s) 233.4
Current children cumulated vsize (KiB) 120064

[startup+236.7 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1534384/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=120372 CPUtime=236.6
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 30252 0 0 0 23569 91 0 0 25 0 1 0 26224847 123260928 28831 1992294400 4194304 8395647 140734826557744 18446744073709551615 7385678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 30093 28831 598 1026 0 29063 0
Current children cumulated CPU time (s) 236.6
Current children cumulated vsize (KiB) 120372

[startup+238.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1534384/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=120372 CPUtime=238.19
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 30254 0 0 0 23728 91 0 0 25 0 1 0 26224847 123260928 28833 1992294400 4194304 8395647 140734826557744 18446744073709551615 6723864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 30093 28833 598 1026 0 29063 0
Current children cumulated CPU time (s) 238.19
Current children cumulated vsize (KiB) 120372

[startup+238.709 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1534384/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=120372 CPUtime=238.6
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 30261 0 0 0 23769 91 0 0 25 0 1 0 26224847 123260928 28840 1992294400 4194304 8395647 140734826557744 18446744073709551615 6574820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30088/statm: 30093 28840 598 1026 0 29063 0
Current children cumulated CPU time (s) 238.6
Current children cumulated vsize (KiB) 120372

[startup+239.101 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1534384/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=120640 CPUtime=239
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 30312 0 0 0 23808 92 0 0 25 0 1 0 26224847 123535360 28891 1992294400 4194304 8395647 140734826557744 18446744073709551615 4601913 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30088/statm: 30160 28891 598 1026 0 29130 0
Current children cumulated CPU time (s) 239
Current children cumulated vsize (KiB) 120640

[startup+239.201 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 30095
/proc/meminfo: memFree=1534384/2059040 swapFree=4151252/4192956
[pid=30088] ppid=30086 vsize=120640 CPUtime=239.1
/proc/30088/stat : 30088 (pbscip.linux.x8) R 30086 30088 29670 0 -1 4202496 30319 0 0 0 23818 92 0 0 25 0 1 0 26224847 123535360 28898 1992294400 4194304 8395647 140734826557744 18446744073709551615 4720765 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30088/statm: 30160 28898 605 1026 0 29130 0
Current children cumulated CPU time (s) 239.1
Current children cumulated vsize (KiB) 120640

Child status: 0
Real time (s): 239.286
CPU time (s): 239.192
CPU user time (s): 238.256
CPU system time (s): 0.935857
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 120640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.256
system time used= 0.935857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 902

runsolver used 0.403938 second user time and 1.13883 second system time

The end

Launcher Data

Begin job on node025 at 2010-07-08 11:08:50
IDJOB=2704826
IDBENCH=72359
IDSOLVER=1213
FILE ID=node025/2704826-1278580130
PBS_JOBID= 11240097
Free space on /tmp= 62504 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704826-1278580130/watcher-2704826-1278580130 -o /tmp/evaluation-result-2704826-1278580130/solver-2704826-1278580130 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704826-1278580130.opb -t 1800 -m 1800

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

MD5SUM BENCH= fbe043df26f5b74d89609c6a75012446
RANDOM SEED=242463489

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1648752 kB
Buffers:         86340 kB
Cached:         224512 kB
SwapCached:       4972 kB
Active:         169964 kB
Inactive:       164384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1648752 kB
SwapTotal:     4192956 kB
SwapFree:      4151252 kB
Dirty:           11664 kB
Writeback:           0 kB
AnonPages:       18532 kB
Mapped:          12516 kB
Slab:            54080 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62496 MiB
End job on node025 at 2010-07-08 11:12:50