Trace number 4489839

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-13SAT733 3584.96 3599.04

General information on the benchmark

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

Verifier Data 

OK	733

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489839-1751361303/watcher-4489839-1751361303 -o /tmp/evaluation-result-4489839-1751361303/solver-4489839-1751361303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751361303-47841 --watchdog 3760 pbsolver -f HOME/instance-4489839-1751361303.opb -t 3600 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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.el9_5.x86_64
Starting watchdog thread
solver pid=47885, runsolver pid=47879
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129936240/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=41920 memory=32000 CPUtime=0.1 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 6029 0 0 0 8 2 0 0 20 0 1 0 51809490 42926080 8000 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 10480 8000 2176 2575 0 7387 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 32000 KiB

[startup+0.21116 s]*
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129894672/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=54308 memory=44160 CPUtime=0.21 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 9080 0 0 0 17 4 0 0 20 0 1 0 51809490 55611392 11040 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 13577 11040 2176 2575 0 10484 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54308 KiB
Current children cumulated memory: 44160 KiB

[startup+0.310899 s]*
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129839988/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=66520 memory=55808 CPUtime=0.31 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 11985 0 0 0 27 4 0 0 20 0 1 0 51809490 68116480 13952 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 16630 13952 2176 2575 0 13537 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66520 KiB
Current children cumulated memory: 55808 KiB

[startup+0.700353 s]
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129738052/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=106900 memory=96128 CPUtime=0.68 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 22083 0 0 0 60 8 0 0 20 0 1 0 51809490 109465600 24032 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 26725 24032 2176 2575 0 23632 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106900 KiB
Current children cumulated memory: 96128 KiB

[startup+1.50035 s]
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=129471948/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=234252 memory=223096 CPUtime=1.48 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 53319 0 0 0 131 17 0 0 20 0 1 0 51809490 239874048 55774 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 58563 55774 2176 2575 0 55470 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 234252 KiB
Current children cumulated memory: 223096 KiB

[startup+3.11288 s]
/proc/loadavg: 2.72 3.77 4.00 5/250 47898
/proc/meminfo: memFree=127143736/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=775880 memory=764216 CPUtime=3.09 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 178722 0 0 0 267 42 0 0 20 0 1 0 51809490 794501120 191054 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 193970 191054 2368 2575 0 190877 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 775880 KiB
Current children cumulated memory: 764216 KiB

[startup+6.30027 s]
/proc/loadavg: 2.82 3.77 4.00 5/250 47898
/proc/meminfo: memFree=126671656/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=891260 memory=877372 CPUtime=6.26 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 201865 0 0 0 580 46 0 0 20 0 1 0 51809490 912650240 219343 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 222815 219343 2400 2575 0 219722 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 891260 KiB
Current children cumulated memory: 877372 KiB

[startup+12.7003 s]
/proc/loadavg: 2.91 3.78 4.00 5/250 47898
/proc/meminfo: memFree=124308008/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=1255488 memory=1237808 CPUtime=12.65 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 287876 0 0 0 1195 70 0 0 20 0 1 0 51809490 1285619712 309452 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 313872 309452 2528 2575 0 310779 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1255488 KiB
Current children cumulated memory: 1237808 KiB

[startup+25.5003 s]
/proc/loadavg: 3.23 3.80 4.01 5/250 47898
/proc/meminfo: memFree=119117644/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=3025456 memory=2759316 CPUtime=25.4 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 307877 0 0 0 2437 103 0 0 20 0 1 0 51809490 3098066944 689829 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 756364 689829 2592 2575 0 753271 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3025456 KiB
Current children cumulated memory: 2759316 KiB

