Trace number 4432705

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 2024-07-07OPT939 4.63488 4.64829

General information on the benchmark

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

Verifier Data

OK	939

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: 63931 MiB (59301 MiB free)
  memory of node 1: 64510 MiB (61257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432705-1721051470/watcher-4432705-1721051470 -o /tmp/evaluation-result-4432705-1721051470/solver-4432705-1721051470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760 pbscip -f HOME/instance-4432705-1721051470.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=831291, runsolver pid=831288
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.08 3.97 3.98 5/257 831292
/proc/meminfo: memFree=123408352/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=104496 memory=63692 CPUtime=0.1 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 12637 0 0 0 8 2 0 0 20 0 1 0 157312334 107003904 15923 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 26124 15923 3670 3540 0 14381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 104496 KiB
Current children cumulated memory: 63692 KiB

[startup+0.205671 s]*
/proc/loadavg: 4.08 3.97 3.98 5/257 831292
/proc/meminfo: memFree=123400708/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=106300 memory=66084 CPUtime=0.2 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 16043 0 0 0 18 2 0 0 20 0 1 0 157312334 108851200 16521 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 26575 16521 3781 3540 0 14832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106300 KiB
Current children cumulated memory: 66084 KiB

[startup+0.305647 s]*
/proc/loadavg: 4.08 3.97 3.98 5/257 831292
/proc/meminfo: memFree=123392504/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=127992 memory=74704 CPUtime=0.3 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 18160 0 0 0 27 3 0 0 20 0 1 0 157312334 131063808 18676 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 31998 18676 3829 3540 0 20255 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 127992 KiB
Current children cumulated memory: 74704 KiB

[startup+0.700215 s]
/proc/loadavg: 4.08 3.97 3.98 5/257 831292
/proc/meminfo: memFree=123331380/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=207144 memory=141132 CPUtime=0.68 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 34658 0 0 0 63 5 0 0 20 0 1 0 157312334 212115456 35283 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 51786 35283 3989 3540 0 40043 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 207144 KiB
Current children cumulated memory: 141132 KiB

[startup+1.50022 s]
/proc/loadavg: 4.08 3.97 3.98 5/257 831292
/proc/meminfo: memFree=123315588/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=228568 memory=160100 CPUtime=1.49 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 39445 0 0 0 143 6 0 0 20 0 1 0 157312334 234053632 40025 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 57142 40025 4005 3540 0 45399 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 228568 KiB
Current children cumulated memory: 160100 KiB

[startup+3.10563 s]
/proc/loadavg: 4.15 3.99 3.98 5/257 831292
/proc/meminfo: memFree=123294016/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=245268 memory=173788 CPUtime=3.08 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 41374 0 0 0 302 6 0 0 20 0 1 0 157312334 251154432 43447 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 61317 43447 4005 3540 0 49574 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 245268 KiB
Current children cumulated memory: 173788 KiB

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

# cumulated CPU time of all completed processes:  user=4.55617 s, system=0.078708 s

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

[startup+3.20023 s]
/proc/loadavg: 4.15 3.99 3.98 5/257 831292
/proc/meminfo: memFree=123294016/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=245268 memory=173788 CPUtime=3.18 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 41376 0 0 0 312 6 0 0 20 0 1 0 157312334 251154432 43447 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 61317 43447 4005 3540 0 49574 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 245268 KiB
Current children cumulated memory: 173788 KiB

[startup+4.0002 s]*
/proc/loadavg: 4.15 3.99 3.98 5/257 831292
/proc/meminfo: memFree=123290440/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=251732 memory=176672 CPUtime=3.98 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 42103 0 0 0 392 6 0 0 20 0 1 0 157312334 257773568 44168 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 62933 44168 4005 3540 0 51190 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 251732 KiB
Current children cumulated memory: 176672 KiB

[startup+4.4002 s]
/proc/loadavg: 4.15 3.99 3.98 5/257 831292
/proc/meminfo: memFree=123290440/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=257660 memory=177464 CPUtime=4.38 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 42282 0 0 0 431 7 0 0 20 0 1 0 157312334 263843840 44366 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 64415 44366 4005 3540 0 52672 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 257660 KiB
Current children cumulated memory: 177464 KiB

[startup+4.60021 s]
/proc/loadavg: 4.15 3.99 3.98 5/257 831292
/proc/meminfo: memFree=123290440/131524600 swapFree=131071996/131071996
[pid=831291] ppid=831288 vsize=254028 memory=169828 CPUtime=4.58 cores=4,6
/proc/831291/stat : 831291 (pbscip) R 831288 831291 812346 0 -1 4194304 42495 0 0 0 451 7 0 0 20 0 1 0 157312334 260124672 42457 134679101440 4194304 18693293 140729592719424 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 48701440 140729592726532 140729592726631 140729592726631 140729592733646 0
/proc/831291/statm: 63507 42457 4005 3540 0 51764 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 254028 KiB
Current children cumulated memory: 169828 KiB

Child status: 0

Real time (s): 4.64829
CPU time (s): 4.63488
CPU user time (s): 4.55617
CPU system time (s): 0.078708
CPU usage (%): 99.7116
Max. virtual memory (cumulated for all children) (KiB): 260592
Max. memory (cumulated for all children) (KiB): 178256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.55617
system time used= 0.078708
maximum resident set size= 178256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42501
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= 7
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 831291
#   total CPU time (s): 4.63488
#   total CPU user time (s): 4.55617
#   total CPU system time (s): 0.078708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020487 second user time and 0.049458 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-15 15:51:22
IDJOB=4432705
IDBENCH=146652
IDSOLVER=3059
FILE ID=nodeC025/4432705-1721051470
RUNJOBID= nodeC025-1721051059-830872
SLURM_JOB_ID= 7505483
Free space on /tmp= 889960 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432705-1721051470/watcher-4432705-1721051470 -o /tmp/evaluation-result-4432705-1721051470/solver-4432705-1721051470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760  pbscip -f HOME/instance-4432705-1721051470.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= b97b9bf3767749854a32fccedb37d823
RANDOM SEED=2112273550

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3666.913
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.175
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.674
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.189
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3659.067
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.196
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
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		: 3667.362
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.993
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123452656 kB
MemAvailable:   126986152 kB
Buffers:          374636 kB
Cached:          3956436 kB
SwapCached:            0 kB
Active:           701008 kB
Inactive:        6688364 kB
Active(anon):       1536 kB
Inactive(anon):  3094168 kB
Active(file):     699472 kB
Inactive(file):  3594196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19052 kB
Writeback:             0 kB
AnonPages:       3058036 kB
Mapped:           137772 kB
Shmem:             37720 kB
KReclaimable:     158948 kB
Slab:             271608 kB
SReclaimable:     158948 kB
SUnreclaim:       112660 kB
KernelStack:        4124 kB
PageTables:        15372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3628620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:    929792 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      240340 kB
DirectMap2M:    32038912 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 889940 MiB
End job on nodeC025 at 2024-07-15 15:51:27