Trace number 3452674

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4OPT-10859 862.831 862.824

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

Verifier Data

OK	-10859

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3452674-1307075816/watcher-3452674-1307075816 -o /tmp/evaluation-result-3452674-1307075816/solver-3452674-1307075816 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452674-1307075816.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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 2.00 2/535 15929
/proc/meminfo: memFree=29066832/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/15929/stat : 15929 (runsolver) R 15927 15929 13256 0 -1 4202560 43 0 0 0 0 0 0 0 23 0 1 0 819179585 12079104 50 33554432000 4194304 5432328 140735363181408 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/15929/statm: 2949 50 31 303 0 2643 0

[startup+0.0455141 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 15929
/proc/meminfo: memFree=29066832/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=18640 CPUtime=0.02 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 3645 0 0 0 2 0 0 0 23 0 1 0 819179585 19087360 3598 33554432000 4194304 9128323 140735234394336 18446744073709551615 7998166 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15929/statm: 4660 3599 400 1205 0 3451 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18640

[startup+0.100492 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 15929
/proc/meminfo: memFree=29066832/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=21788 CPUtime=0.08 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 4432 0 0 0 8 0 0 0 23 0 1 0 819179585 22310912 4384 33554432000 4194304 9128323 140735234394336 18446744073709551615 7961707 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15929/statm: 5447 4384 400 1205 0 4238 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21788

[startup+0.300471 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 15929
/proc/meminfo: memFree=29066832/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=67668 CPUtime=0.28 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 15693 0 0 0 27 1 0 0 24 0 1 0 819179585 69292032 15386 33554432000 4194304 9128323 140735234394336 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 16917 15411 506 1205 0 15708 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 67668

[startup+0.700392 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 15929
/proc/meminfo: memFree=29066832/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=82168 CPUtime=0.68 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 20099 0 0 0 66 2 0 0 25 0 1 0 819179585 84140032 19285 33554432000 4194304 9128323 140735234394336 18446744073709551615 5206559 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 20542 19285 567 1205 0 19333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 82168

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 15930
/proc/meminfo: memFree=28988952/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=86844 CPUtime=1.48 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 21185 0 0 0 146 2 0 0 25 0 1 0 819179585 88928256 20371 33554432000 4194304 9128323 140735234394336 18446744073709551615 5489920 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 21711 20371 567 1205 0 20502 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86844

[startup+3.10097 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 15930
/proc/meminfo: memFree=28981580/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=98012 CPUtime=3.08 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 23972 0 0 0 306 2 0 0 25 0 1 0 819179585 100364288 23158 33554432000 4194304 9128323 140735234394336 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 24503 23158 567 1205 0 23294 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 98012

[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 15930
/proc/meminfo: memFree=28957532/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=121424 CPUtime=6.28 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 29599 0 0 0 625 3 0 0 25 0 1 0 819179585 124338176 28785 33554432000 4194304 9128323 140735234394336 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 30356 28785 571 1205 0 29147 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 121424

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 15930
/proc/meminfo: memFree=28920192/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=151852 CPUtime=12.68 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 37238 0 0 0 1263 5 0 0 25 0 1 0 819179585 155496448 36424 33554432000 4194304 9128323 140735234394336 18446744073709551615 4352218 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 37963 36424 571 1205 0 36754 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151852

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 15931
/proc/meminfo: memFree=28896844/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=177724 CPUtime=25.48 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 43563 0 0 0 2542 6 0 0 25 0 1 0 819179585 181989376 42749 33554432000 4194304 9128323 140735234394336 18446744073709551615 5267742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 44431 42749 571 1205 0 43222 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 177724

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 15931
/proc/meminfo: memFree=28851980/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=224960 CPUtime=51.08 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 56055 0 0 0 5090 18 0 0 25 0 1 0 819179585 230359040 53689 33554432000 4194304 9128323 140735234394336 18446744073709551615 7326029 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 56240 53689 670 1205 0 55031 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 224960

[startup+102.32 s]
/proc/loadavg: 2.15 2.03 2.01 3/536 15933
/proc/meminfo: memFree=28851716/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=224960 CPUtime=102.3 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 56055 0 0 0 10191 39 0 0 25 0 1 0 819179585 230359040 53689 33554432000 4194304 9128323 140735234394336 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 56240 53689 670 1205 0 55031 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 224960

[startup+162.301 s]
/proc/loadavg: 2.19 2.06 2.02 3/536 15934
/proc/meminfo: memFree=28849452/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=223320 CPUtime=162.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 57524 0 0 0 16163 66 0 0 25 0 1 0 819179585 228679680 54035 33554432000 4194304 9128323 140735234394336 18446744073709551615 7325260 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 55830 54035 693 1205 0 54621 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 223320

[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 15936
/proc/meminfo: memFree=28849780/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=223320 CPUtime=222.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 57537 0 0 0 22135 94 0 0 25 0 1 0 819179585 228679680 54036 33554432000 4194304 9128323 140735234394336 18446744073709551615 7179674 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 55830 54036 682 1205 0 54621 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 223320

[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 15937
/proc/meminfo: memFree=28798008/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=276200 CPUtime=282.28 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 81742 0 0 0 28092 136 0 0 25 0 1 0 819179585 282828800 67097 33554432000 4194304 9128323 140735234394336 18446744073709551615 7279229 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 69050 67097 737 1205 0 67841 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 276200

[startup+342.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 15939
/proc/meminfo: memFree=28797832/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=276200 CPUtime=342.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 81749 0 0 0 34052 177 0 0 25 0 1 0 819179585 282828800 67104 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 69050 67104 744 1205 0 67841 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 276200

[startup+402.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 15941
/proc/meminfo: memFree=28797416/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=276200 CPUtime=402.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 81749 0 0 0 40004 225 0 0 25 0 1 0 819179585 282828800 67104 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 69050 67104 744 1205 0 67841 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 276200

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 15942
/proc/meminfo: memFree=28797884/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=276200 CPUtime=462.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 81750 0 0 0 45962 267 0 0 25 0 1 0 819179585 282828800 67105 33554432000 4194304 9128323 140735234394336 18446744073709551615 7358921 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 69050 67105 745 1205 0 67841 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 276200

[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 15944
/proc/meminfo: memFree=28796736/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=278036 CPUtime=522.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 82200 0 0 0 51936 293 0 0 25 0 1 0 819179585 284708864 67552 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 69509 67552 746 1205 0 68300 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 278036

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15946
/proc/meminfo: memFree=28792740/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=282676 CPUtime=582.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 83341 0 0 0 57902 327 0 0 25 0 1 0 819179585 289460224 68693 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 70669 68693 746 1205 0 69460 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 282676

[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15947
/proc/meminfo: memFree=28789372/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=285212 CPUtime=642.31 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 83976 0 0 0 63866 365 0 0 25 0 1 0 819179585 292057088 69328 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 71303 69328 747 1205 0 70094 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 285212

[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15949
/proc/meminfo: memFree=28781632/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=293852 CPUtime=702.29 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 111392 0 0 0 69823 406 0 0 25 0 1 0 819179585 300904448 71449 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 73463 71449 749 1205 0 72254 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 293852

[startup+762.32 s]
/proc/loadavg: 2.03 2.02 2.00 3/536 15950
/proc/meminfo: memFree=28775408/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=300400 CPUtime=762.32 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 112858 0 0 0 75787 445 0 0 25 0 1 0 819179585 307609600 72915 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 75100 72915 749 1205 0 73891 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 300400

[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/536 15952
/proc/meminfo: memFree=28770052/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=304312 CPUtime=822.3 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 126743 0 0 0 81747 483 0 0 25 0 1 0 819179585 311615488 74108 33554432000 4194304 9128323 140735234394336 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76078 74108 749 1205 0 74869 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 304312

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

[startup+844.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 15953
/proc/meminfo: memFree=28768428/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=306096 CPUtime=844.71 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127190 0 0 0 83975 496 0 0 25 0 1 0 819179585 313442304 74555 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76524 74555 749 1205 0 75315 0
Current children cumulated CPU time (s) 844.71
Current children cumulated vsize (KiB) 306096

[startup+851.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15953
/proc/meminfo: memFree=28766812/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=307712 CPUtime=851.1 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127594 0 0 0 84611 499 0 0 25 0 1 0 819179585 315097088 74959 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76928 74959 749 1205 0 75719 0
Current children cumulated CPU time (s) 851.1
Current children cumulated vsize (KiB) 307712

[startup+857.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15953
/proc/meminfo: memFree=28766316/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=307712 CPUtime=857.5 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127604 0 0 0 85246 504 0 0 25 0 1 0 819179585 315097088 74969 33554432000 4194304 9128323 140735234394336 18446744073709551615 7356381 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76928 74969 750 1205 0 75719 0
Current children cumulated CPU time (s) 857.5
Current children cumulated vsize (KiB) 307712

[startup+860.7 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 15953
/proc/meminfo: memFree=28766808/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=307712 CPUtime=860.7 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127604 0 0 0 85563 507 0 0 25 0 1 0 819179585 315097088 74969 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76928 74969 750 1205 0 75719 0
Current children cumulated CPU time (s) 860.7
Current children cumulated vsize (KiB) 307712

[startup+861.5 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 15953
/proc/meminfo: memFree=28766808/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=307712 CPUtime=861.5 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127604 0 0 0 85643 507 0 0 25 0 1 0 819179585 315097088 74969 33554432000 4194304 9128323 140735234394336 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76928 74969 750 1205 0 75719 0
Current children cumulated CPU time (s) 861.5
Current children cumulated vsize (KiB) 307712

[startup+862.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 15953
/proc/meminfo: memFree=28766808/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=307712 CPUtime=862.31 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127604 0 0 0 85723 508 0 0 25 0 1 0 819179585 315097088 74969 33554432000 4194304 9128323 140735234394336 18446744073709551615 7346454 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76928 74969 750 1205 0 75719 0
Current children cumulated CPU time (s) 862.31
Current children cumulated vsize (KiB) 307712

[startup+862.701 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 15953
/proc/meminfo: memFree=28766808/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=307712 CPUtime=862.7 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127604 0 0 0 85762 508 0 0 25 0 1 0 819179585 315097088 74969 33554432000 4194304 9128323 140735234394336 18446744073709551615 6650498 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15929/statm: 76928 74969 750 1205 0 75719 0
Current children cumulated CPU time (s) 862.7
Current children cumulated vsize (KiB) 307712

[startup+862.801 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 15953
/proc/meminfo: memFree=28766808/32951124 swapFree=58212616/67111528
[pid=15929] ppid=15927 vsize=286500 CPUtime=862.8 cores=1,3,5,7
/proc/15929/stat : 15929 (scip-2.0.1.4.li) R 15927 15929 13256 0 -1 4202496 127607 0 0 0 85772 508 0 0 25 0 1 0 819179585 293376000 69832 33554432000 4194304 9128323 140735234394336 18446744073709551615 8062775 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15929/statm: 71625 69832 753 1205 0 70416 0
Current children cumulated CPU time (s) 862.8
Current children cumulated vsize (KiB) 286500

Child status: 0
Real time (s): 862.824
CPU time (s): 862.831
CPU user time (s): 857.734
CPU system time (s): 5.09723
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 349028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 857.734
system time used= 5.09722
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127609
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= 13
involuntary context switches= 1290

runsolver used 4.21336 second user time and 10.7084 second system time

The end

Launcher Data

Begin job on node136 at 2011-06-03 06:36:56
IDJOB=3452674
IDBENCH=1875
IDSOLVER=1949
FILE ID=node136/3452674-1307075816
RUNJOBID= node136-1307066701-14232
PBS_JOBID= 13497850
Free space on /tmp= 73820 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452674-1307075816/watcher-3452674-1307075816 -o /tmp/evaluation-result-3452674-1307075816/solver-3452674-1307075816 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452674-1307075816.opb -t 1800 -m 15500

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=539383114

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29066988 kB
Buffers:        242492 kB
Cached:         446864 kB
SwapCached:       7704 kB
Active:        3253624 kB
Inactive:       336580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29066988 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:           13260 kB
Writeback:           0 kB
AnonPages:     2899228 kB
Mapped:          27696 kB
Slab:           154468 kB
PageTables:      68600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 169317648 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73808 MiB
End job on node136 at 2011-06-03 06:51:19