Trace number 4489563

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-13SAT595 3582.65 3599.05

General information on the benchmark

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

Verifier Data 

OK	595

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 (63035 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-4489563-1751358421/watcher-4489563-1751358421 -o /tmp/evaluation-result-4489563-1751358421/solver-4489563-1751358421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751358421-46416 --watchdog 3760 pbsolver -f HOME/instance-4489563-1751358421.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=46462, runsolver pid=46456

[startup+0.100066 s]*
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129872504/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=58964 memory=48768 CPUtime=0.09 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 10229 0 0 0 8 1 0 0 20 0 1 0 51519684 60379136 12192 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 14741 12192 2176 2575 0 11648 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58964 KiB
Current children cumulated memory: 48768 KiB

[startup+0.205508 s]*
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129755828/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=91264 memory=80256 CPUtime=0.2 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 18112 0 0 0 18 2 0 0 20 0 1 0 51519684 93454336 20064 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 22816 20064 2176 2575 0 19723 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91264 KiB
Current children cumulated memory: 80256 KiB

[startup+0.305469 s]*
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129626804/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=118344 memory=107520 CPUtime=0.3 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 24935 0 0 0 27 3 0 0 20 0 1 0 51519684 121184256 26880 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 29586 26880 2176 2575 0 26493 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118344 KiB
Current children cumulated memory: 107520 KiB

[startup+0.700178 s]
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=129401648/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=230908 memory=219696 CPUtime=0.68 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 52467 0 0 0 61 7 0 0 20 0 1 0 51519684 236449792 54924 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 57727 54924 2176 2575 0 54634 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 230908 KiB
Current children cumulated memory: 219696 KiB

[startup+1.50018 s]
/proc/loadavg: 3.43 3.96 4.04 5/264 46475
/proc/meminfo: memFree=128853040/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=537220 memory=526088 CPUtime=1.48 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 127864 0 0 0 130 18 0 0 20 0 1 0 51519684 550113280 131522 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 134305 131522 2368 2575 0 131212 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 537220 KiB
Current children cumulated memory: 526088 KiB

[startup+3.10527 s]
/proc/loadavg: 3.48 3.96 4.04 5/264 46475
/proc/meminfo: memFree=126759840/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=840028 memory=827628 CPUtime=3.08 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 195574 0 0 0 280 28 0 0 20 0 1 0 51519684 860188672 206907 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 210007 206907 2400 2575 0 206914 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 840028 KiB
Current children cumulated memory: 827628 KiB

[startup+6.30022 s]
/proc/loadavg: 3.48 3.96 4.04 5/264 46475
/proc/meminfo: memFree=125570860/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=1231012 memory=1208940 CPUtime=6.26 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 228541 0 0 0 584 42 0 0 20 0 1 0 51519684 1260556288 302235 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 307753 302235 2496 2575 0 304660 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1231012 KiB
Current children cumulated memory: 1208940 KiB

[startup+12.7002 s]
/proc/loadavg: 3.63 3.98 4.05 5/264 46475
/proc/meminfo: memFree=124307268/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=1255488 memory=1232832 CPUtime=12.64 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 289153 0 0 0 1211 53 0 0 20 0 1 0 51519684 1285619712 308208 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 313872 308208 2528 2575 0 310779 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1255488 KiB
Current children cumulated memory: 1232832 KiB

[startup+25.5002 s]
/proc/loadavg: 3.69 3.98 4.05 5/264 46475
/proc/meminfo: memFree=117637148/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=3543292 memory=3265976 CPUtime=25.38 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 406423 0 0 0 2434 104 0 0 20 0 1 0 51519684 3628331008 816494 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 885823 816494 2624 2575 0 882730 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3543292 KiB
Current children cumulated memory: 3265976 KiB

[startup+51.1058 s]
/proc/loadavg: 3.80 3.98 4.04 5/264 46475
/proc/meminfo: memFree=116356872/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=3698092 memory=3399320 CPUtime=50.89 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 418650 0 0 0 4982 107 0 0 20 0 1 0 51519684 3786846208 849830 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 924523 849830 2688 2575 0 921430 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 3698092 KiB
Current children cumulated memory: 3399320 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.02 4.05 5/263 46477
/proc/meminfo: memFree=116353496/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=3698092 memory=3407624 CPUtime=101.81 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 419189 0 0 0 10073 108 0 0 20 0 1 0 51519684 3786846208 851906 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 924523 851906 2688 2575 0 921430 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 3698092 KiB
Current children cumulated memory: 3407624 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.03 4.05 5/263 46479
/proc/meminfo: memFree=115999120/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=3898004 memory=3509604 CPUtime=161.5 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 427981 0 0 0 16040 110 0 0 20 0 1 0 51519684 3991556096 877401 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 974501 877401 2688 2575 0 971408 0
Current children cumulated CPU time: 161.5 s
Current children cumulated vsize: 3898004 KiB
Current children cumulated memory: 3509604 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.04 4.05 5/263 46484
/proc/meminfo: memFree=115907860/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=3978068 memory=3530472 CPUtime=221.19 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 430587 0 0 0 22008 111 0 0 20 0 1 0 51519684 4073541632 882618 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 994517 882618 2688 2575 0 991424 0
Current children cumulated CPU time: 221.19 s
Current children cumulated vsize: 3978068 KiB
Current children cumulated memory: 3530472 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.04 4.05 5/265 46492
/proc/meminfo: memFree=115847100/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=4068456 memory=3560228 CPUtime=280.89 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 431383 0 0 0 27977 112 0 0 20 0 1 0 51519684 4166098944 890057 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1017114 890057 2688 2575 0 1014021 0
Current children cumulated CPU time: 280.89 s
Current children cumulated vsize: 4068456 KiB
Current children cumulated memory: 3560228 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.06 4.06 5/266 46495
/proc/meminfo: memFree=115843604/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=4130044 memory=3560228 CPUtime=340.58 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 431551 0 0 0 33946 112 0 0 20 0 1 0 51519684 4229165056 890057 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1032511 890057 2688 2575 0 1029418 0
Current children cumulated CPU time: 340.58 s
Current children cumulated vsize: 4130044 KiB
Current children cumulated memory: 3560228 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.06 4.06 5/266 46497
/proc/meminfo: memFree=115831864/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=4130044 memory=3563300 CPUtime=400.27 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 431552 0 0 0 39915 112 0 0 20 0 1 0 51519684 4229165056 890825 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1032511 890825 2688 2575 0 1029418 0
Current children cumulated CPU time: 400.27 s
Current children cumulated vsize: 4130044 KiB
Current children cumulated memory: 3563300 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.06 4.06 5/266 46499
/proc/meminfo: memFree=115803668/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=4201896 memory=3574472 CPUtime=459.97 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 432149 0 0 0 45884 113 0 0 20 0 1 0 51519684 4302741504 893618 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1050474 893618 2688 2575 0 1047381 0
Current children cumulated CPU time: 459.97 s

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

/proc/loadavg: 4.12 4.10 4.09 5/263 46635
/proc/meminfo: memFree=112997540/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6163768 memory=4307372 CPUtime=3148.01 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 571225 0 0 0 314662 139 0 0 20 0 1 0 51519684 6311698432 1076843 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1540942 1076843 2688 2575 0 1537849 0
Current children cumulated CPU time: 3148.01 s
Current children cumulated vsize: 6163768 KiB
Current children cumulated memory: 4307372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 46652
/proc/meminfo: memFree=112991304/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6163768 memory=4307372 CPUtime=3207.72 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 571521 0 0 0 320633 139 0 0 20 0 1 0 51519684 6311698432 1076843 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1540942 1076843 2688 2575 0 1537849 0
Current children cumulated CPU time: 3207.72 s
Current children cumulated vsize: 6163768 KiB
Current children cumulated memory: 4307372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 46660
/proc/meminfo: memFree=112998144/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4307372 CPUtime=3267.45 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 571874 0 0 0 326606 139 0 0 20 0 1 0 51519684 6374776832 1076843 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1076843 2688 2575 0 1553249 0
Current children cumulated CPU time: 3267.45 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4307372 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=46462] ppid=46456 vsize=6225368 memory=4307372 CPUtime=3327.15 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 571876 0 0 0 332576 139 0 0 20 0 1 0 51519684 6374776832 1076843 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1076843 2688 2575 0 1553249 0
Current children cumulated CPU time: 3327.15 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4307372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 46664
/proc/meminfo: memFree=112979580/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4312876 CPUtime=3386.85 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 572399 0 0 0 338546 139 0 0 20 0 1 0 51519684 6374776832 1078219 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078219 2688 2575 0 1553249 0
Current children cumulated CPU time: 3386.85 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4312876 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 46666
/proc/meminfo: memFree=112974212/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313388 CPUtime=3446.57 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 572405 0 0 0 344518 139 0 0 20 0 1 0 51519684 6374776832 1078347 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078347 2688 2575 0 1553249 0
Current children cumulated CPU time: 3446.57 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 46669
/proc/meminfo: memFree=112975496/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313388 CPUtime=3506.26 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 572407 0 0 0 350487 139 0 0 20 0 1 0 51519684 6374776832 1078347 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078347 2688 2575 0 1553249 0
Current children cumulated CPU time: 3506.26 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112974748/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313388 CPUtime=3565.96 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 572671 0 0 0 356457 139 0 0 20 0 1 0 51519684 6374776832 1078347 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078347 2688 2575 0 1553249 0
Current children cumulated CPU time: 3565.96 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313388 KiB

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

