Trace number 4489471

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 2025-06-13SAT503 3589.01 3598.86

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark245
Best CPU time to get the best result obtained on this benchmark3587.61
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495457
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495457
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	503

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62980 MiB free)
  memory of node 1: 64465 MiB (63650 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489471-1751356676/watcher-4489471-1751356676 -o /tmp/evaluation-result-4489471-1751356676/solver-4489471-1751356676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751349476-60200 --watchdog 3760 pbsolver -f HOME/instance-4489471-1751356676.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=60979, runsolver pid=60976

[startup+0.100095 s]*
/proc/loadavg: 4.13 4.19 4.21 5/252 60980
/proc/meminfo: memFree=129650656/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=41920 memory=32000 CPUtime=0.1 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 6033 0 0 0 8 2 0 0 20 0 1 0 51346760 42926080 8000 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 10480 8000 2176 2575 0 7387 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 32000 KiB

[startup+0.209033 s]*
/proc/loadavg: 4.12 4.19 4.21 5/252 60980
/proc/meminfo: memFree=129638812/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=54512 memory=44288 CPUtime=0.2 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 9120 0 0 0 18 2 0 0 20 0 1 0 51346760 55820288 11072 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 13628 11072 2176 2575 0 10535 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54512 KiB
Current children cumulated memory: 44288 KiB

[startup+0.309603 s]*
/proc/loadavg: 4.12 4.19 4.21 5/252 60980
/proc/meminfo: memFree=129627004/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=67676 memory=56960 CPUtime=0.31 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 12284 0 0 0 27 4 0 0 20 0 1 0 51346760 69300224 14240 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 16919 14240 2176 2575 0 13826 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67676 KiB
Current children cumulated memory: 56960 KiB

[startup+0.700335 s]
/proc/loadavg: 4.12 4.19 4.21 5/252 60980
/proc/meminfo: memFree=129586684/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=127392 memory=116096 CPUtime=0.69 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 27049 0 0 0 61 8 0 0 20 0 1 0 51346760 130449408 28992 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 31848 29024 2176 2575 0 28755 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 127392 KiB
Current children cumulated memory: 116096 KiB

[startup+1.50034 s]
/proc/loadavg: 4.12 4.19 4.21 5/252 60980
/proc/meminfo: memFree=129450352/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=288448 memory=277360 CPUtime=1.49 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 64824 0 0 0 131 18 0 0 20 0 1 0 51346760 295370752 69340 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 72112 69340 2176 2575 0 69019 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 288448 KiB
Current children cumulated memory: 277360 KiB

[startup+3.11284 s]
/proc/loadavg: 4.12 4.19 4.21 5/252 60980
/proc/meminfo: memFree=128472032/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=829096 memory=816988 CPUtime=3.09 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 191871 0 0 0 270 39 0 0 20 0 1 0 51346760 848994304 204247 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 207354 204247 2400 2575 0 204261 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 829096 KiB
Current children cumulated memory: 816988 KiB

[startup+6.30036 s]
/proc/loadavg: 4.11 4.19 4.21 5/252 60980
/proc/meminfo: memFree=128375816/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=1056276 memory=1008900 CPUtime=6.27 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 213285 0 0 0 583 44 0 0 20 0 1 0 51346760 1081626624 252225 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 264069 252225 2432 2575 0 260976 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1056276 KiB
Current children cumulated memory: 1008900 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.18 4.21 5/252 60980
/proc/meminfo: memFree=127835652/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=1255488 memory=1238044 CPUtime=12.66 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 286898 0 0 0 1202 64 0 0 20 0 1 0 51346760 1285619712 309511 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 313872 309511 2528 2575 0 310779 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1255488 KiB
Current children cumulated memory: 1238044 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.18 4.21 5/251 60981
/proc/meminfo: memFree=125669472/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=3543292 memory=3270424 CPUtime=25.41 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 401286 0 0 0 2427 114 0 0 20 0 1 0 51346760 3628331008 817606 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 885823 817606 2624 2575 0 882730 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3543292 KiB
Current children cumulated memory: 3270424 KiB

[startup+51.1129 s]
/proc/loadavg: 4.10 4.17 4.20 5/251 60981
/proc/meminfo: memFree=125573712/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=3697904 memory=3410004 CPUtime=50.95 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 414398 0 0 0 4977 118 0 0 20 0 1 0 51346760 3786653696 852501 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 924476 852501 2688 2575 0 921383 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3697904 KiB
Current children cumulated memory: 3410004 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.19 5/251 60983
/proc/meminfo: memFree=125413912/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=3903696 memory=3531748 CPUtime=102.01 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 424747 0 0 0 10078 123 0 0 20 0 1 0 51346760 3997384704 882937 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 975924 882937 2688 2575 0 972831 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3903696 KiB
Current children cumulated memory: 3531748 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.19 5/251 60985
/proc/meminfo: memFree=125241656/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=3975548 memory=3542204 CPUtime=161.84 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 425351 0 0 0 16061 123 0 0 20 0 1 0 51346760 4070961152 885551 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 993887 885551 2688 2575 0 990794 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3975548 KiB
Current children cumulated memory: 3542204 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.18 5/252 61001
/proc/meminfo: memFree=125206348/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=4047404 memory=3552692 CPUtime=221.67 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 425932 0 0 0 22044 123 0 0 20 0 1 0 51346760 4144541696 888173 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1011851 888173 2688 2575 0 1008758 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 4047404 KiB
Current children cumulated memory: 3552692 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.18 5/252 61003
/proc/meminfo: memFree=125195268/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=4119256 memory=3562888 CPUtime=281.52 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 426580 0 0 0 28028 124 0 0 20 0 1 0 51346760 4218118144 890722 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1029814 890722 2688 2575 0 1026721 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 4119256 KiB
Current children cumulated memory: 3562888 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.18 5/251 61005
/proc/meminfo: memFree=125167044/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=4252704 memory=3583636 CPUtime=341.34 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 427147 0 0 0 34010 124 0 0 20 0 1 0 51346760 4354768896 895909 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1063176 895909 2688 2575 0 1060083 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 4252704 KiB
Current children cumulated memory: 3583636 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/252 61012
/proc/meminfo: memFree=125163872/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=4317176 memory=3583636 CPUtime=401.18 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 427153 0 0 0 39994 124 0 0 20 0 1 0 51346760 4420788224 895909 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1079294 895909 2688 2575 0 1076201 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 4317176 KiB
Current children cumulated memory: 3583636 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.15 4.18 5/251 61014
/proc/meminfo: memFree=125155016/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=4394244 memory=3591588 CPUtime=461.03 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 428264 0 0 0 45978 125 0 0 20 0 1 0 51346760 4499705856 897897 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1098561 897897 2688 2575 0 1095468 0
Current children cumulated CPU time: 461.03 s

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

/proc/loadavg: 4.08 4.11 4.15 5/249 61134
/proc/meminfo: memFree=124086440/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6692052 memory=4488748 CPUtime=3153.59 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 628862 0 0 0 315191 168 0 0 20 0 1 0 51346760 6852661248 1122187 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1673013 1122187 2688 2575 0 1669920 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 6692052 KiB
Current children cumulated memory: 4488748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/250 61140
/proc/meminfo: memFree=123943684/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6774956 memory=4448464 CPUtime=3213.44 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 655862 0 0 0 321171 173 0 0 20 0 1 0 51346760 6937554944 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1693739 1112116 2688 2575 0 1690646 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 6774956 KiB
Current children cumulated memory: 4448464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.12 4.15 5/250 61142
/proc/meminfo: memFree=124120184/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6774956 memory=4448464 CPUtime=3273.28 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 655886 0 0 0 327155 173 0 0 20 0 1 0 51346760 6937554944 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1693739 1112116 2688 2575 0 1690646 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 6774956 KiB
Current children cumulated memory: 4448464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/250 61144
/proc/meminfo: memFree=124115672/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3333.12 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 656411 0 0 0 333139 173 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/250 61150
/proc/meminfo: memFree=124107512/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3392.96 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 656440 0 0 0 339123 173 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/250 61152
/proc/meminfo: memFree=124100076/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3452.81 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 656666 0 0 0 345107 174 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/249 61154
/proc/meminfo: memFree=124098516/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3512.65 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 657114 0 0 0 351091 174 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/249 61156
/proc/meminfo: memFree=124094232/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3572.5 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 657124 0 0 0 357076 174 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3598.86 s]
# the end of solver process 60979 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3587.21 s, system=1.79965 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.10 4.12 4.14 5/249 61156
/proc/meminfo: memFree=124094500/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3574.21 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 657124 0 0 0 357247 174 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3574.21 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.14 5/249 61156
/proc/meminfo: memFree=124094500/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3580.58 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 657124 0 0 0 357884 174 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3580.58 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.14 5/249 61156
/proc/meminfo: memFree=124094500/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3583.77 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 657124 0 0 0 358203 174 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3583.77 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.11 4.14 5/249 61156
/proc/meminfo: memFree=124094752/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3586.96 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 657124 0 0 0 358522 174 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3597.6 s]
/proc/loadavg: 4.08 4.11 4.14 2/237 61180
/proc/meminfo: memFree=125156952/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3587.75 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 658385 0 0 0 358600 175 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3598.4 s]
/proc/loadavg: 4.08 4.11 4.14 4/243 61198
/proc/meminfo: memFree=125159284/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6836556 memory=4448464 CPUtime=3588.53 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 658410 0 0 0 358678 175 0 0 20 0 1 0 51346760 7000633344 1112116 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1709139 1112116 2688 2575 0 1706046 0
Current children cumulated CPU time: 3588.53 s
Current children cumulated vsize: 6836556 KiB
Current children cumulated memory: 4448464 KiB