[startup+51.1129 s]
/proc/loadavg: 3.56 3.84 4.01 5/250 47898
/proc/meminfo: memFree=115790444/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=3697316 memory=3410880 CPUtime=50.92 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 413533 0 0 0 4968 124 0 0 20 0 1 0 51809490 3786051584 852720 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 924329 852720 2688 2575 0 921236 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3697316 KiB
Current children cumulated memory: 3410880 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.86 4.00 5/250 47900
/proc/meminfo: memFree=115680268/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=3697316 memory=3421468 CPUtime=101.87 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 414636 0 0 0 10062 125 0 0 20 0 1 0 51809490 3786051584 855367 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 924329 855367 2688 2575 0 921236 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 3697316 KiB
Current children cumulated memory: 3421468 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.92 4.01 5/250 47902
/proc/meminfo: memFree=115495224/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=3889972 memory=3520692 CPUtime=161.61 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 423345 0 0 0 16034 127 0 0 20 0 1 0 51809490 3983331328 880173 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 972493 880173 2688 2575 0 969400 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 3889972 KiB
Current children cumulated memory: 3520692 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.97 4.02 5/250 47904
/proc/meminfo: memFree=115400480/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=3983516 memory=3556660 CPUtime=221.35 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 424618 0 0 0 22006 129 0 0 20 0 1 0 51809490 4079120384 889165 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 995879 889165 2688 2575 0 992786 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 3983516 KiB
Current children cumulated memory: 3556660 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.00 4.02 5/250 47906
/proc/meminfo: memFree=115402660/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=4055368 memory=3556660 CPUtime=281.08 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 424622 0 0 0 27979 129 0 0 20 0 1 0 51809490 4152696832 889165 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1013842 889165 2688 2575 0 1010749 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 4055368 KiB
Current children cumulated memory: 3556660 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.01 4.02 5/251 47921
/proc/meminfo: memFree=115394112/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=4055368 memory=3556660 CPUtime=340.81 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 424632 0 0 0 33952 129 0 0 20 0 1 0 51809490 4152696832 889165 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1013842 889165 2688 2575 0 1010749 0
Current children cumulated CPU time: 340.81 s
Current children cumulated vsize: 4055368 KiB
Current children cumulated memory: 3556660 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.03 4.02 5/251 47923
/proc/meminfo: memFree=115375552/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=4116956 memory=3568016 CPUtime=400.54 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 425264 0 0 0 39925 129 0 0 20 0 1 0 51809490 4215762944 892004 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1029239 892004 2688 2575 0 1026146 0
Current children cumulated CPU time: 400.54 s
Current children cumulated vsize: 4116956 KiB
Current children cumulated memory: 3568016 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.05 4.03 5/251 47928
/proc/meminfo: memFree=115381192/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=4199076 memory=3580172 CPUtime=460.29 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 425991 0 0 0 45899 130 0 0 20 0 1 0 51809490 4299853824 895043 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1049769 895043 2688 2575 0 1046676 0

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

/proc/loadavg: 4.12 4.11 4.12 5/250 48068
/proc/meminfo: memFree=112624540/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6137864 memory=4340508 CPUtime=3150.03 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 570629 0 0 0 314843 160 0 0 20 0 1 0 51809490 6285172736 1085127 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1534466 1085127 2688 2575 0 1531373 0
Current children cumulated CPU time: 3150.03 s
Current children cumulated vsize: 6137864 KiB
Current children cumulated memory: 4340508 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/250 48070
/proc/meminfo: memFree=112624364/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6137864 memory=4340508 CPUtime=3209.77 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 570699 0 0 0 320817 160 0 0 20 0 1 0 51809490 6285172736 1085127 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1534466 1085127 2688 2575 0 1531373 0
Current children cumulated CPU time: 3209.77 s
Current children cumulated vsize: 6137864 KiB
Current children cumulated memory: 4340508 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/250 48072
/proc/meminfo: memFree=112623640/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6137864 memory=4340508 CPUtime=3269.51 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571186 0 0 0 326791 160 0 0 20 0 1 0 51809490 6285172736 1085127 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1534466 1085127 2688 2575 0 1531373 0
Current children cumulated CPU time: 3269.51 s
Current children cumulated vsize: 6137864 KiB
Current children cumulated memory: 4340508 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 48074
/proc/meminfo: memFree=112623152/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6137864 memory=4340508 CPUtime=3329.25 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571190 0 0 0 332765 160 0 0 20 0 1 0 51809490 6285172736 1085127 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1534466 1085127 2688 2575 0 1531373 0
Current children cumulated CPU time: 3329.25 s
Current children cumulated vsize: 6137864 KiB
Current children cumulated memory: 4340508 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/250 48076
/proc/meminfo: memFree=112618952/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6137864 memory=4340508 CPUtime=3389 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571345 0 0 0 338740 160 0 0 20 0 1 0 51809490 6285172736 1085127 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1534466 1085127 2688 2575 0 1531373 0
Current children cumulated CPU time: 3389 s
Current children cumulated vsize: 6137864 KiB
Current children cumulated memory: 4340508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/250 48080
/proc/meminfo: memFree=112589868/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3448.74 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571844 0 0 0 344714 160 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3448.74 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/250 48087
/proc/meminfo: memFree=112572060/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3508.51 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571882 0 0 0 350691 160 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3508.51 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/250 48089
/proc/meminfo: memFree=112574584/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3568.27 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571908 0 0 0 356667 160 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3568.27 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

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