# cumulated CPU time of all completed processes:  user=3581.23 s, system=1.41792 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 5/264 46671
/proc/meminfo: memFree=112974772/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313388 CPUtime=3567.66 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 572671 0 0 0 356627 139 0 0 20 0 1 0 51519684 6374776832 1078347 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078347 2688 2575 0 1553249 0
Current children cumulated CPU time: 3567.66 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313388 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112972616/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313388 CPUtime=3574.02 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 573040 0 0 0 357263 139 0 0 20 0 1 0 51519684 6374776832 1078347 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078347 2688 2575 0 1553249 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313388 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112972640/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313388 CPUtime=3577.21 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 573042 0 0 0 357582 139 0 0 20 0 1 0 51519684 6374776832 1078347 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078347 2688 2575 0 1553249 0
Current children cumulated CPU time: 3577.21 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313388 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 46671
/proc/meminfo: memFree=112971860/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313516 CPUtime=3580.4 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 573047 0 0 0 357901 139 0 0 20 0 1 0 51519684 6374776832 1078379 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078379 2688 2575 0 1553249 0
Current children cumulated CPU time: 3580.4 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313516 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 46671
/proc/meminfo: memFree=112971648/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6225368 memory=4313516 CPUtime=3581.99 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 575966 0 0 0 358060 139 0 0 20 0 1 0 51519684 6374776832 1078379 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1556342 1078379 2688 2575 0 1553249 0
Current children cumulated CPU time: 3581.99 s
Current children cumulated vsize: 6225368 KiB
Current children cumulated memory: 4313516 KiB

