Trace number 4447335

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-07? 3583.67 3597.05

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K68.opb
MD5SUM903b294a72b72fbd6778e100307d5973
Bench CategoryDEC-LIN (decision problem, 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 benchmark11.813
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 69
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4447335-1721353243.opb>
0.00/0.01	c original problem has 3740 variables (3740 bin, 0 int, 0 impl, 0 cont) and 3878 constraints
0.00/0.01	c problem read in 0.01
0.00/0.01	c No objective function, only one solution is needed.
0.00/0.02	c presolving:
0.00/0.03	c (round 1, fast)       174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 705 clqs
0.00/0.03	c (round 2, fast)       434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 692 clqs
0.00/0.03	c (round 3, fast)       551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 689 clqs
0.00/0.03	c (round 4, fast)       644 del vars, 352 del conss, 0 add conss, 160 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 702 clqs
0.00/0.03	c (round 5, fast)       695 del vars, 391 del conss, 0 add conss, 182 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 724 clqs
0.00/0.03	c (round 6, fast)       717 del vars, 410 del conss, 0 add conss, 189 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 740 clqs
0.00/0.03	c (round 7, fast)       721 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 749 clqs
0.00/0.04	c    (0.0s) running MILP presolver
0.09/0.20	c    (0.2s) MILP presolver (25 rounds): 4 aggregations, 174 fixings, 0 bound changes
0.09/0.20	c (round 8, medium)     899 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 639 clqs
0.09/0.20	c (round 9, fast)       899 del vars, 592 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 641 clqs
0.20/0.21	c (round 10, exhaustive) 899 del vars, 656 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 641 clqs
0.20/0.22	c (round 11, exhaustive) 899 del vars, 656 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 3222 upgd conss, 0 impls, 641 clqs
0.20/0.23	c (round 12, exhaustive) 924 del vars, 657 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3222 upgd conss, 0 impls, 641 clqs
0.20/0.23	c (round 13, fast)       949 del vars, 681 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3222 upgd conss, 0 impls, 643 clqs
0.50/0.56	c (round 14, exhaustive) 974 del vars, 682 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.50/0.56	c (round 15, fast)       974 del vars, 707 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 54 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.50/0.58	c (round 16, exhaustive) 999 del vars, 707 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 54 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.50/0.58	c (round 17, fast)       999 del vars, 732 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 79 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.79/0.88	c    (0.9s) probing: 1000/3081 (32.5%) - 68 fixings, 2 aggregations, 356632 implications, 0 bound changes
0.89/0.95	c (round 18, exhaustive) 1024 del vars, 732 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 79 chg coeffs, 3222 upgd conss, 0 impls, 21823 clqs
0.89/0.95	c (round 19, fast)       1024 del vars, 757 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 122 chg coeffs, 3222 upgd conss, 0 impls, 21830 clqs
0.89/0.99	c (round 20, exhaustive) 1049 del vars, 757 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 122 chg coeffs, 3222 upgd conss, 0 impls, 21827 clqs
0.89/0.99	c (round 21, fast)       1049 del vars, 782 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 161 chg coeffs, 3222 upgd conss, 0 impls, 21834 clqs
1.38/1.45	c    (1.5s) probing: 2000/3081 (64.9%) - 121 fixings, 2 aggregations, 670445 implications, 0 bound changes
1.38/1.47	c (round 22, exhaustive) 1074 del vars, 782 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 161 chg coeffs, 3222 upgd conss, 0 impls, 21842 clqs
1.38/1.47	c (round 23, fast)       1074 del vars, 807 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 203 chg coeffs, 3222 upgd conss, 0 impls, 21846 clqs
1.88/1.99	c    (2.0s) probing: 3000/3081 (97.4%) - 136 fixings, 2 aggregations, 975885 implications, 0 bound changes
1.99/2.03	c    (2.0s) probing cycle finished: starting next cycle
2.48/2.58	c    (2.6s) probing: 1000/2943 (34.0%) - 139 fixings, 2 aggregations, 1322211 implications, 0 bound changes
2.58/2.69	c    (2.7s) probing: 1206/2943 (41.0%) - 139 fixings, 2 aggregations, 1388125 implications, 0 bound changes
2.58/2.69	c    (2.7s) probing aborted: 1000/1000 successive useless probings
2.58/2.69	c (round 24, exhaustive) 1092 del vars, 807 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 206 chg coeffs, 3222 upgd conss, 0 impls, 21726 clqs
2.58/2.69	c (round 25, fast)       1092 del vars, 823 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 224 chg coeffs, 3222 upgd conss, 0 impls, 21726 clqs
2.68/2.76	c    (2.8s) probing: 1306/2943 (44.4%) - 139 fixings, 2 aggregations, 1419793 implications, 0 bound changes
2.68/2.76	c    (2.8s) probing aborted: 1000/1000 successive useless probings
2.68/2.76	c    (2.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.68/2.78	c    (2.8s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
2.68/2.78	c dynamic symmetry handling statistics:
2.68/2.78	c    orbitopal reduction:       no components
2.68/2.78	c    orbital reduction:         no components
2.68/2.78	c    lexicographic reduction:    3 permutations with support sizes 294, 116, 110
2.68/2.78	c handled 3 out of 3 symmetry components
2.68/2.78	c presolving (26 rounds: 26 fast, 11 medium, 10 exhaustive):
2.68/2.78	c  1092 deleted vars, 823 deleted constraints, 0 added constraints, 190 tightened bounds, 0 added holes, 0 changed sides, 224 changed coefficients
2.68/2.78	c  0 implications, 21873 cliques
2.68/2.78	c presolved problem has 2940 variables (2940 bin, 0 int, 0 impl, 0 cont) and 3055 constraints
2.68/2.78	c     628 constraints of type <setppc>
2.68/2.78	c    2427 constraints of type <logicor>
2.68/2.78	c transformed objective value is always integral (scale: 1)
2.68/2.78	c Presolving Time: 2.76
2.68/2.78	c - non default parameters ----------------------------------------------------------------------
2.68/2.78	c # SCIP version 10.0.0
2.68/2.78	c 
2.68/2.78	c # maximal time in seconds to run
2.68/2.78	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.68/2.78	c limits/time = 3596.996999
2.68/2.78	c 
2.68/2.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.68/2.78	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.68/2.78	c limits/memory = 27900
2.68/2.78	c 
2.68/2.78	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.68/2.78	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.68/2.78	c limits/solutions = 1
2.68/2.78	c 
2.68/2.78	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.
2.68/2.78	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.68/2.78	c misc/usesymmetry = 3
2.68/2.78	c 
2.68/2.78	c # belongs reading time to solving time?
2.68/2.78	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.68/2.78	c timing/reading = TRUE
2.68/2.78	c 
2.68/2.78	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.68/2.78	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.68/2.78	c propagating/symmetry/detectdoublelex = FALSE
2.68/2.78	c 
2.68/2.78	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.68/2.78	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.68/2.78	c propagating/symmetry/detectsubgroups = FALSE
2.68/2.78	c 
2.68/2.78	c # Type of symmetries that shall be computed?
2.68/2.78	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.68/2.78	c propagating/symmetry/symtype = 1
2.68/2.78	c 
2.68/2.78	c # Should components consisting of a single full reflection be handled?
2.68/2.78	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.68/2.78	c propagating/symmetry/usesimplesgncomp = FALSE
2.68/2.78	c 
2.68/2.78	c -----------------------------------------------------------------------------------------------
2.68/2.78	c start solving
2.68/2.78	c 
4.07/4.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
4.07/4.13	c   4.1s|     1 |     0 |  7395 |     - |    48M |   0 |2940 |3140 |3055 |   0 |  0 |  85 |   0 | 0.000000e+00 |      --      |    Inf | unknown
13.43/13.59	c  13.6s|     1 |     0 | 43473 |     - |    54M |   0 |2940 |3342 |3063 |   8 |  1 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.13/14.22	c  14.2s|     1 |     0 | 45203 |     - |    56M |   0 |2940 |3346 |3076 |  21 |  2 |  91 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.73/14.83	c  14.8s|     1 |     0 | 46858 |     - |    57M |   0 |2940 |3355 |3086 |  31 |  3 | 100 |   0 | 0.000000e+00 |      --      |    Inf | unknown
15.43/15.55	c  15.5s|     1 |     0 | 48942 |     - |    57M |   0 |2940 |3361 |3097 |  42 |  4 | 106 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.53/16.60	c  16.6s|     1 |     0 | 52172 |     - |    58M |   0 |2940 |3367 |3106 |  51 |  5 | 114 |   0 | 0.000000e+00 |      --      |    Inf | unknown
17.22/17.38	c  17.4s|     1 |     0 | 54144 |     - |    59M |   0 |2940 |3372 |3113 |  58 |  6 | 119 |   0 | 0.000000e+00 |      --      |    Inf | unknown
18.32/18.47	c  18.5s|     1 |     0 | 57394 |     - |    61M |   0 |2940 |3368 |3125 |  70 |  7 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
19.42/19.50	c  19.5s|     1 |     0 | 60388 |     - |    61M |   0 |2940 |3376 |3137 |  82 |  8 | 130 |   0 | 0.000000e+00 |      --      |    Inf | unknown
20.31/20.48	c  20.5s|     1 |     0 | 63188 |     - |    61M |   0 |2940 |3375 |3145 |  90 |  9 | 131 |   0 | 0.000000e+00 |      --      |    Inf | unknown
21.71/21.86	c  21.9s|     1 |     0 | 67581 |     - |    62M |   0 |2940 |3374 |3151 |  96 | 10 | 136 |   0 | 0.000000e+00 |      --      |    Inf | unknown
22.31/22.43	c  22.4s|     1 |     0 | 69278 |     - |    63M |   0 |2940 |3375 |3157 | 102 | 11 | 137 |   0 | 0.000000e+00 |      --      |    Inf | unknown
35.36/35.55	c  35.5s|     1 |     2 |109414 |     - |    63M |   0 |2940 |3376 |3157 | 102 | 11 | 157 |  11 | 0.000000e+00 |      --      |    Inf | unknown
81.91/82.21	c  82.2s|   100 |    25 |297841 |2308.7 |    70M |  41 |2940 |3417 |3115 | 128 |  0 | 229 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
90.58/90.90	c  90.9s|   200 |    25 |339927 |1360.0 |    73M |  59 |2940 |3428 |3120 | 144 |  0 | 248 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
97.66/98.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
97.66/98.05	c  98.0s|   300 |    25 |380044 |1039.4 |    75M |  80 |2940 |3441 |3119 | 159 |  1 | 269 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
104.64/105.06	c   105s|   400 |    23 |419797 | 878.5 |    76M |  80 |2940 |3461 |3118 | 170 |  0 | 292 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
112.91/113.37	c   113s|   500 |    25 |466474 | 796.0 |    77M |  80 |2940 |3453 |3121 | 180 |  1 | 304 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
119.29/119.70	c   120s|   600 |    23 |501092 | 720.9 |    78M |  80 |2940 |3503 |3112 | 182 |  1 | 361 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
123.58/124.04	c   124s|   700 |    23 |525846 | 653.2 |    80M |  80 |2940 |3529 |3121 | 193 |  0 | 426 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
130.45/130.97	c   131s|   800 |    23 |563337 | 618.3 |    82M |  80 |2940 |3521 |   0 | 211 |  0 | 468 |  11 | 0.000000e+00 |      --      |    Inf |   3.15%
140.72/141.24	c   141s|   900 |    27 |619102 | 611.6 |    83M |  80 |2940 |3506 |3121 | 238 |  1 | 508 |  11 | 0.000000e+00 |      --      |    Inf |   3.56%
146.40/146.90	c   147s|  1000 |    27 |650480 | 581.8 |    84M |  80 |2940 |3527 |3107 | 246 |  1 | 567 |  11 | 0.000000e+00 |      --      |    Inf |   3.56%
158.95/159.50	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
158.95/159.57	c (run 1, node 1064) performing user restart
158.95/159.57	c 
158.95/159.57	c (restart) converted 52 cuts from the global cut pool into linear constraints
158.95/159.57	c 
158.95/159.58	c presolving:
158.95/159.58	c (round 1, fast)       0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 21873 clqs
158.95/159.59	c (round 2, exhaustive) 0 del vars, 9 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 21873 clqs
158.95/159.59	c (round 3, exhaustive) 0 del vars, 14 del conss, 2 add conss, 0 chg bounds, 4 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 21873 clqs
159.05/159.60	c (round 4, exhaustive) 0 del vars, 14 del conss, 2 add conss, 0 chg bounds, 4 chg sides, 2 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.05/159.60	c (round 5, medium)     0 del vars, 19 del conss, 11 add conss, 0 chg bounds, 28 chg sides, 41 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.05/159.61	c (round 6, exhaustive) 0 del vars, 43 del conss, 11 add conss, 0 chg bounds, 28 chg sides, 63 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.05/159.65	c (round 7, exhaustive) 0 del vars, 62 del conss, 11 add conss, 0 chg bounds, 28 chg sides, 1013 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.15/159.71	c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
159.15/159.71	c  0 deleted vars, 63 deleted constraints, 11 added constraints, 0 tightened bounds, 0 added holes, 28 changed sides, 1089 changed coefficients
159.15/159.71	c  0 implications, 21873 cliques
159.15/159.71	c presolved problem has 2940 variables (2940 bin, 0 int, 0 impl, 0 cont) and 3498 constraints
159.15/159.71	c      30 constraints of type <knapsack>
159.15/159.71	c     721 constraints of type <setppc>
159.15/159.71	c    2747 constraints of type <logicor>
159.15/159.71	c transformed objective value is always integral (scale: 1)
159.15/159.71	c Presolving Time: 2.89
159.15/159.71	c 
160.65/161.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
160.65/161.25	c   161s|     1 |     0 |719787 |     - |    85M |   0 |2940 |3580 |3086 |   0 |  0 | 683 |  11 | 0.000000e+00 |      --      |    Inf | unknown
161.35/161.92	c   162s|     1 |     0 |721526 |     - |    87M |   0 |2940 |3568 |3098 |  12 |  1 | 684 |  11 | 0.000000e+00 |      --      |    Inf | unknown
162.05/162.61	c   163s|     1 |     0 |723675 |     - |    87M |   0 |2940 |3564 |3107 |  21 |  2 | 687 |  11 | 0.000000e+00 |      --      |    Inf | unknown
162.75/163.36	c   163s|     1 |     0 |725874 |     - |    87M |   0 |2940 |3560 |3118 |  32 |  3 | 693 |  11 | 0.000000e+00 |      --      |    Inf | unknown
163.64/164.23	c   164s|     1 |     0 |728409 |     - |    87M |   0 |2940 |3565 |3127 |  41 |  4 | 698 |  11 | 0.000000e+00 |      --      |    Inf | unknown
164.45/165.06	c   165s|     1 |     0 |730740 |     - |    88M |   0 |2940 |3567 |3138 |  52 |  5 | 700 |  11 | 0.000000e+00 |      --      |    Inf | unknown
165.64/166.21	c   166s|     1 |     0 |734385 |     - |    88M |   0 |2940 |3565 |3148 |  62 |  6 | 701 |  11 | 0.000000e+00 |      --      |    Inf | unknown
166.63/167.21	c   167s|     1 |     0 |737392 |     - |    89M |   0 |2940 |3559 |3156 |  70 |  7 | 706 |  11 | 0.000000e+00 |      --      |    Inf | unknown
167.63/168.21	c   168s|     1 |     0 |740148 |     - |    89M |   0 |2940 |3553 |3163 |  77 |  8 | 707 |  11 | 0.000000e+00 |      --      |    Inf | unknown
168.82/169.43	c   169s|     1 |     0 |743892 |     - |    90M |   0 |2940 |3550 |3176 |  90 |  9 | 714 |  11 | 0.000000e+00 |      --      |    Inf | unknown
169.92/170.57	c   171s|     1 |     0 |747197 |     - |    90M |   0 |2940 |3553 |3189 | 103 | 10 | 724 |  11 | 0.000000e+00 |      --      |    Inf | unknown
171.02/171.66	c   172s|     1 |     0 |750687 |     - |    90M |   0 |2940 |3539 |3151 | 112 | 11 | 726 |  11 | 0.000000e+00 |      --      |    Inf | unknown
179.49/180.12	c   180s|     1 |     2 |773812 |     - |    90M |   0 |2940 |3472 |3151 | 112 | 11 | 731 |  22 | 0.000000e+00 |      --      |    Inf | unknown
212.46/213.23	c   213s|   100 |    21 |939975 | 714.8 |    96M |  20 |2940 |3459 |3098 | 184 |  1 | 751 |  22 | 0.000000e+00 |      --      |    Inf |   0.59%
221.92/222.77	c   223s|   200 |    25 |990263 | 698.0 |    96M |  32 |2940 |3469 |3104 | 209 |  0 | 771 |  22 | 0.000000e+00 |      --      |    Inf |   0.71%
229.09/229.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
229.09/229.91	c   230s|   300 |    29 |  1029k| 675.5 |    97M |  52 |2940 |3500 |3113 | 221 |  1 | 806 |  22 | 0.000000e+00 |      --      |    Inf |   0.71%
236.27/237.14	c   237s|   400 |    25 |  1067k| 655.7 |    98M |  57 |2940 |3545 |3105 | 246 |  1 | 866 |  22 | 0.000000e+00 |      --      |    Inf |   0.71%
244.44/245.35	c   245s|   500 |    23 |  1111k| 641.8 |    98M |  57 |2940 |3515 |3108 | 285 |  1 | 896 |  22 | 0.000000e+00 |      --      |    Inf |   0.81%
258.38/259.37	c   259s|   600 |    31 |  1179k| 644.2 |    98M |  57 |2940 |3509 |3110 | 373 |  1 | 926 |  22 | 0.000000e+00 |      --      |    Inf |   0.89%
273.22/274.22	c   274s|   700 |    39 |  1253k| 649.2 |    99M |  57 |2940 |3529 |3110 | 412 |  0 | 962 |  22 | 0.000000e+00 |      --      |    Inf |   0.90%
282.69/283.76	c   284s|   800 |    45 |  1304k| 641.9 |    99M |  57 |2940 |3673 |3117 | 434 |  0 |1119 |  22 | 0.000000e+00 |      --      |    Inf |   0.91%
294.55/295.66	c   296s|   900 |    47 |  1365k| 640.4 |   104M |  57 |2940 |3687 |3122 | 541 |  1 |1153 |  22 | 0.000000e+00 |      --      |    Inf |   1.31%
306.00/307.16	c   307s|  1000 |    47 |  1426k| 639.0 |   106M |  57 |2940 |3699 |3123 | 592 |  1 |1171 |  22 | 0.000000e+00 |      --      |    Inf |   1.31%
317.16/318.38	c   318s|  1100 |    47 |  1485k| 636.5 |   107M |  57 |2940 |3734 |   0 | 627 |  0 |1208 |  22 | 0.000000e+00 |      --      |    Inf |   1.31%
327.71/328.95	c   329s|  1200 |    53 |  1539k| 632.5 |   108M |  57 |2940 |3721 |3118 | 667 |  1 |1245 |  22 | 0.000000e+00 |      --      |    Inf |   1.33%
341.47/342.75	c   343s|  1300 |    51 |  1611k| 635.8 |   108M |  57 |2940 |3719 |3114 | 706 |  1 |1293 |  22 | 0.000000e+00 |      --      |    Inf |   1.34%
351.03/352.37	c   352s|  1400 |    51 |  1662k| 630.9 |   110M |  61 |2940 |3750 |3118 | 718 |  1 |1333 |  22 | 0.000000e+00 |      --      |    Inf |   1.34%
361.59/362.99	c   363s|  1500 |    49 |  1719k| 628.7 |   110M |  80 |2940 |3760 |3125 | 752 |  1 |1365 |  22 | 0.000000e+00 |      --      |    Inf |   1.34%
372.75/374.18	c   374s|  1600 |    47 |  1777k| 626.8 |   112M |  80 |2940 |3763 |3110 | 814 |  0 |1406 |  22 | 0.000000e+00 |      --      |    Inf |   1.37%
385.70/387.15	c   387s|  1700 |    49 |  1843k| 628.0 |   112M |  80 |2940 |3740 |3124 | 899 |  1 |1443 |  22 | 0.000000e+00 |      --      |    Inf |   1.53%
398.24/399.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
398.24/399.73	c   400s|  1800 |    47 |  1907k| 628.3 |   113M |  80 |2940 |3760 |3132 | 992 |  1 |1474 |  22 | 0.000000e+00 |      --      |    Inf |   1.53%
405.11/406.63	c   407s|  1900 |    43 |  1943k| 619.2 |   114M |  80 |2940 |3769 |3137 |1008 |  0 |1535 |  22 | 0.000000e+00 |      --      |    Inf |   1.53%
416.37/417.99	c   418s|  2000 |    46 |  2002k| 618.2 |   114M |  80 |2940 |3817 |3134 |1046 |  0 |1594 |  22 | 0.000000e+00 |      --      |    Inf |   1.53%
426.63/428.23	c   428s|  2100 |    44 |  2056k| 616.0 |   114M |  80 |2940 |3786 |3129 |1101 |  1 |1625 |  22 | 0.000000e+00 |      --      |    Inf |   1.53%
436.10/437.74	c   438s|  2200 |    42 |  2105k| 611.8 |   115M |  80 |2940 |3810 |3123 |1171 |  1 |1676 |  22 | 0.000000e+00 |      --      |    Inf |   1.53%
448.05/449.79	c   450s|  2300 |    44 |  2167k| 612.2 |   115M |  80 |2940 |3852 |3125 |1246 |  0 |1735 |  22 | 0.000000e+00 |      --      |    Inf |   1.53%
458.01/459.78	c   460s|  2400 |    46 |  2219k| 609.6 |   116M |  80 |2940 |3888 |   0 |1306 |  0 |1795 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
467.87/469.67	c   470s|  2500 |    50 |  2272k| 607.4 |   116M |  80 |2940 |3917 |3117 |1331 |  1 |1842 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
478.53/480.30	c   480s|  2600 |    49 |  2328k| 606.1 |   116M |  80 |2940 |3949 |3118 |1379 |  0 |1881 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
488.39/490.22	c   490s|  2700 |    51 |  2381k| 603.9 |   116M |  80 |2940 |3975 |3122 |1414 |  0 |1919 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
498.85/500.75	c   501s|  2800 |    51 |  2438k| 603.0 |   116M |  80 |2940 |4003 |3123 |1460 |  1 |1955 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
507.32/509.20	c   509s|  2900 |    49 |  2482k| 599.0 |   117M |  80 |2940 |4060 |3133 |1485 |  0 |2020 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
518.68/520.62	c   521s|  3000 |    57 |  2543k| 599.3 |   117M |  80 |2940 |4058 |3119 |1524 |  1 |2067 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
527.44/529.46	c   529s|  3100 |    59 |  2590k| 596.2 |   117M |  80 |2940 |4071 |3119 |1561 |  0 |2098 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
537.41/539.44	c   539s|  3200 |    59 |  2641k| 594.2 |   119M |  80 |2940 |4096 |   0 |1622 |  0 |2144 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
546.08/548.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
546.08/548.15	c   548s|  3300 |    59 |  2688k| 591.4 |   120M |  80 |2940 |4116 |3132 |1646 |  0 |2194 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
553.14/555.28	c   555s|  3400 |    59 |  2727k| 586.8 |   121M |  80 |2940 |4165 |3133 |1655 |  1 |2248 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
560.62/562.77	c   563s|  3500 |    59 |  2767k| 582.8 |   121M |  80 |2940 |4200 |3133 |1681 |  1 |2297 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
569.08/571.25	c   571s|  3600 |    57 |  2813k| 580.1 |   121M |  80 |2940 |4216 |3122 |1696 |  0 |2332 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
581.73/583.96	c   584s|  3700 |    65 |  2879k| 581.8 |   123M |  80 |2940 |4128 |3122 |1749 |  1 |2371 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
594.28/596.59	c   597s|  3800 |    65 |  2943k| 583.0 |   123M |  80 |2940 |4139 |3121 |1828 |  0 |2390 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
606.84/609.14	c   609s|  3900 |    63 |  3009k| 584.5 |   124M |  80 |2940 |4153 |3123 |1885 |  0 |2419 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
618.69/621.09	c   621s|  4000 |    61 |  3069k| 584.8 |   124M |  80 |2940 |4184 |3134 |1954 |  1 |2467 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
629.95/632.38	c   632s|  4100 |    65 |  3128k| 584.9 |   124M |  80 |2940 |4120 |3121 |1996 |  1 |2512 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
642.80/645.23	c   645s|  4200 |    71 |  3195k| 586.5 |   124M |  80 |2940 |4149 |3135 |2063 |  0 |2559 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
655.15/657.64	c   658s|  4300 |    69 |  3260k| 587.8 |   125M |  80 |2940 |4125 |3124 |2112 |  0 |2563 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
665.01/667.54	c   668s|  4400 |    73 |  3312k| 586.5 |   128M |  80 |2940 |4101 |3130 |2176 |  1 |2591 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
672.68/675.21	c   675s|  4500 |    70 |  3351k| 583.0 |   132M |  80 |2940 |4151 |3118 |2207 |  1 |2670 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
681.85/684.41	c   684s|  4600 |    70 |  3401k| 581.5 |   133M | 100 |2940 |4189 |3136 |2219 |  1 |2766 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
691.11/693.74	c   694s|  4700 |    68 |  3449k| 579.7 |   133M | 105 |2940 |4132 |3107 |2298 |  0 |2813 |  22 | 0.000000e+00 |      --      |    Inf |   1.54%
701.77/704.41	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
701.77/704.41	c   704s|  4800 |    70 |  3505k| 579.4 |   135M | 105 |2940 |4017 |3125 |2332 |  1 |2843 |  22 | 0.000000e+00 |      --      |    Inf |   1.64%
710.74/713.45	c   713s|  4900 |    74 |  3552k| 577.6 |   136M | 105 |2940 |4016 |3099 |2379 |  0 |2892 |  22 | 0.000000e+00 |      --      |    Inf |   1.68%
720.21/722.95	c   723s|  5000 |    70 |  3605k| 576.8 |   136M | 105 |2940 |4048 |3097 |2389 |  1 |2936 |  22 | 0.000000e+00 |      --      |    Inf |   1.69%
729.87/732.66	c   733s|  5100 |    66 |  3658k| 576.0 |   136M | 105 |2940 |4062 |3145 |2393 |  0 |2967 |  22 | 0.000000e+00 |      --      |    Inf |   1.75%
740.93/743.70	c   744s|  5200 |    62 |  3715k| 576.0 |   136M | 105 |2940 |4057 |3135 |2452 |  0 |3013 |  22 | 0.000000e+00 |      --      |    Inf |   1.75%
748.60/751.40	c   751s|  5300 |    62 |  3755k| 573.2 |   136M | 105 |2940 |4088 |3134 |2490 |  0 |3076 |  22 | 0.000000e+00 |      --      |    Inf |   1.75%
759.36/762.28	c   762s|  5400 |    62 |  3811k| 573.0 |   136M | 105 |2940 |4064 |3122 |2528 |  1 |3116 |  22 | 0.000000e+00 |      --      |    Inf |   1.75%
769.82/772.76	c   773s|  5500 |    62 |  3866k| 572.6 |   136M | 105 |2940 |4100 |3135 |2584 |  1 |3187 |  22 | 0.000000e+00 |      --      |    Inf |   1.75%
778.98/781.97	c   782s|  5600 |    60 |  3915k| 571.4 |   136M | 105 |2940 |4127 |3129 |2624 |  0 |3237 |  22 | 0.000000e+00 |      --      |    Inf |   1.75%
788.94/791.96	c   792s|  5700 |    64 |  3968k| 570.8 |   137M | 105 |2940 |4153 |3100 |2655 |  1 |3274 |  22 | 0.000000e+00 |      --      |    Inf |   1.77%
799.50/802.55	c   803s|  5800 |    64 |  4024k| 570.6 |   137M | 105 |2940 |4167 |3132 |2709 |  0 |3327 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
805.78/808.86	c   809s|  5900 |    64 |  4058k| 567.2 |   137M | 105 |2940 |4283 |   0 |2724 |  0 |3458 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
812.85/815.96	c   816s|  6000 |    64 |  4095k| 564.5 |   137M | 105 |2940 |4363 |3135 |2733 |  0 |3558 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
819.22/822.38	c   822s|  6100 |    64 |  4128k| 561.3 |   138M | 105 |2940 |4450 |   0 |2741 |  0 |3656 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
826.50/829.64	c   830s|  6200 |    66 |  4167k| 558.9 |   138M | 105 |2940 |4483 |3138 |2755 |  0 |3694 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
832.57/835.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
832.57/835.70	c   836s|  6300 |    66 |  4200k| 555.7 |   138M | 105 |2940 |4510 |3139 |2772 |  2 |3748 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
840.14/843.30	c   843s|  6400 |    66 |  4241k| 553.7 |   138M | 105 |2940 |4539 |3136 |2780 |  1 |3779 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
850.01/853.28	c   853s|  6500 |    66 |  4293k| 553.3 |   138M | 105 |2940 |4542 |3137 |2801 |  1 |3809 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
857.88/861.18	c   861s|  6600 |    65 |  4334k| 551.5 |   139M | 105 |2940 |4647 |3141 |2810 |  2 |3925 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
869.23/872.50	c   872s|  6700 |    63 |  4393k| 551.9 |   139M | 105 |2940 |4488 |3132 |2828 |  0 |3986 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
879.29/882.66	c   883s|  6800 |    64 |  4447k| 551.9 |   139M | 105 |2940 |4499 |3135 |2848 |  0 |4059 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
886.37/889.79	c   890s|  6900 |    64 |  4485k| 549.7 |   139M | 105 |2940 |4557 |3139 |2862 |  1 |4134 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
895.64/899.09	c   899s|  7000 |    66 |  4534k| 549.0 |   139M | 105 |2940 |4682 |3136 |2874 |  1 |4268 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
907.49/910.91	c   911s|  7100 |    66 |  4597k| 549.9 |   140M | 105 |2940 |4676 |3135 |2879 |  1 |4323 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
917.95/921.43	c   921s|  7200 |    62 |  4652k| 549.9 |   140M | 105 |2940 |4701 |3144 |2888 |  0 |4376 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
928.81/932.36	c   932s|  7300 |    64 |  4709k| 550.1 |   140M | 105 |2940 |4690 |3111 |2896 |  0 |4459 |  22 | 0.000000e+00 |      --      |    Inf |   1.78%
939.77/943.39	c   943s|  7400 |    70 |  4767k| 550.5 |   140M | 105 |2940 |4333 |   0 |2947 |  0 |4490 |  22 | 0.000000e+00 |      --      |    Inf |   1.82%
951.92/955.58	c   956s|  7500 |    68 |  4829k| 551.3 |   141M | 105 |2940 |4296 |3139 |2976 |  1 |4525 |  22 | 0.000000e+00 |      --      |    Inf |   2.22%
959.69/963.37	c   963s|  7600 |    70 |  4869k| 549.6 |   141M | 105 |2940 |4281 |3129 |3010 |  1 |4586 |  22 | 0.000000e+00 |      --      |    Inf |   2.22%
969.75/973.47	c   973s|  7700 |    68 |  4922k| 549.3 |   141M | 105 |2940 |4262 |3112 |3050 |  0 |4631 |  22 | 0.000000e+00 |      --      |    Inf |   2.22%
978.03/981.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
978.03/981.73	c   982s|  7800 |    72 |  4965k| 548.0 |   141M | 105 |2940 |4176 |3141 |3081 |  1 |4707 |  22 | 0.000000e+00 |      --      |    Inf |   2.27%
990.09/993.86	c   994s|  7900 |    73 |  5028k| 548.9 |   141M | 105 |2940 |4150 |3141 |3112 |  0 |4736 |  22 | 0.000000e+00 |      --      |    Inf |   2.27%
999.06/1002.82	c  1003s|  8000 |    79 |  5074k| 548.0 |   141M | 105 |2940 |4109 |3102 |3146 |  1 |4769 |  22 | 0.000000e+00 |      --      |    Inf |   2.69%
1010.32/1014.14	c  1014s|  8100 |    79 |  5134k| 548.5 |   141M | 105 |2940 |4115 |3139 |3178 |  1 |4817 |  22 | 0.000000e+00 |      --      |    Inf |   2.69%
1020.19/1024.01	c  1024s|  8200 |    75 |  5186k| 548.2 |   141M | 105 |2940 |4103 |3124 |3221 |  1 |4861 |  22 | 0.000000e+00 |      --      |    Inf |   2.70%
1029.46/1033.36	c  1033s|  8300 |    79 |  5237k| 547.8 |   141M | 105 |2940 |4124 |3109 |3283 |  1 |4910 |  22 | 0.000000e+00 |      --      |    Inf |   2.71%
1037.43/1041.39	c  1041s|  8400 |    76 |  5281k| 546.6 |   141M | 105 |2940 |4160 |3138 |3334 |  0 |4955 |  22 | 0.000000e+00 |      --      |    Inf |   2.71%
1049.59/1053.54	c  1054s|  8500 |    77 |  5346k| 547.7 |   141M | 105 |2940 |4186 |3098 |3356 |  1 |5003 |  22 | 0.000000e+00 |      --      |    Inf |   2.72%
1060.86/1064.89	c  1065s|  8600 |    73 |  5406k| 548.3 |   141M | 105 |2940 |4180 |3141 |3382 |  0 |5046 |  22 | 0.000000e+00 |      --      |    Inf |   2.73%
1073.82/1077.80	c  1078s|  8700 |    75 |  5473k| 549.5 |   142M | 105 |2940 |4220 |3138 |3414 |  1 |5133 |  22 | 0.000000e+00 |      --      |    Inf |   2.73%
1081.29/1085.39	c  1085s|  8800 |    77 |  5513k| 548.0 |   142M | 105 |2940 |4289 |3139 |3432 |  1 |5210 |  22 | 0.000000e+00 |      --      |    Inf |   2.73%
1091.26/1095.33	c  1095s|  8900 |    77 |  5565k| 547.7 |   142M | 105 |2940 |4334 |3139 |3456 |  1 |5264 |  22 | 0.000000e+00 |      --      |    Inf |   2.73%
1098.54/1102.63	c  1103s|  9000 |    79 |  5603k| 546.0 |   142M | 105 |2940 |4381 |3143 |3470 |  0 |5315 |  22 | 0.000000e+00 |      --      |    Inf |   2.73%
1104.62/1108.78	c  1109s|  9100 |    77 |  5635k| 543.8 |   142M | 105 |2940 |4424 |3105 |3480 |  1 |5395 |  22 | 0.000000e+00 |      --      |    Inf |   2.74%
1114.39/1118.52	c  1119s|  9200 |    76 |  5687k| 543.6 |   142M | 105 |2940 |4448 |   0 |3492 |  0 |5446 |  22 | 0.000000e+00 |      --      |    Inf |   2.74%
1123.76/1127.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1123.76/1127.91	c  1128s|  9300 |    80 |  5736k| 543.1 |   142M | 105 |2940 |4385 |3102 |3532 |  0 |5485 |  22 | 0.000000e+00 |      --      |    Inf |   2.77%
1135.21/1139.44	c  1139s|  9400 |    82 |  5796k| 543.6 |   142M | 105 |2940 |4364 |3127 |3568 |  1 |5536 |  22 | 0.000000e+00 |      --      |    Inf |   2.98%
1147.97/1152.29	c  1152s|  9500 |    86 |  5861k| 544.6 |   142M | 105 |2940 |4380 |   0 |3597 |  0 |5613 |  22 | 0.000000e+00 |      --      |    Inf |   3.36%
1156.73/1161.08	c  1161s|  9600 |    86 |  5908k| 543.9 |   142M | 105 |2940 |4418 |3094 |3600 |  0 |5681 |  22 | 0.000000e+00 |      --      |    Inf |   3.37%
1168.38/1172.74	c  1173s|  9700 |    87 |  5971k| 544.7 |   142M | 105 |2940 |4465 |3101 |3628 |  1 |5743 |  22 | 0.000000e+00 |      --      |    Inf |   4.04%
1178.84/1183.20	c  1183s|  9800 |    86 |  6024k| 544.6 |   143M | 105 |2940 |4514 |3124 |3658 |  0 |5821 |  22 | 0.000000e+00 |      --      |    Inf |   4.15%
1188.11/1192.59	c  1193s|  9900 |    86 |  6073k| 544.1 |   143M | 105 |2940 |4548 |3125 |3695 |  0 |5880 |  22 | 0.000000e+00 |      --      |    Inf |   4.24%
1199.47/1203.93	c  1204s| 10000 |    85 |  6133k| 544.6 |   143M | 105 |2940 |4607 |3101 |3729 |  0 |5960 |  22 | 0.000000e+00 |      --      |    Inf |   4.32%
1210.93/1215.40	c  1215s| 10100 |    84 |  6192k| 545.0 |   143M | 105 |2940 |4679 |3139 |3758 |  1 |6064 |  22 | 0.000000e+00 |      --      |    Inf |   4.54%
1218.40/1222.95	c  1223s| 10200 |    86 |  6232k| 543.7 |   143M | 105 |2940 |4745 |3104 |3778 |  1 |6167 |  22 | 0.000000e+00 |      --      |    Inf |   4.54%
1231.05/1235.65	c  1236s| 10300 |    85 |  6298k| 544.8 |   143M | 105 |2940 |4737 |3139 |3795 |  0 |6224 |  22 | 0.000000e+00 |      --      |    Inf |   4.54%
1241.11/1245.77	c  1246s| 10400 |    87 |  6351k| 544.6 |   143M | 105 |2940 |4667 |3122 |3819 |  1 |6257 |  22 | 0.000000e+00 |      --      |    Inf |   4.95%
1250.87/1255.52	c  1256s| 10500 |    90 |  6402k| 544.3 |   144M | 105 |2940 |4652 |3103 |3867 |  1 |6284 |  22 | 0.000000e+00 |      --      |    Inf |   5.43%
1259.35/1264.07	c  1264s| 10600 |    98 |  6445k| 543.4 |   144M | 105 |2940 |4725 |3103 |3935 |  1 |6392 |  22 | 0.000000e+00 |      --      |    Inf |   5.53%
1268.41/1273.10	c  1273s| 10700 |    88 |  6494k| 542.9 |   144M | 105 |2940 |4784 |3116 |3981 |  0 |6467 |  22 | 0.000000e+00 |      --      |    Inf |   5.56%
1280.06/1284.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1280.06/1284.86	c  1285s| 10800 |    90 |  6555k| 543.4 |   144M | 105 |2940 |4807 |3102 |4020 |  0 |6528 |  22 | 0.000000e+00 |      --      |    Inf |   5.69%
1293.41/1298.21	c  1298s| 10900 |    90 |  6624k| 544.6 |   146M | 105 |2940 |4853 |3111 |4111 |  0 |6593 |  22 | 0.000000e+00 |      --      |    Inf |   5.98%
1300.38/1305.27	c  1305s| 11000 |    92 |  6663k| 543.3 |   146M | 105 |2940 |4887 |3122 |4155 |  1 |6646 |  22 | 0.000000e+00 |      --      |    Inf |   6.09%
1308.16/1313.07	c  1313s| 11100 |    90 |  6705k| 542.4 |   146M | 105 |2940 |4934 |3119 |4168 |  0 |6698 |  22 | 0.000000e+00 |      --      |    Inf |   6.11%
1316.63/1321.53	c  1322s| 11200 |    90 |  6748k| 541.5 |   149M | 105 |2940 |5017 |3120 |4217 |  0 |6817 |  22 | 0.000000e+00 |      --      |    Inf |   6.25%
1333.56/1338.51	c  1339s| 11300 |    90 |  6836k| 544.2 |   149M | 105 |2940 |5034 |3106 |4253 |  0 |6860 |  22 | 0.000000e+00 |      --      |    Inf |   6.38%
1347.21/1352.24	c  1352s| 11400 |    94 |  6907k| 545.5 |   149M | 105 |2940 |5053 |3114 |4305 |  0 |6888 |  22 | 0.000000e+00 |      --      |    Inf |   6.40%
1360.86/1365.94	c  1366s| 11500 |    90 |  6978k| 546.9 |   149M | 105 |2940 |5041 |3138 |4338 |  1 |6915 |  22 | 0.000000e+00 |      --      |    Inf |   6.54%
1368.72/1373.87	c  1374s| 11600 |    94 |  7021k| 545.9 |   149M | 105 |2940 |5139 |3139 |4344 |  1 |7032 |  22 | 0.000000e+00 |      --      |    Inf |   6.54%
1378.29/1383.43	c  1383s| 11700 |    94 |  7072k| 545.6 |   149M | 105 |2940 |5109 |3106 |4360 |  0 |7048 |  22 | 0.000000e+00 |      --      |    Inf |   6.55%
1390.34/1395.58	c  1396s| 11800 |    93 |  7136k| 546.4 |   149M | 105 |2940 |5146 |3113 |4402 |  2 |7094 |  22 | 0.000000e+00 |      --      |    Inf |   6.56%
1402.20/1407.40	c  1407s| 11900 |    91 |  7199k| 547.0 |   149M | 105 |2940 |5156 |3141 |4426 |  0 |7123 |  22 | 0.000000e+00 |      --      |    Inf |   6.56%
1409.47/1414.75	c  1415s| 12000 |    95 |  7238k| 545.8 |   149M | 105 |2940 |5211 |3142 |4437 |  0 |7200 |  22 | 0.000000e+00 |      --      |    Inf |   6.56%
1417.24/1422.51	c  1423s| 12100 |    93 |  7279k| 544.8 |   149M | 105 |2940 |5252 |3145 |4446 |  0 |7254 |  22 | 0.000000e+00 |      --      |    Inf |   6.56%
1427.30/1432.61	c  1433s| 12200 |    95 |  7332k| 544.7 |   150M | 105 |2940 |5283 |3140 |4453 |  1 |7320 |  22 | 0.000000e+00 |      --      |    Inf |   6.56%
1433.68/1439.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1433.68/1439.09	c  1439s| 12300 |    93 |  7365k| 543.1 |   150M | 105 |2940 |5305 |3143 |4468 |  0 |7394 |  22 | 0.000000e+00 |      --      |    Inf |   6.56%
1444.43/1449.86	c  1450s| 12400 |    91 |  7421k| 543.2 |   150M | 105 |2940 |5199 |3131 |4489 |  0 |7430 |  22 | 0.000000e+00 |      --      |    Inf |   6.57%
1452.61/1458.07	c  1458s| 12500 |    95 |  7465k| 542.4 |   150M | 105 |2940 |5218 |3103 |4503 |  1 |7477 |  22 | 0.000000e+00 |      --      |    Inf |   6.57%
1462.07/1467.58	c  1468s| 12600 |    92 |  7515k| 542.1 |   150M | 105 |2940 |5164 |3139 |4519 |  0 |7521 |  22 | 0.000000e+00 |      --      |    Inf |   6.57%
1473.92/1479.47	c  1479s| 12700 |    92 |  7576k| 542.6 |   150M | 105 |2940 |5069 |3122 |4597 |  0 |7550 |  22 | 0.000000e+00 |      --      |    Inf |   6.81%
1485.38/1490.93	c  1491s| 12800 |    94 |  7636k| 543.0 |   150M | 105 |2940 |5057 |   0 |4613 |  0 |7608 |  22 | 0.000000e+00 |      --      |    Inf |   6.82%
1494.64/1500.20	c  1500s| 12900 |    92 |  7685k| 542.6 |   150M | 105 |2940 |5079 |3130 |4664 |  0 |7674 |  22 | 0.000000e+00 |      --      |    Inf |   6.82%
1505.70/1511.31	c  1511s| 13000 |    92 |  7744k| 543.0 |   150M | 105 |2940 |5042 |3130 |4702 |  1 |7717 |  22 | 0.000000e+00 |      --      |    Inf |   6.84%
1514.86/1520.59	c  1521s| 13100 |    86 |  7792k| 542.5 |   150M | 105 |2940 |5045 |3101 |4754 |  1 |7762 |  22 | 0.000000e+00 |      --      |    Inf |   6.84%
1529.71/1535.47	c  1535s| 13200 |    91 |  7869k| 544.1 |   150M | 105 |2940 |5058 |3105 |4793 |  0 |7803 |  22 | 0.000000e+00 |      --      |    Inf |   6.87%
1538.39/1544.14	c  1544s| 13300 |    97 |  7914k| 543.5 |   150M | 105 |2940 |5117 |3113 |4821 |  0 |7896 |  22 | 0.000000e+00 |      --      |    Inf |   6.90%
1545.55/1551.35	c  1551s| 13400 |    95 |  7953k| 542.4 |   150M | 105 |2940 |5173 |3110 |4832 |  1 |7961 |  22 | 0.000000e+00 |      --      |    Inf |   6.90%
1559.31/1565.12	c  1565s| 13500 |    93 |  8023k| 543.5 |   151M | 105 |2940 |5206 |3106 |4844 |  0 |8010 |  22 | 0.000000e+00 |      --      |    Inf |   6.91%
1572.55/1578.50	c  1578s| 13600 |    95 |  8090k| 544.4 |   151M | 105 |2940 |5264 |3108 |4865 |  1 |8086 |  22 | 0.000000e+00 |      --      |    Inf |   6.91%
1582.81/1588.72	c  1589s| 13700 |    92 |  8144k| 544.3 |   151M | 105 |2940 |5271 |3107 |4885 |  1 |8144 |  22 | 0.000000e+00 |      --      |    Inf |   6.91%
1592.87/1598.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1592.87/1598.83	c  1599s| 13800 |    93 |  8197k| 544.2 |   152M | 105 |2940 |5311 |3109 |4905 |  0 |8207 |  22 | 0.000000e+00 |      --      |    Inf |   6.93%
1607.51/1613.56	c  1614s| 13900 |    94 |  8272k| 545.6 |   152M | 105 |2940 |5361 |3109 |4918 |  1 |8274 |  22 | 0.000000e+00 |      --      |    Inf |   6.94%
1617.77/1623.86	c  1624s| 14000 |    94 |  8326k| 545.6 |   153M | 105 |2940 |5411 |3109 |4933 |  1 |8335 |  22 | 0.000000e+00 |      --      |    Inf |   6.94%
1632.81/1638.98	c  1639s| 14100 |    93 |  8405k| 547.1 |   153M | 105 |2940 |5485 |3112 |4958 |  1 |8413 |  22 | 0.000000e+00 |      --      |    Inf |   6.94%
1643.98/1650.19	c  1650s| 14200 |    94 |  8465k| 547.5 |   153M | 105 |2940 |5538 |3112 |4967 |  2 |8477 |  22 | 0.000000e+00 |      --      |    Inf |   6.95%
1658.72/1664.97	c  1665s| 14300 |    92 |  8540k| 548.8 |   154M | 105 |2940 |5597 |3115 |4992 |  0 |8541 |  22 | 0.000000e+00 |      --      |    Inf |   6.95%
1671.97/1678.25	c  1678s| 14400 |    94 |  8608k| 549.7 |   154M | 105 |2940 |5630 |3108 |5027 |  0 |8589 |  22 | 0.000000e+00 |      --      |    Inf |   6.95%
1681.03/1687.36	c  1687s| 14500 |    93 |  8656k| 549.3 |   154M | 105 |2940 |5708 |3105 |5046 |  0 |8701 |  22 | 0.000000e+00 |      --      |    Inf |   6.96%
1694.58/1700.98	c  1701s| 14600 |    92 |  8730k| 550.4 |   155M | 105 |2940 |5731 |3105 |5064 |  1 |8782 |  22 | 0.000000e+00 |      --      |    Inf |   6.99%
1711.81/1718.23	c  1718s| 14700 |    94 |  8820k| 552.7 |   155M | 105 |2940 |5719 |3109 |5096 |  0 |8820 |  22 | 0.000000e+00 |      --      |    Inf |   7.00%
1724.86/1731.38	c  1731s| 14800 |    93 |  8889k| 553.6 |   155M | 105 |2940 |5783 |3111 |5114 |  0 |8906 |  22 | 0.000000e+00 |      --      |    Inf |   7.00%
1739.81/1746.37	c  1746s| 14900 |    93 |  8967k| 555.0 |   155M | 105 |2940 |5844 |3109 |5129 |  0 |8984 |  22 | 0.000000e+00 |      --      |    Inf |   7.00%
1759.94/1766.51	c  1767s| 15000 |    93 |  9071k| 558.0 |   155M | 105 |2940 |5900 |3109 |5176 |  1 |9068 |  22 | 0.000000e+00 |      --      |    Inf |   7.00%
1774.48/1781.12	c  1781s| 15100 |    96 |  9147k| 559.2 |   155M | 105 |2940 |5942 |3109 |5191 |  1 |9138 |  22 | 0.000000e+00 |      --      |    Inf |   7.00%
1787.93/1794.67	c  1795s| 15200 |    94 |  9218k| 560.2 |   156M | 105 |2940 |6006 |3110 |5206 |  1 |9250 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1802.57/1809.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1802.57/1809.35	c  1809s| 15300 |    94 |  9293k| 561.3 |   156M | 105 |2940 |6043 |3110 |5229 |  1 |9320 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1816.32/1823.13	c  1823s| 15400 |    93 |  9365k| 562.3 |   156M | 105 |2940 |6148 |3112 |5235 |  0 |9442 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1834.55/1841.43	c  1841s| 15500 |    94 |  9461k| 564.7 |   156M | 105 |2940 |6195 |3112 |5242 |  0 |9521 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1845.71/1852.62	c  1853s| 15600 |    90 |  9518k| 564.7 |   156M | 105 |2940 |6195 |3133 |5249 |  2 |9572 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1853.58/1860.55	c  1861s| 15700 |    96 |  9560k| 563.9 |   156M | 105 |2940 |6184 |3138 |5251 |  1 |9621 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1862.15/1869.18	c  1869s| 15800 |    96 |  9606k| 563.2 |   156M | 105 |2940 |6225 |3138 |5252 |  1 |9691 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1872.01/1879.06	c  1879s| 15900 |    94 |  9658k| 563.0 |   156M | 105 |2940 |6233 |3140 |5257 |  0 |9777 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1882.97/1890.06	c  1890s| 16000 |    94 |  9715k| 563.0 |   157M | 105 |2940 |6283 |3139 |5269 |  0 |9855 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1892.33/1899.40	c  1899s| 16100 |    96 |  9764k| 562.6 |   157M | 105 |2940 |6299 |3138 |5272 |  1 |9907 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1901.59/1908.70	c  1909s| 16200 |    96 |  9814k| 562.2 |   157M | 105 |2940 |6339 |3138 |5274 |  0 |9971 |  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1909.76/1916.96	c  1917s| 16300 |    95 |  9858k| 561.5 |   157M | 105 |2940 |6390 |3139 |5277 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1922.92/1930.13	c  1930s| 16400 |    94 |  9926k| 562.2 |   157M | 105 |2940 |6429 |3113 |5282 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1936.86/1944.17	c  1944s| 16500 |    96 |  9998k| 563.1 |   157M | 105 |2940 |6432 |3113 |5286 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1947.02/1954.32	c  1954s| 16600 |    93 | 10051k| 562.9 |   157M | 105 |2940 |6486 |3140 |5308 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1958.68/1966.07	c  1966s| 16700 |    91 | 10112k| 563.2 |   157M | 105 |2940 |6540 |3140 |5310 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1967.44/1974.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1967.44/1974.87	c  1975s| 16800 |    91 | 10160k| 562.7 |   157M | 105 |2940 |6524 |3103 |5318 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.01%
1976.61/1984.03	c  1984s| 16900 |    95 | 10208k| 562.3 |   157M | 105 |2940 |6421 |   0 |5323 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.04%
1985.07/1992.50	c  1992s| 17000 |    94 | 10254k| 561.7 |   157M | 105 |2940 |6369 |3118 |5332 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.04%
1992.65/2000.10	c  2000s| 17100 |    92 | 10295k| 560.9 |   157M | 105 |2940 |6360 |3116 |5336 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.04%
2002.41/2009.91	c  2010s| 17200 |    92 | 10348k| 560.7 |   157M | 105 |2940 |6359 |3116 |5343 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.05%
2010.68/2018.24	c  2018s| 17300 |    92 | 10392k| 560.0 |   157M | 105 |2940 |6402 |3141 |5348 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.05%
2018.84/2026.48	c  2026s| 17400 |    90 | 10434k| 559.3 |   157M | 110 |2940 |6434 |3141 |5348 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.05%
2030.90/2038.56	c  2039s| 17500 |    92 | 10497k| 559.7 |   157M | 110 |2940 |6437 |3137 |5360 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.05%
2039.37/2047.01	c  2047s| 17600 |    92 | 10542k| 559.1 |   157M | 110 |2940 |6427 |3109 |5365 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.06%
2054.91/2062.65	c  2063s| 17700 |    95 | 10621k| 560.3 |   157M | 110 |2940 |6284 |3126 |5385 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.18%
2064.37/2072.13	c  2072s| 17800 |    93 | 10671k| 560.0 |   157M | 110 |2940 |6258 |3097 |5398 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.19%
2073.73/2081.55	c  2082s| 17900 |    89 | 10719k| 559.6 |   157M | 110 |2940 |6208 |3142 |5399 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.19%
2081.00/2088.85	c  2089s| 18000 |    91 | 10758k| 558.7 |   157M | 110 |2940 |6185 |3143 |5402 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   7.19%
2090.77/2098.62	c  2099s| 18100 |    89 | 10808k| 558.4 |   157M | 113 |2940 |6192 |   0 |5411 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.19%
2100.43/2108.36	c  2108s| 18200 |    91 | 10858k| 558.1 |   157M | 131 |2940 |6229 |3105 |5419 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.19%
2115.67/2123.64	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2115.67/2123.64	c  2124s| 18300 |    95 | 10938k| 559.3 |   157M | 131 |2940 |6199 |3113 |5467 |  2 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.24%
2124.25/2132.20	c  2132s| 18400 |    97 | 10985k| 558.9 |   157M | 131 |2940 |6184 |3114 |5510 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.26%
2133.21/2141.24	c  2141s| 18500 |    91 | 11035k| 558.6 |   157M | 131 |2940 |6220 |3107 |5517 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.26%
2144.47/2152.59	c  2153s| 18600 |    93 | 11096k| 558.8 |   157M | 131 |2940 |6122 |3109 |5560 |  2 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.29%
2160.11/2168.22	c  2168s| 18700 |    93 | 11178k| 560.1 |   157M | 131 |2940 |5978 |3109 |5603 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.35%
2169.77/2177.92	c  2178s| 18800 |    99 | 11229k| 559.9 |   157M | 131 |2940 |5896 |3106 |5620 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.35%
2181.33/2189.58	c  2190s| 18900 |    98 | 11289k| 560.1 |   157M | 131 |2940 |5858 |3111 |5635 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.35%
2191.68/2199.91	c  2200s| 19000 |    96 | 11342k| 559.9 |   157M | 131 |2940 |5868 |   0 |5648 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.35%
2204.74/2213.07	c  2213s| 19100 |    98 | 11410k| 560.5 |   157M | 131 |2940 |5929 |3139 |5657 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2213.40/2221.78	c  2222s| 19200 |    98 | 11456k| 560.0 |   157M | 131 |2940 |5980 |3139 |5657 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2222.47/2230.86	c  2231s| 19300 |   102 | 11502k| 559.5 |   157M | 131 |2940 |6040 |3140 |5668 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2235.02/2243.44	c  2243s| 19400 |    99 | 11568k| 560.0 |   158M | 131 |2940 |6065 |3110 |5672 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2246.58/2255.01	c  2255s| 19500 |    98 | 11628k| 560.2 |   158M | 131 |2940 |6129 |3114 |5692 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2258.03/2266.57	c  2267s| 19600 |    99 | 11687k| 560.4 |   158M | 131 |2940 |6187 |3116 |5700 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2270.49/2279.10	c  2279s| 19700 |    98 | 11753k| 560.8 |   158M | 131 |2940 |6247 |   0 |5713 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2280.45/2289.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2280.45/2289.00	c  2289s| 19800 |   100 | 11805k| 560.7 |   158M | 131 |2940 |6301 |3111 |5746 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2293.99/2302.63	c  2303s| 19900 |    99 | 11877k| 561.4 |   158M | 131 |2940 |6313 |3114 |5764 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2307.04/2315.79	c  2316s| 20000 |    98 | 11945k| 562.0 |   158M | 131 |2940 |6358 |   0 |5802 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2318.61/2327.37	c  2327s| 20100 |    98 | 12006k| 562.2 |   158M | 131 |2940 |6393 |3117 |5817 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2329.27/2338.02	c  2338s| 20200 |    98 | 12061k| 562.1 |   158M | 131 |2940 |6456 |3126 |5864 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2340.42/2349.25	c  2349s| 20300 |    94 | 12120k| 562.3 |   158M | 131 |2940 |6479 |3140 |5888 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.36%
2348.89/2357.77	c  2358s| 20400 |    98 | 12164k| 561.7 |   159M | 131 |2940 |6397 |3111 |5890 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.37%
2359.25/2368.19	c  2368s| 20500 |   100 | 12220k| 561.7 |   159M | 131 |2940 |6335 |3139 |5908 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.37%
2369.61/2378.59	c  2379s| 20600 |   102 | 12275k| 561.6 |   159M | 131 |2940 |6300 |   0 |5937 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.47%
2377.58/2386.53	c  2387s| 20700 |   104 | 12318k| 561.0 |   159M | 131 |2940 |6271 |3138 |5943 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.48%
2384.75/2393.72	c  2394s| 20800 |   102 | 12356k| 560.2 |   159M | 131 |2940 |6251 |3100 |5960 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.48%
2393.12/2402.18	c  2402s| 20900 |   102 | 12401k| 559.7 |   159M | 131 |2940 |6219 |3139 |5973 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.50%
2404.08/2413.12	c  2413s| 21000 |   104 | 12456k| 559.7 |   159M | 131 |2940 |6186 |3141 |5992 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.64%
2410.75/2419.83	c  2420s| 21100 |   106 | 12491k| 558.7 |   159M | 131 |2940 |6246 |3138 |5993 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   7.64%
2423.60/2432.75	c  2433s| 21200 |   106 | 12555k| 559.1 |   159M | 131 |2940 |6221 |3104 |6025 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   8.40%
2436.55/2445.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2436.55/2445.79	c  2446s| 21300 |   105 | 12623k| 559.6 |   159M | 131 |2940 |6214 |3116 |6069 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   8.43%
2445.12/2454.36	c  2454s| 21400 |   106 | 12666k| 559.1 |   159M | 131 |2940 |6299 |3111 |6090 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   8.46%
2453.19/2462.44	c  2462s| 21500 |   110 | 12709k| 558.5 |   159M | 131 |2940 |6288 |3101 |6124 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   8.46%
2470.52/2479.84	c  2480s| 21600 |   111 | 12796k| 559.8 |   159M | 131 |2940 |6209 |3108 |6158 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.64%
2479.79/2489.14	c  2489s| 21700 |   105 | 12844k| 559.5 |   159M | 131 |2940 |6198 |   0 |6174 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.64%
2489.15/2498.56	c  2499s| 21800 |   107 | 12892k| 559.2 |   159M | 131 |2940 |6130 |3120 |6224 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.83%
2497.72/2507.11	c  2507s| 21900 |   108 | 12936k| 558.6 |   160M | 131 |2940 |6090 |3127 |6270 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.91%
2505.39/2514.85	c  2515s| 22000 |   110 | 12977k| 558.0 |   160M | 131 |2940 |6052 |3107 |6293 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.92%
2514.95/2524.42	c  2524s| 22100 |   112 | 13029k| 557.8 |   160M | 131 |2940 |6015 |3105 |6299 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.92%
2524.12/2533.65	c  2534s| 22200 |   112 | 13077k| 557.5 |   160M | 131 |2940 |6020 |3130 |6318 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.92%
2534.78/2544.38	c  2544s| 22300 |   114 | 13131k| 557.4 |   160M | 131 |2940 |6022 |3131 |6357 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.92%
2545.13/2554.74	c  2555s| 22400 |   110 | 13186k| 557.4 |   160M | 131 |2940 |6034 |3115 |6370 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.92%
2552.80/2562.40	c  2562s| 22500 |   112 | 13226k| 556.7 |   160M | 131 |2940 |6104 |3099 |6397 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.93%
2561.77/2571.42	c  2571s| 22600 |   112 | 13273k| 556.4 |   160M | 131 |2940 |6073 |3122 |6413 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.93%
2571.93/2581.69	c  2582s| 22700 |   110 | 13328k| 556.3 |   160M | 131 |2940 |6104 |3108 |6422 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.94%
2580.10/2589.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2580.10/2589.81	c  2590s| 22800 |   109 | 13372k| 555.8 |   160M | 131 |2940 |6123 |3100 |6447 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.94%
2587.07/2596.81	c  2597s| 22900 |   107 | 13410k| 555.1 |   160M | 131 |2940 |6116 |3101 |6452 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.95%
2596.14/2605.92	c  2606s| 23000 |   107 | 13459k| 554.8 |   160M | 131 |2940 |6036 |3109 |6471 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.95%
2609.39/2619.24	c  2619s| 23100 |   109 | 13527k| 555.4 |   160M | 131 |2940 |5913 |3132 |6530 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.95%
2620.45/2630.36	c  2630s| 23200 |   111 | 13586k| 555.5 |   160M | 131 |2940 |5873 |3134 |6560 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.95%
2630.71/2640.61	c  2641s| 23300 |   113 | 13640k| 555.4 |   161M | 131 |2940 |5885 |3136 |6578 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.95%
2640.77/2650.76	c  2651s| 23400 |   113 | 13694k| 555.4 |   161M | 131 |2940 |5886 |3134 |6603 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   9.95%
2657.01/2667.03	c  2667s| 23500 |   109 | 13779k| 556.5 |   161M | 131 |2940 |5788 |3095 |6641 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  10.35%
2671.95/2682.09	c  2682s| 23600 |   113 | 13856k| 557.4 |   161M | 131 |2940 |5758 |3105 |6689 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  11.91%
2679.62/2689.72	c  2690s| 23700 |   117 | 13898k| 556.9 |   161M | 131 |2940 |5767 |3110 |6699 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  11.91%
2687.29/2697.44	c  2697s| 23800 |   113 | 13940k| 556.3 |   161M | 131 |2940 |5771 |3108 |6715 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  11.91%
2694.86/2705.03	c  2705s| 23900 |   113 | 13981k| 555.8 |   161M | 131 |2940 |5836 |3111 |6726 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  11.91%
2706.61/2716.88	c  2717s| 24000 |   113 | 14043k| 556.0 |   161M | 131 |2940 |5871 |3115 |6746 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  11.91%
2719.56/2729.83	c  2730s| 24100 |   113 | 14110k| 556.5 |   161M | 131 |2940 |5783 |3112 |6775 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.15%
2731.92/2742.26	c  2742s| 24200 |   111 | 14176k| 556.8 |   161M | 131 |2940 |5766 |3097 |6799 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.54%
2744.08/2754.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2744.08/2754.44	c  2754s| 24300 |   113 | 14240k| 557.2 |   161M | 131 |2940 |5709 |   0 |6825 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.74%
2752.25/2762.68	c  2763s| 24400 |   111 | 14285k| 556.8 |   161M | 131 |2940 |5701 |3102 |6832 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.74%
2762.01/2772.48	c  2772s| 24500 |   113 | 14337k| 556.6 |   161M | 131 |2940 |5718 |3104 |6861 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.78%
2776.25/2786.73	c  2787s| 24600 |   119 | 14412k| 557.4 |   161M | 131 |2940 |5723 |3103 |6888 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.89%
2793.98/2804.57	c  2805s| 24700 |   119 | 14503k| 558.7 |   161M | 131 |2940 |5602 |3109 |6901 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.91%
2808.03/2818.68	c  2819s| 24800 |   117 | 14576k| 559.4 |   161M | 131 |2940 |5641 |3103 |6915 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.91%
2820.49/2831.13	c  2831s| 24900 |   115 | 14640k| 559.7 |   161M | 131 |2940 |5686 |3105 |6921 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.91%
2835.72/2846.45	c  2846s| 25000 |   115 | 14718k| 560.6 |   161M | 131 |2940 |5726 |   0 |6936 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  13.91%
2850.17/2860.96	c  2861s| 25100 |   119 | 14792k| 561.3 |   161M | 131 |2940 |5746 |3110 |6972 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.07%
2858.24/2869.02	c  2869s| 25200 |   117 | 14836k| 560.8 |   161M | 131 |2940 |5795 |3101 |6987 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.08%
2870.79/2881.65	c  2882s| 25300 |   117 | 14902k| 561.1 |   161M | 131 |2940 |5825 |3104 |7003 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.09%
2884.25/2895.14	c  2895s| 25400 |   116 | 14973k| 561.7 |   161M | 131 |2940 |5854 |3108 |7029 |  2 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.10%
2896.59/2907.50	c  2908s| 25500 |   117 | 15037k| 562.0 |   162M | 131 |2940 |5884 |   0 |7058 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.17%
2908.25/2919.27	c  2919s| 25600 |   115 | 15100k| 562.3 |   162M | 131 |2940 |5914 |3104 |7072 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.17%
2921.50/2932.54	c  2933s| 25700 |   115 | 15170k| 562.8 |   162M | 131 |2940 |5938 |3094 |7091 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.18%
2933.25/2944.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2933.25/2944.35	c  2944s| 25800 |   113 | 15233k| 563.0 |   162M | 131 |2940 |5978 |3109 |7098 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  14.18%
2946.91/2958.01	c  2958s| 25900 |   114 | 15305k| 563.6 |   162M | 131 |2940 |6025 |3107 |7105 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.19%
2959.75/2970.99	c  2971s| 26000 |   112 | 15375k| 564.1 |   162M | 131 |2940 |6043 |3102 |7124 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.20%
2973.40/2984.64	c  2985s| 26100 |   112 | 15447k| 564.7 |   162M | 131 |2940 |6064 |3126 |7138 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.20%
2985.35/2996.61	c  2997s| 26200 |   112 | 15510k| 564.9 |   162M | 131 |2940 |6082 |3128 |7151 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.22%
2997.51/3008.84	c  3009s| 26300 |   114 | 15574k| 565.2 |   162M | 131 |2940 |6091 |3105 |7161 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.22%
3008.07/3019.48	c  3019s| 26400 |   112 | 15630k| 565.2 |   162M | 131 |2940 |6116 |3128 |7164 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.22%
3022.31/3033.77	c  3034s| 26500 |   112 | 15703k| 565.8 |   162M | 131 |2940 |6132 |3110 |7174 |  2 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.22%
3039.85/3051.37	c  3051s| 26600 |   114 | 15793k| 567.0 |   162M | 131 |2940 |6043 |3138 |7226 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.30%
3047.52/3059.01	c  3059s| 26700 |   114 | 15834k| 566.4 |   162M | 131 |2940 |6063 |3142 |7233 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.30%
3058.87/3070.41	c  3070s| 26800 |   116 | 15894k| 566.6 |   162M | 131 |2940 |6080 |3110 |7250 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.30%
3071.92/3083.52	c  3084s| 26900 |   118 | 15963k| 567.0 |   162M | 131 |2940 |6102 |3107 |7274 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.30%
3086.17/3097.89	c  3098s| 27000 |   115 | 16039k| 567.7 |   162M | 131 |2940 |6160 |3104 |7288 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.30%
3100.91/3112.60	c  3113s| 27100 |   113 | 16117k| 568.4 |   162M | 131 |2940 |6189 |3143 |7311 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.30%
3115.27/3127.08	c  3127s| 27200 |   115 | 16192k| 569.1 |   162M | 131 |2940 |6164 |3100 |7345 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.34%
3125.43/3137.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3125.43/3137.21	c  3137s| 27300 |   113 | 16244k| 568.9 |   162M | 131 |2940 |6143 |3100 |7350 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.35%
3135.79/3147.62	c  3148s| 27400 |   115 | 16297k| 568.8 |   162M | 131 |2940 |6105 |   0 |7384 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.42%
3145.05/3156.92	c  3157s| 27500 |   115 | 16345k| 568.4 |   162M | 131 |2940 |6128 |3110 |7396 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.42%
3152.92/3164.86	c  3165s| 27600 |   113 | 16387k| 567.9 |   162M | 131 |2940 |6147 |   0 |7409 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.42%
3166.18/3178.18	c  3178s| 27700 |   113 | 16456k| 568.4 |   162M | 131 |2940 |6137 |3107 |7418 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.44%
3180.62/3192.66	c  3193s| 27800 |   119 | 16528k| 568.9 |   163M | 131 |2940 |6039 |   0 |7451 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.73%
3189.99/3202.08	c  3202s| 27900 |   119 | 16576k| 568.6 |   163M | 131 |2940 |6030 |3099 |7454 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.82%
3199.15/3211.22	c  3211s| 28000 |   119 | 16624k| 568.3 |   163M | 131 |2940 |6032 |3097 |7456 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.83%
3211.01/3223.11	c  3223s| 28100 |   119 | 16685k| 568.4 |   163M | 131 |2940 |6014 |3097 |7461 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  14.83%
3225.65/3237.81	c  3238s| 28200 |   120 | 16759k| 569.0 |   163M | 131 |2940 |6028 |3100 |7498 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
3238.20/3250.43	c  3250s| 28300 |   122 | 16823k| 569.3 |   163M | 131 |2940 |6044 |3101 |7516 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
3253.34/3265.64	c  3266s| 28400 |   120 | 16901k| 570.0 |   163M | 131 |2940 |6081 |3097 |7536 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.91%
3267.69/3280.08	c  3280s| 28500 |   124 | 16974k| 570.5 |   163M | 131 |2940 |6115 |3103 |7586 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
3275.35/3287.77	c  3288s| 28600 |   123 | 17016k| 570.0 |   163M | 131 |2940 |6160 |3106 |7599 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3287.01/3299.43	c  3299s| 28700 |   123 | 17079k| 570.2 |   163M | 131 |2940 |6155 |3105 |7605 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.96%
3299.86/3312.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3299.86/3312.38	c  3312s| 28800 |   121 | 17146k| 570.5 |   163M | 131 |2940 |6207 |3108 |7622 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.96%
3311.91/3324.43	c  3324s| 28900 |   121 | 17208k| 570.7 |   163M | 131 |2940 |6286 |3106 |7636 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.97%
3324.67/3337.22	c  3337s| 29000 |   121 | 17275k| 571.0 |   163M | 131 |2940 |6347 |3109 |7659 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.97%
3338.82/3351.49	c  3351s| 29100 |   121 | 17349k| 571.6 |   163M | 131 |2940 |6380 |3097 |7682 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.97%
3350.27/3362.96	c  3363s| 29200 |   122 | 17409k| 571.7 |   163M | 131 |2940 |6406 |3101 |7695 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.98%
3369.31/3382.07	c  3382s| 29300 |   120 | 17508k| 573.1 |   164M | 131 |2940 |6449 |3099 |7705 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.98%
3380.57/3393.36	c  3393s| 29400 |   120 | 17565k| 573.0 |   164M | 131 |2940 |6526 |3105 |7745 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.98%
3393.23/3406.08	c  3406s| 29500 |   120 | 17631k| 573.4 |   164M | 131 |2940 |6558 |3100 |7750 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.98%
3410.97/3423.88	c  3424s| 29600 |   118 | 17724k| 574.5 |   164M | 131 |2940 |6567 |3106 |7774 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  14.99%
3418.94/3431.84	c  3432s| 29700 |   122 | 17766k| 574.0 |   164M | 131 |2940 |6546 |3110 |7799 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  15.00%
3425.23/3438.17	c  3438s| 29800 |   120 | 17802k| 573.3 |   164M | 131 |2940 |6604 |   0 |7801 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.00%
3433.50/3446.46	c  3446s| 29900 |   122 | 17845k| 572.8 |   164M | 131 |2940 |6607 |3110 |7805 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.00%
3442.47/3455.47	c  3455s| 30000 |   122 | 17893k| 572.5 |   164M | 131 |2940 |6619 |3109 |7809 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.00%
3453.73/3466.70	c  3467s| 30100 |   118 | 17950k| 572.5 |   164M | 131 |2940 |6507 |   0 |7844 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.54%
3465.39/3478.41	c  3478s| 30200 |   120 | 18012k| 572.7 |   164M | 131 |2940 |6535 |3106 |7870 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.55%
3476.96/3490.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3476.96/3490.02	c  3490s| 30300 |   119 | 18073k| 572.8 |   164M | 131 |2940 |6532 |3106 |7892 |  2 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.55%
3489.92/3503.07	c  3503s| 30400 |   119 | 18142k| 573.2 |   164M | 131 |2940 |6586 |3107 |7911 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.55%
3501.68/3514.86	c  3515s| 30500 |   122 | 18205k| 573.4 |   164M | 131 |2940 |6569 |3104 |7948 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.64%
3512.44/3525.68	c  3526s| 30600 |   126 | 18263k| 573.4 |   164M | 131 |2940 |6554 |3107 |7969 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.64%
3520.82/3534.09	c  3534s| 30700 |   122 | 18310k| 573.0 |   164M | 131 |2940 |6567 |3106 |7977 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.65%
3527.90/3541.15	c  3541s| 30800 |   120 | 18347k| 572.4 |   164M | 131 |2940 |6555 |3122 |7985 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.65%
3534.17/3547.44	c  3547s| 30900 |   120 | 18381k| 571.7 |   164M | 131 |2940 |6567 |3108 |8003 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.65%
3546.03/3559.35	c  3559s| 31000 |   122 | 18442k| 571.8 |   164M | 131 |2940 |6502 |3101 |8053 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.71%
3554.81/3568.11	c  3568s| 31100 |   121 | 18488k| 571.4 |   164M | 131 |2940 |6487 |3130 |8088 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.72%
3561.98/3575.39	c  3575s| 31200 |   123 | 18525k| 570.8 |   164M | 131 |2940 |6502 |3133 |8132 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.72%
3571.05/3584.42	c  3584s| 31300 |   123 | 18572k| 570.5 |   164M | 131 |2940 |6505 |3132 |8168 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.72%
3579.82/3593.23	c  3593s| 31400 |   123 | 18618k| 570.2 |   164M | 131 |2940 |6512 |3136 |8178 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  15.72%
3583.51/3597.00	c 
3583.51/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3583.51/3597.00	c Solving Time (sec) : 3597.00
3583.51/3597.00	c Solving Nodes      : 31454 (total of 32518 nodes in 2 runs)
3583.51/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3583.51/3597.00	c Dual Bound         : +0.00000000000000e+00
3583.51/3597.00	c Gap                : infinite
3583.51/3597.00	s UNKNOWN
3583.51/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3583.51/3597.00	c Total Time         :    3597.00
3583.51/3597.00	c   solving          :    3597.00
3583.51/3597.00	c   presolving       :       2.89 (included in solving)
3583.51/3597.00	c   reading          :       0.01 (included in solving)
3583.51/3597.00	c   copying          :       1.01 (109 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3583.51/3597.00	c Original Problem   :
3583.51/3597.00	c   Problem name     : HOME/instance-4447335-1721353243.opb
3583.51/3597.00	c   Variables        : 3740 (3740 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.51/3597.00	c   Constraints      : 3878 initial, 3878 maximal
3583.51/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.51/3597.00	c Presolved Problem  :
3583.51/3597.00	c   Problem name     : t_HOME/instance-4447335-1721353243.opb
3583.51/3597.00	c   Variables        : 2940 (2940 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.51/3597.00	c   Constraints      : 3498 initial, 6624 maximal
3583.51/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.51/3597.00	c   Nonzeros         : 37319 constraint, 47391 clique table
3583.51/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3583.51/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   domcol           :       0.03       0.00      8          0          0          0          0          0          0          0          0          3
3583.51/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gateextraction   :       0.02       0.00     14          0          0          0          0          0          5          1          0          0
3583.51/3597.00	c   implics          :       0.00       0.00     18          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   milp             :       0.17       0.00      1        174          4          0          0          0          0          0          0          0
3583.51/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   sparsify         :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   trivial          :       0.00       0.00     34        290          0          0          0          0          0          0          0          0
3583.51/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualfix          :       0.00       0.00     34          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   probing          :       2.37       0.00      7        139          2          0          0          0          0          0          0          0
3583.51/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   vbounds          :       0.01       0.00      4          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   knapsack         :       0.01       0.00     20          0          0          0          0          0          0          9         24         88
3583.51/3597.00	c   setppc           :       0.02       0.00     51          0          0          0          0          0         44          0          0          0
3583.51/3597.00	c   and              :       0.00       0.00      2          0          0          0          0          0          1          1          0          0
3583.51/3597.00	c   linear           :       0.03       0.00     19        190          1          0        190          0        660          0          4          0
3583.51/3597.00	c   logicor          :       0.17       0.00     48         27          0          0          0          0        176          0          0       1222
3583.51/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3583.51/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3583.51/3597.00	c   benderslp        :          0          0          0          0      16411          0          0       2234          0          0          0          0          0          0          0
3583.51/3597.00	c   integral         :          0          0          0          0      16411          0          0       2234          0          0          0          0          0          0      32822
3583.51/3597.00	c   knapsack         :         30+        31         11     231571          0          0          0          0     255202         12     120700          0          0          0          0
3583.51/3597.00	c   setppc           :        721+      1180         22     293702          0          0          0       2229    4118734        507    1266238          0          0          0          0
3583.51/3597.00	c   linear           :          0+        27         11     196191          0          0          0          3       1277         32       4068          6          4          0          0
3583.51/3597.00	c   logicor          :       2747+      5515         22     236990          0          0          0          0    8988636       2417    2430111         59         31          0          0
3583.51/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3583.51/3597.00	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   integral         :       6.61       0.00       0.00       0.00       6.61       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   knapsack         :       0.93       0.00       0.03       0.84       0.00       0.00       0.00       0.00       0.06       0.00
3583.51/3597.00	c   setppc           :       3.26       0.00       0.00       2.26       0.00       0.00       0.00       0.03       0.97       0.01
3583.51/3597.00	c   linear           :       0.13       0.00       0.00       0.12       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   logicor          :       9.30       0.00       0.01       5.91       0.00       0.00       0.00       0.00       3.37       0.01
3583.51/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3583.51/3597.00	c   dualfix          :          2          0          0          0
3583.51/3597.00	c   genvbounds       :          0          0          0          0
3583.51/3597.00	c   nlobbt           :          0          0          0          0
3583.51/3597.00	c   obbt             :          0          0          0          0
3583.51/3597.00	c   probing          :          0          0          0          0
3583.51/3597.00	c   pseudoobj        :          0          0          0          0
3583.51/3597.00	c   redcost          :          0          0          0          0
3583.51/3597.00	c   rootredcost      :          0          0          0          0
3583.51/3597.00	c   symmetry         :       5358          0          0         36
3583.51/3597.00	c   vbounds          :     194344          0          0          0
3583.51/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3583.51/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3583.51/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   probing          :       2.37       0.00       2.37       0.00       0.00       0.00
3583.51/3597.00	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3583.51/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3583.51/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3583.51/3597.00	c   symmetry         :       0.09       0.00       0.01       0.08       0.00       0.00
3583.51/3597.00	c   vbounds          :       2.43       0.00       0.01       2.43       0.00       0.00
3583.51/3597.00	c Symmetry           :
3583.51/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3583.51/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3583.51/3597.00	c   lexicographic red:         36 reductions applied,          0 cutoffs
3583.51/3597.00	c   shadow tree time :       0.05 s
3583.51/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3583.51/3597.00	c   propagation      :       1.00       2931       2806          -      19049      110.1        317       43.1          -          -          -
3583.51/3597.00	c   infeasible LP    :      24.43      13488       6735          -     140322      577.3         44       35.8        113      243.0          0
3583.51/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3583.51/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3583.51/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3583.51/3597.00	c   applied globally :       1.02          -          -          0      17425       84.4          -          -        101          -          -
3583.51/3597.00	c   applied locally  :          -          -          -          0         64      683.6          -          -         12          -          -
3583.51/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3583.51/3597.00	c   cut pool         :       0.93          -       3600         42          -          -       7667      57456          -          -          -          -          -    (maximal pool size:       1134)
3583.51/3597.00	c   aggregation      :       0.32       0.00        589         22          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.51/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.51/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.51/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   clique           :       0.30       0.00         22         22          0          0        150        830          0        367        367          0          0
3583.51/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gomory           :      20.50       0.00        587         20          0          0       7472      49878       1066       3229       3186         43          0
3583.51/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -      24045        533       1558       1533         25          -
3583.51/3597.00	c   > strongcg       :          -          -          -          -          -          -          -      25833        533       1671       1653         18          -
3583.51/3597.00	c   impliedbounds    :       0.46       0.00        589         22          0          0        731       3069          0       1679       1679          0          0
3583.51/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   multilinear      :       0.00       0.00        578         22          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   rapidlearning    :      10.01       0.00        100          2          0      10372          0          0          0          0          0          0        366
3583.51/3597.00	c   rlt              :       0.00       0.00        350         20          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   zerohalf         :       7.56       0.00        589         22          0          0       1528       3679       1148       3163       2126       1037          0
3583.51/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3583.51/3597.00	c   hybrid           :       0.12       0.00       2321         22       8478          0      50991        214          0        300
3583.51/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3583.51/3597.00	c   problem variables:       0.00          -          0          0
3583.51/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3583.51/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   relpscost        :       6.59       0.00      16411          0          0          0          0          0          0      32822
3583.51/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3583.51/3597.00	c   LP solutions     :       0.00          -          -          0          0
3583.51/3597.00	c   relax solutions  :       0.00          -          -          0          0
3583.51/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3583.51/3597.00	c   strong branching :       0.00          -          -          0          0
3583.51/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3583.51/3597.00	c   adaptivediving   :       1.73       0.00          4          0          0
3583.51/3597.00	c   alns             :       1.63       0.00          7          0          0
3583.51/3597.00	c   bound            :       0.00       0.00          0          0          0
3583.51/3597.00	c   clique           :       0.01       0.00          1          0          0
3583.51/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3583.51/3597.00	c   completesol      :       0.00       0.00          0          0          0
3583.51/3597.00	c   conflictdiving   :      16.85       0.00          2          0          0
3583.51/3597.00	c   crossover        :       0.01       0.00          0          0          0
3583.51/3597.00	c   dins             :       0.00       0.00          0          0          0
3583.51/3597.00	c   distributiondivin:       2.37       0.00          2          0          0
3583.51/3597.00	c   dps              :       0.00       0.00          0          0          0
3583.51/3597.00	c   dualval          :       0.00       0.00          0          0          0
3583.51/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3583.51/3597.00	c   feasjump         :       0.06       0.00          2          0          0
3583.51/3597.00	c   feaspump         :       8.00       0.00          2          0          0
3583.51/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3583.51/3597.00	c   fracdiving       :       0.28       0.00          2          0          0
3583.51/3597.00	c   gins             :       0.00       0.00          0          0          0
3583.51/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3583.51/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3583.51/3597.00	c   indicator        :       0.01       0.00          0          0          0
3583.51/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3583.51/3597.00	c   indoneopt        :       0.01       0.00          0          0          0
3583.51/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3583.51/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3583.51/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3583.51/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3583.51/3597.00	c   linesearchdiving :       3.28       0.00          2          0          0
3583.51/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3583.51/3597.00	c   locks            :       0.00       0.00          1          0          0
3583.51/3597.00	c   lpface           :       0.06       0.00          0          0          0
3583.51/3597.00	c   mpec             :       0.00       0.00          0          0          0
3583.51/3597.00	c   multistart       :       0.00       0.00          0          0          0
3583.51/3597.00	c   mutation         :       0.00       0.00          0          0          0
3583.51/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3583.51/3597.00	c   objpscostdiving  :      19.80       0.00          1          0          0
3583.51/3597.00	c   octane           :       0.00       0.00          0          0          0
3583.51/3597.00	c   ofins            :       0.01       0.00          0          0          0
3583.51/3597.00	c   oneopt           :       0.01       0.00          0          0          0
3583.51/3597.00	c   padm             :       0.00       0.00          0          0          0
3583.51/3597.00	c   proximity        :       0.00       0.00          0          0          0
3583.51/3597.00	c   pscostdiving     :       5.10       0.00          2          0          0
3583.51/3597.00	c   randrounding     :       0.36       0.00       2244          0          0
3583.51/3597.00	c   rens             :       0.08       0.00          2          0          0
3583.51/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3583.51/3597.00	c   repair           :       0.00       0.00          0          0          0
3583.51/3597.00	c   rins             :       0.01       0.00          0          0          0
3583.51/3597.00	c   rootsoldiving    :       8.04       0.00          1          0          0
3583.51/3597.00	c   rounding         :       0.22       0.00       1925          0          0
3583.51/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3583.51/3597.00	c   shiftandpropagate:       0.03       0.00          2          0          0
3583.51/3597.00	c   shifting         :       0.48       0.00        807          0          0
3583.51/3597.00	c   simplerounding   :       0.01       0.00          0          0          0
3583.51/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3583.51/3597.00	c   subnlp           :       0.01       0.00          0          0          0
3583.51/3597.00	c   trivial          :       0.00       0.00          4          0          0
3583.51/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3583.51/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3583.51/3597.00	c   trysol           :       0.01       0.00          0          0          0
3583.51/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3583.51/3597.00	c   undercover       :       0.00       0.00          0          0          0
3583.62/3597.00	c   vbounds          :       0.02       0.00          2          0          0
3583.62/3597.00	c   veclendiving     :       4.75       0.00          2          0          0
3583.62/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3583.62/3597.00	c   zirounding       :       0.04       0.00       1000          0          0
3583.62/3597.00	c   other solutions  :          -          -          -          0          -
3583.62/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	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
3583.62/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3583.62/3597.00	c   primal LP        :       2.43       1032          0       0.00       0.00       2.43       1032
3583.62/3597.00	c   dual LP          :    3410.24      32274   18339190     568.52    5377.68       0.02         16
3583.62/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3583.62/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3583.62/3597.00	c   resolve instable :       0.00          0          0       0.00          -
3583.62/3597.00	c   diving/probing LP:      69.05        483     299167     619.39    4332.48
3583.62/3597.00	c   strong branching :       4.07         22      13883     631.05    3408.13          -          -         24
3583.62/3597.00	c     (at root node) :          -         22      13883     631.05          -
3583.62/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3583.62/3597.00	c B&B Tree           :
3583.62/3597.00	c   number of runs   :          2
3583.62/3597.00	c   nodes            :      31454 (15860 internal, 15594 leaves)
3583.62/3597.00	c   feasible leaves  :          0
3583.62/3597.00	c   infeas. leaves   :      15593
3583.62/3597.00	c   objective leaves :          0
3583.62/3597.00	c   nodes (total)    :      32518 (16411 internal, 16107 leaves)
3583.62/3597.00	c   nodes left       :        122
3583.62/3597.00	c   max depth        :        131
3583.62/3597.00	c   max depth (total):        131
3583.62/3597.00	c   backtracks       :       2870 (9.1%)
3583.62/3597.00	c   early backtracks :          0 (0.0%)
3583.62/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3583.62/3597.00	c   delayed cutoffs  :        146
3583.62/3597.00	c   repropagations   :      31979 (180561 domain reductions, 140 cutoffs)
3583.62/3597.00	c   avg switch length:       4.39
3583.62/3597.00	c   switching time   :       9.02
3583.62/3597.00	c Root Node          :
3583.62/3597.00	c   First LP value   : +0.00000000000000e+00
3583.62/3597.00	c   First LP Iters   :       7395 (5794.21 Iter/sec)
3583.62/3597.00	c   First LP Time    :       1.28
3583.62/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3583.62/3597.00	c   Final Root Iters :     108631
3583.62/3597.00	c   Root LP Estimate : +1.87808238295042e-02
3583.62/3597.00	c Solution           :
3583.62/3597.00	c   Solutions found  :          0 (0 improvements)
3583.62/3597.00	c   Primal Bound     :          -
3583.62/3597.00	c   Dual Bound       : +0.00000000000000e+00
3583.62/3597.00	c   Gap              :   infinite
3583.62/3597.00	c Integrals          :      Total       Avg%
3583.62/3597.00	c   primal-dual      :  359699.74     100.00
3583.62/3597.00	c   primal-ref       :          -          - (not evaluated)
3583.62/3597.00	c   dual-ref         :          -          - (not evaluated)
3583.62/3597.04	c Time complete: 3583.67.

Verifier Data

ERROR: no interpretation found !

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=992223, runsolver pid=992215

[startup+0.100085 s]*
/proc/loadavg: 1.16 1.78 2.95 4/254 992235
/proc/meminfo: memFree=128645748/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=78032 memory=38368 CPUtime=0.09 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 6722 0 0 0 9 0 0 0 20 0 1 0 187495176 79904768 9592 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 19508 9592 3622 3540 0 7765 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78032 KiB
Current children cumulated memory: 38368 KiB

[startup+0.206278 s]*
/proc/loadavg: 1.16 1.78 2.95 3/248 992251
/proc/meminfo: memFree=128645880/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=77184 memory=37980 CPUtime=0.2 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 6722 0 0 0 20 0 0 0 20 0 1 0 187495176 79036416 9495 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 19296 9495 3686 3540 0 7553 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77184 KiB
Current children cumulated memory: 37980 KiB

[startup+0.305827 s]*
/proc/loadavg: 1.16 1.78 2.95 3/252 992263
/proc/meminfo: memFree=128629468/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=90672 memory=50252 CPUtime=0.3 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 9809 0 0 0 29 1 0 0 20 0 1 0 187495176 92848128 12563 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 22668 12563 3734 3540 0 10925 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90672 KiB
Current children cumulated memory: 50252 KiB

[startup+0.700188 s]
/proc/loadavg: 1.16 1.78 2.95 5/258 992327
/proc/meminfo: memFree=128610352/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=90876 memory=50252 CPUtime=0.69 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 9855 0 0 0 68 1 0 0 20 0 1 0 187495176 93057024 12563 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 22719 12563 3734 3540 0 10976 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90876 KiB
Current children cumulated memory: 50252 KiB

[startup+1.5002 s]
/proc/loadavg: 1.16 1.78 2.95 5/258 992327
/proc/meminfo: memFree=128567104/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=92416 memory=51836 CPUtime=1.48 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 10209 0 0 0 147 1 0 0 20 0 1 0 187495176 94633984 12959 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 23104 12959 3734 3540 0 11361 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92416 KiB
Current children cumulated memory: 51836 KiB

[startup+3.1056 s]
/proc/loadavg: 1.16 1.78 2.95 5/258 992327
/proc/meminfo: memFree=128535328/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=108680 memory=64192 CPUtime=3.08 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 13847 0 0 0 307 1 0 0 20 0 1 0 187495176 111288320 16048 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 27170 16048 3942 3540 0 15427 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108680 KiB
Current children cumulated memory: 64192 KiB

[startup+6.30015 s]
/proc/loadavg: 1.39 1.82 2.96 5/258 992329
/proc/meminfo: memFree=128520572/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=109924 memory=65512 CPUtime=6.26 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 14211 0 0 0 625 1 0 0 20 0 1 0 187495176 112562176 16378 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 27481 16378 3942 3540 0 15738 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 109924 KiB
Current children cumulated memory: 65512 KiB

[startup+12.7002 s]
/proc/loadavg: 1.60 1.85 2.96 5/258 992329
/proc/meminfo: memFree=128509844/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=145916 memory=99732 CPUtime=12.64 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 22712 0 0 0 1262 2 0 0 20 0 1 0 187495176 149417984 24933 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 36479 24933 3989 3540 0 24736 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 145916 KiB
Current children cumulated memory: 99732 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.96 2.98 5/258 992330
/proc/meminfo: memFree=128432460/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=144640 memory=100472 CPUtime=25.4 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 24406 0 0 0 2537 3 0 0 20 0 1 0 187495176 148111360 25118 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 36160 25118 4005 3540 0 24417 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 144640 KiB
Current children cumulated memory: 100472 KiB

[startup+51.1057 s]
/proc/loadavg: 2.77 2.12 3.01 5/258 992335
/proc/meminfo: memFree=128340032/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=147044 memory=105180 CPUtime=50.91 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 28976 0 0 0 5087 4 0 0 20 0 1 0 187495176 150573056 26295 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 36761 26295 4005 3540 0 25018 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 147044 KiB
Current children cumulated memory: 105180 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.43 3.07 5/258 992344
/proc/meminfo: memFree=128168404/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=156504 memory=119788 CPUtime=101.94 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 34453 0 0 0 10189 5 0 0 20 0 1 0 187495176 160260096 29947 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 39126 29947 4005 3540 0 27383 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 156504 KiB
Current children cumulated memory: 119788 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.76 3.15 5/258 992354
/proc/meminfo: memFree=127983520/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=170200 memory=132328 CPUtime=161.75 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 45337 0 0 0 16168 7 0 0 20 0 1 0 187495176 174284800 33082 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 42550 33082 4005 3540 0 30807 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 170200 KiB
Current children cumulated memory: 132328 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.01 3.21 5/258 992366
/proc/meminfo: memFree=127821996/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=180132 memory=143308 CPUtime=221.52 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 50024 0 0 0 22144 8 0 0 20 0 1 0 187495176 184455168 35827 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 45033 35827 4005 3540 0 33290 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 180132 KiB
Current children cumulated memory: 143308 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 3.22 3.27 5/255 992392
/proc/meminfo: memFree=127675008/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=180964 memory=144032 CPUtime=281.3 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 52496 0 0 0 28120 10 0 0 20 0 1 0 187495176 185307136 36008 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 45241 36008 4005 3540 0 33498 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 180964 KiB
Current children cumulated memory: 144032 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.38 3.32 5/254 992402
/proc/meminfo: memFree=127531308/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=188492 memory=151920 CPUtime=341.07 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 56451 0 0 0 34096 11 0 0 20 0 1 0 187495176 193015808 37980 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 47123 37980 4005 3540 0 35380 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 188492 KiB
Current children cumulated memory: 151920 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.51 3.37 5/254 992413
/proc/meminfo: memFree=127387876/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=191984 memory=155312 CPUtime=400.83 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 58051 0 0 0 40072 11 0 0 20 0 1 0 187495176 196591616 38828 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 47996 38828 4005 3540 0 36253 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 191984 KiB
Current children cumulated memory: 155312 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.62 3.42 5/254 992423
/proc/meminfo: memFree=127273144/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=194868 memory=158232 CPUtime=460.6 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 59706 0 0 0 46048 12 0 0 20 0 1 0 187495176 199544832 39558 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 48717 39558 4005 3540 0 36974 0

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

/proc/loadavg: 4.06 4.08 4.07 5/259 994096
/proc/meminfo: memFree=123371112/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206492 CPUtime=3150.43 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74396 0 0 0 315017 26 0 0 20 0 1 0 187495176 248995840 51623 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51623 4005 3540 0 49047 0
Current children cumulated CPU time: 3150.43 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/259 994107
/proc/meminfo: memFree=123251256/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206492 CPUtime=3210.2 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74464 0 0 0 320994 26 0 0 20 0 1 0 187495176 248995840 51623 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51623 4005 3540 0 49047 0
Current children cumulated CPU time: 3210.2 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206492 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.08 5/255 994117
/proc/meminfo: memFree=123173260/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206492 CPUtime=3269.97 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74532 0 0 0 326971 26 0 0 20 0 1 0 187495176 248995840 51623 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51623 4005 3540 0 49047 0
Current children cumulated CPU time: 3269.97 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/254 994127
/proc/meminfo: memFree=123092280/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206492 CPUtime=3329.75 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74600 0 0 0 332948 27 0 0 20 0 1 0 187495176 248995840 51623 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51623 4005 3540 0 49047 0
Current children cumulated CPU time: 3329.75 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206492 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/254 994138
/proc/meminfo: memFree=123017136/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3389.54 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74672 0 0 0 338927 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3389.54 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 994149
/proc/meminfo: memFree=122943796/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3449.34 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74756 0 0 0 344907 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3449.34 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 994159
/proc/meminfo: memFree=122823816/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3509.15 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74840 0 0 0 350888 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3509.15 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 994173
/proc/meminfo: memFree=122748980/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3568.96 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74924 0 0 0 356869 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3568.96 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

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

# cumulated CPU time of all completed processes:  user=3583.39 s, system=0.281445 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.09 4.09 5/256 994173
/proc/meminfo: memFree=122745172/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3570.66 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 74924 0 0 0 357039 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3570.66 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 994175
/proc/meminfo: memFree=122740952/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3577.03 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 75008 0 0 0 357676 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3577.03 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 994175
/proc/meminfo: memFree=122735676/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3580.22 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 75008 0 0 0 357995 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 994175
/proc/meminfo: memFree=122734192/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3581.82 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 75008 0 0 0 358155 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3581.82 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.10 4.09 5/256 994177
/proc/meminfo: memFree=122734000/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3582.62 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 75008 0 0 0 358235 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3582.62 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 994177
/proc/meminfo: memFree=122734000/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3583.41 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 75008 0 0 0 358314 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

[startup+3597 s]*
/proc/loadavg: 4.14 4.10 4.09 5/256 994177
/proc/meminfo: memFree=122732152/131524600 swapFree=131071996/131071996
[pid=992223] ppid=992215 vsize=243160 memory=206572 CPUtime=3583.62 cores=0,2
/proc/992223/stat : 992223 (pbscip) R 992215 992223 992162 0 -1 4194304 75008 0 0 0 358335 27 0 0 20 0 1 0 187495176 248995840 51643 134679101440 4194304 18693293 140735995411184 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 31608832 140735995413507 140735995413606 140735995413606 140735995420622 0
/proc/992223/statm: 60790 51643 4005 3540 0 49047 0
Current children cumulated CPU time: 3583.62 s
Current children cumulated vsize: 243160 KiB
Current children cumulated memory: 206572 KiB

Child status: 0

Real time (s): 3597.05
CPU time (s): 3583.67
CPU user time (s): 3583.39
CPU system time (s): 0.281445
CPU usage (%): 99.6282
Max. virtual memory (cumulated for all children) (KiB): 243160
Max. memory (cumulated for all children) (KiB): 206572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.39
system time used= 0.281445
maximum resident set size= 206572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 24573


# summary of solver processes directly reported to runsolver:
#   pid: 992223
#   total CPU time (s): 3583.67
#   total CPU user time (s): 3583.39
#   total CPU system time (s): 0.281445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64451 second user time and 16.329 second system time

The end

Launcher Data

Begin job on nodeC035 at 2024-07-19 03:40:56
IDJOB=4447335
IDBENCH=158383
IDSOLVER=3059
FILE ID=nodeC035/4447335-1721353243
RUNJOBID= nodeC035-1721353256-992172
SLURM_JOB_ID= 7542764
Free space on /tmp= 890068 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.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-4447335-1721353243/watcher-4447335-1721353243 -o /tmp/evaluation-result-4447335-1721353243/solver-4447335-1721353243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721353256-992172 --watchdog 3760  pbscip -f HOME/instance-4447335-1721353243.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 903b294a72b72fbd6778e100307d5973
RANDOM SEED=424179527

nodeC035.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		: 3633.503
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.65
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		: 3634.797
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.79
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		: 3620.428
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.65
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		: 3658.874
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.79
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		: 3618.352
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.65
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		: 3799.813
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.79
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		: 3755.220
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.65
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		: 3616.025
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128683928 kB
MemAvailable:   129718328 kB
Buffers:          497728 kB
Cached:          1369492 kB
SwapCached:            0 kB
Active:           959600 kB
Inactive:        1263376 kB
Active(anon):       1432 kB
Inactive(anon):   392056 kB
Active(file):     958168 kB
Inactive(file):   871320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             75340 kB
Writeback:             0 kB
AnonPages:        355796 kB
Mapped:           106240 kB
Shmem:             37724 kB
KReclaimable:      89468 kB
Slab:             200440 kB
SReclaimable:      89468 kB
SUnreclaim:       110972 kB
KernelStack:        3856 kB
PageTables:         9476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     884340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70720 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC035 at 2024-07-19 04:40:53