Trace number 4503287

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2025-06-13? 3584.1 3597.48

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-03.opb
MD5SUMb4997059c71cc639972e3ce692139348
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark5.58562
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8412
Total number of constraints181707
Number of constraints which are clauses162605
Number of constraints which are cardinality constraints (but not clauses)710
Number of constraints which are nor clauses,nor cardinality constraints18392
Minimum length of a constraint1
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 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-4503287-1751169526.opb>
0.30/0.34	c original problem has 8412 variables (8412 bin, 0 int, 0 cont) and 181707 constraints
0.30/0.34	c problem read in 0.339 seconds
0.30/0.34	c problem without objective
0.50/0.59	c presolving:
0.79/0.82	c (round 1, fast)       741 del vars, 16995 del conss, 0 add conss, 741 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30152 clqs
0.79/0.84	c (round 2, fast)       783 del vars, 24583 del conss, 0 add conss, 741 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 30110 clqs
0.99/1.06	c    (1.1s) running MILP presolver
1.88/1.99	c    (2.0s) MILP presolver (6 rounds): 102 aggregations, 70 fixings, 0 bound changes
1.88/2.00	c (round 3, medium)     1021 del vars, 24583 del conss, 0 add conss, 741 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 29634 clqs
1.98/2.02	c (round 4, fast)       1021 del vars, 25899 del conss, 0 add conss, 741 chg bounds, 290 chg sides, 420 chg coeffs, 0 upgd conss, 0 impls, 29634 clqs
2.39/2.44	c (round 5, exhaustive) 1021 del vars, 25918 del conss, 0 add conss, 741 chg bounds, 309 chg sides, 420 chg coeffs, 155787 upgd conss, 0 impls, 29634 clqs
2.78/2.84	c (round 6, exhaustive) 1021 del vars, 28577 del conss, 0 add conss, 741 chg bounds, 309 chg sides, 4462 chg coeffs, 155787 upgd conss, 0 impls, 29634 clqs
3.48/3.51	c (round 7, exhaustive) 1049 del vars, 28577 del conss, 0 add conss, 741 chg bounds, 309 chg sides, 4544 chg coeffs, 155787 upgd conss, 0 impls, 29578 clqs
3.48/3.55	c (round 8, fast)       1049 del vars, 29053 del conss, 84 add conss, 741 chg bounds, 309 chg sides, 4880 chg coeffs, 155787 upgd conss, 0 impls, 29580 clqs
3.99/4.06	c (round 9, exhaustive) 1077 del vars, 29057 del conss, 84 add conss, 741 chg bounds, 309 chg sides, 4922 chg coeffs, 155787 upgd conss, 0 impls, 29524 clqs
4.09/4.10	c (round 10, fast)       1077 del vars, 29533 del conss, 168 add conss, 741 chg bounds, 309 chg sides, 5258 chg coeffs, 155787 upgd conss, 0 impls, 29524 clqs
4.58/4.66	c (round 11, exhaustive) 1105 del vars, 29533 del conss, 168 add conss, 741 chg bounds, 309 chg sides, 5258 chg coeffs, 155787 upgd conss, 0 impls, 29468 clqs
4.68/4.70	c (round 12, fast)       1105 del vars, 30009 del conss, 252 add conss, 741 chg bounds, 309 chg sides, 5594 chg coeffs, 155787 upgd conss, 0 impls, 29468 clqs
5.37/5.42	c (round 13, exhaustive) 1133 del vars, 30009 del conss, 252 add conss, 741 chg bounds, 309 chg sides, 5594 chg coeffs, 155787 upgd conss, 0 impls, 29412 clqs
5.37/5.46	c (round 14, fast)       1133 del vars, 30485 del conss, 336 add conss, 741 chg bounds, 309 chg sides, 5930 chg coeffs, 155787 upgd conss, 0 impls, 29412 clqs
5.97/6.01	c (round 15, exhaustive) 1161 del vars, 30485 del conss, 336 add conss, 741 chg bounds, 309 chg sides, 5930 chg coeffs, 155787 upgd conss, 0 impls, 29356 clqs
5.97/6.05	c (round 16, fast)       1161 del vars, 30961 del conss, 420 add conss, 741 chg bounds, 309 chg sides, 6266 chg coeffs, 155787 upgd conss, 0 impls, 29356 clqs
6.56/6.60	c (round 17, exhaustive) 1189 del vars, 30961 del conss, 420 add conss, 741 chg bounds, 309 chg sides, 6266 chg coeffs, 155787 upgd conss, 0 impls, 29300 clqs
6.56/6.64	c (round 18, fast)       1189 del vars, 31437 del conss, 504 add conss, 741 chg bounds, 309 chg sides, 6602 chg coeffs, 155787 upgd conss, 0 impls, 29300 clqs
7.08/7.19	c (round 19, exhaustive) 1217 del vars, 31437 del conss, 504 add conss, 741 chg bounds, 309 chg sides, 6602 chg coeffs, 155787 upgd conss, 0 impls, 29244 clqs
7.17/7.24	c (round 20, fast)       1217 del vars, 32438 del conss, 714 add conss, 741 chg bounds, 309 chg sides, 7358 chg coeffs, 155787 upgd conss, 0 impls, 29264 clqs
7.76/7.83	c (round 21, exhaustive) 1245 del vars, 32438 del conss, 714 add conss, 741 chg bounds, 309 chg sides, 7399 chg coeffs, 155787 upgd conss, 0 impls, 29208 clqs
7.76/7.88	c (round 22, fast)       1245 del vars, 35084 del conss, 1260 add conss, 741 chg bounds, 309 chg sides, 9471 chg coeffs, 155787 upgd conss, 0 impls, 29250 clqs
9.15/9.21	c    (9.2s) probing: 83/7391 (1.1%) - 224 fixings, 0 aggregations, 0 implications, 0 bound changes
9.15/9.21	c    (9.2s) probing aborted: 50/50 successive totally useless probings
10.25/10.36	c    (10.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.45/10.54	c    (10.5s) no symmetry present (symcode time: 0.04)
10.55/10.69	c presolving (23 rounds: 23 fast, 12 medium, 11 exhaustive):
10.55/10.69	c  1245 deleted vars, 35084 deleted constraints, 1260 added constraints, 741 tightened bounds, 0 added holes, 309 changed sides, 9565 changed coefficients
10.55/10.69	c  0 implications, 29250 cliques
10.55/10.69	c presolved problem has 7167 variables (7167 bin, 0 int, 0 cont) and 147883 constraints
10.55/10.69	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
10.55/10.69	c   17244 constraints of type <knapsack>
10.55/10.69	c   29235 constraints of type <setppc>
10.55/10.69	c       2 constraints of type <linear>
10.55/10.69	c  101402 constraints of type <logicor>
10.55/10.69	c transformed objective value is always integral (scale: 1)
10.55/10.69	c Presolving Time: 10.11
10.55/10.69	c 
10.55/10.69	c - non default parameters ----------------------------------------------------------------------
10.55/10.69	c 
10.55/10.69	c # SCIP version 10.0.0
10.55/10.69	c 
10.55/10.69	c # maximal time in seconds to run
10.55/10.69	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
10.55/10.69	c limits/time = 3596.998008
10.55/10.69	c 
10.55/10.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.55/10.69	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
10.55/10.69	c limits/memory = 27900
10.55/10.69	c 
10.55/10.69	c # belongs reading time to solving time?
10.55/10.69	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
10.55/10.69	c timing/reading = TRUE
10.55/10.69	c 
10.55/10.69	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
10.55/10.69	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
10.55/10.69	c reading/opbreader/maxintsize = 47
10.55/10.69	c 
10.55/10.69	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
10.55/10.69	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
10.55/10.69	c propagating/genvbounds/timingmask = 0
10.55/10.69	c 
10.55/10.69	c -----------------------------------------------------------------------------------------------
10.65/10.70	c 
11.45/11.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
11.45/11.55	c  11.6s|     1 |     0 |   657 |     - |   763M |   0 |7167 | 147k| 147k|   0 |  0 | 109 |   0 | 0.000000e+00 |      --      |    Inf | unknown
22.11/22.22	c  22.2s|     1 |     0 |  2874 |     - |   784M |   0 |7167 | 147k| 147k|   7 |  1 | 109 |   0 | 0.000000e+00 |      --      |    Inf | unknown
43.96/44.17	c  44.2s|     1 |     0 |  2960 |     - |   799M |   0 |7167 | 147k| 147k|  15 |  2 | 109 |   0 | 0.000000e+00 |      --      |    Inf | unknown
69.90/70.17	c  70.2s|     1 |     0 |  3071 |     - |   817M |   0 |7167 | 147k| 147k|  27 |  3 | 113 |   0 | 0.000000e+00 |      --      |    Inf | unknown
93.04/93.35	c  93.3s|     1 |     0 |  3236 |     - |   831M |   0 |7167 | 147k| 147k|  41 |  4 | 113 |   0 | 0.000000e+00 |      --      |    Inf | unknown
127.24/127.62	c   128s|     1 |     0 |  3441 |     - |   847M |   0 |7167 | 147k| 147k|  50 |  5 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
156.26/156.75	c   157s|     1 |     0 |  3527 |     - |   862M |   0 |7167 | 148k| 147k|  63 |  6 | 118 |   0 | 0.000000e+00 |      --      |    Inf | unknown
180.38/180.99	c   181s|     1 |     0 |  3641 |     - |   883M |   0 |7167 | 148k| 147k|  80 |  7 | 119 |   0 | 0.000000e+00 |      --      |    Inf | unknown
186.86/187.44	c   187s|     1 |     0 |  3763 |     - |   901M |   0 |7167 | 148k| 147k|  94 |  8 | 123 |   0 | 0.000000e+00 |      --      |    Inf | unknown
197.52/198.13	c   198s|     1 |     0 |  3848 |     - |   919M |   0 |7167 | 148k| 147k| 102 |  9 | 125 |   0 | 0.000000e+00 |      --      |    Inf | unknown
205.09/205.79	c   206s|     1 |     0 |  3888 |     - |   941M |   0 |7167 | 148k| 147k| 112 | 10 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
205.29/205.98	c   206s|     1 |     0 |  4135 |     - |   957M |   0 |7167 | 148k| 148k| 120 | 11 | 137 |   0 | 0.000000e+00 |      --      |    Inf | unknown
210.27/210.90	c   211s|     1 |     2 |  7668 |     - |   958M |   0 |7167 | 148k| 148k| 120 | 11 | 143 |  22 | 0.000000e+00 |      --      |    Inf | unknown
328.56/329.68	c   330s|   100 |    99 |142896 |1401.6 |  1045M |  14 |7167 | 148k| 147k| 221 |  1 | 562 |  22 | 0.000000e+00 |      --      |    Inf | unknown
355.15/356.36	c   356s|   200 |   199 |180873 | 888.1 |  1167M |  44 |7167 | 148k| 147k| 455 |  1 |1044 |  22 | 0.000000e+00 |      --      |    Inf | unknown
367.11/368.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
367.11/368.31	c   368s|   300 |   287 |203072 | 665.3 |  1218M |  71 |7167 | 149k| 147k| 637 |  1 |1279 |  22 | 0.000000e+00 |      --      |    Inf | unknown
373.18/374.44	c   374s|   400 |   341 |212088 | 521.2 |  1220M |  76 |7167 | 149k|   0 | 652 |  0 |1446 |  22 | 0.000000e+00 |      --      |    Inf | unknown
378.47/379.79	c   380s|   500 |   398 |218512 | 429.6 |  1223M |  79 |7167 | 149k| 147k| 656 |  1 |1638 |  22 | 0.000000e+00 |      --      |    Inf | unknown
382.95/384.23	c   384s|   600 |   448 |220731 | 361.6 |  1225M |  83 |7167 | 149k| 147k| 690 |  2 |1729 |  22 | 0.000000e+00 |      --      |    Inf | unknown
385.93/387.29	c   387s|   700 |   479 |221894 | 311.5 |  1226M |  83 |7167 | 149k| 147k| 690 |  1 |1811 |  22 | 0.000000e+00 |      --      |    Inf | unknown
391.61/392.94	c   393s|   800 |   558 |228248 | 280.5 |  1228M |  96 |7167 | 149k| 147k| 709 |  1 |1932 |  22 | 0.000000e+00 |      --      |    Inf | unknown
395.39/396.79	c   397s|   900 |   560 |233367 | 255.0 |  1229M |  98 |7167 | 149k|   0 | 709 |  0 |2125 |  22 | 0.000000e+00 |      --      |    Inf | unknown
397.98/399.36	c   399s|  1000 |   551 |234208 | 230.3 |  1229M |  98 |7167 | 149k|   0 | 709 |  0 |2291 |  22 | 0.000000e+00 |      --      |    Inf | unknown
400.96/402.39	c   402s|  1100 |   537 |235566 | 210.6 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |2440 |  22 | 0.000000e+00 |      --      |    Inf | unknown
404.05/405.41	c   405s|  1200 |   527 |236939 | 194.2 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |2628 |  22 | 0.000000e+00 |      --      |    Inf | unknown
406.54/407.95	c   408s|  1300 |   494 |238036 | 180.1 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |2818 |  22 | 0.000000e+00 |      --      |    Inf | unknown
410.22/411.65	c   412s|  1400 |   410 |242604 | 170.5 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |2956 |  22 | 0.000000e+00 |      --      |    Inf | unknown
413.61/415.06	c   415s|  1500 |   432 |244260 | 160.2 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |3050 |  22 | 0.000000e+00 |      --      |    Inf | unknown
416.49/417.94	c   418s|  1600 |   432 |245541 | 151.0 |  1229M |  98 |7167 | 150k|   0 | 709 |  0 |3186 |  22 | 0.000000e+00 |      --      |    Inf | unknown
419.28/420.70	c   421s|  1700 |   441 |246719 | 142.8 |  1229M |  98 |7167 | 150k|   0 | 709 |  0 |3319 |  22 | 0.000000e+00 |      --      |    Inf | unknown
421.97/423.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
421.97/423.46	c   423s|  1800 |   430 |247983 | 135.5 |  1229M |  98 |7167 | 150k|   0 | 709 |  0 |3496 |  22 | 0.000000e+00 |      --      |    Inf | unknown
424.56/426.04	c   426s|  1900 |   432 |248948 | 128.9 |  1229M |  98 |7167 | 150k|   0 | 709 |  0 |3630 |  22 | 0.000000e+00 |      --      |    Inf | unknown
427.55/429.02	c   429s|  2000 |   446 |250155 | 123.1 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |3777 |  22 | 0.000000e+00 |      --      |    Inf | unknown
430.33/431.83	c   432s|  2100 |   434 |251591 | 117.9 |  1229M |  98 |7167 | 150k| 147k| 709 |  0 |3923 |  22 | 0.000000e+00 |      --      |    Inf | unknown
433.22/434.72	c   435s|  2200 |   429 |253114 | 113.2 |  1229M |  98 |7167 | 150k|   0 | 709 |  0 |4091 |  22 | 0.000000e+00 |      --      |    Inf | unknown
436.31/437.83	c   438s|  2300 |   449 |254237 | 108.8 |  1229M |  98 |7167 | 150k|   0 | 709 |  0 |4253 |  22 | 0.000000e+00 |      --      |    Inf | unknown
441.88/443.45	c   443s|  2400 |   487 |261051 | 107.1 |  1229M |  98 |7167 | 150k|   0 | 709 |  0 |4363 |  22 | 0.000000e+00 |      --      |    Inf | unknown
444.67/446.22	c   446s|  2500 |   495 |262203 | 103.3 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |4543 |  22 | 0.000000e+00 |      --      |    Inf | unknown
447.16/448.76	c   449s|  2600 |   468 |263176 |  99.7 |  1229M |  98 |7167 | 150k| 147k| 709 |  1 |4787 |  22 | 0.000000e+00 |      --      |    Inf | unknown
450.15/451.71	c   452s|  2700 |   492 |264249 |  96.4 |  1229M |  98 |7167 | 151k|   0 | 709 |  0 |4987 |  22 | 0.000000e+00 |      --      |    Inf | unknown
452.54/454.11	c   454s|  2800 |   484 |265144 |  93.3 |  1229M |  98 |7167 | 151k| 147k| 709 |  1 |5235 |  22 | 0.000000e+00 |      --      |    Inf | unknown
455.33/456.95	c   457s|  2900 |   485 |266227 |  90.4 |  1230M |  98 |7167 | 151k| 147k| 709 |  1 |5466 |  22 | 0.000000e+00 |      --      |    Inf | unknown
457.82/459.49	c   459s|  3000 |   473 |267348 |  87.8 |  1230M |  98 |7167 | 151k| 147k| 709 |  1 |5730 |  22 | 0.000000e+00 |      --      |    Inf | unknown
460.51/462.11	c   462s|  3100 |   471 |268650 |  85.4 |  1230M |  98 |7167 | 151k|   0 | 709 |  0 |5952 |  22 | 0.000000e+00 |      --      |    Inf | unknown
463.19/464.84	c   465s|  3200 |   470 |269885 |  83.1 |  1230M |  98 |7167 | 151k|   0 | 709 |  0 |6147 |  22 | 0.000000e+00 |      --      |    Inf | unknown
465.68/467.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
465.68/467.35	c   467s|  3300 |   452 |270955 |  80.9 |  1230M |  98 |7167 | 151k|   0 | 709 |  0 |6337 |  22 | 0.000000e+00 |      --      |    Inf | unknown
468.38/470.09	c   470s|  3400 |   444 |272290 |  78.9 |  1230M |  98 |7167 | 151k| 147k| 709 |  1 |6565 |  22 | 0.000000e+00 |      --      |    Inf | unknown
471.46/473.16	c   473s|  3500 |   469 |273305 |  76.9 |  1230M |  98 |7167 | 151k|   0 | 709 |  0 |6779 |  22 | 0.000000e+00 |      --      |    Inf | unknown
474.15/475.80	c   476s|  3600 |   477 |274211 |  75.0 |  1230M |  98 |7167 | 151k|   0 | 709 |  0 |7018 |  22 | 0.000000e+00 |      --      |    Inf | unknown
476.84/478.55	c   479s|  3700 |   452 |275338 |  73.3 |  1230M |  98 |7167 | 151k| 147k| 709 |  1 |7302 |  22 | 0.000000e+00 |      --      |    Inf | unknown
479.52/481.27	c   481s|  3800 |   478 |276651 |  71.7 |  1230M |  98 |7167 | 151k| 147k| 709 |  1 |7458 |  22 | 0.000000e+00 |      --      |    Inf | unknown
482.01/483.76	c   484s|  3900 |   484 |277326 |  70.1 |  1230M |  98 |7167 | 151k|   0 | 709 |  0 |7596 |  22 | 0.000000e+00 |      --      |    Inf | unknown
484.41/486.17	c   486s|  4000 |   485 |278324 |  68.6 |  1230M |  98 |7167 | 151k| 147k| 709 |  1 |7772 |  22 | 0.000000e+00 |      --      |    Inf | unknown
487.30/489.00	c   489s|  4100 |   485 |279552 |  67.2 |  1230M |  98 |7167 | 151k| 147k| 709 |  1 |8077 |  22 | 0.000000e+00 |      --      |    Inf | unknown
489.88/491.63	c   492s|  4200 |   476 |280610 |  65.8 |  1230M |  98 |7167 | 152k|   0 | 709 |  0 |8417 |  22 | 0.000000e+00 |      --      |    Inf | unknown
492.28/494.01	c   494s|  4300 |   452 |281535 |  64.5 |  1230M |  98 |7167 | 152k| 147k| 709 |  1 |8732 |  22 | 0.000000e+00 |      --      |    Inf | unknown
495.06/496.86	c   497s|  4400 |   453 |282753 |  63.3 |  1230M |  98 |7167 | 152k| 147k| 709 |  1 |8933 |  22 | 0.000000e+00 |      --      |    Inf | unknown
497.75/499.54	c   500s|  4500 |   452 |283659 |  62.1 |  1230M |  98 |7167 | 152k|   0 | 709 |  0 |9128 |  22 | 0.000000e+00 |      --      |    Inf | unknown
500.54/502.37	c   502s|  4600 |   453 |284670 |  61.0 |  1230M |  98 |7167 | 152k| 147k| 709 |  1 |9327 |  22 | 0.000000e+00 |      --      |    Inf | unknown
503.23/505.06	c   505s|  4700 |   439 |285938 |  60.0 |  1230M |  98 |7167 | 152k| 147k| 709 |  0 |9505 |  22 | 0.000000e+00 |      --      |    Inf | unknown
506.32/508.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
506.32/508.18	c   508s|  4800 |   442 |286922 |  58.9 |  1230M |  98 |7167 | 152k|   0 | 709 |  0 |9708 |  22 | 0.000000e+00 |      --      |    Inf | unknown
509.10/510.91	c   511s|  4900 |   439 |287985 |  57.9 |  1230M |  98 |7167 | 151k| 147k| 712 |  1 |9896 |  22 | 0.000000e+00 |      --      |    Inf | unknown
514.68/516.54	c   517s|  5000 |   480 |295675 |  58.3 |  1230M |  98 |7167 | 151k|   0 | 721 |  0 |9972 |  22 | 0.000000e+00 |      --      |    Inf | unknown
517.57/519.43	c   519s|  5100 |   500 |297219 |  57.5 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf | unknown
520.35/522.28	c   522s|  5200 |   532 |298555 |  56.6 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf | unknown
522.94/524.86	c   525s|  5300 |   535 |299664 |  55.8 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf | unknown
525.93/527.85	c   528s|  5400 |   549 |301227 |  55.0 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf | unknown
528.92/530.81	c   531s|  5500 |   559 |302415 |  54.2 |  1230M |  98 |7167 | 151k|   0 | 721 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf | unknown
531.51/533.49	c   533s|  5600 |   547 |303660 |  53.5 |  1230M |  98 |7167 | 151k|   0 | 721 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf | unknown
534.39/536.39	c   536s|  5700 |   553 |304969 |  52.8 |  1230M |  98 |7167 | 151k|   0 | 721 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf | unknown
538.87/540.83	c   541s|  5800 |   538 |305946 |  52.0 |  1230M |  98 |7167 | 151k|   0 | 721 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf | unknown
541.36/543.36	c   543s|  5900 |   539 |307288 |  51.4 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf | unknown
543.85/545.80	c   546s|  6000 |   520 |308466 |  50.7 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf | unknown
546.34/548.34	c   548s|  6100 |   507 |309491 |  50.1 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf | unknown
548.93/550.94	c   551s|  6200 |   492 |310762 |  49.5 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf | unknown
551.52/553.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
551.52/553.59	c   554s|  6300 |   469 |311905 |  48.9 |  1230M |  98 |7167 | 151k| 147k| 721 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf | unknown
554.11/556.11	c   556s|  6400 |   464 |313122 |  48.3 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf | unknown
556.60/558.63	c   559s|  6500 |   475 |314241 |  47.7 |  1230M |  98 |7167 | 151k|   0 | 721 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf | unknown
559.59/561.62	c   562s|  6600 |   492 |315955 |  47.3 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf | unknown
562.08/564.12	c   564s|  6700 |   464 |317017 |  46.7 |  1230M |  98 |7167 | 151k|   0 | 721 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf | unknown
564.86/566.90	c   567s|  6800 |   476 |318170 |  46.2 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf | unknown
567.35/569.47	c   569s|  6900 |   481 |319365 |  45.7 |  1230M |  98 |7167 | 151k| 147k| 721 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf | unknown
569.95/572.03	c   572s|  7000 |   458 |320265 |  45.2 |  1230M |  98 |7167 | 151k| 147k| 721 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf | unknown
572.73/574.82	c   575s|  7100 |   455 |321602 |  44.7 |  1230M |  98 |7167 | 152k| 147k| 721 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf | unknown
575.42/577.58	c   578s|  7200 |   449 |322787 |  44.3 |  1231M |  98 |7167 | 151k| 147k| 724 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf | unknown
578.21/580.32	c   580s|  7300 |   456 |324160 |  43.8 |  1231M |  98 |7167 | 151k|   0 | 726 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf | unknown
581.10/583.28	c   583s|  7400 |   482 |325244 |  43.4 |  1233M |  98 |7167 | 151k| 147k| 726 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf | unknown
583.59/585.74	c   586s|  7500 |   479 |326223 |  43.0 |  1233M |  98 |7167 | 151k|   0 | 726 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf | unknown
585.98/588.19	c   588s|  7600 |   471 |327347 |  42.5 |  1233M |  98 |7167 | 151k| 147k| 726 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
588.67/590.80	c   591s|  7700 |   476 |328413 |  42.1 |  1233M |  98 |7167 | 151k| 147k| 726 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
591.26/593.50	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
591.26/593.50	c   593s|  7800 |   468 |329790 |  41.8 |  1233M |  98 |7167 | 151k|   0 | 726 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
594.34/596.52	c   597s|  7900 |   487 |331123 |  41.4 |  1233M |  98 |7167 | 151k| 147k| 741 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
596.84/599.06	c   599s|  8000 |   479 |332297 |  41.0 |  1233M |  98 |7167 | 151k| 147k| 747 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
599.32/601.51	c   602s|  8100 |   484 |333487 |  40.7 |  1233M |  98 |7167 | 151k| 147k| 747 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
601.71/603.96	c   604s|  8200 |   479 |334590 |  40.3 |  1233M |  98 |7167 | 151k|   0 | 747 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
604.50/606.76	c   607s|  8300 |   476 |335964 |  40.0 |  1233M |  98 |7167 | 151k| 147k| 753 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf | unknown
606.99/609.28	c   609s|  8400 |   463 |337146 |  39.6 |  1233M |  98 |7167 | 150k|   0 | 753 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
609.58/611.82	c   612s|  8500 |   450 |338341 |  39.3 |  1233M |  98 |7167 | 150k| 147k| 755 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
612.17/614.42	c   614s|  8600 |   451 |339650 |  39.0 |  1233M |  98 |7167 | 150k| 147k| 755 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
614.46/616.78	c   617s|  8700 |   438 |340844 |  38.7 |  1233M |  98 |7167 | 150k| 147k| 760 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
622.13/624.45	c   624s|  8800 |   449 |343413 |  38.6 |  1262M |  98 |7167 | 150k| 147k| 911 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
626.91/629.23	c   629s|  8900 |   461 |347078 |  38.5 |  1263M |  98 |7167 | 150k| 147k|1109 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
632.19/634.53	c   635s|  9000 |   470 |351679 |  38.6 |  1263M |  98 |7167 | 150k| 147k|1346 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
636.68/639.00	c   639s|  9100 |   479 |355468 |  38.6 |  1264M |  98 |7167 | 150k| 147k|1554 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
647.64/650.06	c   650s|  9200 |   447 |359714 |  38.7 |  1293M |  98 |7167 | 150k| 147k|1902 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
651.52/653.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
651.52/653.91	c   654s|  9300 |   436 |361708 |  38.5 |  1307M |  98 |7167 | 150k|   0 |2052 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
654.80/657.24	c   657s|  9400 |   425 |363993 |  38.3 |  1307M |  98 |7167 | 150k| 147k|2104 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
666.36/668.85	c   669s|  9500 |   380 |368178 |  38.3 |  1364M |  98 |7167 | 150k| 147k|2346 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
676.33/678.89	c   679s|  9600 |   352 |371551 |  38.3 |  1391M |  98 |7167 | 150k| 147k|2615 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
683.70/686.29	c   686s|  9700 |   341 |378853 |  38.6 |  1392M |  98 |7167 | 150k| 147k|2745 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
691.57/694.11	c   694s|  9800 |   316 |381424 |  38.5 |  1393M |  98 |7167 | 150k| 147k|2892 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf | unknown
695.85/698.49	c   698s|  9900 |   312 |383453 |  38.3 |  1424M |  98 |7167 | 150k|   0 |3122 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
710.10/712.72	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
710.10/712.77	c (run 1, node 9973) performing user restart
710.10/712.77	c 
710.10/712.78	c (restart) converted 34 cuts from the global cut pool into linear constraints
710.10/712.78	c 
710.30/712.95	c presolving:
710.41/713.07	c (round 1, medium)     40 del vars, 62 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 29330 clqs
710.51/713.11	c (round 2, fast)       40 del vars, 197 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 29330 clqs
710.70/713.30	c (round 3, exhaustive) 40 del vars, 454 del conss, 74 add conss, 0 chg bounds, 12 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 29330 clqs
710.80/713.47	c (round 4, exhaustive) 40 del vars, 581 del conss, 134 add conss, 0 chg bounds, 12 chg sides, 53 chg coeffs, 0 upgd conss, 0 impls, 29338 clqs
711.10/713.77	c (round 5, exhaustive) 40 del vars, 897 del conss, 134 add conss, 0 chg bounds, 12 chg sides, 775 chg coeffs, 36 upgd conss, 0 impls, 29398 clqs
711.70/714.37	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
711.70/714.37	c  40 deleted vars, 918 deleted constraints, 135 added constraints, 0 tightened bounds, 0 added holes, 13 changed sides, 813 changed coefficients
711.70/714.37	c  0 implications, 29399 cliques
711.70/714.37	c presolved problem has 7127 variables (7127 bin, 0 int, 0 cont) and 149484 constraints
711.70/714.37	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
711.70/714.37	c   17261 constraints of type <knapsack>
711.70/714.37	c   29111 constraints of type <setppc>
711.70/714.37	c       4 constraints of type <and>
711.70/714.37	c      13 constraints of type <linear>
711.70/714.37	c  103095 constraints of type <logicor>
711.70/714.37	c transformed objective value is always integral (scale: 1)
711.70/714.37	c Presolving Time: 11.57
711.70/714.38	c 
712.10/714.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
712.10/714.74	c   715s|     1 |     0 |388619 |     - |  1492M |   0 |7127 | 149k| 147k|   0 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
725.56/728.22	c   728s|     1 |     0 |388798 |     - |  1508M |   0 |7127 | 149k| 147k|  13 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
750.78/753.59	c   754s|     1 |     0 |388893 |     - |  1522M |   0 |7127 | 149k| 147k|  20 |  2 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
775.80/778.61	c   779s|     1 |     0 |388955 |     - |  1537M |   0 |7127 | 149k| 147k|  28 |  3 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
802.81/805.76	c   806s|     1 |     0 |389041 |     - |  1554M |   0 |7127 | 149k| 147k|  39 |  4 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
814.17/817.14	c   817s|     1 |     0 |389087 |     - |  1569M |   0 |7127 | 149k| 147k|  48 |  5 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
840.07/843.11	c   843s|     1 |     0 |389157 |     - |  1584M |   0 |7127 | 149k| 147k|  54 |  6 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
867.97/871.13	c   871s|     1 |     0 |389325 |     - |  1601M |   0 |7127 | 149k| 147k|  67 |  7 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
886.80/890.04	c   890s|     1 |     0 |389656 |     - |  1615M |   0 |7127 | 149k| 147k|  78 |  8 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
900.74/904.08	c   904s|     1 |     0 |389785 |     - |  1638M |   0 |7127 | 149k| 147k|  95 |  9 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
907.91/911.27	c   911s|     1 |     0 |389894 |     - |  1659M |   0 |7127 | 149k| 147k| 109 | 10 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
908.11/911.43	c   911s|     1 |     0 |390042 |     - |  1673M |   0 |7127 | 149k| 147k| 128 | 11 |  17k|  22 | 0.000000e+00 |      --      |    Inf | unknown
914.19/917.55	c   918s|     1 |     2 |393878 |     - |  1674M |   0 |7127 | 149k| 147k| 128 | 11 |  17k|  41 | 0.000000e+00 |      --      |    Inf | unknown
930.51/933.96	c   934s|   100 |    91 |446954 |  43.7 |  1767M |  32 |7127 | 150k| 147k| 180 |  1 |  17k|  41 | 0.000000e+00 |      --      |    Inf | unknown
940.77/944.23	c   944s|   200 |   169 |462692 |  44.8 |  1830M |  42 |7127 | 150k| 147k| 235 |  1 |  18k|  41 | 0.000000e+00 |      --      |    Inf | unknown
981.81/985.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
981.81/985.42	c   985s|   300 |   263 |494865 |  47.5 |  1924M |  44 |7127 | 150k| 147k| 617 |  1 |  18k|  41 | 0.000000e+00 |      --      |    Inf | unknown
999.75/1003.42	c  1003s|   400 |   357 |510767 |  48.6 |  1959M |  44 |7127 | 150k| 147k|1011 |  1 |  18k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1005.62/1009.31	c  1009s|   500 |   457 |514735 |  48.5 |  1962M |  44 |7127 | 150k| 147k|1259 |  1 |  18k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1020.66/1024.44	c  1024s|   600 |   553 |524169 |  49.0 |  2082M |  44 |7127 | 151k| 147k|1739 |  1 |  18k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1029.03/1032.82	c  1033s|   700 |   646 |538667 |  49.9 |  2108M |  44 |7127 | 151k| 147k|2131 |  1 |  18k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1034.90/1038.70	c  1039s|   800 |   724 |542756 |  49.8 |  2126M |  52 |7127 | 151k| 147k|2473 |  1 |  18k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1042.77/1046.69	c  1047s|   900 |   793 |550315 |  50.0 |  2137M |  52 |7127 | 151k|   0 |2670 |  0 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1046.45/1050.38	c  1050s|  1000 |   815 |552284 |  49.7 |  2138M |  52 |7127 | 151k|   0 |2758 |  0 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1053.32/1057.24	c  1057s|  1100 |   885 |556204 |  49.6 |  2140M |  52 |7127 | 151k| 147k|3104 |  1 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1057.60/1061.51	c  1062s|  1200 |   943 |558581 |  49.4 |  2145M |  52 |7127 | 151k| 147k|3218 |  1 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1068.85/1072.88	c  1073s|  1300 |  1014 |572817 |  50.2 |  2163M |  52 |7127 | 151k| 147k|3532 |  1 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1074.82/1078.83	c  1079s|  1400 |  1085 |579397 |  50.4 |  2166M |  52 |7127 | 151k| 147k|3701 |  1 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1085.37/1089.46	c  1089s|  1500 |  1169 |583247 |  50.3 |  2182M |  52 |7127 | 151k|   0 |3980 |  0 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1094.53/1098.67	c  1099s|  1600 |  1243 |593328 |  50.7 |  2217M |  52 |7127 | 151k| 147k|4269 |  1 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1100.60/1104.70	c  1105s|  1700 |  1324 |597041 |  50.6 |  2219M |  54 |7127 | 151k| 147k|4614 |  1 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1106.47/1110.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1106.47/1110.68	c  1111s|  1800 |  1379 |599983 |  50.4 |  2221M |  54 |7127 | 151k| 147k|4950 |  1 |  19k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1112.04/1116.21	c  1116s|  1900 |  1457 |606042 |  50.5 |  2224M |  54 |7127 | 151k| 147k|5171 |  1 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1117.32/1121.58	c  1122s|  2000 |  1518 |609159 |  50.3 |  2240M |  54 |7127 | 151k|   0 |5449 |  0 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1122.00/1126.28	c  1126s|  2100 |  1549 |611191 |  50.1 |  2242M |  54 |7127 | 151k| 147k|5658 |  1 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1127.57/1131.81	c  1132s|  2200 |  1629 |617589 |  50.2 |  2245M |  54 |7127 | 151k| 147k|5900 |  1 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1137.22/1141.51	c  1142s|  2300 |  1699 |623743 |  50.3 |  2266M |  55 |7127 | 151k| 147k|6223 |  1 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1146.79/1151.16	c  1151s|  2400 |  1769 |629419 |  50.3 |  2285M |  55 |7127 | 151k| 147k|6573 |  1 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1155.15/1159.52	c  1160s|  2500 |  1836 |632732 |  50.2 |  2288M |  55 |7127 | 151k| 147k|6855 |  1 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1159.63/1164.04	c  1164s|  2600 |  1895 |638040 |  50.2 |  2292M |  55 |7127 | 151k|   0 |7067 |  0 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1166.30/1170.78	c  1171s|  2700 |  1951 |643993 |  50.3 |  2309M |  55 |7127 | 151k| 147k|7495 |  1 |  20k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1171.77/1176.28	c  1176s|  2800 |  2012 |649608 |  50.3 |  2312M |  55 |7127 | 151k| 147k|7830 |  1 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1176.85/1181.36	c  1181s|  2900 |  2076 |652177 |  50.2 |  2314M |  55 |7127 | 151k|   0 |8141 |  0 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1182.42/1186.92	c  1187s|  3000 |  2122 |658243 |  50.2 |  2316M |  55 |7127 | 151k| 147k|8393 |  1 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1188.00/1192.52	c  1193s|  3100 |  2199 |663525 |  50.3 |  2320M |  55 |7127 | 151k| 147k|8777 |  1 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1194.57/1199.16	c  1199s|  3200 |  2284 |669450 |  50.3 |  2322M |  55 |7127 | 151k| 147k|9265 |  1 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1198.94/1203.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1198.94/1203.51	c  1204s|  3300 |  2318 |672049 |  50.1 |  2323M |  55 |7127 | 151k| 147k|9445 |  1 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1205.21/1209.81	c  1210s|  3400 |  2385 |677885 |  50.2 |  2340M |  55 |7127 | 151k|   0 |9788 |  0 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1209.19/1213.89	c  1214s|  3500 |  2443 |678912 |  49.9 |  2343M |  55 |7127 | 151k| 147k|9854 |  1 |  21k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1212.87/1217.50	c  1218s|  3600 |  2470 |679757 |  49.6 |  2344M |  55 |7127 | 151k| 147k|9912 |  1 |  22k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1216.25/1220.92	c  1221s|  3700 |  2473 |680556 |  49.3 |  2344M |  55 |7127 | 151k|   0 |9965 |  0 |  22k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1219.74/1224.42	c  1224s|  3800 |  2473 |681535 |  49.0 |  2344M |  55 |7127 | 151k| 147k|  10k|  1 |  22k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1222.82/1227.51	c  1228s|  3900 |  2472 |682611 |  48.7 |  2344M |  55 |7127 | 152k| 147k|  10k|  1 |  22k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1229.59/1234.32	c  1234s|  4000 |  2522 |688003 |  48.8 |  2362M |  60 |7127 | 151k| 147k|  10k|  1 |  23k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1235.27/1240.02	c  1240s|  4100 |  2586 |694337 |  48.9 |  2365M |  60 |7127 | 151k| 147k|  10k|  1 |  23k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1241.54/1246.37	c  1246s|  4200 |  2651 |700113 |  48.9 |  2380M |  60 |7127 | 151k| 147k|  10k|  2 |  23k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1247.11/1251.99	c  1252s|  4300 |  2723 |708876 |  49.2 |  2386M |  60 |7127 | 151k|   0 |  11k|  0 |  23k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1252.19/1257.07	c  1257s|  4400 |  2774 |711629 |  49.1 |  2387M |  60 |7127 | 151k| 147k|  11k|  1 |  23k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1258.85/1263.73	c  1264s|  4500 |  2827 |714612 |  48.9 |  2403M |  60 |7127 | 151k| 147k|  11k|  1 |  23k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1262.44/1267.36	c  1267s|  4600 |  2854 |715874 |  48.7 |  2404M |  60 |7127 | 151k| 147k|  11k|  1 |  24k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1265.82/1270.75	c  1271s|  4700 |  2879 |717071 |  48.4 |  2405M |  60 |7127 | 152k| 147k|  12k|  0 |  24k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1270.40/1275.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1270.40/1275.35	c  1275s|  4800 |  2944 |719736 |  48.3 |  2407M |  60 |7127 | 152k| 147k|  12k|  1 |  24k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1275.77/1280.78	c  1281s|  4900 |  2997 |725822 |  48.4 |  2411M |  60 |7127 | 151k| 147k|  12k|  1 |  24k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1286.03/1291.03	c  1291s|  5000 |  3057 |745680 |  49.4 |  2413M |  60 |7127 | 152k| 147k|  12k|  1 |  24k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1293.69/1298.74	c  1299s|  5100 |  3134 |750986 |  49.4 |  2431M |  60 |7127 | 152k|   0 |  13k|  0 |  24k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1298.46/1303.59	c  1304s|  5200 |  3187 |753450 |  49.2 |  2432M |  60 |7127 | 152k| 147k|  13k|  1 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1303.84/1308.95	c  1309s|  5300 |  3263 |758681 |  49.2 |  2435M |  60 |7127 | 151k|   0 |  13k|  0 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1309.31/1314.46	c  1314s|  5400 |  3326 |762112 |  49.2 |  2438M |  60 |7127 | 151k| 147k|  14k|  1 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1320.46/1325.62	c  1326s|  5500 |  3378 |767925 |  49.2 |  2441M |  60 |7127 | 152k| 147k|  14k|  1 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1328.23/1333.43	c  1333s|  5600 |  3444 |771736 |  49.1 |  2446M |  60 |7127 | 151k|   0 |  14k|  0 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1335.49/1340.76	c  1341s|  5700 |  3523 |781109 |  49.4 |  2449M |  60 |7127 | 151k| 147k|  15k|  1 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1340.47/1345.77	c  1346s|  5800 |  3580 |784215 |  49.3 |  2450M |  60 |7127 | 151k|   0 |  15k|  0 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1346.34/1351.68	c  1352s|  5900 |  3614 |793734 |  49.6 |  2452M |  60 |7127 | 152k|   0 |  15k|  0 |  25k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1353.71/1359.04	c  1359s|  6000 |  3644 |803580 |  49.9 |  2453M |  60 |7127 | 152k| 147k|  16k|  1 |  26k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1359.79/1365.13	c  1365s|  6100 |  3725 |811824 |  50.1 |  2458M |  60 |7127 | 152k| 147k|  16k|  1 |  26k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1364.47/1369.88	c  1370s|  6200 |  3773 |814669 |  50.0 |  2459M |  60 |7127 | 152k| 147k|  16k|  1 |  26k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1369.04/1374.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1369.04/1374.45	c  1374s|  6300 |  3795 |817639 |  49.8 |  2460M |  60 |7127 | 152k| 147k|  17k|  1 |  26k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1374.52/1379.98	c  1380s|  6400 |  3848 |820719 |  49.7 |  2462M |  60 |7127 | 152k| 147k|  17k|  1 |  26k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1380.00/1385.45	c  1385s|  6500 |  3924 |827516 |  49.8 |  2466M |  60 |7127 | 152k| 147k|  17k|  1 |  26k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1384.58/1390.02	c  1390s|  6600 |  3992 |829646 |  49.7 |  2469M |  60 |7127 | 152k| 147k|  17k|  1 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1389.35/1394.86	c  1395s|  6700 |  4057 |832117 |  49.5 |  2471M |  60 |7127 | 152k| 147k|  18k|  1 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1402.30/1407.80	c  1408s|  6800 |  4143 |836309 |  49.5 |  2475M |  60 |7127 | 152k| 147k|  18k|  2 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1408.28/1413.84	c  1414s|  6900 |  4227 |843415 |  49.6 |  2478M |  60 |7127 | 152k| 147k|  18k|  1 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1414.55/1420.12	c  1420s|  7000 |  4293 |849593 |  49.7 |  2481M |  60 |7127 | 152k| 147k|  18k|  1 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1421.63/1427.22	c  1427s|  7100 |  4370 |861893 |  50.1 |  2483M |  60 |7127 | 152k|   0 |  18k|  0 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1426.81/1432.43	c  1432s|  7200 |  4425 |864544 |  50.0 |  2484M |  60 |7127 | 152k| 147k|  19k|  1 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1431.39/1437.06	c  1437s|  7300 |  4461 |868089 |  49.9 |  2486M |  60 |7127 | 152k| 147k|  19k|  1 |  27k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1444.44/1450.12	c  1450s|  7400 |  4549 |879014 |  50.2 |  2491M |  60 |7127 | 152k|   0 |  19k|  0 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1456.48/1462.24	c  1462s|  7500 |  4635 |882748 |  50.1 |  2537M |  60 |7127 | 152k| 147k|  19k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1461.97/1467.70	c  1468s|  7600 |  4713 |887769 |  50.1 |  2540M |  60 |7127 | 152k| 147k|  20k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1467.54/1473.37	c  1473s|  7700 |  4800 |895462 |  50.3 |  2545M |  60 |7127 | 152k| 147k|  20k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1474.51/1480.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1474.51/1480.32	c  1480s|  7800 |  4890 |903762 |  50.5 |  2548M |  60 |7127 | 152k| 147k|  20k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1487.86/1493.78	c  1494s|  7900 |  4983 |913580 |  50.8 |  2580M |  60 |7127 | 152k| 147k|  20k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1500.12/1506.02	c  1506s|  8000 |  5060 |919133 |  50.8 |  2597M |  60 |7127 | 152k| 147k|  20k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1526.14/1532.13	c  1532s|  8100 |  5144 |921652 |  50.6 |  2600M |  60 |7127 | 152k| 147k|  21k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1543.57/1549.61	c  1550s|  8200 |  5232 |924616 |  50.5 |  2636M |  60 |7127 | 152k| 147k|  21k|  3 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1555.03/1561.19	c  1561s|  8300 |  5322 |928818 |  50.5 |  2640M |  60 |7127 | 152k| 147k|  21k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1563.00/1569.13	c  1569s|  8400 |  5394 |931567 |  50.3 |  2643M |  60 |7127 | 152k|   0 |  22k|  0 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1568.77/1574.98	c  1575s|  8500 |  5447 |935333 |  50.3 |  2660M |  60 |7127 | 152k|   0 |  22k|  0 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1573.45/1579.67	c  1580s|  8600 |  5482 |939939 |  50.3 |  2662M |  60 |7127 | 152k| 147k|  22k|  1 |  28k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1577.73/1583.96	c  1584s|  8700 |  5494 |942034 |  50.1 |  2676M |  60 |7127 | 152k|   0 |  23k|  0 |  29k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1580.42/1586.63	c  1587s|  8800 |  5425 |944015 |  49.9 |  2676M |  60 |7127 | 152k|   0 |  23k|  0 |  29k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1583.20/1589.43	c  1589s|  8900 |  5141 |945741 |  49.8 |  2676M |  60 |7127 | 152k|   0 |  23k|  0 |  29k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1585.90/1592.12	c  1592s|  9000 |  5141 |947241 |  49.6 |  2676M |  60 |7127 | 153k|   0 |  23k|  0 |  29k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1595.06/1601.33	c  1601s|  9100 |  5163 |955292 |  49.7 |  2678M |  60 |7127 | 153k| 147k|  23k|  1 |  30k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1602.33/1608.61	c  1609s|  9200 |  5186 |957503 |  49.6 |  2680M |  60 |7127 | 153k| 147k|  23k|  1 |  30k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1610.71/1617.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1610.71/1617.06	c  1617s|  9300 |  5175 |959443 |  49.4 |  2694M |  60 |7127 | 153k| 147k|  23k|  1 |  30k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1614.38/1620.78	c  1621s|  9400 |  5065 |961350 |  49.3 |  2694M |  60 |7127 | 153k| 147k|  23k|  1 |  30k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1628.64/1635.02	c  1635s|  9500 |  5095 |981366 |  50.1 |  2692M |  60 |7127 | 152k| 147k|  24k|  1 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1640.10/1646.57	c  1647s|  9600 |  5143 |984675 |  50.0 |  2706M |  60 |7127 | 152k| 147k|  24k|  1 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1645.68/1652.18	c  1652s|  9700 |  5227 |997560 |  50.4 |  2709M |  60 |7127 | 152k| 147k|  24k|  1 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1654.34/1660.84	c  1661s|  9800 |  5306 |  1004k|  50.5 |  2710M |  60 |7127 | 152k| 147k|  24k|  1 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1670.19/1676.72	c  1677s|  9900 |  5375 |  1008k|  50.4 |  2712M |  60 |7127 | 152k| 147k|  25k|  1 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1677.26/1683.87	c  1684s| 10000 |  5444 |  1015k|  50.5 |  2714M |  60 |7127 | 152k|   0 |  25k|  0 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1681.94/1688.53	c  1689s| 10100 |  5491 |  1018k|  50.4 |  2716M |  60 |7127 | 152k| 147k|  25k|  1 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1694.20/1700.85	c  1701s| 10200 |  5540 |  1022k|  50.4 |  2718M |  60 |7127 | 152k| 147k|  26k|  2 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1702.38/1709.02	c  1709s| 10300 |  5590 |  1030k|  50.5 |  2720M |  60 |7127 | 152k| 147k|  26k|  1 |  31k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1714.13/1720.82	c  1721s| 10400 |  5648 |  1039k|  50.7 |  2725M |  60 |7127 | 152k| 147k|  26k|  1 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1727.08/1733.81	c  1734s| 10500 |  5703 |  1047k|  50.8 |  2729M |  60 |7127 | 152k| 147k|  27k|  2 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1736.35/1743.15	c  1743s| 10600 |  5767 |  1050k|  50.8 |  2734M |  60 |7127 | 152k| 147k|  27k|  1 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1740.53/1747.31	c  1747s| 10700 |  5817 |  1053k|  50.6 |  2735M |  60 |7127 | 152k| 147k|  27k|  1 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1745.62/1752.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1745.62/1752.43	c  1752s| 10800 |  5858 |  1058k|  50.6 |  2738M |  60 |7127 | 152k| 147k|  28k|  1 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1750.79/1757.64	c  1758s| 10900 |  5907 |  1062k|  50.6 |  2739M |  60 |7127 | 152k| 147k|  28k|  2 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1758.06/1764.92	c  1765s| 11000 |  5979 |  1071k|  50.8 |  2742M |  60 |7127 | 152k|   0 |  29k|  0 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1767.42/1774.39	c  1774s| 11100 |  6065 |  1077k|  50.8 |  2745M |  60 |7127 | 152k|   0 |  29k|  0 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1776.39/1783.35	c  1783s| 11200 |  6109 |  1080k|  50.7 |  2748M |  60 |7127 | 152k|   0 |  29k|  0 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1784.36/1791.31	c  1791s| 11300 |  6130 |  1082k|  50.6 |  2748M |  60 |7127 | 152k| 147k|  29k|  1 |  32k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1790.55/1797.55	c  1798s| 11400 |  6171 |  1084k|  50.4 |  2749M |  60 |7127 | 152k| 147k|  30k|  1 |  33k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1794.73/1801.79	c  1802s| 11500 |  6205 |  1086k|  50.3 |  2750M |  60 |7127 | 152k| 147k|  30k|  1 |  33k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1799.61/1806.62	c  1807s| 11600 |  6259 |  1090k|  50.3 |  2752M |  60 |7127 | 152k| 147k|  30k|  1 |  33k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1803.59/1810.67	c  1811s| 11700 |  6293 |  1093k|  50.1 |  2753M |  60 |7127 | 152k| 147k|  30k|  1 |  33k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1806.78/1813.81	c  1814s| 11800 |  6318 |  1095k|  50.0 |  2754M |  60 |7127 | 152k| 147k|  30k|  1 |  33k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1809.57/1816.64	c  1817s| 11900 |  6330 |  1096k|  49.8 |  2755M |  60 |7127 | 152k|   0 |  30k|  0 |  33k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1820.53/1827.64	c  1828s| 12000 |  6339 |  1109k|  50.2 |  2755M |  60 |7127 | 152k|   0 |  31k|  0 |  33k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1824.91/1832.09	c  1832s| 12100 |  6379 |  1114k|  50.2 |  2756M |  60 |7127 | 152k| 147k|  31k|  1 |  34k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1830.38/1837.52	c  1838s| 12200 |  6415 |  1117k|  50.1 |  2758M |  60 |7127 | 152k| 147k|  31k|  1 |  34k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1834.57/1841.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1834.57/1841.71	c  1842s| 12300 |  6437 |  1120k|  50.0 |  2758M |  60 |7127 | 152k| 147k|  31k|  2 |  34k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1840.54/1847.74	c  1848s| 12400 |  6458 |  1124k|  50.0 |  2760M |  60 |7127 | 152k| 147k|  32k|  1 |  34k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1846.42/1853.68	c  1854s| 12500 |  6511 |  1130k|  50.0 |  2763M |  60 |7127 | 152k|   0 |  32k|  0 |  34k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1850.41/1857.61	c  1858s| 12600 |  6525 |  1134k|  50.0 |  2769M |  60 |7127 | 152k|   0 |  32k|  0 |  34k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1855.39/1862.65	c  1863s| 12700 |  6566 |  1139k|  50.0 |  2771M |  60 |7127 | 152k| 147k|  33k|  2 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1860.37/1867.68	c  1868s| 12800 |  6634 |  1149k|  50.2 |  2774M |  76 |7127 | 152k| 147k|  33k|  1 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1862.96/1870.22	c  1870s| 12900 |  6653 |  1150k|  50.0 |  2774M |  76 |7127 | 152k|   0 |  33k|  0 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1866.54/1873.83	c  1874s| 13000 |  6684 |  1153k|  49.9 |  2776M |  76 |7127 | 152k| 147k|  33k|  2 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1870.23/1877.57	c  1878s| 13100 |  6730 |  1156k|  49.9 |  2778M |  76 |7127 | 153k| 147k|  33k|  1 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1876.60/1883.92	c  1884s| 13200 |  6766 |  1159k|  49.7 |  2779M |  76 |7127 | 153k| 147k|  33k|  1 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1880.49/1887.81	c  1888s| 13300 |  6815 |  1160k|  49.6 |  2781M |  76 |7127 | 153k| 147k|  33k|  1 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1883.87/1891.24	c  1891s| 13400 |  6860 |  1162k|  49.5 |  2782M |  76 |7127 | 153k| 147k|  33k|  1 |  35k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1887.46/1894.81	c  1895s| 13500 |  6897 |  1163k|  49.3 |  2784M |  76 |7127 | 153k|   0 |  33k|  0 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1891.24/1898.63	c  1899s| 13600 |  6945 |  1165k|  49.2 |  2785M |  76 |7127 | 153k| 147k|  33k|  1 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1894.53/1901.97	c  1902s| 13700 |  6966 |  1167k|  49.0 |  2786M |  76 |7127 | 153k| 147k|  33k|  1 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1902.20/1909.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1902.20/1909.68	c  1910s| 13800 |  7005 |  1175k|  49.2 |  2787M |  76 |7127 | 153k| 147k|  34k|  1 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1905.99/1913.45	c  1913s| 13900 |  7037 |  1178k|  49.1 |  2788M |  76 |7127 | 153k| 147k|  34k|  1 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1909.58/1917.08	c  1917s| 14000 |  7061 |  1179k|  48.9 |  2789M |  76 |7127 | 153k| 147k|  34k|  1 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1912.76/1920.22	c  1920s| 14100 |  7067 |  1181k|  48.8 |  2789M |  76 |7127 | 153k|   0 |  34k|  0 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1916.55/1924.00	c  1924s| 14200 |  7096 |  1182k|  48.7 |  2791M |  76 |7127 | 153k| 147k|  34k|  1 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1919.54/1927.03	c  1927s| 14300 |  7125 |  1184k|  48.5 |  2792M |  76 |7127 | 153k|   0 |  34k|  0 |  36k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1922.42/1929.92	c  1930s| 14400 |  7129 |  1185k|  48.4 |  2794M |  76 |7127 | 153k|   0 |  34k|  0 |  37k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1925.80/1933.38	c  1933s| 14500 |  7140 |  1186k|  48.2 |  2794M |  76 |7127 | 153k| 147k|  34k|  1 |  37k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1929.49/1937.08	c  1937s| 14600 |  7168 |  1188k|  48.1 |  2795M |  76 |7127 | 153k| 147k|  34k|  1 |  37k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1932.48/1940.00	c  1940s| 14700 |  7182 |  1189k|  48.0 |  2796M |  76 |7127 | 153k| 147k|  34k|  1 |  37k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1936.57/1944.17	c  1944s| 14800 |  7201 |  1193k|  47.9 |  2796M |  76 |7127 | 153k| 147k|  34k|  1 |  37k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1939.95/1947.50	c  1948s| 14900 |  7203 |  1194k|  47.8 |  2796M |  76 |7127 | 153k| 147k|  34k|  1 |  37k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1943.44/1951.07	c  1951s| 15000 |  7204 |  1195k|  47.6 |  2796M |  76 |7127 | 153k| 147k|  34k|  1 |  37k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1946.82/1954.45	c  1954s| 15100 |  7213 |  1197k|  47.5 |  2798M |  76 |7127 | 153k| 147k|  34k|  1 |  38k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1949.71/1957.35	c  1957s| 15200 |  7226 |  1198k|  47.3 |  2798M |  76 |7127 | 153k| 147k|  34k|  1 |  38k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1958.48/1966.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1958.48/1966.13	c  1966s| 15300 |  7225 |  1199k|  47.2 |  2798M |  76 |7127 | 153k| 147k|  35k|  1 |  38k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1961.86/1969.58	c  1970s| 15400 |  7243 |  1201k|  47.1 |  2799M |  76 |7127 | 153k|   0 |  35k|  0 |  38k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1964.55/1972.24	c  1972s| 15500 |  7239 |  1202k|  47.0 |  2799M |  76 |7127 | 153k|   0 |  35k|  0 |  38k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1971.33/1979.05	c  1979s| 15600 |  7220 |  1204k|  46.9 |  2799M |  76 |7127 | 153k|   0 |  35k|  0 |  38k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1978.31/1986.07	c  1986s| 15700 |  6781 |  1222k|  47.4 |  2799M |  76 |7127 | 153k|   0 |  35k|  0 |  38k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1988.66/1996.48	c  1996s| 15800 |  6815 |  1236k|  47.7 |  2801M |  76 |7127 | 153k| 147k|  35k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
1993.35/2001.15	c  2001s| 15900 |  6880 |  1239k|  47.6 |  2803M |  76 |7127 | 153k| 147k|  35k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2009.20/2017.06	c  2017s| 16000 |  6945 |  1243k|  47.6 |  2805M |  76 |7127 | 153k| 147k|  35k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2014.18/2022.06	c  2022s| 16100 |  7036 |  1246k|  47.5 |  2808M |  76 |7127 | 153k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2019.85/2027.79	c  2028s| 16200 |  7125 |  1256k|  47.8 |  2812M |  76 |7127 | 153k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2026.13/2034.08	c  2034s| 16300 |  7216 |  1265k|  47.9 |  2816M |  76 |7127 | 153k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2031.01/2038.90	c  2039s| 16400 |  7307 |  1269k|  47.9 |  2819M |  76 |7127 | 153k| 147k|  36k|  2 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2035.29/2043.27	c  2043s| 16500 |  7387 |  1272k|  47.8 |  2821M |  76 |7127 | 153k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2039.87/2047.83	c  2048s| 16600 |  7468 |  1274k|  47.7 |  2824M |  76 |7127 | 152k|   0 |  36k|  0 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2045.05/2053.00	c  2053s| 16700 |  7546 |  1285k|  47.9 |  2828M |  76 |7127 | 152k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2048.53/2056.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2048.53/2056.51	c  2057s| 16800 |  7610 |  1286k|  47.8 |  2830M |  76 |7127 | 152k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2051.92/2059.95	c  2060s| 16900 |  7652 |  1288k|  47.7 |  2831M |  76 |7127 | 152k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2055.61/2063.69	c  2064s| 17000 |  7716 |  1290k|  47.6 |  2833M |  76 |7127 | 152k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2059.00/2067.01	c  2067s| 17100 |  7751 |  1291k|  47.5 |  2834M |  76 |7127 | 153k| 147k|  36k|  1 |  39k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2062.38/2070.49	c  2070s| 17200 |  7790 |  1295k|  47.4 |  2838M |  76 |7127 | 153k|   0 |  36k|  0 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2065.97/2074.03	c  2074s| 17300 |  7821 |  1297k|  47.3 |  2839M |  76 |7127 | 152k| 147k|  36k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2077.72/2085.88	c  2086s| 17400 |  7912 |  1299k|  47.2 |  2856M |  76 |7127 | 152k| 147k|  36k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2097.66/2105.84	c  2106s| 17500 |  8006 |  1303k|  47.2 |  2858M |  76 |7127 | 152k| 147k|  37k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2107.53/2115.76	c  2116s| 17600 |  8092 |  1312k|  47.4 |  2860M |  76 |7127 | 152k| 147k|  37k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2119.10/2127.31	c  2127s| 17700 |  8179 |  1316k|  47.3 |  2861M |  76 |7127 | 152k| 147k|  37k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2129.76/2138.04	c  2138s| 17800 |  8250 |  1324k|  47.5 |  2864M |  76 |7127 | 153k| 147k|  38k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2142.31/2150.64	c  2151s| 17900 |  8316 |  1333k|  47.6 |  2865M |  76 |7127 | 153k| 147k|  38k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2148.49/2156.88	c  2157s| 18000 |  8372 |  1343k|  47.8 |  2868M |  76 |7127 | 153k|   0 |  38k|  0 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2153.07/2161.44	c  2161s| 18100 |  8442 |  1347k|  47.8 |  2869M |  76 |7127 | 153k| 147k|  39k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2163.03/2171.40	c  2171s| 18200 |  8510 |  1354k|  47.8 |  2888M |  76 |7127 | 153k| 147k|  39k|  1 |  40k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2171.20/2179.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2171.20/2179.60	c  2180s| 18300 |  8576 |  1360k|  47.9 |  2889M |  76 |7127 | 153k| 147k|  39k|  1 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2175.88/2184.37	c  2184s| 18400 |  8626 |  1365k|  47.9 |  2889M |  76 |7127 | 153k| 147k|  40k|  1 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2181.06/2189.51	c  2190s| 18500 |  8691 |  1372k|  48.0 |  2891M |  76 |7127 | 153k| 147k|  40k|  1 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2185.34/2193.82	c  2194s| 18600 |  8736 |  1375k|  47.9 |  2893M |  76 |7127 | 153k| 147k|  40k|  1 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2195.91/2204.41	c  2204s| 18700 |  8765 |  1378k|  47.8 |  2897M |  76 |7127 | 153k| 147k|  40k|  1 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2200.39/2208.97	c  2209s| 18800 |  8807 |  1382k|  47.8 |  2898M |  76 |7127 | 153k| 147k|  41k|  1 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2204.67/2213.23	c  2213s| 18900 |  8808 |  1383k|  47.7 |  2898M |  76 |7127 | 153k| 147k|  41k|  1 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2215.84/2224.40	c  2224s| 19000 |  8818 |  1389k|  47.7 |  2899M |  76 |7127 | 153k| 147k|  41k|  2 |  41k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2225.61/2234.22	c  2234s| 19100 |  8871 |  1396k|  47.8 |  2900M |  76 |7127 | 152k| 147k|  41k|  1 |  42k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2230.99/2239.65	c  2240s| 19200 |  8923 |  1405k|  47.9 |  2902M |  76 |7127 | 153k|   0 |  41k|  0 |  42k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2237.07/2245.74	c  2246s| 19300 |  8961 |  1410k|  48.0 |  2903M |  76 |7127 | 152k| 147k|  42k|  1 |  42k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2241.45/2250.14	c  2250s| 19400 |  8997 |  1414k|  47.9 |  2904M |  76 |7127 | 152k|   0 |  42k|  0 |  42k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2249.22/2257.95	c  2258s| 19500 |  9069 |  1426k|  48.2 |  2907M |  76 |7127 | 153k| 147k|  42k|  2 |  42k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2257.18/2265.99	c  2266s| 19600 |  9134 |  1439k|  48.4 |  2923M |  76 |7127 | 153k| 147k|  42k|  1 |  42k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2262.76/2271.54	c  2272s| 19700 |  9191 |  1446k|  48.5 |  2925M |  76 |7127 | 153k|   0 |  43k|  0 |  42k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2268.25/2277.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2268.25/2277.06	c  2277s| 19800 |  9263 |  1457k|  48.7 |  2927M |  76 |7127 | 153k| 147k|  43k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2274.81/2283.66	c  2284s| 19900 |  9356 |  1461k|  48.7 |  2946M |  76 |7127 | 153k| 147k|  43k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2281.49/2290.35	c  2290s| 20000 |  9441 |  1469k|  48.8 |  2948M |  76 |7127 | 153k| 147k|  43k|  2 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2287.07/2295.96	c  2296s| 20100 |  9526 |  1474k|  48.8 |  2951M |  76 |7127 | 153k| 147k|  43k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2293.45/2302.38	c  2302s| 20200 |  9614 |  1482k|  48.9 |  2953M |  76 |7127 | 153k| 147k|  44k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2300.23/2309.13	c  2309s| 20300 |  9707 |  1488k|  49.0 |  2956M |  76 |7127 | 153k| 147k|  44k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2316.96/2325.92	c  2326s| 20400 |  9789 |  1512k|  49.6 |  2959M |  76 |7127 | 153k| 147k|  44k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2323.94/2332.99	c  2333s| 20500 |  9864 |  1520k|  49.7 |  2962M |  76 |7127 | 153k| 147k|  45k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2337.50/2346.58	c  2347s| 20600 |  9942 |  1543k|  50.3 |  2965M |  76 |7127 | 153k| 147k|  45k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2342.77/2351.84	c  2352s| 20700 | 10030 |  1550k|  50.3 |  2969M |  76 |7127 | 153k| 147k|  45k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2347.85/2357.00	c  2357s| 20800 | 10120 |  1555k|  50.3 |  2972M |  76 |7127 | 153k| 147k|  45k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2354.32/2363.49	c  2363s| 20900 | 10212 |  1566k|  50.5 |  2976M |  76 |7127 | 153k| 147k|  46k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2373.16/2382.30	c  2382s| 21000 | 10306 |  1575k|  50.6 |  2979M |  76 |7127 | 153k| 147k|  46k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2385.23/2394.45	c  2394s| 21100 | 10394 |  1587k|  50.9 |  2984M |  76 |7127 | 153k| 147k|  46k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2393.09/2402.33	c  2402s| 21200 | 10469 |  1594k|  51.0 |  2986M |  76 |7127 | 153k| 147k|  47k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2403.25/2412.52	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2403.25/2412.52	c  2413s| 21300 | 10555 |  1605k|  51.1 |  2989M |  76 |7127 | 153k| 147k|  47k|  2 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2412.62/2421.95	c  2422s| 21400 | 10638 |  1617k|  51.4 |  2992M |  76 |7127 | 153k| 147k|  47k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2419.59/2428.98	c  2429s| 21500 | 10730 |  1630k|  51.6 |  2996M |  76 |7127 | 153k| 147k|  48k|  1 |  43k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2427.56/2436.97	c  2437s| 21600 | 10818 |  1642k|  51.8 |  2998M |  76 |7127 | 153k| 147k|  48k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2436.04/2445.45	c  2445s| 21700 | 10901 |  1649k|  51.9 |  3001M |  76 |7127 | 153k| 147k|  49k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2444.71/2454.15	c  2454s| 21800 | 10977 |  1653k|  51.8 |  3005M |  76 |7127 | 153k| 147k|  49k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2449.88/2459.35	c  2459s| 21900 | 11069 |  1656k|  51.8 |  3009M |  76 |7127 | 153k| 147k|  49k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2456.06/2465.60	c  2466s| 22000 | 11161 |  1663k|  51.8 |  3013M |  76 |7127 | 153k| 147k|  49k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2461.55/2471.08	c  2471s| 22100 | 11261 |  1670k|  51.9 |  3019M |  76 |7127 | 153k| 147k|  49k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2466.63/2476.15	c  2476s| 22200 | 11315 |  1678k|  52.0 |  3022M |  84 |7127 | 153k| 147k|  49k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2476.78/2486.38	c  2486s| 22300 | 11413 |  1691k|  52.2 |  3025M |  84 |7127 | 153k| 147k|  50k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2481.16/2490.74	c  2491s| 22400 | 11469 |  1696k|  52.2 |  3026M |  84 |7127 | 153k|   0 |  50k|  0 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2488.54/2498.18	c  2498s| 22500 | 11546 |  1702k|  52.2 |  3044M |  84 |7127 | 153k| 147k|  50k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2494.61/2504.24	c  2504s| 22600 | 11639 |  1710k|  52.3 |  3048M |  84 |7127 | 153k| 147k|  50k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2500.50/2510.18	c  2510s| 22700 | 11712 |  1714k|  52.3 |  3052M |  84 |7127 | 153k| 147k|  51k|  2 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2505.96/2515.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2505.96/2515.65	c  2516s| 22800 | 11797 |  1719k|  52.3 |  3054M |  84 |7127 | 153k| 147k|  51k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2512.15/2521.86	c  2522s| 22900 | 11892 |  1726k|  52.3 |  3057M |  84 |7127 | 153k| 147k|  51k|  1 |  44k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2519.52/2529.26	c  2529s| 23000 | 11990 |  1735k|  52.4 |  3061M |  84 |7127 | 153k| 147k|  52k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2526.99/2536.71	c  2537s| 23100 | 12082 |  1745k|  52.6 |  3064M |  84 |7127 | 153k| 147k|  52k|  2 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2531.67/2541.44	c  2541s| 23200 | 12152 |  1750k|  52.6 |  3068M |  84 |7127 | 153k| 147k|  52k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2539.94/2549.76	c  2550s| 23300 | 12236 |  1759k|  52.7 |  3072M |  84 |7127 | 153k|   0 |  52k|  0 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2546.12/2555.92	c  2556s| 23400 | 12329 |  1764k|  52.7 |  3076M |  84 |7127 | 153k| 147k|  53k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2554.39/2564.28	c  2564s| 23500 | 12422 |  1778k|  52.9 |  3079M |  84 |7127 | 153k| 147k|  53k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2559.76/2569.65	c  2570s| 23600 | 12508 |  1782k|  52.9 |  3082M |  84 |7127 | 153k| 147k|  54k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2567.44/2577.32	c  2577s| 23700 | 12590 |  1789k|  52.9 |  3100M |  84 |7127 | 153k| 147k|  54k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2575.32/2585.29	c  2585s| 23800 | 12677 |  1802k|  53.2 |  3117M |  84 |7127 | 153k| 147k|  54k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2582.10/2592.03	c  2592s| 23900 | 12759 |  1809k|  53.2 |  3122M |  84 |7127 | 153k| 147k|  55k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2588.17/2598.15	c  2598s| 24000 | 12837 |  1815k|  53.3 |  3125M |  84 |7127 | 153k| 147k|  55k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2601.82/2611.81	c  2612s| 24100 | 12928 |  1823k|  53.3 |  3128M |  84 |7127 | 153k| 147k|  55k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2609.39/2619.49	c  2619s| 24200 | 13020 |  1831k|  53.4 |  3132M |  84 |7127 | 153k| 147k|  56k|  1 |  45k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2616.47/2626.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2616.47/2626.59	c  2627s| 24300 | 13091 |  1839k|  53.5 |  3149M |  84 |7127 | 153k| 147k|  56k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2622.05/2632.17	c  2632s| 24400 | 13171 |  1843k|  53.4 |  3153M |  84 |7127 | 153k|   0 |  56k|  0 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2625.93/2636.09	c  2636s| 24500 | 13215 |  1845k|  53.3 |  3154M |  84 |7127 | 153k| 147k|  56k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2631.01/2641.11	c  2641s| 24600 | 13276 |  1850k|  53.3 |  3156M |  84 |7127 | 153k| 147k|  56k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2639.18/2649.38	c  2649s| 24700 | 13316 |  1857k|  53.4 |  3157M |  84 |7127 | 153k| 147k|  57k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2646.95/2657.15	c  2657s| 24800 | 13413 |  1870k|  53.6 |  3162M |  84 |7127 | 153k| 147k|  57k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2656.11/2666.35	c  2666s| 24900 | 13505 |  1884k|  53.9 |  3164M |  84 |7127 | 153k| 147k|  57k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2665.58/2675.87	c  2676s| 25000 | 13593 |  1895k|  54.0 |  3166M |  84 |7127 | 153k| 147k|  57k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2672.25/2682.58	c  2683s| 25100 | 13684 |  1902k|  54.1 |  3173M |  84 |7127 | 153k| 147k|  58k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2677.93/2688.24	c  2688s| 25200 | 13768 |  1909k|  54.1 |  3176M |  84 |7127 | 153k| 147k|  58k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2682.61/2692.92	c  2693s| 25300 | 13842 |  1912k|  54.0 |  3178M |  84 |7127 | 153k| 147k|  58k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2692.27/2702.66	c  2703s| 25400 | 13916 |  1921k|  54.1 |  3181M |  84 |7127 | 153k| 147k|  58k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2703.14/2713.53	c  2714s| 25500 | 14007 |  1925k|  54.1 |  3213M |  84 |7127 | 153k| 147k|  59k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2712.30/2722.77	c  2723s| 25600 | 14095 |  1932k|  54.2 |  3231M |  84 |7127 | 153k| 147k|  59k|  1 |  46k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2718.38/2728.86	c  2729s| 25700 | 14138 |  1941k|  54.2 |  3233M |  84 |7127 | 153k| 147k|  59k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2731.04/2741.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2731.04/2741.59	c  2742s| 25800 | 14222 |  1947k|  54.3 |  3249M |  84 |7127 | 153k| 147k|  60k|  2 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2736.32/2746.88	c  2747s| 25900 | 14314 |  1950k|  54.2 |  3267M |  84 |7127 | 153k|   0 |  60k|  0 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2743.89/2754.42	c  2754s| 26000 | 14408 |  1954k|  54.1 |  3292M |  84 |7127 | 153k| 147k|  60k|  3 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2750.27/2760.88	c  2761s| 26100 | 14496 |  1962k|  54.2 |  3295M |  84 |7127 | 153k| 147k|  61k|  2 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2754.95/2765.52	c  2766s| 26200 | 14588 |  1966k|  54.2 |  3300M |  84 |7127 | 153k| 147k|  61k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2759.24/2769.89	c  2770s| 26300 | 14655 |  1969k|  54.1 |  3303M |  84 |7127 | 153k| 147k|  61k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2764.12/2774.76	c  2775s| 26400 | 14720 |  1974k|  54.1 |  3305M |  84 |7127 | 153k| 147k|  62k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2769.50/2780.18	c  2780s| 26500 | 14780 |  1981k|  54.1 |  3307M |  84 |7127 | 153k| 147k|  62k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2778.16/2788.86	c  2789s| 26600 | 14853 |  1994k|  54.4 |  3311M |  84 |7127 | 153k| 147k|  62k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2784.25/2794.98	c  2795s| 26700 | 14946 |  2001k|  54.4 |  3315M |  84 |7127 | 153k| 147k|  62k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2800.00/2810.74	c  2811s| 26800 | 15019 |  2005k|  54.4 |  3319M |  84 |7127 | 153k| 147k|  63k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2808.17/2819.00	c  2819s| 26900 | 15033 |  2008k|  54.3 |  3320M |  84 |7127 | 153k| 147k|  63k|  1 |  47k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2813.74/2824.54	c  2825s| 27000 | 15062 |  2017k|  54.4 |  3320M |  84 |7127 | 153k| 147k|  63k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2824.31/2835.14	c  2835s| 27100 | 15075 |  2024k|  54.4 |  3326M |  84 |7127 | 152k| 147k|  63k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2833.57/2844.47	c  2844s| 27200 | 15127 |  2028k|  54.4 |  3329M |  84 |7127 | 152k| 147k|  64k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2843.34/2854.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2843.34/2854.22	c  2854s| 27300 | 15176 |  2036k|  54.5 |  3330M |  84 |7127 | 153k| 147k|  64k|  2 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2850.81/2861.79	c  2862s| 27400 | 15223 |  2039k|  54.4 |  3332M |  84 |7127 | 152k| 147k|  64k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2858.28/2869.27	c  2869s| 27500 | 15275 |  2043k|  54.4 |  3333M |  84 |7127 | 153k| 147k|  65k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2863.96/2874.97	c  2875s| 27600 | 15318 |  2048k|  54.3 |  3335M |  84 |7127 | 152k| 147k|  65k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2867.74/2878.77	c  2879s| 27700 | 15358 |  2050k|  54.3 |  3336M |  84 |7127 | 152k| 147k|  65k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2871.33/2882.34	c  2882s| 27800 | 15377 |  2051k|  54.2 |  3337M |  84 |7127 | 153k| 147k|  65k|  1 |  48k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2876.91/2887.91	c  2888s| 27900 | 15373 |  2057k|  54.1 |  3354M |  84 |7127 | 153k| 147k|  65k|  1 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2883.19/2894.26	c  2894s| 28000 | 15393 |  2061k|  54.1 |  3355M |  84 |7127 | 153k| 147k|  66k|  1 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2892.85/2903.91	c  2904s| 28100 | 15403 |  2064k|  54.1 |  3355M |  84 |7127 | 153k| 147k|  66k|  1 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2902.42/2913.54	c  2914s| 28200 | 15418 |  2079k|  54.3 |  3358M |  84 |7127 | 152k| 147k|  66k|  1 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2913.29/2924.41	c  2924s| 28300 | 15445 |  2087k|  54.4 |  3358M |  84 |7127 | 153k|   0 |  67k|  0 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2917.57/2928.70	c  2929s| 28400 | 15485 |  2092k|  54.4 |  3359M |  84 |7127 | 153k| 147k|  67k|  1 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2922.45/2933.66	c  2934s| 28500 | 15535 |  2100k|  54.4 |  3362M |  84 |7127 | 153k|   0 |  67k|  0 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2926.73/2937.93	c  2938s| 28600 | 15569 |  2104k|  54.4 |  3363M |  84 |7127 | 153k| 147k|  67k|  1 |  49k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2932.21/2943.40	c  2943s| 28700 | 15576 |  2108k|  54.4 |  3366M |  84 |7127 | 153k| 147k|  68k|  1 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2939.19/2950.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2939.19/2950.43	c  2950s| 28800 | 15622 |  2117k|  54.4 |  3366M |  84 |7127 | 153k| 147k|  68k|  1 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2967.40/2978.72	c  2979s| 28900 | 15647 |  2121k|  54.4 |  3381M |  84 |7127 | 152k| 147k|  68k|  1 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2972.38/2983.76	c  2984s| 29000 | 15700 |  2129k|  54.5 |  3383M |  84 |7127 | 152k| 147k|  69k|  1 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2977.67/2989.06	c  2989s| 29100 | 15763 |  2135k|  54.5 |  3386M |  84 |7127 | 153k|   0 |  69k|  0 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2983.14/2994.56	c  2995s| 29200 | 15810 |  2144k|  54.6 |  3387M |  84 |7127 | 153k| 147k|  69k|  1 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2992.31/3003.71	c  3004s| 29300 | 15828 |  2147k|  54.5 |  3388M |  84 |7127 | 152k| 147k|  70k|  1 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
2995.79/3007.20	c  3007s| 29400 | 15844 |  2149k|  54.4 |  3389M |  84 |7127 | 153k| 147k|  70k|  1 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3003.16/3014.63	c  3015s| 29500 | 15841 |  2156k|  54.5 |  3389M |  84 |7127 | 152k| 147k|  70k|  2 |  50k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3007.94/3019.42	c  3019s| 29600 | 15871 |  2164k|  54.5 |  3390M |  84 |7127 | 153k| 147k|  70k|  2 |  51k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3013.12/3024.65	c  3025s| 29700 | 15905 |  2167k|  54.5 |  3420M |  84 |7127 | 153k| 147k|  70k|  1 |  51k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3016.31/3027.83	c  3028s| 29800 | 15922 |  2168k|  54.4 |  3420M |  84 |7127 | 153k| 147k|  70k|  1 |  51k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3020.99/3032.55	c  3033s| 29900 | 15924 |  2169k|  54.3 |  3421M |  84 |7127 | 153k| 147k|  71k|  1 |  51k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3025.68/3037.22	c  3037s| 30000 | 15902 |  2172k|  54.2 |  3421M |  84 |7127 | 153k|   0 |  71k|  0 |  51k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3051.20/3062.83	c  3063s| 30100 | 15919 |  2177k|  54.2 |  3422M |  84 |7127 | 153k|   0 |  71k|  0 |  51k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3057.17/3068.85	c  3069s| 30200 | 15957 |  2188k|  54.3 |  3423M |  84 |7127 | 153k|   0 |  71k|  0 |  52k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3062.36/3074.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3062.36/3074.06	c  3074s| 30300 | 16024 |  2199k|  54.5 |  3425M |  84 |7127 | 153k| 147k|  72k|  1 |  52k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3067.24/3078.95	c  3079s| 30400 | 16061 |  2205k|  54.5 |  3426M |  84 |7127 | 153k| 147k|  72k|  1 |  52k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3070.53/3082.24	c  3082s| 30500 | 16077 |  2206k|  54.4 |  3427M |  84 |7127 | 153k|   0 |  72k|  0 |  52k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3074.91/3086.61	c  3087s| 30600 | 16043 |  2208k|  54.3 |  3427M |  84 |7127 | 153k| 147k|  72k|  1 |  52k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3087.28/3099.06	c  3099s| 30700 | 16065 |  2220k|  54.4 |  3427M |  84 |7127 | 153k| 147k|  72k|  1 |  52k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3094.14/3105.98	c  3106s| 30800 | 16079 |  2225k|  54.4 |  3427M |  84 |7127 | 153k| 147k|  73k|  1 |  52k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3100.23/3112.05	c  3112s| 30900 | 16059 |  2228k|  54.4 |  3428M |  84 |7127 | 153k| 147k|  73k|  1 |  53k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3107.59/3119.44	c  3119s| 31000 | 16080 |  2230k|  54.3 |  3429M |  84 |7127 | 153k| 147k|  73k|  1 |  53k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3115.27/3127.14	c  3127s| 31100 | 16073 |  2234k|  54.2 |  3429M |  84 |7127 | 153k|   0 |  74k|  0 |  53k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3120.15/3132.01	c  3132s| 31200 | 16086 |  2238k|  54.2 |  3430M |  84 |7127 | 153k| 147k|  74k|  1 |  53k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3126.52/3138.41	c  3138s| 31300 | 16123 |  2249k|  54.3 |  3431M |  84 |7127 | 153k|   0 |  74k|  0 |  53k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3132.22/3144.12	c  3144s| 31400 | 16119 |  2252k|  54.3 |  3432M |  84 |7127 | 153k| 147k|  75k|  1 |  53k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3135.20/3147.15	c  3147s| 31500 | 16141 |  2255k|  54.2 |  3432M |  84 |7127 | 153k| 147k|  75k|  1 |  53k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3138.78/3150.71	c  3151s| 31600 | 16143 |  2258k|  54.2 |  3433M |  84 |7127 | 153k| 147k|  75k|  1 |  54k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3144.17/3156.15	c  3156s| 31700 | 16128 |  2265k|  54.2 |  3433M |  84 |7127 | 153k| 147k|  75k|  1 |  54k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3156.22/3168.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3156.22/3168.25	c  3168s| 31800 | 16158 |  2276k|  54.3 |  3433M |  84 |7127 | 153k|   0 |  76k|  0 |  54k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3161.01/3173.05	c  3173s| 31900 | 16182 |  2283k|  54.4 |  3434M |  84 |7127 | 153k|   0 |  76k|  0 |  54k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3173.16/3185.23	c  3185s| 32000 | 16205 |  2297k|  54.6 |  3436M |  84 |7127 | 153k|   0 |  76k|  0 |  54k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3182.13/3194.25	c  3194s| 32100 | 16226 |  2311k|  54.8 |  3437M |  84 |7127 | 153k|   0 |  76k|  0 |  54k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3190.20/3202.38	c  3202s| 32200 | 16276 |  2319k|  54.8 |  3438M |  84 |7127 | 153k| 147k|  77k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3195.99/3208.11	c  3208s| 32300 | 16342 |  2329k|  55.0 |  3441M |  84 |7127 | 153k| 147k|  77k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3201.36/3213.58	c  3214s| 32400 | 16373 |  2333k|  54.9 |  3443M |  84 |7127 | 153k| 147k|  77k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3205.85/3218.02	c  3218s| 32500 | 16424 |  2339k|  54.9 |  3444M |  84 |7127 | 153k| 147k|  77k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3210.13/3222.36	c  3222s| 32600 | 16456 |  2341k|  54.8 |  3445M |  84 |7127 | 153k| 147k|  77k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3217.50/3229.72	c  3230s| 32700 | 16476 |  2348k|  54.9 |  3446M |  84 |7127 | 153k| 147k|  78k|  2 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3226.57/3238.81	c  3239s| 32800 | 16513 |  2358k|  55.0 |  3448M |  84 |7127 | 153k| 147k|  78k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3237.74/3250.02	c  3250s| 32900 | 16552 |  2369k|  55.1 |  3449M |  84 |7127 | 153k| 147k|  78k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3245.71/3258.07	c  3258s| 33000 | 16579 |  2374k|  55.1 |  3450M |  84 |7127 | 153k| 147k|  79k|  1 |  55k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3251.98/3264.37	c  3264s| 33100 | 16641 |  2384k|  55.2 |  3452M |  84 |7127 | 153k|   0 |  79k|  0 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3258.05/3270.40	c  3270s| 33200 | 16654 |  2393k|  55.3 |  3454M |  84 |7127 | 153k|   0 |  79k|  0 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3263.13/3275.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3263.13/3275.55	c  3276s| 33300 | 16650 |  2397k|  55.2 |  3454M |  84 |7127 | 153k| 147k|  79k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3285.86/3298.33	c  3298s| 33400 | 16688 |  2403k|  55.3 |  3455M |  84 |7127 | 153k| 147k|  80k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3293.04/3305.52	c  3306s| 33500 | 16766 |  2405k|  55.2 |  3468M |  84 |7127 | 153k| 147k|  80k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3297.32/3309.82	c  3310s| 33600 | 16704 |  2406k|  55.1 |  3473M |  84 |7127 | 153k| 147k|  80k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3317.36/3329.97	c  3330s| 33700 | 16703 |  2412k|  55.1 |  3489M |  84 |7127 | 153k| 147k|  80k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3325.33/3337.93	c  3338s| 33800 | 16728 |  2422k|  55.2 |  3489M |  84 |7127 | 153k| 147k|  81k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3333.40/3346.04	c  3346s| 33900 | 16800 |  2435k|  55.4 |  3491M |  84 |7127 | 153k| 147k|  81k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3338.97/3351.68	c  3352s| 34000 | 16887 |  2441k|  55.4 |  3495M |  84 |7127 | 153k| 147k|  81k|  1 |  56k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3346.84/3359.56	c  3360s| 34100 | 16985 |  2454k|  55.5 |  3500M |  84 |7127 | 153k| 147k|  82k|  1 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3352.72/3365.40	c  3365s| 34200 | 17079 |  2460k|  55.5 |  3503M |  84 |7127 | 153k| 147k|  82k|  1 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3363.08/3375.84	c  3376s| 34300 | 17097 |  2470k|  55.7 |  3504M |  84 |7127 | 153k|   0 |  82k|  0 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3370.46/3383.22	c  3383s| 34400 | 17113 |  2480k|  55.8 |  3505M |  84 |7127 | 153k|   0 |  82k|  0 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3378.43/3391.20	c  3391s| 34500 | 17140 |  2487k|  55.8 |  3506M |  84 |7127 | 153k| 147k|  83k|  1 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3383.51/3396.35	c  3396s| 34600 | 17179 |  2493k|  55.8 |  3507M |  84 |7127 | 153k|   0 |  83k|  0 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3388.19/3401.03	c  3401s| 34700 | 17235 |  2497k|  55.8 |  3509M |  84 |7127 | 153k| 147k|  83k|  1 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3569.16/3582.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3569.16/3582.55	c  3583s| 34800 | 17268 |  2567k|  57.2 |  3511M |  84 |7127 | 153k| 147k|  83k|  1 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3577.43/3590.86	c  3591s| 34900 | 17291 |  2576k|  57.3 |  3531M |  84 |7127 | 153k| 147k|  83k|  1 |  57k|  41 | 0.000000e+00 |      --      |    Inf | unknown
3583.51/3597.00	c 
3583.51/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3583.51/3597.00	c Solving Time (sec) : 3597.00
3583.51/3597.00	c Solving Nodes      : 34981 (total of 44954 nodes in 2 runs)
3583.51/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3583.51/3597.00	c Dual Bound         : +0.00000000000000e+00
3583.51/3597.00	c Gap                : infinite
3583.51/3597.00	s UNKNOWN
3583.51/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3583.51/3597.00	c Total Time         :    3597.00
3583.51/3597.00	c   solving          :    3597.00
3583.51/3597.00	c   presolving       :      11.57 (included in solving)
3583.51/3597.00	c   reading          :       0.34 (included in solving)
3583.51/3597.00	c   copying          :       1.48 (8 #copies) (minimal 0.16, maximal 0.21, average 0.19)
3583.51/3597.00	c Original Problem   :
3583.51/3597.00	c   Problem name     : HOME/instance-4503287-1751169526.opb
3583.51/3597.00	c   Variables        : 8412 (8412 binary, 0 integer, 0 continuous)
3583.51/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3583.51/3597.00	c   Constraints      : 181707 initial, 181707 maximal
3583.51/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.51/3597.00	c Presolved Problem  :
3583.51/3597.00	c   Problem name     : t_HOME/instance-4503287-1751169526.opb
3583.51/3597.00	c   Variables        : 7127 (7127 binary, 0 integer, 0 continuous)
3583.51/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3583.51/3597.00	c   Constraints      : 149484 initial, 153737 maximal
3583.51/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.51/3597.00	c   Nonzeros         : 601118 constraint, 62329 clique table
3583.51/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3583.51/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   domcol           :       0.68       0.00     10          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualsparsify     :       1.15       0.00      1          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gateextraction   :       0.74       0.00     14          0          0          0          0          0        257         73          0          0
3583.51/3597.00	c   implics          :       0.00       0.00     17          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   milp             :       1.14       0.00      1         70        102          0          0          0          0          0          0          0
3583.51/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   sparsify         :       0.50       0.00      3          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   trivial          :       0.01       0.00     29          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dualfix          :       0.00       0.00     29          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   probing          :       1.03       0.00      9        224          0          0          0          0          0          0          0          0
3583.51/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   symmetry         :       0.19       0.00      1          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   vbounds          :       0.01       0.00      2          0        106          0          0          0          0          0          0          0
3583.51/3597.00	c   knapsack         :       0.25       0.01     52          0          0          0          0          0       1261       1262          1         37
3583.51/3597.00	c   setppc           :       0.53       0.01     52          0          0          0          0          0        690          0          0          0
3583.51/3597.00	c   and              :       0.00       0.00      6          0          0          0          0          0         60         60          0          0
3583.51/3597.00	c   linear           :       0.60       0.07     42        741         42          0        741          0      25918          0        321        454
3583.51/3597.00	c   logicor          :       4.28       0.23     51          0          0          0          0          0       7816          0          0       9887
3583.51/3597.00	c   components       :       0.11       0.00      2          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3583.51/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3583.51/3597.00	c   integral         :          0          0          0          0      35062          0          0       6509          0          0          0          0          0          0      70124
3583.51/3597.00	c   knapsack         :      17261+     17273         22     282459          0          0          0       6504     227764       2305     168665         12          4          0          0
3583.51/3597.00	c   setppc           :      29111+     29826         22     280154          0          0          0         12     520644       3338     369041          4          0          0          0
3583.51/3597.00	c   and              :          4          4      28612     212357          0          0          0          0       3312          4         34         73         65          0          0
3583.51/3597.00	c   linear           :         13+        51         22     276812          0          0          0          3       4744       1478       7294          0          0          0          0
3583.51/3597.00	c   logicor          :     103095+    106866         22     194610          0          0          0          0     593917      12056     273116         37          6          0          0
3583.51/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3583.51/3597.00	c   integral         :     121.34       0.00       0.00       0.00     121.34       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   knapsack         :      10.99       0.01       0.30       6.00       0.00       0.00       0.00       4.58       0.10       0.00
3583.51/3597.00	c   setppc           :       3.16       0.01       0.05       2.95       0.00       0.00       0.00       0.00       0.14       0.02
3583.51/3597.00	c   and              :       0.09       0.00       0.05       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   linear           :       0.57       0.07       0.00       0.49       0.00       0.00       0.00       0.00       0.02       0.00
3583.51/3597.00	c   logicor          :      16.31       0.23       0.32      15.40       0.00       0.00       0.00       0.00       0.36       0.01
3583.51/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3583.51/3597.00	c   dualfix          :          2          0          0          0
3583.51/3597.00	c   genvbounds       :          0          0          0          0
3583.51/3597.00	c   nlobbt           :          0          0          0          0
3583.51/3597.00	c   obbt             :          0          0          0          0
3583.51/3597.00	c   probing          :          0          0          0          0
3583.51/3597.00	c   pseudoobj        :          0          0          0          0
3583.51/3597.00	c   redcost          :          0          0          0          0
3583.51/3597.00	c   rootredcost      :          0          0          0          0
3583.51/3597.00	c   symmetry         :          0          0          0          0
3583.51/3597.00	c   vbounds          :     179157          0          0          0
3583.51/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3583.51/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3583.51/3597.00	c   probing          :       1.03       0.00       1.03       0.00       0.00       0.00
3583.51/3597.00	c   pseudoobj        :       0.09       0.00       0.00       0.09       0.00       0.00
3583.51/3597.00	c   redcost          :       0.04       0.00       0.00       0.04       0.00       0.00
3583.51/3597.00	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.00
3583.51/3597.00	c   symmetry         :       0.24       0.00       0.19       0.05       0.00       0.00
3583.51/3597.00	c   vbounds          :       4.41       0.00       0.01       4.40       0.00       0.00
3583.51/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3583.51/3597.00	c   propagation      :       1.38      18124      18054          -     114132       51.1       2818       49.6          -          -          -
3583.51/3597.00	c   infeasible LP    :       0.63        381        368          -       4444       74.7         54       26.3        368      108.4          0
3583.51/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3583.51/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3583.51/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3583.51/3597.00	c   applied globally :       0.71          -          -          0      55553       41.5          -          -        334          -          -
3583.51/3597.00	c   applied locally  :          -          -          -          0       2051       46.0          -          -         34          -          -
3583.51/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3583.51/3597.00	c   cut pool         :       7.08          -       8542         42          -          -      36592    2023960          -          -          -          -          -    (maximal pool size:       2741)
3583.51/3597.00	c   aggregation      :       8.74       0.00        868         22          0          0        131       3677         57       1191       1170         21          0
3583.51/3597.00	c   > cmir           :          -          -          -          -          -          -          -       1357          0        850        850          0          -
3583.51/3597.00	c   > flowcover      :          -          -          -          -          -          -          -       2317          0        320        320          0          -
3583.51/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          3         57         21          0         21          -
3583.51/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   clique           :       0.33       0.00         22         22          0          0        123        269          0         85         85          0          0
3583.51/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gomory           :    1062.10       0.00        947         20          0          0      49555    1964606      15671      55792      54673       1119          0
3583.51/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -     728202       7842       7932       7328        604          -
3583.51/3597.00	c   > strongcg       :          -          -          -          -          -          -          -    1236404       7829      47860      47345        515          -
3583.51/3597.00	c   impliedbounds    :       1.08       0.00        949         22          0          0        938      11807          0       9642       9642          0          0
3583.51/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   mcf              :       0.12       0.00          2          2          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   multilinear      :       0.00       0.00        257         22          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
3583.51/3597.00	c   zerohalf         :      14.81       0.00        867         22          0          0       4962      43601       3389      20753      18205       2548          0
3583.51/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3583.51/3597.00	c   hybrid           :       3.22       0.00       7060         22      86891        710    1956312        248          0       3854
3583.51/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3583.51/3597.00	c   problem variables:       0.00          -          0          0
3583.51/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3583.51/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c   relpscost        :     121.28       0.00      35062          0          0          0          0          0          0      70124
3583.51/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3583.51/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3583.51/3597.00	c   LP solutions     :       0.00          -          -          0          0
3583.51/3597.00	c   relax solutions  :       0.00          -          -          0          0
3583.51/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3583.51/3597.00	c   strong branching :       0.00          -          -          0          0
3583.51/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3583.51/3597.00	c   adaptivediving   :       6.62       0.00          9          0          0
3583.51/3597.00	c   alns             :      10.82       0.00          6          0          0
3583.51/3597.00	c   bound            :       0.00       0.00          0          0          0
3583.51/3597.00	c   clique           :       0.33       0.00          1          0          0
3583.51/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3583.51/3597.00	c   completesol      :       0.00       0.00          0          0          0
3583.51/3597.00	c   conflictdiving   :      56.27       0.00        306          0          0
3583.51/3597.00	c   crossover        :       0.01       0.00          0          0          0
3583.51/3597.00	c   dins             :       0.00       0.00          0          0          0
3583.51/3597.00	c   distributiondivin:      41.80       0.00         53          0          0
3583.51/3597.00	c   dks              :       0.00       0.00          0          0          0
3583.51/3597.00	c   dps              :       0.00       0.00          0          0          0
3583.51/3597.00	c   dualval          :       0.00       0.00          0          0          0
3583.51/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3583.51/3597.00	c   feaspump         :      21.55       0.00          9          0          0
3583.51/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3583.51/3597.00	c   fracdiving       :      25.58       0.00         75          0          0
3583.51/3597.00	c   gins             :       0.01       0.00          0          0          0
3583.51/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3583.51/3597.00	c   indicator        :       0.00       0.00          0          0          0
3583.51/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3583.51/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3583.51/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3583.51/3597.00	c   linesearchdiving :      25.65       0.00         80          0          0
3583.51/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3583.51/3597.00	c   locks            :       0.11       0.00          1          0          0
3583.51/3597.00	c   lpface           :       0.91       0.00          0          0          0
3583.51/3597.00	c   mpec             :       0.00       0.00          0          0          0
3583.51/3597.00	c   multistart       :       0.00       0.00          0          0          0
3583.51/3597.00	c   mutation         :       0.00       0.00          0          0          0
3583.51/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3583.51/3597.00	c   objpscostdiving  :     231.19       0.00          5          0          0
3583.51/3597.00	c   octane           :       0.00       0.00          0          0          0
3583.51/3597.00	c   ofins            :       0.00       0.00          0          0          0
3583.51/3597.00	c   oneopt           :       0.02       0.00          0          0          0
3583.51/3597.00	c   padm             :       0.00       0.00          0          0          0
3583.51/3597.00	c   proximity        :       0.00       0.00          0          0          0
3583.51/3597.00	c   pscostdiving     :      44.21       0.00         47          0          0
3583.51/3597.00	c   randrounding     :       6.66       0.00       6516          0          0
3583.51/3597.00	c   rens             :       1.00       0.00          2          0          0
3583.51/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3583.51/3597.00	c   repair           :       0.00       0.00          0          0          0
3583.51/3597.00	c   rins             :       0.02       0.00          0          0          0
3583.51/3597.00	c   rootsoldiving    :      50.30       0.00          4          0          0
3583.51/3597.00	c   rounding         :      12.53       0.00       2858          0          0
3583.51/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3583.51/3597.00	c   shiftandpropagate:       0.32       0.00          2          0          0
3583.51/3597.00	c   shifting         :      60.81       0.00       1484          0          0
3583.51/3597.00	c   simplerounding   :       0.02       0.00          0          0          0
3583.51/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3583.51/3597.00	c   trivial          :       0.02       0.00          4          0          0
3583.51/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3583.51/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3583.51/3597.00	c   trysol           :       0.01       0.00          0          0          0
3583.51/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3583.51/3597.00	c   undercover       :       0.00       0.00          1          0          0
3583.51/3597.00	c   vbounds          :       0.24       0.00          2          0          0
3583.51/3597.00	c   veclendiving     :      19.80       0.00         99          0          0
3583.51/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3583.51/3597.00	c   zirounding       :       1.61       0.00       1000          0          0
3583.51/3597.00	c   other solutions  :          -          -          -          0          -
3583.51/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3583.62/3597.00	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.62/3597.00	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.62/3597.00	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.62/3597.00	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.62/3597.00	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.62/3597.00	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.62/3597.00	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.62/3597.00	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3583.62/3597.00	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3583.62/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3583.62/3597.00	c   primal LP        :      47.18       3091          0       0.00       0.00      47.18       3091
3583.62/3597.00	c   dual LP          :    1059.48      42473    1417662      33.39    1338.08       0.09          9
3583.62/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3583.62/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3583.62/3597.00	c   resolve instable :       0.00          0          0       0.00          -
3583.62/3597.00	c   diving/probing LP:     477.11       2202    1162298     527.84    2436.12
3583.62/3597.00	c   strong branching :       6.26         41      17140     418.05    2738.82          -          -         14
3583.62/3597.00	c     (at root node) :          -         41      17140     418.05          -
3583.62/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3583.62/3597.00	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3583.62/3597.00	c   benders          :       0.00          0          0          0       0.00          0          0          0
3583.62/3597.00	c B&B Tree           :
3583.62/3597.00	c   number of runs   :          2
3583.62/3597.00	c   nodes            :      34981 (28740 internal, 6241 leaves)
3583.62/3597.00	c   feasible leaves  :          0
3583.62/3597.00	c   infeas. leaves   :       6240
3583.62/3597.00	c   objective leaves :          0
3583.62/3597.00	c   nodes (total)    :      44954 (35062 internal, 9892 leaves)
3583.62/3597.00	c   nodes left       :      17260
3583.62/3597.00	c   max depth        :         84
3583.62/3597.00	c   max depth (total):         98
3583.62/3597.00	c   backtracks       :       5312 (15.2%)
3583.62/3597.00	c   early backtracks :          0 (0.0%)
3583.62/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3583.62/3597.00	c   delayed cutoffs  :       5241
3583.62/3597.00	c   repropagations   :      30779 (68050 domain reductions, 2334 cutoffs)
3583.62/3597.00	c   avg switch length:       4.48
3583.62/3597.00	c   switching time   :      99.01
3583.62/3597.00	c Root Node          :
3583.62/3597.00	c   First LP value   : +0.00000000000000e+00
3583.62/3597.00	c   First LP Iters   :        657 (7200.32 Iter/sec)
3583.62/3597.00	c   First LP Time    :       0.09
3583.62/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3583.62/3597.00	c   Final Root Iters :       6565
3583.62/3597.00	c   Root LP Estimate : +1.39403397848436e-02
3583.62/3597.00	c Solution           :
3583.62/3597.00	c   Solutions found  :          0 (0 improvements)
3583.62/3597.00	c   Primal Bound     :          -
3583.62/3597.00	c   Dual Bound       : +0.00000000000000e+00
3583.62/3597.00	c   Gap              :   infinite
3583.62/3597.00	c Integrals          :      Total       Avg%
3583.62/3597.00	c   primal-dual      :  359700.09     100.00
3583.62/3597.00	c   primal-ref       :          -          - (not evaluated)
3583.62/3597.00	c   dual-ref         :          -          - (not evaluated)
3584.01/3597.47	c Time complete (sec):   3584.092

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63011 MiB free)
  memory of node 1: 64465 MiB (63932 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503287-1751169526/watcher-4503287-1751169526 -o /tmp/evaluation-result-4503287-1751169526/solver-4503287-1751169526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28918 --watchdog 3760 pbsolver -f HOME/instance-4503287-1751169526.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=28973, runsolver pid=28961

[startup+0.100067 s]*
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129906536/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=53944 memory=43520 CPUtime=0.09 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 8957 0 0 0 8 1 0 0 20 0 1 0 32631431 55238656 10880 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 13486 10880 2176 2575 0 10393 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 43520 KiB

[startup+0.205614 s]*
/proc/loadavg: 0.94 1.08 1.71 6/265 28978
/proc/meminfo: memFree=129842468/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=84672 memory=73728 CPUtime=0.2 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 16488 0 0 0 17 3 0 0 20 0 1 0 32631431 86704128 18432 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 21168 18432 2176 2575 0 18075 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84672 KiB
Current children cumulated memory: 73728 KiB

[startup+0.30561 s]*
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129786160/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=114296 memory=103168 CPUtime=0.3 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 23876 0 0 0 26 4 0 0 20 0 1 0 32631431 117039104 25792 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 28574 25792 2176 2575 0 25481 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114296 KiB
Current children cumulated memory: 103168 KiB

[startup+0.700172 s]
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129587372/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=287036 memory=273904 CPUtime=0.69 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 66987 0 0 0 58 11 0 0 20 0 1 0 32631431 293924864 68476 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 71759 68476 2432 2575 0 68666 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 287036 KiB
Current children cumulated memory: 273904 KiB

[startup+1.50018 s]
/proc/loadavg: 0.94 1.08 1.71 5/265 28978
/proc/meminfo: memFree=129316780/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=418384 memory=403620 CPUtime=1.48 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 83548 0 0 0 133 15 0 0 20 0 1 0 32631431 428425216 100905 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 104596 100905 2528 2575 0 101503 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 418384 KiB
Current children cumulated memory: 403620 KiB

[startup+3.10557 s]
/proc/loadavg: 1.18 1.13 1.72 5/265 28979
/proc/meminfo: memFree=128899652/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=406840 memory=390700 CPUtime=3.09 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 103657 0 0 0 290 19 0 0 20 0 1 0 32631431 416604160 97675 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 101710 97675 2592 2575 0 98617 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 406840 KiB
Current children cumulated memory: 390700 KiB

[startup+6.30018 s]
/proc/loadavg: 1.18 1.13 1.72 5/265 28979
/proc/meminfo: memFree=128884272/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=415188 memory=399148 CPUtime=6.26 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 105786 0 0 0 607 19 0 0 20 0 1 0 32631431 425152512 99787 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 103797 99787 2592 2575 0 100704 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 415188 KiB
Current children cumulated memory: 399148 KiB

[startup+12.7002 s]
/proc/loadavg: 1.78 1.26 1.76 5/265 28979
/proc/meminfo: memFree=128574932/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=856252 memory=803520 CPUtime=12.64 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 156933 0 0 0 1231 33 0 0 20 0 1 0 32631431 876802048 200880 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 214063 200880 2688 2575 0 210970 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 856252 KiB
Current children cumulated memory: 803520 KiB

[startup+25.5001 s]
/proc/loadavg: 2.12 1.35 1.78 5/265 28979
/proc/meminfo: memFree=128003068/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=905904 memory=833008 CPUtime=25.4 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 160712 0 0 0 2506 34 0 0 20 0 1 0 32631431 927645696 208252 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 226476 208252 2688 2575 0 223383 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 905904 KiB
Current children cumulated memory: 833008 KiB

[startup+51.1053 s]
/proc/loadavg: 2.76 1.56 1.84 5/265 28979
/proc/meminfo: memFree=127943484/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=930140 memory=845660 CPUtime=50.95 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 160818 0 0 0 5060 35 0 0 20 0 1 0 32631431 952463360 211415 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 232535 211415 2688 2575 0 229442 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 930140 KiB
Current children cumulated memory: 845660 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.01 1.98 5/265 28981
/proc/meminfo: memFree=127908700/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=960184 memory=847964 CPUtime=102.01 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 161405 0 0 0 10166 35 0 0 20 0 1 0 32631431 983228416 211991 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 240046 211991 2688 2575 0 236953 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 960184 KiB
Current children cumulated memory: 847964 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.39 2.12 5/265 28994
/proc/meminfo: memFree=127909912/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=990232 memory=850396 CPUtime=161.85 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 162033 0 0 0 16150 35 0 0 20 0 1 0 32631431 1013997568 212599 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 247558 212599 2688 2575 0 244465 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 990232 KiB
Current children cumulated memory: 850396 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.70 2.24 5/265 28996
/proc/meminfo: memFree=127372512/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=1254764 memory=1046064 CPUtime=221.64 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 210087 0 0 0 22120 44 0 0 20 0 1 0 32631431 1284878336 261516 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 313691 261516 2688 2575 0 310598 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1254764 KiB
Current children cumulated memory: 1046064 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.37 5/265 28998
/proc/meminfo: memFree=127333652/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=1258260 memory=1046448 CPUtime=281.43 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 210196 0 0 0 28099 44 0 0 20 0 1 0 32631431 1288458240 261612 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 314565 261612 2688 2575 0 311472 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1258260 KiB
Current children cumulated memory: 1046448 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.17 2.47 5/264 29000
/proc/meminfo: memFree=127220776/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=1382944 memory=1159472 CPUtime=341.21 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 238465 0 0 0 34073 48 0 0 20 0 1 0 32631431 1416134656 289868 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 345736 289868 2688 2575 0 342643 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 1382944 KiB
Current children cumulated memory: 1159472 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.36 2.58 5/264 29002
/proc/meminfo: memFree=127157444/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=1513360 memory=1185552 CPUtime=400.96 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 243512 0 0 0 40046 50 0 0 20 0 1 0 32631431 1549680640 296388 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 378340 296388 2688 2575 0 375247 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1513360 KiB
Current children cumulated memory: 1185552 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.49 2.68 5/264 29005
/proc/meminfo: memFree=127170648/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=1513360 memory=1185680 CPUtime=460.7 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 243517 0 0 0 46020 50 0 0 20 0 1 0 32631431 1549680640 296420 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 378340 296420 2688 2575 0 375247 0

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

/proc/loadavg: 4.14 4.10 4.02 5/264 29184
/proc/meminfo: memFree=123904092/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3522616 memory=2454796 CPUtime=3150.34 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 462572 0 0 0 314941 93 0 0 20 0 1 0 32631431 3607158784 613699 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 880654 613699 2688 2575 0 877561 0
Current children cumulated CPU time: 3150.34 s
Current children cumulated vsize: 3522616 KiB
Current children cumulated memory: 2454796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 29186
/proc/meminfo: memFree=123901184/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3532720 memory=2464908 CPUtime=3210.13 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 465123 0 0 0 320920 93 0 0 20 0 1 0 32631431 3617505280 616227 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 883180 616227 2688 2575 0 880087 0
Current children cumulated CPU time: 3210.13 s
Current children cumulated vsize: 3532720 KiB
Current children cumulated memory: 2464908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/262 29188
/proc/meminfo: memFree=123886120/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3541936 memory=2478444 CPUtime=3269.91 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 467224 0 0 0 326897 94 0 0 20 0 1 0 32631431 3626942464 619611 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 885484 619611 2688 2575 0 882391 0
Current children cumulated CPU time: 3269.91 s
Current children cumulated vsize: 3541936 KiB
Current children cumulated memory: 2478444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/262 29190
/proc/meminfo: memFree=123849560/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3597196 memory=2528236 CPUtime=3329.71 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 468758 0 0 0 332876 95 0 0 20 0 1 0 32631431 3683528704 632059 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 899299 632059 2688 2575 0 896206 0
Current children cumulated CPU time: 3329.71 s
Current children cumulated vsize: 3597196 KiB
Current children cumulated memory: 2528236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/263 29193
/proc/meminfo: memFree=123853672/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3597196 memory=2528236 CPUtime=3389.48 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 469002 0 0 0 338853 95 0 0 20 0 1 0 32631431 3683528704 632059 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 899299 632059 2688 2575 0 896206 0
Current children cumulated CPU time: 3389.48 s
Current children cumulated vsize: 3597196 KiB
Current children cumulated memory: 2528236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/263 29195
/proc/meminfo: memFree=123858284/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3597196 memory=2530028 CPUtime=3449.31 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 469011 0 0 0 344836 95 0 0 20 0 1 0 32631431 3683528704 632507 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 899299 632507 2688 2575 0 896206 0
Current children cumulated CPU time: 3449.31 s
Current children cumulated vsize: 3597196 KiB
Current children cumulated memory: 2530028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/264 29200
/proc/meminfo: memFree=123819840/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3597196 memory=2530028 CPUtime=3509.13 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 469011 0 0 0 350818 95 0 0 20 0 1 0 32631431 3683528704 632507 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 899299 632507 2688 2575 0 896206 0
Current children cumulated CPU time: 3509.13 s
Current children cumulated vsize: 3597196 KiB
Current children cumulated memory: 2530028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/264 29206
/proc/meminfo: memFree=123823888/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3597196 memory=2530028 CPUtime=3568.96 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 469022 0 0 0 356801 95 0 0 20 0 1 0 32631431 3683528704 632507 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 899299 632507 2688 2575 0 896206 0
Current children cumulated CPU time: 3568.96 s
Current children cumulated vsize: 3597196 KiB
Current children cumulated memory: 2530028 KiB

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

# cumulated CPU time of all completed processes:  user=3583.13 s, system=0.971696 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.03 5/264 29206
/proc/meminfo: memFree=123823888/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3597196 memory=2530028 CPUtime=3570.66 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 469100 0 0 0 356971 95 0 0 20 0 1 0 32631431 3683528704 632507 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 899299 632507 2688 2575 0 896206 0
Current children cumulated CPU time: 3570.66 s
Current children cumulated vsize: 3597196 KiB
Current children cumulated memory: 2530028 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.10 4.03 5/264 29206
/proc/meminfo: memFree=123820260/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3615244 memory=2535016 CPUtime=3577.04 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 477691 0 0 0 357608 96 0 0 20 0 1 0 32631431 3702009856 633754 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 903811 633754 2688 2575 0 900718 0
Current children cumulated CPU time: 3577.04 s
Current children cumulated vsize: 3615244 KiB
Current children cumulated memory: 2535016 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 29206
/proc/meminfo: memFree=123820512/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3615244 memory=2535016 CPUtime=3580.22 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 477709 0 0 0 357926 96 0 0 20 0 1 0 32631431 3702009856 633754 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 903811 633754 2688 2575 0 900718 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 3615244 KiB
Current children cumulated memory: 2535016 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 29206
/proc/meminfo: memFree=123816456/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3615244 memory=2535016 CPUtime=3581.82 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 477747 0 0 0 358086 96 0 0 20 0 1 0 32631431 3702009856 633754 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 903811 633754 2688 2575 0 900718 0
Current children cumulated CPU time: 3581.82 s
Current children cumulated vsize: 3615244 KiB
Current children cumulated memory: 2535016 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 29206
/proc/meminfo: memFree=123816708/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3615244 memory=2535016 CPUtime=3583.41 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 477768 0 0 0 358245 96 0 0 20 0 1 0 32631431 3702009856 633754 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 903811 633754 2688 2575 0 900718 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 3615244 KiB
Current children cumulated memory: 2535016 KiB

[startup+3597.2 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 29206
/proc/meminfo: memFree=123816708/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3615244 memory=2535016 CPUtime=3583.81 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 477900 0 0 0 358285 96 0 0 20 0 1 0 32631431 3702009856 633754 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 903811 633754 2688 2575 0 900718 0
Current children cumulated CPU time: 3583.81 s
Current children cumulated vsize: 3615244 KiB
Current children cumulated memory: 2535016 KiB

[startup+3597.4 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 29206
/proc/meminfo: memFree=123816708/131249992 swapFree=33010684/33010684
[pid=28973] ppid=28961 vsize=3613720 memory=2533596 CPUtime=3584.01 cores=0,2
/proc/28973/stat : 28973 (pbsolver) R 28961 28973 28908 0 -1 4194304 477910 0 0 0 358305 96 0 0 20 0 1 0 32631431 3700449280 633399 18446744073709551615 4198400 14743177 140731992033232 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 45379584 140731992037770 140731992037866 140731992037866 140731992043468 0
/proc/28973/statm: 903430 633399 2688 2575 0 900337 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 3613720 KiB
Current children cumulated memory: 2533596 KiB

Child status: 0

Real time (s): 3597.48
CPU time (s): 3584.1
CPU user time (s): 3583.13
CPU system time (s): 0.971696
CPU usage (%): 99.628
Max. virtual memory (cumulated for all children) (KiB): 3615244
Max. memory (cumulated for all children) (KiB): 2535016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.13
system time used= 0.971696
maximum resident set size= 2535016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478001
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= 58
involuntary context switches= 4928


# summary of solver processes directly reported to runsolver:
#   pid: 28973
#   total CPU time (s): 3584.1
#   total CPU user time (s): 3583.13
#   total CPU system time (s): 0.971696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84743 second user time and 16.6471 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 05:58:47
IDJOB=4503287
IDBENCH=155419
IDSOLVER=3366
FILE ID=nodeC025/4503287-1751169526
RUNJOBID= nodeC025-1751169526-28918
SLURM_JOB_ID= 9587520
Free space on /tmp= 433040 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-03.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503287-1751169526/watcher-4503287-1751169526 -o /tmp/evaluation-result-4503287-1751169526/solver-4503287-1751169526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28918 --watchdog 3760  pbsolver -f HOME/instance-4503287-1751169526.opb -t 3600 -m 31000

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

MD5SUM BENCH= b4997059c71cc639972e3ce692139348
RANDOM SEED=1308403903

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129992704 kB
MemAvailable:   129704976 kB
Buffers:            3280 kB
Cached:           521728 kB
SwapCached:            0 kB
Active:           327852 kB
Inactive:         264180 kB
Active(anon):      84556 kB
Inactive(anon):        0 kB
Active(file):     243296 kB
Inactive(file):   264180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             76200 kB
Writeback:            20 kB
AnonPages:         69836 kB
Mapped:           102376 kB
Shmem:             18084 kB
KReclaimable:      88068 kB
Slab:             172360 kB
SReclaimable:      88068 kB
SUnreclaim:        84292 kB
KernelStack:        4144 kB
PageTables:         2960 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC025 at 2025-06-29 06:58:44