Trace number 4432726

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-07OPT24 26.8891 26.9867

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM5d8f8888afb700f17245f1d666d6f5a0
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 benchmark24
Best CPU time to get the best result obtained on this benchmark4.77812
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
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-4432726-1721099127.opb>
0.00/0.04	c original problem has 7437 variables (7437 bin, 0 int, 0 impl, 0 cont) and 23270 constraints
0.00/0.04	c problem read in 0.04
0.00/0.08	c presolving:
0.10/0.14	c (round 1, fast)       4200 del vars, 7804 del conss, 0 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 13664 clqs
0.10/0.14	c (round 2, fast)       4201 del vars, 10130 del conss, 0 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12908 clqs
0.10/0.15	c (round 3, fast)       4212 del vars, 10141 del conss, 0 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12888 clqs
0.10/0.16	c    (0.2s) running MILP presolver
0.10/0.18	c    (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.10/0.19	c (round 4, exhaustive) 4212 del vars, 10154 del conss, 0 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12888 clqs
0.22/0.22	c (round 5, exhaustive) 4212 del vars, 10154 del conss, 0 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 13096 upgd conss, 0 impls, 12888 clqs
0.22/0.25	c (round 6, exhaustive) 4212 del vars, 12987 del conss, 208 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 13096 upgd conss, 0 impls, 12888 clqs
0.22/0.27	c (round 7, exhaustive) 4212 del vars, 12987 del conss, 208 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 13116 upgd conss, 0 impls, 12888 clqs
0.22/0.28	c (round 8, exhaustive) 4212 del vars, 13062 del conss, 211 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 13116 upgd conss, 0 impls, 12888 clqs
0.22/0.29	c (round 9, fast)       4215 del vars, 13062 del conss, 211 add conss, 596 chg bounds, 0 chg sides, 0 chg coeffs, 13116 upgd conss, 0 impls, 12885 clqs
0.32/0.35	c    (0.4s) probing: 51/3222 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.32/0.35	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.32/0.35	c    (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.32/0.37	c    (0.4s) symmetry computation finished: 4 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.32/0.37	c dynamic symmetry handling statistics:
0.32/0.37	c    orbitopal reduction:       no components
0.32/0.37	c    orbital reduction:         no components
0.32/0.37	c    lexicographic reduction:   no permutations
0.32/0.37	c handled 4 out of 4 symmetry components
0.32/0.38	c presolving (10 rounds: 10 fast, 6 medium, 6 exhaustive):
0.32/0.38	c  4215 deleted vars, 13062 deleted constraints, 215 added constraints, 596 tightened bounds, 0 added holes, 0 changed sides, 3 changed coefficients
0.32/0.38	c  0 implications, 12889 cliques
0.32/0.38	c presolved problem has 3222 variables (3222 bin, 0 int, 0 impl, 0 cont) and 10423 constraints
0.32/0.38	c   10191 constraints of type <setppc>
0.32/0.38	c     211 constraints of type <and>
0.32/0.38	c       4 constraints of type <linear>
0.32/0.38	c      17 constraints of type <logicor>
0.32/0.38	c transformed objective value is always integral (scale: 1)
0.32/0.38	c Presolving Time: 0.30
0.32/0.38	c - non default parameters ----------------------------------------------------------------------
0.32/0.38	c # SCIP version 10.0.0
0.32/0.38	c 
0.32/0.38	c # maximal time in seconds to run
0.32/0.38	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.32/0.38	c limits/time = 3596.997039
0.32/0.38	c 
0.32/0.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.32/0.38	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.32/0.38	c limits/memory = 27900
0.32/0.38	c 
0.32/0.38	c # belongs reading time to solving time?
0.32/0.38	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.32/0.38	c timing/reading = TRUE
0.32/0.38	c 
0.32/0.38	c -----------------------------------------------------------------------------------------------
0.32/0.38	c start solving
0.32/0.38	c 
0.42/0.46	o 134
0.42/0.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.42/0.46	c p 0.5s|     1 |     0 |     0 |     - |   locks|   0 |3222 |  10k|  10k|   0 |  0 |   0 |   0 | 1.000000e+00 | 1.340000e+02 |  Large | unknown
0.42/0.49	o 29
0.42/0.49	c p 0.5s|     1 |     0 |     0 |     - | vbounds|   0 |3222 |  10k|  10k|   0 |  0 |   0 |   0 | 1.000000e+00 | 2.900000e+01 |2800.00%| unknown
0.60/0.62	c   0.6s|     1 |     0 |   751 |     - |   101M |   0 |3222 |  10k|  10k|   0 |  0 |  25 |   0 | 2.235417e+01 | 2.900000e+01 |  29.73%| unknown
1.68/1.74	c   1.7s|     1 |     0 |   851 |     - |   111M |   0 |3222 |  10k|  10k|   5 |  1 |  25 |   0 | 2.250000e+01 | 2.900000e+01 |  28.89%| unknown
2.28/2.38	c   2.4s|     1 |     0 |   932 |     - |   115M |   0 |3222 |  10k|  10k|  12 |  2 |  25 |   0 | 2.253979e+01 | 2.900000e+01 |  28.66%| unknown
3.77/3.86	c   3.9s|     1 |     0 |  1102 |     - |   126M |   0 |3222 |  10k|  10k|  17 |  3 |  25 |   0 | 2.269960e+01 | 2.900000e+01 |  27.76%| unknown
5.27/5.32	c   5.3s|     1 |     0 |  1134 |     - |   137M |   0 |3222 |  10k|  10k|  21 |  4 |  26 |   0 | 2.270538e+01 | 2.900000e+01 |  27.72%| unknown
6.66/6.73	c   6.7s|     1 |     0 |  1229 |     - |   149M |   0 |3222 |  10k|  10k|  25 |  5 |  26 |   0 | 2.274227e+01 | 2.900000e+01 |  27.52%| unknown
7.86/7.98	c   8.0s|     1 |     0 |  1373 |     - |   160M |   0 |3222 |  10k|  10k|  29 |  6 |  28 |   0 | 2.277783e+01 | 2.900000e+01 |  27.32%| unknown
9.35/9.46	c   9.5s|     1 |     0 |  1455 |     - |   172M |   0 |3222 |  10k|  10k|  34 |  7 |  28 |   0 | 2.278602e+01 | 2.900000e+01 |  27.27%| unknown
10.65/10.76	c  10.8s|     1 |     0 |  1591 |     - |   183M |   0 |3222 |  10k|  10k|  38 |  8 |  28 |   0 | 2.280951e+01 | 2.900000e+01 |  27.14%| unknown
11.84/11.91	c  11.9s|     1 |     0 |  1685 |     - |   197M |   0 |3222 |  10k|  10k|  42 |  9 |  28 |   0 | 2.282164e+01 | 2.900000e+01 |  27.07%| unknown
13.05/13.19	c  13.2s|     1 |     0 |  1785 |     - |   201M |   0 |3222 |  10k|  10k|  45 | 10 |  28 |   0 | 2.283505e+01 | 2.900000e+01 |  27.00%| unknown
13.14/13.23	c  13.2s|     1 |     0 |  1877 |     - |   202M |   0 |3222 |  10k|  10k|  48 | 11 |  28 |   0 | 2.284109e+01 | 2.900000e+01 |  26.96%| unknown
13.14/13.26	c  13.3s|     1 |     0 |  1898 |     - |   203M |   0 |3222 |  10k|  10k|  50 | 12 |  28 |   0 | 2.284137e+01 | 2.900000e+01 |  26.96%| unknown
13.24/13.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
13.24/13.31	c  13.3s|     1 |     0 |  1973 |     - |   205M |   0 |3222 |  10k|  10k|  52 | 13 |  28 |   0 | 2.285008e+01 | 2.900000e+01 |  26.91%| unknown
13.24/13.34	c  13.3s|     1 |     0 |  2005 |     - |   206M |   0 |3222 |  10k|  10k|  55 | 14 |  28 |   0 | 2.285267e+01 | 2.900000e+01 |  26.90%| unknown
13.24/13.38	c  13.4s|     1 |     0 |  2066 |     - |   207M |   0 |3222 |  10k|  10k|  58 | 15 |  28 |   0 | 2.285779e+01 | 2.900000e+01 |  26.87%| unknown
13.34/13.42	c  13.4s|     1 |     0 |  2118 |     - |   208M |   0 |3222 |  10k|  10k|  60 | 16 |  28 |   0 | 2.286375e+01 | 2.900000e+01 |  26.84%| unknown
13.34/13.46	c  13.5s|     1 |     0 |  2167 |     - |   209M |   0 |3222 |  10k|  10k|  62 | 17 |  28 |   0 | 2.286731e+01 | 2.900000e+01 |  26.82%| unknown
13.34/13.49	c  13.5s|     1 |     0 |  2203 |     - |   209M |   0 |3222 |  10k|  10k|  66 | 18 |  29 |   0 | 2.286891e+01 | 2.900000e+01 |  26.81%| unknown
13.45/13.53	c  13.5s|     1 |     0 |  2265 |     - |   209M |   0 |3222 |  10k|  10k|  67 | 19 |  29 |   0 | 2.287398e+01 | 2.900000e+01 |  26.78%| unknown
13.45/13.57	c  13.6s|     1 |     0 |  2323 |     - |   210M |   0 |3222 |  10k|  10k|  70 | 20 |  29 |   0 | 2.287882e+01 | 2.900000e+01 |  26.75%| unknown
13.54/13.60	c  13.6s|     1 |     0 |  2347 |     - |   210M |   0 |3222 |  10k|  10k|  72 | 21 |  30 |   0 | 2.287984e+01 | 2.900000e+01 |  26.75%| unknown
13.54/13.64	c  13.6s|     1 |     0 |  2395 |     - |   210M |   0 |3222 |  10k|  10k|  73 | 22 |  30 |   0 | 2.288381e+01 | 2.900000e+01 |  26.73%| unknown
13.54/13.68	c  13.7s|     1 |     0 |  2426 |     - |   210M |   0 |3222 |  10k|  10k|  76 | 23 |  30 |   0 | 2.288403e+01 | 2.900000e+01 |  26.73%| unknown
13.64/13.72	c  13.7s|     1 |     0 |  2473 |     - |   210M |   0 |3222 |  10k|  10k|  77 | 24 |  30 |   0 | 2.288507e+01 | 2.900000e+01 |  26.72%| unknown
13.64/13.75	c  13.7s|     1 |     0 |  2482 |     - |   210M |   0 |3222 |  10k|  10k|  78 | 25 |  31 |   0 | 2.288508e+01 | 2.900000e+01 |  26.72%| unknown
13.64/13.78	c  13.8s|     1 |     0 |  2504 |     - |   211M |   0 |3222 |  10k|  10k|  79 | 26 |  31 |   0 | 2.288535e+01 | 2.900000e+01 |  26.72%| unknown
13.74/13.82	c  13.8s|     1 |     0 |  2530 |     - |   211M |   0 |3222 |  10k|  10k|  80 | 27 |  31 |   0 | 2.288602e+01 | 2.900000e+01 |  26.71%| unknown
13.74/13.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
13.74/13.86	c  13.9s|     1 |     0 |  2543 |     - |   211M |   0 |3222 |  10k|  10k|  81 | 28 |  31 |   0 | 2.288607e+01 | 2.900000e+01 |  26.71%| unknown
13.84/13.90	c  13.9s|     1 |     0 |  2556 |     - |   211M |   0 |3222 |  10k|  10k|  82 | 29 |  31 |   0 | 2.288614e+01 | 2.900000e+01 |  26.71%| unknown
13.84/13.94	c  13.9s|     1 |     0 |  2568 |     - |   211M |   0 |3222 |  10k|  10k|  83 | 30 |  31 |   0 | 2.288619e+01 | 2.900000e+01 |  26.71%| unknown
13.84/13.98	c  14.0s|     1 |     0 |  2576 |     - |   211M |   0 |3222 |  10k|  10k|  84 | 31 |  31 |   0 | 2.288639e+01 | 2.900000e+01 |  26.71%| unknown
13.95/14.02	c  14.0s|     1 |     0 |  2578 |     - |   211M |   0 |3222 |  10k|  10k|  85 | 32 |  31 |   0 | 2.288640e+01 | 2.900000e+01 |  26.71%| unknown
14.34/14.48	o 25
14.34/14.48	c L14.5s|     1 |     0 |  5290 |     - |    rens|   0 |3222 |  10k|  10k|  85 | 32 |  47 |   0 | 2.288640e+01 | 2.500000e+01 |   9.24%| unknown
14.43/14.54	c  14.5s|     1 |     0 |  5290 |     - |   212M |   0 |3222 |  10k|  10k|  85 | 32 |  47 |   0 | 2.288640e+01 | 2.500000e+01 |   9.24%| unknown
14.43/14.56	c  14.6s|     1 |     0 |  5290 |     - |   212M |   0 |3222 |  10k|  10k|  85 | 32 |  47 |   0 | 2.288640e+01 | 2.500000e+01 |   9.24%| unknown
14.43/14.60	c  14.6s|     1 |     0 |  5321 |     - |   212M |   0 |3222 |  10k|  10k|  86 | 33 |  47 |   0 | 2.289196e+01 | 2.500000e+01 |   9.21%| unknown
14.53/14.61	c  14.6s|     1 |     0 |  5331 |     - |   212M |   0 |3222 |  10k|  10k|  87 | 34 |  49 |   0 | 2.289234e+01 | 2.500000e+01 |   9.21%| unknown
16.94/17.03	c  17.0s|     1 |     0 |  5342 |     - |   213M |   0 |3222 |  10k|  10k|  87 | 34 |  53 |  39 | 2.293590e+01 | 2.500000e+01 |   9.00%| unknown
16.94/17.07	c  17.1s|     1 |     0 |  5347 |     - |   213M |   0 |3222 |  10k|  10k|  89 | 35 |  53 |  39 | 2.293590e+01 | 2.500000e+01 |   9.00%| unknown
16.94/17.09	c  17.1s|     1 |     0 |  5367 |     - |   213M |   0 |3222 |  10k|  10k|  90 | 36 |  55 |  39 | 2.293590e+01 | 2.500000e+01 |   9.00%| unknown
17.73/17.81	c  17.8s|     1 |     0 |  5457 |     - |   213M |   0 |3222 |  10k|  10k|  90 | 36 |  59 |  51 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
17.73/17.85	c  17.9s|     1 |     0 |  5468 |     - |   213M |   0 |3222 |  10k|  10k|  95 | 37 |  59 |  51 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
17.73/17.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.73/17.88	c  17.9s|     1 |     0 |  5507 |     - |   213M |   0 |3222 |  10k|  10k|  98 | 38 |  59 |  51 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
18.23/18.39	c  18.4s|     1 |     0 |  5738 |     - |   213M |   0 |3222 |  10k|  10k|  98 | 38 |  65 |  59 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
18.33/18.43	c  18.4s|     1 |     0 |  5807 |     - |   213M |   0 |3222 |  10k|  10k| 103 | 39 |  66 |  59 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
18.33/18.45	c  18.5s|     1 |     0 |  5870 |     - |   213M |   0 |3222 |  10k|  10k| 107 | 40 |  67 |  59 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
18.82/18.90	c  18.9s|     1 |     0 |  5984 |     - |   213M |   0 |3222 |  10k|  10k| 107 | 40 |  74 |  68 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
18.82/18.95	c  18.9s|     1 |     0 |  6008 |     - |   213M |   0 |3222 |  10k|  10k| 111 | 41 |  74 |  68 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
18.82/18.97	c  19.0s|     1 |     0 |  6013 |     - |   213M |   0 |3222 |  10k|  10k| 113 | 42 |  74 |  68 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.32/19.42	c  19.4s|     1 |     0 |  6055 |     - |   213M |   0 |3222 |  10k|  10k| 113 | 42 |  83 |  80 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.32/19.46	c  19.5s|     1 |     0 |  6082 |     - |   213M |   0 |3222 |  10k|  10k| 118 | 43 |  83 |  80 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.32/19.48	c  19.5s|     1 |     0 |  6083 |     - |   213M |   0 |3222 |  10k|  10k| 119 | 44 |  83 |  80 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.62/19.73	c  19.7s|     1 |     0 |  6251 |     - |   214M |   0 |3222 |9591 |  10k| 119 | 44 |  88 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.62/19.75	c  19.7s|     1 |     0 |  6251 |     - |   214M |   0 |3222 |9591 |2271 | 119 | 44 |  88 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.62/19.78	c  19.8s|     1 |     0 |  6271 |     - |   214M |   0 |3222 |2164 |2275 | 123 | 45 |  88 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.62/19.79	c  19.8s|     1 |     0 |  6275 |     - |   214M |   0 |3222 |2165 |2277 | 125 | 46 |  89 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.62/19.79	c  19.8s|     1 |     0 |  6275 |     - |   214M |   0 |3222 |2031 |2277 | 125 | 46 |  89 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.72/19.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.72/19.82	c  19.8s|     1 |     0 |  6287 |     - |   214M |   0 |3222 |2031 |2279 | 127 | 47 |  89 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.72/19.82	c  19.8s|     1 |     0 |  6291 |     - |   214M |   0 |3222 |2032 |2281 | 129 | 48 |  90 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
19.72/19.83	c (run 1, node 1) restarting after 2332 global fixings of integer variables
19.72/19.83	c 
19.72/19.83	c (restart) converted 62 cuts from the global cut pool into linear constraints
19.72/19.83	c 
19.82/19.92	c presolving:
19.82/19.93	c (round 1, fast)       2332 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 177 chg coeffs, 0 upgd conss, 0 impls, 2388 clqs
19.82/19.94	c (round 2, exhaustive) 2332 del vars, 9 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 177 chg coeffs, 0 upgd conss, 0 impls, 2388 clqs
19.82/19.95	c (round 3, exhaustive) 2332 del vars, 9 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 177 chg coeffs, 42 upgd conss, 0 impls, 2388 clqs
19.82/19.95	c (round 4, medium)     2332 del vars, 9 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 179 chg coeffs, 42 upgd conss, 0 impls, 2388 clqs
19.82/19.95	c (round 5, exhaustive) 2332 del vars, 9 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 194 chg coeffs, 42 upgd conss, 0 impls, 2388 clqs
19.82/19.96	c (round 6, exhaustive) 2332 del vars, 12 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 202 chg coeffs, 42 upgd conss, 0 impls, 2388 clqs
19.82/19.97	c (round 7, exhaustive) 2334 del vars, 12 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 212 chg coeffs, 42 upgd conss, 0 impls, 2381 clqs
19.82/19.97	c (round 8, fast)       2336 del vars, 18 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 215 chg coeffs, 42 upgd conss, 0 impls, 2382 clqs
19.82/19.99	c (round 9, exhaustive) 2336 del vars, 29 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 220 chg coeffs, 42 upgd conss, 0 impls, 2382 clqs
19.82/20.00	c (round 10, exhaustive) 2336 del vars, 58 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 222 chg coeffs, 42 upgd conss, 0 impls, 2382 clqs
19.93/20.01	c presolving (11 rounds: 11 fast, 9 medium, 8 exhaustive):
19.93/20.01	c  2336 deleted vars, 58 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 223 changed coefficients
19.93/20.01	c  0 implications, 2382 cliques
19.93/20.01	c presolved problem has 888 variables (888 bin, 0 int, 0 impl, 0 cont) and 2036 constraints
19.93/20.01	c      19 constraints of type <knapsack>
19.93/20.01	c    1836 constraints of type <setppc>
19.93/20.01	c      97 constraints of type <and>
19.93/20.01	c      19 constraints of type <linear>
19.93/20.01	c      65 constraints of type <logicor>
19.93/20.01	c transformed objective value is always integral (scale: 1)
19.93/20.01	c Presolving Time: 0.39
19.93/20.01	c 
19.93/20.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.93/20.06	c  20.1s|     1 |     0 |  7236 |     - |   209M |   0 | 888 |2036 |2081 |   0 |  0 |  90 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
20.32/20.45	c  20.4s|     1 |     0 |  7299 |     - |   215M |   0 | 888 |2036 |2088 |   7 |  1 |  90 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
20.71/20.81	c  20.8s|     1 |     0 |  7472 |     - |   220M |   0 | 888 |2037 |2096 |  15 |  2 |  91 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
20.71/20.81	c  20.8s|     1 |     0 |  7472 |     - |   220M |   0 | 888 |2037 |2061 |  15 |  2 |  91 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
21.02/21.15	c  21.2s|     1 |     0 |  7497 |     - |   221M |   0 | 888 |2006 |2066 |  20 |  3 |  91 |  87 | 2.312072e+01 | 2.500000e+01 |   8.13%| unknown
21.41/21.57	c  21.6s|     1 |     0 |  7584 |     - |   227M |   0 | 888 |2006 |2073 |  27 |  4 |  91 |  87 | 2.312477e+01 | 2.500000e+01 |   8.11%| unknown
21.41/21.58	c  21.6s|     1 |     0 |  7584 |     - |   227M |   0 | 888 |2006 |2017 |  27 |  4 |  91 |  87 | 2.312477e+01 | 2.500000e+01 |   8.11%| unknown
21.81/21.91	c  21.9s|     1 |     0 |  7703 |     - |   229M |   0 | 888 |1954 |2021 |  31 |  5 |  91 |  87 | 2.318844e+01 | 2.500000e+01 |   7.81%| unknown
22.11/22.23	c  22.2s|     1 |     0 |  7787 |     - |   229M |   0 | 888 |1955 |2024 |  34 |  6 |  92 |  87 | 2.323463e+01 | 2.500000e+01 |   7.60%| unknown
22.41/22.57	c  22.6s|     1 |     0 |  7857 |     - |   227M |   0 | 888 |1956 |2026 |  36 |  7 |  93 |  87 | 2.327428e+01 | 2.500000e+01 |   7.41%| unknown
22.70/22.88	c  22.9s|     1 |     0 |  7944 |     - |   231M |   0 | 888 |1956 |2029 |  39 |  8 |  93 |  87 | 2.330231e+01 | 2.500000e+01 |   7.29%| unknown
23.10/23.21	c  23.2s|     1 |     0 |  8007 |     - |   236M |   0 | 888 |1957 |2032 |  42 |  9 |  94 |  87 | 2.332101e+01 | 2.500000e+01 |   7.20%| unknown
23.40/23.57	c  23.6s|     1 |     0 |  8081 |     - |   239M |   0 | 888 |1957 |2036 |  46 | 10 |  94 |  87 | 2.333967e+01 | 2.500000e+01 |   7.11%| unknown
23.40/23.57	c  23.6s|     1 |     0 |  8081 |     - |   239M |   0 | 888 |1958 |2011 |  46 | 10 |  95 |  87 | 2.333967e+01 | 2.500000e+01 |   7.11%| unknown
23.50/23.61	c  23.6s|     1 |     0 |  8124 |     - |   240M |   0 | 888 |1934 |2014 |  49 | 11 |  95 |  87 | 2.334225e+01 | 2.500000e+01 |   7.10%| unknown
23.50/23.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.50/23.65	c  23.7s|     1 |     0 |  8169 |     - |   240M |   0 | 888 |1934 |2018 |  53 | 12 |  95 |  87 | 2.335068e+01 | 2.500000e+01 |   7.06%| unknown
23.61/23.70	c  23.7s|     1 |     0 |  8213 |     - |   240M |   0 | 888 |1934 |1985 |  55 | 13 |  95 |  87 | 2.335238e+01 | 2.500000e+01 |   7.06%| unknown
23.61/23.73	c  23.7s|     1 |     0 |  8276 |     - |   240M |   0 | 888 |1934 |1989 |  59 | 14 |  95 |  87 | 2.335732e+01 | 2.500000e+01 |   7.03%| unknown
23.61/23.73	c  23.7s|     1 |     0 |  8276 |     - |   240M |   0 | 888 |1934 |1986 |  59 | 14 |  95 |  87 | 2.335732e+01 | 2.500000e+01 |   7.03%| unknown
23.61/23.76	c  23.8s|     1 |     0 |  8299 |     - |   240M |   0 | 888 |1931 |1988 |  61 | 15 |  95 |  87 | 2.335763e+01 | 2.500000e+01 |   7.03%| unknown
23.61/23.78	c  23.8s|     1 |     0 |  8310 |     - |   241M |   0 | 888 |1931 |1990 |  63 | 16 |  95 |  87 | 2.335790e+01 | 2.500000e+01 |   7.03%| unknown
23.71/23.82	c  23.8s|     1 |     0 |  8355 |     - |   241M |   0 | 888 |1931 |1992 |  65 | 17 |  95 |  87 | 2.336001e+01 | 2.500000e+01 |   7.02%| unknown
23.71/23.85	c  23.8s|     1 |     0 |  8404 |     - |   241M |   0 | 888 |1932 |1994 |  67 | 18 |  96 |  87 | 2.336451e+01 | 2.500000e+01 |   7.00%| unknown
23.71/23.88	c  23.9s|     1 |     0 |  8441 |     - |   241M |   0 | 888 |1932 |1984 |  70 | 19 |  96 |  87 | 2.336619e+01 | 2.500000e+01 |   6.99%| unknown
23.81/23.91	c  23.9s|     1 |     0 |  8472 |     - |   241M |   0 | 888 |1933 |1989 |  75 | 20 |  97 |  87 | 2.336831e+01 | 2.500000e+01 |   6.98%| unknown
23.81/23.94	c  23.9s|     1 |     0 |  8507 |     - |   241M |   0 | 888 |1933 |1992 |  78 | 21 |  97 |  87 | 2.337071e+01 | 2.500000e+01 |   6.97%| unknown
23.81/23.96	c  24.0s|     1 |     0 |  8523 |     - |   241M |   0 | 888 |1933 |1994 |  80 | 22 |  97 |  87 | 2.337089e+01 | 2.500000e+01 |   6.97%| unknown
23.81/23.99	c  24.0s|     1 |     0 |  8592 |     - |   241M |   0 | 888 |1933 |1995 |  81 | 23 |  98 |  87 | 2.337163e+01 | 2.500000e+01 |   6.97%| unknown
23.92/24.02	c  24.0s|     1 |     0 |  8599 |     - |   242M |   0 | 888 |1933 |1980 |  82 | 24 |  98 |  87 | 2.337180e+01 | 2.500000e+01 |   6.97%| unknown
23.92/24.05	c  24.1s|     1 |     0 |  8609 |     - |   242M |   0 | 888 |1933 |1981 |  83 | 25 |  98 |  87 | 2.337190e+01 | 2.500000e+01 |   6.97%| unknown
23.92/24.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.92/24.08	c  24.1s|     1 |     0 |  8617 |     - |   242M |   0 | 888 |1933 |1982 |  84 | 26 |  98 |  87 | 2.337203e+01 | 2.500000e+01 |   6.97%| unknown
24.02/24.11	c  24.1s|     1 |     0 |  8628 |     - |   242M |   0 | 888 |1933 |1983 |  85 | 27 |  98 |  87 | 2.337218e+01 | 2.500000e+01 |   6.96%| unknown
24.02/24.14	c  24.1s|     1 |     0 |  8632 |     - |   242M |   0 | 888 |1933 |1984 |  86 | 28 |  98 |  87 | 2.337223e+01 | 2.500000e+01 |   6.96%| unknown
24.02/24.17	c  24.2s|     1 |     0 |  8633 |     - |   242M |   0 | 888 |1933 |1985 |  87 | 29 |  98 |  87 | 2.337223e+01 | 2.500000e+01 |   6.96%| unknown
24.11/24.20	c  24.2s|     1 |     0 |  8638 |     - |   242M |   0 | 888 |1933 |1975 |  88 | 30 |  98 |  87 | 2.337224e+01 | 2.500000e+01 |   6.96%| unknown
24.11/24.24	c  24.2s|     1 |     0 |  8639 |     - |   242M |   0 | 888 |1933 |1976 |  89 | 31 |  98 |  87 | 2.337225e+01 | 2.500000e+01 |   6.96%| unknown
24.11/24.24	c  24.2s|     1 |     0 |  8639 |     - |   242M |   0 | 888 |1880 |1976 |  89 | 31 |  98 |  87 | 2.337225e+01 | 2.500000e+01 |   6.96%| unknown
24.11/24.27	c  24.3s|     1 |     0 |  8640 |     - |   242M |   0 | 888 |1880 |1977 |  90 | 32 |  98 |  87 | 2.337225e+01 | 2.500000e+01 |   6.96%| unknown
24.21/24.39	c L24.4s|     1 |     0 |  9278 |     - |    rens|   0 | 888 |1885 |1977 |  90 | 33 | 103 |  87 | 2.337225e+01 | 2.500000e+01 |   6.96%| unknown
24.50/24.63	c  24.6s|     1 |     0 |  9329 |     - |   242M |   0 | 888 |1888 |1977 |  90 | 33 | 110 |  99 | 2.358299e+01 | 2.500000e+01 |   6.01%| unknown
24.50/24.63	c (run 2, node 1) restarting after 89 global fixings of integer variables
24.50/24.63	c 
24.50/24.63	c (restart) converted 45 cuts from the global cut pool into linear constraints
24.50/24.63	c 
24.60/24.73	c presolving:
24.60/24.74	c (round 1, fast)       114 del vars, 129 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 46 chg coeffs, 0 upgd conss, 0 impls, 1969 clqs
24.60/24.74	c (round 2, fast)       131 del vars, 211 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 61 chg coeffs, 0 upgd conss, 0 impls, 1968 clqs
24.60/24.75	c (round 3, exhaustive) 131 del vars, 211 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 74 chg coeffs, 0 upgd conss, 0 impls, 1968 clqs
24.60/24.75	c (round 4, exhaustive) 131 del vars, 211 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 87 chg coeffs, 0 upgd conss, 0 impls, 1968 clqs
24.60/24.76	c (round 5, exhaustive) 131 del vars, 211 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 97 chg coeffs, 24 upgd conss, 0 impls, 1968 clqs
24.60/24.76	c (round 6, medium)     131 del vars, 213 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 99 chg coeffs, 24 upgd conss, 0 impls, 1968 clqs
24.60/24.77	c (round 7, exhaustive) 131 del vars, 213 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 119 chg coeffs, 24 upgd conss, 0 impls, 1968 clqs
24.60/24.77	c (round 8, exhaustive) 131 del vars, 213 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 134 chg coeffs, 24 upgd conss, 0 impls, 1968 clqs
24.60/24.78	c (round 9, exhaustive) 131 del vars, 213 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 148 chg coeffs, 24 upgd conss, 0 impls, 1968 clqs
24.60/24.79	c (round 10, exhaustive) 131 del vars, 214 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 159 chg coeffs, 24 upgd conss, 0 impls, 1968 clqs
24.60/24.79	c (round 11, exhaustive) 131 del vars, 226 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 166 chg coeffs, 24 upgd conss, 0 impls, 1968 clqs
24.70/24.80	c presolving (12 rounds: 12 fast, 10 medium, 9 exhaustive):
24.70/24.80	c  131 deleted vars, 226 deleted constraints, 1 added constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 170 changed coefficients
24.70/24.80	c  0 implications, 1968 cliques
24.70/24.80	c presolved problem has 773 variables (773 bin, 0 int, 0 impl, 0 cont) and 1706 constraints
24.70/24.80	c      32 constraints of type <knapsack>
24.70/24.80	c    1502 constraints of type <setppc>
24.70/24.80	c      86 constraints of type <and>
24.70/24.80	c      35 constraints of type <linear>
24.70/24.80	c      51 constraints of type <logicor>
24.70/24.80	c transformed objective value is always integral (scale: 1)
24.70/24.80	c Presolving Time: 0.46
24.70/24.80	c 
24.70/24.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
24.70/24.83	c  24.8s|     1 |     0 | 10075 |     - |   230M |   0 | 773 |1706 |1754 |   0 |  0 | 110 |  99 | 2.371429e+01 | 2.500000e+01 |   5.42%| unknown
24.70/24.84	c  24.8s|     1 |     0 | 10075 |     - |   230M |   0 | 773 |1706 |1510 |   0 |  0 | 110 |  99 | 2.371429e+01 | 2.500000e+01 |   5.42%| unknown
24.91/25.08	c  25.1s|     1 |     0 | 10228 |     - |   230M |   0 | 773 |1483 |1513 |   6 |  1 | 110 |  99 | 2.383721e+01 | 2.500000e+01 |   4.88%| unknown
24.91/25.08	c  25.1s|     1 |     0 | 10228 |     - |   230M |   0 | 773 |1483 |1482 |   6 |  1 | 110 |  99 | 2.383721e+01 | 2.500000e+01 |   4.88%| unknown
25.20/25.33	c  25.3s|     1 |     0 | 10370 |     - |   231M |   0 | 773 |1450 |1485 |   9 |  2 | 110 |  99 | 2.388636e+01 | 2.500000e+01 |   4.66%| unknown
25.20/25.34	c  25.3s|     1 |     0 | 10370 |     - |   231M |   0 | 773 |1450 |1449 |   9 |  2 | 110 |  99 | 2.388636e+01 | 2.500000e+01 |   4.66%| unknown
25.40/25.51	c  25.5s|     1 |     0 | 10545 |     - |   231M |   0 | 773 |1416 |1453 |  13 |  3 | 110 |  99 | 2.394873e+01 | 2.500000e+01 |   4.39%| unknown
25.40/25.52	c  25.5s|     1 |     0 | 10545 |     - |   231M |   0 | 773 |1416 |1448 |  13 |  3 | 110 |  99 | 2.394873e+01 | 2.500000e+01 |   4.39%| unknown
25.60/25.74	c  25.7s|     1 |     0 | 10655 |     - |   232M |   0 | 773 |1411 |1454 |  19 |  4 | 110 |  99 | 2.397072e+01 | 2.500000e+01 |   4.29%| unknown
25.60/25.75	c  25.7s|     1 |     0 | 10655 |     - |   232M |   0 | 773 |1413 |1343 |  19 |  4 | 112 |  99 | 2.397072e+01 | 2.500000e+01 |   4.29%| unknown
25.80/25.95	c  25.9s|     1 |     0 | 10671 |     - |   233M |   0 | 773 |1309 |1346 |  22 |  5 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
25.91/26.09	c  26.1s|     1 |     0 | 10686 |     - |   234M |   0 | 773 |1309 |1349 |  25 |  6 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
26.10/26.25	c  26.3s|     1 |     0 | 10745 |     - |   234M |   0 | 773 |1309 |1352 |  28 |  7 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
26.30/26.47	c  26.5s|     1 |     0 | 10769 |     - |   234M |   0 | 773 |1309 |1353 |  29 |  8 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
26.49/26.69	c  26.7s|     1 |     0 | 10799 |     - |   235M |   0 | 773 |1309 |1356 |  32 |  9 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
26.69/26.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
26.69/26.87	c  26.9s|     1 |     0 | 10801 |     - |   235M |   0 | 773 |1309 |1357 |  33 | 10 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
26.79/26.91	c  26.9s|     1 |     0 | 10802 |     - |   236M |   0 | 773 |1309 |1358 |  34 | 11 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
26.79/26.91	c  26.9s|     1 |     0 | 10802 |     - |   236M |   0 | 773 | 998 |1358 |  34 | 12 | 112 |  99 | 2.400000e+01 | 2.500000e+01 |   4.17%| unknown
26.79/26.91	o 24
26.79/26.91	c d26.9s|     1 |     0 | 10802 |     - |conflict|   0 | 773 | 985 |1358 |   0 | 13 | 112 |  99 | 2.400000e+01 | 2.400000e+01 |   0.00%| unknown
26.79/26.91	c  26.9s|     1 |     0 | 10802 |     - |   236M |   0 | 773 | 985 |1358 |  34 | 13 | 112 |  99 | 2.400000e+01 | 2.400000e+01 |   0.00%| unknown
26.79/26.91	c 
26.79/26.91	c SCIP Status        : problem is solved [optimal solution found]
26.79/26.91	c Solving Time (sec) : 26.91
26.79/26.91	c Solving Nodes      : 1 (total of 3 nodes in 3 runs)
26.79/26.91	c Primal Bound       : +2.40000000000000e+01 (6 solutions)
26.79/26.91	c Dual Bound         : +2.40000000000000e+01
26.79/26.91	c Gap                : 0.00 %
26.79/26.92	s OPTIMUM FOUND
26.79/26.92	v x221 x220 x7436 x219 x7434 -x7432 x7430 -x218 -x7428 -x7426 -x7424 -x217 -x7422 -x7420 -x7418 -x216 -x7416 -x7414 -x7412 -x7410 
26.79/26.92	v -x7408 -x7406 -x215 -x7404 -x214 -x7402 -x7400 -x7398 -x213 -x7396 -x7394 -x212 -x7392 -x7390 -x7388 -x7386 -x7384 x7382 -x7380 
26.79/26.92	v -x7378 -x7376 -x7374 -x211 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 -x210 -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 
26.79/26.92	v -x7346 -x209 -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x7320 -x208 -x7318 x207 
26.79/26.92	v x7316 -x7314 -x7312 -x206 -x7310 -x7308 -x7306 -x205 -x7304 -x7302 x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x204 
26.79/26.92	v -x7284 -x7282 -x7280 -x7278 -x7276 -x7274 -x7272 -x203 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x202 -x7256 -x7254 
26.79/26.92	v -x7252 -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x201 -x7226 -x7224 -x7222 -x200 
26.79/26.92	v -x7220 -x7218 -x7216 -x7214 -x7212 -x7210 -x7208 -x199 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x198 -x7192 -x7190 
26.79/26.92	v -x7188 -x7186 -x7184 -x7182 -x7180 -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x197 -x7162 -x7160 -x7158 -x7156 
26.79/26.92	v -x7154 -x7152 -x7150 -x196 -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 
26.79/26.92	v -x7120 -x195 -x7118 -x7116 -x7114 -x7112 -x7110 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x194 -x7088 
26.79/26.92	v -x7086 -x7084 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 
26.79/26.92	v -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x193 -x7033 -x192 -x7031 -x7029 -x7027 -x191 -x7025 -x7023 -x7021 
26.79/26.92	v -x190 -x7019 -x7017 -x7015 -x7013 -x7011 x7009 -x7007 x189 -x7005 -x7003 -x188 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 
26.79/26.92	v -x6989 -x187 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x186 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 
26.79/26.92	v -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x185 -x6943 x6941 -x6939 x184 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 
26.79/26.92	v -x183 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x182 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 
26.79/26.92	v -x6891 -x6889 -x6887 -x6885 -x6883 -x181 -x6881 -x6879 -x6877 -x6875 -x6873 -x6871 -x6869 -x180 -x6867 -x6865 -x6863 -x6861 
26.79/26.92	v -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 
26.79/26.92	v -x6823 -x6821 -x6819 -x6817 x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 
26.79/26.92	v -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 
26.79/26.92	v -x6751 -x6749 -x179 -x6747 x6745 -x6743 x178 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x177 -x6727 -x6725 -x6723 -x6721 
26.79/26.92	v -x6719 -x6717 -x6715 -x176 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 
26.79/26.92	v -x6685 -x175 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x174 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 
26.79/26.92	v -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x173 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 
26.79/26.92	v -x6619 -x6617 -x6615 -x6613 -x6611 -x172 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 
26.79/26.92	v -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 
26.79/26.92	v -x6549 -x171 -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x170 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 
26.79/26.92	v -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 
26.79/26.92	v -x6481 -x6479 -x6477 -x6475 -x169 -x6473 -x6471 -x6469 -x6467 -x6465 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 
26.79/26.92	v -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 -x6412 
26.79/26.92	v -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x168 -x6384 -x6382 -x6380 -x6378 
26.79/26.92	v -x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 -x6342 
26.79/26.92	v -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x167 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 -x6308 
26.79/26.92	v -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x6274 
26.79/26.92	v -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x166 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 -x6240 
26.79/26.92	v -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 
26.79/26.92	v -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 
26.79/26.92	v -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x165 -x6140 -x164 -x6138 -x6136 
26.79/26.92	v -x6134 x6132 -x6130 -x6128 -x163 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x162 -x6112 -x6110 -x6108 -x161 -x6106 -x6104 
26.79/26.92	v -x6102 -x6100 -x6098 -x6096 -x6094 -x160 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x159 -x6078 -x6076 -x6074 -x6072 
26.79/26.92	v -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x158 -x6048 -x6046 -x6044 -x157 -x6042 -x6040 
26.79/26.92	v -x6038 -x6036 -x6034 -x6032 -x6030 -x156 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x155 -x6014 -x6012 -x6010 -x6008 
26.79/26.92	v -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x154 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 
26.79/26.92	v -x5972 -x153 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x152 
26.79/26.92	v -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x151 -x5910 -x5908 
26.79/26.92	v -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 
26.79/26.92	v -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x150 -x5849 -x5847 -x5845 -x149 -x5843 -x5841 -x5839 
26.79/26.92	v -x5837 -x5835 -x5833 -x5831 -x148 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x147 -x5815 -x5813 -x5811 -x5809 -x5807 
26.79/26.92	v -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x146 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 
26.79/26.92	v -x145 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x144 -x5741 -x5739 
26.79/26.92	v -x5737 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x143 -x5711 -x5709 -x5707 -x5705 
26.79/26.92	v -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 
26.79/26.92	v -x5669 -x5667 -x5665 -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x142 -x5649 -x5647 -x5645 -x141 -x5643 -x5641 -x5639 -x5637 
26.79/26.92	v -x5635 -x5633 -x5631 -x140 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x139 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 
26.79/26.92	v -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x138 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x137 
26.79/26.92	v -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x136 -x5541 -x5539 
26.79/26.92	v -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x135 -x5511 -x5509 -x5507 -x5505 
26.79/26.92	v -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 
26.79/26.92	v -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x134 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x133 
26.79/26.92	v -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x132 -x5405 -x5403 
26.79/26.92	v -x5401 -x5399 -x5397 -x5395 -x5393 x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 
26.79/26.92	v -x5365 -x5363 -x131 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 
26.79/26.92	v -x130 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 
26.79/26.92	v -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x129 -x5272 -x5270 -x5268 -x5266 -x5264 
26.79/26.92	v -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x128 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 
26.79/26.92	v -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 
26.79/26.92	v -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x127 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 
26.79/26.92	v -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 
26.79/26.92	v -x5122 -x5120 -x126 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 
26.79/26.92	v -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 
26.79/26.92	v -x5053 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 
26.79/26.92	v -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x125 -x4991 -x4989 -x4987 -x124 
26.79/26.92	v -x4985 -x4983 -x4981 -x123 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x122 -x4965 -x4963 -x4961 -x121 -x4959 -x4957 -x4955 
26.79/26.92	v -x4953 -x4951 -x4949 -x4947 -x120 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x119 -x4931 -x4929 -x4927 -x4925 -x4923 
26.79/26.92	v -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x118 -x4901 -x4899 -x117 -x4897 -x4895 -x4893 -x4891 
26.79/26.92	v -x4889 -x4887 -x4885 -x116 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x115 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 
26.79/26.92	v -x4857 -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x114 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x113 
26.79/26.92	v -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x112 -x4795 -x4793 
26.79/26.92	v -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x111 -x4765 -x4763 -x4761 -x4759 
26.79/26.92	v -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 
26.79/26.92	v -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x110 -x4703 -x4701 -x4699 -x109 -x4697 -x4695 -x4693 -x4691 
26.79/26.92	v -x4689 -x4687 -x4685 -x108 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x107 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 
26.79/26.92	v -x4657 -x4655 -x4653 x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x106 -x4625 -x4623 
26.79/26.92	v -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x105 -x4595 -x4593 -x4591 -x4589 
26.79/26.92	v -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x104 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 
26.79/26.92	v -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 
26.79/26.92	v -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x103 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x102 -x4489 -x4487 
26.79/26.92	v -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x101 -x4459 -x4457 -x4455 -x4453 
26.79/26.92	v -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x100 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 
26.79/26.92	v -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 
26.79/26.92	v -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x99 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 
26.79/26.92	v -x4347 -x4345 -x4343 -x4341 -x4339 -x98 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 
26.79/26.92	v -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 
26.79/26.92	v -x4277 -x97 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 
26.79/26.92	v -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x96 -x4213 -x4211 
26.79/26.92	v -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4174 
26.79/26.92	v -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 
26.79/26.92	v -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 
26.79/26.92	v -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x95 -x4088 -x4086 -x4084 -x94 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 
26.79/26.92	v -x93 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x92 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 
26.79/26.92	v -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x91 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x90 -x4010 -x4008 -x4006 -x4004 
26.79/26.92	v -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x89 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 
26.79/26.92	v -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x88 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 
26.79/26.92	v -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 
26.79/26.92	v -x3898 -x3896 -x3894 -x87 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x86 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 
26.79/26.92	v -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x85 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 
26.79/26.92	v -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x84 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 
26.79/26.92	v -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 
26.79/26.92	v -x3762 -x3760 -x83 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x82 
26.79/26.92	v -x3728 -x3726 x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 
26.79/26.92	v -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 
26.79/26.92	v -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 
26.79/26.92	v -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x81 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 
26.79/26.92	v -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 
26.79/26.92	v -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 
26.79/26.92	v -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 x3482 
26.79/26.92	v -x3480 -x3478 -x80 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x79 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x78 
26.79/26.92	v -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x77 -x3416 
26.79/26.92	v -x3414 -x3412 -x76 -x3410 -x3408 -x3406 -x75 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x74 -x3390 -x3388 -x3386 -x73 
26.79/26.92	v -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x72 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x71 -x3356 -x3354 -x3352 
26.79/26.92	v -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x70 -x3326 -x3324 -x3322 -x69 -x3320 
26.79/26.92	v -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x68 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x67 -x3292 -x3290 -x3288 -x3286 
26.79/26.92	v -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x66 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 
26.79/26.92	v -x3250 -x65 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x64 
26.79/26.92	v -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x63 -x3188 -x3186 
26.79/26.92	v -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 
26.79/26.92	v -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x62 -x3126 -x3124 -x3122 -x61 -x3120 -x3118 -x3116 
26.79/26.92	v -x3114 -x3112 -x3110 -x3108 -x60 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x59 -x3092 -x3090 -x3088 -x3086 -x3084 
26.79/26.92	v -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x58 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 
26.79/26.92	v -x57 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x56 -x3018 -x3016 
26.79/26.92	v -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x55 -x2988 -x2986 -x2984 -x2982 
26.79/26.92	v -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 
26.79/26.92	v -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x54 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x53 
26.79/26.92	v -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x52 -x2882 -x2880 
26.79/26.92	v -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x51 -x2852 -x2850 -x2848 -x2846 
26.79/26.92	v -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 
26.79/26.92	v -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x50 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 
26.79/26.92	v -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x49 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 
26.79/26.92	v -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 
26.79/26.92	v -x2704 -x2702 -x2700 -x48 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 
26.79/26.92	v -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x47 -x2636 
26.79/26.92	v -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 
26.79/26.92	v -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 
26.79/26.92	v -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 
26.79/26.92	v -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x46 -x2510 -x2508 -x2506 -x45 -x2504 -x2502 -x2500 -x2498 -x2496 
26.79/26.92	v -x2494 -x2492 -x44 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x43 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 
26.79/26.92	v -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x42 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x41 -x2434 -x2432 -x2430 
26.79/26.92	v -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x40 -x2404 -x2402 -x2400 -x2398 -x2396 
26.79/26.92	v -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x39 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 
26.79/26.92	v -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 
26.79/26.92	v -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x38 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x37 -x2298 -x2296 -x2294 
26.79/26.92	v -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x36 -x2268 -x2266 -x2264 -x2262 -x2260 
26.79/26.92	v -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x35 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 
26.79/26.92	v -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 
26.79/26.92	v -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x34 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 
26.79/26.92	v -x2154 -x2152 -x2150 -x2148 -x33 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 
26.79/26.92	v -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 
26.79/26.92	v -x32 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 
26.79/26.92	v -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x31 -x2022 -x2020 -x2018 -x2016 
26.79/26.92	v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 
26.79/26.92	v -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 
26.79/26.92	v -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 
26.79/26.92	v -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x30 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x29 -x1882 -x1880 -x1878 -x1876 
26.79/26.92	v -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x28 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 
26.79/26.92	v -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x27 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 
26.79/26.92	v -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 
26.79/26.92	v -x1770 -x1768 -x1766 -x1764 -x1762 -x26 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 
26.79/26.92	v -x1736 -x1734 -x1732 -x25 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 
26.79/26.92	v -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x24 
26.79/26.92	v -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 
26.79/26.92	v -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x23 -x1606 -x1604 -x1602 -x1600 
26.79/26.92	v -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 
26.79/26.92	v -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 
26.79/26.92	v -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 
26.79/26.92	v -x1490 -x1488 -x1486 -x1484 -x1482 -x22 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 
26.79/26.92	v -x1456 -x1454 -x1452 -x21 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 
26.79/26.92	v -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x20 
26.79/26.92	v -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 
26.79/26.92	v -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x19 -x1326 -x1324 -x1322 -x1320 
26.79/26.92	v -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 
26.79/26.92	v -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 
26.79/26.92	v -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 
26.79/26.92	v -x1209 -x1207 -x1205 -x1203 -x18 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 
26.79/26.92	v -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 
26.79/26.92	v -x17 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 
26.79/26.92	v -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 
26.79/26.92	v -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 
26.79/26.92	v -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x16 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 
26.79/26.92	v -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 
26.79/26.92	v -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 
26.79/26.92	v -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x15 -x889 -x887 -x885 -x883 -x881 -x879 
26.79/26.92	v -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 x837 
26.79/26.92	v -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 
26.79/26.92	v -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 
26.79/26.92	v -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 
26.79/26.92	v -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 
26.79/26.92	v -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x14 -x630 -x628 
26.79/26.92	v -x626 -x624 -x622 -x620 -x618 -x13 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x12 -x602 -x600 -x598 -x596 -x594 -x592 -x590 
26.79/26.92	v -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x11 -x572 -x570 -x568 -x566 x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 
26.79/26.92	v -x548 -x546 -x10 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x9 -x514 -x512 
26.79/26.92	v -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x8 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 
26.79/26.92	v -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 x438 -x436 -x434 -x432 -x430 -x428 
26.79/26.92	v -x426 -x424 -x422 -x420 -x418 -x7 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x6 -x402 -x400 -x398 -x396 -x394 -x392 -x390 
26.79/26.92	v -x5 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x4 -x358 -x356 -x354 -x352 -x350 
26.79/26.92	v -x348 -x346 -x3 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x2 -x314 -x312 
26.79/26.92	v -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x1 -x284 -x282 -x280 -x278 -x276 -x274 -x272 
26.79/26.92	v -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 x240 -x238 -x236 -x234 -x232 -x230 
26.79/26.92	v -x228 -x226 -x224 -x222 x7437 x7435 -x7433 x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 -x7411 -x7409 
26.79/26.92	v -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 x7383 -x7381 -x7379 -x7377 -x7375 -x7373 
26.79/26.92	v -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341 -x7339 -x7337 
26.79/26.92	v -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 x7317 -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 -x7303 x7301 
26.79/26.92	v -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7267 -x7265 
26.79/26.92	v -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 
26.79/26.92	v -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 
26.79/26.92	v -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161 -x7159 -x7157 
26.79/26.92	v -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 -x7127 -x7125 -x7123 
26.79/26.92	v -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 
26.79/26.92	v -x7085 -x7083 -x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 
26.79/26.92	v -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 
26.79/26.92	v -x7014 -x7012 x7010 -x7008 -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 
26.79/26.92	v -x6978 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 
26.79/26.92	v x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 
26.79/26.92	v -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 
26.79/26.92	v -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 x6844 -x6842 -x6840 -x6838 -x6836 
26.79/26.92	v -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 
26.79/26.92	v -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 
26.79/26.92	v -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 -x6730 -x6728 
26.79/26.92	v -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 
26.79/26.92	v -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 
26.79/26.92	v -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x6630 -x6628 -x6626 -x6624 -x6622 
26.79/26.92	v -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x6586 
26.79/26.92	v -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 -x6550 
26.79/26.92	v -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 
26.79/26.92	v -x6512 -x6510 -x6508 -x6506 x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 
26.79/26.92	v -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 
26.79/26.92	v -x6441 -x6439 -x6437 x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 
26.79/26.92	v -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 
26.79/26.92	v -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 
26.79/26.92	v -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 
26.79/26.92	v -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 
26.79/26.92	v -x6263 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 
26.79/26.92	v -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 
26.79/26.92	v -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 
26.79/26.92	v -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 
26.79/26.92	v -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 
26.79/26.92	v -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 
26.79/26.92	v -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 
26.79/26.92	v -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 
26.79/26.92	v -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 
26.79/26.92	v -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 
26.79/26.92	v -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 
26.79/26.92	v -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 
26.79/26.92	v -x5836 -x5834 -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 
26.79/26.92	v -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 
26.79/26.92	v -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 
26.79/26.92	v -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 
26.79/26.92	v -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 
26.79/26.92	v -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 
26.79/26.92	v -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 
26.79/26.92	v -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 
26.79/26.92	v -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 
26.79/26.92	v -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 
26.79/26.92	v -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 
26.79/26.92	v -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 
26.79/26.92	v -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 
26.79/26.92	v -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 
26.79/26.92	v -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 
26.79/26.92	v -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 
26.79/26.92	v -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 
26.79/26.92	v -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 
26.79/26.92	v -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 
26.79/26.92	v -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 
26.79/26.92	v -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 
26.79/26.92	v -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 x5069 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 
26.79/26.92	v -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 
26.79/26.92	v -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 
26.79/26.92	v -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 
26.79/26.92	v -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 
26.79/26.92	v -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 
26.79/26.92	v -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 
26.79/26.92	v -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 
26.79/26.92	v -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 
26.79/26.92	v -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 
26.79/26.92	v -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 
26.79/26.92	v -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 
26.79/26.92	v -x4658 -x4656 -x4654 x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 
26.79/26.92	v -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 
26.79/26.92	v -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 
26.79/26.92	v -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 
26.79/26.92	v -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 
26.79/26.92	v -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 
26.79/26.92	v -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 
26.79/26.92	v -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 
26.79/26.92	v -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 
26.79/26.92	v -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 
26.79/26.92	v -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 
26.79/26.92	v -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 
26.79/26.92	v -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 
26.79/26.92	v -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 
26.79/26.92	v -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 
26.79/26.92	v -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 
26.79/26.92	v -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 
26.79/26.92	v -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 
26.79/26.92	v -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 
26.79/26.92	v -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 
26.79/26.92	v -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 
26.79/26.92	v -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 
26.79/26.92	v -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 
26.79/26.92	v -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 
26.79/26.92	v -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 
26.79/26.92	v -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 
26.79/26.92	v -x3731 -x3729 -x3727 x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 
26.79/26.92	v -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 
26.79/26.92	v -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 
26.79/26.92	v -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 
26.79/26.92	v -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 
26.79/26.92	v -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 
26.79/26.92	v -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 x3483 -x3481 
26.79/26.92	v -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 
26.79/26.92	v -x3443 -x3441 -x3439 -x3437 x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 
26.79/26.92	v -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 
26.79/26.92	v -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 
26.79/26.92	v -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 
26.79/26.92	v -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 
26.79/26.92	v -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 
26.79/26.92	v -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 
26.79/26.92	v -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 
26.79/26.92	v -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 
26.79/26.92	v -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 
26.79/26.92	v -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 
26.79/26.92	v -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 
26.79/26.92	v -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 
26.79/26.92	v -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 
26.79/26.92	v -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 
26.79/26.92	v -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 
26.79/26.92	v -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 
26.79/26.92	v -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 
26.79/26.92	v -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 
26.79/26.92	v -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 
26.79/26.92	v -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 
26.79/26.92	v -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 
26.79/26.92	v -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 
26.79/26.92	v -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 
26.79/26.92	v -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 
26.79/26.92	v -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 
26.79/26.92	v -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 
26.79/26.92	v -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 
26.79/26.92	v -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 
26.79/26.92	v -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 
26.79/26.92	v -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 
26.79/26.92	v -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 
26.79/26.92	v -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 
26.79/26.92	v -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 
26.79/26.92	v -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 
26.79/26.92	v -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 
26.79/26.92	v -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 
26.79/26.92	v -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 
26.79/26.92	v -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 
26.79/26.92	v -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 
26.79/26.92	v -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 
26.79/26.92	v -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 
26.79/26.92	v -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 
26.79/26.92	v -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 
26.79/26.92	v -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 
26.79/26.92	v -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 
26.79/26.92	v -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 
26.79/26.92	v -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 
26.79/26.92	v -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 
26.79/26.92	v -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 
26.79/26.92	v -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 
26.79/26.92	v -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 
26.79/26.92	v -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 
26.79/26.92	v -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 
26.79/26.92	v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 
26.79/26.92	v -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 
26.79/26.92	v -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 
26.79/26.92	v -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 
26.79/26.92	v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 
26.79/26.92	v -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 
26.79/26.92	v -x1301 -x1299 -x1297 -x1295 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 
26.79/26.92	v -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 
26.79/26.92	v -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 
26.79/26.92	v -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 
26.79/26.92	v -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 
26.79/26.92	v -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 
26.79/26.92	v -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 
26.79/26.92	v -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 
26.79/26.92	v -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 
26.79/26.92	v -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 
26.79/26.92	v -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 
26.79/26.92	v -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 
26.79/26.92	v -x852 -x850 -x848 -x846 -x844 -x842 -x840 x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x819 -x817 -x815 -x813 
26.79/26.92	v -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 
26.79/26.92	v -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 
26.79/26.92	v -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 
26.79/26.92	v -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 
26.79/26.92	v -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 
26.79/26.92	v -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 x565 -x563 
26.79/26.92	v -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 
26.79/26.92	v -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 
26.79/26.92	v -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 x439 -x437 
26.79/26.92	v -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 
26.79/26.92	v -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 
26.79/26.92	v -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 
26.79/26.92	v -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 
26.79/26.92	v -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 x241 -x239 -x237 -x235 -x233 -x231 -x229 
26.79/26.92	v -x227 -x225 -x223 
26.79/26.92	c SCIP Status        : problem is solved [optimal solution found]
26.79/26.92	c Total Time         :      26.91
26.79/26.92	c   solving          :      26.91
26.79/26.92	c   presolving       :       0.46 (included in solving)
26.79/26.92	c   reading          :       0.04 (included in solving)
26.79/26.92	c   copying          :       0.04 (3 #copies) (minimal 0.01, maximal 0.02, average 0.01)
26.79/26.92	c Original Problem   :
26.79/26.92	c   Problem name     : HOME/instance-4432726-1721099127.opb
26.79/26.92	c   Variables        : 7437 (7437 binary, 0 integer, 0 implicit integer, 0 continuous)
26.79/26.92	c   Constraints      : 23270 initial, 23270 maximal
26.79/26.92	c   Objective        : minimize, 3612 non-zeros (abs.min = 1, abs.max = 1)
26.79/26.92	c Presolved Problem  :
26.79/26.92	c   Problem name     : t_HOME/instance-4432726-1721099127.opb
26.79/26.92	c   Variables        : 773 (773 binary, 0 integer, 0 implicit integer, 0 continuous)
26.79/26.92	c   Constraints      : 1706 initial, 1706 maximal
26.79/26.92	c   Objective        : minimize, 687 non-zeros (abs.min = 1, abs.max = 1)
26.79/26.92	c   Nonzeros         : 22345 constraint, 2723 clique table
26.79/26.92	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
26.79/26.92	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   domcol           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
26.79/26.92	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
26.79/26.92	c   gateextraction   :       0.05       0.00     21          0          0          0          0          0       2908        211          0          0
26.79/26.92	c   implics          :       0.00       0.00     25          0          0          0          0          0          0          0          0          0
26.79/26.92	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   milp             :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
26.79/26.92	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
26.79/26.92	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   trivial          :       0.00       0.00     33       2439          0          0          0          0          0          0          0          0
26.79/26.92	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   dualfix          :       0.00       0.00     33          1          0          0          0          0          0          0          0          0
26.79/26.92	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   probing          :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
26.79/26.92	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
26.79/26.92	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          4          0          0
26.79/26.92	c   vbounds          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
26.79/26.92	c   knapsack         :       0.04       0.00     52          0          0          0          0          0          0          1          3        148
26.79/26.92	c   setppc           :       0.09       0.01     64          5          0          0          0          0        242          0          0          0
26.79/26.92	c   and              :       0.01       0.00     37          6          0          0          0          0          0          0          0         66
26.79/26.92	c   linear           :       0.10       0.01     41        597       3615          0        597          0      10162          0          2          0
26.79/26.92	c   logicor          :       0.00       0.00     57          3          0          0          0          0         34          0          0        182
26.79/26.92	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   components       :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
26.79/26.92	c   root node        :          -          -      -       2746          -          -       2746          -          -          -          -          -
26.79/26.92	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
26.79/26.92	c   benderslp        :          0          0          0          0          7          0          0        108          0          0          0          0          0          0          0
26.79/26.92	c   integral         :          0          0          0          0          7          0          0        108          0          0         11          0          0         15          0
26.79/26.92	c   knapsack         :         32         32         46       3027          0          0          0          0          4          0          0          5          1          0          0
26.79/26.92	c   setppc           :       1502       1502         86      16407          0          0          0         99        483          6        291          3          0          0          0
26.79/26.92	c   and              :         86         86         86      19008          0          0          0         91         63         28        157          0          0          0          0
26.79/26.92	c   linear           :         35         35         86      14648          0          0          0          7          0          0          0          0          0          0          0
26.79/26.92	c   logicor          :         51         51         86       2113          0          0          0          9         11          7          2         80         25          0          0
26.79/26.92	c   benders          :          0          0          0          0          0          0          0          8          0          0          0          0          0          0          0
26.79/26.92	c   fixedvar         :          0          0          0          0          0          0          0          8          0          0          0          0          0          0          0
26.79/26.92	c   countsols        :          0          0          0          0          0          0          0          8          0          0          0          0          0          0          0
26.79/26.92	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
26.79/26.92	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   integral         :       4.94       0.00       0.00       0.00       4.94       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   knapsack         :       0.38       0.00       0.36       0.02       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   setppc           :       0.35       0.01       0.02       0.23       0.00       0.00       0.00       0.07       0.00       0.02
26.79/26.92	c   and              :       0.08       0.00       0.02       0.05       0.00       0.00       0.00       0.01       0.00       0.00
26.79/26.92	c   linear           :       0.06       0.01       0.04       0.01       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   logicor          :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
26.79/26.92	c   dualfix          :         26          0          0          0
26.79/26.92	c   genvbounds       :          0          0          0          0
26.79/26.92	c   nlobbt           :          0          0          0          0
26.79/26.92	c   obbt             :          0          0          0          0
26.79/26.92	c   probing          :          0          0          0          0
26.79/26.92	c   pseudoobj        :        164          0          0          0
26.79/26.92	c   redcost          :        127          0          0       2241
26.79/26.92	c   rootredcost      :          0          0          0          0
26.79/26.92	c   symmetry         :          0          0          0          0
26.79/26.92	c   vbounds          :       7150          0          0          0
26.79/26.92	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
26.79/26.92	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   probing          :       0.06       0.00       0.06       0.00       0.00       0.00
26.79/26.92	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
26.79/26.92	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
26.79/26.92	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c   symmetry         :       0.02       0.00       0.02       0.00       0.00       0.00
26.79/26.92	c   vbounds          :       0.01       0.00       0.00       0.00       0.00       0.00
26.79/26.92	c Symmetry           :
26.79/26.92	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
26.79/26.92	c   orbital reduction:          0 reductions applied,          0 cutoffs
26.79/26.92	c   lexicographic red:          0 reductions applied,          0 cutoffs
26.79/26.92	c   shadow tree time :       0.00 s
26.79/26.92	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
26.79/26.92	c   propagation      :       0.00         30         30          -         76       14.0          1        9.0          -          -          -
26.79/26.92	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
26.79/26.92	c   bound exceed. LP :       0.05         38         24          -         52        3.5          0        0.0          0        0.0        140
26.79/26.92	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
26.79/26.92	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
26.79/26.92	c   applied globally :       0.00          -          -          0        112        7.5          -          -          0          -          -
26.79/26.92	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
26.79/26.92	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
26.79/26.92	c   cut pool         :       0.14          -        150        150          -          -       4798      13728          -          -          -          -          -    (maximal pool size:       1764)
26.79/26.92	c   aggregation      :       1.14       0.00         84         84          0          0          3          3          0          0          0          0          0
26.79/26.92	c   > cmir           :          -          -          -          -          -          -          -          2          0          0          0          0          -
26.79/26.92	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
26.79/26.92	c   > knapsackcover  :          -          -          -          -          -          -          -          1          0          0          0          0          -
26.79/26.92	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   clique           :       0.07       0.00         84         84          0          0        146        226          0         93         93          0          0
26.79/26.92	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   gomory           :      16.68       0.00         30         30          0          0       4585      13369          0         72         72          0          0
26.79/26.92	c   > gomorymi       :          -          -          -          -          -          -          -       9861          0         64         64          0          -
26.79/26.92	c   > strongcg       :          -          -          -          -          -          -          -       3508          0          8          8          0          -
26.79/26.92	c   impliedbounds    :       0.04       0.00         84         84          0          0          5          5          0          4          4          0          0
26.79/26.92	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   mcf              :       0.00       0.00          3          3          0          0          0          0          0          0          0          0          0
26.79/26.92	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   multilinear      :       0.00       0.00         86         86          0          0          0          0          0          0          0          0          0
26.79/26.92	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   rapidlearning    :       0.01       0.00          0          0          0          0          0          0          0          0          0          0          0
26.79/26.92	c   rlt              :       0.15       0.00         30         30          0          0          0          0          0          0          0          0          0
26.79/26.92	c   zerohalf         :       0.13       0.00         51         51          0          0         59        125          0         58         58          0          0
26.79/26.92	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
26.79/26.92	c   hybrid           :       0.05       0.00         91         91        253          0      13563        253          0      13563
26.79/26.92	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c Pricers            :   ExecTime  SetupTime      Calls       Vars
26.79/26.92	c   problem variables:       0.00          -          0          0
26.79/26.92	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
26.79/26.92	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c   relpscost        :       4.94       0.00          7          0          0          0         11          0         15          0
26.79/26.92	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
26.79/26.92	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
26.79/26.92	c   LP solutions     :       0.00          -          -          0          0
26.79/26.92	c   relax solutions  :       0.00          -          -          0          0
26.79/26.92	c   pseudo solutions :       0.00          -          -          0          0
26.79/26.92	c   strong branching :       0.00          -          -          0          0
26.79/26.92	c   actconsdiving    :       0.00       0.00          0          0          0
26.79/26.92	c   adaptivediving   :       0.00       0.00          0          0          0
26.79/26.92	c   alns             :       0.05       0.00          1          0          0
26.79/26.92	c   bound            :       0.00       0.00          0          0          0
26.79/26.92	c   clique           :       0.04       0.00          1          0          0
26.79/26.92	c   coefdiving       :       0.00       0.00          0          0          0
26.79/26.92	c   completesol      :       0.00       0.00          0          0          0
26.79/26.92	c   conflictdiving   :       0.16       0.00          3          1          1
26.79/26.92	c   crossover        :       0.00       0.00          0          0          0
26.79/26.92	c   dins             :       0.00       0.00          0          0          0
26.79/26.92	c   distributiondivin:       0.00       0.00          0          0          0
26.79/26.92	c   dps              :       0.00       0.00          0          0          0
26.79/26.92	c   dualval          :       0.00       0.00          0          0          0
26.79/26.92	c   farkasdiving     :       0.00       0.00          0          0          0
26.79/26.92	c   feasjump         :       0.00       0.00          0          0          0
26.79/26.92	c   feaspump         :       0.23       0.00          1          1          0
26.79/26.92	c   fixandinfer      :       0.00       0.00          0          0          0
26.79/26.92	c   fracdiving       :       0.00       0.00          0          0          0
26.79/26.92	c   gins             :       0.00       0.00          0          0          0
26.79/26.92	c   guideddiving     :       0.00       0.00          0          0          0
26.79/26.92	c   indcoefdiving    :       0.00       0.00          0          0          0
26.79/26.92	c   indicator        :       0.00       0.00          0          0          0
26.79/26.92	c   indicatordiving  :       0.00       0.00          0          0          0
26.79/26.92	c   indoneopt        :       0.00       0.00          0          0          0
26.79/26.92	c   indrounding      :       0.00       0.00          0          0          0
26.79/26.92	c   indtwoopt        :       0.00       0.00          0          0          0
26.79/26.92	c   intdiving        :       0.00       0.00          0          0          0
26.79/26.92	c   intshifting      :       0.00       0.00          0          0          0
26.79/26.92	c   linesearchdiving :       0.00       0.00          0          0          0
26.79/26.92	c   localbranching   :       0.00       0.00          0          0          0
26.79/26.92	c   locks            :       0.04       0.00          1          1          1
26.79/26.92	c   lpface           :       0.00       0.00          0          0          0
26.79/26.92	c   mpec             :       0.00       0.00          0          0          0
26.79/26.92	c   multistart       :       0.00       0.00          0          0          0
26.79/26.92	c   mutation         :       0.00       0.00          0          0          0
26.79/26.92	c   nlpdiving        :       0.00       0.00          0          0          0
26.79/26.92	c   objpscostdiving  :       0.00       0.00          0          0          0
26.79/26.92	c   octane           :       0.00       0.00          0          0          0
26.79/26.92	c   ofins            :       0.00       0.00          0          0          0
26.79/26.92	c   oneopt           :       0.00       0.00          2          0          0
26.79/26.92	c   padm             :       0.00       0.00          0          0          0
26.79/26.92	c   proximity        :       0.00       0.00          0          0          0
26.79/26.92	c   pscostdiving     :       0.00       0.00          0          0          0
26.79/26.92	c   randrounding     :       0.59       0.00        100          0          0
26.79/26.92	c   rens             :       0.17       0.00          2          2          1
26.79/26.92	c   reoptsols        :       0.00       0.00          0          0          0
26.79/26.92	c   repair           :       0.00       0.00          0          0          0
26.79/26.92	c   rins             :       0.00       0.00          0          0          0
26.79/26.92	c   rootsoldiving    :       0.00       0.00          0          0          0
26.79/26.92	c   rounding         :       0.03       0.00        100          0          0
26.79/26.92	c   scheduler        :       0.00       0.00          0          0          0
26.79/26.92	c   shiftandpropagate:       0.00       0.00          0          0          0
26.79/26.92	c   shifting         :       0.03       0.00        100          0          0
26.79/26.92	c   simplerounding   :       0.00       0.00        115          0          0
26.79/26.92	c   smallcard        :       0.00       0.00          0          0          0
26.79/26.92	c   subnlp           :       0.00       0.00          0          0          0
26.79/26.92	c   trivial          :       0.01       0.00          6          0          0
26.79/26.92	c   trivialnegation  :       0.00       0.00          0          0          0
26.79/26.92	c   trustregion      :       0.00       0.00          0          0          0
26.79/26.92	c   trysol           :       0.00       0.00          0          0          0
26.79/26.92	c   twoopt           :       0.00       0.00          0          0          0
26.79/26.92	c   undercover       :       0.00       0.00          1          0          0
26.79/26.92	c   vbounds          :       0.08       0.00          3          1          1
26.79/26.92	c   veclendiving     :       0.00       0.00          0          0          0
26.79/26.92	c   zeroobj          :       0.00       0.00          0          0          0
26.79/26.92	c   zirounding       :       0.00       0.00          2          0          0
26.79/26.92	c   other solutions  :          -          -          -          0          -
26.79/26.92	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
26.79/26.92	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
26.79/26.92	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
26.79/26.92	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
26.79/26.92	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
26.79/26.92	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
26.79/26.92	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
26.79/26.92	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
26.79/26.92	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
26.79/26.92	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
26.79/26.92	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
26.79/26.92	c   primal LP        :       0.01         12          0       0.00       0.00       0.01         12
26.79/26.92	c   dual LP          :       0.72        113       6953      71.68    9645.22       0.01         16
26.79/26.92	c   lex dual LP      :       0.00          0          0       0.00          -
26.79/26.92	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
26.79/26.92	c   resolve instable :       0.00          0          0       0.00          -
26.79/26.92	c   diving/probing LP:       0.42         27       3849     142.56    9071.03
26.79/26.92	c   strong branching :       4.62         99      31138     314.53    6742.15          -          -          1
26.79/26.92	c     (at root node) :          -         99      31138     314.53          -
26.79/26.92	c   conflict analysis:       0.02         14        140      10.00    6825.61
26.79/26.92	c B&B Tree           :
26.79/26.92	c   number of runs   :          3
26.79/26.92	c   nodes            :          1 (0 internal, 1 leaves)
26.79/26.92	c   feasible leaves  :          0
26.79/26.92	c   infeas. leaves   :          0
26.79/26.92	c   objective leaves :          0
26.79/26.92	c   nodes (total)    :          3 (0 internal, 3 leaves)
26.79/26.92	c   nodes left       :          0
26.79/26.92	c   max depth        :          0
26.79/26.92	c   max depth (total):          0
26.79/26.92	c   backtracks       :          0 (0.0%)
26.79/26.92	c   early backtracks :          0 (0.0%)
26.79/26.92	c   nodes exc. ref.  :          0 (0.0%)
26.79/26.92	c   delayed cutoffs  :          0
26.79/26.92	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
26.79/26.92	c   avg switch length:       2.00
26.79/26.92	c   switching time   :       0.00
26.79/26.92	c Root Node          :
26.79/26.92	c   First LP value   : +2.23541666666667e+01
26.79/26.92	c   First LP Iters   :        751 (12391.31 Iter/sec)
26.79/26.92	c   First LP Time    :       0.06
26.79/26.92	c   Final Dual Bound : +2.40000000000000e+01
26.79/26.92	c   Final Root Iters :       7102
26.79/26.92	c   Root LP Estimate :                     -
26.79/26.92	c Solution           :
26.79/26.92	c   Solutions found  :          6 (4 improvements)
26.79/26.92	c   First Solution   : +1.34000000000000e+02   (in run 1, after 1 nodes, 0.46 seconds, depth 2990, found by <locks>)
26.79/26.92	c   Gap First Sol.   :   13300.00 %
26.79/26.92	c   Gap Last Sol.    :       0.00 %
26.79/26.92	c   Primal Bound     : +2.40000000000000e+01   (in run 3, after 1 nodes, 26.91 seconds, depth 1, found by <conflictdiving>)
26.79/26.92	c   Dual Bound       : +2.40000000000000e+01
26.79/26.92	c   Gap              :       0.00 %
26.79/26.92	c Integrals          :      Total       Avg%
26.79/26.92	c   primal-dual      :     449.29      16.70
26.79/26.92	c   primal-ref       :          -          - (not evaluated)
26.79/26.92	c   dual-ref         :          -          - (not evaluated)
26.79/26.97	c Time complete: 26.8792.

Verifier Data

OK	24

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: 64059 MiB (62879 MiB free)
  memory of node 1: 64510 MiB (62176 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=825253, runsolver pid=825250

[startup+0.10007 s]*
/proc/loadavg: 4.55 4.33 4.24 5/243 825254
/proc/meminfo: memFree=128008048/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=104360 memory=64068 CPUtime=0.1 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 12758 0 0 0 9 1 0 0 20 0 1 0 162069105 106864640 16017 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 26090 16017 3615 3540 0 14347 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 104360 KiB
Current children cumulated memory: 64068 KiB

[startup+0.212979 s]*
/proc/loadavg: 4.55 4.33 4.24 5/243 825254
/proc/meminfo: memFree=127999668/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=112912 memory=72620 CPUtime=0.22 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 16309 0 0 0 20 2 0 0 20 0 1 0 162069105 115621888 18155 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 28228 18155 3742 3540 0 16485 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 112912 KiB
Current children cumulated memory: 72620 KiB

[startup+0.312778 s]*
/proc/loadavg: 4.55 4.33 4.24 5/243 825254
/proc/meminfo: memFree=127995792/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=117916 memory=76648 CPUtime=0.32 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 17333 0 0 0 30 2 0 0 20 0 1 0 162069105 120745984 19162 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 29479 19162 3774 3540 0 17736 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 117916 KiB
Current children cumulated memory: 76648 KiB

[startup+0.700305 s]
/proc/loadavg: 4.55 4.33 4.24 5/243 825254
/proc/meminfo: memFree=127961880/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=166332 memory=116028 CPUtime=0.69 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 26831 0 0 0 66 3 0 0 20 0 1 0 162069105 170323968 29007 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 41583 29007 3966 3540 0 29840 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 166332 KiB
Current children cumulated memory: 116028 KiB

[startup+1.50027 s]
/proc/loadavg: 4.55 4.33 4.24 5/243 825254
/proc/meminfo: memFree=127953252/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=170980 memory=120780 CPUtime=1.48 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 28018 0 0 0 145 3 0 0 20 0 1 0 162069105 175083520 30195 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 42745 30195 3966 3540 0 31002 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 170980 KiB
Current children cumulated memory: 120780 KiB

[startup+3.11379 s]
/proc/loadavg: 4.55 4.33 4.24 5/243 825254
/proc/meminfo: memFree=127938188/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=186996 memory=134364 CPUtime=3.09 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 31432 0 0 0 306 3 0 0 20 0 1 0 162069105 191483904 33591 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 46749 33591 3966 3540 0 35006 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 186996 KiB
Current children cumulated memory: 134364 KiB

[startup+6.30025 s]
/proc/loadavg: 4.50 4.32 4.24 5/243 825257
/proc/meminfo: memFree=127906292/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=207540 memory=152300 CPUtime=6.27 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 35947 0 0 0 623 4 0 0 20 0 1 0 162069105 212520960 38075 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 51885 38075 3966 3540 0 40142 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 207540 KiB
Current children cumulated memory: 152300 KiB

[startup+12.7003 s]
/proc/loadavg: 4.46 4.32 4.24 5/243 825257
/proc/meminfo: memFree=127859148/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=261072 memory=199280 CPUtime=12.64 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 47701 0 0 0 1258 6 0 0 20 0 1 0 162069105 267337728 49820 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 65268 49820 3966 3540 0 53525 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 261072 KiB
Current children cumulated memory: 199280 KiB

[startup+25.5003 s]
/proc/loadavg: 4.36 4.30 4.23 5/242 825258
/proc/meminfo: memFree=127805812/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=314912 memory=246376 CPUtime=25.4 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 59427 0 0 0 2530 10 0 0 20 0 1 0 162069105 322469888 61594 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 78728 61594 4009 3540 0 66985 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 314912 KiB
Current children cumulated memory: 246376 KiB

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

# cumulated CPU time of all completed processes:  user=26.7745 s, system=0.114582 s

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

[startup+25.6004 s]
/proc/loadavg: 4.36 4.30 4.23 5/242 825258
/proc/meminfo: memFree=127805812/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=314912 memory=246376 CPUtime=25.5 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 59427 0 0 0 2540 10 0 0 20 0 1 0 162069105 322469888 61594 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 78728 61594 4009 3540 0 66985 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 314912 KiB
Current children cumulated memory: 246376 KiB

[startup+26.4003 s]
/proc/loadavg: 4.36 4.30 4.23 5/242 825260
/proc/meminfo: memFree=127805532/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=314912 memory=246376 CPUtime=26.3 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 59427 0 0 0 2620 10 0 0 20 0 1 0 162069105 322469888 61594 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 78728 61594 4009 3540 0 66985 0
Current children cumulated CPU time: 26.3 s
Current children cumulated vsize: 314912 KiB
Current children cumulated memory: 246376 KiB

[startup+26.8003 s]
/proc/loadavg: 4.36 4.30 4.23 5/242 825260
/proc/meminfo: memFree=127805532/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=314912 memory=246376 CPUtime=26.69 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 59427 0 0 0 2659 10 0 0 20 0 1 0 162069105 322469888 61594 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 78728 61594 4009 3540 0 66985 0
Current children cumulated CPU time: 26.69 s
Current children cumulated vsize: 314912 KiB
Current children cumulated memory: 246376 KiB

[startup+26.9003 s]
/proc/loadavg: 4.36 4.30 4.23 5/242 825260
/proc/meminfo: memFree=127805532/131655788 swapFree=131071996/131071996
[pid=825253] ppid=825250 vsize=314912 memory=246376 CPUtime=26.79 cores=0,2
/proc/825253/stat : 825253 (pbscip) R 825250 825253 820487 0 -1 4194304 59427 0 0 0 2669 10 0 0 20 0 1 0 162069105 322469888 61594 134679101440 4194304 18693293 140722008304416 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 44744704 140722008310788 140722008310887 140722008310887 140722008317902 0
/proc/825253/statm: 78728 61594 4009 3540 0 66985 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 314912 KiB
Current children cumulated memory: 246376 KiB

Child status: 0

Real time (s): 26.9867
CPU time (s): 26.8891
CPU user time (s): 26.7745
CPU system time (s): 0.114582
CPU usage (%): 99.6385
Max. virtual memory (cumulated for all children) (KiB): 314912
Max. memory (cumulated for all children) (KiB): 246376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.7745
system time used= 0.114582
maximum resident set size= 246376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59438
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= 13
involuntary context switches= 187


# summary of solver processes directly reported to runsolver:
#   pid: 825253
#   total CPU time (s): 26.8891
#   total CPU user time (s): 26.7745
#   total CPU system time (s): 0.114582

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145683 second user time and 0.338243 second system time

The end

Launcher Data

Begin job on nodeC008 at 2024-07-16 05:05:39
IDJOB=4432726
IDBENCH=148120
IDSOLVER=3059
FILE ID=nodeC008/4432726-1721099127
RUNJOBID= nodeC008-1721091858-820497
SLURM_JOB_ID= 7505586
Free space on /tmp= 723712 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.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-4432726-1721099127/watcher-4432726-1721099127 -o /tmp/evaluation-result-4432726-1721099127/solver-4432726-1721099127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721091858-820497 --watchdog 3760  pbscip -f HOME/instance-4432726-1721099127.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 5d8f8888afb700f17245f1d666d6f5a0
RANDOM SEED=1195509858

nodeC008.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	: 0xb00001f
cpu MHz		: 3491.989
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3621.091
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.244
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.405
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3653.733
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3643.044
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.479
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.429
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128058756 kB
MemAvailable:   128344640 kB
Buffers:          403084 kB
Cached:           726948 kB
SwapCached:            0 kB
Active:           634740 kB
Inactive:        2440544 kB
Active(anon):       1476 kB
Inactive(anon):  1981508 kB
Active(file):     633264 kB
Inactive(file):   459036 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19492 kB
Writeback:             4 kB
AnonPages:       1945376 kB
Mapped:           138484 kB
Shmem:             37704 kB
KReclaimable:      67232 kB
Slab:             160140 kB
SReclaimable:      67232 kB
SUnreclaim:        92908 kB
KernelStack:        3872 kB
PageTables:        13372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2476652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    454656 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723692 MiB
End job on nodeC008 at 2024-07-16 05:06:06