Trace number 4509435

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-13OPT27 234.136 234.789

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
MD5SUMa65412b792c5c6c9e427350dbe88f8fc
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 benchmark27
Best CPU time to get the best result obtained on this benchmark7.59381
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10272
Total number of constraints706
Number of constraints which are clauses320
Number of constraints which are cardinality constraints (but not clauses)320
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint321
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 115341
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 265154
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	27

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100064 s]*
/proc/loadavg: 2.50 3.71 3.96 6/263 73892
/proc/meminfo: memFree=129347108/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=56964 memory=47396 CPUtime=0.09 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 11238 0 0 0 8 1 0 0 20 0 1 0 68334143 58331136 11849 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 14241 11849 2496 2575 0 11148 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56964 KiB
Current children cumulated memory: 47396 KiB

[startup+0.205284 s]*
/proc/loadavg: 2.50 3.71 3.96 6/263 73892
/proc/meminfo: memFree=129194648/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=79676 memory=67256 CPUtime=0.19 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 15742 0 0 0 16 3 0 0 20 0 1 0 68334143 81588224 16814 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 19919 16814 2560 2575 0 16826 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79676 KiB
Current children cumulated memory: 67256 KiB

[startup+0.304701 s]*
/proc/loadavg: 2.62 3.71 3.96 6/263 73892
/proc/meminfo: memFree=129127112/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=114184 memory=86456 CPUtime=0.28 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 20570 0 0 0 25 3 0 0 20 0 1 0 68334143 116924416 21614 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 28546 21614 2592 2575 0 25453 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 114184 KiB
Current children cumulated memory: 86456 KiB

[startup+0.700156 s]
/proc/loadavg: 2.62 3.71 3.96 6/263 73892
/proc/meminfo: memFree=129066828/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=212348 memory=176440 CPUtime=0.68 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 43002 0 0 0 61 7 0 0 20 0 1 0 68334143 217444352 44110 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 53087 44110 2656 2575 0 49994 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212348 KiB
Current children cumulated memory: 176440 KiB

[startup+1.50012 s]
/proc/loadavg: 2.62 3.71 3.96 6/263 73892
/proc/meminfo: memFree=128748920/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=250056 memory=208680 CPUtime=1.47 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 48515 0 0 0 139 8 0 0 20 0 1 0 68334143 256057344 52170 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 62514 52170 2688 2575 0 59421 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 250056 KiB
Current children cumulated memory: 208680 KiB

[startup+3.10456 s]
/proc/loadavg: 2.62 3.71 3.96 6/263 73892
/proc/meminfo: memFree=128329296/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=282004 memory=240168 CPUtime=3.07 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 56406 0 0 0 297 10 0 0 20 0 1 0 68334143 288772096 60042 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 70501 60042 2688 2575 0 67408 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 282004 KiB
Current children cumulated memory: 240168 KiB

[startup+6.30015 s]
/proc/loadavg: 2.73 3.72 3.96 6/263 73892
/proc/meminfo: memFree=127817392/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=313656 memory=269700 CPUtime=6.26 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 64803 0 0 0 615 11 0 0 20 0 1 0 68334143 321183744 67425 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 78414 67425 2688 2575 0 75321 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 313656 KiB
Current children cumulated memory: 269700 KiB

[startup+12.7001 s]
/proc/loadavg: 2.91 3.74 3.97 6/263 73892
/proc/meminfo: memFree=127239048/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=329796 memory=288380 CPUtime=12.64 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 70282 0 0 0 1252 12 0 0 20 0 1 0 68334143 337711104 72095 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 82449 72095 2688 2575 0 79356 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 329796 KiB
Current children cumulated memory: 288380 KiB

[startup+25.5002 s]
/proc/loadavg: 3.16 3.76 3.97 6/263 73893
/proc/meminfo: memFree=126876352/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=372536 memory=331644 CPUtime=25.4 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 81102 0 0 0 2526 14 0 0 20 0 1 0 68334143 381476864 82911 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 93134 82911 2688 2575 0 90041 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 372536 KiB
Current children cumulated memory: 331644 KiB

[startup+51.1053 s]
/proc/loadavg: 3.49 3.79 3.97 6/263 73893
/proc/meminfo: memFree=126646336/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=400940 memory=357244 CPUtime=50.94 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 87517 0 0 0 5079 15 0 0 20 0 1 0 68334143 410562560 89311 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 100235 89311 2688 2575 0 97142 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 400940 KiB
Current children cumulated memory: 357244 KiB

