Trace number 4459584

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 NameAnswerCPU timeWall clock time
SCIP 2024-07-07SAT 38.2349 38.3779

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_15.opb
MD5SUM47228ad0e480d217be544eac70443e44
Bench CategoryDEC-NLC (decision problem, non-linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.099991
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

Solver Data

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4459584-1721932566.opb>
0.00/0.02	c original problem has 3238 variables (200 bin, 0 int, 3038 impl, 0 cont) and 3540 constraints
0.00/0.02	c problem read in 0.01
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving:
0.00/0.04	c (round 1, medium)     0 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 100 clqs
0.00/0.04	c (round 2, fast)       3038 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 100 clqs
0.00/0.04	c (round 3, exhaustive) 3038 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 0 impls, 100 clqs
0.00/0.05	c    (0.0s) probing: 51/200 (25.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05	c    (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05	c    (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05	c    (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.05	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.05	c  3038 deleted vars, 3438 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05	c  0 implications, 100 cliques
0.00/0.05	c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 302 constraints
0.00/0.05	c     201 constraints of type <knapsack>
0.00/0.05	c     100 constraints of type <setppc>
0.00/0.05	c       1 constraints of type <linear>
0.00/0.05	c transformed objective value is always integral (scale: 1)
0.00/0.05	c Presolving Time: 0.03
0.00/0.05	c - non default parameters ----------------------------------------------------------------------
0.00/0.05	c # SCIP version 10.0.0
0.00/0.05	c 
0.00/0.05	c # maximal time in seconds to run
0.00/0.05	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05	c limits/time = 3596.997505
0.00/0.05	c 
0.00/0.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05	c limits/memory = 27900
0.00/0.05	c 
0.00/0.05	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05	c limits/solutions = 1
0.00/0.05	c 
0.00/0.05	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.05	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05	c misc/usesymmetry = 3
0.00/0.05	c 
0.00/0.05	c # belongs reading time to solving time?
0.00/0.05	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c timing/reading = TRUE
0.00/0.05	c 
0.00/0.05	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05	c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05	c 
0.00/0.05	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05	c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05	c 
0.00/0.05	c # Type of symmetries that shall be computed?
0.00/0.05	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05	c propagating/symmetry/symtype = 1
0.00/0.05	c 
0.00/0.05	c # Should components consisting of a single full reflection be handled?
0.00/0.05	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05	c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05	c 
0.00/0.05	c -----------------------------------------------------------------------------------------------
0.00/0.05	c start solving
0.00/0.05	c 
0.08/0.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.08/0.13	c   0.1s|     1 |     0 |    81 |     - |    19M |   0 | 200 | 302 | 302 |   0 |  0 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.08/0.18	c   0.2s|     1 |     0 |   500 |     - |    24M |   0 | 200 | 302 | 321 |  19 |  1 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.08/0.20	c   0.2s|     1 |     0 |   512 |     - |    29M |   0 | 200 | 302 | 329 |  27 |  2 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.19/0.22	c   0.2s|     1 |     0 |   528 |     - |    36M |   0 | 200 | 302 | 338 |  36 |  3 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.19/0.24	c   0.2s|     1 |     0 |   540 |     - |    41M |   0 | 200 | 302 | 341 |  39 |  4 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.19/0.27	c   0.3s|     1 |     0 |   552 |     - |    50M |   0 | 200 | 302 | 351 |  49 |  5 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.19/0.30	c   0.3s|     1 |     0 |   576 |     - |    55M |   0 | 200 | 302 | 359 |  57 |  6 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.29/0.32	c   0.3s|     1 |     0 |   591 |     - |    60M |   0 | 200 | 302 | 368 |  66 |  7 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.29/0.35	c   0.3s|     1 |     0 |   606 |     - |    65M |   0 | 200 | 302 | 373 |  71 |  8 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.29/0.38	c   0.4s|     1 |     0 |   626 |     - |    71M |   0 | 200 | 302 | 381 |  79 |  9 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.39/0.41	c   0.4s|     1 |     0 |   650 |     - |    78M |   0 | 200 | 302 | 388 |  86 | 10 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.39/0.41	c   0.4s|     1 |     0 |   674 |     - |    78M |   0 | 200 | 302 | 384 |  96 | 11 |   1 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.39/0.48	c   0.5s|     1 |     2 |   870 |     - |    78M |   0 | 200 | 305 | 384 |  96 | 11 |   4 |  19 | 0.000000e+00 |      --      |    Inf | unknown
0.78/0.80	c   0.8s|   100 |    31 |  2844 |  22.1 |    81M |  29 | 200 | 348 | 360 | 140 |  1 |  47 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1.08/1.13	c   1.1s|   200 |    53 |  5793 |  25.8 |    89M |  29 | 200 | 389 | 358 | 224 |  1 |  88 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1.18/1.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.18/1.22	c   1.2s|   300 |    64 |  7844 |  24.0 |    89M |  29 | 200 | 425 | 357 | 227 |  0 | 124 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1.38/1.42	c   1.4s|   400 |    67 |  9167 |  21.3 |    89M |  29 | 200 | 446 | 354 | 240 |  0 | 145 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1.58/1.63	c   1.6s|   500 |    69 | 10561 |  19.8 |    89M |  29 | 200 | 479 | 354 | 251 |  1 | 178 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1.98/2.01	c   2.0s|   600 |    67 | 12467 |  19.7 |    88M |  29 | 200 | 526 | 357 | 270 |  1 | 225 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2.27/2.32	c   2.3s|   700 |    59 | 14307 |  19.5 |    88M |  29 | 200 | 570 | 357 | 298 |  0 | 269 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2.47/2.52	c   2.5s|   800 |    65 | 16056 |  19.3 |    88M |  30 | 200 | 613 | 355 | 307 |  1 | 312 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2.57/2.63	c   2.6s|   900 |    67 | 17567 |  18.8 |    88M |  31 | 200 | 638 | 359 | 317 |  0 | 337 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2.77/2.81	c   2.8s|  1000 |    75 | 19158 |  18.5 |    89M |  31 | 200 | 675 | 356 | 317 |  1 | 374 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2.97/3.02	c   3.0s|  1100 |    84 | 20729 |  18.3 |    89M |  31 | 200 | 722 | 357 | 328 |  1 | 421 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.07/3.17	c   3.2s|  1200 |    85 | 22472 |  18.2 |    89M |  31 | 200 | 758 | 356 | 337 |  0 | 457 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.27/3.36	c   3.3s|  1300 |   109 | 24259 |  18.2 |    89M |  31 | 200 | 765 | 358 | 349 |  1 | 464 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.37/3.42	c   3.4s|  1400 |   121 | 25582 |  17.8 |    89M |  31 | 200 | 798 | 356 | 364 |  2 | 497 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.37/3.46	c   3.5s|  1500 |   131 | 26682 |  17.4 |    89M |  31 | 200 | 819 | 355 | 372 |  0 | 518 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.47/3.51	c   3.5s|  1600 |   150 | 27581 |  16.8 |    89M |  35 | 200 | 837 | 355 | 376 |  1 | 536 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.47/3.55	c   3.5s|  1700 |   152 | 28771 |  16.5 |    89M |  35 | 200 | 857 | 356 | 376 |  1 | 556 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.57/3.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.57/3.60	c   3.6s|  1800 |   158 | 29914 |  16.3 |    89M |  35 | 200 | 878 | 355 | 383 |  0 | 577 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.57/3.65	c   3.6s|  1900 |   166 | 31220 |  16.1 |    89M |  35 | 200 | 929 | 355 | 387 |  0 | 628 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.67/3.72	c   3.7s|  2000 |   166 | 32966 |  16.2 |    89M |  35 | 200 | 968 | 355 | 387 |  0 | 667 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.67/3.78	c   3.8s|  2100 |   176 | 34513 |  16.1 |    89M |  35 | 200 | 991 | 355 | 400 |  1 | 690 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.77/3.84	c   3.8s|  2200 |   192 | 36077 |  16.1 |    89M |  35 | 200 |1031 | 358 | 404 |  1 | 730 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.77/3.89	c   3.9s|  2300 |   188 | 37247 |  15.9 |    89M |  35 | 200 |1060 | 358 | 406 |  1 | 760 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.87/3.93	c   3.9s|  2400 |   198 | 38118 |  15.6 |    89M |  35 | 200 |1067 | 356 | 407 |  1 | 767 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.87/3.99	c   4.0s|  2500 |   192 | 39256 |  15.4 |    89M |  36 | 200 |1089 | 357 | 410 |  0 | 789 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3.87/3.99	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
3.87/3.99	c (run 1, node 2514) performing user restart
3.87/3.99	c 
3.87/3.99	c (restart) converted 38 cuts from the global cut pool into linear constraints
3.87/3.99	c 
3.87/4.00	c presolving:
3.97/4.00	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 36 upgd conss, 0 impls, 100 clqs
3.97/4.01	c (round 2, exhaustive) 0 del vars, 44 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 36 upgd conss, 0 impls, 100 clqs
3.97/4.02	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
3.97/4.02	c  0 deleted vars, 44 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 144 changed coefficients
3.97/4.02	c  0 implications, 100 cliques
3.97/4.02	c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1084 constraints
3.97/4.02	c     229 constraints of type <knapsack>
3.97/4.02	c     100 constraints of type <setppc>
3.97/4.02	c       3 constraints of type <linear>
3.97/4.02	c     752 constraints of type <logicor>
3.97/4.02	c transformed objective value is always integral (scale: 1)
3.97/4.02	c Presolving Time: 0.05
3.97/4.02	c 
3.97/4.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.97/4.09	c   4.1s|     1 |     0 | 39528 |     - |    87M |   0 | 200 |1084 | 340 |   0 |  0 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.07/4.12	c   4.1s|     1 |     0 | 39555 |     - |    87M |   0 | 200 |1084 | 352 |  12 |  1 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.07/4.14	c   4.1s|     1 |     0 | 39574 |     - |    87M |   0 | 200 |1084 | 360 |  20 |  2 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.07/4.16	c   4.2s|     1 |     0 | 39595 |     - |    87M |   0 | 200 |1084 | 369 |  29 |  3 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.07/4.19	c   4.2s|     1 |     0 | 39608 |     - |    87M |   0 | 200 |1084 | 378 |  38 |  4 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.16/4.21	c   4.2s|     1 |     0 | 39626 |     - |    87M |   0 | 200 |1084 | 387 |  47 |  5 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.16/4.23	c   4.2s|     1 |     0 | 39642 |     - |    88M |   0 | 200 |1084 | 399 |  59 |  6 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.16/4.26	c   4.3s|     1 |     0 | 39663 |     - |    89M |   0 | 200 |1084 | 408 |  68 |  7 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.16/4.29	c   4.3s|     1 |     0 | 39686 |     - |    89M |   0 | 200 |1084 | 415 |  75 |  8 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.26/4.32	c   4.3s|     1 |     0 | 39706 |     - |    89M |   0 | 200 |1084 | 424 |  84 |  9 | 790 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.26/4.34	c   4.3s|     1 |     0 | 39719 |     - |    89M |   0 | 200 |1085 | 431 |  91 | 10 | 791 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.26/4.36	c   4.3s|     1 |     0 | 39746 |     - |    90M |   0 | 200 |1085 | 397 | 102 | 11 | 791 |  19 | 0.000000e+00 |      --      |    Inf | unknown
4.36/4.45	c   4.4s|     1 |     2 | 40079 |     - |    90M |   0 | 200 |1086 | 397 | 102 | 11 | 792 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.46/4.55	c   4.5s|   100 |    38 | 41758 |  15.6 |    90M |  34 | 200 |1105 | 355 | 137 |  0 | 811 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.56/4.61	c   4.6s|   200 |    42 | 42914 |  15.5 |    90M |  34 | 200 |1131 | 355 | 147 |  1 | 837 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.56/4.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
4.56/4.68	c   4.7s|   300 |    44 | 44351 |  15.4 |    90M |  34 | 200 |1168 | 355 | 162 |  1 | 874 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.66/4.75	c   4.7s|   400 |    48 | 45656 |  15.3 |    90M |  34 | 200 |1222 | 356 | 189 |  0 | 928 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.76/4.82	c   4.8s|   500 |    58 | 46926 |  15.3 |    90M |  34 | 200 |1262 | 351 | 201 |  1 | 968 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.76/4.89	c   4.9s|   600 |    60 | 48307 |  15.2 |    90M |  34 | 200 |1315 | 356 | 215 |  0 |1021 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.86/4.98	c   5.0s|   700 |    64 | 50074 |  15.3 |    90M |  34 | 200 |1359 | 354 | 228 |  1 |1065 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.97/5.04	c   5.0s|   800 |    59 | 51552 |  15.3 |    90M |  34 | 200 |1392 | 358 | 239 |  0 |1098 |  38 | 0.000000e+00 |      --      |    Inf | unknown
4.97/5.10	c   5.1s|   900 |    58 | 52828 |  15.2 |    90M |  34 | 200 |1426 | 354 | 249 |  1 |1133 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.07/5.15	c   5.1s|  1000 |    58 | 54116 |  15.1 |    90M |  34 | 200 |1470 | 356 | 254 |  1 |1177 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.16/5.22	c   5.2s|  1100 |    56 | 55766 |  15.2 |    90M |  34 | 200 |1525 | 352 | 266 |  1 |1232 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.16/5.29	c   5.3s|  1200 |    58 | 57415 |  15.2 |    90M |  34 | 200 |1569 | 351 | 272 |  1 |1277 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.26/5.36	c   5.3s|  1300 |    62 | 59052 |  15.2 |    90M |  34 | 200 |1616 | 352 | 283 |  1 |1324 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.36/5.43	c   5.4s|  1400 |    63 | 60884 |  15.3 |    90M |  34 | 200 |1676 | 354 | 295 |  1 |1384 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.46/5.50	c   5.5s|  1500 |    59 | 62947 |  15.4 |    90M |  34 | 200 |1736 | 353 | 305 |  0 |1446 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.46/5.57	c   5.6s|  1600 |    62 | 64693 |  15.5 |    90M |  34 | 200 |1786 | 356 | 325 |  1 |1496 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.56/5.67	c   5.7s|  1700 |    67 | 67154 |  15.7 |    90M |  34 | 200 |1835 | 358 | 356 |  1 |1546 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.66/5.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.66/5.74	c   5.7s|  1800 |    67 | 68841 |  15.7 |    90M |  34 | 200 |1909 | 360 | 390 |  2 |1620 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.76/5.81	c   5.8s|  1900 |    65 | 70876 |  15.8 |    90M |  34 | 200 |1984 | 359 | 407 |  2 |1698 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.76/5.89	c   5.9s|  2000 |    69 | 72852 |  15.9 |    90M |  34 | 200 |2057 | 353 | 431 |  0 |1772 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.86/5.96	c   6.0s|  2100 |    74 | 74797 |  16.0 |    90M |  34 | 200 |2121 | 351 | 453 |  1 |1839 |  38 | 0.000000e+00 |      --      |    Inf | unknown
5.96/6.04	c   6.0s|  2200 |    70 | 76983 |  16.1 |    90M |  34 | 200 |2192 | 354 | 478 |  0 |1915 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.06/6.11	c   6.1s|  2300 |    70 | 78775 |  16.2 |    90M |  34 | 200 |2245 | 355 | 501 |  0 |1974 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.06/6.18	c   6.2s|  2400 |    68 | 80315 |  16.2 |    90M |  34 | 200 |2277 | 357 | 522 |  1 |2012 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.16/6.27	c   6.3s|  2500 |    68 | 82467 |  16.3 |    90M |  34 | 200 |2331 | 358 | 548 |  1 |2073 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.26/6.34	c   6.3s|  2600 |    69 | 84383 |  16.3 |    90M |  34 | 200 |2387 | 355 | 556 |  1 |2137 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.36/6.41	c   6.4s|  2700 |    59 | 86218 |  16.4 |    90M |  34 | 200 |2424 | 358 | 556 |  1 |2180 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.36/6.49	c   6.5s|  2800 |    57 | 88383 |  16.5 |    90M |  34 | 200 |2478 | 353 | 573 |  1 |2238 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.46/6.56	c   6.6s|  2900 |    63 | 90399 |  16.5 |    90M |  34 | 200 |2535 | 359 | 588 |  0 |2298 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.56/6.63	c   6.6s|  3000 |    67 | 92109 |  16.5 |    90M |  34 | 200 |2575 | 356 | 599 |  0 |2339 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.66/6.70	c   6.7s|  3100 |    69 | 93789 |  16.5 |    90M |  34 | 200 |2620 | 355 | 608 |  1 |2388 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.66/6.78	c   6.8s|  3200 |    71 | 95938 |  16.6 |    90M |  34 | 200 |2682 | 358 | 641 |  1 |2462 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.76/6.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.76/6.86	c   6.9s|  3300 |    66 | 97915 |  16.7 |    90M |  34 | 200 |2733 | 360 | 666 |  0 |2524 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.85/6.99	c   7.0s|  3400 |    98 |100256 |  16.8 |    90M |  34 | 200 |2775 | 357 | 739 |  1 |2581 |  38 | 0.000000e+00 |      --      |    Inf | unknown
6.96/7.05	c   7.0s|  3500 |    98 |101648 |  16.7 |    90M |  34 | 200 |2817 | 357 | 745 |  0 |2629 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.06/7.12	c   7.1s|  3600 |   104 |103504 |  16.8 |    90M |  34 | 200 |2860 | 356 | 753 |  0 |2678 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.06/7.19	c   7.2s|  3700 |   102 |104945 |  16.7 |    90M |  34 | 200 |2904 | 353 | 758 |  0 |2742 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.15/7.25	c   7.2s|  3800 |   100 |106687 |  16.7 |    90M |  34 | 200 |2916 | 355 | 770 |  1 |2780 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.25/7.32	c   7.3s|  3900 |    93 |108461 |  16.8 |    90M |  34 | 200 |2957 | 355 | 789 |  0 |2855 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.25/7.39	c   7.4s|  4000 |    97 |109686 |  16.7 |    90M |  34 | 200 |2961 | 356 | 817 |  1 |2890 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.35/7.47	c   7.5s|  4100 |    97 |111666 |  16.7 |    90M |  34 | 200 |2959 | 359 | 842 |  0 |2930 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.45/7.54	c   7.5s|  4200 |    96 |113302 |  16.7 |    90M |  34 | 200 |2954 | 361 | 866 |  0 |2991 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.55/7.60	c   7.6s|  4300 |    94 |114715 |  16.7 |    90M |  34 | 200 |2955 | 359 | 887 |  0 |3025 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.55/7.69	c   7.7s|  4400 |   108 |117051 |  16.8 |    90M |  34 | 200 |2987 |   0 | 920 |  0 |3115 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.65/7.75	c   7.7s|  4500 |   111 |118058 |  16.7 |    90M |  34 | 200 |2976 | 357 | 932 |  1 |3136 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.75/7.80	c   7.8s|  4600 |   117 |119221 |  16.6 |    90M |  34 | 200 |2995 | 356 | 945 |  0 |3161 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.75/7.86	c   7.9s|  4700 |   119 |120615 |  16.6 |    90M |  34 | 200 |3009 | 356 | 955 |  1 |3192 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.85/7.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
7.85/7.92	c   7.9s|  4800 |   112 |122059 |  16.6 |    90M |  34 | 200 |3043 | 358 | 972 |  0 |3240 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.85/7.98	c   8.0s|  4900 |   111 |123556 |  16.5 |    90M |  34 | 200 |2982 | 358 |1001 |  1 |3286 |  38 | 0.000000e+00 |      --      |    Inf | unknown
7.96/8.04	c   8.0s|  5000 |   121 |124887 |  16.5 |    90M |  34 | 200 |2970 | 355 |1023 |  0 |3333 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.06/8.14	c   8.1s|  5100 |   131 |128216 |  16.7 |    90M |  34 | 200 |2955 | 355 |1029 |  1 |3367 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.15/8.25	c   8.2s|  5200 |   119 |131956 |  17.0 |    90M |  34 | 200 |2930 | 357 |1044 |  0 |3398 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.25/8.34	c   8.3s|  5300 |   120 |134778 |  17.1 |    90M |  34 | 200 |2872 | 352 |1054 |  1 |3421 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.35/8.46	c   8.4s|  5400 |   114 |138963 |  17.4 |    90M |  34 | 200 |2849 | 357 |1065 |  1 |3464 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.45/8.59	c   8.6s|  5500 |   120 |143170 |  17.7 |    90M |  34 | 200 |2767 | 353 |1070 |  1 |3488 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.55/8.64	c   8.6s|  5600 |   121 |144561 |  17.7 |    90M |  34 | 200 |2747 |   0 |1073 |  0 |3497 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.65/8.70	c   8.7s|  5700 |   123 |145998 |  17.7 |    90M |  34 | 200 |2748 | 354 |1076 |  0 |3518 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.75/8.86	c   8.9s|  5800 |   141 |151282 |  18.1 |    90M |  34 | 200 |2698 | 358 |1135 |  1 |3552 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.85/8.98	c   9.0s|  5900 |   133 |155604 |  18.4 |    90M |  34 | 200 |2702 | 355 |1149 |  0 |3586 |  38 | 0.000000e+00 |      --      |    Inf | unknown
8.95/9.09	c   9.1s|  6000 |   139 |159061 |  18.6 |    90M |  34 | 200 |2651 | 354 |1172 |  0 |3615 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.15/9.22	c   9.2s|  6100 |   139 |163480 |  18.9 |    90M |  37 | 200 |2612 | 354 |1219 |  0 |3645 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.25/9.33	c   9.3s|  6200 |   145 |166950 |  19.1 |    90M |  37 | 200 |2577 | 360 |1249 |  1 |3678 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.35/9.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.35/9.45	c   9.4s|  6300 |   141 |171042 |  19.3 |    90M |  37 | 200 |2528 | 356 |1274 |  0 |3706 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.45/9.54	c   9.5s|  6400 |   145 |173838 |  19.4 |    90M |  37 | 200 |2515 | 363 |1291 |  1 |3740 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.55/9.65	c   9.6s|  6500 |   139 |177588 |  19.6 |    90M |  37 | 200 |2482 | 363 |1319 |  1 |3769 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.65/9.76	c   9.8s|  6600 |   147 |181516 |  19.8 |    90M |  37 | 200 |2463 | 365 |1341 |  1 |3786 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.75/9.89	c   9.9s|  6700 |   137 |186266 |  20.1 |    90M |  37 | 200 |2436 | 360 |1382 |  0 |3819 |  38 | 0.000000e+00 |      --      |    Inf | unknown
9.95/10.03	c  10.0s|  6800 |   137 |191180 |  20.4 |    90M |  37 | 200 |2412 | 356 |1421 |  0 |3844 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.05/10.12	c  10.1s|  6900 |   145 |193725 |  20.5 |    90M |  37 | 200 |2418 | 355 |1467 |  1 |3870 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.14/10.26	c  10.3s|  7000 |   143 |199161 |  20.8 |    90M |  37 | 200 |2374 | 354 |1504 |  1 |3907 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.24/10.36	c  10.4s|  7100 |   149 |202322 |  20.9 |    90M |  37 | 200 |2387 | 359 |1536 |  0 |3946 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.34/10.44	c  10.4s|  7200 |   149 |204159 |  20.9 |    90M |  39 | 200 |2419 | 358 |1565 |  1 |3992 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.44/10.51	c  10.5s|  7300 |   147 |206167 |  20.9 |    90M |  39 | 200 |2454 | 360 |1586 |  0 |4048 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.44/10.57	c  10.6s|  7400 |   155 |207472 |  20.8 |    90M |  39 | 200 |2468 | 357 |1607 |  1 |4078 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.54/10.63	c  10.6s|  7500 |   153 |208882 |  20.8 |    90M |  39 | 200 |2505 | 357 |1612 |  0 |4121 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.54/10.69	c  10.7s|  7600 |   142 |210306 |  20.7 |    90M |  39 | 200 |2528 | 364 |1624 |  1 |4158 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.74/10.83	c  10.8s|  7700 |   178 |212868 |  20.7 |    91M |  39 | 200 |2448 | 356 |1726 |  1 |4215 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.84/10.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.84/10.93	c  10.9s|  7800 |   190 |215514 |  20.8 |    91M |  39 | 200 |2490 | 357 |1789 |  1 |4289 |  38 | 0.000000e+00 |      --      |    Inf | unknown
10.95/11.02	c  11.0s|  7900 |   195 |218009 |  20.8 |    91M |  39 | 200 |2533 | 356 |1815 |  1 |4366 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.05/11.11	c  11.1s|  8000 |   192 |220398 |  20.9 |    91M |  39 | 200 |2559 | 365 |1855 |  0 |4422 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.14/11.26	c  11.3s|  8100 |   194 |222300 |  20.9 |    91M |  39 | 200 |2621 | 354 |1873 |  0 |4497 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.24/11.35	c  11.3s|  8200 |   194 |224743 |  20.9 |    91M |  39 | 200 |2651 | 362 |1942 |  1 |4565 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.34/11.46	c  11.5s|  8300 |   200 |227902 |  21.0 |    91M |  39 | 200 |2716 | 362 |1983 |  1 |4648 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.44/11.53	c  11.5s|  8400 |   207 |230091 |  21.0 |    91M |  39 | 200 |2758 | 363 |2023 |  1 |4702 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.54/11.62	c  11.6s|  8500 |   209 |232550 |  21.0 |    91M |  39 | 200 |2819 | 363 |2091 |  1 |4785 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.64/11.70	c  11.7s|  8600 |   211 |234713 |  21.0 |    91M |  39 | 200 |2845 |   0 |2123 |  0 |4848 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.64/11.79	c  11.8s|  8700 |   214 |237009 |  21.1 |    91M |  39 | 200 |2872 | 354 |2140 |  0 |4916 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.74/11.86	c  11.9s|  8800 |   222 |238655 |  21.0 |    91M |  39 | 200 |2897 | 354 |2152 |  1 |4966 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.84/11.91	c  11.9s|  8900 |   222 |239837 |  20.9 |    91M |  39 | 200 |2921 | 354 |2152 |  0 |5007 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.84/11.98	c  12.0s|  9000 |   226 |241576 |  20.9 |    91M |  39 | 200 |2959 | 354 |2152 |  1 |5067 |  38 | 0.000000e+00 |      --      |    Inf | unknown
11.94/12.05	c  12.0s|  9100 |   221 |243223 |  20.9 |    91M |  39 | 200 |2988 | 358 |2162 |  1 |5123 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.04/12.10	c  12.1s|  9200 |   221 |244561 |  20.8 |    91M |  39 | 200 |3028 | 358 |2162 |  0 |5172 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.04/12.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
12.04/12.15	c  12.1s|  9300 |   220 |245658 |  20.7 |    91M |  39 | 200 |3065 | 358 |2162 |  0 |5211 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.14/12.21	c  12.2s|  9400 |   222 |246963 |  20.7 |    91M |  39 | 200 |3111 | 358 |2165 |  0 |5263 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.14/12.27	c  12.3s|  9500 |   224 |248266 |  20.6 |    91M |  39 | 200 |3153 | 357 |2171 |  1 |5309 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.24/12.33	c  12.3s|  9600 |   226 |249565 |  20.5 |    91M |  39 | 200 |3187 | 357 |2174 |  1 |5363 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.24/12.38	c  12.4s|  9700 |   223 |251093 |  20.5 |    91M |  39 | 200 |3238 | 357 |2176 |  1 |5435 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.34/12.45	c  12.4s|  9800 |   222 |252724 |  20.4 |    91M |  39 | 200 |3267 | 357 |2178 |  1 |5489 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.44/12.53	c  12.5s|  9900 |   217 |254950 |  20.5 |    91M |  39 | 200 |3289 | 356 |2192 |  0 |5553 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.44/12.59	c  12.6s| 10000 |   224 |256268 |  20.4 |    91M |  39 | 200 |3332 | 357 |2196 |  1 |5614 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.54/12.65	c  12.6s| 10100 |   217 |257225 |  20.3 |    91M |  40 | 200 |3353 | 356 |2199 |  0 |5653 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.64/12.70	c  12.7s| 10200 |   222 |258503 |  20.3 |    91M |  40 | 200 |3393 | 357 |2200 |  0 |5707 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.64/12.76	c  12.8s| 10300 |   230 |259741 |  20.2 |    91M |  40 | 200 |3429 | 357 |2203 |  1 |5762 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.74/12.82	c  12.8s| 10400 |   232 |261086 |  20.1 |    91M |  40 | 200 |3470 | 357 |2210 |  0 |5827 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.74/12.89	c  12.9s| 10500 |   222 |262824 |  20.1 |    91M |  40 | 200 |3501 | 356 |2214 |  1 |5881 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.84/12.96	c  13.0s| 10600 |   228 |264581 |  20.1 |    91M |  40 | 200 |3546 | 356 |2215 |  0 |5942 |  38 | 0.000000e+00 |      --      |    Inf | unknown
12.94/13.04	c  13.0s| 10700 |   225 |266855 |  20.1 |    91M |  40 | 200 |3554 | 357 |2219 |  1 |5994 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.04/13.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
13.04/13.13	c  13.1s| 10800 |   228 |268774 |  20.1 |    91M |  40 | 200 |3519 | 352 |2248 |  0 |6049 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.13/13.22	c  13.2s| 10900 |   248 |271076 |  20.1 |    91M |  40 | 200 |3451 |   0 |2271 |  0 |6122 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.23/13.30	c  13.3s| 11000 |   243 |273150 |  20.1 |    91M |  40 | 200 |3399 | 354 |2284 |  0 |6203 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.23/13.39	c  13.4s| 11100 |   253 |276059 |  20.2 |    91M |  40 | 200 |3421 | 360 |2327 |  1 |6278 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.43/13.50	c  13.5s| 11200 |   253 |279480 |  20.3 |    91M |  40 | 200 |3420 | 357 |2355 |  1 |6367 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.53/13.60	c  13.6s| 11300 |   250 |282460 |  20.4 |    91M |  40 | 200 |3477 | 360 |2381 |  0 |6455 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.53/13.69	c  13.7s| 11400 |   250 |285201 |  20.4 |    91M |  40 | 200 |3532 | 355 |2409 |  0 |6537 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.63/13.77	c  13.8s| 11500 |   255 |287199 |  20.4 |    91M |  40 | 200 |3555 | 354 |2442 |  1 |6615 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.73/13.85	c  13.8s| 11600 |   267 |289205 |  20.4 |    91M |  40 | 200 |3603 | 359 |2483 |  0 |6683 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.83/13.94	c  13.9s| 11700 |   279 |291975 |  20.5 |    91M |  40 | 200 |3657 | 352 |2535 |  0 |6752 |  38 | 0.000000e+00 |      --      |    Inf | unknown
13.94/14.04	c  14.0s| 11800 |   275 |294994 |  20.5 |    91M |  40 | 200 |3739 | 357 |2577 |  0 |6852 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.04/14.13	c  14.1s| 11900 |   278 |297428 |  20.6 |    92M |  40 | 200 |3805 | 362 |2611 |  0 |6942 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.13/14.24	c  14.2s| 12000 |   274 |300284 |  20.6 |    92M |  40 | 200 |3857 | 359 |2661 |  1 |7017 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.23/14.33	c  14.3s| 12100 |   264 |302587 |  20.6 |    92M |  40 | 200 |3890 | 355 |2675 |  0 |7110 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.33/14.40	c  14.4s| 12200 |   254 |304441 |  20.6 |    92M |  40 | 200 |3841 | 360 |2686 |  0 |7159 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.33/14.49	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
14.33/14.49	c  14.5s| 12300 |   250 |306722 |  20.6 |    92M |  40 | 200 |3758 | 355 |2709 |  1 |7231 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.43/14.57	c  14.6s| 12400 |   258 |308737 |  20.6 |    92M |  40 | 200 |3799 | 359 |2718 |  1 |7302 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.53/14.63	c  14.6s| 12500 |   260 |310497 |  20.6 |    92M |  40 | 200 |3846 | 360 |2723 |  0 |7355 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.63/14.70	c  14.7s| 12600 |   271 |312263 |  20.6 |    92M |  40 | 200 |3895 | 357 |2733 |  1 |7414 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.63/14.77	c  14.8s| 12700 |   269 |314252 |  20.6 |    92M |  40 | 200 |3937 | 355 |2735 |  0 |7467 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.73/14.84	c  14.8s| 12800 |   267 |315862 |  20.6 |    92M |  40 | 200 |3982 | 358 |2748 |  1 |7520 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.83/14.91	c  14.9s| 12900 |   266 |317792 |  20.6 |    92M |  40 | 200 |3992 | 360 |2753 |  1 |7586 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.83/14.99	c  15.0s| 13000 |   276 |319793 |  20.6 |    92M |  40 | 200 |3988 | 358 |2766 |  1 |7638 |  38 | 0.000000e+00 |      --      |    Inf | unknown
14.93/15.05	c  15.0s| 13100 |   270 |321699 |  20.5 |    92M |  40 | 200 |4000 | 358 |2766 |  0 |7694 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.03/15.14	c  15.1s| 13200 |   272 |324024 |  20.6 |    92M |  40 | 200 |3920 | 356 |2788 |  0 |7766 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.13/15.22	c  15.2s| 13300 |   277 |326463 |  20.6 |    92M |  40 | 200 |3887 | 362 |2818 |  1 |7822 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.23/15.30	c  15.3s| 13400 |   279 |328986 |  20.6 |    92M |  40 | 200 |3877 | 361 |2828 |  1 |7884 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.23/15.39	c  15.4s| 13500 |   278 |331151 |  20.6 |    92M |  40 | 200 |3891 | 356 |2833 |  1 |7947 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.32/15.47	c  15.5s| 13600 |   279 |333108 |  20.6 |    92M |  40 | 200 |3776 | 376 |2851 |  1 |8005 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.42/15.53	c  15.5s| 13700 |   284 |334554 |  20.6 |    92M |  40 | 200 |3749 | 356 |2856 |  0 |8051 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.52/15.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.52/15.63	c  15.6s| 13800 |   286 |336592 |  20.6 |    92M |  40 | 200 |3726 | 358 |2884 |  0 |8115 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.52/15.68	c  15.7s| 13900 |   284 |337746 |  20.5 |    92M |  40 | 200 |3717 | 357 |2890 |  0 |8141 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.62/15.76	c  15.8s| 14000 |   284 |339581 |  20.5 |    92M |  40 | 200 |3694 | 359 |2912 |  0 |8204 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.72/15.83	c  15.8s| 14100 |   280 |341118 |  20.5 |    92M |  40 | 200 |3639 | 357 |2936 |  0 |8261 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.72/15.89	c  15.9s| 14200 |   276 |342570 |  20.4 |    92M |  40 | 200 |3584 | 357 |2944 |  1 |8290 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.82/15.97	c  16.0s| 14300 |   278 |344749 |  20.4 |    92M |  40 | 200 |3481 | 356 |2950 |  1 |8348 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.93/16.03	c  16.0s| 14400 |   286 |346183 |  20.4 |    92M |  40 | 200 |3482 | 356 |2950 |  1 |8397 |  38 | 0.000000e+00 |      --      |    Inf | unknown
15.93/16.09	c  16.1s| 14500 |   286 |347653 |  20.4 |    92M |  40 | 200 |3512 | 356 |2953 |  1 |8461 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.03/16.15	c  16.1s| 14600 |   286 |349298 |  20.4 |    92M |  40 | 200 |3548 | 357 |2959 |  0 |8508 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.12/16.22	c  16.2s| 14700 |   288 |351014 |  20.3 |    92M |  40 | 200 |3565 | 357 |2965 |  1 |8549 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.12/16.28	c  16.3s| 14800 |   298 |352523 |  20.3 |    92M |  40 | 200 |3526 | 353 |2976 |  1 |8584 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.22/16.37	c  16.4s| 14900 |   295 |355046 |  20.3 |    92M |  40 | 200 |3551 | 357 |3004 |  0 |8656 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.32/16.45	c  16.4s| 15000 |   293 |357159 |  20.3 |    92M |  40 | 200 |3562 | 352 |3036 |  1 |8727 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.42/16.54	c  16.5s| 15100 |   297 |359619 |  20.4 |    92M |  40 | 200 |3642 | 355 |3063 |  0 |8831 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.52/16.63	c  16.6s| 15200 |   292 |362223 |  20.4 |    92M |  40 | 200 |3668 | 358 |3070 |  1 |8923 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.62/16.72	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.62/16.72	c  16.7s| 15300 |   288 |364903 |  20.4 |    92M |  40 | 200 |3689 | 355 |3088 |  0 |9022 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.62/16.79	c  16.8s| 15400 |   282 |366719 |  20.4 |    92M |  40 | 200 |3680 | 358 |3096 |  0 |9091 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.72/16.86	c  16.9s| 15500 |   278 |368770 |  20.4 |    92M |  40 | 200 |3666 | 356 |3102 |  0 |9168 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.82/16.94	c  16.9s| 15600 |   282 |370855 |  20.4 |    92M |  40 | 200 |3681 | 359 |3114 |  1 |9245 |  38 | 0.000000e+00 |      --      |    Inf | unknown
16.92/17.04	c  17.0s| 15700 |   292 |373073 |  20.4 |    92M |  40 | 200 |3594 | 360 |3165 |  0 |9303 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.03/17.13	c  17.1s| 15800 |   291 |375680 |  20.5 |    92M |  40 | 200 |3648 | 365 |3201 |  0 |9394 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.12/17.22	c  17.2s| 15900 |   295 |378354 |  20.5 |    92M |  40 | 200 |3715 | 362 |3216 |  1 |9491 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.22/17.33	c  17.3s| 16000 |   299 |381263 |  20.5 |    92M |  40 | 200 |3755 | 358 |3254 |  0 |9589 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.32/17.41	c  17.4s| 16100 |   303 |383966 |  20.6 |    92M |  40 | 200 |3808 | 359 |3271 |  0 |9662 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.42/17.50	c  17.5s| 16200 |   307 |386312 |  20.6 |    92M |  40 | 200 |3864 | 360 |3289 |  1 |9732 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.42/17.59	c  17.6s| 16300 |   306 |388931 |  20.6 |    92M |  40 | 200 |3953 | 359 |3310 |  0 |9841 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.52/17.68	c  17.7s| 16400 |   313 |391450 |  20.6 |    92M |  40 | 200 |4019 | 360 |3330 |  0 |9934 |  38 | 0.000000e+00 |      --      |    Inf | unknown
17.62/17.78	c  17.8s| 16500 |   315 |394718 |  20.7 |    92M |  40 | 200 |4074 | 360 |3341 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
17.72/17.88	c  17.9s| 16600 |   310 |397549 |  20.7 |    92M |  40 | 200 |4109 | 362 |3357 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
17.82/17.96	c  18.0s| 16700 |   309 |399737 |  20.8 |    92M |  40 | 200 |4146 | 359 |3359 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
17.92/18.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.92/18.04	c  18.0s| 16800 |   317 |401843 |  20.8 |    92M |  40 | 200 |4177 | 359 |3389 |  2 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.02/18.11	c  18.1s| 16900 |   318 |403627 |  20.7 |    92M |  40 | 200 |4216 | 361 |3407 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.02/18.19	c  18.2s| 17000 |   317 |405834 |  20.7 |    92M |  40 | 200 |4232 | 363 |3414 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.12/18.26	c  18.2s| 17100 |   313 |407572 |  20.7 |    92M |  40 | 200 |4209 | 354 |3416 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.22/18.33	c  18.3s| 17200 |   317 |409295 |  20.7 |    92M |  40 | 200 |4197 | 359 |3429 |  2 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.22/18.39	c  18.4s| 17300 |   320 |410871 |  20.7 |    92M |  40 | 200 |4235 | 359 |3436 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.32/18.46	c  18.5s| 17400 |   314 |412932 |  20.7 |    92M |  40 | 200 |4191 | 357 |3441 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.42/18.54	c  18.5s| 17500 |   316 |414922 |  20.7 |    92M |  40 | 200 |4160 | 361 |3473 |  2 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.51/18.65	c  18.6s| 17600 |   320 |416791 |  20.7 |    93M |  40 | 200 |4126 | 359 |3480 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.61/18.73	c  18.7s| 17700 |   316 |418832 |  20.7 |    93M |  40 | 200 |4099 | 365 |3494 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.71/18.82	c  18.8s| 17800 |   331 |420883 |  20.7 |    93M |  40 | 200 |3976 | 355 |3518 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.81/18.91	c  18.9s| 17900 |   339 |423015 |  20.7 |    93M |  40 | 200 |3940 | 357 |3553 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.81/18.99	c  19.0s| 18000 |   339 |425141 |  20.7 |    93M |  40 | 200 |3917 | 354 |3575 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
18.92/19.08	c  19.1s| 18100 |   349 |427157 |  20.7 |    93M |  40 | 200 |3919 | 357 |3612 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.02/19.19	c  19.2s| 18200 |   344 |430632 |  20.7 |    93M |  40 | 200 |3928 | 358 |3650 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.11/19.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.11/19.28	c  19.3s| 18300 |   346 |433014 |  20.8 |    93M |  40 | 200 |3968 | 359 |3675 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.21/19.39	c  19.4s| 18400 |   351 |436157 |  20.8 |    93M |  40 | 200 |4010 | 354 |3696 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.31/19.47	c  19.5s| 18500 |   349 |438843 |  20.8 |    93M |  40 | 200 |4071 | 355 |3710 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.41/19.56	c  19.6s| 18600 |   351 |441579 |  20.9 |    93M |  40 | 200 |4125 | 357 |3730 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.61/19.70	c  19.7s| 18700 |   348 |445416 |  21.0 |    93M |  40 | 200 |4172 | 353 |3765 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.71/19.80	c  19.8s| 18800 |   359 |448654 |  21.0 |    93M |  40 | 200 |4228 | 363 |3812 |  2 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.81/19.91	c  19.9s| 18900 |   369 |451293 |  21.0 |    93M |  40 | 200 |4263 | 353 |3860 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.81/19.98	c  20.0s| 19000 |   381 |453144 |  21.0 |    93M |  40 | 200 |4294 |   0 |3883 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
19.91/20.05	c  20.0s| 19100 |   381 |455018 |  21.0 |    93M |  40 | 200 |4348 | 353 |3902 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.01/20.14	c  20.1s| 19200 |   385 |457668 |  21.0 |    93M |  40 | 200 |4426 | 354 |3922 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.11/20.23	c  20.2s| 19300 |   383 |460245 |  21.1 |    93M |  40 | 200 |4483 | 355 |3935 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.21/20.39	c  20.4s| 19400 |   388 |466205 |  21.2 |    93M |  40 | 200 |4500 | 352 |3956 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.41/20.59	c  20.6s| 19500 |   379 |473303 |  21.5 |    93M |  40 | 200 |4544 | 354 |3985 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.71/20.81	c  20.8s| 19600 |   378 |480428 |  21.7 |    93M |  40 | 200 |4558 | 354 |4069 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.81/20.91	c  20.9s| 19700 |   380 |483645 |  21.7 |    93M |  40 | 200 |4570 | 357 |4118 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.91/21.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
20.91/21.02	c  21.0s| 19800 |   377 |486115 |  21.7 |    93M |  40 | 200 |4456 | 360 |4167 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
20.91/21.09	c  21.1s| 19900 |   387 |487613 |  21.7 |    93M |  40 | 200 |4409 | 365 |4195 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.01/21.18	c  21.2s| 20000 |   377 |489977 |  21.7 |    93M |  40 | 200 |4431 | 365 |4219 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.11/21.29	c  21.3s| 20100 |   370 |492933 |  21.8 |    93M |  40 | 200 |4321 | 359 |4270 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.20/21.36	c  21.3s| 20200 |   384 |494529 |  21.7 |    93M |  40 | 200 |4341 | 362 |4289 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.30/21.42	c  21.4s| 20300 |   379 |496148 |  21.7 |    93M |  40 | 200 |4368 | 364 |4293 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.30/21.48	c  21.5s| 20400 |   391 |497999 |  21.7 |    93M |  40 | 200 |4395 | 363 |4299 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.40/21.56	c  21.5s| 20500 |   383 |500099 |  21.7 |    93M |  40 | 200 |4466 | 363 |4299 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.50/21.64	c  21.6s| 20600 |   378 |502527 |  21.7 |    93M |  40 | 200 |4494 | 358 |4325 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.60/21.72	c  21.7s| 20700 |   372 |504586 |  21.7 |    93M |  40 | 200 |4472 | 359 |4342 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.60/21.79	c  21.8s| 20800 |   380 |506408 |  21.7 |    93M |  40 | 200 |4419 | 355 |4375 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.70/21.87	c  21.9s| 20900 |   386 |508492 |  21.7 |    93M |  40 | 200 |4423 | 362 |4423 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.80/21.94	c  21.9s| 21000 |   384 |510514 |  21.7 |    93M |  40 | 200 |4457 | 360 |4456 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.80/21.99	c  22.0s| 21100 |   384 |512045 |  21.6 |    93M |  40 | 200 |4479 | 357 |4469 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.91/22.04	c  22.0s| 21200 |   392 |513245 |  21.6 |    93M |  40 | 200 |4502 | 358 |4482 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
21.91/22.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
21.91/22.09	c  22.1s| 21300 |   393 |514366 |  21.6 |    93M |  40 | 200 |4524 | 358 |4486 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.01/22.14	c  22.1s| 21400 |   391 |515698 |  21.5 |    93M |  40 | 200 |4549 | 360 |4486 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.01/22.19	c  22.2s| 21500 |   395 |517076 |  21.5 |    93M |  40 | 200 |4572 | 357 |4489 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.10/22.24	c  22.2s| 21600 |   400 |518370 |  21.5 |    93M |  40 | 200 |4599 | 356 |4492 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.20/22.30	c  22.3s| 21700 |   396 |519793 |  21.4 |    93M |  40 | 200 |4635 | 357 |4493 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.20/22.35	c  22.3s| 21800 |   388 |521328 |  21.4 |    93M |  40 | 200 |4687 | 356 |4497 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.30/22.41	c  22.4s| 21900 |   396 |522708 |  21.4 |    93M |  40 | 200 |4728 | 356 |4508 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.30/22.47	c  22.5s| 22000 |   394 |524282 |  21.3 |    93M |  40 | 200 |4753 | 358 |4514 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.40/22.53	c  22.5s| 22100 |   393 |525938 |  21.3 |    93M |  40 | 200 |4799 | 356 |4515 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.40/22.59	c  22.6s| 22200 |   391 |527701 |  21.3 |    93M |  40 | 200 |4825 | 358 |4518 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.50/22.65	c  22.6s| 22300 |   389 |529257 |  21.3 |    93M |  40 | 200 |4851 | 359 |4525 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.60/22.70	c  22.7s| 22400 |   387 |530515 |  21.3 |    93M |  40 | 200 |4875 | 359 |4525 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.60/22.76	c  22.8s| 22500 |   387 |532184 |  21.2 |    93M |  40 | 200 |4908 | 362 |4545 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.70/22.84	c  22.8s| 22600 |   387 |534045 |  21.2 |    93M |  40 | 200 |4870 | 360 |4552 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.80/22.91	c  22.9s| 22700 |   388 |535855 |  21.2 |    93M |  40 | 200 |4854 | 358 |4559 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.80/22.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
22.80/22.97	c  23.0s| 22800 |   390 |537412 |  21.2 |    93M |  40 | 200 |4851 | 359 |4582 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
22.90/23.04	c  23.0s| 22900 |   393 |539228 |  21.2 |    93M |  40 | 200 |4832 | 356 |4602 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.00/23.11	c  23.1s| 23000 |   397 |540872 |  21.2 |    93M |  40 | 200 |4871 | 358 |4617 |  2 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.00/23.17	c  23.2s| 23100 |   397 |542410 |  21.1 |    93M |  40 | 200 |4902 | 356 |4618 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.10/23.23	c  23.2s| 23200 |   397 |543747 |  21.1 |    93M |  40 | 200 |4956 | 355 |4620 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.10/23.28	c  23.3s| 23300 |   399 |545223 |  21.1 |    93M |  40 | 200 |4995 | 355 |4625 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.20/23.34	c  23.3s| 23400 |   405 |546521 |  21.1 |    93M |  40 | 200 |5028 | 357 |4631 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.20/23.39	c  23.4s| 23500 |   409 |547749 |  21.0 |    93M |  40 | 200 |5040 | 356 |4636 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.30/23.46	c  23.4s| 23600 |   408 |549346 |  21.0 |    93M |  40 | 200 |5082 | 356 |4646 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.40/23.51	c  23.5s| 23700 |   408 |550452 |  21.0 |    93M |  40 | 200 |5087 | 357 |4650 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.40/23.56	c  23.6s| 23800 |   416 |551711 |  20.9 |    93M |  40 | 200 |5097 | 357 |4659 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.50/23.61	c  23.6s| 23900 |   418 |552770 |  20.9 |    93M |  40 | 200 |5115 | 358 |4665 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.50/23.66	c  23.7s| 24000 |   424 |553945 |  20.9 |    93M |  40 | 200 |5121 | 358 |4670 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.60/23.73	c  23.7s| 24100 |   418 |555539 |  20.8 |    93M |  40 | 200 |5132 | 359 |4674 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.60/23.78	c  23.8s| 24200 |   420 |556664 |  20.8 |    93M |  40 | 200 |5163 | 355 |4674 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.70/23.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.70/23.83	c  23.8s| 24300 |   422 |558006 |  20.8 |    93M |  40 | 200 |5149 | 358 |4676 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.70/23.89	c  23.9s| 24400 |   417 |559311 |  20.7 |    94M |  40 | 200 |5184 | 355 |4681 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.80/23.95	c  23.9s| 24500 |   419 |560828 |  20.7 |    94M |  40 | 200 |5189 | 358 |4687 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.90/24.01	c  24.0s| 24600 |   419 |562473 |  20.7 |    94M |  40 | 200 |5226 | 356 |4693 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
23.90/24.07	c  24.1s| 24700 |   413 |563855 |  20.7 |    94M |  40 | 200 |5236 | 357 |4693 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.00/24.12	c  24.1s| 24800 |   423 |565003 |  20.7 |    94M |  40 | 200 |5236 | 358 |4695 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.00/24.18	c  24.2s| 24900 |   411 |566471 |  20.6 |    94M |  40 | 200 |5256 | 358 |4699 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.09/24.24	c  24.2s| 25000 |   410 |567997 |  20.6 |    94M |  40 | 200 |5275 | 359 |4702 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.09/24.29	c  24.3s| 25100 |   418 |569282 |  20.6 |    94M |  40 | 200 |5289 | 358 |4709 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.19/24.35	c  24.3s| 25200 |   411 |570633 |  20.6 |    94M |  40 | 200 |5307 | 359 |4717 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.29/24.41	c  24.4s| 25300 |   411 |572115 |  20.5 |    94M |  40 | 200 |5325 | 355 |4720 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.29/24.46	c  24.5s| 25400 |   419 |573537 |  20.5 |    94M |  40 | 200 |5349 | 355 |4722 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.39/24.56	c  24.6s| 25500 |   416 |576791 |  20.6 |    94M |  40 | 200 |5378 | 356 |4722 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.59/24.71	c  24.7s| 25600 |   414 |583285 |  20.7 |    94M |  40 | 200 |5403 | 356 |4723 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.59/24.79	c  24.8s| 25700 |   420 |586101 |  20.7 |    94M |  40 | 200 |5417 | 356 |4726 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.69/24.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
24.69/24.85	c  24.8s| 25800 |   419 |587358 |  20.7 |    94M |  40 | 200 |5444 | 355 |4729 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.79/24.91	c  24.9s| 25900 |   431 |589196 |  20.7 |    94M |  40 | 200 |5475 | 356 |4734 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.79/24.99	c  25.0s| 26000 |   431 |591405 |  20.7 |    94M |  40 | 200 |5518 | 356 |4737 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.89/25.06	c  25.1s| 26100 |   429 |593476 |  20.7 |    94M |  40 | 200 |5557 | 356 |4738 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.99/25.12	c  25.1s| 26200 |   435 |595262 |  20.7 |    94M |  40 | 200 |5594 | 356 |4742 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
24.99/25.18	c  25.2s| 26300 |   435 |596898 |  20.7 |    94M |  40 | 200 |5635 | 356 |4746 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.09/25.23	c  25.2s| 26400 |   437 |598032 |  20.7 |    94M |  40 | 200 |5673 | 356 |4748 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.09/25.29	c  25.3s| 26500 |   434 |599797 |  20.6 |    94M |  40 | 200 |5721 | 356 |4751 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.19/25.36	c  25.4s| 26600 |   438 |601630 |  20.6 |    94M |  40 | 200 |5773 | 357 |4751 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.29/25.43	c  25.4s| 26700 |   434 |603385 |  20.6 |    94M |  40 | 200 |5819 | 356 |4755 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.39/25.51	c  25.5s| 26800 |   440 |605376 |  20.6 |    94M |  40 | 200 |5864 | 356 |4757 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.39/25.58	c  25.6s| 26900 |   442 |607598 |  20.6 |    94M |  40 | 200 |5915 | 358 |4762 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.49/25.64	c  25.6s| 27000 |   443 |609046 |  20.6 |    94M |  40 | 200 |5961 | 358 |4762 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.68/25.81	c  25.8s| 27100 |   446 |610748 |  20.6 |    94M |  40 | 200 |5999 | 357 |4766 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.68/25.87	c  25.9s| 27200 |   440 |612557 |  20.6 |    94M |  40 | 200 |6057 | 358 |4767 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.78/25.95	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
25.78/25.95	c  25.9s| 27300 |   440 |614553 |  20.6 |    94M |  40 | 200 |6096 | 357 |4768 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.89/26.02	c  26.0s| 27400 |   436 |616397 |  20.6 |    94M |  40 | 200 |6147 | 358 |4768 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.89/26.08	c  26.1s| 27500 |   434 |618214 |  20.6 |    94M |  40 | 200 |6176 | 356 |4770 |  2 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
25.99/26.14	c  26.1s| 27600 |   436 |619824 |  20.6 |    94M |  40 | 200 |6197 | 355 |4771 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.08/26.21	c  26.2s| 27700 |   434 |621084 |  20.5 |    94M |  40 | 200 |6194 | 355 |4778 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.08/26.26	c  26.3s| 27800 |   430 |622495 |  20.5 |    94M |  40 | 200 |6194 | 359 |4778 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.18/26.32	c  26.3s| 27900 |   437 |623827 |  20.5 |    94M |  40 | 200 |6193 | 355 |4779 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.18/26.38	c  26.4s| 28000 |   434 |625234 |  20.5 |    94M |  40 | 200 |6194 | 359 |4781 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.28/26.44	c  26.4s| 28100 |   433 |626679 |  20.4 |    94M |  40 | 200 |6180 | 357 |4782 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.38/26.51	c  26.5s| 28200 |   435 |628241 |  20.4 |    94M |  40 | 200 |6126 | 358 |4784 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.38/26.57	c  26.6s| 28300 |   438 |629972 |  20.4 |    94M |  40 | 200 |6106 | 357 |4787 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.48/26.64	c  26.6s| 28400 |   442 |631645 |  20.4 |    94M |  40 | 200 |6135 | 357 |4788 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.58/26.73	c  26.7s| 28500 |   450 |633989 |  20.4 |    94M |  40 | 200 |6150 | 357 |4793 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.68/26.83	c  26.8s| 28600 |   456 |637691 |  20.5 |    94M |  40 | 200 |6162 | 358 |4795 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.78/26.94	c  26.9s| 28700 |   460 |641501 |  20.5 |    94M |  40 | 200 |6182 | 357 |4795 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.88/27.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
26.88/27.00	c  27.0s| 28800 |   466 |643127 |  20.5 |    94M |  40 | 200 |6179 | 355 |4796 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.88/27.06	c  27.1s| 28900 |   464 |644624 |  20.5 |    94M |  40 | 200 |6219 | 355 |4798 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.98/27.12	c  27.1s| 29000 |   467 |646129 |  20.5 |    94M |  40 | 200 |6233 | 357 |4801 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
26.98/27.18	c  27.2s| 29100 |   473 |647483 |  20.5 |    94M |  40 | 200 |6300 | 356 |4802 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.08/27.24	c  27.2s| 29200 |   470 |649008 |  20.4 |    94M |  40 | 200 |6350 | 356 |4802 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.18/27.30	c  27.3s| 29300 |   465 |650560 |  20.4 |    94M |  40 | 200 |6391 | 356 |4803 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.18/27.36	c  27.4s| 29400 |   465 |652205 |  20.4 |    94M |  40 | 200 |6433 | 356 |4804 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.28/27.42	c  27.4s| 29500 |   467 |653626 |  20.4 |    94M |  40 | 200 |6483 | 356 |4809 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.28/27.47	c  27.5s| 29600 |   465 |655129 |  20.4 |    94M |  40 | 200 |6505 | 356 |4812 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.38/27.53	c  27.5s| 29700 |   463 |656709 |  20.4 |    94M |  40 | 200 |6542 | 356 |4812 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.38/27.59	c  27.6s| 29800 |   461 |658043 |  20.3 |    94M |  40 | 200 |6574 | 356 |4812 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.48/27.64	c  27.6s| 29900 |   462 |659285 |  20.3 |    94M |  40 | 200 |6604 | 356 |4812 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.48/27.69	c  27.7s| 30000 |   462 |660408 |  20.3 |    94M |  40 | 200 |6637 | 357 |4814 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.58/27.74	c  27.7s| 30100 |   466 |661630 |  20.3 |    94M |  40 | 200 |6655 | 357 |4815 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.58/27.79	c  27.8s| 30200 |   464 |662578 |  20.2 |    94M |  40 | 200 |6678 | 356 |4815 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.68/27.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
27.68/27.83	c  27.8s| 30300 |   468 |663659 |  20.2 |    94M |  40 | 200 |6695 | 357 |4820 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.68/27.88	c  27.9s| 30400 |   464 |664911 |  20.2 |    94M |  40 | 200 |6719 | 356 |4820 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.78/27.94	c  27.9s| 30500 |   464 |666247 |  20.2 |    94M |  40 | 200 |6745 | 357 |4822 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.78/28.00	c  28.0s| 30600 |   462 |667635 |  20.1 |    94M |  40 | 200 |6786 | 357 |4824 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.88/28.07	c  28.1s| 30700 |   470 |669261 |  20.1 |    94M |  40 | 200 |6824 | 356 |4827 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.98/28.14	c  28.1s| 30800 |   464 |670998 |  20.1 |    94M |  40 | 200 |6858 | 357 |4830 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
27.98/28.19	c  28.2s| 30900 |   466 |672295 |  20.1 |    94M |  40 | 200 |6870 | 356 |4830 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.07/28.25	c  28.2s| 31000 |   466 |673616 |  20.1 |    94M |  40 | 200 |6869 | 356 |4831 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.17/28.30	c  28.3s| 31100 |   466 |674929 |  20.1 |    94M |  40 | 200 |6874 | 356 |4831 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.17/28.36	c  28.4s| 31200 |   466 |676124 |  20.0 |    94M |  40 | 200 |6881 | 358 |4848 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.27/28.42	c  28.4s| 31300 |   466 |677359 |  20.0 |    94M |  40 | 200 |6885 | 359 |4860 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.27/28.48	c  28.5s| 31400 |   467 |678646 |  20.0 |    94M |  40 | 200 |6875 | 357 |4870 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.37/28.54	c  28.5s| 31500 |   469 |679884 |  20.0 |    94M |  40 | 200 |6882 | 357 |4897 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.47/28.61	c  28.6s| 31600 |   467 |681272 |  19.9 |    94M |  40 | 200 |6879 | 357 |4914 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.47/28.68	c  28.7s| 31700 |   465 |682894 |  19.9 |    94M |  40 | 200 |6890 | 356 |4950 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.57/28.76	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
28.57/28.76	c  28.8s| 31800 |   469 |684546 |  19.9 |    94M |  40 | 200 |6918 | 357 |4990 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.67/28.82	c  28.8s| 31900 |   471 |686036 |  19.9 |    94M |  40 | 200 |6957 | 358 |5011 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.67/28.89	c  28.9s| 32000 |   471 |687711 |  19.9 |    94M |  40 | 200 |6977 | 357 |5026 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.77/28.98	c  29.0s| 32100 |   473 |690131 |  19.9 |    94M |  40 | 200 |7016 | 360 |5056 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.88/29.04	c  29.0s| 32200 |   467 |691800 |  19.9 |    94M |  40 | 200 |7063 | 357 |5072 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.88/29.10	c  29.1s| 32300 |   473 |693198 |  19.9 |    94M |  40 | 200 |7044 | 357 |5082 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
28.98/29.16	c  29.1s| 32400 |   471 |694907 |  19.9 |    94M |  40 | 200 |7059 | 357 |5082 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.07/29.27	c  29.3s| 32500 |   471 |698912 |  19.9 |    94M |  40 | 200 |7017 | 356 |5097 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.17/29.37	c  29.4s| 32600 |   469 |701973 |  20.0 |    94M |  40 | 200 |6984 | 357 |5146 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.27/29.48	c  29.5s| 32700 |   469 |705500 |  20.0 |    94M |  40 | 200 |6917 | 357 |5193 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.37/29.57	c  29.6s| 32800 |   468 |708658 |  20.0 |    94M |  40 | 200 |6897 | 357 |5197 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.47/29.69	c  29.7s| 32900 |   474 |713040 |  20.1 |    94M |  40 | 200 |6797 | 355 |5234 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.67/29.81	c  29.8s| 33000 |   474 |717192 |  20.2 |    94M |  40 | 200 |6717 | 356 |5263 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.77/29.91	c  29.9s| 33100 |   476 |720271 |  20.2 |    94M |  40 | 200 |6635 | 363 |5302 |  2 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.77/29.99	c  30.0s| 33200 |   477 |722778 |  20.2 |    94M |  40 | 200 |6514 | 356 |5317 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.87/30.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
29.87/30.08	c  30.1s| 33300 |   483 |725583 |  20.2 |    94M |  40 | 200 |6380 | 365 |5330 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
29.97/30.16	c  30.1s| 33400 |   481 |727953 |  20.2 |    94M |  40 | 200 |6344 | 359 |5344 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.07/30.26	c  30.3s| 33500 |   478 |731527 |  20.3 |    94M |  40 | 200 |6266 | 366 |5369 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.17/30.38	c  30.4s| 33600 |   470 |735319 |  20.3 |    94M |  40 | 200 |6090 | 355 |5379 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.37/30.52	c  30.5s| 33700 |   475 |740196 |  20.4 |    94M |  40 | 200 |6004 | 361 |5389 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.47/30.61	c  30.6s| 33800 |   476 |743491 |  20.4 |    94M |  40 | 200 |5950 | 360 |5421 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.57/30.75	c  30.7s| 33900 |   480 |748270 |  20.5 |    94M |  40 | 200 |5797 | 365 |5436 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.67/30.89	c  30.9s| 34000 |   496 |753117 |  20.6 |    94M |  40 | 200 |5673 | 361 |5461 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.77/30.99	c  31.0s| 34100 |   494 |756439 |  20.6 |    94M |  40 | 200 |5620 | 362 |5475 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
30.97/31.15	c  31.1s| 34200 |   489 |762172 |  20.7 |    94M |  40 | 200 |5452 | 352 |5507 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.17/31.31	c  31.3s| 34300 |   495 |767754 |  20.8 |    94M |  40 | 200 |5342 | 351 |5519 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.26/31.46	c  31.5s| 34400 |   491 |772783 |  20.9 |    94M |  40 | 200 |5316 | 353 |5533 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.36/31.56	c  31.5s| 34500 |   492 |775971 |  20.9 |    94M |  40 | 200 |5301 | 362 |5569 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.46/31.66	c  31.7s| 34600 |   492 |779367 |  21.0 |    94M |  40 | 200 |5140 | 354 |5575 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.56/31.78	c  31.8s| 34700 |   484 |783192 |  21.0 |    94M |  40 | 200 |4929 | 361 |5605 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.76/31.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
31.76/31.91	c  31.9s| 34800 |   483 |787393 |  21.1 |    94M |  40 | 200 |4777 | 362 |5627 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.76/31.99	c  32.0s| 34900 |   484 |790017 |  21.1 |    94M |  40 | 200 |4749 | 363 |5680 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
31.87/32.08	c  32.1s| 35000 |   480 |793211 |  21.1 |    94M |  40 | 200 |4755 | 362 |5724 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.06/32.22	c  32.2s| 35100 |   480 |797915 |  21.2 |    94M |  40 | 200 |4599 | 359 |5742 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.16/32.35	c  32.3s| 35200 |   487 |802110 |  21.2 |    94M |  40 | 200 |4489 | 363 |5759 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.26/32.46	c  32.5s| 35300 |   485 |805884 |  21.3 |    94M |  40 | 200 |4469 | 362 |5808 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.46/32.64	c  32.6s| 35400 |   489 |810941 |  21.4 |    94M |  40 | 200 |4331 | 356 |5872 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.56/32.74	c  32.7s| 35500 |   495 |814437 |  21.4 |    94M |  40 | 200 |4249 | 359 |5908 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.66/32.84	c  32.8s| 35600 |   499 |817683 |  21.4 |    94M |  40 | 200 |4146 | 365 |5968 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.76/32.90	c  32.9s| 35700 |   501 |819450 |  21.4 |    94M |  40 | 200 |4115 | 358 |6004 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.87/33.00	c  33.0s| 35800 |   499 |822964 |  21.5 |    94M |  40 | 200 |4074 | 366 |6056 |  2 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
32.87/33.09	c  33.1s| 35900 |   501 |825725 |  21.5 |    94M |  40 | 200 |4066 | 356 |6091 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
33.06/33.22	c  33.2s| 36000 |   502 |829884 |  21.5 |    94M |  40 | 200 |4009 | 357 |6139 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf |   0.50%
33.16/33.38	c  33.4s| 36100 |   509 |835644 |  21.6 |    94M |  40 | 200 |3930 |   0 |6158 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.50%
33.26/33.46	c  33.4s| 36200 |   509 |837573 |  21.6 |    94M |  40 | 200 |3840 | 363 |6212 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.51%
33.36/33.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
33.36/33.55	c  33.5s| 36300 |   507 |840343 |  21.6 |    94M |  40 | 200 |3734 | 372 |6272 |  2 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.51%
33.46/33.62	c  33.6s| 36400 |   512 |842352 |  21.6 |    94M |  40 | 200 |3744 | 362 |6296 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.51%
33.46/33.68	c  33.7s| 36500 |   511 |843861 |  21.6 |    94M |  40 | 200 |3779 | 361 |6322 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.51%
33.56/33.75	c  33.7s| 36600 |   513 |845446 |  21.6 |    94M |  40 | 200 |3778 | 355 |6336 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
33.66/33.81	c  33.8s| 36700 |   519 |847123 |  21.6 |    94M |  40 | 200 |3807 | 357 |6355 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
33.66/33.86	c  33.9s| 36800 |   517 |848434 |  21.6 |    94M |  40 | 200 |3849 | 356 |6356 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
33.76/33.91	c  33.9s| 36900 |   517 |849696 |  21.5 |    94M |  40 | 200 |3892 | 356 |6361 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
33.76/33.97	c  34.0s| 37000 |   517 |851106 |  21.5 |    94M |  40 | 200 |3932 | 357 |6364 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
33.86/34.02	c  34.0s| 37100 |   522 |852525 |  21.5 |    94M |  40 | 200 |3959 | 357 |6366 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
33.86/34.07	c  34.1s| 37200 |   518 |854006 |  21.5 |    94M |  40 | 200 |4008 | 357 |6366 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
33.96/34.13	c  34.1s| 37300 |   518 |855545 |  21.5 |    94M |  40 | 200 |4041 | 357 |6368 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.05/34.23	c  34.2s| 37400 |   511 |857892 |  21.5 |    94M |  40 | 200 |4098 | 357 |6368 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.05/34.28	c  34.3s| 37500 |   515 |859143 |  21.4 |    94M |  40 | 200 |4131 | 359 |6371 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.15/34.34	c  34.3s| 37600 |   523 |860638 |  21.4 |    94M |  40 | 200 |4179 | 358 |6375 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.15/34.39	c  34.4s| 37700 |   523 |862155 |  21.4 |    94M |  40 | 200 |4226 | 356 |6376 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.25/34.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
34.25/34.45	c  34.4s| 37800 |   525 |863624 |  21.4 |    94M |  40 | 200 |4281 | 356 |6378 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.35/34.51	c  34.5s| 37900 |   529 |865357 |  21.4 |    94M |  40 | 200 |4329 | 357 |6384 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.35/34.57	c  34.6s| 38000 |   523 |866830 |  21.4 |    94M |  40 | 200 |4371 | 356 |6395 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.45/34.64	c  34.6s| 38100 |   523 |868853 |  21.4 |    94M |  40 | 200 |4441 | 356 |6397 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.55/34.70	c  34.7s| 38200 |   529 |870358 |  21.4 |    94M |  40 | 200 |4469 | 356 |6397 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.55/34.76	c  34.8s| 38300 |   529 |872140 |  21.3 |    94M |  40 | 200 |4528 | 357 |6400 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.65/34.82	c  34.8s| 38400 |   529 |874029 |  21.3 |    94M |  40 | 200 |4571 | 356 |6409 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.75/34.92	c  34.9s| 38500 |   521 |876870 |  21.4 |    94M |  40 | 200 |4619 | 357 |6414 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.75/34.98	c  35.0s| 38600 |   519 |878438 |  21.3 |    94M |  40 | 200 |4648 | 358 |6415 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.86/35.06	c  35.0s| 38700 |   517 |881140 |  21.4 |    94M |  40 | 200 |4704 | 356 |6415 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
34.96/35.15	c  35.1s| 38800 |   517 |884318 |  21.4 |    94M |  40 | 200 |4703 | 359 |6416 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
35.05/35.24	c  35.2s| 38900 |   511 |887910 |  21.4 |    94M |  40 | 200 |4711 | 358 |6417 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
35.15/35.33	c  35.3s| 39000 |   509 |891222 |  21.4 |    94M |  40 | 200 |4698 |   0 |6418 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
35.25/35.43	c  35.4s| 39100 |   520 |894356 |  21.5 |    94M |  40 | 200 |4569 | 353 |6427 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.52%
35.35/35.53	c  35.5s| 39200 |   524 |897998 |  21.5 |    94M |  40 | 200 |4466 | 353 |6441 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.53%
35.45/35.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
35.45/35.68	c  35.7s| 39300 |   518 |902315 |  21.6 |    94M |  40 | 200 |4354 | 385 |6494 |  2 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.53%
35.65/35.84	c  35.8s| 39400 |   526 |907773 |  21.6 |    94M |  40 | 200 |4273 | 359 |6537 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
35.75/35.95	c  35.9s| 39500 |   523 |911447 |  21.7 |    94M |  40 | 200 |4237 | 355 |6554 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
35.85/36.03	c  36.0s| 39600 |   524 |913842 |  21.7 |    94M |  40 | 200 |4198 | 355 |6574 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
35.85/36.10	c  36.1s| 39700 |   522 |915926 |  21.7 |    94M |  40 | 200 |4172 | 363 |6600 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
36.05/36.20	c  36.2s| 39800 |   517 |919230 |  21.7 |    94M |  40 | 200 |4043 | 360 |6635 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
36.15/36.30	c  36.3s| 39900 |   515 |922624 |  21.7 |    94M |  40 | 200 |3959 | 363 |6653 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
36.25/36.42	c  36.4s| 40000 |   519 |926767 |  21.8 |    94M |  40 | 200 |3951 | 359 |6676 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
36.35/36.53	c  36.5s| 40100 |   511 |930796 |  21.8 |    94M |  40 | 200 |3964 | 356 |6705 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
36.45/36.63	c  36.6s| 40200 |   513 |933930 |  21.8 |    94M |  40 | 200 |3915 | 361 |6747 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.54%
36.55/36.74	c  36.7s| 40300 |   513 |937760 |  21.9 |    94M |  40 | 200 |3844 | 370 |6766 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.55%
36.65/36.81	c  36.8s| 40400 |   517 |939954 |  21.9 |    94M |  40 | 200 |3788 | 356 |6787 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.55%
36.75/36.91	c  36.9s| 40500 |   515 |943168 |  21.9 |    94M |  40 | 200 |3765 | 357 |6800 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.55%
36.85/37.04	c  37.0s| 40600 |   515 |947738 |  22.0 |    94M |  40 | 200 |3690 | 356 |6825 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.55%
36.95/37.13	c  37.1s| 40700 |   517 |950666 |  22.0 |    94M |  40 | 200 |3675 | 359 |6842 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.55%
37.05/37.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
37.05/37.26	c  37.2s| 40800 |   509 |955253 |  22.0 |    94M |  40 | 200 |3588 | 359 |6854 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.56%
37.15/37.36	c  37.4s| 40900 |   505 |958931 |  22.1 |    94M |  40 | 200 |3566 | 356 |6889 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   0.56%
37.24/37.47	c  37.5s| 41000 |   501 |962664 |  22.1 |    94M |  40 | 200 |3448 | 356 |6914 |  0 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.56%
37.44/37.62	c  37.6s| 41100 |   507 |967742 |  22.2 |    94M |  40 | 200 |3296 | 357 |6935 |  1 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.56%
37.54/37.72	c  37.7s| 41200 |   507 |971127 |  22.2 |    94M |  40 | 200 |3266 | 355 |6960 |  0 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.56%
37.64/37.86	c  37.9s| 41300 |   510 |976221 |  22.3 |    94M |  40 | 200 |3198 | 358 |6977 |  1 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.56%
37.74/37.97	c  38.0s| 41400 |   506 |980171 |  22.3 |    94M |  40 | 200 |3204 | 356 |7000 |  2 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.57%
37.85/38.08	c  38.1s| 41500 |   508 |983656 |  22.3 |    94M |  40 | 200 |3184 | 357 |7022 |  1 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.57%
37.95/38.15	c  38.1s| 41600 |   510 |985745 |  22.3 |    94M |  40 | 200 |3129 | 352 |7036 |  1 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.57%
38.04/38.21	c  38.2s| 41700 |   516 |987691 |  22.3 |    94M |  40 | 200 |3115 | 356 |7049 |  1 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.57%
38.14/38.30	c  38.3s| 41800 |   507 |990639 |  22.3 |    94M |  40 | 200 |3120 | 353 |7050 |  0 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   0.57%
38.14/38.36	c *38.4s| 41868 |     0 |992599 |  22.3 |    LP  |  40 | 200 |3089 | 367 |7061 |  1 |  21k|  38 | 0.000000e+00 | 0.000000e+00 |   0.00%| 100.00%
38.14/38.36	c 
38.14/38.36	c SCIP Status        : problem is solved [optimal solution found]
38.14/38.36	c Solving Time (sec) : 38.35
38.14/38.36	c Solving Nodes      : 41868 (total of 44382 nodes in 2 runs)
38.14/38.36	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
38.14/38.36	c Dual Bound         : +0.00000000000000e+00
38.14/38.36	c Gap                : 0.00 %
38.14/38.36	s SATISFIABLE
38.14/38.36	v -x162 -x111 -x139 -x121 -x180 x119 x108 -x154 x172 -x132 -x190 -x166 -x129 -x153 x198 -x113 -x140 x200 -x155 x189 -x179 -x156 -x152 
38.14/38.36	v -x149 -x109 -x188 -x151 -x144 -x165 -x135 -x115 -x146 -x147 -x126 -x106 -x182 -x197 -x102 -x195 -x161 x133 -x105 -x104 -x192 
38.14/38.36	v -x114 -x171 -x125 -x138 -x185 x174 -x143 -x157 -x170 x159 -x123 -x103 -x101 x199 x196 -x186 -x181 -x177 -x176 -x175 -x167 
38.14/38.36	v -x158 -x148 -x145 -x142 -x134 -x120 -x118 -x117 -x110 -x107 -x124 -x131 x183 -x130 -x168 -x169 -x112 -x137 x173 -x141 -x127 
38.14/38.36	v -x164 -x160 -x191 x128 -x163 -x122 -x150 -x193 -x136 -x194 -x116 x178 -x187 -x184 -x100 -x99 -x98 -x97 -x96 -x95 x94 x93 -x92 
38.14/38.36	v -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 
38.14/38.36	v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 x52 x51 -x50 -x49 x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 
38.14/38.36	v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 
38.14/38.36	v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
38.14/38.36	c SCIP Status        : problem is solved [optimal solution found]
38.14/38.36	c Total Time         :      38.35
38.14/38.36	c   solving          :      38.35
38.14/38.36	c   presolving       :       0.05 (included in solving)
38.14/38.36	c   reading          :       0.01 (included in solving)
38.14/38.36	c   copying          :       0.34 (108 #copies) (minimal 0.00, maximal 0.02, average 0.00)
38.14/38.36	c Original Problem   :
38.14/38.36	c   Problem name     : HOME/instance-4459584-1721932566.opb
38.14/38.36	c   Variables        : 3238 (200 binary, 0 integer, 3038 implicit integer, 0 continuous)
38.14/38.36	c   Constraints      : 3540 initial, 3540 maximal
38.14/38.36	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
38.14/38.36	c Presolved Problem  :
38.14/38.36	c   Problem name     : t_HOME/instance-4459584-1721932566.opb
38.14/38.36	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
38.14/38.36	c   Constraints      : 1084 initial, 7068 maximal
38.14/38.36	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
38.14/38.36	c   Nonzeros         : 21934 constraint, 200 clique table
38.14/38.36	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
38.14/38.36	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
38.14/38.36	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
38.14/38.36	c   gateextraction   :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
38.14/38.36	c   implics          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
38.14/38.36	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
38.14/38.36	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   trivial          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
38.14/38.36	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   dualfix          :       0.00       0.00      7       3038          0          0          0          0          0          0          0          0
38.14/38.36	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   probing          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
38.14/38.36	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
38.14/38.36	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
38.14/38.36	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
38.14/38.36	c   knapsack         :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
38.14/38.36	c   setppc           :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
38.14/38.36	c   linear           :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
38.14/38.36	c   logicor          :       0.01       0.00      8          0          0          0          0          0         44          0          0        144
38.14/38.36	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   pseudoboolean    :       0.01       0.00      1          0          0          0          0          0       3438        200          0          0
38.14/38.36	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
38.14/38.36	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
38.14/38.36	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
38.14/38.36	c   benderslp        :          0          0          0          0      22634          0          0       4015          0          0          0          0          0          0          0
38.14/38.36	c   integral         :          0          0          0          0      22634          0          0       4015          0          0          0          0          0          0      45266
38.14/38.36	c   knapsack         :        229        229         22     114586          1          0          0       4008     340925        442     186678       1460          5          0          0
38.14/38.36	c   setppc           :        100        100         22     111073          1          0          0          3      34204          1       6546          0          0          0          0
38.14/38.36	c   linear           :          3          3         22     114143          1          0          0          2         42        216        453          0          0          0          0
38.14/38.36	c   logicor          :        752+      6736         11      54532          0          0          0          0      25066        394      23159          0          0          0          0
38.14/38.36	c   benders          :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
38.14/38.36	c   fixedvar         :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
38.14/38.36	c   countsols        :          0          0          0          0          1          0          0          2          0          0          0          0          0          0          0
38.14/38.36	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
38.14/38.36	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   integral         :       0.31       0.00       0.00       0.00       0.31       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   knapsack         :       1.23       0.00       0.02       1.08       0.00       0.00       0.00       0.03       0.11       0.00
38.14/38.36	c   setppc           :       0.05       0.00       0.00       0.05       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   linear           :       0.14       0.00       0.00       0.14       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   logicor          :       0.84       0.00       0.00       0.81       0.00       0.00       0.00       0.00       0.02       0.00
38.14/38.36	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
38.14/38.36	c   dualfix          :          2          0          0          0
38.14/38.36	c   genvbounds       :          0          0          0          0
38.14/38.36	c   nlobbt           :          0          0          0          0
38.14/38.36	c   obbt             :          0          0          0          0
38.14/38.36	c   probing          :          0          0          0          0
38.14/38.36	c   pseudoobj        :          0          0          0          0
38.14/38.36	c   redcost          :          0          0          0          0
38.14/38.36	c   rootredcost      :          0          0          0          0
38.14/38.36	c   symmetry         :          0          0          0          0
38.14/38.36	c   vbounds          :      68203          0          0          0
38.14/38.36	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
38.14/38.36	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
38.14/38.36	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   probing          :       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
38.14/38.36	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
38.14/38.36	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
38.14/38.36	c   symmetry         :       0.02       0.00       0.00       0.02       0.00       0.00
38.14/38.36	c   vbounds          :       0.09       0.00       0.00       0.09       0.00       0.00
38.14/38.36	c Symmetry           :
38.14/38.36	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
38.14/38.36	c   orbital reduction:          0 reductions applied,          0 cutoffs
38.14/38.36	c   lexicographic red:          0 reductions applied,          0 cutoffs
38.14/38.36	c   shadow tree time :       0.00 s
38.14/38.36	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
38.14/38.36	c   propagation      :       0.03        595        568          -       3347       47.7          8       20.6          -          -          -
38.14/38.36	c   infeasible LP    :       1.57      21296      12188          -     105319       33.4         68       23.5          0        0.0          0
38.14/38.36	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
38.14/38.36	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
38.14/38.36	c   pseudo solution  :       0.00          1          1          -          1        0.0          0        0.0          -          -          -
38.14/38.36	c   applied globally :       0.05          -          -          0      21189       19.7          -          -          0          -          -
38.14/38.36	c   applied locally  :          -          -          -          0         72       41.5          -          -          0          -          -
38.14/38.36	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
38.14/38.36	c   cut pool         :       0.27          -       4588         42          -          -      10586      38233          -          -          -          -          -    (maximal pool size:       3303)
38.14/38.36	c   aggregation      :       0.20       0.00         99         22          0          0       4369      30519        467       7427       7320        107          0
38.14/38.36	c   > cmir           :          -          -          -          -          -          -          -      27062          2       6377       6377          0          -
38.14/38.36	c   > flowcover      :          -          -          -          -          -          -          -       3272          0        925        925          0          -
38.14/38.36	c   > knapsackcover  :          -          -          -          -          -          -          -        185        465        125         18        107          -
38.14/38.36	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   clique           :       0.00       0.00         22         22          0          0          0          0          0          0          0          0          0
38.14/38.36	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   gomory           :       0.57       0.00         97         20          0          0       7862       7680       1202         37         33          4          0
38.14/38.36	c   > gomorymi       :          -          -          -          -          -          -          -       5041        628         35         31          4          -
38.14/38.36	c   > strongcg       :          -          -          -          -          -          -          -       2639        574          2          2          0          -
38.14/38.36	c   impliedbounds    :       0.00       0.00         99         22          0          0          0          0          0          0          0          0          0
38.14/38.36	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
38.14/38.36	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   multilinear      :       0.00       0.00        386         22          0          0          0          0          0          0          0          0          0
38.14/38.36	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
38.14/38.36	c   rapidlearning    :       1.65       0.00        100          1          0       1461          0          0          0          0          0          0        906
38.14/38.36	c   rlt              :       0.00       0.00         62         20          0          0          0          0          0          0          0          0          0
38.14/38.36	c   zerohalf         :       0.04       0.00         99         22          0          0        109         34         85          2          1          1          0
38.14/38.36	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
38.14/38.36	c   hybrid           :       0.03       0.00       3234         22       7475          0      33674        198          0       8991
38.14/38.36	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c Pricers            :   ExecTime  SetupTime      Calls       Vars
38.14/38.36	c   problem variables:       0.00          -          0          0
38.14/38.36	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
38.14/38.36	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c   relpscost        :       0.30       0.00      22633          0          0          0          0          0          0      45266
38.14/38.36	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
38.14/38.36	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
38.14/38.36	c   LP solutions     :       0.00          -          -          1          1
38.14/38.36	c   relax solutions  :       0.00          -          -          0          0
38.14/38.36	c   pseudo solutions :       0.00          -          -          0          0
38.14/38.36	c   strong branching :       0.00          -          -          0          0
38.14/38.36	c   actconsdiving    :       0.00       0.00          0          0          0
38.14/38.36	c   adaptivediving   :       0.07       0.00         38          0          0
38.14/38.36	c   alns             :       0.33       0.00          6          0          0
38.14/38.36	c   bound            :       0.00       0.00          0          0          0
38.14/38.36	c   clique           :       0.00       0.00          1          0          0
38.14/38.36	c   coefdiving       :       0.00       0.00          0          0          0
38.14/38.36	c   completesol      :       0.00       0.00          0          0          0
38.14/38.36	c   conflictdiving   :       0.07       0.00         19          0          0
38.14/38.36	c   crossover        :       0.00       0.00          0          0          0
38.14/38.36	c   dins             :       0.00       0.00          0          0          0
38.14/38.36	c   distributiondivin:       0.20       0.00         19          0          0
38.14/38.36	c   dps              :       0.00       0.00          0          0          0
38.14/38.36	c   dualval          :       0.00       0.00          0          0          0
38.14/38.36	c   farkasdiving     :       0.00       0.00          0          0          0
38.14/38.36	c   feasjump         :       0.13       0.00          2          0          0
38.14/38.36	c   feaspump         :       0.05       0.00         10          0          0
38.14/38.36	c   fixandinfer      :       0.00       0.00          0          0          0
38.14/38.36	c   fracdiving       :       0.04       0.00         20          0          0
38.14/38.36	c   gins             :       0.00       0.00          0          0          0
38.14/38.36	c   guideddiving     :       0.00       0.00          0          0          0
38.14/38.36	c   indcoefdiving    :       0.00       0.00          0          0          0
38.14/38.36	c   indicator        :       0.00       0.00          0          0          0
38.14/38.36	c   indicatordiving  :       0.00       0.00          0          0          0
38.14/38.36	c   indoneopt        :       0.01       0.00          0          0          0
38.14/38.36	c   indrounding      :       0.00       0.00          0          0          0
38.14/38.36	c   indtwoopt        :       0.00       0.00          0          0          0
38.14/38.36	c   intdiving        :       0.00       0.00          0          0          0
38.14/38.36	c   intshifting      :       0.00       0.00          0          0          0
38.14/38.36	c   linesearchdiving :       0.04       0.00         19          0          0
38.14/38.36	c   localbranching   :       0.00       0.00          0          0          0
38.14/38.36	c   locks            :       0.00       0.00          1          0          0
38.14/38.36	c   lpface           :       0.01       0.00          0          0          0
38.14/38.36	c   mpec             :       0.00       0.00          0          0          0
38.14/38.36	c   multistart       :       0.00       0.00          0          0          0
38.14/38.36	c   mutation         :       0.00       0.00          0          0          0
38.14/38.36	c   nlpdiving        :       0.00       0.00          0          0          0
38.14/38.36	c   objpscostdiving  :       0.09       0.00         10          0          0
38.14/38.36	c   octane           :       0.00       0.00          0          0          0
38.14/38.36	c   ofins            :       0.00       0.00          0          0          0
38.14/38.36	c   oneopt           :       0.01       0.00          0          0          0
38.14/38.36	c   padm             :       0.00       0.00          0          0          0
38.14/38.36	c   proximity        :       0.00       0.00          0          0          0
38.14/38.36	c   pscostdiving     :       0.04       0.00         20          0          0
38.14/38.36	c   randrounding     :       0.08       0.00       4007          0          0
38.14/38.36	c   rens             :       0.08       0.00          2          0          0
38.14/38.36	c   reoptsols        :       0.00       0.00          0          0          0
38.14/38.36	c   repair           :       0.00       0.00          0          0          0
38.14/38.36	c   rins             :       0.00       0.00          0          0          0
38.14/38.36	c   rootsoldiving    :       0.08       0.00         10          0          0
38.14/38.36	c   rounding         :       0.13       0.00       2225          0          0
38.14/38.36	c   scheduler        :       0.00       0.00          0          0          0
38.14/38.36	c   shiftandpropagate:       0.01       0.00          2          0          0
38.14/38.36	c   shifting         :       0.34       0.00       1000          0          0
38.14/38.36	c   simplerounding   :       0.00       0.00          0          0          0
38.14/38.36	c   smallcard        :       0.00       0.00          0          0          0
38.14/38.36	c   subnlp           :       0.01       0.00          0          0          0
38.14/38.36	c   trivial          :       0.00       0.00          4          0          0
38.14/38.36	c   trivialnegation  :       0.00       0.00          0          0          0
38.14/38.36	c   trustregion      :       0.00       0.00          0          0          0
38.14/38.36	c   trysol           :       0.00       0.00          0          0          0
38.14/38.36	c   twoopt           :       0.00       0.00          0          0          0
38.14/38.36	c   undercover       :       0.00       0.00          0          0          0
38.14/38.36	c   vbounds          :       0.01       0.00          2          0          0
38.14/38.36	c   veclendiving     :       0.04       0.00         19          0          0
38.14/38.36	c   zeroobj          :       0.00       0.00          0          0          0
38.14/38.36	c   zirounding       :       0.01       0.00       1000          0          0
38.14/38.36	c   other solutions  :          -          -          -          0          -
38.14/38.36	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
38.14/38.36	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
38.14/38.36	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
38.14/38.36	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
38.14/38.36	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
38.14/38.36	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
38.14/38.36	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
38.14/38.36	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
38.14/38.36	c   zeroobjective    :          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
38.14/38.36	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
38.14/38.36	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
38.14/38.36	c   primal LP        :       0.15       1399        590     147.50    4030.22       0.13       1395
38.14/38.36	c   dual LP          :      23.40      47539     975474      20.69   41684.51       0.08        400
38.14/38.36	c   lex dual LP      :       0.00          0          0       0.00          -
38.14/38.36	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
38.14/38.36	c   resolve instable :       0.25        136      10781      79.27   42502.61
38.14/38.36	c   diving/probing LP:       0.42        775      16535      21.34   39311.39
38.14/38.36	c   strong branching :       0.05         38       1371      36.08   26620.33          -          -          0
38.14/38.36	c     (at root node) :          -         38       1371      36.08          -
38.14/38.36	c   conflict analysis:       0.00          0          0       0.00          -
38.14/38.36	c B&B Tree           :
38.14/38.36	c   number of runs   :          2
38.14/38.36	c   nodes            :      41868 (21278 internal, 20590 leaves)
38.14/38.36	c   feasible leaves  :          1
38.14/38.36	c   infeas. leaves   :      20589
38.14/38.36	c   objective leaves :          0
38.14/38.36	c   nodes (total)    :      44382 (22633 internal, 21749 leaves)
38.14/38.36	c   nodes left       :          0
38.14/38.36	c   max depth        :         40
38.14/38.36	c   max depth (total):         40
38.14/38.36	c   backtracks       :       8403 (20.1%)
38.14/38.36	c   early backtracks :          0 (0.0%)
38.14/38.36	c   nodes exc. ref.  :          0 (0.0%)
38.14/38.36	c   delayed cutoffs  :        186
38.14/38.36	c   repropagations   :      26183 (26843 domain reductions, 131 cutoffs)
38.14/38.36	c   avg switch length:       3.87
38.14/38.36	c   switching time   :       2.50
38.14/38.36	c Root Node          :
38.14/38.36	c   First LP value   : +0.00000000000000e+00
38.14/38.36	c   First LP Iters   :         65 (57167.99 Iter/sec)
38.14/38.36	c   First LP Time    :       0.00
38.14/38.36	c   Final Dual Bound : +0.00000000000000e+00
38.14/38.36	c   Final Root Iters :        955
38.14/38.36	c   Root LP Estimate : +5.11248176629266e-03
38.14/38.36	c Solution           :
38.14/38.36	c   Solutions found  :          1 (1 improvements)
38.14/38.36	c   First Solution   : +0.00000000000000e+00   (in run 2, after 41868 nodes, 38.35 seconds, depth 24, found by <relaxation>)
38.14/38.36	c   Gap First Sol.   :       0.00 %
38.14/38.36	c   Gap Last Sol.    :       0.00 %
38.14/38.36	c   Primal Bound     : +0.00000000000000e+00   (in run 2, after 41868 nodes, 38.35 seconds, depth -1, found by <relaxation>)
38.14/38.36	c   Dual Bound       : +0.00000000000000e+00
38.14/38.36	c   Gap              :       0.00 %
38.14/38.36	c Integrals          :      Total       Avg%
38.14/38.36	c   primal-dual      :    3835.06     100.00
38.14/38.36	c   primal-ref       :          -          - (not evaluated)
38.14/38.36	c   dual-ref         :          -          - (not evaluated)
38.14/38.37	c Time complete: 38.2302.

Verifier Data

OK	0

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: 63968 MiB (50205 MiB free)
  memory of node 1: 64473 MiB (56506 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=306284, runsolver pid=306277

[startup+0.100086 s]*
/proc/loadavg: 0.06 0.08 0.09 4/245 306296
/proc/meminfo: memFree=109230328/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=75172 memory=36280 CPUtime=0.08 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 5671 0 4 0 8 0 0 0 20 0 1 0 29786071 76976128 9070 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 18793 9070 3845 3540 0 7050 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75172 KiB
Current children cumulated memory: 36280 KiB

[startup+0.205839 s]*
/proc/loadavg: 0.06 0.08 0.09 2/243 306322
/proc/meminfo: memFree=109220308/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=87928 memory=49568 CPUtime=0.19 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 9063 0 4 0 18 1 0 0 20 0 1 0 29786071 90038272 12392 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 21982 12392 3976 3540 0 10239 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87928 KiB
Current children cumulated memory: 49568 KiB

[startup+0.305295 s]*
/proc/loadavg: 0.06 0.08 0.09 2/240 306330
/proc/meminfo: memFree=109197308/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=111092 memory=71216 CPUtime=0.29 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 14516 0 4 0 27 2 0 0 20 0 1 0 29786071 113758208 17804 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 27773 17804 3976 3540 0 16030 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 111092 KiB
Current children cumulated memory: 71216 KiB

[startup+0.700196 s]
/proc/loadavg: 0.06 0.08 0.09 2/240 306330
/proc/meminfo: memFree=109171500/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=140776 memory=98408 CPUtime=0.68 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 21328 0 4 0 65 3 0 0 20 0 1 0 29786071 144154624 24602 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 35194 24602 3976 3540 0 23451 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140776 KiB
Current children cumulated memory: 98408 KiB

[startup+1.50019 s]
/proc/loadavg: 0.06 0.08 0.09 2/240 306330
/proc/meminfo: memFree=109162988/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=148440 memory=104216 CPUtime=1.48 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 22734 0 4 0 145 3 0 0 20 0 1 0 29786071 152002560 26054 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 37110 26054 3976 3540 0 25367 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148440 KiB
Current children cumulated memory: 104216 KiB

[startup+3.10507 s]
/proc/loadavg: 0.06 0.08 0.09 3/238 306542
/proc/meminfo: memFree=109218752/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=149132 memory=105264 CPUtime=3.07 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 23109 0 4 0 304 3 0 0 20 0 1 0 29786071 152711168 26316 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 37283 26316 3976 3540 0 25540 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 149132 KiB
Current children cumulated memory: 105264 KiB

[startup+6.30017 s]
/proc/loadavg: 0.37 0.14 0.11 5/252 306633
/proc/meminfo: memFree=108998728/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=150276 memory=106752 CPUtime=6.26 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 23879 0 5 0 623 3 0 0 20 0 1 0 29786071 153882624 26688 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 37569 26688 4118 3540 0 25826 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 150276 KiB
Current children cumulated memory: 106752 KiB

[startup+12.7002 s]
/proc/loadavg: 0.66 0.21 0.13 5/255 306676
/proc/meminfo: memFree=108897144/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=153624 memory=110280 CPUtime=12.64 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 24746 0 5 0 1261 3 0 0 20 0 1 0 29786071 157310976 27570 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 38406 27570 4150 3540 0 26663 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 110280 KiB

[startup+25.5002 s]
/proc/loadavg: 1.48 0.41 0.20 5/255 306679
/proc/meminfo: memFree=108868548/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=156276 memory=114072 CPUtime=25.39 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 25672 0 5 0 2536 3 0 0 20 0 1 0 29786071 160026624 28518 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 39069 28518 4150 3540 0 27326 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 156276 KiB
Current children cumulated memory: 114072 KiB

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

# cumulated CPU time of all completed processes:  user=38.1911 s, system=0.04381 s

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

[startup+25.6002 s]
/proc/loadavg: 1.48 0.41 0.20 5/255 306679
/proc/meminfo: memFree=108868548/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=156276 memory=114072 CPUtime=25.49 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 25672 0 5 0 2546 3 0 0 20 0 1 0 29786071 160026624 28518 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 39069 28518 4150 3540 0 27326 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 156276 KiB
Current children cumulated memory: 114072 KiB

[startup+32.0002 s]*
/proc/loadavg: 1.68 0.47 0.22 5/255 306679
/proc/meminfo: memFree=108853488/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=119792 CPUtime=31.87 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27106 0 5 0 3184 3 0 0 20 0 1 0 29786071 165711872 29948 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 29948 4150 3540 0 28714 0
Current children cumulated CPU time: 31.87 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 119792 KiB

[startup+35.2002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108850336/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=35.05 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3502 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 35.05 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB

[startup+36.8002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108848992/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=36.65 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3662 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 36.65 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB

[startup+37.6001 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108848440/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=37.44 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3741 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 37.44 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB

[startup+38.0001 s]*
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108845680/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=37.85 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3782 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 37.85 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB

[startup+38.2002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108845680/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=38.04 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3801 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 38.04 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB

[startup+38.3002 s]
/proc/loadavg: 1.87 0.53 0.24 5/255 306680
/proc/meminfo: memFree=108845680/131524600 swapFree=131071728/131071996
[pid=306284] ppid=306277 vsize=161828 memory=120064 CPUtime=38.14 cores=5,7
/proc/306284/stat : 306284 (pbscip) R 306277 306284 306232 0 -1 4194304 27121 0 5 0 3811 3 0 0 20 0 1 0 29786071 165711872 30016 134679101440 4194304 18693293 140736592577600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32288768 140736592581635 140736592581734 140736592581734 140736592588750 0
/proc/306284/statm: 40457 30016 4150 3540 0 28714 0
Current children cumulated CPU time: 38.14 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 120064 KiB

Child status: 0

Real time (s): 38.3779
CPU time (s): 38.2349
CPU user time (s): 38.1911
CPU system time (s): 0.04381
CPU usage (%): 99.6274
Max. virtual memory (cumulated for all children) (KiB): 161828
Max. memory (cumulated for all children) (KiB): 120064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.1911
system time used= 0.04381
maximum resident set size= 120064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27127
page faults= 5
swaps= 0
block input operations= 512
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 306284
#   total CPU time (s): 38.2349
#   total CPU user time (s): 38.1911
#   total CPU system time (s): 0.04381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101579 second user time and 0.190402 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-25 20:36:06
IDJOB=4459584
IDBENCH=148212
IDSOLVER=3059
FILE ID=nodeC029/4459584-1721932566
RUNJOBID= nodeC029-1721932566-306245
SLURM_JOB_ID= 8247076
Free space on /tmp= 890068 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_1_15.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459584-1721932566/watcher-4459584-1721932566 -o /tmp/evaluation-result-4459584-1721932566/solver-4459584-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721932566-306245 --watchdog 3760  pbscip -f HOME/instance-4459584-1721932566.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 47228ad0e480d217be544eac70443e44
RANDOM SEED=672496796

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109273728 kB
MemAvailable:   129572928 kB
Buffers:          324608 kB
Cached:         20678364 kB
SwapCached:           44 kB
Active:          2863088 kB
Inactive:       18511744 kB
Active(anon):       1448 kB
Inactive(anon):   424780 kB
Active(file):    2861640 kB
Inactive(file): 18086964 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             55440 kB
Writeback:             0 kB
AnonPages:        372184 kB
Mapped:           119432 kB
Shmem:             54012 kB
KReclaimable:     380840 kB
Slab:             515732 kB
SReclaimable:     380840 kB
SUnreclaim:       134892 kB
KernelStack:        3716 kB
PageTables:         9696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     710196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      350932 kB
DirectMap2M:    44511232 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC029 at 2024-07-25 20:36:45