[startup+3598.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 46671
/proc/meminfo: memFree=112971648/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=6112052 memory=4220556 CPUtime=3582.39 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 575981 0 0 0 358100 139 0 0 20 0 1 0 51519684 6258741248 1055139 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1528013 1055139 2688 2575 0 1524920 0
Current children cumulated CPU time: 3582.39 s
Current children cumulated vsize: 6112052 KiB
Current children cumulated memory: 4220556 KiB

[startup+3599 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 46671
/proc/meminfo: memFree=113543216/131250000 swapFree=33007332/33010684
[pid=46462] ppid=46456 vsize=5877136 memory=3985640 CPUtime=3582.59 cores=0,2
/proc/46462/stat : 46462 (pbsolver) R 46456 46462 46405 0 -1 4194304 575981 0 0 0 358119 140 0 0 20 0 1 0 51519684 6018187264 996410 18446744073709551615 4198400 14743177 140726992032224 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 23842816 140726992038282 140726992038378 140726992038378 140726992043980 0
/proc/46462/statm: 1469284 996410 2688 2575 0 1466191 0
Current children cumulated CPU time: 3582.59 s
Current children cumulated vsize: 5877136 KiB
Current children cumulated memory: 3985640 KiB

Child status: 0

Real time (s): 3599.05
CPU time (s): 3582.65
CPU user time (s): 3581.23
CPU system time (s): 1.41792
CPU usage (%): 99.5442
Max. virtual memory (cumulated for all children) (KiB): 6225368
Max. memory (cumulated for all children) (KiB): 4313516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.23
system time used= 1.41792
maximum resident set size= 4313516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576226
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= 61
involuntary context switches= 4542


# summary of solver processes directly reported to runsolver:
#   pid: 46462
#   total CPU time (s): 3582.65
#   total CPU user time (s): 3581.23
#   total CPU system time (s): 1.41792

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.34349 second user time and 19.0846 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-01 10:27:02
IDJOB=4489563
IDBENCH=147557
IDSOLVER=3366
FILE ID=nodeC019/4489563-1751358421
RUNJOBID= nodeC019-1751358421-46416
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_12.opb.PB06.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489563-1751358421/watcher-4489563-1751358421 -o /tmp/evaluation-result-4489563-1751358421/solver-4489563-1751358421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751358421-46416 --watchdog 3760  pbsolver -f HOME/instance-4489563-1751358421.opb -t 3600 -m 31000

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
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:     328780 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