[startup+102.3 s]
/proc/loadavg: 3.83 3.84 3.98 5/261 73909
/proc/meminfo: memFree=126878120/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=420532 memory=380044 CPUtime=101.99 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 96428 0 0 0 10182 17 0 0 20 0 1 0 68334143 430624768 95011 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 105133 95011 2688 2575 0 102040 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 420532 KiB
Current children cumulated memory: 380044 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.90 4.00 5/265 73947
/proc/meminfo: memFree=126581716/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=406796 CPUtime=161.83 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101567 0 0 0 16164 19 0 0 20 0 1 0 68334143 454397952 101699 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 101699 2688 2575 0 107844 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 406796 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.94 4.00 5/265 73949
/proc/meminfo: memFree=126466164/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=221.67 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101935 0 0 0 22148 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

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

# cumulated CPU time of all completed processes:  user=233.93 s, system=0.205372 s

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

[startup+224 s]*
/proc/loadavg: 4.07 3.94 4.00 5/265 73950
/proc/meminfo: memFree=126466596/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=223.37 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101935 0 0 0 22318 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 223.37 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

[startup+230.4 s]
/proc/loadavg: 4.07 3.94 4.00 5/265 73950
/proc/meminfo: memFree=126468300/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=229.75 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101938 0 0 0 22956 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 229.75 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

[startup+232 s]*
/proc/loadavg: 4.06 3.94 4.00 5/265 73950
/proc/meminfo: memFree=126468332/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=231.35 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101938 0 0 0 23116 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 231.35 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

[startup+233.6 s]
/proc/loadavg: 4.06 3.94 4.00 5/265 73950
/proc/meminfo: memFree=126468332/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=232.94 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101938 0 0 0 23275 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 232.94 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

[startup+234.4 s]
/proc/loadavg: 4.06 3.94 4.00 5/265 73950
/proc/meminfo: memFree=126468332/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=233.74 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101938 0 0 0 23355 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 233.74 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

[startup+234.6 s]
/proc/loadavg: 4.06 3.94 4.00 5/265 73950
/proc/meminfo: memFree=126468332/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=233.94 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101938 0 0 0 23375 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 233.94 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

[startup+234.7 s]
/proc/loadavg: 4.06 3.94 4.00 5/265 73950
/proc/meminfo: memFree=126468332/131250000 swapFree=33010416/33010684
[pid=73882] ppid=73874 vsize=443748 memory=417292 CPUtime=234.04 cores=4,6
/proc/73882/stat : 73882 (pbsolver) R 73874 73882 73823 0 -1 4194304 101941 0 0 0 23385 19 0 0 20 0 1 0 68334143 454397952 104323 18446744073709551615 4198400 14743177 140735611085472 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48205824 140735611087242 140735611087338 140735611087338 140735611092940 0
/proc/73882/statm: 110937 104323 2944 2575 0 107844 0
Current children cumulated CPU time: 234.04 s
Current children cumulated vsize: 443748 KiB
Current children cumulated memory: 417292 KiB

Child status: 0

Real time (s): 234.789
CPU time (s): 234.136
CPU user time (s): 233.93
CPU system time (s): 0.205372
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 443748
Max. memory (cumulated for all children) (KiB): 417292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.93
system time used= 0.205372
maximum resident set size= 417292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101971
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= 21
involuntary context switches= 253


# summary of solver processes directly reported to runsolver:
#   pid: 73882
#   total CPU time (s): 234.136
#   total CPU user time (s): 233.93
#   total CPU system time (s): 0.205372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.423753 second user time and 0.964716 second system time

The end

Launcher Data

Begin job on nodeC027 at 2025-07-03 09:09:03
IDJOB=4509435
IDBENCH=158618
IDSOLVER=3366
FILE ID=nodeC027/4509435-1751526542
RUNJOBID= nodeC027-1751526542-73834
SLURM_JOB_ID= 9598657
Free space on /tmp= 431184 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509435-1751526542/watcher-4509435-1751526542 -o /tmp/evaluation-result-4509435-1751526542/solver-4509435-1751526542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751526542-73834 --watchdog 3760  pbsolver -f HOME/instance-4509435-1751526542.opb -t 3600 -m 31000

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

MD5SUM BENCH= a65412b792c5c6c9e427350dbe88f8fc
RANDOM SEED=1927648802

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129515112 kB
MemAvailable:   129743988 kB
Buffers:            2488 kB
Cached:          1028732 kB
SwapCached:           12 kB
Active:           614912 kB
Inactive:         488232 kB
Active(anon):      87188 kB
Inactive(anon):     2792 kB
Active(file):     527724 kB
Inactive(file):   485440 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             63504 kB
Writeback:             0 kB
AnonPages:         74996 kB
Mapped:           103356 kB
Shmem:             18056 kB
KReclaimable:     109500 kB
Slab:             197948 kB
SReclaimable:     109500 kB
SUnreclaim:        88448 kB
KernelStack:        3924 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     336556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431124 MiB
End job on nodeC027 at 2025-07-03 09:12:58