Trace number 3731331

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT-10449 1793.26 1793.55

General information on the benchmark

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

Verifier Data

OK	-10449

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 24019
/proc/meminfo: memFree=23826288/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=8180 CPUtime=0 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 1322 0 0 0 0 0 0 0 20 0 1 0 334793747 8376320 1275 33554432000 4194304 7823515 140736700005008 140736614027000 4402248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 2045 1287 335 887 0 1155 0

[startup+0.0177131 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 24019
/proc/meminfo: memFree=23826288/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=11540 CPUtime=0.01 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 2230 0 0 0 1 0 0 0 20 0 1 0 334793747 11816960 2182 33554432000 4194304 7823515 140736700005008 140736614027000 4363784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 2885 2182 354 887 0 1995 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11540

[startup+0.100225 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 24019
/proc/meminfo: memFree=23826288/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=20972 CPUtime=0.09 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 4586 0 0 0 9 0 0 0 20 0 1 0 334793747 21475328 4538 33554432000 4194304 7823515 140736700005008 140736614027000 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 5243 4538 354 887 0 4353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20972

[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 24019
/proc/meminfo: memFree=23826288/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=62732 CPUtime=0.29 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 15063 0 0 0 27 2 0 0 20 0 1 0 334793747 64237568 14662 33554432000 4194304 7823515 140736700005008 140736700001944 5878822 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 15683 14695 429 887 0 14793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62732

[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 24019
/proc/meminfo: memFree=23826288/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=74436 CPUtime=0.68 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 18227 0 0 0 65 3 0 0 20 0 1 0 334793747 76222464 17740 33554432000 4194304 7823515 140736700005008 140736700002632 4805057 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 18609 17740 460 887 0 17719 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74436

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23754220/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=80584 CPUtime=1.49 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 19734 0 0 0 145 4 0 0 20 0 1 0 334793747 82518016 19247 33554432000 4194304 7823515 140736700005008 140736700001688 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 20146 19247 461 887 0 19256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80584

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23748136/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=90812 CPUtime=3.08 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 22188 0 0 0 303 5 0 0 20 0 1 0 334793747 92991488 21701 33554432000 4194304 7823515 140736700005008 140736700001704 4237760 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 22703 21701 461 887 0 21813 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 90812

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23725824/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=112440 CPUtime=6.28 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 27422 0 0 0 621 7 0 0 20 0 1 0 334793747 115138560 26935 33554432000 4194304 7823515 140736700005008 140736700001704 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 28110 26935 465 887 0 27220 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 112440

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23690592/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=144308 CPUtime=12.69 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 35377 0 0 0 1258 11 0 0 20 0 1 0 334793747 147771392 34890 33554432000 4194304 7823515 140736700005008 140736700001688 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 36077 34890 466 887 0 35187 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144308

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23663808/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=169688 CPUtime=25.49 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 41646 0 0 0 2528 21 0 0 20 0 1 0 334793747 173760512 41159 33554432000 4194304 7823515 140736700005008 140736700001688 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 42422 41159 466 887 0 41532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 169688

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23627532/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=205292 CPUtime=51.08 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 51190 0 0 0 5080 28 0 0 20 0 1 0 334793747 210219008 49128 33554432000 4194304 7823515 140736700005008 140736700000808 5924524 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24019/statm: 51323 49128 532 887 0 50433 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 205292

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23621004/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=207824 CPUtime=102.27 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 52147 0 0 0 10195 32 0 0 20 0 1 0 334793747 212811776 50331 33554432000 4194304 7823515 140736700005008 140736700000760 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 51956 50331 532 887 0 51066 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 207824

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24020
/proc/meminfo: memFree=23615092/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=207824 CPUtime=162.26 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 52153 0 0 0 16190 36 0 0 20 0 1 0 334793747 212811776 51034 33554432000 4194304 7823515 140736700005008 140736699999672 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 51956 51034 532 887 0 51066 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 207824

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24021
/proc/meminfo: memFree=23610372/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=207824 CPUtime=222.25 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 52163 0 0 0 22186 39 0 0 20 0 1 0 334793747 212811776 51044 33554432000 4194304 7823515 140736700005008 140736699999688 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 51956 51044 542 887 0 51066 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 207824

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24021
/proc/meminfo: memFree=23606836/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=211724 CPUtime=282.24 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 52478 0 0 0 28182 42 0 0 20 0 1 0 334793747 216805376 51870 33554432000 4194304 7823515 140736700005008 140736699999688 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 52931 51870 542 887 0 52041 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 211724

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24021
/proc/meminfo: memFree=23605156/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=211724 CPUtime=342.23 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 52506 0 0 0 34178 45 0 0 20 0 1 0 334793747 216805376 51934 33554432000 4194304 7823515 140736700005008 140736699999768 6208932 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 52931 51934 542 887 0 52041 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 211724

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 24024
/proc/meminfo: memFree=23552560/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=263668 CPUtime=402.22 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 63430 0 0 0 40154 68 0 0 20 0 1 0 334793747 269996032 63849 33554432000 4194304 7823515 140736700005008 140736700000344 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 65917 63849 572 887 0 65027 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 263668

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24024
/proc/meminfo: memFree=23549220/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=265908 CPUtime=462.21 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 78408 0 0 0 46140 81 0 0 20 0 1 0 334793747 272289792 64158 33554432000 4194304 7823515 140736700005008 140736699999704 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 66477 64158 578 887 0 65587 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 265908

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24025
/proc/meminfo: memFree=23543304/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=265908 CPUtime=522.2 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 78469 0 0 0 52132 88 0 0 20 0 1 0 334793747 272289792 64463 33554432000 4194304 7823515 140736700005008 140736699999704 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 66477 64463 578 887 0 65587 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 265908

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24025
/proc/meminfo: memFree=23537944/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=265908 CPUtime=582.18 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 78655 0 0 0 58126 92 0 0 20 0 1 0 334793747 272289792 65314 33554432000 4194304 7823515 140736700005008 140736700000936 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 66477 65314 578 887 0 65587 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 265908

[startup+642.3 s]

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

/proc/meminfo: memFree=23513236/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=271464 CPUtime=1062.11 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 79830 0 0 0 106075 136 0 0 20 0 1 0 334793747 277979136 66709 33554432000 4194304 7823515 140736700005008 140736700000168 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 67866 66709 583 887 0 66976 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 271464

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/175 24031
/proc/meminfo: memFree=23510444/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=271464 CPUtime=1122.11 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 79830 0 0 0 112069 142 0 0 20 0 1 0 334793747 277979136 66709 33554432000 4194304 7823515 140736700005008 140736700000696 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 67866 66709 583 887 0 66976 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 271464

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/175 24031
/proc/meminfo: memFree=23508956/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=271464 CPUtime=1182.09 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 79830 0 0 0 118062 147 0 0 20 0 1 0 334793747 277979136 66709 33554432000 4194304 7823515 140736700005008 140736699999704 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 67866 66709 583 887 0 66976 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 271464

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 24070
/proc/meminfo: memFree=23592180/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=271464 CPUtime=1242.08 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 79830 0 0 0 124056 152 0 0 20 0 1 0 334793747 277979136 66709 33554432000 4194304 7823515 140736700005008 140736700000344 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 67866 66709 583 887 0 66976 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 271464

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 24070
/proc/meminfo: memFree=23586956/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=274036 CPUtime=1302.08 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 80504 0 0 0 130049 159 0 0 20 0 1 0 334793747 280612864 67367 33554432000 4194304 7823515 140736700005008 140736700001128 6208682 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68509 67367 583 887 0 67619 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 274036

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 24070
/proc/meminfo: memFree=23587824/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=274036 CPUtime=1362.07 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 80504 0 0 0 136045 162 0 0 20 0 1 0 334793747 280612864 67367 33554432000 4194304 7823515 140736700005008 140736700000968 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68509 67367 583 887 0 67619 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 274036

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24071
/proc/meminfo: memFree=23584724/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=274036 CPUtime=1422.07 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 80504 0 0 0 142042 165 0 0 20 0 1 0 334793747 280612864 67367 33554432000 4194304 7823515 140736700005008 140736700000840 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68509 67367 583 887 0 67619 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 274036

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24071
/proc/meminfo: memFree=23586460/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1482.05 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82819 0 0 0 148036 169 0 0 20 0 1 0 334793747 279904256 67003 33554432000 4194304 7823515 140736700005008 140736700000168 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67003 584 887 0 67446 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 273344

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24071
/proc/meminfo: memFree=23583980/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1542.04 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82821 0 0 0 154028 176 0 0 20 0 1 0 334793747 279904256 67005 33554432000 4194304 7823515 140736700005008 140736700001192 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67005 584 887 0 67446 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 273344

[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 24074
/proc/meminfo: memFree=23586380/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1602.03 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82953 0 0 0 160021 182 0 0 20 0 1 0 334793747 279904256 67134 33554432000 4194304 7823515 140736700005008 140736699999704 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67134 584 887 0 67446 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 273344

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 24074
/proc/meminfo: memFree=23584960/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1662.02 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82953 0 0 0 166015 187 0 0 20 0 1 0 334793747 279904256 67134 33554432000 4194304 7823515 140736700005008 140736700000936 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67134 584 887 0 67446 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 273344

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23584960/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1722.01 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82953 0 0 0 172006 195 0 0 20 0 1 0 334793747 279904256 67134 33554432000 4194304 7823515 140736700005008 140736700000344 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67134 584 887 0 67446 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 273344

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23584216/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1782.01 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82954 0 0 0 178001 200 0 0 20 0 1 0 334793747 279904256 67135 33554432000 4194304 7823515 140736700005008 140736700000648 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67135 585 887 0 67446 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 273344

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23584340/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1785.2 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82954 0 0 0 178320 200 0 0 20 0 1 0 334793747 279904256 67135 33554432000 4194304 7823515 140736700005008 140736700000648 6208892 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67135 585 887 0 67446 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 273344

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23584340/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1788.4 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82954 0 0 0 178640 200 0 0 20 0 1 0 334793747 279904256 67135 33554432000 4194304 7823515 140736700005008 140736700000648 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67135 585 887 0 67446 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 273344

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23583968/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1791.61 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82954 0 0 0 178960 201 0 0 20 0 1 0 334793747 279904256 67135 33554432000 4194304 7823515 140736700005008 140736700000456 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67135 585 887 0 67446 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 273344

[startup+1792.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23583968/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1792.4 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82954 0 0 0 179039 201 0 0 20 0 1 0 334793747 279904256 67135 33554432000 4194304 7823515 140736700005008 140736700000920 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67135 585 887 0 67446 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (KiB) 273344

[startup+1793.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23583968/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=273344 CPUtime=1792.8 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82954 0 0 0 179079 201 0 0 20 0 1 0 334793747 279904256 67135 33554432000 4194304 7823515 140736700005008 140736700000920 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 68336 67135 585 887 0 67446 0
Current children cumulated CPU time (s) 1792.8
Current children cumulated vsize (KiB) 273344

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24075
/proc/meminfo: memFree=23583968/32873844 swapFree=7112/7112
[pid=24019] ppid=24017 vsize=261632 CPUtime=1793.2 cores=0,2,4,6
/proc/24019/stat : 24019 (pbscip.linux.x8) R 24017 24019 13043 0 -1 4202496 82956 0 0 0 179119 201 0 0 20 0 1 0 334793747 267911168 64333 33554432000 4194304 7823515 140736700005008 140736700000520 4237246 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24019/statm: 65408 64333 587 887 0 64518 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 261632

Child status: 0
Real time (s): 1793.55
CPU time (s): 1793.26
CPU user time (s): 1791.25
CPU system time (s): 2.01369
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 297020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.25
system time used= 2.01369
maximum resident set size= 300260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82959
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= 33
involuntary context switches= 3694

runsolver used 2.79557 second user time and 6.99094 second system time

The end

Launcher Data

Begin job on node104 at 2012-06-03 03:24:12
IDJOB=3731331
IDBENCH=1875
IDSOLVER=2321
FILE ID=node104/3731331-1338686652
RUNJOBID= node104-1338679216-21695
PBS_JOBID= 14636709
Free space on /tmp= 66424 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731331-1338686652/watcher-3731331-1338686652 -o /tmp/evaluation-result-3731331-1338686652/solver-3731331-1338686652 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731331-1338686652.opb

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=1208472247

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23826668 kB
Buffers:          551368 kB
Cached:          7429356 kB
SwapCached:          708 kB
Active:          4827656 kB
Inactive:        3213436 kB
Active(anon):      52176 kB
Inactive(anon):     8092 kB
Active(file):    4775480 kB
Inactive(file):  3205344 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:             10908 kB
Writeback:             0 kB
AnonPages:        240280 kB
Mapped:            16412 kB
Shmem:                 8 kB
Slab:             864612 kB
SReclaimable:     306964 kB
SUnreclaim:       557648 kB
KernelStack:        1456 kB
PageTables:         3792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     165948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66412 MiB
End job on node104 at 2012-06-03 03:54:06