Trace number 4485009

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13SAT-41 3588 3597.27

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUMa3f6b61db250b51897503d5946a188dc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark432.391
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4485009-1751308612.opb>
0.00/0.08	c original problem has 945 variables (945 bin, 0 int, 0 cont) and 58245 constraints
0.00/0.08	c problem read in 0.080 seconds
0.10/0.15	o 0
0.10/0.15	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.10/0.15	c presolving:
0.20/0.27	c    (0.3s) running MILP presolver
0.30/0.34	c    (0.3s) MILP presolver found nothing
0.40/0.44	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 0 impls, 58245 clqs
0.69/0.74	c    (0.7s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.74	c    (0.7s) probing aborted: 50/50 successive totally useless probings
1.09/1.14	c    (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.16	c    (1.2s) no symmetry present (symcode time: 0.01)
1.09/1.17	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.09/1.17	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.17	c  0 implications, 58245 cliques
1.09/1.17	c presolved problem has 945 variables (945 bin, 0 int, 0 cont) and 58245 constraints
1.09/1.17	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.09/1.17	c   58245 constraints of type <setppc>
1.09/1.17	c transformed objective value is always integral (scale: 1)
1.09/1.17	c Presolving Time: 1.03
1.09/1.17	c 
1.09/1.17	c - non default parameters ----------------------------------------------------------------------
1.09/1.17	c 
1.09/1.17	c # SCIP version 10.0.0
1.09/1.17	c 
1.09/1.17	c # maximal time in seconds to run
1.09/1.17	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.17	c limits/time = 3596.998362
1.09/1.17	c 
1.09/1.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.17	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.17	c limits/memory = 27900
1.09/1.17	c 
1.09/1.17	c # belongs reading time to solving time?
1.09/1.17	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.17	c timing/reading = TRUE
1.09/1.17	c 
1.09/1.17	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
1.09/1.17	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.09/1.17	c reading/opbreader/maxintsize = 47
1.09/1.17	c 
1.09/1.17	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.09/1.17	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.09/1.17	c propagating/genvbounds/timingmask = 0
1.09/1.17	c 
1.09/1.17	c -----------------------------------------------------------------------------------------------
1.09/1.17	c transformed 1/1 original solutions to the transformed problem space
1.09/1.17	c 
1.18/1.28	o -28
1.18/1.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.18/1.28	c p 1.3s|     1 |     0 |     0 |     - |  clique|   0 | 945 |  58k|  58k|   0 |  0 |   0 |   0 |-9.450000e+02 |-2.800000e+01 |3275.00%| unknown
1.39/1.45	o -31
1.39/1.45	c p 1.4s|     1 |     0 |     0 |     - | vbounds|   0 | 945 |  58k|  58k|   0 |  0 |   0 |   0 |-9.450000e+02 |-3.100000e+01 |2948.39%| unknown
1.68/1.71	c   1.7s|     1 |     0 |   945 |     - |   317M |   0 | 945 |  58k|  58k|   0 |  0 |   0 |   0 |-4.725000e+02 |-3.100000e+01 |1424.19%| unknown
2.19/2.29	c   2.3s|     1 |     0 |  1144 |     - |   334M |   0 | 945 |  58k|  58k|  11 |  1 |   0 |   0 |-4.405000e+02 |-3.100000e+01 |1320.97%| unknown
3.48/3.59	c   3.6s|     1 |     0 |  1274 |     - |   341M |   0 | 945 |  58k|  58k|  29 |  2 |   0 |   0 |-4.150000e+02 |-3.100000e+01 |1238.71%| unknown
5.27/5.36	c   5.4s|     1 |     0 |  1423 |     - |   348M |   0 | 945 |  58k|  58k|  48 |  3 |   0 |   0 |-3.900000e+02 |-3.100000e+01 |1158.06%| unknown
7.57/7.63	c   7.6s|     1 |     0 |  1609 |     - |   354M |   0 | 945 |  58k|  58k|  73 |  4 |   0 |   0 |-3.625000e+02 |-3.100000e+01 |1069.35%| unknown
8.46/8.54	c   8.5s|     1 |     0 |  2011 |     - |   361M |   0 | 945 |  58k|  58k|  98 |  5 |   0 |   0 |-3.365000e+02 |-3.100000e+01 | 985.48%| unknown
8.97/9.08	c   9.1s|     1 |     0 |  2491 |     - |   368M |   0 | 945 |  58k|  58k| 125 |  6 |   0 |   0 |-3.140000e+02 |-3.100000e+01 | 912.90%| unknown
9.56/9.60	c   9.6s|     1 |     0 |  3095 |     - |   374M |   0 | 945 |  58k|  58k| 150 |  7 |   0 |   0 |-2.867500e+02 |-3.100000e+01 | 825.00%| unknown
10.06/10.19	c  10.2s|     1 |     0 |  3991 |     - |   381M |   0 | 945 |  58k|  58k| 180 |  8 |   0 |   0 |-2.657500e+02 |-3.100000e+01 | 757.26%| unknown
10.66/10.74	c  10.7s|     1 |     0 |  4822 |     - |   389M |   0 | 945 |  58k|  58k| 208 |  9 |   0 |   0 |-2.347500e+02 |-3.100000e+01 | 657.26%| unknown
11.07/11.17	c  11.2s|     1 |     0 |  5457 |     - |   396M |   0 | 945 |  58k|  58k| 245 | 10 |   0 |   0 |-2.112500e+02 |-3.100000e+01 | 581.45%| unknown
11.36/11.47	c  11.5s|     1 |     0 |  6204 |     - |   402M |   0 | 945 |  58k|  58k| 271 | 11 |   0 |   0 |-1.812500e+02 |-3.100000e+01 | 484.68%| unknown
11.86/11.95	c  12.0s|     1 |     0 |  7742 |     - |   408M |   0 | 945 |  58k|  58k| 293 | 12 |   0 |   0 |-1.628333e+02 |-3.100000e+01 | 425.27%| unknown
12.16/12.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
12.16/12.23	c  12.2s|     1 |     0 |  8417 |     - |   415M |   0 | 945 |  58k|  58k| 321 | 13 |   0 |   0 |-1.460833e+02 |-3.100000e+01 | 371.24%| unknown
12.46/12.51	c  12.5s|     1 |     0 |  9174 |     - |   421M |   0 | 945 |  58k|  58k| 347 | 14 |   0 |   0 |-1.371667e+02 |-3.100000e+01 | 342.47%| unknown
12.75/12.89	c  12.9s|     1 |     0 | 10342 |     - |   427M |   0 | 945 |  58k|  58k| 368 | 15 |   0 |   0 |-1.167917e+02 |-3.100000e+01 | 276.75%| unknown
13.06/13.12	c  13.1s|     1 |     0 | 11019 |     - |   432M |   0 | 945 |  58k|  58k| 385 | 16 |   0 |   0 |-1.025000e+02 |-3.100000e+01 | 230.65%| unknown
13.15/13.23	c  13.2s|     1 |     0 | 11212 |     - |   438M |   0 | 945 |  58k|  58k| 402 | 17 |   0 |   0 |-9.481250e+01 |-3.100000e+01 | 205.85%| unknown
13.25/13.35	c  13.4s|     1 |     0 | 11443 |     - |   444M |   0 | 945 |  58k|  58k| 413 | 18 |   0 |   0 |-8.317241e+01 |-3.100000e+01 | 168.30%| unknown
13.35/13.44	c  13.4s|     1 |     0 | 11668 |     - |   450M |   0 | 945 |  58k|  58k| 426 | 19 |   0 |   0 |-7.458333e+01 |-3.100000e+01 | 140.59%| unknown
13.55/13.63	c  13.6s|     1 |     0 | 12356 |     - |   456M |   0 | 945 |  58k|  58k| 438 | 20 |   0 |   0 |-6.108333e+01 |-3.100000e+01 |  97.04%| unknown
13.65/13.70	c  13.7s|     1 |     0 | 12413 |     - |   456M |   0 | 945 |  58k|  58k| 442 | 21 |   0 |   0 |-5.408333e+01 |-3.100000e+01 |  74.46%| unknown
13.65/13.77	c  13.8s|     1 |     0 | 12457 |     - |   456M |   0 | 945 |  58k|  58k| 445 | 22 |   0 |   0 |-4.800000e+01 |-3.100000e+01 |  54.84%| unknown
13.75/13.84	c  13.8s|     1 |     0 | 12496 |     - |   457M |   0 | 945 |  58k|  58k| 448 | 23 |   0 |   0 |-4.783333e+01 |-3.100000e+01 |  54.30%| unknown
13.85/13.90	c  13.9s|     1 |     0 | 12533 |     - |   457M |   0 | 945 |  58k|  58k| 452 | 24 |   0 |   0 |-4.700000e+01 |-3.100000e+01 |  51.61%| unknown
13.85/13.97	c  14.0s|     1 |     0 | 12572 |     - |   457M |   0 | 945 |  58k|  58k| 456 | 25 |   0 |   0 |-4.700000e+01 |-3.100000e+01 |  51.61%| unknown
13.95/14.03	c  14.0s|     1 |     0 | 12598 |     - |   458M |   0 | 945 |  58k|  58k| 459 | 26 |   0 |   0 |-4.700000e+01 |-3.100000e+01 |  51.61%| unknown
13.95/14.08	c  14.1s|     1 |     0 | 12632 |     - |   458M |   0 | 945 |  58k|  58k| 462 | 27 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
14.06/14.14	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
14.06/14.14	c  14.1s|     1 |     0 | 12657 |     - |   459M |   0 | 945 |  58k|  58k| 466 | 28 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
14.16/14.20	c  14.2s|     1 |     0 | 12685 |     - |   459M |   0 | 945 |  58k|  58k| 470 | 29 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
14.16/14.25	c  14.3s|     1 |     0 | 12711 |     - |   459M |   0 | 945 |  58k|  58k| 475 | 30 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
14.26/14.30	c  14.3s|     1 |     0 | 12754 |     - |   460M |   0 | 945 |  58k|  58k| 480 | 31 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
14.26/14.36	c  14.4s|     1 |     0 | 12787 |     - |   460M |   0 | 945 |  58k|  58k| 486 | 32 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
14.36/14.43	c  14.4s|     1 |     0 | 12833 |     - |   461M |   0 | 945 |  58k|  58k| 495 | 33 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
14.36/14.49	c  14.5s|     1 |     0 | 12866 |     - |   461M |   0 | 945 |  58k|  58k| 499 | 34 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
14.46/14.57	c  14.6s|     1 |     0 | 12926 |     - |   462M |   0 | 945 |  58k|  58k| 504 | 35 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
14.56/14.64	c  14.6s|     1 |     0 | 12994 |     - |   462M |   0 | 945 |  58k|  58k| 512 | 36 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
14.66/14.70	c  14.7s|     1 |     0 | 13062 |     - |   462M |   0 | 945 |  58k|  58k| 520 | 37 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
14.66/14.78	c  14.8s|     1 |     0 | 13127 |     - |   463M |   0 | 945 |  58k|  58k| 526 | 38 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
14.75/14.85	c  14.9s|     1 |     0 | 13187 |     - |   463M |   0 | 945 |  58k|  58k| 534 | 39 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
14.85/14.93	c  14.9s|     1 |     0 | 13260 |     - |   464M |   0 | 945 |  58k|  58k| 540 | 40 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
14.96/15.02	c  15.0s|     1 |     0 | 13336 |     - |   465M |   0 | 945 |  58k|  58k| 549 | 41 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
14.96/15.09	c  15.1s|     1 |     0 | 13399 |     - |   465M |   0 | 945 |  58k|  58k| 557 | 42 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
15.05/15.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.05/15.17	c  15.2s|     1 |     0 | 13457 |     - |   465M |   0 | 945 |  58k|  58k| 564 | 43 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
15.15/15.25	c  15.3s|     1 |     0 | 13516 |     - |   466M |   0 | 945 |  58k|  58k| 572 | 44 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
15.25/15.33	c  15.3s|     1 |     0 | 13570 |     - |   466M |   0 | 945 |  58k|  58k| 581 | 45 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
15.35/15.41	c  15.4s|     1 |     0 | 13628 |     - |   467M |   0 | 945 |  58k|  58k| 589 | 46 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
15.45/15.50	c  15.5s|     1 |     0 | 13675 |     - |   467M |   0 | 945 |  58k|  58k| 598 | 47 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
19.44/19.58	c  19.6s|     1 |     2 | 13685 |     - |   467M |   0 | 945 |  58k|  58k| 598 | 47 |   0 |  21 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
32.50/32.64	o -33
32.50/32.64	c d32.6s|    23 |    24 | 15536 |  84.6 |pscostdi|  13 | 945 |  58k|  58k|   0 |  1 |   0 | 194 |-4.533333e+01 |-3.300000e+01 |  37.37%| unknown
32.50/32.65	o -34
32.50/32.65	c d32.6s|    23 |    24 | 15538 |  84.7 |pscostdi|  13 | 945 |  58k|  58k|   0 |  1 |   0 | 194 |-4.533333e+01 |-3.400000e+01 |  33.33%| unknown
38.89/39.01	o -35
38.89/39.01	c d39.0s|    47 |    48 | 17636 |  86.1 |conflict|  13 | 945 |  58k|  58k|   0 |  1 |   3 | 232 |-4.533333e+01 |-3.500000e+01 |  29.52%| unknown
79.96/80.29	c  80.3s|   100 |    93 | 23060 |  94.8 |   583M |  19 | 945 |  58k|  58k| 864 |  4 |   5 |1098 |-4.533333e+01 |-3.500000e+01 |  29.52%| unknown
80.96/81.21	o -36
80.96/81.21	c *81.2s|   105 |    93 | 23261 |  92.2 |    LP  |  21 | 945 |  58k|  58k| 868 |  1 |   5 |1130 |-4.533333e+01 |-3.600000e+01 |  25.93%| unknown
111.97/112.39	c   112s|   200 |   170 | 30030 |  82.2 |   612M |  21 | 945 |  58k|  58k|1037 |  0 |  15 |1714 |-4.533333e+01 |-3.600000e+01 |  25.93%| unknown
132.52/132.94	c   133s|   300 |   250 | 36834 |  77.5 |   628M |  22 | 945 |  58k|  58k|1203 |  1 |  15 |1847 |-4.533333e+01 |-3.600000e+01 |  25.93%| unknown
133.02/133.46	o -38
133.02/133.46	c L 133s|   305 |   217 | 37091 |  77.0 |    rins|  22 | 945 |  58k|  58k|1204 |  2 |  15 |1857 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
150.08/150.51	c   151s|   400 |   288 | 43494 |  74.7 |   655M |  22 | 945 |  58k|  58k|1362 |  2 |  30 |1901 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
152.97/153.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
152.97/153.40	c   153s|   500 |   338 | 47406 |  67.6 |   657M |  30 | 945 |  58k|  58k|1391 |  0 |  30 |1925 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
155.76/156.24	c   156s|   600 |   394 | 49501 |  59.8 |   658M |  38 | 945 |  58k|  58k|1401 |  1 |  30 |1939 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
159.85/160.37	c   160s|   700 |   432 | 51996 |  54.8 |   659M |  40 | 945 |  58k|  58k|1433 |  1 |  30 |1948 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
169.63/170.19	c   170s|   800 |   474 | 55155 |  51.9 |   672M |  46 | 945 |  58k|  58k|1490 |  1 |  30 |1992 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
178.71/179.28	c   179s|   900 |   544 | 59670 |  51.2 |   675M |  46 | 945 |  58k|  58k|1577 |  1 |  40 |2040 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
183.79/184.38	c   184s|  1000 |   604 | 64650 |  51.0 |   677M |  46 | 945 |  58k|  58k|1603 |  1 |  40 |2082 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
187.97/188.53	c   189s|  1100 |   648 | 68036 |  49.5 |   683M |  46 | 945 |  58k|  58k|1644 |  1 |  40 |2101 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
191.37/191.97	c   192s|  1200 |   676 | 70485 |  47.4 |   684M |  46 | 945 |  58k|  58k|1662 |  0 |  44 |2120 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
196.85/197.46	c   197s|  1300 |   716 | 73726 |  46.2 |   691M |  46 | 945 |  58k|  58k|1686 |  2 |  44 |2148 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
227.48/228.18	c   228s|  1400 |   806 | 85937 |  51.7 |   776M |  46 | 945 |  58k|  58k|1945 |  2 |  90 |2166 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
241.34/242.02	c   242s|  1500 |   902 | 94468 |  53.9 |   818M |  46 | 945 |  58k|  58k|2155 |  1 | 137 |2177 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
249.61/250.39	c   250s|  1600 |  1000 |102950 |  55.8 |   831M |  46 | 945 |  58k|  58k|2299 |  1 | 211 |2187 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
256.89/257.62	c   258s|  1700 |  1098 |111222 |  57.4 |   848M |  46 | 945 |  58k|  58k|2424 |  1 | 280 |2191 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
264.27/265.10	c   265s|  1800 |  1196 |120678 |  59.5 |   868M |  46 | 945 |  58k|  58k|2550 |  4 | 373 |2194 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
277.03/277.88	c   278s|  1900 |  1290 |132028 |  62.3 |   881M |  46 | 945 |  58k|  58k|2754 |  1 | 420 |2263 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
293.19/294.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
293.19/294.04	c   294s|  2000 |  1390 |144523 |  65.5 |   891M |  46 | 945 |  58k|  58k|2957 |  1 | 498 |2303 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
303.55/304.41	c   304s|  2100 |  1486 |154137 |  66.9 |   895M |  46 | 945 |  58k|  58k|3135 |  1 | 534 |2318 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
311.92/312.85	c   313s|  2200 |  1578 |163190 |  68.0 |   913M |  46 | 945 |  58k|  58k|3249 |  1 | 588 |2319 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
325.48/326.45	c   326s|  2300 |  1672 |172787 |  69.2 |   927M |  46 | 945 |  58k|  58k|3356 |  1 | 664 |2357 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
331.76/332.75	c   333s|  2400 |  1768 |181029 |  69.8 |   931M |  46 | 945 |  58k|  58k|3405 |  1 | 729 |2396 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
335.15/336.15	c   336s|  2500 |  1866 |189704 |  70.4 |   933M |  46 | 945 |  59k|  58k|3412 |  1 | 794 |2405 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
354.88/355.93	c   356s|  2600 |  1956 |199990 |  71.7 |   956M |  46 | 945 |  59k|  58k|3558 |  1 | 843 |2416 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
360.56/361.64	c   362s|  2700 |  2056 |208272 |  72.1 |   959M |  46 | 945 |  59k|  58k|3636 |  4 | 920 |2416 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
378.19/379.36	c   379s|  2800 |  2148 |216627 |  72.5 |   971M |  46 | 945 |  59k|  58k|3769 |  1 | 976 |2421 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
385.27/386.43	c   386s|  2900 |  2246 |226778 |  73.5 |   974M |  46 | 945 |  59k|  58k|3815 |  1 |1024 |2425 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
387.56/388.73	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
387.66/388.85	c (run 1, node 2920) performing user restart
387.66/388.85	c 
387.66/388.86	c (restart) converted 157 cuts from the global cut pool into linear constraints
387.66/388.86	c 
387.76/388.94	c presolving:
387.86/389.05	c (round 1, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 154 upgd conss, 0 impls, 58401 clqs
387.96/389.18	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
387.96/389.18	c  0 deleted vars, 37 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 9 changed coefficients
387.96/389.18	c  0 implications, 58401 cliques
387.96/389.18	c presolved problem has 945 variables (945 bin, 0 int, 0 cont) and 59398 constraints
387.96/389.18	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
387.96/389.18	c       1 constraints of type <knapsack>
387.96/389.18	c   58398 constraints of type <setppc>
387.96/389.18	c     999 constraints of type <logicor>
387.96/389.18	c transformed objective value is always integral (scale: 1)
387.96/389.18	c Presolving Time: 1.28
388.16/389.35	c transformed 81/100 original solutions to the transformed problem space
388.16/389.35	c 
388.35/389.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
388.35/389.54	c   390s|     1 |     0 |230714 |     - |   952M |   0 | 945 |  59k|  58k|   0 |  0 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
389.65/390.87	c   391s|     1 |     0 |230770 |     - |   952M |   0 | 945 |  59k|  58k|   8 |  1 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
391.04/392.25	c   392s|     1 |     0 |230846 |     - |   952M |   0 | 945 |  59k|  58k|  19 |  2 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
393.04/394.22	c   394s|     1 |     0 |230902 |     - |   952M |   0 | 945 |  59k|  58k|  30 |  3 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
394.13/395.31	c   395s|     1 |     0 |230962 |     - |   958M |   0 | 945 |  59k|  58k|  41 |  4 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
394.63/395.86	c   396s|     1 |     0 |231025 |     - |   958M |   0 | 945 |  59k|  58k|  50 |  5 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
395.73/396.99	c   397s|     1 |     0 |231086 |     - |   965M |   0 | 945 |  59k|  58k|  60 |  6 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
396.72/397.95	c   398s|     1 |     0 |231166 |     - |   971M |   0 | 945 |  59k|  58k|  69 |  7 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
397.72/398.94	c   399s|     1 |     0 |231222 |     - |   978M |   0 | 945 |  59k|  58k|  80 |  8 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
398.62/399.87	c   400s|     1 |     0 |231282 |     - |   984M |   0 | 945 |  59k|  58k|  93 |  9 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
399.12/400.33	c   400s|     1 |     0 |231349 |     - |   991M |   0 | 945 |  59k|  58k| 104 | 10 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
399.22/400.42	c   400s|     1 |     0 |231410 |     - |   997M |   0 | 945 |  59k|  58k| 114 | 11 |1036 |2425 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
401.71/402.97	c   403s|     1 |     2 |232056 |     - |   997M |   0 | 945 |  59k|  58k| 114 | 11 |1059 |2447 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
418.85/420.15	c   420s|   100 |    93 |241148 |  74.8 |  1012M |  33 | 945 |  59k|  58k| 129 |  1 |1230 |2972 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
428.11/429.45	c   429s|   200 |   193 |256235 |  77.2 |  1038M |  35 | 945 |  59k|  58k| 149 |  1 |1308 |3093 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
441.16/442.52	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
441.16/442.52	c   443s|   300 |   291 |267138 |  78.2 |  1076M |  44 | 945 |  59k|  58k| 222 |  1 |1397 |3155 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
446.14/447.59	c   448s|   400 |   387 |275944 |  78.5 |  1079M |  44 | 945 |  59k|  58k| 293 |  3 |1471 |3201 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
453.21/454.61	c   455s|   500 |   483 |283493 |  78.4 |  1085M |  44 | 945 |  59k|  58k| 352 |  1 |1522 |3249 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
458.99/460.44	c   460s|   600 |   581 |292231 |  78.7 |  1086M |  44 | 945 |  59k|  58k| 400 |  2 |1544 |3304 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
471.94/473.46	c   473s|   700 |   679 |304161 |  79.8 |  1110M |  44 | 945 |  59k|  58k| 447 |  1 |1626 |3357 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
489.49/491.01	c   491s|   800 |   779 |317447 |  81.2 |  1139M |  44 | 945 |  60k|  58k| 505 |  5 |1700 |3399 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
500.15/501.78	c   502s|   900 |   879 |329434 |  82.2 |  1166M |  44 | 945 |  60k|  58k| 580 |  1 |1776 |3452 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
508.82/510.40	c   510s|  1000 |   977 |339861 |  82.8 |  1179M |  44 | 945 |  60k|  58k| 617 |  1 |1841 |3504 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
542.60/544.35	c   544s|  1100 |  1071 |351500 |  83.6 |  1203M |  44 | 945 |  60k|  58k|1102 |  3 |1865 |3524 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
556.16/557.93	c   558s|  1200 |  1169 |362724 |  84.3 |  1220M |  44 | 945 |  60k|  58k|1269 |  1 |1900 |3542 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
571.21/573.03	c   573s|  1300 |  1267 |372330 |  84.6 |  1253M |  44 | 945 |  60k|  58k|1625 |  1 |1943 |3559 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
582.76/584.66	c   585s|  1400 |  1365 |386866 |  86.0 |  1254M |  44 | 945 |  60k|  58k|1726 |  1 |1975 |3674 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
594.52/596.46	c   596s|  1500 |  1465 |397789 |  86.5 |  1271M |  44 | 945 |  60k|  58k|1801 |  1 |2029 |3751 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
622.63/624.62	c   625s|  1600 |  1563 |410155 |  87.4 |  1274M |  44 | 945 |  60k|  58k|2015 |  1 |2084 |3763 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
646.55/648.66	c   649s|  1700 |  1663 |424036 |  88.5 |  1284M |  44 | 945 |  60k|  58k|2342 |  1 |2120 |3770 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
678.26/680.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
678.26/680.48	c   680s|  1800 |  1757 |435778 |  89.1 |  1315M |  44 | 945 |  60k|  58k|2751 |  1 |2164 |3777 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
703.39/705.67	c   706s|  1900 |  1855 |447540 |  89.7 |  1316M |  44 | 945 |  60k|  58k|3221 |  1 |2195 |3787 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
716.25/718.50	c   719s|  2000 |  1955 |458430 |  90.1 |  1318M |  44 | 945 |  60k|  58k|3444 |  1 |2245 |3798 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
744.98/747.39	c   747s|  2100 |  2051 |469914 |  90.6 |  1325M |  45 | 945 |  60k|  58k|3842 |  1 |2274 |3802 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
753.65/756.02	c   756s|  2200 |  2147 |480242 |  90.8 |  1328M |  45 | 945 |  60k|  58k|3923 |  1 |2300 |3806 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
768.51/770.93	c   771s|  2300 |  2245 |492713 |  91.5 |  1335M |  45 | 945 |  60k|  58k|4134 |  4 |2351 |3807 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
774.09/776.59	c   777s|  2400 |  2341 |502479 |  91.6 |  1347M |  45 | 945 |  60k|  58k|4246 |  1 |2392 |3818 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
788.56/791.04	o -39
788.56/791.05	c * 791s|  2437 |  2227 |505859 |  91.6 |    LP  |  45 | 945 |  60k|  58k|4338 |  1 |2398 |3818 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
795.03/797.52	c   798s|  2500 |  2276 |512038 |  91.6 |  1351M |  45 | 945 |  60k|  58k|4392 |  0 |2418 |3820 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
812.79/815.37	c   815s|  2600 |  2346 |521116 |  91.6 |  1374M |  45 | 945 |  60k|  58k|4603 |  1 |2457 |3823 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
818.27/820.82	c   821s|  2700 |  2440 |530481 |  91.7 |  1376M |  45 | 945 |  60k|  58k|4638 |  0 |2516 |3883 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
829.34/831.91	c   832s|  2800 |  2512 |538126 |  91.4 |  1377M |  45 | 945 |  60k|  58k|4711 |  0 |2565 |3905 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
841.51/844.15	c   844s|  2900 |  2584 |545742 |  91.1 |  1378M |  45 | 945 |  60k|  58k|4901 |  1 |2601 |3907 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
871.03/873.71	c   874s|  3000 |  2654 |553628 |  90.9 |  1380M |  45 | 945 |  60k|  58k|5121 |  2 |2622 |3910 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
879.12/881.81	c   882s|  3100 |  2744 |563391 |  91.0 |  1382M |  45 | 945 |  60k|  58k|5242 |  1 |2701 |3922 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
893.67/896.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
893.67/896.48	c   896s|  3200 |  2836 |572080 |  91.0 |  1384M |  45 | 945 |  61k|  58k|5317 |  1 |2732 |3931 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
909.34/912.17	c   912s|  3300 |  2924 |581186 |  91.0 |  1399M |  45 | 945 |  61k|  58k|5421 |  1 |2799 |3940 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
921.60/924.49	c   924s|  3400 |  3018 |590332 |  91.0 |  1401M |  45 | 945 |  61k|  58k|5483 |  1 |2886 |3949 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
935.96/938.88	c   939s|  3500 |  3104 |599923 |  91.1 |  1429M |  45 | 945 |  61k|  58k|5568 |  2 |2921 |3987 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
954.51/957.43	c   957s|  3600 |  3184 |608565 |  91.0 |  1430M |  45 | 945 |  61k|  58k|5722 |  1 |2941 |4021 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
974.06/977.09	c   977s|  3700 |  3272 |617683 |  91.0 |  1431M |  45 | 945 |  61k|  58k|5893 |  1 |2987 |4066 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
982.54/985.57	c   986s|  3800 |  3362 |627094 |  91.0 |  1442M |  45 | 945 |  61k|  58k|5957 |  1 |3050 |4090 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1001.00/1004.10	c  1004s|  3900 |  3454 |636699 |  91.1 |  1443M |  45 | 945 |  61k|  58k|6128 |  1 |3088 |4139 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1014.55/1017.69	c  1018s|  4000 |  3534 |643739 |  90.8 |  1445M |  46 | 945 |  61k|  58k|6229 |  0 |3114 |4160 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1035.10/1038.23	c  1038s|  4100 |  3616 |651423 |  90.6 |  1447M |  46 | 945 |  61k|  58k|6406 |  1 |3179 |4216 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1060.53/1063.78	c  1064s|  4200 |  3700 |660279 |  90.6 |  1448M |  46 | 945 |  61k|  58k|6603 |  1 |3194 |4253 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1069.61/1072.80	c  1073s|  4300 |  3776 |666550 |  90.2 |  1466M |  47 | 945 |  61k|  58k|6675 |  1 |3246 |4304 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1083.47/1086.70	c  1087s|  4400 |  3860 |676646 |  90.3 |  1474M |  47 | 945 |  61k|  58k|6835 |  1 |3309 |4352 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1089.76/1093.05	c  1093s|  4500 |  3948 |684284 |  90.2 |  1476M |  47 | 945 |  61k|  58k|6878 |  1 |3352 |4389 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1099.33/1102.69	c  1103s|  4600 |  4030 |692105 |  90.0 |  1477M |  47 | 945 |  61k|  58k|6968 |  1 |3426 |4415 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1111.49/1114.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1111.49/1114.83	c  1115s|  4700 |  4122 |700842 |  90.0 |  1483M |  47 | 945 |  61k|  58k|7079 |  0 |3464 |4458 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1130.75/1134.19	c  1134s|  4800 |  4214 |710764 |  90.1 |  1519M |  47 | 945 |  61k|  58k|7239 |  1 |3514 |4487 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1140.62/1144.03	c  1144s|  4900 |  4298 |718677 |  89.9 |  1520M |  47 | 945 |  61k|  58k|7311 |  1 |3558 |4496 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1148.10/1151.57	c  1152s|  5000 |  4384 |726121 |  89.7 |  1521M |  47 | 945 |  61k|  58k|7354 |  1 |3610 |4522 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1161.16/1164.63	c  1165s|  5100 |  4472 |735098 |  89.7 |  1522M |  47 | 945 |  61k|  58k|7467 |  0 |3674 |4537 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1173.33/1176.88	c  1177s|  5200 |  4558 |742587 |  89.6 |  1530M |  47 | 945 |  61k|  58k|7566 |  1 |3716 |4556 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1182.30/1185.82	c  1186s|  5300 |  4648 |751484 |  89.6 |  1532M |  47 | 945 |  61k|  58k|7640 |  1 |3759 |4585 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1193.77/1197.37	c  1197s|  5400 |  4730 |759271 |  89.4 |  1534M |  47 | 945 |  61k|  58k|7739 |  1 |3785 |4586 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1197.26/1200.81	c  1201s|  5500 |  4812 |766854 |  89.3 |  1538M |  47 | 945 |  61k|  58k|7774 |  1 |3843 |4601 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1209.24/1212.87	c  1213s|  5600 |  4892 |775258 |  89.2 |  1539M |  47 | 945 |  61k|  58k|7874 |  1 |3901 |4606 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1221.81/1225.47	c  1225s|  5700 |  4974 |783555 |  89.1 |  1540M |  47 | 945 |  61k|  58k|7957 |  1 |3922 |4625 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1230.28/1233.90	c  1234s|  5800 |  5054 |790415 |  88.9 |  1542M |  47 | 945 |  61k|  58k|8025 |  1 |3961 |4631 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1248.93/1252.69	c  1253s|  5900 |  5136 |798855 |  88.8 |  1543M |  47 | 945 |  61k|  58k|8164 |  1 |4004 |4634 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1260.90/1264.66	c  1265s|  6000 |  5218 |805220 |  88.6 |  1564M |  47 | 945 |  61k|  58k|8264 |  1 |4023 |4634 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1263.79/1267.57	c  1268s|  6100 |  5300 |812627 |  88.4 |  1566M |  47 | 945 |  61k|  58k|8299 |  1 |4075 |4634 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1285.35/1289.14	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1285.35/1289.14	c  1289s|  6200 |  5384 |821704 |  88.4 |  1567M |  47 | 945 |  61k|  58k|8441 |  1 |4107 |4636 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1291.63/1295.42	c  1295s|  6300 |  5468 |829606 |  88.3 |  1568M |  47 | 945 |  61k|  58k|8485 |  1 |4155 |4637 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1299.51/1303.39	c  1303s|  6400 |  5550 |836414 |  88.1 |  1570M |  47 | 945 |  61k|  58k|8532 |  1 |4193 |4665 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1307.59/1311.45	c  1311s|  6500 |  5642 |844281 |  88.0 |  1572M |  47 | 945 |  61k|  58k|8614 |  1 |4231 |4665 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1322.34/1326.28	c  1326s|  6600 |  5716 |852027 |  87.9 |  1611M |  47 | 945 |  61k|  58k|8690 |  1 |4284 |4666 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1335.41/1339.31	c  1339s|  6700 |  5800 |860949 |  87.9 |  1612M |  47 | 945 |  61k|  58k|8797 |  0 |4323 |4666 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1354.07/1358.04	c  1358s|  6800 |  5884 |868778 |  87.8 |  1617M |  47 | 945 |  61k|  58k|8899 |  1 |4391 |4666 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1366.83/1370.87	c  1371s|  6900 |  5964 |875350 |  87.6 |  1620M |  47 | 945 |  61k|  58k|8967 |  1 |4436 |4671 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1371.82/1375.85	c  1376s|  7000 |  6044 |883006 |  87.5 |  1622M |  47 | 945 |  62k|  58k|8993 |  1 |4480 |4675 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1378.50/1382.59	c  1383s|  7100 |  6136 |892845 |  87.6 |  1622M |  47 | 945 |  62k|  58k|9080 |  1 |4551 |4677 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1391.08/1395.11	c  1395s|  7200 |  6224 |901658 |  87.6 |  1628M |  47 | 945 |  62k|  58k|9156 |  2 |4660 |4677 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1406.54/1410.66	c  1411s|  7300 |  6306 |911240 |  87.7 |  1630M |  47 | 945 |  62k|  58k|9254 |  0 |4702 |4684 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1409.63/1413.77	c  1414s|  7400 |  6390 |918700 |  87.5 |  1633M |  47 | 945 |  62k|  58k|9282 |  1 |4728 |4687 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1414.32/1418.47	c  1418s|  7500 |  6474 |926416 |  87.4 |  1635M |  47 | 945 |  62k|  58k|9318 |  0 |4756 |4689 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1420.50/1424.61	c  1425s|  7600 |  6558 |934971 |  87.4 |  1637M |  47 | 945 |  62k|  58k|9368 |  2 |4799 |4699 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1437.96/1442.14	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1437.96/1442.14	c  1442s|  7700 |  6620 |941805 |  87.2 |  1638M |  47 | 945 |  62k|  58k|9469 |  1 |4804 |4701 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1445.94/1450.13	c  1450s|  7800 |  6702 |948670 |  87.1 |  1639M |  47 | 945 |  62k|  58k|9516 |  0 |4858 |4707 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1463.39/1467.69	c  1468s|  7900 |  6778 |955800 |  86.9 |  1641M |  47 | 945 |  62k|  58k|9612 |  1 |4886 |4724 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1472.87/1477.12	c  1477s|  8000 |  6854 |962465 |  86.7 |  1641M |  47 | 945 |  62k|  58k|9694 |  1 |4913 |4725 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1488.63/1492.99	c  1493s|  8100 |  6938 |971195 |  86.7 |  1666M |  47 | 945 |  62k|  58k|9794 |  1 |4983 |4749 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1494.91/1499.29	c  1499s|  8200 |  7026 |978297 |  86.6 |  1667M |  47 | 945 |  62k|  58k|9832 |  1 |5033 |4776 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1505.49/1509.87	c  1510s|  8300 |  7106 |985524 |  86.5 |  1669M |  47 | 945 |  62k|  58k|9924 |  1 |5057 |4807 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1516.86/1521.23	c  1521s|  8400 |  7190 |993232 |  86.4 |  1674M |  47 | 945 |  62k|  58k|9978 |  1 |5089 |4844 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1531.63/1536.07	c  1536s|  8500 |  7270 |  1001k|  86.3 |  1674M |  47 | 945 |  62k|  58k|  10k|  0 |5144 |4855 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1538.30/1542.76	c  1543s|  8600 |  7366 |  1010k|  86.4 |  1724M |  47 | 945 |  62k|  58k|  10k|  1 |5256 |4889 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1553.06/1557.52	c  1558s|  8700 |  7456 |  1020k|  86.5 |  1725M |  47 | 945 |  62k|  58k|  10k|  1 |5347 |4916 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1559.15/1563.64	c  1564s|  8800 |  7532 |  1029k|  86.5 |  1727M |  47 | 945 |  62k|  58k|  10k|  2 |5391 |4956 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1566.23/1570.72	c  1571s|  8900 |  7614 |  1037k|  86.5 |  1728M |  47 | 945 |  62k|  58k|  10k|  0 |5430 |4989 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1573.52/1578.06	c  1578s|  9000 |  7712 |  1046k|  86.5 |  1733M |  47 | 945 |  62k|  58k|  10k|  1 |5491 |5040 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1576.90/1581.48	c  1581s|  9100 |  7808 |  1055k|  86.5 |  1735M |  47 | 945 |  62k|  58k|  10k|  0 |5540 |5045 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1584.28/1588.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1584.28/1588.89	c  1589s|  9200 |  7896 |  1063k|  86.5 |  1737M |  47 | 945 |  62k|  58k|  10k|  1 |5594 |5085 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1590.17/1594.70	c  1595s|  9300 |  7994 |  1073k|  86.6 |  1739M |  47 | 945 |  62k|  58k|  10k|  1 |5666 |5098 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1595.06/1599.68	c  1600s|  9400 |  8092 |  1084k|  86.8 |  1742M |  47 | 945 |  62k|  58k|  10k|  1 |5732 |5138 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1598.15/1602.70	c  1603s|  9500 |  8168 |  1091k|  86.7 |  1742M |  47 | 945 |  62k|  58k|  10k|  1 |5755 |5159 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1612.53/1617.16	c  1617s|  9600 |  8236 |  1099k|  86.6 |  1743M |  47 | 945 |  62k|  58k|  10k|  1 |5811 |5189 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1640.15/1644.86	c  1645s|  9700 |  8306 |  1109k|  86.7 |  1747M |  47 | 945 |  62k|  58k|  10k|  1 |5841 |5213 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1658.32/1663.06	c  1663s|  9800 |  8380 |  1116k|  86.6 |  1751M |  47 | 945 |  62k|  58k|  10k|  1 |5872 |5243 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1662.10/1666.85	c  1667s|  9900 |  8466 |  1125k|  86.6 |  1755M |  47 | 945 |  62k|  58k|  10k|  1 |5901 |5266 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1665.39/1670.13	c  1670s| 10000 |  8538 |  1133k|  86.5 |  1756M |  47 | 945 |  62k|  58k|  10k|  1 |5909 |5275 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1675.06/1679.89	c  1680s| 10100 |  8616 |  1139k|  86.3 |  1757M |  47 | 945 |  62k|  58k|  10k|  1 |5939 |5276 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1687.53/1692.34	c  1692s| 10200 |  8708 |  1148k|  86.4 |  1760M |  47 | 945 |  62k|  58k|  11k|  1 |6026 |5290 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1695.11/1699.97	c  1700s| 10300 |  8792 |  1156k|  86.3 |  1762M |  47 | 945 |  62k|  58k|  11k|  2 |6051 |5294 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1710.67/1715.56	c  1716s| 10400 |  8876 |  1164k|  86.3 |  1764M |  47 | 945 |  62k|  58k|  11k|  1 |6080 |5294 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1733.73/1738.68	c  1739s| 10500 |  8934 |  1170k|  86.1 |  1766M |  47 | 945 |  62k|  58k|  11k|  1 |6110 |5296 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1746.99/1751.93	c  1752s| 10600 |  9020 |  1178k|  86.1 |  1769M |  47 | 945 |  62k|  58k|  11k|  0 |6149 |5299 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1754.27/1759.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1754.27/1759.20	c  1759s| 10700 |  9110 |  1187k|  86.0 |  1772M |  47 | 945 |  62k|  58k|  11k|  0 |6189 |5312 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1758.86/1763.84	c  1764s| 10800 |  9210 |  1197k|  86.2 |  1774M |  47 | 945 |  62k|  58k|  11k|  1 |6269 |5347 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1762.65/1767.65	c  1768s| 10900 |  9304 |  1205k|  86.1 |  1776M |  47 | 945 |  62k|  58k|  11k|  1 |6353 |5364 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1768.14/1773.17	c  1773s| 11000 |  9390 |  1212k|  86.0 |  1779M |  47 | 945 |  62k|  58k|  11k|  1 |6408 |5367 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1783.10/1788.15	c  1788s| 11100 |  9480 |  1223k|  86.1 |  1780M |  47 | 945 |  62k|  58k|  11k|  3 |6460 |5372 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1795.26/1800.38	c  1800s| 11200 |  9560 |  1231k|  86.1 |  1809M |  47 | 945 |  63k|  58k|  11k|  1 |6505 |5375 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1811.42/1816.52	c  1817s| 11300 |  9646 |  1241k|  86.2 |  1811M |  47 | 945 |  63k|  58k|  12k|  1 |6574 |5378 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1819.91/1825.01	c  1825s| 11400 |  9728 |  1248k|  86.1 |  1812M |  47 | 945 |  63k|  58k|  12k|  1 |6631 |5393 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1829.18/1834.35	c  1834s| 11500 |  9814 |  1254k|  86.0 |  1814M |  47 | 945 |  63k|  58k|  12k|  1 |6672 |5400 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1835.37/1840.57	c  1841s| 11600 |  9906 |  1262k|  85.9 |  1816M |  47 | 945 |  63k|  58k|  12k|  1 |6721 |5405 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1840.55/1845.70	c  1846s| 11700 | 10002 |  1273k|  86.1 |  1818M |  47 | 945 |  63k|  58k|  12k|  0 |6808 |5411 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1864.29/1869.52	c  1870s| 11800 | 10080 |  1281k|  86.0 |  1876M |  47 | 945 |  63k|  58k|  12k|  1 |6848 |5415 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1869.88/1875.15	c  1875s| 11900 | 10158 |  1287k|  85.9 |  1876M |  47 | 945 |  63k|  58k|  12k|  1 |6884 |5421 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1875.96/1881.20	c  1881s| 12000 | 10236 |  1293k|  85.7 |  1878M |  47 | 945 |  63k|  58k|  12k|  1 |6900 |5426 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1892.23/1897.56	c  1898s| 12100 | 10312 |  1299k|  85.5 |  1880M |  47 | 945 |  63k|  58k|  12k|  0 |6922 |5433 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1914.68/1920.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1914.68/1920.08	c  1920s| 12200 | 10390 |  1308k|  85.5 |  1881M |  47 | 945 |  63k|  58k|  12k|  1 |6971 |5436 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1938.82/1944.27	c  1944s| 12300 | 10456 |  1314k|  85.4 |  1885M |  48 | 945 |  63k|  58k|  12k|  0 |6994 |5438 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1961.57/1967.01	c  1967s| 12400 | 10524 |  1322k|  85.3 |  1889M |  48 | 945 |  63k|  58k|  13k|  1 |7013 |5439 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1965.16/1970.61	c  1971s| 12500 | 10616 |  1332k|  85.4 |  1891M |  48 | 945 |  63k|  58k|  13k|  1 |7082 |5441 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1970.55/1976.03	c  1976s| 12600 | 10714 |  1341k|  85.4 |  1893M |  48 | 945 |  63k|  58k|  13k|  1 |7160 |5442 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1977.72/1983.26	c  1983s| 12700 | 10786 |  1346k|  85.2 |  1894M |  48 | 945 |  63k|  58k|  13k|  1 |7174 |5442 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1983.31/1988.82	c  1989s| 12800 | 10862 |  1354k|  85.2 |  1896M |  48 | 945 |  63k|  58k|  13k|  1 |7207 |5444 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1994.98/2000.59	c  2001s| 12900 | 10940 |  1361k|  85.1 |  1898M |  48 | 945 |  63k|  58k|  13k|  1 |7239 |5444 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
1999.97/2005.51	c  2006s| 13000 | 11024 |  1369k|  85.0 |  1900M |  48 | 945 |  63k|  58k|  13k|  1 |7315 |5445 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
2007.95/2013.59	c  2014s| 13100 | 11104 |  1375k|  84.9 |  1900M |  48 | 945 |  63k|  58k|  13k|  3 |7457 |5445 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
2020.12/2025.79	c  2026s| 13200 | 11182 |  1382k|  84.8 |  1901M |  48 | 945 |  63k|  58k|  13k|  1 |7490 |5445 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
2022.21/2027.88	o -40
2022.21/2027.89	c *2028s| 13261 |  9389 |  1388k|  84.8 |    LP  |  48 | 945 |  63k|  58k|  13k|  1 |7527 |5445 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2029.99/2035.67	c  2036s| 13300 |  9410 |  1391k|  84.9 |  1902M |  48 | 945 |  63k|  58k|  13k|  1 |7536 |5445 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2039.48/2045.17	c  2045s| 13400 |  9468 |  1397k|  84.7 |  1902M |  48 | 945 |  63k|  58k|  13k|  1 |7563 |5450 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2051.95/2057.64	c  2058s| 13500 |  9546 |  1406k|  84.7 |  1903M |  48 | 945 |  63k|  58k|  13k|  0 |7605 |5484 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2068.11/2073.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2068.11/2073.86	c  2074s| 13600 |  9610 |  1413k|  84.6 |  1903M |  48 | 945 |  63k|  58k|  13k|  1 |7679 |5502 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2077.98/2083.72	c  2084s| 13700 |  9672 |  1420k|  84.5 |  1903M |  48 | 945 |  63k|  58k|  13k|  1 |7735 |5539 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2084.27/2090.01	c  2090s| 13800 |  9752 |  1429k|  84.6 |  1904M |  48 | 945 |  63k|  58k|  13k|  1 |7786 |5557 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2092.65/2098.49	c  2098s| 13900 |  9834 |  1437k|  84.6 |  1904M |  48 | 945 |  63k|  58k|  13k|  1 |7860 |5601 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2096.03/2101.83	c  2102s| 14000 |  9910 |  1444k|  84.5 |  1904M |  48 | 945 |  63k|  58k|  13k|  1 |7913 |5612 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2103.91/2109.77	c  2110s| 14100 |  9978 |  1450k|  84.3 |  1904M |  48 | 945 |  63k|  58k|  13k|  1 |7934 |5614 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2116.58/2122.42	c  2122s| 14200 | 10058 |  1457k|  84.2 |  1906M |  48 | 945 |  63k|  58k|  13k|  1 |7970 |5637 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2119.78/2125.64	c  2126s| 14300 | 10122 |  1462k|  84.0 |  1907M |  48 | 945 |  63k|  58k|  13k|  1 |7999 |5647 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2134.64/2140.56	c  2141s| 14400 | 10194 |  1470k|  84.0 |  1910M |  48 | 945 |  63k|  58k|  14k|  0 |8093 |5696 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2151.30/2157.29	c  2157s| 14500 | 10256 |  1475k|  83.8 |  1910M |  48 | 945 |  63k|  58k|  14k|  1 |8152 |5706 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2156.59/2162.50	c  2163s| 14600 | 10320 |  1482k|  83.7 |  1910M |  48 | 945 |  63k|  58k|  14k|  1 |8197 |5738 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2160.09/2166.09	c  2166s| 14700 | 10382 |  1489k|  83.6 |  1944M |  48 | 945 |  63k|  58k|  14k|  1 |8269 |5763 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2162.97/2168.98	c  2169s| 14800 | 10452 |  1495k|  83.5 |  1945M |  48 | 945 |  63k|  58k|  14k|  1 |8301 |5780 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2171.16/2177.13	c  2177s| 14900 | 10522 |  1502k|  83.4 |  1946M |  48 | 945 |  63k|  58k|  14k|  1 |8345 |5792 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2174.55/2180.56	c  2181s| 15000 | 10566 |  1505k|  83.2 |  1946M |  52 | 945 |  63k|  58k|  14k|  1 |8349 |5800 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2180.83/2186.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2180.83/2186.85	c  2187s| 15100 | 10620 |  1510k|  83.0 |  1947M |  55 | 945 |  63k|  58k|  14k|  0 |8360 |5819 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2201.78/2207.88	c  2208s| 15200 | 10670 |  1514k|  82.7 |  1947M |  55 | 945 |  63k|  58k|  14k|  0 |8378 |5829 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2204.68/2210.73	c  2211s| 15300 | 10744 |  1520k|  82.6 |  1948M |  55 | 945 |  64k|  58k|  14k|  1 |8426 |5836 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2208.97/2215.07	c  2215s| 15400 | 10792 |  1526k|  82.5 |  1949M |  55 | 945 |  64k|  58k|  14k|  1 |8442 |5841 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2211.46/2217.51	c  2218s| 15500 | 10846 |  1532k|  82.4 |  1950M |  55 | 945 |  64k|  58k|  14k|  1 |8459 |5844 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2213.85/2219.98	c  2220s| 15600 | 10914 |  1539k|  82.3 |  1950M |  55 | 945 |  64k|  58k|  14k|  1 |8506 |5845 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2216.55/2222.67	c  2223s| 15700 | 10972 |  1545k|  82.2 |  1951M |  55 | 945 |  64k|  58k|  14k|  1 |8538 |5848 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2218.14/2224.26	c  2224s| 15800 | 11018 |  1549k|  82.0 |  1953M |  55 | 945 |  64k|  58k|  14k|  1 |8546 |5848 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2228.32/2234.41	c  2234s| 15900 | 11084 |  1555k|  81.8 |  1954M |  55 | 945 |  64k|  58k|  14k|  3 |8601 |5856 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2236.40/2242.55	c  2243s| 16000 | 11136 |  1562k|  81.8 |  1957M |  55 | 945 |  64k|  58k|  14k|  1 |8612 |5862 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2248.37/2254.56	c  2255s| 16100 | 11184 |  1566k|  81.6 |  1958M |  55 | 945 |  64k|  58k|  15k|  1 |8642 |5865 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2270.32/2276.52	c  2277s| 16200 | 11224 |  1571k|  81.4 |  1958M |  55 | 945 |  64k|  58k|  15k|  1 |8666 |5867 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2274.60/2280.89	c  2281s| 16300 | 11282 |  1578k|  81.3 |  2026M |  57 | 945 |  64k|  58k|  15k|  1 |8669 |5880 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2283.08/2289.36	c  2289s| 16400 | 11368 |  1586k|  81.3 |  2029M |  57 | 945 |  64k|  58k|  15k|  1 |8752 |5884 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2292.26/2298.50	c  2298s| 16500 | 11446 |  1593k|  81.3 |  2032M |  57 | 945 |  64k|  58k|  15k|  0 |8818 |5887 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2296.25/2302.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2296.25/2302.55	c  2303s| 16600 | 11518 |  1601k|  81.2 |  2034M |  57 | 945 |  64k|  58k|  15k|  1 |8858 |5891 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2300.64/2306.98	c  2307s| 16700 | 11590 |  1608k|  81.2 |  2036M |  57 | 945 |  64k|  58k|  15k|  1 |8877 |5896 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2303.13/2309.43	c  2309s| 16800 | 11640 |  1613k|  81.1 |  2036M |  62 | 945 |  64k|  58k|  15k|  0 |8887 |5900 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2305.03/2311.39	c  2311s| 16900 | 11688 |  1619k|  80.9 |  2036M |  65 | 945 |  64k|  58k|  15k|  0 |8901 |5900 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2306.52/2312.84	c  2313s| 17000 | 11724 |  1622k|  80.7 |  2036M |  74 | 945 |  64k|  58k|  15k|  0 |8913 |5901 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2308.22/2314.51	c  2315s| 17100 | 11756 |  1626k|  80.5 |  2036M |  74 | 945 |  64k|  58k|  15k|  1 |8913 |5904 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2309.61/2315.97	c  2316s| 17200 | 11778 |  1629k|  80.2 |  2037M |  74 | 945 |  64k|  58k|  15k|  1 |8913 |5904 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2311.31/2317.69	c  2318s| 17300 | 11822 |  1633k|  80.0 |  2037M |  74 | 945 |  64k|  58k|  15k|  2 |8923 |5905 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2313.10/2319.46	c  2319s| 17400 | 11866 |  1638k|  79.9 |  2037M |  74 | 945 |  64k|  58k|  15k|  1 |8927 |5909 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2315.01/2321.30	c  2321s| 17500 | 11900 |  1642k|  79.7 |  2037M |  74 | 945 |  64k|  58k|  15k|  0 |8930 |5911 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2325.27/2331.65	c  2332s| 17600 | 11940 |  1647k|  79.5 |  2038M |  74 | 945 |  64k|  58k|  15k|  1 |8930 |5912 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2335.35/2341.75	c  2342s| 17700 | 11970 |  1651k|  79.4 |  2039M |  74 | 945 |  64k|  58k|  15k|  1 |8933 |5912 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2339.04/2345.49	c  2345s| 17800 | 11998 |  1656k|  79.2 |  2040M |  74 | 945 |  64k|  58k|  15k|  0 |8933 |5913 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2341.23/2347.65	c  2348s| 17900 | 12040 |  1661k|  79.1 |  2041M |  74 | 945 |  64k|  58k|  15k|  1 |8936 |5915 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2344.03/2350.40	c  2350s| 18000 | 12068 |  1666k|  78.9 |  2042M |  74 | 945 |  64k|  58k|  15k|  1 |8942 |5917 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2351.71/2358.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2351.71/2358.19	c  2358s| 18100 | 12108 |  1670k|  78.7 |  2043M |  74 | 945 |  64k|  58k|  16k|  1 |8950 |5924 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2353.72/2360.14	c  2360s| 18200 | 12144 |  1675k|  78.6 |  2043M |  74 | 945 |  64k|  58k|  16k|  1 |8950 |5924 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2364.98/2371.43	c  2371s| 18300 | 12186 |  1680k|  78.5 |  2043M |  74 | 945 |  64k|  58k|  16k|  1 |8958 |5926 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2366.68/2373.15	c  2373s| 18400 | 12218 |  1684k|  78.3 |  2044M |  74 | 945 |  64k|  58k|  16k|  1 |8958 |5930 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2368.47/2374.98	c  2375s| 18500 | 12250 |  1688k|  78.1 |  2045M |  74 | 945 |  64k|  58k|  16k|  0 |8970 |5933 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2385.23/2391.73	c  2392s| 18600 | 12292 |  1694k|  78.0 |  2046M |  74 | 945 |  64k|  58k|  16k|  1 |8970 |5933 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2394.71/2401.26	c  2401s| 18700 | 12318 |  1698k|  77.8 |  2049M |  74 | 945 |  64k|  58k|  16k|  1 |8976 |5943 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2408.08/2414.69	c  2415s| 18800 | 12348 |  1702k|  77.7 |  2049M |  74 | 945 |  64k|  58k|  16k|  6 |8983 |5944 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2428.23/2434.82	c  2435s| 18900 | 12390 |  1707k|  77.6 |  2050M |  74 | 945 |  64k|  58k|  16k|  3 |9005 |5944 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2436.01/2442.63	c  2443s| 19000 | 12422 |  1711k|  77.4 |  2051M |  74 | 945 |  64k|  58k|  17k|  1 |9012 |5945 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2447.09/2453.74	c  2454s| 19100 | 12450 |  1716k|  77.2 |  2052M |  74 | 945 |  64k|  58k|  17k|  1 |9022 |5946 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2471.33/2478.07	c  2478s| 19200 | 12480 |  1720k|  77.1 |  2052M |  74 | 945 |  64k|  58k|  17k|  1 |9022 |5946 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2481.70/2488.40	c  2488s| 19300 | 12518 |  1724k|  76.9 |  2053M |  74 | 945 |  64k|  58k|  17k|  0 |9022 |5950 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2494.47/2501.27	c  2501s| 19400 | 12558 |  1729k|  76.8 |  2054M |  74 | 945 |  64k|  58k|  17k|  1 |9030 |5955 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2498.16/2504.93	c  2505s| 19500 | 12610 |  1734k|  76.7 |  2055M |  74 | 945 |  64k|  58k|  17k|  1 |9035 |5956 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2507.04/2513.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2507.04/2513.88	c  2514s| 19600 | 12650 |  1738k|  76.5 |  2056M |  74 | 945 |  64k|  58k|  17k|  1 |9051 |5957 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2516.33/2523.12	c  2523s| 19700 | 12686 |  1742k|  76.4 |  2056M |  74 | 945 |  64k|  58k|  17k|  1 |9055 |5957 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2534.48/2541.35	c  2541s| 19800 | 12730 |  1747k|  76.3 |  2058M |  74 | 945 |  64k|  58k|  17k|  1 |9062 |5959 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2544.45/2551.31	c  2551s| 19900 | 12780 |  1752k|  76.1 |  2059M |  74 | 945 |  64k|  58k|  17k|  1 |9062 |5961 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2554.93/2561.89	c  2562s| 20000 | 12820 |  1757k|  76.0 |  2059M |  74 | 945 |  64k|  58k|  17k|  0 |9068 |5961 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2581.76/2588.78	c  2589s| 20100 | 12858 |  1761k|  75.9 |  2061M |  74 | 945 |  64k|  58k|  18k|  0 |9073 |5961 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2603.01/2610.04	c  2610s| 20200 | 12890 |  1767k|  75.8 |  2181M |  74 | 945 |  64k|  58k|  18k|  1 |9084 |5961 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2611.10/2618.16	c  2618s| 20300 | 12932 |  1772k|  75.7 |  2181M |  74 | 945 |  64k|  58k|  18k|  1 |9091 |5961 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2624.86/2632.00	c  2632s| 20400 | 12974 |  1776k|  75.5 |  2183M |  74 | 945 |  64k|  58k|  18k|  1 |9096 |5962 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2639.62/2646.77	c  2647s| 20500 | 13012 |  1781k|  75.4 |  2184M |  74 | 945 |  64k|  58k|  18k|  1 |9115 |5962 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2657.48/2664.66	c  2665s| 20600 | 13054 |  1786k|  75.3 |  2187M |  74 | 945 |  64k|  58k|  19k|  1 |9118 |5962 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2677.63/2684.88	c  2685s| 20700 | 13102 |  1792k|  75.2 |  2189M |  74 | 945 |  64k|  58k|  19k|  1 |9131 |5962 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2704.77/2712.03	c  2712s| 20800 | 13146 |  1798k|  75.2 |  2191M |  74 | 945 |  64k|  58k|  19k|  1 |9145 |5962 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2729.41/2736.74	c  2737s| 20900 | 13194 |  1804k|  75.1 |  2191M |  74 | 945 |  64k|  58k|  19k|  1 |9157 |5963 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2753.06/2760.43	c  2760s| 21000 | 13246 |  1810k|  75.0 |  2192M |  74 | 945 |  64k|  58k|  19k|  1 |9168 |5965 |-4.500000e+01 |-4.000000e+01 |  12.50%| unknown
2764.33/2771.79	o -41
2764.43/2771.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2764.43/2771.82	c *2772s| 21076 |  9897 |  1816k|  75.1 |    LP  |  74 | 945 |  63k|  58k|  20k|  1 |9168 |5965 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2764.83/2772.28	c  2772s| 21100 |  9907 |  1817k|  75.0 |  2193M |  74 | 945 |  63k|  58k|  20k|  1 |9168 |5965 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2766.63/2774.03	c  2774s| 21200 |  9931 |  1822k|  74.9 |  2193M |  74 | 945 |  63k|  58k|  20k|  1 |9179 |5966 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2777.00/2784.41	c  2784s| 21300 |  9953 |  1826k|  74.8 |  2193M |  74 | 945 |  63k|  58k|  20k|  0 |9179 |5967 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2799.25/2806.76	c  2807s| 21400 |  9983 |  1832k|  74.7 |  2193M |  74 | 945 |  63k|  58k|  20k|  0 |9197 |5968 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2813.72/2821.28	c  2821s| 21500 | 10027 |  1839k|  74.7 |  2194M |  74 | 945 |  63k|  58k|  20k|  0 |9208 |5969 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2822.69/2830.24	c  2830s| 21600 | 10061 |  1843k|  74.6 |  2200M |  74 | 945 |  63k|  58k|  21k|  1 |9212 |5969 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2824.89/2832.40	c  2832s| 21700 | 10099 |  1847k|  74.4 |  2200M |  74 | 945 |  63k|  58k|  21k|  1 |9237 |5974 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2832.07/2839.66	c  2840s| 21800 | 10131 |  1850k|  74.2 |  2200M |  74 | 945 |  63k|  58k|  21k|  0 |9237 |5974 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2837.76/2845.32	c  2845s| 21900 | 10161 |  1853k|  74.1 |  2200M |  74 | 945 |  63k|  58k|  21k|  2 |9250 |5979 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2853.92/2861.51	c  2862s| 22000 | 10187 |  1857k|  73.9 |  2200M |  74 | 945 |  63k|  58k|  21k|  1 |9265 |5983 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2858.51/2866.17	c  2866s| 22100 | 10211 |  1860k|  73.7 |  2200M |  74 | 945 |  63k|  58k|  21k|  1 |9268 |5984 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2863.30/2870.91	c  2871s| 22200 | 10233 |  1863k|  73.6 |  2201M |  74 | 945 |  63k|  58k|  21k|  0 |9275 |5984 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2882.05/2889.79	c  2890s| 22300 | 10259 |  1868k|  73.5 |  2201M |  74 | 945 |  63k|  58k|  21k|  1 |9280 |5987 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2888.44/2896.13	c  2896s| 22400 | 10285 |  1871k|  73.3 |  2201M |  74 | 945 |  63k|  58k|  21k|  0 |9291 |5987 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2892.13/2899.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2892.13/2899.83	c  2900s| 22500 | 10307 |  1874k|  73.1 |  2201M |  74 | 945 |  63k|  58k|  21k|  0 |9294 |5987 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2894.53/2902.26	c  2902s| 22600 | 10333 |  1878k|  73.0 |  2201M |  74 | 945 |  63k|  58k|  21k|  1 |9294 |5987 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2901.32/2909.08	c  2909s| 22700 | 10363 |  1883k|  72.9 |  2201M |  74 | 945 |  63k|  58k|  22k|  1 |9299 |5989 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2913.08/2920.82	c  2921s| 22800 | 10395 |  1887k|  72.8 |  2201M |  74 | 945 |  63k|  58k|  22k|  1 |9333 |5992 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2928.15/2935.94	c  2936s| 22900 | 10423 |  1892k|  72.7 |  2201M |  74 | 945 |  63k|  58k|  22k|  1 |9341 |5992 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2930.04/2937.83	c  2938s| 23000 | 10465 |  1897k|  72.6 |  2201M |  74 | 945 |  63k|  58k|  22k|  2 |9357 |5997 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2938.82/2946.60	c  2947s| 23100 | 10501 |  1901k|  72.5 |  2201M |  74 | 945 |  63k|  58k|  22k|  0 |9387 |6000 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2940.81/2948.64	c  2949s| 23200 | 10553 |  1906k|  72.4 |  2201M |  74 | 945 |  63k|  58k|  22k|  1 |9429 |6005 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2956.88/2964.71	c  2965s| 23300 | 10589 |  1912k|  72.3 |  2201M |  74 | 945 |  63k|  58k|  22k|  2 |9462 |6009 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2959.57/2967.48	c  2967s| 23400 | 10619 |  1915k|  72.2 |  2201M |  74 | 945 |  63k|  58k|  22k|  0 |9471 |6009 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2978.43/2986.33	c  2986s| 23500 | 10643 |  1921k|  72.1 |  2201M |  74 | 945 |  63k|  58k|  22k|  0 |9482 |6010 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2988.60/2996.52	c  2997s| 23600 | 10679 |  1925k|  72.0 |  2201M |  74 | 945 |  63k|  58k|  22k|  1 |9505 |6010 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2991.80/2999.71	c  3000s| 23700 | 10713 |  1930k|  71.9 |  2201M |  74 | 945 |  63k|  58k|  22k|  2 |9505 |6010 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
2993.10/3001.05	c  3001s| 23800 | 10741 |  1933k|  71.8 |  2201M |  74 | 945 |  63k|  58k|  22k|  0 |9508 |6010 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3003.97/3011.92	c  3012s| 23900 | 10775 |  1936k|  71.6 |  2247M |  74 | 945 |  63k|  58k|  23k|  1 |9521 |6011 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3017.54/3025.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3017.54/3025.53	c  3026s| 24000 | 10799 |  1940k|  71.5 |  2247M |  74 | 945 |  63k|  58k|  23k|  1 |9527 |6015 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3018.94/3026.95	c  3027s| 24100 | 10815 |  1943k|  71.3 |  2247M |  74 | 945 |  63k|  58k|  23k|  1 |9527 |6015 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3025.22/3033.21	c  3033s| 24200 | 10849 |  1946k|  71.2 |  2248M |  74 | 945 |  63k|  58k|  23k|  2 |9547 |6015 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3036.30/3044.31	c  3044s| 24300 | 10881 |  1950k|  71.1 |  2248M |  74 | 945 |  63k|  58k|  23k|  1 |9553 |6015 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3043.78/3051.84	c  3052s| 24400 | 10915 |  1954k|  71.0 |  2248M |  74 | 945 |  63k|  58k|  23k|  0 |9555 |6015 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3057.55/3065.60	c  3066s| 24500 | 10951 |  1958k|  70.9 |  2248M |  74 | 945 |  63k|  58k|  23k|  1 |9564 |6015 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3080.70/3088.86	c  3089s| 24600 | 10977 |  1962k|  70.7 |  2249M |  74 | 945 |  63k|  58k|  23k|  1 |9578 |6015 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3104.05/3112.24	c  3112s| 24700 | 11007 |  1968k|  70.7 |  2344M |  74 | 945 |  63k|  58k|  24k|  0 |9591 |6016 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3113.93/3122.17	c  3122s| 24800 | 11045 |  1973k|  70.6 |  2344M |  74 | 945 |  63k|  58k|  24k|  1 |9619 |6018 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3139.77/3148.01	c  3148s| 24900 | 11069 |  1979k|  70.6 |  2346M |  74 | 945 |  63k|  58k|  24k|  0 |9624 |6044 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3144.55/3152.81	c  3153s| 25000 | 11113 |  1986k|  70.6 |  2347M |  74 | 945 |  63k|  58k|  24k|  1 |9640 |6059 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3161.31/3169.65	c  3170s| 25100 | 11149 |  1992k|  70.6 |  2347M |  74 | 945 |  63k|  58k|  24k|  1 |9694 |6084 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3180.47/3188.85	c  3189s| 25200 | 11173 |  1997k|  70.5 |  2347M |  74 | 945 |  63k|  58k|  24k|  0 |9757 |6112 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3194.24/3202.64	c  3203s| 25300 | 11195 |  2002k|  70.4 |  2347M |  74 | 945 |  63k|  58k|  24k|  1 |9767 |6119 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3207.81/3216.21	c  3216s| 25400 | 11233 |  2006k|  70.3 |  2347M |  74 | 945 |  63k|  58k|  25k|  0 |9773 |6132 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3220.28/3228.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3220.28/3228.75	c  3229s| 25500 | 11273 |  2012k|  70.3 |  2347M |  74 | 945 |  63k|  58k|  25k|  0 |9822 |6171 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3222.27/3230.79	c  3231s| 25600 | 11301 |  2016k|  70.2 |  2347M |  74 | 945 |  63k|  58k|  25k|  1 |9831 |6183 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3228.76/3237.25	c  3237s| 25700 | 11317 |  2019k|  70.0 |  2347M |  74 | 945 |  63k|  58k|  25k|  1 |9840 |6194 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3252.30/3260.86	c  3261s| 25800 | 11341 |  2025k|  70.0 |  2347M |  74 | 945 |  63k|  58k|  25k|  1 |9865 |6214 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3265.48/3274.10	c  3274s| 25900 | 11357 |  2030k|  69.9 |  2347M |  74 | 945 |  63k|  58k|  25k|  1 |9894 |6244 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3268.47/3277.00	c  3277s| 26000 | 11395 |  2034k|  69.8 |  2349M |  74 | 945 |  63k|  58k|  25k|  1 |9894 |6246 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3271.56/3280.19	c  3280s| 26100 | 11429 |  2038k|  69.7 |  2349M |  74 | 945 |  63k|  58k|  25k|  1 |9902 |6264 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3282.54/3291.13	c  3291s| 26200 | 11459 |  2043k|  69.7 |  2350M |  74 | 945 |  63k|  58k|  25k|  2 |9943 |6290 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3287.72/3296.31	c  3296s| 26300 | 11489 |  2048k|  69.6 |  2350M |  74 | 945 |  63k|  58k|  25k|  1 |9995 |6314 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3296.70/3305.39	c  3305s| 26400 | 11513 |  2052k|  69.5 |  2350M |  74 | 945 |  63k|  58k|  25k|  2 |  10k|6352 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3308.68/3317.38	c  3317s| 26500 | 11529 |  2056k|  69.4 |  2350M |  74 | 945 |  63k|  58k|  25k|  0 |  10k|6378 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3316.36/3325.04	c  3325s| 26600 | 11557 |  2061k|  69.3 |  2350M |  74 | 945 |  63k|  58k|  26k|  1 |  10k|6411 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3326.13/3334.86	c  3335s| 26700 | 11583 |  2065k|  69.2 |  2350M |  74 | 945 |  63k|  58k|  26k|  1 |  10k|6431 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3327.53/3336.28	c  3336s| 26800 | 11607 |  2068k|  69.1 |  2351M |  74 | 945 |  63k|  58k|  26k|  2 |  10k|6434 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3331.12/3339.80	c  3340s| 26900 | 11621 |  2071k|  68.9 |  2351M |  74 | 945 |  63k|  58k|  26k|  1 |  10k|6453 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3347.48/3356.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3347.48/3356.27	c  3356s| 27000 | 11645 |  2075k|  68.8 |  2351M |  74 | 945 |  63k|  58k|  26k|  2 |  10k|6465 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3359.66/3368.45	c  3368s| 27100 | 11665 |  2078k|  68.7 |  2351M |  74 | 945 |  63k|  58k|  26k|  2 |  10k|6484 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3372.13/3380.90	c  3381s| 27200 | 11681 |  2082k|  68.6 |  2351M |  74 | 945 |  64k|  58k|  26k|  1 |  10k|6504 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3384.50/3393.36	c  3393s| 27300 | 11713 |  2088k|  68.6 |  2351M |  74 | 945 |  64k|  58k|  26k|  1 |  10k|6518 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3390.19/3399.09	c  3399s| 27400 | 11737 |  2092k|  68.5 |  2351M |  74 | 945 |  64k|  58k|  26k|  1 |  10k|6528 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3402.46/3411.32	c  3411s| 27500 | 11769 |  2096k|  68.4 |  2351M |  74 | 945 |  64k|  58k|  26k|  0 |  10k|6560 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3413.83/3422.73	c  3423s| 27600 | 11789 |  2100k|  68.3 |  2351M |  74 | 945 |  64k|  58k|  26k|  1 |  10k|6592 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3424.61/3433.54	c  3434s| 27700 | 11831 |  2106k|  68.3 |  2351M |  74 | 945 |  64k|  58k|  27k|  4 |  10k|6608 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3434.39/3443.34	c  3443s| 27800 | 11855 |  2110k|  68.2 |  2351M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6617 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3442.97/3451.99	c  3452s| 27900 | 11891 |  2115k|  68.1 |  2351M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6627 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3454.94/3463.96	c  3464s| 28000 | 11913 |  2119k|  68.0 |  2351M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6633 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3466.51/3475.58	c  3476s| 28100 | 11933 |  2123k|  68.0 |  2351M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6641 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3469.50/3478.57	c  3479s| 28200 | 11957 |  2127k|  67.9 |  2351M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6652 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3473.40/3482.40	c  3482s| 28300 | 11991 |  2130k|  67.7 |  2351M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6654 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3477.19/3486.22	c  3486s| 28400 | 12031 |  2134k|  67.7 |  2352M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6660 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3478.88/3487.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3478.88/3487.94	c  3488s| 28500 | 12063 |  2137k|  67.5 |  2352M |  74 | 945 |  64k|  58k|  27k|  0 |  10k|6665 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3480.48/3489.54	c  3490s| 28600 | 12089 |  2140k|  67.4 |  2352M |  74 | 945 |  64k|  58k|  27k|  2 |  10k|6665 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3484.07/3493.18	c  3493s| 28700 | 12125 |  2145k|  67.4 |  2352M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6665 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3496.84/3505.94	c  3506s| 28800 | 12157 |  2150k|  67.3 |  2352M |  74 | 945 |  64k|  58k|  27k|  0 |  10k|6670 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3520.68/3529.86	c  3530s| 28900 | 12175 |  2155k|  67.3 |  2352M |  74 | 945 |  64k|  58k|  27k|  1 |  10k|6671 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3531.66/3540.81	c  3541s| 29000 | 12195 |  2158k|  67.1 |  2353M |  74 | 945 |  64k|  58k|  28k|  1 |  10k|6672 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3549.01/3558.25	c  3558s| 29100 | 12223 |  2163k|  67.1 |  2408M |  74 | 945 |  64k|  58k|  28k|  1 |  10k|6680 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3557.20/3566.46	c  3566s| 29200 | 12257 |  2168k|  67.0 |  2408M |  74 | 945 |  64k|  58k|  28k|  1 |  10k|6680 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3562.79/3572.03	c  3572s| 29300 | 12283 |  2172k|  67.0 |  2408M |  74 | 945 |  64k|  58k|  28k|  2 |  10k|6691 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3570.87/3580.16	c  3580s| 29400 | 12308 |  2176k|  66.9 |  2408M |  74 | 945 |  64k|  58k|  28k|  1 |  10k|6705 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3578.05/3587.31	c  3587s| 29500 | 12335 |  2180k|  66.8 |  2408M |  74 | 945 |  64k|  58k|  28k|  1 |  10k|6720 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3585.53/3594.89	c  3595s| 29600 | 12377 |  2184k|  66.7 |  2408M |  74 | 945 |  64k|  58k|  28k|  0 |  10k|6736 |-4.500000e+01 |-4.100000e+01 |   9.76%| unknown
3587.62/3597.00	c 
3587.62/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.62/3597.00	c Solving Time (sec) : 3597.00
3587.62/3597.00	c Solving Nodes      : 29700 (total of 32620 nodes in 2 runs)
3587.62/3597.00	c Primal Bound       : -4.10000000000000e+01 (834 solutions)
3587.62/3597.00	c Dual Bound         : -4.50000000000000e+01
3587.62/3597.00	c Gap                : 9.76 %
3587.73/3597.01	s SATISFIABLE
3587.73/3597.01	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924
3587.73/3597.01	v -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
3587.73/3597.01	v -x901 -x900 x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880
3587.73/3597.01	v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 -x863 -x862 -x861 x860 -x859 -x858
3587.73/3597.01	v -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836
3587.73/3597.01	v -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814
3587.73/3597.01	v -x813 -x812 -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
3587.73/3597.01	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
3587.73/3597.01	v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
3587.73/3597.01	v -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
3587.73/3597.01	v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704
3587.73/3597.01	v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682
3587.73/3597.01	v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660
3587.73/3597.01	v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638
3587.73/3597.01	v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616
3587.73/3597.01	v -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
3587.73/3597.01	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
3587.73/3597.01	v x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
3587.73/3597.01	v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528
3587.73/3597.01	v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
3587.73/3597.01	v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
3587.73/3597.01	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
3587.73/3597.01	v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
3587.73/3597.01	v -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418
3587.73/3597.01	v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396
3587.73/3597.01	v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
3587.73/3597.01	v x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
3587.73/3597.01	v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
3587.73/3597.01	v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308
3587.73/3597.01	v -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286
3587.73/3597.01	v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
3587.73/3597.01	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242
3587.73/3597.01	v -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
3587.73/3597.01	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
3587.73/3597.01	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
3587.73/3597.01	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154
3587.73/3597.01	v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132
3587.73/3597.01	v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
3587.73/3597.01	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
3587.73/3597.01	v -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
3587.73/3597.01	v -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
3587.73/3597.01	v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7
3587.73/3597.01	v -x6 -x5 -x4 -x3 -x2 -x1
3587.73/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.73/3597.01	c Total Time         :    3597.00
3587.73/3597.01	c   solving          :    3597.00
3587.73/3597.01	c   presolving       :       1.28 (included in solving)
3587.73/3597.01	c   reading          :       0.08 (included in solving)
3587.73/3597.01	c   copying          :       2.42 (42 #copies) (minimal 0.05, maximal 0.07, average 0.06)
3587.73/3597.01	c Original Problem   :
3587.73/3597.01	c   Problem name     : HOME/instance-4485009-1751308612.opb
3587.73/3597.01	c   Variables        : 945 (945 binary, 0 integer, 0 continuous)
3587.73/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.73/3597.01	c   Constraints      : 58245 initial, 58245 maximal
3587.73/3597.01	c   Objective        : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.73/3597.01	c Presolved Problem  :
3587.73/3597.01	c   Problem name     : t_HOME/instance-4485009-1751308612.opb
3587.73/3597.01	c   Variables        : 945 (945 binary, 0 integer, 0 continuous)
3587.73/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.73/3597.01	c   Constraints      : 59398 initial, 64353 maximal
3587.73/3597.01	c   Objective        : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.73/3597.01	c   Nonzeros         : 145730 constraint, 118183 clique table
3587.73/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.73/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   domcol           :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   dualsparsify     :       0.40       0.00      1          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   gateextraction   :       0.05       0.00      2          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   milp             :       0.11       0.00      1          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   sparsify         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   trivial          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   dualfix          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   probing          :       0.20       0.00      1          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   vbounds          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   knapsack         :       0.00       0.00      3          0          0          0          0          0          0          0          0          2
3587.73/3597.01	c   setppc           :       0.14       0.00      9          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   linear           :       0.16       0.01      4          0          0          0          0          0          3          0          3          0
3587.73/3597.01	c   logicor          :       0.07       0.01      5          0          0          0          0          0         34          0          0          7
3587.73/3597.01	c   components       :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.73/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.73/3597.01	c   integral         :          0          0          0          0      26856          0          0       6119          0          0       1004          0          0       1681      52724
3587.73/3597.01	c   knapsack         :          1+        13         11      13887          0          0          0          0          0          4          0          0          0          0          0
3587.73/3597.01	c   setppc           :      58398      58398         58     159556          4          0          0       6113     490104          0     713541          0          0          0          0
3587.73/3597.01	c   linear           :          0+        19          0       4487          0          0          0          2          4          3         10          0          0          0          0
3587.73/3597.01	c   logicor          :        999+      5940         11      43077          0          0          0          0        131        454        197          0          0          0          0
3587.73/3597.01	c   fixedvar         :          0          0          0          0          4          0          0       1244          0          0          0          0          0          0          0
3587.73/3597.01	c   countsols        :          0          0          0          0          4          0          0       1244          0          0          0          0          0          0          0
3587.73/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.73/3597.01	c   integral         :     222.24       0.00       0.00       0.00     222.22       0.00       0.00       0.02       0.00       0.00
3587.73/3597.01	c   knapsack         :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   setppc           :      16.94       0.00       0.13      10.27       0.00       0.00       0.00       3.61       0.10       2.82
3587.73/3597.01	c   linear           :       0.03       0.01       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   logicor          :       1.23       0.01       0.00       1.11       0.00       0.00       0.00       0.00       0.00       0.11
3587.73/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.73/3597.01	c   dualfix          :          3          0          0          0
3587.73/3597.01	c   genvbounds       :          0          0          0          0
3587.73/3597.01	c   nlobbt           :          0          0          0          0
3587.73/3597.01	c   obbt             :          0          0          0          0
3587.73/3597.01	c   probing          :          0          0          0          0
3587.73/3597.01	c   pseudoobj        :      86425          0          0          0
3587.73/3597.01	c   redcost          :       3303          0          0          8
3587.73/3597.01	c   rootredcost      :          5          0          0          0
3587.73/3597.01	c   symmetry         :          0          0          0          0
3587.73/3597.01	c   vbounds          :      52243          0          0          0
3587.73/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.73/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.73/3597.01	c   probing          :       0.20       0.00       0.20       0.00       0.00       0.00
3587.73/3597.01	c   pseudoobj        :       3.86       0.00       0.00       3.85       0.00       0.00
3587.73/3597.01	c   redcost          :       0.12       0.00       0.00       0.11       0.00       0.00
3587.73/3597.01	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00       0.01
3587.73/3597.01	c   symmetry         :       0.07       0.00       0.02       0.04       0.00       0.01
3587.73/3597.01	c   vbounds          :       0.09       0.00       0.01       0.07       0.00       0.01
3587.73/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.73/3597.01	c   propagation      :       0.00        460        266          -        355       34.9          0        0.0          -          -          -
3587.73/3597.01	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.73/3597.01	c   bound exceed. LP :       7.52       4611       2377          -      32267      157.6          0        0.0         64      127.7       8938
3587.73/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.73/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.73/3597.01	c   applied globally :       1.76          -          -          0      10847       26.7          -          -         64          -          -
3587.73/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.73/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.73/3597.01	c   cut pool         :       5.34          -      10591        114          -          -     166576     261601          -          -          -          -          -    (maximal pool size:       4125)
3587.73/3597.01	c   aggregation      :      13.06       0.00       3682         58          0          0         36        166          0         14         14          0          0
3587.73/3597.01	c   > cmir           :          -          -          -          -          -          -          -        125          0         11         11          0          -
3587.73/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.73/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -         41          0          3          3          0          -
3587.73/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   clique           :       0.40       0.00         58         58          0          0        504       1408          0        518        518          0          0
3587.73/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   gomory           :    2499.15       0.00       3490         20          0          0     154156     211507       1038       9594       9585          9          0
3587.73/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -      71698        532        983        980          3          -
3587.73/3597.01	c   > strongcg       :          -          -          -          -          -          -          -     139809        506       8611       8605          6          -
3587.73/3597.01	c   impliedbounds    :       3.48       0.00       3682         58          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   mcf              :       0.04       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   multilinear      :       0.00       0.00        338         58          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
3587.73/3597.01	c   zerohalf         :      12.17       0.00       3501         31          0          0      13153      48520        235      22253      22134        119          0
3587.73/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.73/3597.01	c   hybrid           :       0.16       0.00       5995         58      32379          0     230495        712          0       3962
3587.73/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.73/3597.01	c   problem variables:       0.00          -          0          0
3587.73/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.73/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c   relpscost        :     222.18       0.00      26852          0          0          0       1004          0       1702      52724
3587.73/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.73/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.73/3597.01	c   LP solutions     :       0.04          -          -          4          4
3587.73/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.73/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.73/3597.01	c   strong branching :       1.06          -          -        317          0
3587.73/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.73/3597.01	c   adaptivediving   :       2.22       0.00         75          0          0
3587.73/3597.01	c   alns             :       1.04       0.00          5          0          0
3587.73/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.73/3597.01	c   clique           :       0.11       0.00          1          1          1
3587.73/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.73/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.73/3597.01	c   conflictdiving   :      10.34       0.00        295          4          1
3587.73/3597.01	c   crossover        :       4.08       0.00         21          3          0
3587.73/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.73/3597.01	c   distributiondivin:      33.19       0.00        295          0          0
3587.73/3597.01	c   dks              :       0.00       0.00          0          0          0
3587.73/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.73/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.73/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.73/3597.01	c   feaspump         :       0.00       0.00          0          0          0
3587.73/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.73/3597.01	c   fracdiving       :      10.95       0.00        296          0          0
3587.73/3597.01	c   gins             :       0.10       0.00          0          0          0
3587.73/3597.01	c   guideddiving     :       8.75       0.00        295          0          0
3587.73/3597.01	c   indicator        :       0.00       0.00          0          0          0
3587.73/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.73/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.73/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.73/3597.01	c   linesearchdiving :      11.59       0.00        295          1          0
3587.73/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.73/3597.01	c   locks            :       0.05       0.00          1          0          0
3587.73/3597.01	c   lpface           :       0.03       0.00          0          0          0
3587.73/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.73/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.73/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.73/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.73/3597.01	c   objpscostdiving  :      23.11       0.00        148        177          0
3587.73/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.73/3597.01	c   ofins            :       0.00       0.00          0          0          0
3587.73/3597.01	c   oneopt           :       0.04       0.00          8          0          0
3587.73/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.73/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.73/3597.01	c   pscostdiving     :      15.94       0.00        296         12          2
3587.73/3597.01	c   randrounding     :       3.74       0.00       5048         48          0
3587.73/3597.01	c   rens             :       2.90       0.00          2          1          0
3587.73/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.73/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.73/3597.01	c   rins             :       2.95       0.00         14          6          1
3587.73/3597.01	c   rootsoldiving    :      25.13       0.00        148         97          0
3587.73/3597.01	c   rounding         :       5.02       0.00       2541          0          0
3587.73/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.73/3597.01	c   shiftandpropagate:       0.00       0.00          0          0          0
3587.73/3597.01	c   shifting         :       2.91       0.00       1254          0          0
3587.73/3597.01	c   simplerounding   :       0.39       0.00      32852         28          0
3587.73/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3587.73/3597.01	c   trivial          :       0.00       0.00          4          1          1
3587.73/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.73/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.73/3597.01	c   trysol           :       0.01       0.00          0          0          0
3587.73/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.73/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.73/3597.01	c   vbounds          :       0.12       0.00          2          1          1
3587.73/3597.01	c   veclendiving     :       7.74       0.00        295          0          0
3587.73/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.73/3597.01	c   zirounding       :      14.89       0.00       6651        133          0
3587.73/3597.01	c   other solutions  :          -          -          -          0          -
3587.73/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.73/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.73/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.73/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.73/3597.01	c   primal LP        :      12.18       3185          0       0.00       0.00      12.18       3185
3587.73/3597.01	c   dual LP          :     430.16      39111    1813400      46.45    4215.62       0.37         75
3587.73/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.73/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.73/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3587.73/3597.01	c   diving/probing LP:     106.79      11658     374301      32.11    3505.12
3587.73/3597.01	c   strong branching :     114.07       6740     437212      64.87    3832.92          -          -       1801
3587.73/3597.01	c     (at root node) :          -         43       4839     112.53          -
3587.73/3597.01	c   conflict analysis:       2.72        904       8938       9.89    3287.47
3587.73/3597.01	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3587.73/3597.01	c   benders          :       0.00          0          0          0       0.00          0          0          0
3587.73/3597.01	c B&B Tree           :
3587.73/3597.01	c   number of runs   :          2
3587.73/3597.01	c   nodes            :      29700 (23750 internal, 5950 leaves)
3587.73/3597.01	c   feasible leaves  :          3
3587.73/3597.01	c   infeas. leaves   :          5
3587.73/3597.01	c   objective leaves :       5941
3587.73/3597.01	c   nodes (total)    :      32620 (26362 internal, 6258 leaves)
3587.73/3597.01	c   nodes left       :      12412
3587.73/3597.01	c   max depth        :         74
3587.73/3597.01	c   max depth (total):         74
3587.73/3597.01	c   backtracks       :       4603 (15.5%)
3587.73/3597.01	c   early backtracks :          0 (0.0%)
3587.73/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.73/3597.01	c   delayed cutoffs  :          2
3587.73/3597.01	c   repropagations   :        186 (259 domain reductions, 2 cutoffs)
3587.73/3597.01	c   avg switch length:       5.16
3587.73/3597.01	c   switching time   :      44.61
3587.73/3597.01	c Root Node          :
3587.73/3597.01	c   First LP value   : -4.72500000000000e+02
3587.73/3597.01	c   First LP Iters   :        945 (4003.03 Iter/sec)
3587.73/3597.01	c   First LP Time    :       0.24
3587.73/3597.01	c   Final Dual Bound : -4.50000000000000e+01
3587.73/3597.01	c   Final Root Iters :      15409
3587.73/3597.01	c   Root LP Estimate : -3.84907324263694e+01
3587.73/3597.01	c Solution           :
3587.73/3597.01	c   Solutions found  :        834 (11 improvements)
3587.73/3597.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
3587.73/3597.01	c   Gap First Sol.   :   infinite
3587.73/3597.01	c   Gap Last Sol.    :       9.76 %
3587.73/3597.01	c   Primal Bound     : -4.10000000000000e+01   (in run 2, after 21076 nodes, 2771.79 seconds, depth 47, found by <relaxation>)
3587.73/3597.01	c   Dual Bound       : -4.50000000000000e+01
3587.73/3597.01	c   Gap              :       9.76 %
3587.73/3597.01	c Integrals          :      Total       Avg%
3587.73/3597.01	c   primal-dual      :   46505.80      12.93
3587.73/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.73/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.92/3597.25	c Time complete (sec):   3587.988

Verifier Data

OK	-41

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: 63665 MiB (62913 MiB free)
  memory of node 1: 64507 MiB (59070 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485009-1751308612/watcher-4485009-1751308612 -o /tmp/evaluation-result-4485009-1751308612/solver-4485009-1751308612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37232 --watchdog 3760 pbsolver -f HOME/instance-4485009-1751308612.opb -t 3600 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=38592, runsolver pid=38588

[startup+0.100065 s]*
/proc/loadavg: 4.11 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124815604/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=65436 memory=56512 CPUtime=0.1 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 12190 0 0 0 8 2 0 0 20 0 1 0 46540773 67006464 14128 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 16359 14128 2368 2575 0 13266 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65436 KiB
Current children cumulated memory: 56512 KiB

[startup+0.205841 s]*
/proc/loadavg: 4.11 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124758652/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=97400 memory=87104 CPUtime=0.2 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 19792 0 0 0 17 3 0 0 20 0 1 0 46540773 99737600 21776 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 24350 21776 2400 2575 0 21257 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97400 KiB
Current children cumulated memory: 87104 KiB

[startup+0.305687 s]*
/proc/loadavg: 4.11 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124730364/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=131028 memory=120932 CPUtime=0.3 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 29118 0 0 0 26 4 0 0 20 0 1 0 46540773 134172672 30233 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 32757 30233 2496 2575 0 29664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131028 KiB
Current children cumulated memory: 120932 KiB

[startup+0.700174 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124654192/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=114092 memory=103452 CPUtime=0.69 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 35854 0 0 0 64 5 0 0 20 0 1 0 46540773 116830208 25863 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 28523 25863 2528 2575 0 25430 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114092 KiB
Current children cumulated memory: 103452 KiB

[startup+1.50018 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124544744/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=358452 memory=329964 CPUtime=1.49 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 64418 0 0 0 137 12 0 0 20 0 1 0 46540773 367054848 82491 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 89613 82491 2688 2575 0 86520 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 358452 KiB
Current children cumulated memory: 329964 KiB

[startup+3.10552 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124383220/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=388680 memory=352108 CPUtime=3.08 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 69462 0 0 0 295 13 0 0 20 0 1 0 46540773 398008320 88027 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 97170 88027 2688 2575 0 94077 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 388680 KiB
Current children cumulated memory: 352108 KiB

[startup+6.3001 s]
/proc/loadavg: 4.09 4.15 4.12 5/263 38597
/proc/meminfo: memFree=124375676/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=401712 memory=355180 CPUtime=6.27 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 70221 0 0 0 614 13 0 0 20 0 1 0 46540773 411353088 88795 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 100428 88795 2688 2575 0 97335 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 401712 KiB
Current children cumulated memory: 355180 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 38597
/proc/meminfo: memFree=124308324/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=477328 memory=372336 CPUtime=12.65 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 72984 0 0 0 1251 14 0 0 20 0 1 0 46540773 488783872 93084 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 119332 93084 2688 2575 0 116239 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 477328 KiB
Current children cumulated memory: 372336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124150016/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=582100 memory=451184 CPUtime=25.42 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 92698 0 0 0 2525 17 0 0 20 0 1 0 46540773 596070400 112796 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 145525 112796 2688 2575 0 142432 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 582100 KiB
Current children cumulated memory: 451184 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.14 4.12 5/263 38598
/proc/meminfo: memFree=124142140/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=631188 memory=455832 CPUtime=50.95 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 92835 0 0 0 5078 17 0 0 20 0 1 0 46540773 646336512 113958 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 157797 113958 2688 2575 0 154704 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 631188 KiB
Current children cumulated memory: 455832 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/263 38600
/proc/meminfo: memFree=124038852/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=702144 memory=508340 CPUtime=102 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 109454 0 0 0 10180 20 0 0 20 0 1 0 46540773 718995456 127085 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 175536 127085 2688 2575 0 172443 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 702144 KiB
Current children cumulated memory: 508340 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/264 38605
/proc/meminfo: memFree=123881440/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=768172 memory=575368 CPUtime=161.85 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 124702 0 0 0 16162 23 0 0 20 0 1 0 46540773 786608128 143842 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 192043 143842 2688 2575 0 188950 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 768172 KiB
Current children cumulated memory: 575368 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/264 38611
/proc/meminfo: memFree=123744288/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=835000 memory=623716 CPUtime=221.69 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 130151 0 0 0 22145 24 0 0 20 0 1 0 46540773 855040000 155929 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 208750 155929 2688 2575 0 205657 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 835000 KiB
Current children cumulated memory: 623716 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.10 4/261 38627
/proc/meminfo: memFree=125611772/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=955784 memory=644048 CPUtime=281.52 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 142269 0 0 0 28127 25 0 0 20 0 1 0 46540773 978722816 161012 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 238946 161012 2688 2575 0 235853 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 955784 KiB
Current children cumulated memory: 644048 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 38659
/proc/meminfo: memFree=125243676/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=1017144 memory=700340 CPUtime=341.32 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 155318 0 0 0 34105 27 0 0 20 0 1 0 46540773 1041555456 175085 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 254286 175085 2688 2575 0 251193 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1017144 KiB
Current children cumulated memory: 700340 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 38661
/proc/meminfo: memFree=125089880/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=1101428 memory=745888 CPUtime=401.11 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 165447 0 0 0 40082 29 0 0 20 0 1 0 46540773 1127862272 186472 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 275357 186472 2688 2575 0 272264 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 1101428 KiB
Current children cumulated memory: 745888 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 38664
/proc/meminfo: memFree=124947988/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=1150136 memory=756564 CPUtime=460.88 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 166594 0 0 0 46059 29 0 0 20 0 1 0 46540773 1177739264 189141 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 287534 189141 2688 2575 0 284441 0
Current children cumulated CPU time: 460.88 s

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

/proc/loadavg: 3.17 3.39 3.74 4/258 38968
/proc/meminfo: memFree=123527348/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2400432 memory=1998212 CPUtime=3154.03 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 349354 0 0 0 315331 72 0 0 20 0 1 0 46540773 2458042368 499553 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 600108 499553 2944 2575 0 597015 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 2400432 KiB
Current children cumulated memory: 1998212 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.34 3.70 4/257 38972
/proc/meminfo: memFree=123528348/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2400432 memory=1998212 CPUtime=3213.89 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 349602 0 0 0 321317 72 0 0 20 0 1 0 46540773 2458042368 499553 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 600108 499553 2944 2575 0 597015 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 2400432 KiB
Current children cumulated memory: 1998212 KiB

[startup+3282.3 s]
/proc/loadavg: 3.16 3.30 3.66 4/258 38978
/proc/meminfo: memFree=123491448/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2409876 memory=2007404 CPUtime=3273.75 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 355564 0 0 0 327302 73 0 0 20 0 1 0 46540773 2467713024 501851 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 602469 501851 2944 2575 0 599376 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 2409876 KiB
Current children cumulated memory: 2007404 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.26 3.63 4/258 38980
/proc/meminfo: memFree=123438784/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2409876 memory=2040172 CPUtime=3333.62 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 355712 0 0 0 333288 74 0 0 20 0 1 0 46540773 2467713024 510043 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 602469 510043 2944 2575 0 599376 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 2409876 KiB
Current children cumulated memory: 2040172 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.23 3.59 4/258 38982
/proc/meminfo: memFree=123204728/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2413364 memory=2043912 CPUtime=3393.48 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 360494 0 0 0 339273 75 0 0 20 0 1 0 46540773 2471284736 510978 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 603341 510978 2944 2575 0 600248 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 2413364 KiB
Current children cumulated memory: 2043912 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.21 3.56 4/258 38984
/proc/meminfo: memFree=123204324/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2413364 memory=2043912 CPUtime=3453.34 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 360660 0 0 0 345259 75 0 0 20 0 1 0 46540773 2471284736 510978 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 603341 510978 2944 2575 0 600248 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 2413364 KiB
Current children cumulated memory: 2043912 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.19 3.53 4/257 38986
/proc/meminfo: memFree=123179816/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2413364 memory=2043912 CPUtime=3513.2 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 360663 0 0 0 351245 75 0 0 20 0 1 0 46540773 2471284736 510978 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 603341 510978 2944 2575 0 600248 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 2413364 KiB
Current children cumulated memory: 2043912 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.17 3.50 4/256 38988
/proc/meminfo: memFree=123078572/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3573.06 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362515 0 0 0 357230 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

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

# cumulated CPU time of all completed processes:  user=3587.21 s, system=0.795892 s

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

[startup+3584 s]*
/proc/loadavg: 3.08 3.17 3.50 4/256 38988
/proc/meminfo: memFree=123078572/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3574.76 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362517 0 0 0 357400 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

[startup+3590.4 s]
/proc/loadavg: 3.15 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123043100/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3581.14 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362519 0 0 0 358038 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

[startup+3593.6 s]
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123043100/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3584.33 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362520 0 0 0 358357 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

[startup+3595.2 s]
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123043100/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3585.93 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362521 0 0 0 358517 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

[startup+3596 s]*
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123039004/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3586.73 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362521 0 0 0 358597 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

[startup+3596.8 s]
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123039004/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3587.52 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362522 0 0 0 358676 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

[startup+3597.2 s]
/proc/loadavg: 3.13 3.17 3.50 4/256 38989
/proc/meminfo: memFree=123039004/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3587.92 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362549 0 0 0 358716 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB

Child status: 0

Real time (s): 3597.27
CPU time (s): 3588
CPU user time (s): 3587.21
CPU system time (s): 0.795892
CPU usage (%): 99.7425
Max. virtual memory (cumulated for all children) (KiB): 2467244
Max. memory (cumulated for all children) (KiB): 2123828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.21
system time used= 0.795892
maximum resident set size= 2123828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362617
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= 107
involuntary context switches= 1782


# summary of solver processes directly reported to runsolver:
#   pid: 38592
#   total CPU time (s): 3588
#   total CPU user time (s): 3587.21
#   total CPU system time (s): 0.795892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89428 second user time and 15.3852 second system time

The end

Launcher Data

Begin job on nodeC030 at 2025-06-30 20:36:52
IDJOB=4485009
IDBENCH=146684
IDSOLVER=3366
FILE ID=nodeC030/4485009-1751308612
RUNJOBID= nodeC030-1751301413-37232
SLURM_JOB_ID= 9594278
Free space on /tmp= 433004 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485009-1751308612/watcher-4485009-1751308612 -o /tmp/evaluation-result-4485009-1751308612/solver-4485009-1751308612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37232 --watchdog 3760  pbsolver -f HOME/instance-4485009-1751308612.opb -t 3600 -m 31000

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

MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=792315541

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124912744 kB
MemAvailable:   126354916 kB
Buffers:            2564 kB
Cached:          2236924 kB
SwapCached:           16 kB
Active:          3798836 kB
Inactive:        1936584 kB
Active(anon):    3509320 kB
Inactive(anon):     4660 kB
Active(file):     289516 kB
Inactive(file):  1931924 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31824 kB
Writeback:            24 kB
AnonPages:       3498884 kB
Mapped:           127068 kB
Shmem:             18048 kB
KReclaimable:     119544 kB
Slab:             205868 kB
SReclaimable:     119544 kB
SUnreclaim:        86324 kB
KernelStack:        4192 kB
PageTables:        10556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5121764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1095680 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC030 at 2025-06-30 21:36:49