Trace number 4447215

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? 3585.06 3597.06

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K80.opb
MD5SUMbc14cc3bb42aaf8e1259e2bb8ce475fb
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 benchmark0.35795
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4400
Total number of constraints4562
Number of constraints which are clauses4482
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
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 81
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-4447215-1721349477.opb>
0.00/0.01	c original problem has 4400 variables (4400 bin, 0 int, 0 impl, 0 cont) and 4562 constraints
0.00/0.01	c problem read in 0.02
0.00/0.01	c No objective function, only one solution is needed.
0.00/0.03	c presolving:
0.00/0.04	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, 837 clqs
0.00/0.04	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, 824 clqs
0.00/0.04	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, 821 clqs
0.00/0.04	c (round 4, fast)       644 del vars, 346 del conss, 0 add conss, 154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 832 clqs
0.00/0.04	c (round 5, fast)       701 del vars, 391 del conss, 0 add conss, 176 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 854 clqs
0.00/0.04	c (round 6, fast)       723 del vars, 410 del conss, 0 add conss, 183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 872 clqs
0.00/0.04	c (round 7, fast)       727 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 881 clqs
0.00/0.05	c    (0.1s) running MILP presolver
0.20/0.22	c    (0.2s) MILP presolver (21 rounds): 4 aggregations, 179 fixings, 0 bound changes
0.20/0.22	c (round 8, medium)     910 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 759 clqs
0.20/0.23	c (round 9, fast)       910 del vars, 597 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 761 clqs
0.20/0.23	c (round 10, exhaustive) 910 del vars, 673 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 761 clqs
0.20/0.24	c (round 11, exhaustive) 910 del vars, 673 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 3889 upgd conss, 0 impls, 761 clqs
0.20/0.26	c (round 12, exhaustive) 937 del vars, 674 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 31 chg coeffs, 3889 upgd conss, 0 impls, 761 clqs
0.20/0.26	c (round 13, fast)       964 del vars, 700 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 31 chg coeffs, 3889 upgd conss, 0 impls, 763 clqs
0.68/0.75	c (round 14, exhaustive) 989 del vars, 701 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 31 chg coeffs, 3889 upgd conss, 0 impls, 25178 clqs
0.68/0.76	c (round 15, fast)       989 del vars, 726 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 56 chg coeffs, 3889 upgd conss, 0 impls, 25178 clqs
0.78/0.87	c (round 16, exhaustive) 1014 del vars, 726 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 56 chg coeffs, 3889 upgd conss, 0 impls, 25635 clqs
0.78/0.87	c (round 17, fast)       1014 del vars, 751 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 86 chg coeffs, 3889 upgd conss, 0 impls, 25636 clqs
0.99/1.02	c (round 18, exhaustive) 1039 del vars, 751 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 86 chg coeffs, 3889 upgd conss, 0 impls, 25639 clqs
0.99/1.02	c (round 19, fast)       1039 del vars, 776 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 116 chg coeffs, 3889 upgd conss, 0 impls, 25639 clqs
1.09/1.14	c    (1.1s) probing: 1000/3734 (26.8%) - 95 fixings, 2 aggregations, 379898 implications, 0 bound changes
1.18/1.22	c (round 20, exhaustive) 1064 del vars, 776 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 116 chg coeffs, 3889 upgd conss, 0 impls, 25648 clqs
1.18/1.22	c (round 21, fast)       1064 del vars, 801 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 147 chg coeffs, 3889 upgd conss, 0 impls, 25648 clqs
1.48/1.56	c (round 22, exhaustive) 1089 del vars, 801 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 147 chg coeffs, 3889 upgd conss, 0 impls, 25660 clqs
1.48/1.56	c (round 23, fast)       1089 del vars, 826 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 182 chg coeffs, 3889 upgd conss, 0 impls, 25662 clqs
1.78/1.83	c    (1.8s) probing: 2000/3734 (53.6%) - 136 fixings, 2 aggregations, 707680 implications, 0 bound changes
2.38/2.49	c    (2.5s) probing: 3000/3734 (80.3%) - 137 fixings, 2 aggregations, 1051226 implications, 0 bound changes
2.58/2.64	c    (2.6s) probing: 3249/3734 (87.0%) - 137 fixings, 2 aggregations, 1130644 implications, 0 bound changes
2.58/2.64	c    (2.6s) probing aborted: 1000/1000 successive useless probings
2.58/2.64	c (round 24, exhaustive) 1103 del vars, 826 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 182 chg coeffs, 3889 upgd conss, 0 impls, 25677 clqs
2.58/2.65	c (round 25, fast)       1103 del vars, 840 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 202 chg coeffs, 3889 upgd conss, 0 impls, 25677 clqs
2.88/2.94	c    (2.9s) probing cycle finished: starting next cycle
3.47/3.56	c    (3.6s) probing: 1000/3594 (27.8%) - 144 fixings, 2 aggregations, 1625096 implications, 0 bound changes
3.57/3.68	c    (3.7s) probing: 1201/3594 (33.4%) - 144 fixings, 2 aggregations, 1691869 implications, 0 bound changes
3.57/3.68	c    (3.7s) probing aborted: 1000/1000 successive useless probings
3.57/3.68	c (round 26, exhaustive) 1110 del vars, 840 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 202 chg coeffs, 3889 upgd conss, 0 impls, 25481 clqs
3.57/3.68	c (round 27, fast)       1110 del vars, 847 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 209 chg coeffs, 3889 upgd conss, 0 impls, 25481 clqs
3.67/3.76	c    (3.8s) probing: 1301/3594 (36.2%) - 144 fixings, 2 aggregations, 1726598 implications, 0 bound changes
3.67/3.76	c    (3.8s) probing aborted: 1000/1000 successive useless probings
3.67/3.77	c    (3.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.67/3.79	c    (3.8s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
3.67/3.79	c dynamic symmetry handling statistics:
3.67/3.79	c    orbitopal reduction:       no components
3.67/3.79	c    orbital reduction:         no components
3.67/3.79	c    lexicographic reduction:    3 permutations with support sizes 366, 140, 134
3.67/3.79	c handled 3 out of 3 symmetry components
3.67/3.79	c presolving (28 rounds: 28 fast, 12 medium, 11 exhaustive):
3.67/3.79	c  1110 deleted vars, 847 deleted constraints, 0 added constraints, 184 tightened bounds, 0 added holes, 0 changed sides, 209 changed coefficients
3.67/3.79	c  0 implications, 25701 cliques
3.67/3.79	c presolved problem has 3588 variables (3588 bin, 0 int, 0 impl, 0 cont) and 3715 constraints
3.67/3.79	c     748 constraints of type <setppc>
3.67/3.79	c    2967 constraints of type <logicor>
3.67/3.79	c transformed objective value is always integral (scale: 1)
3.67/3.79	c Presolving Time: 3.76
3.67/3.79	c - non default parameters ----------------------------------------------------------------------
3.67/3.79	c # SCIP version 10.0.0
3.67/3.79	c 
3.67/3.79	c # maximal time in seconds to run
3.67/3.79	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.67/3.79	c limits/time = 3596.998008
3.67/3.79	c 
3.67/3.79	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.67/3.79	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.67/3.79	c limits/memory = 27900
3.67/3.79	c 
3.67/3.79	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
3.67/3.79	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
3.67/3.79	c limits/solutions = 1
3.67/3.79	c 
3.67/3.79	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.
3.67/3.79	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
3.67/3.79	c misc/usesymmetry = 3
3.67/3.79	c 
3.67/3.79	c # belongs reading time to solving time?
3.67/3.79	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.67/3.79	c timing/reading = TRUE
3.67/3.79	c 
3.67/3.79	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
3.67/3.79	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
3.67/3.79	c propagating/symmetry/detectdoublelex = FALSE
3.67/3.79	c 
3.67/3.79	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
3.67/3.79	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
3.67/3.79	c propagating/symmetry/detectsubgroups = FALSE
3.67/3.79	c 
3.67/3.79	c # Type of symmetries that shall be computed?
3.67/3.79	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
3.67/3.79	c propagating/symmetry/symtype = 1
3.67/3.79	c 
3.67/3.79	c # Should components consisting of a single full reflection be handled?
3.67/3.79	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
3.67/3.79	c propagating/symmetry/usesimplesgncomp = FALSE
3.67/3.79	c 
3.67/3.79	c -----------------------------------------------------------------------------------------------
3.67/3.79	c start solving
3.67/3.79	c 
6.07/6.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.07/6.16	c   6.2s|     1 |     0 | 10208 |     - |    57M |   0 |3588 |3796 |3715 |   0 |  0 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.73/16.83	c  16.8s|     1 |     0 | 49799 |     - |    62M |   0 |3588 |4006 |3719 |   4 |  1 |  90 |   0 | 0.000000e+00 |      --      |    Inf | unknown
17.33/17.47	c  17.5s|     1 |     0 | 51280 |     - |    64M |   0 |3588 |4008 |3723 |   8 |  2 |  92 |   0 | 0.000000e+00 |      --      |    Inf | unknown
18.23/18.37	c  18.4s|     1 |     0 | 53561 |     - |    65M |   0 |3588 |4018 |3732 |  17 |  3 | 102 |   0 | 0.000000e+00 |      --      |    Inf | unknown
19.03/19.14	c  19.1s|     1 |     0 | 55340 |     - |    66M |   0 |3588 |4017 |3738 |  23 |  4 | 103 |   0 | 0.000000e+00 |      --      |    Inf | unknown
19.93/20.09	c  20.1s|     1 |     0 | 57686 |     - |    67M |   0 |3588 |4018 |3749 |  34 |  5 | 104 |   0 | 0.000000e+00 |      --      |    Inf | unknown
20.92/21.03	c  21.0s|     1 |     0 | 59784 |     - |    68M |   0 |3588 |4012 |3757 |  42 |  6 | 106 |   0 | 0.000000e+00 |      --      |    Inf | unknown
24.61/24.74	c  24.7s|     1 |     0 | 70597 |     - |    69M |   0 |3588 |4010 |3768 |  53 |  7 | 107 |   0 | 0.000000e+00 |      --      |    Inf | unknown
25.60/25.77	c  25.8s|     1 |     0 | 72415 |     - |    70M |   0 |3588 |4014 |3772 |  57 |  8 | 112 |   0 | 0.000000e+00 |      --      |    Inf | unknown
27.20/27.32	c  27.3s|     1 |     0 | 76545 |     - |    71M |   0 |3588 |4017 |3784 |  69 |  9 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
28.60/28.74	c  28.7s|     1 |     0 | 80212 |     - |    72M |   0 |3588 |4020 |3795 |  80 | 10 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
29.69/29.82	c  29.8s|     1 |     0 | 83173 |     - |    72M |   0 |3588 |4007 |3805 |  90 | 11 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
44.74/44.99	c  45.0s|     1 |     2 |123556 |     - |    73M |   0 |3588 |4015 |3805 |  90 | 11 | 162 |  11 | 0.000000e+00 |      --      |    Inf | unknown
68.27/68.53	c  68.5s|   100 |    29 |202950 |1209.9 |    84M |  40 |3588 |4031 |3783 | 139 |  2 | 188 |  11 | 0.000000e+00 |      --      |    Inf | unknown
75.25/75.58	c  75.6s|   200 |    29 |238036 | 778.2 |    92M |  40 |3588 |4064 |3781 | 158 |  2 | 242 |  11 | 0.000000e+00 |      --      |    Inf | unknown
86.01/86.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
86.01/86.32	c  86.3s|   300 |    27 |289139 | 688.8 |    95M |  40 |3588 |4057 |3782 | 192 |  1 | 287 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
92.69/93.09	c  93.1s|   400 |    27 |324225 | 604.1 |    97M |  40 |3588 |4083 |3780 | 212 |  1 | 333 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
98.37/98.77	c  98.8s|   500 |    29 |353402 | 541.5 |    97M |  40 |3588 |4107 |3779 | 231 |  1 | 385 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
106.04/106.41	c   106s|   600 |    30 |392020 | 515.6 |   101M |  40 |3588 |4132 |3780 | 253 |  1 | 436 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
114.81/115.27	c   115s|   700 |    24 |436767 | 505.9 |   103M |  40 |3588 |4146 |3783 | 277 |  1 | 494 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
128.16/128.64	c   129s|   800 |    32 |496020 | 516.7 |   104M |  40 |3588 |4111 |3780 | 290 |  0 | 536 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
136.64/137.14	c   137s|   900 |    38 |535350 | 503.0 |   105M |  41 |3588 |4172 |3787 | 306 |  0 | 617 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
145.71/146.24	c   146s|  1000 |    35 |577157 | 494.5 |   106M |  41 |3588 |4214 |3781 | 319 |  0 | 661 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
156.37/156.99	c   157s|  1100 |    37 |626575 | 494.5 |   107M |  41 |3588 |4228 |   0 | 343 |  0 | 714 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
167.63/168.25	c   168s|  1200 |    37 |678748 | 496.7 |   108M |  41 |3588 |4250 |3785 | 361 |  1 | 755 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
179.30/179.91	c   180s|  1300 |    33 |732326 | 499.7 |   109M |  41 |3588 |4278 |3782 | 373 |  0 | 805 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
187.87/188.58	c   189s|  1400 |    41 |771603 | 492.1 |   109M |  41 |3588 |4291 |3783 | 386 |  0 | 876 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
194.84/195.57	c   196s|  1500 |    37 |803748 | 480.7 |   110M |  41 |3588 |4367 |   0 | 417 |  0 |1010 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
204.32/205.06	c   205s|  1600 |    41 |847792 | 478.2 |   110M |  41 |3588 |4435 |3786 | 432 |  1 |1095 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
213.09/213.83	c   214s|  1700 |    37 |888236 | 473.8 |   113M |  41 |3588 |4520 |3785 | 458 |  1 |1231 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
222.46/223.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
222.46/223.24	c   223s|  1800 |    36 |932678 | 472.2 |   114M |  41 |3588 |4607 |   0 | 479 |  0 |1398 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
234.62/235.49	c   235s|  1900 |    40 |987075 | 476.0 |   114M |  41 |3588 |4567 |3784 | 503 |  0 |1485 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
244.19/245.01	c   245s|  2000 |    40 |  1030k| 474.0 |   114M |  41 |3588 |4591 |3780 | 523 |  0 |1573 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
252.27/253.12	c   253s|  2100 |    40 |  1069k| 469.8 |   114M |  41 |3588 |4622 |3780 | 544 |  1 |1647 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
263.13/264.07	c   264s|  2200 |    40 |  1119k| 471.2 |   115M |  41 |3588 |4607 |3780 | 577 |  0 |1717 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
272.99/273.99	c   274s|  2300 |    40 |  1165k| 470.8 |   115M |  41 |3588 |4635 |3782 | 608 |  0 |1777 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
286.65/287.69	c   288s|  2400 |    40 |  1227k| 476.9 |   116M |  41 |3588 |4667 |3793 | 674 |  2 |1834 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
300.01/301.09	c   301s|  2500 |    46 |  1291k| 483.7 |   117M |  49 |3588 |4689 |3790 | 708 |  0 |1884 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
311.98/313.01	c   313s|  2600 |    46 |  1347k| 486.5 |   117M |  49 |3588 |4723 |3784 | 759 |  1 |1946 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
324.14/325.25	c   325s|  2700 |    44 |  1403k| 489.0 |   117M |  49 |3588 |4724 |3784 | 817 |  1 |1968 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
336.30/337.46	c   337s|  2800 |    42 |  1459k| 491.8 |   117M |  49 |3588 |4772 |3786 | 852 |  0 |2033 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
345.97/347.10	c   347s|  2900 |    44 |  1504k| 490.1 |   118M |  49 |3588 |4855 |3788 | 890 |  1 |2133 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
356.63/357.82	c   358s|  3000 |    46 |  1551k| 489.7 |   118M |  49 |3588 |4957 |3785 | 933 |  1 |2315 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
372.98/374.25	c   374s|  3100 |    53 |  1624k| 497.3 |   121M |  51 |3588 |4950 |3788 | 961 |  1 |2499 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
381.86/383.18	c   383s|  3200 |    54 |  1665k| 494.5 |   121M |  51 |3588 |4941 |3785 |1037 |  1 |2627 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
395.61/396.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
395.61/396.93	c   397s|  3300 |    56 |  1723k| 497.1 |   121M |  51 |3588 |4836 |3791 |1098 |  0 |2700 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
404.98/406.30	c   406s|  3400 |    55 |  1765k| 494.9 |   122M |  51 |3588 |4912 |3785 |1155 |  0 |2878 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
416.55/417.93	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
416.55/417.93	c (run 1, node 3465) performing user restart
416.55/417.93	c 
416.55/417.93	c (restart) converted 51 cuts from the global cut pool into linear constraints
416.55/417.93	c 
416.55/417.94	c presolving:
416.55/417.95	c (round 1, fast)       0 del vars, 60 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 25701 clqs
416.55/417.96	c (round 2, exhaustive) 0 del vars, 64 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 25701 clqs
416.55/417.96	c (round 3, exhaustive) 0 del vars, 71 del conss, 2 add conss, 0 chg bounds, 7 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 25701 clqs
416.55/417.97	c (round 4, exhaustive) 0 del vars, 71 del conss, 2 add conss, 0 chg bounds, 7 chg sides, 2 chg coeffs, 240 upgd conss, 0 impls, 25701 clqs
416.55/417.97	c (round 5, medium)     0 del vars, 74 del conss, 7 add conss, 0 chg bounds, 29 chg sides, 30 chg coeffs, 240 upgd conss, 0 impls, 25701 clqs
416.55/417.98	c (round 6, exhaustive) 0 del vars, 87 del conss, 7 add conss, 0 chg bounds, 29 chg sides, 55 chg coeffs, 240 upgd conss, 0 impls, 25701 clqs
416.65/418.04	c (round 7, exhaustive) 0 del vars, 242 del conss, 7 add conss, 0 chg bounds, 29 chg sides, 1290 chg coeffs, 240 upgd conss, 0 impls, 25701 clqs
416.75/418.15	c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
416.75/418.15	c  0 deleted vars, 243 deleted constraints, 7 added constraints, 0 tightened bounds, 0 added holes, 29 changed sides, 1306 changed coefficients
416.75/418.15	c  0 implications, 25701 cliques
416.75/418.15	c presolved problem has 3588 variables (3588 bin, 0 int, 0 impl, 0 cont) and 4598 constraints
416.75/418.15	c      34 constraints of type <knapsack>
416.75/418.15	c     950 constraints of type <setppc>
416.75/418.15	c      11 constraints of type <linear>
416.75/418.15	c    3603 constraints of type <logicor>
416.75/418.15	c transformed objective value is always integral (scale: 1)
416.75/418.15	c Presolving Time: 3.97
416.75/418.15	c 
418.34/419.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
418.34/419.75	c   420s|     1 |     0 |  1819k|     - |   123M |   0 |3588 |4625 |3755 |   0 |  0 |3008 |  11 | 0.000000e+00 |      --      |    Inf | unknown
419.44/420.87	c   421s|     1 |     0 |  1821k|     - |   125M |   0 |3588 |4617 |3766 |  11 |  1 |3009 |  11 | 0.000000e+00 |      --      |    Inf | unknown
420.33/421.73	c   422s|     1 |     0 |  1824k|     - |   127M |   0 |3588 |4615 |3772 |  17 |  2 |3010 |  11 | 0.000000e+00 |      --      |    Inf | unknown
421.13/422.59	c   423s|     1 |     0 |  1826k|     - |   127M |   0 |3588 |4616 |3780 |  25 |  3 |3013 |  11 | 0.000000e+00 |      --      |    Inf | unknown
422.33/423.71	c   424s|     1 |     0 |  1828k|     - |   127M |   0 |3588 |4624 |3788 |  33 |  4 |3023 |  11 | 0.000000e+00 |      --      |    Inf | unknown
423.22/424.64	c   425s|     1 |     0 |  1831k|     - |   127M |   0 |3588 |4627 |3798 |  43 |  5 |3028 |  11 | 0.000000e+00 |      --      |    Inf | unknown
424.72/426.11	c   426s|     1 |     0 |  1835k|     - |   128M |   0 |3588 |4631 |3808 |  53 |  6 |3038 |  11 | 0.000000e+00 |      --      |    Inf | unknown
425.82/427.29	c   427s|     1 |     0 |  1837k|     - |   128M |   0 |3588 |4624 |3817 |  62 |  7 |3039 |  11 | 0.000000e+00 |      --      |    Inf | unknown
427.11/428.57	c   429s|     1 |     0 |  1840k|     - |   129M |   0 |3588 |4624 |3826 |  71 |  8 |3040 |  11 | 0.000000e+00 |      --      |    Inf | unknown
429.20/430.60	c   431s|     1 |     0 |  1846k|     - |   130M |   0 |3588 |4613 |3834 |  79 |  9 |3041 |  11 | 0.000000e+00 |      --      |    Inf | unknown
430.61/432.08	c   432s|     1 |     0 |  1849k|     - |   131M |   0 |3588 |4601 |3845 |  90 | 10 |3049 |  11 | 0.000000e+00 |      --      |    Inf | unknown
431.60/433.10	c   433s|     1 |     0 |  1852k|     - |   131M |   0 |3588 |4599 |3854 |  99 | 11 |3052 |  11 | 0.000000e+00 |      --      |    Inf | unknown
443.66/445.11	c   445s|     1 |     2 |  1876k|     - |   131M |   0 |3588 |4475 |3854 |  99 | 11 |3063 |  22 | 0.000000e+00 |      --      |    Inf | unknown
682.77/685.09	c   685s|   100 |    39 |  2637k| 705.3 |   133M |  20 |3588 |4640 |3762 | 137 |  1 |3449 |  22 | 0.000000e+00 |      --      |    Inf |   4.04%
697.91/700.26	c   700s|   200 |    43 |  2698k| 702.7 |   135M |  20 |3588 |4666 |3762 | 196 |  1 |3517 |  22 | 0.000000e+00 |      --      |    Inf |   4.06%
706.38/708.76	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
706.38/708.76	c   709s|   300 |    43 |  2737k| 694.4 |   136M |  20 |3588 |4693 |3764 | 263 |  1 |3578 |  22 | 0.000000e+00 |      --      |    Inf |   4.28%
715.16/717.56	c   718s|   400 |    41 |  2780k| 687.4 |   136M |  20 |3588 |4685 |3762 | 307 |  1 |3640 |  22 | 0.000000e+00 |      --      |    Inf |   4.30%
727.31/729.76	c   730s|   500 |    46 |  2839k| 685.0 |   136M |  31 |3588 |4758 |3769 | 331 |  1 |3756 |  22 | 0.000000e+00 |      --      |    Inf |   4.30%
733.89/736.39	c   736s|   600 |    44 |  2872k| 676.2 |   136M |  39 |3588 |4818 |3770 | 343 |  0 |3864 |  22 | 0.000000e+00 |      --      |    Inf |   4.30%
743.06/745.51	c   746s|   700 |    47 |  2917k| 670.8 |   138M |  40 |3588 |4878 |   0 | 383 |  0 |3963 |  22 | 0.000000e+00 |      --      |    Inf |   4.31%
753.83/756.36	c   756s|   800 |    51 |  2967k| 666.9 |   140M |  50 |3588 |4898 |3799 | 492 |  1 |3995 |  22 | 0.000000e+00 |      --      |    Inf |   4.31%
765.39/767.92	c   768s|   900 |    42 |  3023k| 664.3 |   141M |  51 |3588 |4952 |3772 | 541 |  0 |4070 |  22 | 0.000000e+00 |      --      |    Inf |   4.31%
777.95/780.57	c   781s|  1000 |    45 |  3083k| 662.9 |   143M |  51 |3588 |5016 |3773 | 593 |  0 |4161 |  22 | 0.000000e+00 |      --      |    Inf |   4.31%
792.11/794.70	c   795s|  1100 |    45 |  3150k| 663.1 |   143M |  51 |3588 |5067 |3787 | 647 |  2 |4254 |  22 | 0.000000e+00 |      --      |    Inf |   4.31%
808.16/810.82	c   811s|  1200 |    45 |  3226k| 665.2 |   143M |  51 |3588 |5147 |3789 | 736 |  1 |4362 |  22 | 0.000000e+00 |      --      |    Inf |   4.31%
822.32/825.06	c   825s|  1300 |    42 |  3295k| 665.6 |   144M |  51 |3588 |5206 |3790 | 782 |  0 |4465 |  22 | 0.000000e+00 |      --      |    Inf |   4.31%
832.48/835.27	c   835s|  1400 |    52 |  3342k| 661.6 |   145M |  51 |3588 |5255 |3765 | 819 |  1 |4573 |  22 | 0.000000e+00 |      --      |    Inf |   4.32%
837.87/840.62	c   841s|  1500 |    48 |  3369k| 653.8 |   146M |  51 |3588 |5288 |3765 | 822 |  0 |4673 |  22 | 0.000000e+00 |      --      |    Inf |   4.34%
846.14/848.98	c   849s|  1600 |    53 |  3410k| 648.9 |   146M |  51 |3588 |5275 |3765 | 831 |  1 |4727 |  22 | 0.000000e+00 |      --      |    Inf |   4.36%
851.12/853.94	c   854s|  1700 |    49 |  3436k| 641.5 |   146M |  51 |3588 |5282 |3765 | 831 |  0 |4747 |  22 | 0.000000e+00 |      --      |    Inf |   4.36%
858.31/861.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
858.31/861.16	c   861s|  1800 |    49 |  3473k| 636.2 |   146M |  51 |3588 |5333 |3765 | 840 |  1 |4824 |  22 | 0.000000e+00 |      --      |    Inf |   4.40%
868.67/871.52	c   872s|  1900 |    44 |  3522k| 633.6 |   146M |  51 |3588 |5377 |3760 | 879 |  0 |4936 |  22 | 0.000000e+00 |      --      |    Inf |   4.48%
874.75/877.61	c   878s|  2000 |    56 |  3552k| 627.5 |   147M |  51 |3588 |5389 |3767 | 908 |  1 |5017 |  22 | 0.000000e+00 |      --      |    Inf |   4.53%
878.53/881.48	c   881s|  2100 |    50 |  3573k| 620.0 |   147M |  51 |3588 |5413 |3762 | 921 |  1 |5118 |  22 | 0.000000e+00 |      --      |    Inf |   4.56%
883.12/886.03	c   886s|  2200 |    50 |  3597k| 613.2 |   147M |  51 |3588 |5501 |3766 | 935 |  1 |5232 |  22 | 0.000000e+00 |      --      |    Inf |   4.57%
888.80/891.70	c   892s|  2300 |    49 |  3626k| 607.5 |   147M |  51 |3588 |5532 |3762 | 953 |  0 |5292 |  22 | 0.000000e+00 |      --      |    Inf |   4.58%
894.68/897.62	c   898s|  2400 |    49 |  3656k| 602.4 |   148M |  55 |3588 |5553 |3762 | 975 |  1 |5369 |  22 | 0.000000e+00 |      --      |    Inf |   4.58%
900.17/903.17	c   903s|  2500 |    47 |  3684k| 597.0 |   148M |  55 |3588 |5550 |3775 |1015 |  0 |5421 |  22 | 0.000000e+00 |      --      |    Inf |   4.58%
906.34/909.31	c   909s|  2600 |    51 |  3715k| 592.3 |   149M |  55 |3588 |5498 |3771 |1057 |  0 |5519 |  22 | 0.000000e+00 |      --      |    Inf |   4.62%
911.93/914.97	c   915s|  2700 |    55 |  3746k| 587.6 |   150M |  55 |3588 |5540 |3772 |1077 |  0 |5578 |  22 | 0.000000e+00 |      --      |    Inf |   4.62%
917.31/920.35	c   920s|  2800 |    53 |  3776k| 583.0 |   150M |  55 |3588 |5597 |3775 |1103 |  0 |5673 |  22 | 0.000000e+00 |      --      |    Inf |   4.62%
923.09/926.13	c   926s|  2900 |    51 |  3807k| 578.8 |   150M |  55 |3588 |5558 |3772 |1127 |  1 |5748 |  22 | 0.000000e+00 |      --      |    Inf |   4.62%
928.37/931.46	c   931s|  3000 |    53 |  3836k| 574.4 |   151M |  55 |3588 |5543 |3772 |1154 |  0 |5849 |  22 | 0.000000e+00 |      --      |    Inf |   4.63%
934.35/937.48	c   937s|  3100 |    51 |  3871k| 570.9 |   151M |  55 |3588 |5551 |3769 |1185 |  1 |5869 |  22 | 0.000000e+00 |      --      |    Inf |   4.64%
939.83/942.98	c   943s|  3200 |    51 |  3901k| 566.8 |   151M |  55 |3588 |5557 |3769 |1225 |  0 |5907 |  22 | 0.000000e+00 |      --      |    Inf |   4.65%
946.11/949.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
946.11/949.20	c   949s|  3300 |    51 |  3935k| 563.5 |   151M |  55 |3588 |5593 |   0 |1257 |  0 |5994 |  22 | 0.000000e+00 |      --      |    Inf |   4.65%
953.19/956.38	c   956s|  3400 |    52 |  3974k| 560.9 |   151M |  55 |3588 |5614 |3781 |1296 |  0 |6080 |  22 | 0.000000e+00 |      --      |    Inf |   4.66%
958.67/961.87	c   962s|  3500 |    50 |  4004k| 557.2 |   151M |  55 |3588 |5655 |3769 |1322 |  0 |6139 |  22 | 0.000000e+00 |      --      |    Inf |   4.66%
965.15/968.35	c   968s|  3600 |    52 |  4039k| 554.2 |   151M |  55 |3588 |5683 |3779 |1350 |  0 |6199 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
972.13/975.35	c   975s|  3700 |    50 |  4076k| 551.7 |   151M |  55 |3588 |5688 |3777 |1374 |  0 |6286 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
976.82/980.04	c   980s|  3800 |    54 |  4101k| 547.5 |   151M |  55 |3588 |5629 |3776 |1407 |  1 |6366 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
979.31/982.56	c   983s|  3900 |    57 |  4115k| 541.9 |   152M |  55 |3588 |5710 |3772 |1423 |  1 |6491 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
984.19/987.47	c   987s|  4000 |    53 |  4142k| 538.4 |   152M |  55 |3588 |5704 |3775 |1442 |  0 |6555 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
988.88/992.15	c   992s|  4100 |    54 |  4168k| 534.7 |   152M |  55 |3588 |5763 |3772 |1461 |  0 |6656 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
995.86/999.17	c   999s|  4200 |    54 |  4205k| 532.6 |   152M |  55 |3588 |5792 |3777 |1493 |  2 |6709 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
1003.13/1006.43	c  1006s|  4300 |    52 |  4242k| 530.5 |   152M |  55 |3588 |5883 |   0 |1542 |  0 |6805 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
1008.81/1012.14	c  1012s|  4400 |    52 |  4274k| 527.8 |   152M |  55 |3588 |5768 |3774 |1578 |  0 |6860 |  22 | 0.000000e+00 |      --      |    Inf |   4.67%
1014.49/1017.80	c  1018s|  4500 |    52 |  4305k| 525.0 |   152M |  55 |3588 |5738 |3775 |1606 |  0 |6952 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1020.07/1023.42	c  1023s|  4600 |    51 |  4335k| 522.2 |   152M |  55 |3588 |5740 |   0 |1637 |  0 |7054 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1026.35/1029.70	c  1030s|  4700 |    53 |  4369k| 520.0 |   152M |  55 |3588 |5722 |3773 |1678 |  1 |7123 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1032.93/1036.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1032.93/1036.38	c  1036s|  4800 |    53 |  4404k| 517.9 |   152M |  55 |3588 |5763 |3781 |1699 |  1 |7201 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1038.91/1042.31	c  1042s|  4900 |    52 |  4435k| 515.5 |   152M |  55 |3588 |5788 |3777 |1726 |  0 |7299 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1046.49/1050.00	c  1050s|  5000 |    52 |  4475k| 514.2 |   153M |  55 |3588 |5833 |3782 |1745 |  0 |7370 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1053.27/1056.78	c  1057s|  5100 |    50 |  4512k| 512.4 |   153M |  55 |3588 |5820 |3780 |1771 |  0 |7434 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1061.94/1065.49	c  1065s|  5200 |    48 |  4558k| 511.8 |   153M |  55 |3588 |5777 |   0 |1783 |  0 |7477 |  22 | 0.000000e+00 |      --      |    Inf |   4.68%
1070.31/1073.89	c  1074s|  5300 |    50 |  4602k| 511.0 |   153M |  55 |3588 |5721 |3786 |1815 |  0 |7543 |  22 | 0.000000e+00 |      --      |    Inf |   4.69%
1076.39/1079.92	c  1080s|  5400 |    52 |  4635k| 508.9 |   153M |  78 |3588 |5775 |3791 |1822 |  1 |7612 |  22 | 0.000000e+00 |      --      |    Inf |   4.69%
1082.67/1086.23	c  1086s|  5500 |    50 |  4670k| 507.2 |   153M |  83 |3588 |5750 |3776 |1846 |  0 |7702 |  22 | 0.000000e+00 |      --      |    Inf |   4.69%
1088.46/1092.04	c  1092s|  5600 |    52 |  4701k| 505.0 |   153M |  83 |3588 |5704 |3774 |1885 |  1 |7783 |  22 | 0.000000e+00 |      --      |    Inf |   4.70%
1093.74/1097.30	c  1097s|  5700 |    50 |  4728k| 502.5 |   153M |  83 |3588 |5691 |3778 |1917 |  1 |7891 |  22 | 0.000000e+00 |      --      |    Inf |   4.70%
1100.02/1103.65	c  1104s|  5800 |    49 |  4761k| 500.6 |   153M |  83 |3588 |5725 |3783 |1943 |  1 |7956 |  22 | 0.000000e+00 |      --      |    Inf |   4.70%
1105.40/1109.03	c  1109s|  5900 |    49 |  4788k| 498.1 |   153M |  83 |3588 |5785 |3782 |1965 |  1 |8083 |  22 | 0.000000e+00 |      --      |    Inf |   4.70%
1110.88/1114.59	c  1115s|  6000 |    47 |  4816k| 495.8 |   154M |  83 |3588 |5904 |   0 |1988 |  0 |8245 |  22 | 0.000000e+00 |      --      |    Inf |   4.70%
1118.56/1122.21	c  1122s|  6100 |    48 |  4855k| 494.7 |   154M |  83 |3588 |5918 |3777 |2011 |  0 |8340 |  22 | 0.000000e+00 |      --      |    Inf |   4.70%
1125.14/1128.89	c  1129s|  6200 |    48 |  4890k| 493.2 |   155M |  83 |3588 |5870 |3767 |2044 |  0 |8417 |  22 | 0.000000e+00 |      --      |    Inf |   4.72%
1130.02/1133.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1130.02/1133.78	c  1134s|  6300 |    48 |  4916k| 490.9 |   155M |  83 |3588 |5816 |3770 |2088 |  1 |8479 |  22 | 0.000000e+00 |      --      |    Inf |   4.74%
1136.70/1140.48	c  1140s|  6400 |    48 |  4953k| 489.6 |   155M |  83 |3588 |5831 |3777 |2115 |  1 |8536 |  22 | 0.000000e+00 |      --      |    Inf |   4.74%
1143.28/1147.09	c  1147s|  6500 |    48 |  4987k| 488.1 |   155M |  83 |3588 |5900 |3785 |2146 |  0 |8642 |  22 | 0.000000e+00 |      --      |    Inf |   4.74%
1148.56/1152.30	c  1152s|  6600 |    48 |  5013k| 485.8 |   155M |  83 |3588 |5938 |3775 |2179 |  1 |8787 |  22 | 0.000000e+00 |      --      |    Inf |   4.74%
1155.44/1159.29	c  1159s|  6700 |    48 |  5050k| 484.6 |   155M |  83 |3588 |5874 |3779 |2225 |  2 |8846 |  22 | 0.000000e+00 |      --      |    Inf |   4.75%
1160.52/1164.32	c  1164s|  6800 |    50 |  5077k| 482.6 |   155M |  83 |3588 |5902 |3767 |2277 |  1 |8933 |  22 | 0.000000e+00 |      --      |    Inf |   4.75%
1165.80/1169.65	c  1170s|  6900 |    50 |  5105k| 480.7 |   155M |  83 |3588 |5921 |3775 |2348 |  1 |9013 |  22 | 0.000000e+00 |      --      |    Inf |   4.75%
1172.08/1175.94	c  1176s|  7000 |    48 |  5139k| 479.3 |   155M |  83 |3588 |5987 |3775 |2383 |  0 |9102 |  22 | 0.000000e+00 |      --      |    Inf |   4.75%
1177.46/1181.32	c  1181s|  7100 |    48 |  5167k| 477.4 |   155M |  83 |3588 |6050 |3785 |2429 |  1 |9186 |  22 | 0.000000e+00 |      --      |    Inf |   4.75%
1186.84/1190.73	c  1191s|  7200 |    46 |  5215k| 477.4 |   155M |  83 |3588 |6023 |3789 |2464 |  1 |9236 |  22 | 0.000000e+00 |      --      |    Inf |   4.75%
1192.51/1196.44	c  1196s|  7300 |    48 |  5243k| 475.6 |   155M |  83 |3588 |5947 |3772 |2491 |  1 |9362 |  22 | 0.000000e+00 |      --      |    Inf |   4.76%
1196.90/1200.88	c  1201s|  7400 |    46 |  5265k| 473.2 |   156M |  83 |3588 |6053 |3765 |2511 |  0 |9544 |  22 | 0.000000e+00 |      --      |    Inf |   4.79%
1203.08/1207.04	c  1207s|  7500 |    46 |  5295k| 471.7 |   156M |  83 |3588 |6105 |   0 |2554 |  0 |9690 |  22 | 0.000000e+00 |      --      |    Inf |   4.80%
1218.22/1222.28	c  1222s|  7600 |    56 |  5357k| 473.0 |   156M |  83 |3588 |6067 |3761 |2591 |  1 |9807 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1225.39/1229.45	c  1229s|  7700 |    64 |  5393k| 472.0 |   156M |  83 |3588 |6071 |3764 |2594 |  1 |9844 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1233.26/1237.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1233.26/1237.37	c  1237s|  7800 |    64 |  5432k| 471.3 |   156M |  83 |3588 |5836 |3764 |2611 |  1 |9878 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1239.74/1243.84	c  1244s|  7900 |    62 |  5464k| 470.0 |   156M |  83 |3588 |5816 |   0 |2643 |  0 |9922 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1249.70/1253.81	c  1254s|  8000 |    64 |  5512k| 470.0 |   157M |  83 |3588 |5828 |3766 |2686 |  0 |9940 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1262.55/1266.76	c  1267s|  8100 |    62 |  5572k| 471.1 |   158M |  83 |3588 |5823 |3791 |2767 |  3 |9941 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1274.01/1278.26	c  1278s|  8200 |    66 |  5626k| 471.8 |   158M |  83 |3588 |5829 |3774 |2810 |  1 |9960 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1287.16/1291.44	c  1291s|  8300 |    64 |  5689k| 473.1 |   158M |  83 |3588 |5833 |3786 |2860 |  0 |9968 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1300.12/1304.42	c  1304s|  8400 |    62 |  5749k| 474.2 |   158M |  83 |3588 |5827 |3773 |2929 |  2 |9976 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1310.98/1315.38	c  1315s|  8500 |    60 |  5802k| 474.6 |   159M |  83 |3588 |5825 |3781 |2976 |  0 |9979 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1323.94/1328.30	c  1328s|  8600 |    58 |  5863k| 475.8 |   159M |  83 |3588 |5807 |3784 |3031 |  1 |9984 |  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1332.11/1336.52	c  1337s|  8700 |    62 |  5903k| 475.1 |   159M |  83 |3588 |5813 |3770 |3069 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1342.98/1347.49	c  1347s|  8800 |    68 |  5956k| 475.5 |   159M |  83 |3588 |5817 |3771 |3100 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1355.24/1359.71	c  1360s|  8900 |    68 |  6015k| 476.5 |   159M |  83 |3588 |5821 |3772 |3165 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1368.51/1373.08	c  1373s|  9000 |    70 |  6078k| 477.7 |   159M |  83 |3588 |5819 |3780 |3218 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1383.56/1388.17	c  1388s|  9100 |    68 |  6149k| 479.6 |   161M |  83 |3588 |5820 |3783 |3265 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1396.71/1401.37	c  1401s|  9200 |    66 |  6212k| 480.7 |   161M |  83 |3588 |5822 |3776 |3304 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1413.46/1418.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1413.46/1418.15	c  1418s|  9300 |    62 |  6291k| 483.2 |   161M |  83 |3588 |5828 |3770 |3354 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1426.32/1431.04	c  1431s|  9400 |    62 |  6355k| 484.4 |   161M |  83 |3588 |5827 |3761 |3443 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1438.28/1443.10	c  1443s|  9500 |    66 |  6414k| 485.2 |   161M |  83 |3588 |5827 |3778 |3494 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1449.94/1454.74	c  1455s|  9600 |    68 |  6470k| 485.8 |   161M |  83 |3588 |5826 |3769 |3522 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1463.10/1467.99	c  1468s|  9700 |    70 |  6534k| 486.9 |   161M |  83 |3588 |5824 |3781 |3555 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1481.04/1485.98	c  1486s|  9800 |    70 |  6620k| 489.7 |   161M |  83 |3588 |5822 |3784 |3611 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1496.29/1501.29	c  1501s|  9900 |    66 |  6695k| 491.7 |   161M |  83 |3588 |5821 |3787 |3642 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1512.84/1517.83	c  1518s| 10000 |    66 |  6774k| 493.9 |   161M |  83 |3588 |5828 |3774 |3701 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1524.70/1529.78	c  1530s| 10100 |    68 |  6832k| 494.6 |   161M |  83 |3588 |5824 |3783 |3755 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1538.06/1543.12	c  1543s| 10200 |    66 |  6896k| 495.7 |   161M |  83 |3588 |5822 |3774 |3802 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1550.22/1555.36	c  1555s| 10300 |    62 |  6955k| 496.3 |   161M |  83 |3588 |5823 |3775 |3859 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1562.77/1567.98	c  1568s| 10400 |    66 |  7014k| 497.0 |   162M |  83 |3588 |5828 |3780 |3902 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1575.33/1580.53	c  1581s| 10500 |    64 |  7073k| 497.7 |   162M |  83 |3588 |5837 |3772 |3932 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1587.10/1592.35	c  1592s| 10600 |    60 |  7128k| 498.1 |   162M |  83 |3588 |5837 |3773 |3958 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1599.56/1604.85	c  1605s| 10700 |    60 |  7190k| 498.9 |   162M |  83 |3588 |5835 |3780 |3979 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1610.02/1615.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1610.02/1615.37	c  1615s| 10800 |    62 |  7242k| 499.1 |   162M |  83 |3588 |5844 |3772 |4025 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1621.39/1626.77	c  1627s| 10900 |    64 |  7297k| 499.4 |   162M |  83 |3588 |5838 |3769 |4062 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1630.86/1636.26	c  1636s| 11000 |    62 |  7344k| 499.2 |   162M |  83 |3588 |5845 |3769 |4083 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1640.92/1646.39	c  1646s| 11100 |    64 |  7394k| 499.2 |   162M |  83 |3588 |5844 |3771 |4116 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1651.29/1656.75	c  1657s| 11200 |    60 |  7444k| 499.2 |   162M |  83 |3588 |5845 |3770 |4153 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1663.15/1668.62	c  1669s| 11300 |    60 |  7502k| 499.7 |   162M |  83 |3588 |5852 |3770 |4203 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1673.22/1678.74	c  1679s| 11400 |    62 |  7551k| 499.7 |   162M |  83 |3588 |5867 |3778 |4229 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1683.78/1689.39	c  1689s| 11500 |    62 |  7602k| 499.8 |   162M |  83 |3588 |5875 |3774 |4254 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1694.15/1699.74	c  1700s| 11600 |    62 |  7652k| 499.8 |   162M |  83 |3588 |5873 |3780 |4277 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1703.92/1709.53	c  1710s| 11700 |    62 |  7699k| 499.5 |   162M |  83 |3588 |5886 |3781 |4292 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1716.78/1722.46	c  1722s| 11800 |    64 |  7759k| 500.2 |   162M |  83 |3588 |5905 |3774 |4350 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1724.55/1730.26	c  1730s| 11900 |    62 |  7797k| 499.4 |   162M |  83 |3588 |5926 |3774 |4365 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1734.12/1739.85	c  1740s| 12000 |    64 |  7842k| 499.1 |   162M |  83 |3588 |5940 |3775 |4373 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1743.29/1749.06	c  1749s| 12100 |    64 |  7885k| 498.7 |   162M |  83 |3588 |5951 |3770 |4387 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1753.85/1759.63	c  1760s| 12200 |    64 |  7937k| 498.8 |   162M |  83 |3588 |5948 |3777 |4437 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1764.72/1770.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1764.72/1770.59	c  1771s| 12300 |    64 |  7988k| 498.9 |   162M |  83 |3588 |5945 |3780 |4450 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1779.66/1785.51	c  1786s| 12400 |    64 |  8058k| 500.1 |   162M |  83 |3588 |5951 |3786 |4541 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1791.03/1796.92	c  1797s| 12500 |    60 |  8110k| 500.3 |   162M |  83 |3588 |5958 |3785 |4578 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1802.29/1808.26	c  1808s| 12600 |    58 |  8164k| 500.5 |   162M |  83 |3588 |5974 |3770 |4626 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1813.74/1819.70	c  1820s| 12700 |    58 |  8218k| 500.7 |   162M |  83 |3588 |5988 |3770 |4680 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1823.80/1829.81	c  1830s| 12800 |    56 |  8264k| 500.5 |   162M |  83 |3588 |5999 |3775 |4737 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1835.66/1841.79	c  1842s| 12900 |    54 |  8319k| 500.8 |   162M |  83 |3588 |5983 |3777 |4792 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1842.13/1848.26	c  1848s| 13000 |    58 |  8354k| 499.9 |   162M |  83 |3588 |5940 |3787 |4814 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1851.20/1857.39	c  1857s| 13100 |    60 |  8399k| 499.6 |   163M |  83 |3588 |5884 |3783 |4874 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1861.26/1867.45	c  1867s| 13200 |    60 |  8447k| 499.5 |   163M |  83 |3588 |5861 |3778 |4901 |  2 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1871.72/1877.92	c  1878s| 13300 |    62 |  8497k| 499.5 |   164M |  83 |3588 |5882 |3782 |4961 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1881.39/1887.68	c  1888s| 13400 |    60 |  8543k| 499.2 |   164M |  83 |3588 |5885 |3777 |5034 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1887.87/1894.12	c  1894s| 13500 |    62 |  8574k| 498.1 |   164M |  83 |3588 |5878 |3772 |5063 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1895.75/1902.07	c  1902s| 13600 |    62 |  8610k| 497.3 |   168M |  83 |3588 |5910 |3792 |5144 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1906.30/1912.65	c  1913s| 13700 |    60 |  8657k| 497.2 |   176M |  83 |3588 |5935 |3793 |5241 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1917.27/1923.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1917.27/1923.69	c  1924s| 13800 |    60 |  8708k| 497.2 |   177M |  83 |3588 |5935 |3800 |5305 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1928.23/1934.62	c  1935s| 13900 |    58 |  8759k| 497.3 |   177M |  83 |3588 |5931 |3807 |5348 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1941.39/1947.87	c  1948s| 14000 |    60 |  8820k| 498.0 |   177M |  83 |3588 |5926 |3801 |5387 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1950.76/1957.24	c  1957s| 14100 |    58 |  8866k| 497.7 |   177M |  83 |3588 |5933 |3773 |5401 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1958.83/1965.37	c  1965s| 14200 |    60 |  8905k| 497.1 |   177M |  83 |3588 |5953 |3787 |5473 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1970.50/1977.07	c  1977s| 14300 |    60 |  8962k| 497.5 |   178M |  83 |3588 |5963 |3785 |5527 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1983.05/1989.69	c  1990s| 14400 |    64 |  9023k| 498.2 |   182M |  83 |3588 |5980 |3788 |5596 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
1993.22/1999.85	c  2000s| 14500 |    57 |  9072k| 498.1 |   182M |  83 |3588 |5979 |3771 |5625 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2004.68/2011.33	c  2011s| 14600 |    57 |  9127k| 498.4 |   183M |  83 |3588 |5988 |3789 |5666 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2017.03/2023.72	c  2024s| 14700 |    59 |  9185k| 498.9 |   183M |  83 |3588 |5988 |   0 |5711 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2028.79/2035.50	c  2036s| 14800 |    61 |  9239k| 499.1 |   184M |  83 |3588 |6013 |   0 |5763 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2041.35/2048.14	c  2048s| 14900 |    59 |  9299k| 499.6 |   185M |  83 |3588 |6004 |3775 |5813 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2051.11/2057.94	c  2058s| 15000 |    57 |  9344k| 499.4 |   185M |  83 |3588 |6003 |   0 |5851 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2060.68/2067.52	c  2068s| 15100 |    65 |  9383k| 498.8 |   185M |  83 |3588 |6012 |3793 |5882 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2072.14/2079.09	c  2079s| 15200 |    59 |  9436k| 498.9 |   186M |  83 |3588 |6043 |3785 |5960 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2085.69/2092.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2085.69/2092.69	c  2093s| 15300 |    59 |  9500k| 499.7 |   187M |  83 |3588 |6027 |3785 |6016 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2099.14/2106.11	c  2106s| 15400 |    57 |  9563k| 500.4 |   187M |  83 |3588 |6026 |3781 |6104 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2109.10/2116.11	c  2116s| 15500 |    61 |  9611k| 500.3 |   187M |  83 |3588 |6024 |3785 |6131 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2119.26/2126.30	c  2126s| 15600 |    59 |  9660k| 500.2 |   187M |  83 |3588 |6048 |3793 |6183 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2130.42/2137.59	c  2138s| 15700 |    55 |  9711k| 500.3 |   188M |  83 |3588 |6082 |3810 |6229 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2144.57/2151.73	c  2152s| 15800 |    57 |  9777k| 501.1 |   188M |  83 |3588 |6097 |3815 |6275 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2158.92/2166.17	c  2166s| 15900 |    57 |  9845k| 502.0 |   188M |  83 |3588 |6101 |3810 |6332 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2170.37/2177.62	c  2178s| 16000 |    57 |  9900k| 502.3 |   188M |  83 |3588 |6139 |3809 |6342 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2184.51/2191.89	c  2192s| 16100 |    59 |  9967k| 503.1 |   188M |  83 |3588 |6145 |3774 |6442 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2195.97/2203.31	c  2203s| 16200 |    59 | 10022k| 503.4 |   188M |  83 |3588 |6123 |3777 |6499 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2209.03/2216.47	c  2216s| 16300 |    59 | 10086k| 504.0 |   188M |  83 |3588 |6144 |3777 |6536 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2224.17/2231.64	c  2232s| 16400 |    59 | 10156k| 505.1 |   189M |  83 |3588 |6150 |3800 |6592 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2237.81/2245.34	c  2245s| 16500 |    59 | 10220k| 505.7 |   189M |  83 |3588 |6167 |3798 |6636 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2252.56/2260.16	c  2260s| 16600 |    59 | 10289k| 506.7 |   189M |  83 |3588 |6205 |3800 |6673 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2266.80/2274.44	c  2274s| 16700 |    59 | 10357k| 507.5 |   190M |  83 |3588 |6210 |3787 |6724 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2280.37/2288.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2280.37/2288.02	c  2288s| 16800 |    59 | 10420k| 508.1 |   190M |  83 |3588 |6215 |3795 |6766 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2298.10/2305.86	c  2306s| 16900 |    57 | 10502k| 509.6 |   190M |  83 |3588 |6231 |3807 |6794 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2311.84/2319.66	c  2320s| 17000 |    59 | 10566k| 510.3 |   190M |  83 |3588 |6232 |3786 |6841 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2325.89/2333.75	c  2334s| 17100 |    59 | 10631k| 510.9 |   191M |  83 |3588 |6229 |3789 |6894 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2341.33/2349.25	c  2349s| 17200 |    57 | 10701k| 511.9 |   191M |  83 |3588 |6265 |3823 |6959 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2352.10/2360.03	c  2360s| 17300 |    57 | 10750k| 511.8 |   191M |  83 |3588 |6343 |3786 |6984 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2367.14/2375.16	c  2375s| 17400 |    59 | 10820k| 512.7 |   191M |  83 |3588 |6338 |3799 |7022 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2380.89/2388.98	c  2389s| 17500 |    59 | 10884k| 513.3 |   191M |  83 |3588 |6332 |3779 |7104 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2394.83/2402.94	c  2403s| 17600 |    59 | 10947k| 513.8 |   191M |  83 |3588 |6309 |3779 |7140 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2407.39/2415.58	c  2416s| 17700 |    55 | 11008k| 514.3 |   191M |  83 |3588 |6315 |3779 |7205 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2420.24/2428.48	c  2428s| 17800 |    56 | 11070k| 514.8 |   191M |  83 |3588 |6296 |3790 |7303 |  2 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2433.69/2441.92	c  2442s| 17900 |    58 | 11134k| 515.4 |   191M |  83 |3588 |6295 |3786 |7344 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2447.14/2455.42	c  2455s| 18000 |    56 | 11199k| 516.0 |   191M |  83 |3588 |6287 |3785 |7399 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2462.28/2470.65	c  2471s| 18100 |    56 | 11271k| 516.9 |   191M |  83 |3588 |6287 |3786 |7487 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2482.41/2490.87	c  2491s| 18200 |    56 | 11367k| 519.0 |   191M |  83 |3588 |6289 |3779 |7545 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2500.14/2508.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2500.14/2508.60	c  2509s| 18300 |    56 | 11451k| 520.5 |   191M |  83 |3588 |6319 |3802 |7567 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2512.90/2521.40	c  2521s| 18400 |    54 | 11511k| 520.8 |   191M |  86 |3588 |6351 |   0 |7612 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2529.04/2537.65	c  2538s| 18500 |    56 | 11587k| 521.9 |   191M |  86 |3588 |6351 |3778 |7688 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2539.20/2547.85	c  2548s| 18600 |    56 | 11638k| 521.8 |   192M |  86 |3588 |6380 |   0 |7709 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.39%
2553.56/2562.21	c  2562s| 18700 |    56 | 11707k| 522.6 |   192M |  86 |3588 |6375 |3778 |7819 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2564.63/2573.31	c  2573s| 18800 |    54 | 11760k| 522.6 |   192M |  86 |3588 |6343 |3785 |7912 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2579.08/2587.80	c  2588s| 18900 |    56 | 11827k| 523.3 |   192M |  86 |3588 |6305 |3780 |8047 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2587.06/2595.89	c  2596s| 19000 |    55 | 11865k| 522.7 |   192M |  86 |3588 |6341 |3780 |8069 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2599.22/2608.06	c  2608s| 19100 |    53 | 11923k| 522.9 |   192M |  86 |3588 |6356 |   0 |8126 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2607.79/2616.63	c  2617s| 19200 |    59 | 11965k| 522.5 |   192M |  86 |3588 |6341 |3789 |8177 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2619.06/2627.99	c  2628s| 19300 |    61 | 12021k| 522.6 |   192M |  86 |3588 |6362 |3793 |8221 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2627.83/2636.70	c  2637s| 19400 |    56 | 12061k| 522.1 |   192M |  86 |3588 |6376 |   0 |8296 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2635.21/2644.18	c  2644s| 19500 |    58 | 12097k| 521.4 |   193M |  86 |3588 |6356 |3782 |8330 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2643.78/2652.72	c  2653s| 19600 |    58 | 12137k| 520.9 |   193M |  86 |3588 |6391 |3782 |8400 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2653.44/2662.45	c  2662s| 19700 |    58 | 12182k| 520.6 |   193M |  86 |3588 |6401 |3808 |8482 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2663.02/2672.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2663.02/2672.05	c  2672s| 19800 |    56 | 12226k| 520.2 |   193M |  86 |3588 |6454 |3794 |8539 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2672.48/2681.54	c  2682s| 19900 |    56 | 12269k| 519.8 |   193M |  86 |3588 |6454 |3813 |8597 |  3 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2681.96/2691.01	c  2691s| 20000 |    56 | 12312k| 519.5 |   193M |  86 |3588 |6496 |3806 |8666 |  2 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2691.03/2700.17	c  2700s| 20100 |    54 | 12355k| 519.1 |   194M |  86 |3588 |6514 |   0 |8749 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2701.39/2710.53	c  2711s| 20200 |    54 | 12403k| 518.9 |   195M |  86 |3588 |6506 |3767 |8808 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2710.66/2719.84	c  2720s| 20300 |    56 | 12447k| 518.6 |   195M |  86 |3588 |6476 |3777 |8854 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2720.13/2729.32	c  2729s| 20400 |    60 | 12492k| 518.3 |   195M |  86 |3588 |6471 |3776 |8878 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2729.10/2738.35	c  2738s| 20500 |    58 | 12536k| 518.0 |   195M |  86 |3588 |6467 |3776 |8961 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2738.77/2748.03	c  2748s| 20600 |    58 | 12583k| 517.7 |   195M |  86 |3588 |6509 |3780 |9046 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2749.63/2758.94	c  2759s| 20700 |    56 | 12633k| 517.7 |   195M |  86 |3588 |6506 |3797 |9084 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2761.70/2771.09	c  2771s| 20800 |    55 | 12689k| 517.8 |   195M |  86 |3588 |6530 |3787 |9160 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2772.36/2781.72	c  2782s| 20900 |    55 | 12736k| 517.7 |   195M |  86 |3588 |6547 |3779 |9227 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2785.82/2795.23	c  2795s| 21000 |    55 | 12796k| 518.0 |   195M |  86 |3588 |6592 |3804 |9334 |  2 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2801.27/2810.78	c  2811s| 21100 |    55 | 12863k| 518.6 |   196M |  86 |3588 |6615 |3810 |9400 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2814.23/2823.71	c  2824s| 21200 |    55 | 12922k| 518.9 |   196M |  86 |3588 |6597 |3770 |9457 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2823.80/2833.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2823.80/2833.32	c  2833s| 21300 |    61 | 12967k| 518.6 |   196M |  86 |3588 |6596 |3791 |9508 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2835.06/2844.61	c  2845s| 21400 |    57 | 13019k| 518.6 |   197M |  86 |3588 |6530 |3777 |9583 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2845.72/2855.34	c  2855s| 21500 |    56 | 13067k| 518.5 |   197M |  86 |3588 |6564 |3777 |9615 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2856.99/2866.69	c  2867s| 21600 |    58 | 13121k| 518.6 |   197M |  86 |3588 |6564 |3777 |9682 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2869.55/2879.28	c  2879s| 21700 |    62 | 13178k| 518.8 |   197M |  86 |3588 |6604 |3772 |9800 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2877.72/2887.48	c  2887s| 21800 |    62 | 13218k| 518.3 |   197M |  86 |3588 |6602 |3776 |9829 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2887.09/2896.82	c  2897s| 21900 |    58 | 13260k| 517.9 |   197M |  86 |3588 |6616 |3780 |9869 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2896.06/2905.84	c  2906s| 22000 |    58 | 13303k| 517.6 |   197M |  86 |3588 |6658 |3788 |9926 |  2 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2909.02/2918.87	c  2919s| 22100 |    60 | 13362k| 517.9 |   197M |  86 |3588 |6637 |3771 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2917.01/2926.88	c  2927s| 22200 |    60 | 13400k| 517.3 |   197M |  86 |3588 |6672 |3794 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2927.67/2937.53	c  2938s| 22300 |    58 | 13447k| 517.1 |   197M |  86 |3588 |6698 |3772 |  10k|  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2936.34/2946.26	c  2946s| 22400 |    58 | 13489k| 516.7 |   197M |  86 |3588 |6740 |3772 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2947.71/2957.65	c  2958s| 22500 |    58 | 13541k| 516.8 |   197M |  86 |3588 |6762 |3792 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2958.77/2968.72	c  2969s| 22600 |    59 | 13592k| 516.8 |   197M |  86 |3588 |6771 |3793 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2970.04/2980.08	c  2980s| 22700 |    57 | 13645k| 516.8 |   198M |  86 |3588 |6774 |3795 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2980.20/2990.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2980.20/2990.26	c  2990s| 22800 |    57 | 13692k| 516.6 |   199M |  86 |3588 |6776 |3801 |  10k|  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
2991.86/3002.00	c  3002s| 22900 |    55 | 13747k| 516.7 |   199M |  86 |3588 |6712 |   0 |  10k|  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3000.83/3010.91	c  3011s| 23000 |    61 | 13790k| 516.4 |   199M |  86 |3588 |6726 |3795 |  10k|  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3007.21/3017.36	c  3017s| 23100 |    59 | 13821k| 515.6 |   199M |  86 |3588 |6826 |3784 |  10k|  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3018.47/3028.66	c  3029s| 23200 |    57 | 13871k| 515.6 |   199M |  86 |3588 |6857 |   0 |  10k|  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3030.94/3041.19	c  3041s| 23300 |    57 | 13929k| 515.8 |   199M |  86 |3588 |6885 |3779 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3041.40/3051.67	c  3052s| 23400 |    55 | 13979k| 515.8 |   199M |  86 |3588 |6932 |3780 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3051.97/3062.29	c  3062s| 23500 |    55 | 14027k| 515.6 |   199M |  86 |3588 |6986 |3794 |  10k|  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3062.43/3072.76	c  3073s| 23600 |    57 | 14074k| 515.5 |   199M |  86 |3588 |6939 |   0 |  10k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3071.30/3081.63	c  3082s| 23700 |    55 | 14116k| 515.1 |   199M |  86 |3588 |6926 |3773 |  10k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3081.47/3091.82	c  3092s| 23800 |    57 | 14164k| 515.0 |   199M |  86 |3588 |6854 |3782 |  10k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3094.03/3104.45	c  3104s| 23900 |    57 | 14223k| 515.2 |   199M |  86 |3588 |6881 |3779 |  10k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3103.40/3113.80	c  3114s| 24000 |    59 | 14266k| 515.0 |   199M |  86 |3588 |6897 |3783 |  11k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3115.57/3126.04	c  3126s| 24100 |    61 | 14322k| 515.1 |   199M |  86 |3588 |6880 |3782 |  11k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3126.44/3136.95	c  3137s| 24200 |    57 | 14373k| 515.1 |   199M |  86 |3588 |6882 |3782 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3138.00/3148.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3138.00/3148.56	c  3149s| 24300 |    57 | 14424k| 515.1 |   199M |  86 |3588 |6848 |3785 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3151.05/3161.64	c  3162s| 24400 |    57 | 14481k| 515.3 |   199M |  86 |3588 |6829 |3782 |  11k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3162.91/3173.52	c  3174s| 24500 |    59 | 14534k| 515.3 |   199M |  86 |3588 |6834 |3787 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3174.48/3185.13	c  3185s| 24600 |    57 | 14584k| 515.3 |   199M |  86 |3588 |6861 |3791 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3188.03/3198.78	c  3199s| 24700 |    57 | 14643k| 515.5 |   199M |  86 |3588 |6852 |3801 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3203.39/3214.18	c  3214s| 24800 |    55 | 14710k| 516.1 |   199M |  86 |3588 |6836 |3788 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3214.65/3225.48	c  3225s| 24900 |    55 | 14763k| 516.1 |   199M |  86 |3588 |6861 |3785 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3227.31/3238.14	c  3238s| 25000 |    57 | 14820k| 516.3 |   199M |  86 |3588 |6872 |3790 |  11k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3237.18/3248.03	c  3248s| 25100 |    57 | 14864k| 516.0 |   199M |  86 |3588 |6859 |3794 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3246.94/3257.81	c  3258s| 25200 |    59 | 14909k| 515.8 |   199M |  86 |3588 |6847 |3789 |  11k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3258.60/3269.51	c  3270s| 25300 |    57 | 14962k| 515.9 |   199M |  86 |3588 |6829 |3791 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.40%
3270.86/3281.83	c  3282s| 25400 |    59 | 15018k| 516.0 |   199M |  86 |3588 |6821 |3792 |  11k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3283.13/3294.16	c  3294s| 25500 |    57 | 15073k| 516.1 |   199M |  86 |3588 |6815 |3794 |  11k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3293.49/3304.55	c  3305s| 25600 |    61 | 15122k| 516.0 |   199M |  86 |3588 |6793 |3784 |  11k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3304.75/3315.86	c  3316s| 25700 |    63 | 15176k| 516.1 |   199M |  86 |3588 |6788 |3776 |  12k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3316.52/3327.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3316.52/3327.68	c  3328s| 25800 |    63 | 15230k| 516.2 |   199M |  86 |3588 |6787 |3783 |  12k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3327.49/3338.65	c  3339s| 25900 |    65 | 15280k| 516.2 |   199M |  86 |3588 |6842 |3802 |  12k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3336.36/3347.59	c  3348s| 26000 |    63 | 15321k| 515.8 |   199M |  86 |3588 |6849 |3796 |  12k|  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3345.03/3356.29	c  3356s| 26100 |    63 | 15361k| 515.4 |   199M |  86 |3588 |6901 |3781 |  12k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3354.70/3365.96	c  3366s| 26200 |    66 | 15407k| 515.2 |   199M |  86 |3588 |6942 |3800 |  12k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3364.87/3376.19	c  3376s| 26300 |    64 | 15453k| 515.0 |   199M |  86 |3588 |6963 |3796 |  12k|  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3376.13/3387.42	c  3387s| 26400 |    64 | 15504k| 515.0 |   199M |  86 |3588 |6987 |   0 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3387.29/3398.68	c  3399s| 26500 |    64 | 15556k| 515.0 |   199M |  86 |3588 |7036 |3803 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3398.36/3409.74	c  3410s| 26600 |    64 | 15607k| 515.0 |   199M |  86 |3588 |7035 |3778 |  12k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3410.12/3421.51	c  3422s| 26700 |    62 | 15661k| 515.1 |   199M |  86 |3588 |7013 |3805 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3421.18/3432.67	c  3433s| 26800 |    62 | 15712k| 515.1 |   199M |  86 |3588 |7025 |3797 |  12k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3431.65/3443.12	c  3443s| 26900 |    60 | 15759k| 514.9 |   199M |  86 |3588 |7035 |3802 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3442.81/3454.32	c  3454s| 27000 |    60 | 15809k| 514.9 |   199M |  86 |3588 |7080 |3797 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3454.18/3465.73	c  3466s| 27100 |    63 | 15857k| 514.8 |   200M |  86 |3588 |7080 |   0 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3464.24/3475.86	c  3476s| 27200 |    64 | 15903k| 514.6 |   200M |  86 |3588 |7135 |3798 |  12k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3474.20/3485.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3474.20/3485.84	c  3486s| 27300 |    60 | 15950k| 514.5 |   200M |  86 |3588 |7113 |3779 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3486.16/3497.88	c  3498s| 27400 |    62 | 16007k| 514.6 |   200M |  86 |3588 |7071 |3789 |  12k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3497.22/3508.94	c  3509s| 27500 |    66 | 16057k| 514.6 |   200M |  86 |3588 |7113 |3790 |  12k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3507.48/3519.27	c  3519s| 27600 |    64 | 16104k| 514.4 |   200M |  86 |3588 |7098 |3796 |  13k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3518.04/3529.88	c  3530s| 27700 |    60 | 16152k| 514.3 |   200M |  86 |3588 |7104 |3793 |  13k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3528.00/3539.81	c  3540s| 27800 |    58 | 16197k| 514.1 |   200M |  86 |3588 |7089 |   0 |  13k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3540.35/3552.26	c  3552s| 27900 |    60 | 16255k| 514.3 |   200M |  86 |3588 |7049 |3784 |  13k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3553.11/3565.04	c  3565s| 28000 |    58 | 16314k| 514.6 |   200M |  86 |3588 |7053 |3784 |  13k|  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3563.77/3575.70	c  3576s| 28100 |    64 | 16362k| 514.5 |   200M |  86 |3588 |7100 |3782 |  13k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3572.04/3584.03	c  3584s| 28200 |    60 | 16401k| 514.1 |   200M |  86 |3588 |7129 |3801 |  13k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3581.41/3593.42	c  3593s| 28300 |    62 | 16442k| 513.8 |   200M |  86 |3588 |7150 |3812 |  13k|  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |   5.41%
3584.90/3597.00	c 
3584.90/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3584.90/3597.00	c Solving Time (sec) : 3597.00
3584.90/3597.00	c Solving Nodes      : 28345 (total of 31810 nodes in 2 runs)
3584.90/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3584.90/3597.00	c Dual Bound         : +0.00000000000000e+00
3584.90/3597.00	c Gap                : infinite
3584.90/3597.00	s UNKNOWN
3584.90/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3584.90/3597.00	c Total Time         :    3597.00
3584.90/3597.00	c   solving          :    3597.00
3584.90/3597.00	c   presolving       :       3.97 (included in solving)
3584.90/3597.00	c   reading          :       0.02 (included in solving)
3584.90/3597.00	c   copying          :       1.29 (108 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3584.90/3597.00	c Original Problem   :
3584.90/3597.00	c   Problem name     : HOME/instance-4447215-1721349477.opb
3584.90/3597.00	c   Variables        : 4400 (4400 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.90/3597.00	c   Constraints      : 4562 initial, 4562 maximal
3584.90/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.90/3597.00	c Presolved Problem  :
3584.90/3597.00	c   Problem name     : t_HOME/instance-4447215-1721349477.opb
3584.90/3597.00	c   Variables        : 3588 (3588 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.90/3597.00	c   Constraints      : 4598 initial, 7173 maximal
3584.90/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.90/3597.00	c   Nonzeros         : 55675 constraint, 55517 clique table
3584.90/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.90/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   domcol           :       0.05       0.00      9          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   gateextraction   :       0.03       0.00     15          0          0          0          0          0          5          1          0          0
3584.90/3597.00	c   implics          :       0.00       0.00     19          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   milp             :       0.18       0.00      1        179          4          0          0          0          0          0          0          0
3584.90/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   sparsify         :       0.07       0.00      3          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   trivial          :       0.00       0.00     36        298          0          0          0          0          0          0          0          0
3584.90/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   dualfix          :       0.00       0.00     36          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   probing          :       3.25       0.00      8        144          2          0          0          0          0          0          0          0
3584.90/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   vbounds          :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   knapsack         :       0.01       0.00     20          0          0          0          0          0          0          5         23         84
3584.90/3597.00	c   setppc           :       0.04       0.00     55          0          0          0          0          0         31          0          0          0
3584.90/3597.00	c   and              :       0.00       0.00      2          0          0          0          0          0          1          1          0          0
3584.90/3597.00	c   linear           :       0.03       0.00     25        184          1          0        184          0        679          0          6          0
3584.90/3597.00	c   logicor          :       0.25       0.01     52         27          0          0          0          0        374          0          0       1431
3584.90/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   components       :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3584.90/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.90/3597.00	c   benderslp        :          0          0          0          0      16005          0          0       1975          0          0          0          0          0          0          0
3584.90/3597.00	c   integral         :          0          0          0          0      16005          0          0       1975          0          0          0          0          0          0      32010
3584.90/3597.00	c   knapsack         :         34+        36         11     177651          0          0          0          0     103940         16      73519          0          0          0          0
3584.90/3597.00	c   setppc           :        950+      1302         22     269579          0          0          0       1970    1916916        599    1093983          2          0          0          0
3584.90/3597.00	c   linear           :         11+        39         11     202049          0          0          0          3       4231        119      26256          4          2          0          0
3584.90/3597.00	c   logicor          :       3603+      5836         22     228774          0          0          0          0    4313662       2205    1787186         19         16          0          0
3584.90/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.90/3597.00	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   integral         :       8.35       0.00       0.00       0.00       8.35       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   knapsack         :       0.70       0.00       0.04       0.64       0.00       0.00       0.00       0.00       0.03       0.00
3584.90/3597.00	c   setppc           :       2.61       0.00       0.00       2.11       0.00       0.00       0.00       0.02       0.47       0.01
3584.90/3597.00	c   linear           :       0.20       0.00       0.00       0.19       0.00       0.00       0.00       0.00       0.01       0.00
3584.90/3597.00	c   logicor          :       7.30       0.01       0.01       5.52       0.00       0.00       0.00       0.00       1.75       0.01
3584.90/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.90/3597.00	c   dualfix          :          2          0          0          0
3584.90/3597.00	c   genvbounds       :          0          0          0          0
3584.90/3597.00	c   nlobbt           :          0          0          0          0
3584.90/3597.00	c   obbt             :          0          0          0          0
3584.90/3597.00	c   probing          :          0          0          0          0
3584.90/3597.00	c   pseudoobj        :          0          0          0          0
3584.90/3597.00	c   redcost          :          0          0          0          0
3584.90/3597.00	c   rootredcost      :          0          0          0          0
3584.90/3597.00	c   symmetry         :      23533          0         27         78
3584.90/3597.00	c   vbounds          :     146187          0          0          0
3584.90/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.90/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3584.90/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.00	c   probing          :       3.25       0.00       3.25       0.00       0.00       0.00
3584.90/3597.00	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3584.90/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3584.90/3597.00	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3584.90/3597.00	c   symmetry         :       0.15       0.00       0.02       0.13       0.00       0.00
3584.90/3597.00	c   vbounds          :       1.37       0.00       0.01       1.36       0.00       0.00
3584.90/3597.00	c Symmetry           :
3584.90/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.90/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.90/3597.00	c   lexicographic red:         78 reductions applied,         27 cutoffs
3584.90/3597.00	c   shadow tree time :       0.05 s
3584.90/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.90/3597.00	c   propagation      :       1.30       2820       2575          -      18036      137.0        394       46.4          -          -          -
3584.90/3597.00	c   infeasible LP    :      14.21      13179       2224          -      44045      721.5         74       31.4        160      301.3          0
3584.90/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.90/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.90/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.90/3597.00	c   applied globally :       0.78          -          -          0      15647      124.6          -          -        131          -          -
3584.90/3597.00	c   applied locally  :          -          -          -          0         43      721.0          -          -         29          -          -
3584.90/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.90/3597.00	c   cut pool         :       2.75          -       3797         42          -          -       7197     315127          -          -          -          -          -    (maximal pool size:       1387)
3584.90/3597.00	c   aggregation      :       0.41       0.00        657         22          0          0          4        210          0         39         39          0          0
3584.90/3597.00	c   > cmir           :          -          -          -          -          -          -          -        210          0         39         39          0          -
3584.90/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.90/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.90/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   clique           :       0.39       0.00         22         22          0          0        152        357          0        153        153          0          0
3584.90/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   gomory           :      19.99       0.00        656         20          0          0       9834     305117       3247       8367       8220        147          0
3584.90/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -     126166       1631       4428       4328        100          -
3584.90/3597.00	c   > strongcg       :          -          -          -          -          -          -          -     178951       1616       3939       3892         47          -
3584.90/3597.00	c   impliedbounds    :       0.58       0.00        658         22          0          0        182       1171          0        575        575          0          0
3584.90/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   multilinear      :       0.00       0.00        210         22          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   rapidlearning    :       9.67       0.00        100          2          0       5552          0          0          0          0          0          0        252
3584.90/3597.00	c   rlt              :       0.00       0.00        412         20          0          0          0          0          0          0          0          0          0
3584.90/3597.00	c   zerohalf         :       6.45       0.00        657         22          0          0       1752       8272       1480       5527       4158       1369          0
3584.90/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.90/3597.00	c   hybrid           :       0.78       0.00       3097         22      14667         15     304886        189          0        207
3584.90/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.90/3597.00	c   problem variables:       0.00          -          0          0
3584.90/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.00/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c   relpscost        :       8.33       0.00      16005          0          0          0          0          0          0      32010
3585.00/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.00/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.00/3597.00	c   LP solutions     :       0.00          -          -          0          0
3585.00/3597.00	c   relax solutions  :       0.00          -          -          0          0
3585.00/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3585.00/3597.00	c   strong branching :       0.00          -          -          0          0
3585.00/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3585.00/3597.00	c   adaptivediving   :      16.05       0.00          8          0          0
3585.00/3597.00	c   alns             :       2.67       0.00          6          0          0
3585.00/3597.00	c   bound            :       0.00       0.00          0          0          0
3585.00/3597.00	c   clique           :       0.01       0.00          1          0          0
3585.00/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3585.00/3597.00	c   completesol      :       0.00       0.00          0          0          0
3585.00/3597.00	c   conflictdiving   :      22.49       0.00          5          0          0
3585.00/3597.00	c   crossover        :       0.01       0.00          0          0          0
3585.00/3597.00	c   dins             :       0.00       0.00          0          0          0
3585.00/3597.00	c   distributiondivin:       7.19       0.00          5          0          0
3585.00/3597.00	c   dps              :       0.00       0.00          0          0          0
3585.00/3597.00	c   dualval          :       0.00       0.00          0          0          0
3585.00/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3585.00/3597.00	c   feasjump         :       0.02       0.00          2          0          0
3585.00/3597.00	c   feaspump         :       8.68       0.00          3          0          0
3585.00/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3585.00/3597.00	c   fracdiving       :       8.60       0.00          5          0          0
3585.00/3597.00	c   gins             :       0.00       0.00          0          0          0
3585.00/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3585.00/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.00/3597.00	c   indicator        :       0.01       0.00          0          0          0
3585.00/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3585.00/3597.00	c   indoneopt        :       0.01       0.00          0          0          0
3585.00/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3585.00/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3585.00/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3585.00/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3585.00/3597.00	c   linesearchdiving :      16.15       0.00          5          0          0
3585.00/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3585.00/3597.00	c   locks            :       0.00       0.00          1          0          0
3585.00/3597.00	c   lpface           :       0.10       0.00          0          0          0
3585.00/3597.00	c   mpec             :       0.00       0.00          0          0          0
3585.00/3597.00	c   multistart       :       0.00       0.00          0          0          0
3585.00/3597.00	c   mutation         :       0.00       0.00          0          0          0
3585.00/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3585.00/3597.00	c   objpscostdiving  :     132.83       0.00          2          0          0
3585.00/3597.00	c   octane           :       0.00       0.00          0          0          0
3585.00/3597.00	c   ofins            :       0.01       0.00          0          0          0
3585.00/3597.00	c   oneopt           :       0.01       0.00          0          0          0
3585.00/3597.00	c   padm             :       0.00       0.00          0          0          0
3585.00/3597.00	c   proximity        :       0.00       0.00          0          0          0
3585.00/3597.00	c   pscostdiving     :      16.56       0.00          5          0          0
3585.00/3597.00	c   randrounding     :       0.38       0.00       1985          0          0
3585.00/3597.00	c   rens             :       0.12       0.00          2          0          0
3585.00/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3585.00/3597.00	c   repair           :       0.00       0.00          0          0          0
3585.00/3597.00	c   rins             :       0.01       0.00          0          0          0
3585.00/3597.00	c   rootsoldiving    :      18.46       0.00          3          0          0
3585.00/3597.00	c   rounding         :       0.23       0.00       1928          0          0
3585.00/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3585.00/3597.00	c   shiftandpropagate:       0.04       0.00          2          0          0
3585.00/3597.00	c   shifting         :       0.57       0.00        873          0          0
3585.00/3597.00	c   simplerounding   :       0.01       0.00          0          0          0
3585.00/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3585.00/3597.00	c   subnlp           :       0.01       0.00          0          0          0
3585.00/3597.00	c   trivial          :       0.00       0.00          4          0          0
3585.00/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3585.00/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3585.00/3597.00	c   trysol           :       0.01       0.00          0          0          0
3585.00/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3585.00/3597.00	c   undercover       :       0.00       0.00          0          0          0
3585.00/3597.00	c   vbounds          :       0.02       0.00          2          0          0
3585.00/3597.00	c   veclendiving     :       7.12       0.00          5          0          0
3585.00/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3585.00/3597.00	c   zirounding       :       0.04       0.00       1000          0          0
3585.00/3597.00	c   other solutions  :          -          -          -          0          -
3585.00/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
3585.00/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
3585.00/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
3585.00/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
3585.00/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
3585.00/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
3585.00/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
3585.00/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
3585.00/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
3585.00/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
3585.00/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.00/3597.00	c   primal LP        :       2.56       1332          0       0.00       0.00       2.56       1332
3585.00/3597.00	c   dual LP          :    3231.98      32319   15646092     484.26    4841.03       0.01         10
3585.00/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3585.00/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.00/3597.00	c   resolve instable :       0.33          5        824     164.80    2465.78
3585.00/3597.00	c   diving/probing LP:     251.94       1338     812566     607.30    3225.18
3585.00/3597.00	c   strong branching :       5.12         22      14637     665.32    2858.08          -          -         23
3585.00/3597.00	c     (at root node) :          -         22      14637     665.32          -
3585.00/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3585.00/3597.00	c B&B Tree           :
3585.00/3597.00	c   number of runs   :          2
3585.00/3597.00	c   nodes            :      28345 (14232 internal, 14113 leaves)
3585.00/3597.00	c   feasible leaves  :          0
3585.00/3597.00	c   infeas. leaves   :      14112
3585.00/3597.00	c   objective leaves :          0
3585.00/3597.00	c   nodes (total)    :      31810 (16005 internal, 15805 leaves)
3585.00/3597.00	c   nodes left       :         60
3585.00/3597.00	c   max depth        :         86
3585.00/3597.00	c   max depth (total):         86
3585.00/3597.00	c   backtracks       :       3264 (11.5%)
3585.00/3597.00	c   early backtracks :          0 (0.0%)
3585.00/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3585.00/3597.00	c   delayed cutoffs  :         61
3585.00/3597.00	c   repropagations   :      11271 (40545 domain reductions, 51 cutoffs)
3585.00/3597.00	c   avg switch length:       3.06
3585.00/3597.00	c   switching time   :       8.25
3585.00/3597.00	c Root Node          :
3585.00/3597.00	c   First LP value   : +0.00000000000000e+00
3585.00/3597.00	c   First LP Iters   :      10208 (4422.63 Iter/sec)
3585.00/3597.00	c   First LP Time    :       2.31
3585.00/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3585.00/3597.00	c   Final Root Iters :     124119
3585.00/3597.00	c   Root LP Estimate : +2.72872886240691e-02
3585.00/3597.00	c Solution           :
3585.00/3597.00	c   Solutions found  :          0 (0 improvements)
3585.00/3597.00	c   Primal Bound     :          -
3585.00/3597.00	c   Dual Bound       : +0.00000000000000e+00
3585.00/3597.00	c   Gap              :   infinite
3585.00/3597.00	c Integrals          :      Total       Avg%
3585.00/3597.00	c   primal-dual      :  359699.84     100.00
3585.00/3597.00	c   primal-ref       :          -          - (not evaluated)
3585.00/3597.00	c   dual-ref         :          -          - (not evaluated)
3585.00/3597.05	c Time complete: 3585.06.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447215-1721349477/watcher-4447215-1721349477 -o /tmp/evaluation-result-4447215-1721349477/solver-4447215-1721349477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721342295-1010591 --watchdog 3760 pbscip -f HOME/instance-4447215-1721349477.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=1014714, runsolver pid=1014710

[startup+0.105638 s]*
/proc/loadavg: 4.08 4.10 4.09 6/256 1014734
/proc/meminfo: memFree=123423360/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=81732 memory=42044 CPUtime=0.1 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 7704 0 0 0 9 1 0 0 20 0 1 0 187113088 83693568 10511 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 20433 10511 3628 3540 0 8690 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 42044 KiB

[startup+0.20553 s]*
/proc/loadavg: 4.08 4.10 4.09 5/256 1014734
/proc/meminfo: memFree=123409528/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=81732 memory=42044 CPUtime=0.2 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 7704 0 0 0 19 1 0 0 20 0 1 0 187113088 83693568 10511 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 20433 10511 3628 3540 0 8690 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 42044 KiB

[startup+0.305659 s]*
/proc/loadavg: 4.08 4.10 4.09 5/256 1014734
/proc/meminfo: memFree=123375144/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=92548 memory=51208 CPUtime=0.3 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 10177 0 0 0 29 1 0 0 20 0 1 0 187113088 94769152 12802 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 23137 12802 3724 3540 0 11394 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 92548 KiB
Current children cumulated memory: 51208 KiB

[startup+0.70022 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1014734
/proc/meminfo: memFree=123369908/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=98136 memory=56752 CPUtime=0.68 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 11588 0 0 0 67 1 0 0 20 0 1 0 187113088 100491264 14188 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 24534 14188 3740 3540 0 12791 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98136 KiB
Current children cumulated memory: 56752 KiB

[startup+1.50022 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1014734
/proc/meminfo: memFree=123363944/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=98760 memory=57280 CPUtime=1.48 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 11713 0 0 0 147 1 0 0 20 0 1 0 187113088 101130240 14320 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 24690 14320 3740 3540 0 12947 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98760 KiB
Current children cumulated memory: 57280 KiB

[startup+3.10535 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1014734
/proc/meminfo: memFree=123320104/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=98760 memory=57280 CPUtime=3.08 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 11713 0 0 0 307 1 0 0 20 0 1 0 187113088 101130240 14320 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 24690 14320 3740 3540 0 12947 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 98760 KiB
Current children cumulated memory: 57280 KiB

[startup+6.30019 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 1014734
/proc/meminfo: memFree=123299704/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=120096 memory=73896 CPUtime=6.27 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 16529 0 0 0 625 2 0 0 20 0 1 0 187113088 122978304 18474 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 30024 18474 3964 3540 0 18281 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120096 KiB
Current children cumulated memory: 73896 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.11 4.09 5/256 1014735
/proc/meminfo: memFree=123260252/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=121200 memory=74424 CPUtime=12.65 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 16718 0 0 0 1263 2 0 0 20 0 1 0 187113088 124108800 18606 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 30300 18606 3964 3540 0 18557 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 121200 KiB
Current children cumulated memory: 74424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 1014737
/proc/meminfo: memFree=123154076/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=159312 memory=110932 CPUtime=25.41 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 28267 0 0 0 2537 4 0 0 20 0 1 0 187113088 163135488 27733 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 39828 27733 4011 3540 0 28085 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 159312 KiB
Current children cumulated memory: 110932 KiB

[startup+51.1053 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 1014742
/proc/meminfo: memFree=123120664/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=161712 memory=115456 CPUtime=50.93 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 33763 0 0 0 5088 5 0 0 20 0 1 0 187113088 165593088 28864 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 40428 28864 4011 3540 0 28685 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 115456 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 1014751
/proc/meminfo: memFree=123105004/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=163996 memory=120084 CPUtime=101.95 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 35449 0 0 0 10189 6 0 0 20 0 1 0 187113088 167931904 30021 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 40999 30021 4011 3540 0 29256 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 163996 KiB
Current children cumulated memory: 120084 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 1014767
/proc/meminfo: memFree=123038676/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=191424 memory=153032 CPUtime=161.75 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 42428 0 0 0 16168 7 0 0 20 0 1 0 187113088 196018176 38258 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 47856 38258 4011 3540 0 36113 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 191424 KiB
Current children cumulated memory: 153032 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 1014777
/proc/meminfo: memFree=122988808/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=198176 memory=158636 CPUtime=221.56 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 43911 0 0 0 22148 8 0 0 20 0 1 0 187113088 202932224 39659 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 49544 39659 4011 3540 0 37801 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 198176 KiB
Current children cumulated memory: 158636 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1014787
/proc/meminfo: memFree=122944048/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=204288 memory=165976 CPUtime=281.37 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 45807 0 0 0 28129 8 0 0 20 0 1 0 187113088 209190912 41494 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 51072 41494 4011 3540 0 39329 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 204288 KiB
Current children cumulated memory: 165976 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1014798
/proc/meminfo: memFree=122939200/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=204288 memory=165976 CPUtime=341.18 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 45856 0 0 0 34109 9 0 0 20 0 1 0 187113088 209190912 41494 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 51072 41494 4011 3540 0 39329 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 204288 KiB
Current children cumulated memory: 165976 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1014809
/proc/meminfo: memFree=122925056/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=209744 memory=171392 CPUtime=400.99 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 47268 0 0 0 40090 9 0 0 20 0 1 0 187113088 214777856 42848 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 52436 42848 4011 3540 0 40693 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 209744 KiB
Current children cumulated memory: 171392 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 1014819
/proc/meminfo: memFree=122908116/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=224060 memory=185448 CPUtime=460.81 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 52885 0 0 0 46070 11 0 0 20 0 1 0 187113088 229437440 46362 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 56015 46362 4011 3540 0 44272 0

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

/proc/loadavg: 4.11 4.10 4.09 5/259 1016567
/proc/meminfo: memFree=122805256/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=276680 memory=238900 CPUtime=3151.75 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 70924 0 0 0 315150 25 0 0 20 0 1 0 187113088 283320320 59725 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 69170 59725 4200 3540 0 57427 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 276680 KiB
Current children cumulated memory: 238900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 1016577
/proc/meminfo: memFree=122802228/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=276680 memory=238900 CPUtime=3211.56 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 71022 0 0 0 321131 25 0 0 20 0 1 0 187113088 283320320 59725 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 69170 59725 4200 3540 0 57427 0
Current children cumulated CPU time: 3211.56 s
Current children cumulated vsize: 276680 KiB
Current children cumulated memory: 238900 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 1016587
/proc/meminfo: memFree=122801576/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=276680 memory=238900 CPUtime=3271.36 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 71119 0 0 0 327111 25 0 0 20 0 1 0 187113088 283320320 59725 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 69170 59725 4200 3540 0 57427 0
Current children cumulated CPU time: 3271.36 s
Current children cumulated vsize: 276680 KiB
Current children cumulated memory: 238900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1016598
/proc/meminfo: memFree=122799068/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=276680 memory=238900 CPUtime=3331.17 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 71218 0 0 0 333091 26 0 0 20 0 1 0 187113088 283320320 59725 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 69170 59725 4200 3540 0 57427 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 276680 KiB
Current children cumulated memory: 238900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1016610
/proc/meminfo: memFree=122776324/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=276680 memory=238900 CPUtime=3390.98 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 71316 0 0 0 339072 26 0 0 20 0 1 0 187113088 283320320 59725 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 69170 59725 4200 3540 0 57427 0
Current children cumulated CPU time: 3390.98 s
Current children cumulated vsize: 276680 KiB
Current children cumulated memory: 238900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/255 1016621
/proc/meminfo: memFree=122762784/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251800 CPUtime=3450.79 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74688 0 0 0 345052 27 0 0 20 0 1 0 187113088 298266624 62950 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62950 4200 3540 0 61076 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1016632
/proc/meminfo: memFree=122760404/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3510.57 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74787 0 0 0 351030 27 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1016644
/proc/meminfo: memFree=122759792/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3570.34 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 357007 27 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3570.34 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

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

# cumulated CPU time of all completed processes:  user=3584.78 s, system=0.283636 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 1016644
/proc/meminfo: memFree=122759796/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3572.04 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 357177 27 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 1016645
/proc/meminfo: memFree=122759744/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3578.41 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 357814 27 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3578.41 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 1016645
/proc/meminfo: memFree=122759744/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3581.61 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 358133 28 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3581.61 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1016645
/proc/meminfo: memFree=122759744/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3583.2 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 358292 28 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3583.2 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 1016645
/proc/meminfo: memFree=122759744/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3584 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 358372 28 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3584 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1016645
/proc/meminfo: memFree=122759744/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3584.8 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 358452 28 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3584.8 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

[startup+3597 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 1016647
/proc/meminfo: memFree=122759548/131524600 swapFree=131071996/131071996
[pid=1014714] ppid=1014710 vsize=291276 memory=251976 CPUtime=3585 cores=0,2
/proc/1014714/stat : 1014714 (pbscip) R 1014710 1014714 1010581 0 -1 4194304 74886 0 0 0 358472 28 0 0 20 0 1 0 187113088 298266624 62994 134679101440 4194304 18693293 140726259576464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40935424 140726259581954 140726259582053 140726259582053 140726259589070 0
/proc/1014714/statm: 72819 62994 4200 3540 0 61076 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 291276 KiB
Current children cumulated memory: 251976 KiB

Child status: 0

Real time (s): 3597.06
CPU time (s): 3585.06
CPU user time (s): 3584.78
CPU system time (s): 0.283636
CPU usage (%): 99.6664
Max. virtual memory (cumulated for all children) (KiB): 291276
Max. memory (cumulated for all children) (KiB): 251976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.78
system time used= 0.283636
maximum resident set size= 251976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74894
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= 47
involuntary context switches= 24565


# summary of solver processes directly reported to runsolver:
#   pid: 1014714
#   total CPU time (s): 3585.06
#   total CPU user time (s): 3584.78
#   total CPU system time (s): 0.283636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6016 second user time and 15.1209 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-19 02:38:10
IDJOB=4447215
IDBENCH=158372
IDSOLVER=3059
FILE ID=nodeC025/4447215-1721349477
RUNJOBID= nodeC025-1721342295-1010591
SLURM_JOB_ID= 7542740
Free space on /tmp= 890016 MiB

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

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

MD5SUM BENCH= bc14cc3bb42aaf8e1259e2bb8ce475fb
RANDOM SEED=979661098

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123522528 kB
MemAvailable:   129610456 kB
Buffers:          533236 kB
Cached:          6316464 kB
SwapCached:            0 kB
Active:          1093504 kB
Inactive:        6135316 kB
Active(anon):       1472 kB
Inactive(anon):   414388 kB
Active(file):    1092032 kB
Inactive(file):  5720928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             72612 kB
Writeback:            20 kB
AnonPages:        375836 kB
Mapped:           106752 kB
Shmem:             37720 kB
KReclaimable:     229228 kB
Slab:             357252 kB
SReclaimable:     229228 kB
SUnreclaim:       128024 kB
KernelStack:        3900 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     857072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70624 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC025 at 2024-07-19 03:38:07