# cumulated CPU time of all completed processes:  user=3583.32 s, system=1.63778 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.09 4.09 5/250 48089
/proc/meminfo: memFree=112570120/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3569.98 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571911 0 0 0 356838 160 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3569.98 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112570120/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3576.34 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 571990 0 0 0 357474 160 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3576.34 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112570160/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3579.53 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 572081 0 0 0 357793 160 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3579.53 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112569604/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3582.72 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 572103 0 0 0 358112 160 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3582.72 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

[startup+3598.4 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112569352/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6199464 memory=4343196 CPUtime=3584.32 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 572502 0 0 0 358271 161 0 0 20 0 1 0 51809490 6348251136 1085799 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1549866 1085799 2688 2575 0 1546773 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 6199464 KiB
Current children cumulated memory: 4343196 KiB

[startup+3598.8 s]
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=112569352/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=6058248 memory=4223016 CPUtime=3584.72 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 572551 0 0 0 358311 161 0 0 20 0 1 0 51809490 6203645952 1055754 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1514562 1055754 2688 2575 0 1511469 0
Current children cumulated CPU time: 3584.72 s
Current children cumulated vsize: 6058248 KiB
Current children cumulated memory: 4223016 KiB

[startup+3599 s]*
/proc/loadavg: 4.11 4.10 4.10 5/250 48089
/proc/meminfo: memFree=113030424/131382120 swapFree=33010160/33010684
[pid=47885] ppid=47879 vsize=5820136 memory=3984904 CPUtime=3584.92 cores=1,3
/proc/47885/stat : 47885 (pbsolver) R 47879 47885 47829 0 -1 4194304 572551 0 0 0 358331 161 0 0 20 0 1 0 51809490 5959819264 996226 18446744073709551615 4198400 14743177 140736923998448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30629888 140736924002698 140736924002794 140736924002794 140736924008396 0
/proc/47885/statm: 1455034 996226 2688 2575 0 1451941 0
Current children cumulated CPU time: 3584.92 s
Current children cumulated vsize: 5820136 KiB
Current children cumulated memory: 3984904 KiB

Child status: 0

Real time (s): 3599.04
CPU time (s): 3584.96
CPU user time (s): 3583.32
CPU system time (s): 1.63778
CPU usage (%): 99.6089
Max. virtual memory (cumulated for all children) (KiB): 6199464
Max. memory (cumulated for all children) (KiB): 4343196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.32
system time used= 1.63778
maximum resident set size= 4343196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572629
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= 76
involuntary context switches= 2053


# summary of solver processes directly reported to runsolver:
#   pid: 47885
#   total CPU time (s): 3584.96
#   total CPU user time (s): 3583.32
#   total CPU system time (s): 1.63778

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4361 second user time and 35.7148 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-01 11:15:04
IDJOB=4489839
IDBENCH=147564
IDSOLVER=3366
FILE ID=nodeC008/4489839-1751361303
RUNJOBID= nodeC008-1751361303-47841
SLURM_JOB_ID= 9598169
Free space on /tmp= 432996 MiB

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

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=1266241851

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130012612 kB
MemAvailable:   129891544 kB
Buffers:            2144 kB
Cached:           688664 kB
SwapCached:           16 kB
Active:           289460 kB
Inactive:         471092 kB
Active(anon):      51036 kB
Inactive(anon):    36636 kB
Active(file):     238424 kB
Inactive(file):   434456 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            127236 kB
Writeback:            12 kB
AnonPages:         72808 kB
Mapped:           103156 kB
Shmem:             17920 kB
KReclaimable:      91356 kB
Slab:             173840 kB
SReclaimable:      91356 kB
SUnreclaim:        82484 kB
KernelStack:        3792 kB
PageTables:         2744 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     329160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432936 MiB
End job on nodeC008 at 2025-07-01 12:15:03