Trace number 4489609

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-13SAT285 3582.28 3599.38

General information on the benchmark

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

Verifier Data 

OK	285

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: 63708 MiB (63019 MiB free)
  memory of node 1: 64465 MiB (63928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489609-1751358421/watcher-4489609-1751358421 -o /tmp/evaluation-result-4489609-1751358421/solver-4489609-1751358421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751358421-46419 --watchdog 3760 pbsolver -f HOME/instance-4489609-1751358421.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
solver pid=46473, runsolver pid=46457
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 3.43 3.96 4.04 6/264 46475
/proc/meminfo: memFree=129852596/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=63076 memory=52352 CPUtime=0.09 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 11135 0 0 0 8 1 0 0 20 0 1 0 51519687 64589824 13088 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 15769 13088 2176 2575 0 12676 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63076 KiB
Current children cumulated memory: 52352 KiB

[startup+0.205707 s]*
/proc/loadavg: 3.43 3.96 4.04 6/264 46475
/proc/meminfo: memFree=129723572/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=93444 memory=82688 CPUtime=0.2 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 18715 0 0 0 18 2 0 0 20 0 1 0 51519687 95686656 20672 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 23361 20672 2176 2575 0 20268 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93444 KiB
Current children cumulated memory: 82688 KiB

[startup+0.305603 s]*
/proc/loadavg: 3.43 3.96 4.04 6/264 46475
/proc/meminfo: memFree=129602612/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=120532 memory=109824 CPUtime=0.3 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 25493 0 0 0 27 3 0 0 20 0 1 0 51519687 123424768 27456 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 30133 27456 2176 2575 0 27040 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 120532 KiB
Current children cumulated memory: 109824 KiB

[startup+0.700164 s]
/proc/loadavg: 3.43 3.96 4.04 6/264 46475
/proc/meminfo: memFree=129382496/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=232196 memory=221008 CPUtime=0.69 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 52799 0 0 0 62 7 0 0 20 0 1 0 51519687 237768704 55252 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 58049 55252 2176 2575 0 54956 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 232196 KiB
Current children cumulated memory: 221008 KiB

[startup+1.50016 s]
/proc/loadavg: 3.43 3.96 4.04 6/264 46475
/proc/meminfo: memFree=128836912/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=539140 memory=528228 CPUtime=1.49 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 126884 0 0 0 128 21 0 0 20 0 1 0 51519687 552079360 132057 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 134785 132057 2368 2575 0 131692 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 539140 KiB
Current children cumulated memory: 528228 KiB

[startup+3.10545 s]
/proc/loadavg: 3.48 3.96 4.04 6/264 46475
/proc/meminfo: memFree=126759840/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=840028 memory=827660 CPUtime=3.09 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 193535 0 0 0 277 32 0 0 20 0 1 0 51519687 860188672 206915 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 210007 206915 2400 2575 0 206914 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 840028 KiB
Current children cumulated memory: 827660 KiB

[startup+6.30016 s]
/proc/loadavg: 3.48 3.96 4.04 6/264 46475
/proc/meminfo: memFree=125526060/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=1256616 memory=1220120 CPUtime=6.27 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 226206 0 0 0 581 46 0 0 20 0 1 0 51519687 1286774784 305030 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 314154 305030 2496 2575 0 311061 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1256616 KiB
Current children cumulated memory: 1220120 KiB

[startup+12.7002 s]
/proc/loadavg: 3.63 3.98 4.05 7/264 46475
/proc/meminfo: memFree=124307268/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=1255488 memory=1236920 CPUtime=12.65 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 285640 0 0 0 1209 56 0 0 20 0 1 0 51519687 1285619712 309230 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 313872 309230 2528 2575 0 310779 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1255488 KiB
Current children cumulated memory: 1236920 KiB

[startup+25.5002 s]
/proc/loadavg: 3.69 3.98 4.05 6/264 46475
/proc/meminfo: memFree=117637148/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=3543292 memory=3273520 CPUtime=25.41 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 398915 0 0 0 2436 105 0 0 20 0 1 0 51519687 3628331008 818380 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 885823 818380 2624 2575 0 882730 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3543292 KiB
Current children cumulated memory: 3273520 KiB

[startup+51.1059 s]
/proc/loadavg: 3.80 3.98 4.04 6/264 46475
/proc/meminfo: memFree=116356872/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=3697376 memory=3412708 CPUtime=50.91 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 411876 0 0 0 4983 108 0 0 20 0 1 0 51519687 3786113024 853177 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 924344 853177 2688 2575 0 921251 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3697376 KiB
Current children cumulated memory: 3412708 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.02 4.05 6/263 46477
/proc/meminfo: memFree=116353496/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=3697376 memory=3412708 CPUtime=101.84 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 411912 0 0 0 10076 108 0 0 20 0 1 0 51519687 3786113024 853177 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 924344 853177 2688 2575 0 921251 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 3697376 KiB
Current children cumulated memory: 3412708 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.03 4.05 6/263 46479
/proc/meminfo: memFree=115999120/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=3890032 memory=3512392 CPUtime=161.55 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 421682 0 0 0 16044 111 0 0 20 0 1 0 51519687 3983392768 878098 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 972508 878098 2688 2575 0 969415 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 3890032 KiB
Current children cumulated memory: 3512392 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.04 4.05 6/263 46484
/proc/meminfo: memFree=115907860/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=3983572 memory=3549100 CPUtime=221.23 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 423092 0 0 0 22011 112 0 0 20 0 1 0 51519687 4079177728 887275 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 995893 887275 2688 2575 0 992800 0
Current children cumulated CPU time: 221.23 s
Current children cumulated vsize: 3983572 KiB
Current children cumulated memory: 3549100 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.04 4.05 6/265 46492
/proc/meminfo: memFree=115847100/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=4055428 memory=3549228 CPUtime=280.93 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 423240 0 0 0 27981 112 0 0 20 0 1 0 51519687 4152758272 887307 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1013857 887307 2688 2575 0 1010764 0
Current children cumulated CPU time: 280.93 s
Current children cumulated vsize: 4055428 KiB
Current children cumulated memory: 3549228 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.06 4.06 6/266 46495
/proc/meminfo: memFree=115843604/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=4055428 memory=3549228 CPUtime=340.64 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 423240 0 0 0 33952 112 0 0 20 0 1 0 51519687 4152758272 887307 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1013857 887307 2688 2575 0 1010764 0
Current children cumulated CPU time: 340.64 s
Current children cumulated vsize: 4055428 KiB
Current children cumulated memory: 3549228 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.06 4.06 6/266 46497
/proc/meminfo: memFree=115831864/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=4127280 memory=3559480 CPUtime=400.31 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 423805 0 0 0 39919 112 0 0 20 0 1 0 51519687 4226334720 889870 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1031820 889870 2688 2575 0 1028727 0
Current children cumulated CPU time: 400.31 s
Current children cumulated vsize: 4127280 KiB
Current children cumulated memory: 3559480 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.06 4.06 6/266 46499
/proc/meminfo: memFree=115803668/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=4188872 memory=3561556 CPUtime=460.01 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 423910 0 0 0 45889 112 0 0 20 0 1 0 51519687 4289404928 890389 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1047218 890389 2688 2575 0 1044125 0
Current children cumulated CPU time: 460.01 s

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

/proc/loadavg: 4.10 4.09 4.09 6/268 46652
/proc/meminfo: memFree=112991304/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6368756 memory=4266380 CPUtime=3207.09 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568089 0 0 0 320568 141 0 0 20 0 1 0 51519687 6521606144 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1592189 1066595 2688 2575 0 1589096 0
Current children cumulated CPU time: 3207.09 s
Current children cumulated vsize: 6368756 KiB
Current children cumulated memory: 4266380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/266 46660
/proc/meminfo: memFree=112998144/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6368756 memory=4266380 CPUtime=3266.79 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568201 0 0 0 326538 141 0 0 20 0 1 0 51519687 6521606144 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1592189 1066595 2688 2575 0 1589096 0
Current children cumulated CPU time: 3266.79 s
Current children cumulated vsize: 6368756 KiB
Current children cumulated memory: 4266380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/265 46662
/proc/meminfo: memFree=112994608/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6368756 memory=4266380 CPUtime=3326.47 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568202 0 0 0 332506 141 0 0 20 0 1 0 51519687 6521606144 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1592189 1066595 2688 2575 0 1589096 0
Current children cumulated CPU time: 3326.47 s
Current children cumulated vsize: 6368756 KiB
Current children cumulated memory: 4266380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/265 46664
/proc/meminfo: memFree=112979580/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6368756 memory=4266380 CPUtime=3386.17 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568304 0 0 0 338476 141 0 0 20 0 1 0 51519687 6521606144 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1592189 1066595 2688 2575 0 1589096 0
Current children cumulated CPU time: 3386.17 s
Current children cumulated vsize: 6368756 KiB
Current children cumulated memory: 4266380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/265 46666
/proc/meminfo: memFree=112974212/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6368756 memory=4266380 CPUtime=3445.86 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568317 0 0 0 344445 141 0 0 20 0 1 0 51519687 6521606144 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1592189 1066595 2688 2575 0 1589096 0
Current children cumulated CPU time: 3445.86 s
Current children cumulated vsize: 6368756 KiB
Current children cumulated memory: 4266380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/266 46669
/proc/meminfo: memFree=112975496/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3505.58 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568725 0 0 0 350416 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3505.58 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/264 46671
/proc/meminfo: memFree=112974748/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3565.27 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568767 0 0 0 356385 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3565.27 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

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

# cumulated CPU time of all completed processes:  user=3580.76 s, system=1.51219 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 6/264 46671
/proc/meminfo: memFree=112974772/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3566.97 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568767 0 0 0 356555 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3566.97 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 6/264 46671
/proc/meminfo: memFree=112972616/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3573.33 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568767 0 0 0 357191 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.09 6/264 46671
/proc/meminfo: memFree=112972640/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3576.52 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568767 0 0 0 357510 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3576.52 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.09 6/264 46671
/proc/meminfo: memFree=112971860/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3579.7 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568767 0 0 0 357828 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3579.7 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 46671
/proc/meminfo: memFree=112971648/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3581.3 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568901 0 0 0 357988 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

[startup+3598.8 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 46671
/proc/meminfo: memFree=112971648/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6430356 memory=4266380 CPUtime=3581.69 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568901 0 0 0 358027 142 0 0 20 0 1 0 51519687 6584684544 1066595 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1607589 1066595 2688 2575 0 1604496 0
Current children cumulated CPU time: 3581.69 s
Current children cumulated vsize: 6430356 KiB
Current children cumulated memory: 4266380 KiB

[startup+3599.2 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 46671
/proc/meminfo: memFree=113625388/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6168384 memory=4024640 CPUtime=3582.09 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568917 0 0 0 358067 142 0 0 20 0 1 0 51519687 6316425216 1006160 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1542096 1006160 2688 2575 0 1539003 0
Current children cumulated CPU time: 3582.09 s
Current children cumulated vsize: 6168384 KiB
Current children cumulated memory: 4024640 KiB

[startup+3599.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/264 46671
/proc/meminfo: memFree=113625388/131250000 swapFree=33007332/33010684
[pid=46473] ppid=46457 vsize=6039840 memory=3896996 CPUtime=3582.18 cores=5,7
/proc/46473/stat : 46473 (pbsolver) R 46457 46473 46405 0 -1 4194304 568917 0 0 0 358075 143 0 0 20 0 1 0 51519687 6184796160 974249 18446744073709551615 4198400 14743177 140722162974880 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 39755776 140722162981258 140722162981354 140722162981354 140722162986956 0
/proc/46473/statm: 1509960 974249 2688 2575 0 1506867 0
Current children cumulated CPU time: 3582.18 s
Current children cumulated vsize: 6039840 KiB
Current children cumulated memory: 3896996 KiB

Child status: 0

Real time (s): 3599.38
CPU time (s): 3582.28
CPU user time (s): 3580.76
CPU system time (s): 1.51219
CPU usage (%): 99.5249
Max. virtual memory (cumulated for all children) (KiB): 6430356
Max. memory (cumulated for all children) (KiB): 4266380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.76
system time used= 1.51219
maximum resident set size= 4266380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568938
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= 3
involuntary context switches= 3484


# summary of solver processes directly reported to runsolver:
#   pid: 46473
#   total CPU time (s): 3582.28
#   total CPU user time (s): 3580.76
#   total CPU system time (s): 1.51219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13711 second user time and 16.5688 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-01 10:27:02
IDJOB=4489609
IDBENCH=147558
IDSOLVER=3366
FILE ID=nodeC019/4489609-1751358421
RUNJOBID= nodeC019-1751358421-46419
SLURM_JOB_ID= 9598152
Free space on /tmp= 432980 MiB

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

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1576659709

nodeC019 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	: 0xb00002a
cpu MHz		: 3599.676
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
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	: 0xb00002a
cpu MHz		: 3599.669
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
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	: 0xb00002a
cpu MHz		: 3601.134
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
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	: 0xb00002a
cpu MHz		: 3603.093
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
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	: 0xb00002a
cpu MHz		: 3599.679
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
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	: 0xb00002a
cpu MHz		: 3595.194
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
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	: 0xb00002a
cpu MHz		: 3599.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
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	: 0xb00002a
cpu MHz		: 3599.684
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130011640 kB
MemAvailable:   129746544 kB
Buffers:             904 kB
Cached:           542088 kB
SwapCached:          440 kB
Active:           200476 kB
Inactive:         408528 kB
Active(anon):      53272 kB
Inactive(anon):    27852 kB
Active(file):     147204 kB
Inactive(file):   380676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            127164 kB
Writeback:             0 kB
AnonPages:         68648 kB
Mapped:           103008 kB
Shmem:             15112 kB
KReclaimable:      92528 kB
Slab:             179260 kB
SReclaimable:      92528 kB
SUnreclaim:        86732 kB
KernelStack:        4048 kB
PageTables:         2836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432920 MiB
End job on nodeC019 at 2025-07-01 11:27:01