[startup+3598.8 s]
/proc/loadavg: 4.08 4.11 4.14 4/243 61198
/proc/meminfo: memFree=125159284/131382112 swapFree=33010684/33010684
[pid=60979] ppid=60976 vsize=6529144 memory=4157456 CPUtime=3588.94 cores=5,7
/proc/60979/stat : 60979 (pbsolver) R 60976 60979 60187 0 -1 4194304 658420 0 0 0 358717 177 0 0 20 0 1 0 51346760 6685843456 1039804 18446744073709551615 4198400 14743177 140731165839264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 38281216 140731165845898 140731165845994 140731165845994 140731165851596 0
/proc/60979/statm: 1632061 1039804 2688 2575 0 1628968 0
Current children cumulated CPU time: 3588.94 s
Current children cumulated vsize: 6529144 KiB
Current children cumulated memory: 4157456 KiB

Child status: 0

Real time (s): 3598.86
CPU time (s): 3589.01
CPU user time (s): 3587.21
CPU system time (s): 1.79965
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 6965052
Max. memory (cumulated for all children) (KiB): 4633860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.21
system time used= 1.79966
maximum resident set size= 4633860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658478
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= 79
involuntary context switches= 1215


# summary of solver processes directly reported to runsolver:
#   pid: 60979
#   total CPU time (s): 3589.01
#   total CPU user time (s): 3587.21
#   total CPU system time (s): 1.79965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1039 second user time and 32.9396 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-01 09:57:56
IDJOB=4489471
IDBENCH=147551
IDSOLVER=3366
FILE ID=nodeC007/4489471-1751356676
RUNJOBID= nodeC007-1751349476-60200
SLURM_JOB_ID= 9598128
Free space on /tmp= 432956 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489471-1751356676/watcher-4489471-1751356676 -o /tmp/evaluation-result-4489471-1751356676/solver-4489471-1751356676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751349476-60200 --watchdog 3760  pbsolver -f HOME/instance-4489471-1751356676.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=89698847

nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1596.298
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1296.967
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.522
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.494
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.198
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.269
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.678
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1895.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129670628 kB
MemAvailable:   129933476 kB
Buffers:            3280 kB
Cached:          1069416 kB
SwapCached:            0 kB
Active:           351404 kB
Inactive:         822896 kB
Active(anon):     119568 kB
Inactive(anon):        0 kB
Active(file):     231836 kB
Inactive(file):   822896 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             76992 kB
Writeback:             0 kB
AnonPages:        105092 kB
Mapped:           134160 kB
Shmem:             17960 kB
KReclaimable:      95484 kB
Slab:             179072 kB
SReclaimable:      95484 kB
SUnreclaim:        83588 kB
KernelStack:        4064 kB
PageTables:         3200 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     459452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC007 at 2025-07-01 10:57:55