Trace number 4485193

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-13OPT9216 265.704 266.412

General information on the benchmark

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

Verifier Data

OK	9216

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: 63665 MiB (61193 MiB free)
  memory of node 1: 64507 MiB (60690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485193-1751310684/watcher-4485193-1751310684 -o /tmp/evaluation-result-4485193-1751310684/solver-4485193-1751310684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37231 --watchdog 3760 pbsolver -f HOME/instance-4485193-1751310684.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=38847, runsolver pid=38844
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 4.08 4.09 4.09 6/265 38848
/proc/meminfo: memFree=124769832/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=60932 memory=51024 CPUtime=0.09 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 12133 0 0 0 8 1 0 0 20 0 1 0 46747948 62394368 12756 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 15233 12756 2496 2575 0 12140 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60932 KiB
Current children cumulated memory: 51024 KiB

[startup+0.205787 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 38848
/proc/meminfo: memFree=124758240/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=74576 memory=64632 CPUtime=0.19 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 16944 0 0 0 18 1 0 0 20 0 1 0 46747948 76365824 16158 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 18644 16158 2560 2575 0 15551 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74576 KiB
Current children cumulated memory: 64632 KiB

[startup+0.305683 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 38848
/proc/meminfo: memFree=124758240/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=73300 memory=62856 CPUtime=0.3 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 17917 0 0 0 28 2 0 0 20 0 1 0 46747948 75059200 15714 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 18325 15714 2592 2575 0 15232 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73300 KiB
Current children cumulated memory: 62856 KiB

[startup+0.700159 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 38848
/proc/meminfo: memFree=124754460/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=113076 memory=95040 CPUtime=0.69 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 27144 0 0 0 66 3 0 0 20 0 1 0 46747948 115789824 23760 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 28269 23760 2688 2575 0 25176 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113076 KiB
Current children cumulated memory: 95040 KiB

[startup+1.50012 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 38848
/proc/meminfo: memFree=124722456/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=114568 memory=96448 CPUtime=1.49 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 27473 0 0 0 146 3 0 0 20 0 1 0 46747948 117317632 24112 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 28642 24112 2688 2575 0 25549 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114568 KiB
Current children cumulated memory: 96448 KiB

[startup+3.10571 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 38848
/proc/meminfo: memFree=124690704/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=150168 memory=130276 CPUtime=3.08 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 37969 0 0 0 304 4 0 0 20 0 1 0 46747948 153772032 32569 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 37542 32569 2688 2575 0 34449 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 150168 KiB
Current children cumulated memory: 130276 KiB

[startup+6.3001 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 38848
/proc/meminfo: memFree=124689444/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=155836 memory=136164 CPUtime=6.28 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 39430 0 0 0 623 5 0 0 20 0 1 0 46747948 159576064 34041 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 38959 34041 2688 2575 0 35866 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 155836 KiB
Current children cumulated memory: 136164 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 38848
/proc/meminfo: memFree=124655864/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=194256 memory=170340 CPUtime=12.65 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 47969 0 0 0 1259 6 0 0 20 0 1 0 46747948 198918144 42585 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 48564 42585 2688 2575 0 45471 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 194256 KiB
Current children cumulated memory: 170340 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 38848
/proc/meminfo: memFree=124627248/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=194256 memory=170340 CPUtime=25.42 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 48008 0 0 0 2536 6 0 0 20 0 1 0 46747948 198918144 42585 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 48564 42585 2688 2575 0 45471 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 194256 KiB
Current children cumulated memory: 170340 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 38849
/proc/meminfo: memFree=124593356/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=194256 memory=170468 CPUtime=50.96 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 48023 0 0 0 5090 6 0 0 20 0 1 0 46747948 198918144 42617 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 48564 42617 2688 2575 0 45471 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 194256 KiB
Current children cumulated memory: 170468 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 38850
/proc/meminfo: memFree=124465988/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=235484 memory=209892 CPUtime=102.02 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 57600 0 0 0 10194 8 0 0 20 0 1 0 46747948 241135616 52473 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 58871 52473 2976 2575 0 55778 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 235484 KiB
Current children cumulated memory: 209892 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 38852
/proc/meminfo: memFree=124442132/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=250400 memory=220260 CPUtime=161.86 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 60209 0 0 0 16178 8 0 0 20 0 1 0 46747948 256409600 55065 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 62600 55065 2976 2575 0 59507 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 250400 KiB
Current children cumulated memory: 220260 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 38854
/proc/meminfo: memFree=124220576/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=260228 memory=229732 CPUtime=221.7 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 62585 0 0 0 22161 9 0 0 20 0 1 0 46747948 266473472 57433 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 65057 57433 2976 2575 0 61964 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 260228 KiB
Current children cumulated memory: 229732 KiB

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

# cumulated CPU time of all completed processes:  user=265.588 s, system=0.115662 s

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

[startup+230.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 38855
/proc/meminfo: memFree=124200600/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=260228 memory=229732 CPUtime=229.78 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 62585 0 0 0 22969 9 0 0 20 0 1 0 46747948 266473472 57433 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 65057 57433 2976 2575 0 61964 0
Current children cumulated CPU time: 229.78 s
Current children cumulated vsize: 260228 KiB
Current children cumulated memory: 229732 KiB

[startup+243.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 38856
/proc/meminfo: memFree=124197888/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=260228 memory=229732 CPUtime=242.54 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 62585 0 0 0 24245 9 0 0 20 0 1 0 46747948 266473472 57433 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 65057 57433 2976 2575 0 61964 0
Current children cumulated CPU time: 242.54 s
Current children cumulated vsize: 260228 KiB
Current children cumulated memory: 229732 KiB

[startup+256 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 38856
/proc/meminfo: memFree=124165780/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=276200 memory=244324 CPUtime=255.32 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 66222 0 0 0 25522 10 0 0 20 0 1 0 46747948 282828800 61081 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 69050 61081 2976 2575 0 65957 0
Current children cumulated CPU time: 255.32 s
Current children cumulated vsize: 276200 KiB
Current children cumulated memory: 244324 KiB

[startup+262.4 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 38856
/proc/meminfo: memFree=124153744/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=276744 memory=246372 CPUtime=261.69 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 66733 0 0 0 26159 10 0 0 20 0 1 0 46747948 283385856 61593 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 69186 61593 2976 2575 0 66093 0
Current children cumulated CPU time: 261.69 s
Current children cumulated vsize: 276744 KiB
Current children cumulated memory: 246372 KiB

[startup+264 s]*
/proc/loadavg: 4.16 4.10 4.09 5/264 38856
/proc/meminfo: memFree=124153752/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=276744 memory=246372 CPUtime=263.29 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 66733 0 0 0 26319 10 0 0 20 0 1 0 46747948 283385856 61593 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 69186 61593 2976 2575 0 66093 0
Current children cumulated CPU time: 263.29 s
Current children cumulated vsize: 276744 KiB
Current children cumulated memory: 246372 KiB

[startup+265.6 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 38856
/proc/meminfo: memFree=124150872/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=276744 memory=246372 CPUtime=264.88 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 66733 0 0 0 26478 10 0 0 20 0 1 0 46747948 283385856 61593 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 69186 61593 2976 2575 0 66093 0
Current children cumulated CPU time: 264.88 s
Current children cumulated vsize: 276744 KiB
Current children cumulated memory: 246372 KiB

[startup+266 s]*
/proc/loadavg: 4.15 4.10 4.09 5/264 38856
/proc/meminfo: memFree=124151080/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=276744 memory=246372 CPUtime=265.29 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 66733 0 0 0 26519 10 0 0 20 0 1 0 46747948 283385856 61593 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 69186 61593 2976 2575 0 66093 0
Current children cumulated CPU time: 265.29 s
Current children cumulated vsize: 276744 KiB
Current children cumulated memory: 246372 KiB

[startup+266.4 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 38856
/proc/meminfo: memFree=124151080/131249996 swapFree=33010416/33010684
[pid=38847] ppid=38844 vsize=260256 memory=230472 CPUtime=265.68 cores=0,2
/proc/38847/stat : 38847 (pbsolver) R 38844 38847 37216 0 -1 4194304 66734 0 0 0 26558 10 0 0 20 0 1 0 46747948 266502144 57618 18446744073709551615 4198400 14743177 140736504110816 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 41283584 140736504113546 140736504113642 140736504113642 140736504119244 0
/proc/38847/statm: 65064 57618 2976 2575 0 61971 0
Current children cumulated CPU time: 265.68 s
Current children cumulated vsize: 260256 KiB
Current children cumulated memory: 230472 KiB

Child status: 0

Real time (s): 266.412
CPU time (s): 265.704
CPU user time (s): 265.588
CPU system time (s): 0.115662
CPU usage (%): 99.734
Max. virtual memory (cumulated for all children) (KiB): 276744
Max. memory (cumulated for all children) (KiB): 246372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.588
system time used= 0.115662
maximum resident set size= 246372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 597


# summary of solver processes directly reported to runsolver:
#   pid: 38847
#   total CPU time (s): 265.704
#   total CPU user time (s): 265.588
#   total CPU system time (s): 0.115662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.470889 second user time and 1.20838 second system time

The end

Launcher Data

Begin job on nodeC030 at 2025-06-30 21:11:24
IDJOB=4485193
IDBENCH=146711
IDSOLVER=3366
FILE ID=nodeC030/4485193-1751310684
RUNJOBID= nodeC030-1751301413-37231
SLURM_JOB_ID= 9594278
Free space on /tmp= 432988 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485193-1751310684/watcher-4485193-1751310684 -o /tmp/evaluation-result-4485193-1751310684/solver-4485193-1751310684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37231 --watchdog 3760  pbsolver -f HOME/instance-4485193-1751310684.opb -t 3600 -m 31000

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

MD5SUM BENCH= d56dac1e1561d870cabdc9c053ba8250
RANDOM SEED=893084240

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124809648 kB
MemAvailable:   126250732 kB
Buffers:            2564 kB
Cached:          2235816 kB
SwapCached:           16 kB
Active:          3812432 kB
Inactive:        1935476 kB
Active(anon):    3522916 kB
Inactive(anon):     4660 kB
Active(file):     289516 kB
Inactive(file):  1930816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15580 kB
Writeback:             0 kB
AnonPages:       3509812 kB
Mapped:           138852 kB
Shmem:             18048 kB
KReclaimable:     119580 kB
Slab:             205924 kB
SReclaimable:     119580 kB
SUnreclaim:        86344 kB
KernelStack:        4288 kB
PageTables:        10372 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4540696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1597440 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC030 at 2025-06-30 21:15:50