Trace number 4508929

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13SAT-10788 3585.91 3597.14

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
MD5SUM911059c1e959a60a23dfd4299eb920f8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-11306
Best CPU time to get the best result obtained on this benchmark72001
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7294
Total number of constraints14468
Number of constraints which are clauses7234
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7234
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 7294
Biggest coefficient in the objective function 1722
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 756056
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1722
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 756056
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	-10788

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: 63708 MiB (58095 MiB free)
  memory of node 1: 64465 MiB (59212 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508929-1751510412/watcher-4508929-1751510412 -o /tmp/evaluation-result-4508929-1751510412/solver-4508929-1751510412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751504822-71017 --watchdog 3760 pbsolver -f HOME/instance-4508929-1751510412.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100066 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 72155
/proc/meminfo: memFree=120083924/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=66744 memory=55808 CPUtime=0.1 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 11779 0 0 0 8 2 0 0 20 0 1 0 66715791 68345856 13952 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 16686 13952 2432 2575 0 13593 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66744 KiB
Current children cumulated memory: 55808 KiB

[startup+0.205637 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 72155
/proc/meminfo: memFree=120067796/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=74848 memory=64808 CPUtime=0.2 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 15411 0 0 0 17 3 0 0 20 0 1 0 66715791 76644352 16202 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 18712 16202 2496 2575 0 15619 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 64808 KiB

[startup+0.305572 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 72155
/proc/meminfo: memFree=120067796/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=67732 memory=57688 CPUtime=0.3 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 15674 0 0 0 27 3 0 0 20 0 1 0 66715791 69357568 14422 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 16933 14422 2496 2575 0 13840 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67732 KiB
Current children cumulated memory: 57688 KiB

[startup+0.700185 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 72155
/proc/meminfo: memFree=120051920/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=97432 memory=85976 CPUtime=0.69 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 22651 0 0 0 65 4 0 0 20 0 1 0 66715791 99770368 21494 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 24358 21494 2592 2575 0 21265 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97432 KiB
Current children cumulated memory: 85976 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 72155
/proc/meminfo: memFree=120051920/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=160112 memory=122828 CPUtime=1.49 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 34262 0 0 0 143 6 0 0 20 0 1 0 66715791 163954688 30707 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 40028 30707 2592 2575 0 36935 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 160112 KiB
Current children cumulated memory: 122828 KiB

[startup+3.1055 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 72155
/proc/meminfo: memFree=119975512/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=198296 memory=158924 CPUtime=3.08 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 43239 0 0 0 301 7 0 0 20 0 1 0 66715791 203055104 39731 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 49574 39731 2688 2575 0 46481 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 198296 KiB
Current children cumulated memory: 158924 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 72155
/proc/meminfo: memFree=119895624/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=283568 memory=238932 CPUtime=6.27 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 59997 0 0 0 616 11 0 0 20 0 1 0 66715791 290373632 59733 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 70892 59733 2688 2575 0 67799 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 283568 KiB
Current children cumulated memory: 238932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 72155
/proc/meminfo: memFree=119896360/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=283568 memory=240084 CPUtime=12.65 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 60300 0 0 0 1254 11 0 0 20 0 1 0 66715791 290373632 60021 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 70892 60021 2688 2575 0 67799 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 283568 KiB
Current children cumulated memory: 240084 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 72155
/proc/meminfo: memFree=119863724/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=321300 memory=269140 CPUtime=25.4 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 67580 0 0 0 2528 12 0 0 20 0 1 0 66715791 329011200 67285 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 80325 67285 2688 2575 0 77232 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 321300 KiB
Current children cumulated memory: 269140 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 72156
/proc/meminfo: memFree=119832112/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=373388 memory=294740 CPUtime=50.93 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 73996 0 0 0 5079 14 0 0 20 0 1 0 66715791 382349312 73685 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 93347 73685 2688 2575 0 90254 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 294740 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 72157
/proc/meminfo: memFree=119795364/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=406776 memory=326740 CPUtime=101.96 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 82018 0 0 0 10180 16 0 0 20 0 1 0 66715791 416538624 81685 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 101694 81685 2688 2575 0 98601 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 406776 KiB
Current children cumulated memory: 326740 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 72159
/proc/meminfo: memFree=119817584/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=406776 memory=326740 CPUtime=161.75 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 82043 0 0 0 16159 16 0 0 20 0 1 0 66715791 416538624 81685 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 101694 81685 2688 2575 0 98601 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 406776 KiB
Current children cumulated memory: 326740 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 72161
/proc/meminfo: memFree=119799276/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=406776 memory=326868 CPUtime=221.55 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 82055 0 0 0 22139 16 0 0 20 0 1 0 66715791 416538624 81717 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 101694 81717 2688 2575 0 98601 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 406776 KiB
Current children cumulated memory: 326868 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 72164
/proc/meminfo: memFree=119765480/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=446636 memory=350804 CPUtime=281.35 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 88061 0 0 0 28118 17 0 0 20 0 1 0 66715791 457355264 87701 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 111659 87701 2688 2575 0 108566 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 446636 KiB
Current children cumulated memory: 350804 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 72166
/proc/meminfo: memFree=119763532/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=446636 memory=351828 CPUtime=341.17 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 88079 0 0 0 34100 17 0 0 20 0 1 0 66715791 457355264 87957 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 111659 87957 2944 2575 0 108566 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 446636 KiB
Current children cumulated memory: 351828 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 72171
/proc/meminfo: memFree=119715840/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=483468 memory=384852 CPUtime=400.98 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 96321 0 0 0 40078 20 0 0 20 0 1 0 66715791 495071232 96213 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 120867 96213 2944 2575 0 117774 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 483468 KiB
Current children cumulated memory: 384852 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 72173
/proc/meminfo: memFree=119711084/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=483468 memory=384852 CPUtime=460.79 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 96354 0 0 0 46059 20 0 0 20 0 1 0 66715791 495071232 96213 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 120867 96213 2944 2575 0 117774 0
Current children cumulated CPU time: 460.79 s

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

/proc/loadavg: 4.11 4.11 4.11 5/263 72629
/proc/meminfo: memFree=117477612/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1437532 memory=705852 CPUtime=3212.36 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 133751 0 0 0 321207 29 0 0 20 0 1 0 66715791 1472032768 176463 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 359383 176463 2944 2575 0 356290 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 1437532 KiB
Current children cumulated memory: 705852 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/263 72631
/proc/meminfo: memFree=117411804/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1488984 memory=710880 CPUtime=3272.15 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 134589 0 0 0 327186 29 0 0 20 0 1 0 66715791 1524719616 177720 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 372246 177720 2944 2575 0 369153 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 1488984 KiB
Current children cumulated memory: 710880 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 72634
/proc/meminfo: memFree=117404228/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1503280 memory=712160 CPUtime=3331.95 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 135013 0 0 0 333166 29 0 0 20 0 1 0 66715791 1539358720 178040 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 375820 178040 2944 2575 0 372727 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 1503280 KiB
Current children cumulated memory: 712160 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 72636
/proc/meminfo: memFree=117385356/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1545532 memory=740512 CPUtime=3391.75 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 138061 0 0 0 339145 30 0 0 20 0 1 0 66715791 1582624768 185128 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 386383 185128 2944 2575 0 383290 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 1545532 KiB
Current children cumulated memory: 740512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 72641
/proc/meminfo: memFree=117382432/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1570328 memory=743712 CPUtime=3451.53 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 138911 0 0 0 345123 30 0 0 20 0 1 0 66715791 1608015872 185928 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 392582 185928 2944 2575 0 389489 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 1570328 KiB
Current children cumulated memory: 743712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 72643
/proc/meminfo: memFree=117367804/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1580600 memory=745120 CPUtime=3511.32 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139270 0 0 0 351102 30 0 0 20 0 1 0 66715791 1618534400 186280 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 395150 186280 2944 2575 0 392057 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 1580600 KiB
Current children cumulated memory: 745120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.14 4.10 5/266 72648
/proc/meminfo: memFree=117331580/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3571.12 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139495 0 0 0 357081 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

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

# cumulated CPU time of all completed processes:  user=3585.59 s, system=0.326819 s

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

[startup+3584 s]*
/proc/loadavg: 4.27 4.14 4.10 5/266 72648
/proc/meminfo: memFree=117321376/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3572.82 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139495 0 0 0 357251 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

[startup+3590.4 s]
/proc/loadavg: 4.33 4.15 4.11 5/266 72648
/proc/meminfo: memFree=117321880/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3579.19 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139495 0 0 0 357888 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3579.19 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

[startup+3593.6 s]
/proc/loadavg: 4.38 4.17 4.11 5/266 72648
/proc/meminfo: memFree=117322132/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3582.38 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139495 0 0 0 358207 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3582.38 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

[startup+3595.2 s]
/proc/loadavg: 4.38 4.17 4.11 5/266 72648
/proc/meminfo: memFree=117306000/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3583.98 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139495 0 0 0 358367 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

[startup+3596 s]*
/proc/loadavg: 4.38 4.17 4.11 5/266 72648
/proc/meminfo: memFree=117306000/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3584.78 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139495 0 0 0 358447 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3584.78 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

[startup+3596.8 s]
/proc/loadavg: 4.38 4.17 4.11 5/266 72648
/proc/meminfo: memFree=117306000/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3585.57 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139496 0 0 0 358526 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

[startup+3597 s]*
/proc/loadavg: 4.43 4.18 4.12 5/266 72648
/proc/meminfo: memFree=117306000/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1587320 memory=745504 CPUtime=3585.78 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139496 0 0 0 358547 31 0 0 20 0 1 0 66715791 1625415680 186376 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 396830 186376 2944 2575 0 393737 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 1587320 KiB
Current children cumulated memory: 745504 KiB

[startup+3597.11 s]
/proc/loadavg: 4.43 4.18 4.12 5/266 72648
/proc/meminfo: memFree=117306000/131249992 swapFree=33010160/33010684
[pid=72154] ppid=72151 vsize=1577392 memory=735616 CPUtime=3585.88 cores=5,7
/proc/72154/stat : 72154 (pbsolver) R 72151 72154 71004 0 -1 4194304 139520 0 0 0 358557 31 0 0 20 0 1 0 66715791 1615249408 183904 18446744073709551615 4198400 14743177 140723373709520 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 44003328 140723373713802 140723373713898 140723373713898 140723373719500 0
/proc/72154/statm: 394348 183904 2944 2575 0 391255 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 1577392 KiB
Current children cumulated memory: 735616 KiB

Child status: 0

Real time (s): 3597.14
CPU time (s): 3585.91
CPU user time (s): 3585.59
CPU system time (s): 0.326819
CPU usage (%): 99.688
Max. virtual memory (cumulated for all children) (KiB): 1587320
Max. memory (cumulated for all children) (KiB): 745504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.59
system time used= 0.326819
maximum resident set size= 745504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139567
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= 72
involuntary context switches= 20556


# summary of solver processes directly reported to runsolver:
#   pid: 72154
#   total CPU time (s): 3585.91
#   total CPU user time (s): 3585.59
#   total CPU system time (s): 0.326819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59038 second user time and 16.3429 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-03 04:40:13
IDJOB=4508929
IDBENCH=158525
IDSOLVER=3366
FILE ID=nodeC035/4508929-1751510412
RUNJOBID= nodeC035-1751504822-71017
SLURM_JOB_ID= 9598596
Free space on /tmp= 432748 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508929-1751510412/watcher-4508929-1751510412 -o /tmp/evaluation-result-4508929-1751510412/solver-4508929-1751510412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751504822-71017 --watchdog 3760  pbsolver -f HOME/instance-4508929-1751510412.opb -t 3600 -m 31000

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

MD5SUM BENCH= 911059c1e959a60a23dfd4299eb920f8
RANDOM SEED=1706814815

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

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        120123864 kB
MemAvailable:   125517644 kB
Buffers:            1840 kB
Cached:          6144284 kB
SwapCached:            8 kB
Active:          4549564 kB
Inactive:        5852404 kB
Active(anon):    4262012 kB
Inactive(anon):    11588 kB
Active(file):     287552 kB
Inactive(file):  5840816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15292 kB
Writeback:             0 kB
AnonPages:       4258620 kB
Mapped:           136428 kB
Shmem:             18048 kB
KReclaimable:     209304 kB
Slab:             299328 kB
SReclaimable:     209304 kB
SUnreclaim:        90024 kB
KernelStack:        4256 kB
PageTables:        11580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4778108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3094528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432744 MiB
End job on nodeC035 at 2025-07-03 05:40:10