Trace number 4515213

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? 3587.22 3597.09

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-t1722.0.s.opb
MD5SUM39768e28ba132eeb426131d5bb977045
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36630
Total number of constraints339
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint389
Maximum length of a constraint36630
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 114245
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 85902757
Number of bits of the biggest sum of numbers27
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-4515213-1751233650.opb>
0.00/0.07	c original problem has 36630 variables (36630 bin, 0 int, 0 cont) and 339 constraints
0.00/0.07	c problem read in 0.071 seconds
0.00/0.07	c problem without objective
0.09/0.16	c presolving:
0.30/0.31	c    (0.3s) running MILP presolver
0.59/0.60	c    (0.6s) MILP presolver (2 rounds): 0 aggregations, 30049 fixings, 0 bound changes
0.59/0.62	c (round 1, medium)     30049 del vars, 339 del conss, 339 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 338 clqs
0.59/0.67	c (round 2, exhaustive) 30049 del vars, 339 del conss, 339 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 339 upgd conss, 0 impls, 338 clqs
0.79/0.84	c    (0.8s) probing: 51/6581 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.84	c    (0.8s) probing aborted: 50/50 successive totally useless probings
0.79/0.85	c    (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.79/0.86	c    (0.9s) no symmetry present (symcode time: 0.00)
0.79/0.87	c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
0.79/0.87	c  30049 deleted vars, 339 deleted constraints, 339 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.87	c  0 implications, 338 cliques
0.79/0.87	c presolved problem has 6581 variables (6581 bin, 0 int, 0 cont) and 339 constraints
0.79/0.87	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.79/0.87	c       1 constraints of type <knapsack>
0.79/0.87	c     338 constraints of type <setppc>
0.79/0.87	c transformed objective value is always integral (scale: 1)
0.79/0.87	c Presolving Time: 0.72
0.79/0.87	c 
0.79/0.87	c - non default parameters ----------------------------------------------------------------------
0.79/0.87	c 
0.79/0.87	c # SCIP version 10.0.0
0.79/0.87	c 
0.79/0.87	c # maximal time in seconds to run
0.79/0.87	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.79/0.87	c limits/time = 3596.999004
0.79/0.87	c 
0.79/0.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.87	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.79/0.87	c limits/memory = 27900
0.79/0.87	c 
0.79/0.87	c # belongs reading time to solving time?
0.79/0.87	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.79/0.87	c timing/reading = TRUE
0.79/0.87	c 
0.79/0.87	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
0.79/0.87	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.79/0.87	c reading/opbreader/maxintsize = 47
0.79/0.87	c 
0.79/0.87	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.79/0.87	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.79/0.87	c propagating/genvbounds/timingmask = 0
0.79/0.87	c 
0.79/0.87	c -----------------------------------------------------------------------------------------------
0.79/0.87	c 
3.88/3.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.88/3.96	c   4.0s|     1 |     0 | 11953 |     - |   224M |   0 |6581 | 372 | 339 |   0 |  0 |  42 |   0 | 0.000000e+00 |      --      |    Inf | unknown
6.57/6.67	c   6.7s|     1 |     0 | 26666 |     - |   231M |   0 |6581 | 372 | 344 |   5 |  1 |  42 |   0 | 0.000000e+00 |      --      |    Inf | unknown
6.77/6.83	c   6.8s|     1 |     0 | 26706 |     - |   231M |   0 |6581 | 381 | 351 |  12 |  2 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
6.87/6.98	c   7.0s|     1 |     0 | 26749 |     - |   231M |   0 |6581 | 381 | 357 |  18 |  3 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.08/7.14	c   7.1s|     1 |     0 | 26797 |     - |   231M |   0 |6581 | 381 | 365 |  26 |  4 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.27/7.31	c   7.3s|     1 |     0 | 26841 |     - |   231M |   0 |6581 | 381 | 373 |  34 |  5 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.37/7.47	c   7.5s|     1 |     0 | 26889 |     - |   232M |   0 |6581 | 381 | 383 |  44 |  6 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.57/7.64	c   7.6s|     1 |     0 | 26947 |     - |   232M |   0 |6581 | 381 | 392 |  53 |  7 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.77/7.80	c   7.8s|     1 |     0 | 26977 |     - |   232M |   0 |6581 | 381 | 400 |  61 |  8 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.87/7.97	c   8.0s|     1 |     0 | 26994 |     - |   232M |   0 |6581 | 391 | 408 |  69 |  9 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
8.08/8.15	c   8.2s|     1 |     0 | 27028 |     - |   232M |   0 |6581 | 391 | 414 |  75 | 10 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
8.17/8.29	c   8.3s|     1 |     0 | 27043 |     - |   232M |   0 |6581 | 391 | 419 |  80 | 11 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
35.10/35.21	c  35.2s|     1 |     2 |134869 |     - |   235M |   0 |6581 | 451 | 419 |  80 | 11 | 121 |  19 | 0.000000e+00 |      --      |    Inf | unknown
198.07/198.64	c   199s|   100 |    31 |598044 |5767.8 |   258M |  30 |6581 |1025 | 390 |  88 |  0 | 699 |  19 | 0.000000e+00 |      --      |    Inf | unknown
206.25/206.87	c   207s|   200 |    31 |638815 |3074.3 |   259M |  31 |6581 |1077 | 388 |  88 |  0 | 751 |  19 | 0.000000e+00 |      --      |    Inf | unknown
220.91/221.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
220.91/221.59	c   222s|   300 |    43 |709042 |2281.0 |   263M |  34 |6581 |1123 | 388 |  91 |  0 | 801 |  19 | 0.000000e+00 |      --      |    Inf | unknown
229.88/230.50	c   231s|   400 |    47 |754050 |1822.1 |   265M |  49 |6581 |1169 | 389 |  99 |  1 | 847 |  19 | 0.000000e+00 |      --      |    Inf | unknown
239.86/240.55	c   241s|   500 |    43 |805333 |1559.7 |   265M |  49 |6581 |1213 | 389 | 103 |  0 | 891 |  19 | 0.000000e+00 |      --      |    Inf | unknown
275.57/276.35	c   276s|   600 |    53 |974665 |1582.0 |   266M |  49 |6581 |1296 | 390 | 113 |  1 | 986 |  19 | 0.000000e+00 |      --      |    Inf | unknown
292.12/292.91	c   293s|   700 |    57 |  1057k|1474.4 |   267M |  49 |6581 |1413 | 389 | 125 |  1 |1112 |  19 | 0.000000e+00 |      --      |    Inf | unknown
304.98/305.81	c   306s|   800 |    57 |  1123k|1371.8 |   267M |  49 |6581 |1443 | 391 | 133 |  0 |1142 |  19 | 0.000000e+00 |      --      |    Inf | unknown
317.85/318.75	c   319s|   900 |    59 |  1190k|1294.0 |   268M |  49 |6581 |1488 | 389 | 139 |  1 |1187 |  19 | 0.000000e+00 |      --      |    Inf | unknown
325.52/326.45	c   326s|  1000 |    57 |  1228k|1203.1 |   268M |  52 |6581 |1523 | 390 | 147 |  0 |1222 |  19 | 0.000000e+00 |      --      |    Inf | unknown
333.80/334.71	c   335s|  1100 |    59 |  1270k|1131.4 |   268M |  52 |6581 |1548 | 391 | 151 |  0 |1286 |  19 | 0.000000e+00 |      --      |    Inf | unknown
341.88/342.82	c   343s|  1200 |    57 |  1311k|1071.3 |   269M |  52 |6581 |1589 | 389 | 155 |  0 |1337 |  19 | 0.000000e+00 |      --      |    Inf | unknown
348.47/349.48	c   349s|  1300 |    65 |  1345k|1015.2 |   269M |  52 |6581 |1629 | 389 | 156 |  1 |1397 |  19 | 0.000000e+00 |      --      |    Inf | unknown
357.24/358.21	c   358s|  1400 |    67 |  1391k| 975.5 |   269M |  52 |6581 |1669 | 389 | 160 |  1 |1449 |  19 | 0.000000e+00 |      --      |    Inf | unknown
363.62/364.69	c   365s|  1500 |    63 |  1423k| 931.3 |   270M |  52 |6581 |1713 | 389 | 172 |  0 |1496 |  19 | 0.000000e+00 |      --      |    Inf | unknown
370.70/371.79	c   372s|  1600 |    61 |  1460k| 896.4 |   270M |  52 |6581 |1756 | 388 | 173 |  1 |1553 |  19 | 0.000000e+00 |      --      |    Inf | unknown
378.48/379.53	c   380s|  1700 |    65 |  1500k| 867.3 |   270M |  52 |6581 |1804 | 388 | 176 |  0 |1603 |  19 | 0.000000e+00 |      --      |    Inf | unknown
387.85/388.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
387.85/388.92	c   389s|  1800 |    73 |  1549k| 846.4 |   270M |  52 |6581 |1844 | 388 | 179 |  0 |1649 |  19 | 0.000000e+00 |      --      |    Inf | unknown
395.73/396.86	c   397s|  1900 |    83 |  1589k| 823.0 |   271M |  52 |6581 |1879 | 388 | 187 |  1 |1694 |  19 | 0.000000e+00 |      --      |    Inf | unknown
405.21/406.37	c   406s|  2000 |    83 |  1639k| 806.5 |   271M |  52 |6581 |1923 | 391 | 195 |  0 |1740 |  19 | 0.000000e+00 |      --      |    Inf | unknown
414.18/415.37	c   415s|  2100 |    85 |  1686k| 790.5 |   271M |  52 |6581 |1969 | 389 | 201 |  1 |1786 |  19 | 0.000000e+00 |      --      |    Inf | unknown
424.75/425.93	c   426s|  2200 |    85 |  1741k| 779.6 |   273M |  52 |6581 |2025 | 388 | 208 |  1 |1842 |  19 | 0.000000e+00 |      --      |    Inf | unknown
434.23/435.44	c   435s|  2300 |    87 |  1789k| 766.4 |   273M |  52 |6581 |2070 | 391 | 221 |  1 |1887 |  19 | 0.000000e+00 |      --      |    Inf | unknown
443.10/444.38	c   444s|  2400 |    82 |  1835k| 753.9 |   273M |  59 |6581 |2106 | 393 | 225 |  0 |1923 |  19 | 0.000000e+00 |      --      |    Inf | unknown
448.69/449.90	c   450s|  2500 |    82 |  1864k| 735.3 |   273M |  67 |6581 |2150 | 389 | 225 |  0 |1974 |  19 | 0.000000e+00 |      --      |    Inf | unknown
454.57/455.81	c   456s|  2600 |    80 |  1895k| 718.8 |   274M |  67 |6581 |2216 | 389 | 228 |  0 |2040 |  19 | 0.000000e+00 |      --      |    Inf | unknown
461.65/462.90	c   463s|  2700 |    80 |  1932k| 705.9 |   274M |  67 |6581 |2271 | 389 | 231 |  0 |2096 |  19 | 0.000000e+00 |      --      |    Inf | unknown
466.53/467.85	c   468s|  2800 |    78 |  1958k| 689.9 |   274M |  67 |6581 |2307 | 389 | 232 |  0 |2143 |  19 | 0.000000e+00 |      --      |    Inf | unknown
473.31/474.64	c   475s|  2900 |    80 |  1993k| 678.4 |   275M |  67 |6581 |2343 | 388 | 232 |  1 |2198 |  19 | 0.000000e+00 |      --      |    Inf | unknown
480.89/482.27	c   482s|  3000 |    80 |  2034k| 669.4 |   275M |  67 |6581 |2392 | 388 | 233 |  1 |2249 |  19 | 0.000000e+00 |      --      |    Inf | unknown
489.67/491.08	c   491s|  3100 |    80 |  2080k| 662.5 |   275M |  67 |6581 |2434 | 388 | 238 |  1 |2291 |  19 | 0.000000e+00 |      --      |    Inf | unknown
497.04/498.43	c   498s|  3200 |    78 |  2118k| 653.8 |   275M |  67 |6581 |2458 | 389 | 244 |  0 |2332 |  19 | 0.000000e+00 |      --      |    Inf | unknown
504.32/505.72	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
504.32/505.72	c   506s|  3300 |    76 |  2157k| 645.8 |   275M |  67 |6581 |2511 | 388 | 245 |  0 |2385 |  19 | 0.000000e+00 |      --      |    Inf | unknown
511.80/513.20	c   513s|  3400 |    76 |  2196k| 638.3 |   276M |  67 |6581 |2551 | 389 | 246 |  1 |2433 |  19 | 0.000000e+00 |      --      |    Inf | unknown
518.28/519.71	c   520s|  3500 |    78 |  2230k| 629.8 |   276M |  67 |6581 |2599 | 390 | 251 |  1 |2484 |  19 | 0.000000e+00 |      --      |    Inf | unknown
525.46/526.95	c   527s|  3600 |    78 |  2268k| 622.8 |   276M |  67 |6581 |2651 | 389 | 259 |  0 |2536 |  19 | 0.000000e+00 |      --      |    Inf | unknown
533.14/534.67	c   535s|  3700 |    78 |  2307k| 616.6 |   276M |  69 |6581 |2670 | 390 | 266 |  0 |2555 |  19 | 0.000000e+00 |      --      |    Inf | unknown
542.12/543.69	c   544s|  3800 |    78 |  2355k| 613.0 |   276M |  69 |6581 |2718 | 390 | 274 |  1 |2603 |  19 | 0.000000e+00 |      --      |    Inf | unknown
549.20/550.77	c   551s|  3900 |    80 |  2391k| 606.4 |   277M |  69 |6581 |2767 | 390 | 282 |  0 |2652 |  19 | 0.000000e+00 |      --      |    Inf | unknown
556.98/558.51	c   559s|  4000 |    80 |  2431k| 601.4 |   277M |  69 |6581 |2821 | 389 | 284 |  1 |2706 |  19 | 0.000000e+00 |      --      |    Inf | unknown
565.25/566.84	c   567s|  4100 |    78 |  2476k| 597.5 |   277M |  69 |6581 |2888 | 389 | 284 |  1 |2776 |  19 | 0.000000e+00 |      --      |    Inf | unknown
571.83/573.48	c   573s|  4200 |    78 |  2509k| 591.2 |   277M |  69 |6581 |2933 | 390 | 291 |  1 |2823 |  19 | 0.000000e+00 |      --      |    Inf | unknown
581.01/582.62	c   583s|  4300 |    76 |  2557k| 588.6 |   277M |  69 |6581 |2979 | 390 | 296 |  0 |2878 |  19 | 0.000000e+00 |      --      |    Inf | unknown
588.79/590.49	c   590s|  4400 |    78 |  2598k| 584.7 |   277M |  69 |6581 |3020 | 388 | 296 |  1 |2928 |  19 | 0.000000e+00 |      --      |    Inf | unknown
598.46/600.17	c   600s|  4500 |    74 |  2650k| 583.0 |   277M |  69 |6581 |3066 | 388 | 298 |  0 |2985 |  19 | 0.000000e+00 |      --      |    Inf | unknown
607.23/608.96	c   609s|  4600 |    72 |  2696k| 580.3 |   277M |  69 |6581 |3111 | 390 | 302 |  1 |3036 |  19 | 0.000000e+00 |      --      |    Inf | unknown
615.81/617.54	c   618s|  4700 |    70 |  2740k| 577.5 |   277M |  69 |6581 |3139 | 390 | 304 |  0 |3088 |  19 | 0.000000e+00 |      --      |    Inf | unknown
622.89/624.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
622.89/624.62	c   625s|  4800 |    68 |  2777k| 573.2 |   278M |  69 |6581 |3186 | 388 | 305 |  1 |3140 |  19 | 0.000000e+00 |      --      |    Inf | unknown
632.16/633.94	c   634s|  4900 |    66 |  2826k| 571.4 |   278M |  69 |6581 |3237 | 388 | 308 |  1 |3195 |  19 | 0.000000e+00 |      --      |    Inf | unknown
639.35/641.10	c   641s|  5000 |    68 |  2863k| 567.4 |   278M |  69 |6581 |3274 | 389 | 308 |  0 |3244 |  19 | 0.000000e+00 |      --      |    Inf | unknown
646.82/648.66	c   649s|  5100 |    68 |  2903k| 564.1 |   278M |  69 |6581 |3323 | 390 | 309 |  2 |3293 |  19 | 0.000000e+00 |      --      |    Inf | unknown
655.30/657.12	c   657s|  5200 |    70 |  2947k| 561.8 |   278M |  69 |6581 |3375 | 389 | 309 |  1 |3348 |  19 | 0.000000e+00 |      --      |    Inf | unknown
664.77/666.68	c   667s|  5300 |    66 |  2997k| 560.6 |   278M |  69 |6581 |3425 | 390 | 315 |  1 |3398 |  19 | 0.000000e+00 |      --      |    Inf | unknown
671.95/673.83	c   674s|  5400 |    66 |  3034k| 557.1 |   278M |  69 |6581 |3469 | 389 | 315 |  0 |3447 |  19 | 0.000000e+00 |      --      |    Inf | unknown
679.53/681.46	c   681s|  5500 |    64 |  3074k| 554.2 |   278M |  69 |6581 |3520 | 390 | 318 |  1 |3501 |  19 | 0.000000e+00 |      --      |    Inf | unknown
688.00/689.99	c   690s|  5600 |    64 |  3119k| 552.4 |   278M |  69 |6581 |3562 | 390 | 320 |  0 |3553 |  19 | 0.000000e+00 |      --      |    Inf | unknown
695.68/697.66	c   698s|  5700 |    62 |  3160k| 549.9 |   278M |  69 |6581 |3617 | 390 | 320 |  1 |3612 |  19 | 0.000000e+00 |      --      |    Inf | unknown
702.66/704.65	c   705s|  5800 |    60 |  3197k| 546.7 |   278M |  69 |6581 |3661 | 390 | 321 |  0 |3675 |  19 | 0.000000e+00 |      --      |    Inf | unknown
709.54/711.55	c   712s|  5900 |    58 |  3233k| 543.6 |   278M |  69 |6581 |3688 | 390 | 325 |  0 |3724 |  19 | 0.000000e+00 |      --      |    Inf | unknown
716.22/718.22	c   718s|  6000 |    62 |  3267k| 540.2 |   279M |  69 |6581 |3737 | 389 | 326 |  0 |3780 |  19 | 0.000000e+00 |      --      |    Inf | unknown
723.50/725.57	c   726s|  6100 |    64 |  3305k| 537.6 |   279M |  69 |6581 |3776 | 389 | 329 |  1 |3823 |  19 | 0.000000e+00 |      --      |    Inf | unknown
732.58/734.67	c   735s|  6200 |    60 |  3352k| 536.5 |   279M |  69 |6581 |3812 | 388 | 334 |  1 |3867 |  19 | 0.000000e+00 |      --      |    Inf | unknown
740.86/742.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
740.86/742.90	c   743s|  6300 |    64 |  3395k| 534.8 |   279M |  69 |6581 |3859 | 390 | 339 |  0 |3915 |  19 | 0.000000e+00 |      --      |    Inf | unknown
747.34/749.49	c   749s|  6400 |    68 |  3430k| 531.9 |   279M |  69 |6581 |3900 | 389 | 340 |  1 |3967 |  19 | 0.000000e+00 |      --      |    Inf | unknown
756.31/758.49	c   758s|  6500 |    66 |  3478k| 531.0 |   279M |  69 |6581 |3947 | 388 | 344 |  0 |4017 |  19 | 0.000000e+00 |      --      |    Inf | unknown
764.59/766.79	c   767s|  6600 |    72 |  3521k| 529.6 |   279M |  69 |6581 |3992 | 389 | 347 |  1 |4064 |  19 | 0.000000e+00 |      --      |    Inf | unknown
773.07/775.23	c   775s|  6700 |    70 |  3565k| 528.2 |   279M |  69 |6581 |4035 | 391 | 349 |  0 |4108 |  19 | 0.000000e+00 |      --      |    Inf | unknown
779.05/781.23	c   781s|  6800 |    68 |  3596k| 525.1 |   280M |  69 |6581 |4071 | 388 | 350 |  1 |4144 |  19 | 0.000000e+00 |      --      |    Inf | unknown
786.33/788.54	c   789s|  6900 |    66 |  3635k| 523.0 |   280M |  69 |6581 |4122 | 389 | 352 |  0 |4195 |  19 | 0.000000e+00 |      --      |    Inf | unknown
793.81/796.04	c   796s|  7000 |    66 |  3674k| 521.2 |   280M |  69 |6581 |4170 | 388 | 354 |  1 |4245 |  19 | 0.000000e+00 |      --      |    Inf | unknown
800.29/802.53	c   803s|  7100 |    68 |  3707k| 518.5 |   280M |  69 |6581 |4211 | 389 | 363 |  1 |4291 |  19 | 0.000000e+00 |      --      |    Inf | unknown
807.87/810.17	c   810s|  7200 |    68 |  3747k| 516.8 |   281M |  69 |6581 |4260 | 390 | 368 |  0 |4341 |  19 | 0.000000e+00 |      --      |    Inf | unknown
814.45/816.73	c   817s|  7300 |    62 |  3781k| 514.4 |   281M |  69 |6581 |4309 | 388 | 371 |  1 |4393 |  19 | 0.000000e+00 |      --      |    Inf | unknown
821.63/823.95	c   824s|  7400 |    58 |  3819k| 512.5 |   281M |  69 |6581 |4360 | 388 | 373 |  1 |4445 |  19 | 0.000000e+00 |      --      |    Inf | unknown
830.01/832.33	c   832s|  7500 |    62 |  3862k| 511.5 |   281M |  69 |6581 |4406 | 389 | 374 |  0 |4494 |  19 | 0.000000e+00 |      --      |    Inf | unknown
837.98/840.34	c   840s|  7600 |    64 |  3904k| 510.3 |   281M |  69 |6581 |4365 | 389 | 375 |  0 |4549 |  19 | 0.000000e+00 |      --      |    Inf | unknown
846.56/848.90	c   849s|  7700 |    60 |  3949k| 509.5 |   282M |  69 |6581 |4413 | 388 | 376 |  1 |4604 |  19 | 0.000000e+00 |      --      |    Inf | unknown
856.23/858.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
856.23/858.68	c   859s|  7800 |    66 |  4000k| 509.4 |   282M |  69 |6581 |4460 | 389 | 381 |  0 |4661 |  19 | 0.000000e+00 |      --      |    Inf | unknown
862.81/865.29	c   865s|  7900 |    66 |  4033k| 507.2 |   282M |  69 |6581 |4490 | 389 | 387 |  1 |4691 |  19 | 0.000000e+00 |      --      |    Inf | unknown
871.49/873.92	c   874s|  8000 |    64 |  4077k| 506.3 |   282M |  69 |6581 |4518 | 391 | 393 |  0 |4720 |  19 | 0.000000e+00 |      --      |    Inf | unknown
877.27/879.74	c   880s|  8100 |    64 |  4106k| 503.7 |   282M |  79 |6581 |4556 | 388 | 396 |  1 |4758 |  19 | 0.000000e+00 |      --      |    Inf | unknown
888.15/890.67	c   891s|  8200 |    68 |  4162k| 504.4 |   283M |  79 |6581 |4611 | 388 | 399 |  0 |4816 |  19 | 0.000000e+00 |      --      |    Inf | unknown
897.43/899.98	c   900s|  8300 |    70 |  4212k| 504.3 |   283M |  79 |6581 |4665 | 388 | 400 |  1 |4871 |  19 | 0.000000e+00 |      --      |    Inf | unknown
905.51/908.04	c   908s|  8400 |    66 |  4254k| 503.3 |   283M |  79 |6581 |4699 | 388 | 407 |  1 |4914 |  19 | 0.000000e+00 |      --      |    Inf | unknown
915.38/917.94	c   918s|  8500 |    58 |  4305k| 503.4 |   283M |  79 |6581 |4742 | 392 | 410 |  0 |4965 |  19 | 0.000000e+00 |      --      |    Inf | unknown
931.13/933.74	c   934s|  8600 |    58 |  4381k| 506.4 |   284M |  79 |6581 |4791 | 392 | 428 |  0 |5022 |  19 | 0.000000e+00 |      --      |    Inf | unknown
940.11/942.78	c   943s|  8700 |    58 |  4426k| 505.7 |   284M |  79 |6581 |4817 | 392 | 431 |  1 |5055 |  19 | 0.000000e+00 |      --      |    Inf | unknown
953.07/955.73	c   956s|  8800 |    60 |  4491k| 507.4 |   284M |  79 |6581 |4897 | 392 | 431 |  1 |5142 |  19 | 0.000000e+00 |      --      |    Inf | unknown
968.53/971.27	c   971s|  8900 |    60 |  4570k| 510.6 |   285M |  79 |6581 |4926 | 392 | 434 |  2 |5226 |  19 | 0.000000e+00 |      --      |    Inf | unknown
983.89/986.68	c   987s|  9000 |    60 |  4648k| 513.6 |   285M |  79 |6581 |4988 | 392 | 439 |  1 |5310 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1000.44/1003.25	c  1003s|  9100 |    58 |  4733k| 517.3 |   285M |  79 |6581 |5002 | 394 | 446 |  0 |5405 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1009.91/1012.71	c  1013s|  9200 |    68 |  4781k| 516.8 |   285M |  79 |6581 |5024 | 389 | 455 |  1 |5450 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1016.49/1019.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1016.49/1019.38	c  1019s|  9300 |    66 |  4814k| 514.8 |   285M |  79 |6581 |5068 | 389 | 466 |  1 |5495 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1026.86/1029.79	c  1030s|  9400 |    66 |  4866k| 514.9 |   286M |  79 |6581 |5108 | 391 | 482 |  0 |5536 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1034.64/1037.50	c  1038s|  9500 |    66 |  4906k| 513.7 |   286M |  85 |6581 |5124 | 392 | 483 |  1 |5552 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1046.12/1049.01	c  1049s|  9600 |    64 |  4967k| 514.6 |   286M |  94 |6581 |5142 | 392 | 489 |  0 |5572 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1056.98/1059.99	c  1060s|  9700 |    64 |  5025k| 515.3 |   286M | 118 |6581 |5162 | 392 | 489 |  0 |5592 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1064.16/1067.14	c  1067s|  9800 |    64 |  5062k| 513.8 |   286M | 151 |6581 |5188 | 388 | 493 |  1 |5618 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1070.94/1073.96	c  1074s|  9900 |    62 |  5097k| 512.2 |   286M | 151 |6581 |5238 | 388 | 495 |  1 |5671 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1081.02/1084.05	c  1084s| 10000 |    62 |  5150k| 512.4 |   286M | 151 |6581 |5254 | 391 | 499 |  1 |5688 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1088.79/1091.84	c  1092s| 10100 |    64 |  5190k| 511.3 |   286M | 151 |6581 |5281 | 389 | 503 |  1 |5716 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1097.87/1101.00	c  1101s| 10200 |    62 |  5237k| 510.9 |   286M | 151 |6581 |5309 | 392 | 509 |  0 |5744 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1103.35/1106.47	c  1106s| 10300 |    64 |  5265k| 508.6 |   286M | 151 |6581 |5344 | 389 | 515 |  1 |5779 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1110.53/1113.61	c  1114s| 10400 |    64 |  5302k| 507.3 |   286M | 151 |6581 |5375 | 389 | 519 |  1 |5830 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1117.81/1120.95	c  1121s| 10500 |    68 |  5339k| 506.0 |   286M | 151 |6581 |5420 | 388 | 525 |  1 |5880 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1124.59/1127.70	c  1128s| 10600 |    68 |  5375k| 504.6 |   287M | 151 |6581 |5466 | 388 | 527 |  1 |5933 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1132.67/1135.88	c  1136s| 10700 |    66 |  5416k| 503.8 |   287M | 151 |6581 |5503 | 388 | 532 |  1 |5980 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1139.95/1143.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1139.95/1143.15	c  1143s| 10800 |    64 |  5453k| 502.5 |   287M | 151 |6581 |5551 | 388 | 541 |  0 |6028 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1147.93/1151.18	c  1151s| 10900 |    66 |  5496k| 501.8 |   287M | 151 |6581 |5597 | 389 | 541 |  1 |6077 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1156.60/1159.89	c  1160s| 11000 |    64 |  5541k| 501.3 |   287M | 151 |6581 |5629 | 391 | 547 |  0 |6109 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1164.78/1168.07	c  1168s| 11100 |    70 |  5583k| 500.6 |   287M | 151 |6581 |5644 | 388 | 550 |  0 |6148 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1171.86/1175.13	c  1175s| 11200 |    68 |  5619k| 499.4 |   287M | 151 |6581 |5667 | 388 | 557 |  1 |6194 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1180.24/1183.52	c  1184s| 11300 |    64 |  5663k| 498.8 |   287M | 151 |6581 |5700 | 388 | 558 |  0 |6245 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1188.72/1192.09	c  1192s| 11400 |    64 |  5707k| 498.4 |   287M | 151 |6581 |5734 | 392 | 567 |  0 |6279 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1196.59/1199.93	c  1200s| 11500 |    66 |  5748k| 497.5 |   287M | 151 |6581 |5748 | 388 | 572 |  1 |6316 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1206.17/1209.57	c  1210s| 11600 |    64 |  5798k| 497.6 |   287M | 151 |6581 |5796 | 388 | 576 |  1 |6366 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1215.14/1218.55	c  1219s| 11700 |    62 |  5845k| 497.4 |   287M | 151 |6581 |5838 | 388 | 580 |  1 |6415 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1224.62/1228.03	c  1228s| 11800 |    62 |  5893k| 497.2 |   287M | 151 |6581 |5868 | 389 | 597 |  0 |6458 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1231.40/1234.85	c  1235s| 11900 |    64 |  5928k| 496.0 |   288M | 151 |6581 |5901 | 389 | 600 |  0 |6506 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1242.17/1245.61	c  1246s| 12000 |    62 |  5983k| 496.4 |   288M | 151 |6581 |5946 | 389 | 610 |  0 |6552 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1252.34/1255.80	c  1256s| 12100 |    62 |  6037k| 496.7 |   288M | 151 |6581 |5995 | 388 | 614 |  0 |6605 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1262.81/1266.38	c  1266s| 12200 |    58 |  6092k| 497.2 |   288M | 151 |6581 |6026 | 389 | 616 |  0 |6666 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1280.26/1283.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1280.26/1283.84	c  1284s| 12300 |    58 |  6182k| 500.4 |   288M | 151 |6581 |6049 | 392 | 622 |  0 |6719 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1303.40/1307.09	c  1307s| 12400 |    58 |  6299k| 505.9 |   288M | 151 |6581 |6093 | 394 | 628 |  0 |6776 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1343.39/1347.16	c  1347s| 12500 |    58 |  6504k| 518.2 |   289M | 151 |6581 |6151 | 394 | 628 |  0 |6847 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1354.06/1357.85	c  1358s| 12600 |    56 |  6558k| 518.4 |   289M | 151 |6581 |6184 | 392 | 632 |  0 |6904 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1363.03/1366.87	c  1367s| 12700 |    56 |  6604k| 517.9 |   289M | 151 |6581 |6200 | 391 | 644 |  1 |6920 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1371.41/1375.24	c  1375s| 12800 |    58 |  6647k| 517.3 |   289M | 151 |6581 |6010 | 390 | 647 |  0 |6943 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1378.30/1382.13	c  1382s| 12900 |    56 |  6683k| 516.0 |   289M | 151 |6581 |5848 | 389 | 649 |  0 |6994 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1385.87/1389.73	c  1390s| 13000 |    62 |  6723k| 515.1 |   289M | 151 |6581 |5769 | 390 | 652 |  1 |7041 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1394.05/1397.91	c  1398s| 13100 |    60 |  6765k| 514.4 |   289M | 151 |6581 |5730 | 390 | 655 |  0 |7090 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1400.63/1404.57	c  1405s| 13200 |    58 |  6800k| 513.2 |   289M | 151 |6581 |5740 | 389 | 655 |  1 |7140 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1409.01/1412.95	c  1413s| 13300 |    56 |  6843k| 512.6 |   289M | 151 |6581 |5776 | 389 | 655 |  0 |7189 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1417.09/1421.02	c  1421s| 13400 |    54 |  6885k| 511.9 |   289M | 151 |6581 |5809 | 389 | 657 |  0 |7239 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1425.76/1429.75	c  1430s| 13500 |    54 |  6930k| 511.4 |   289M | 151 |6581 |5693 | 389 | 658 |  1 |7286 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1430.26/1434.26	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1430.26/1434.26	c (run 1, node 13557) performing user restart
1430.26/1434.26	c 
1430.26/1434.26	c (restart) converted 46 cuts from the global cut pool into linear constraints
1430.26/1434.26	c 
1430.26/1434.29	c presolving:
1430.36/1434.35	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 0 impls, 379 clqs
1431.16/1435.19	c (round 2, exhaustive) 0 del vars, 2871 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 4194 chg coeffs, 46 upgd conss, 0 impls, 379 clqs
1431.16/1435.19	c (round 3, fast)       0 del vars, 2877 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 4194 chg coeffs, 46 upgd conss, 0 impls, 379 clqs
1431.95/1435.91	c (round 4, exhaustive) 0 del vars, 3010 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 4384 chg coeffs, 46 upgd conss, 0 impls, 379 clqs
1432.65/1436.62	c (round 5, exhaustive) 0 del vars, 3027 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 4388 chg coeffs, 46 upgd conss, 0 impls, 379 clqs
1433.45/1437.49	c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
1433.45/1437.49	c  0 deleted vars, 3028 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 4388 changed coefficients
1433.45/1437.49	c  0 implications, 379 cliques
1433.45/1437.49	c presolved problem has 6581 variables (6581 bin, 0 int, 0 cont) and 2742 constraints
1433.45/1437.49	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1433.45/1437.49	c       6 constraints of type <knapsack>
1433.45/1437.49	c     379 constraints of type <setppc>
1433.45/1437.49	c    2357 constraints of type <logicor>
1433.45/1437.49	c transformed objective value is always integral (scale: 1)
1433.45/1437.49	c Presolving Time: 3.94
1433.45/1437.49	c 
1436.44/1440.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1436.44/1440.48	c  1440s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2683 | 385 |   0 |  0 |7342 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1436.94/1440.91	c  1441s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2403 | 389 |   4 |  1 |7346 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1437.04/1441.07	c  1441s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2384 | 397 |  12 |  2 |7355 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1437.24/1441.24	c  1441s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2377 | 404 |  19 |  3 |7355 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1437.44/1441.42	c  1441s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2387 | 413 |  28 |  4 |7365 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1437.64/1441.60	c  1442s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2397 | 420 |  35 |  5 |7375 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1437.74/1441.78	c  1442s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2401 | 426 |  41 |  6 |7380 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1437.94/1441.96	c  1442s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2405 | 434 |  49 |  7 |7390 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1438.14/1442.13	c  1442s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2413 | 442 |  57 |  8 |7400 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1438.33/1442.30	c  1442s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2413 | 449 |  64 |  9 |7400 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1438.43/1442.49	c  1442s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2423 | 415 |  68 | 10 |7410 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1438.63/1442.63	c  1443s|     1 |     0 |  6965k|     - |   332M |   0 |6581 |2432 | 416 |  69 | 11 |7420 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1458.48/1462.53	c  1463s|     1 |     2 |  7038k|     - |   332M |   0 |6581 |2438 | 416 |  69 | 11 |7435 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1478.93/1483.04	c  1483s|   100 |    23 |  7133k| 519.5 |   334M |  37 |6581 |2508 | 380 |  75 |  0 |7521 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1492.19/1496.39	c  1496s|   200 |    27 |  7203k| 520.8 |   335M |  39 |6581 |2567 | 380 |  77 |  0 |7626 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1500.87/1505.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1500.87/1505.04	c  1505s|   300 |    27 |  7249k| 520.3 |   335M |  44 |6581 |2623 | 379 |  82 |  0 |7734 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1511.34/1515.54	c  1516s|   400 |    27 |  7303k| 520.4 |   335M |  53 |6581 |2608 | 379 |  90 |  0 |7805 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1519.12/1523.32	c  1523s|   500 |    27 |  7344k| 519.7 |   336M |  53 |6581 |2674 | 379 |  90 |  1 |7901 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1527.30/1531.52	c  1532s|   600 |    31 |  7387k| 519.0 |   336M |  53 |6581 |2682 | 379 |  92 |  1 |7986 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1537.57/1541.87	c  1542s|   700 |    33 |  7442k| 519.2 |   336M |  53 |6581 |2719 | 379 |  93 |  1 |8085 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1550.93/1555.26	c  1555s|   800 |    31 |  7514k| 520.6 |   336M |  53 |6581 |2750 | 380 |  94 |  0 |8174 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1561.40/1565.75	c  1566s|   900 |    31 |  7569k| 520.8 |   336M |  53 |6581 |2817 | 379 |  97 |  1 |8296 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1572.37/1576.76	c  1577s|  1000 |    31 |  7628k| 521.3 |   336M |  53 |6581 |2849 | 380 |  99 |  1 |8397 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1583.65/1588.06	c  1588s|  1100 |    31 |  7687k| 521.8 |   337M |  56 |6581 |2868 | 379 | 102 |  1 |8462 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1593.02/1597.42	c  1597s|  1200 |    33 |  7736k| 521.6 |   337M |  56 |6581 |2946 | 379 | 104 |  1 |8552 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1602.69/1607.13	c  1607s|  1300 |    33 |  7788k| 521.6 |   337M |  56 |6581 |2977 | 379 | 104 |  1 |8637 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1610.57/1615.03	c  1615s|  1400 |    31 |  7829k| 520.8 |   337M |  56 |6581 |2928 | 379 | 105 |  2 |8672 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1618.05/1622.54	c  1623s|  1500 |    33 |  7870k| 520.1 |   337M |  56 |6581 |2998 | 379 | 106 |  1 |8749 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1624.73/1629.22	c  1629s|  1600 |    33 |  7905k| 519.0 |   337M |  56 |6581 |3034 | 379 | 106 |  1 |8814 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1632.31/1636.89	c  1637s|  1700 |    31 |  7945k| 518.2 |   337M |  56 |6581 |3044 | 381 | 111 |  1 |8864 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1638.89/1643.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1638.89/1643.47	c  1643s|  1800 |    33 |  7980k| 517.1 |   337M |  56 |6581 |3053 | 379 | 112 |  0 |8894 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1647.47/1652.01	c  1652s|  1900 |    35 |  8025k| 516.7 |   337M |  56 |6581 |3087 | 379 | 113 |  0 |8940 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1656.04/1660.69	c  1661s|  2000 |    33 |  8072k| 516.4 |   337M |  56 |6581 |3107 | 379 | 113 |  0 |8967 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1664.43/1669.09	c  1669s|  2100 |    33 |  8117k| 515.9 |   337M |  56 |6581 |3128 | 379 | 113 |  0 |8995 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1671.80/1676.47	c  1676s|  2200 |    33 |  8156k| 515.1 |   337M |  56 |6581 |3174 | 379 | 117 |  1 |9041 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1677.88/1682.58	c  1683s|  2300 |    33 |  8187k| 513.8 |   337M |  56 |6581 |3209 | 379 | 119 |  0 |9086 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1685.16/1689.82	c  1690s|  2400 |    35 |  8225k| 513.0 |   337M |  56 |6581 |3236 | 380 | 120 |  0 |9153 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1690.25/1694.95	c  1695s|  2500 |    39 |  8253k| 511.5 |   337M |  56 |6581 |3286 | 380 | 120 |  1 |9209 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1695.83/1700.55	c  1701s|  2600 |    37 |  8282k| 510.2 |   337M |  56 |6581 |3314 | 380 | 123 |  0 |9245 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1702.32/1707.01	c  1707s|  2700 |    37 |  8317k| 509.2 |   337M |  56 |6581 |3345 | 380 | 126 |  0 |9279 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1708.00/1712.75	c  1713s|  2800 |    39 |  8347k| 507.9 |   337M |  56 |6581 |3394 | 380 | 128 |  0 |9333 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1714.48/1719.23	c  1719s|  2900 |    39 |  8382k| 506.9 |   338M |  56 |6581 |3435 | 380 | 128 |  1 |9406 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1719.97/1724.77	c  1725s|  3000 |    41 |  8411k| 505.6 |   338M |  56 |6581 |3482 | 380 | 129 |  1 |9458 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1727.35/1732.17	c  1732s|  3100 |    41 |  8450k| 504.9 |   338M |  56 |6581 |3544 | 380 | 135 |  0 |9528 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1735.72/1740.53	c  1741s|  3200 |    36 |  8494k| 504.6 |   338M |  56 |6581 |3589 | 380 | 138 |  0 |9598 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1741.21/1746.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1741.21/1746.06	c  1746s|  3300 |    38 |  8524k| 503.3 |   338M |  56 |6581 |3617 | 380 | 139 |  1 |9634 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1748.49/1753.36	c  1753s|  3400 |    36 |  8562k| 502.6 |   338M |  56 |6581 |3654 | 380 | 148 |  1 |9671 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1756.17/1761.07	c  1761s|  3500 |    36 |  8602k| 502.0 |   338M |  56 |6581 |3678 | 383 | 159 |  0 |9698 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1763.35/1768.25	c  1768s|  3600 |    34 |  8640k| 501.3 |   338M |  67 |6581 |3710 | 382 | 161 |  0 |9735 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1770.23/1775.11	c  1775s|  3700 |    36 |  8677k| 500.5 |   338M |  95 |6581 |3745 | 380 | 161 |  1 |9772 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1778.71/1783.66	c  1784s|  3800 |    34 |  8721k| 500.2 |   338M |  95 |6581 |3787 | 382 | 169 |  0 |9814 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1786.19/1791.12	c  1791s|  3900 |    34 |  8762k| 499.7 |   338M |  95 |6581 |3804 | 382 | 169 |  0 |9831 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1791.77/1796.79	c  1797s|  4000 |    34 |  8792k| 498.6 |   338M | 100 |6581 |3839 | 380 | 169 |  0 |9878 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1798.75/1803.71	c  1804s|  4100 |    34 |  8830k| 497.8 |   339M | 100 |6581 |3885 | 380 | 169 |  1 |9931 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1807.93/1812.99	c  1813s|  4200 |    34 |  8878k| 497.8 |   339M | 100 |6581 |3944 | 380 | 174 |  1 |9995 |  38 | 0.000000e+00 |      --      |    Inf | unknown
1817.90/1822.99	c  1823s|  4300 |    36 |  8931k| 497.9 |   339M | 100 |6581 |3909 | 383 | 183 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1824.18/1829.25	c  1829s|  4400 |    36 |  8965k| 497.1 |   339M | 100 |6581 |3922 | 379 | 184 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1832.76/1837.81	c  1838s|  4500 |    36 |  9011k| 496.9 |   339M | 100 |6581 |3966 | 379 | 184 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1841.23/1846.37	c  1846s|  4600 |    34 |  9058k| 496.7 |   339M | 100 |6581 |4005 | 379 | 184 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1848.31/1853.43	c  1853s|  4700 |    38 |  9096k| 496.1 |   339M | 100 |6581 |4039 | 380 | 186 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1857.39/1862.50	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1857.39/1862.50	c  1862s|  4800 |    36 |  9144k| 496.0 |   339M | 100 |6581 |4068 | 382 | 191 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1864.37/1869.55	c  1870s|  4900 |    35 |  9182k| 495.4 |   339M | 100 |6581 |4085 | 379 | 191 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1872.45/1877.69	c  1878s|  5000 |    39 |  9226k| 495.0 |   339M | 100 |6581 |4099 | 379 | 191 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1879.43/1884.60	c  1885s|  5100 |    37 |  9263k| 494.4 |   339M | 100 |6581 |4161 | 379 | 191 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1886.31/1891.53	c  1892s|  5200 |    37 |  9299k| 493.7 |   339M | 100 |6581 |4209 | 382 | 197 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1892.90/1898.14	c  1898s|  5300 |    37 |  9334k| 492.9 |   339M | 100 |6581 |4231 | 379 | 197 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1899.97/1905.24	c  1905s|  5400 |    35 |  9371k| 492.3 |   339M | 100 |6581 |4262 | 379 | 202 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1908.45/1913.76	c  1914s|  5500 |    37 |  9417k| 492.1 |   339M | 100 |6581 |4294 | 381 | 207 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1916.53/1921.89	c  1922s|  5600 |    35 |  9460k| 491.8 |   339M | 100 |6581 |4335 | 379 | 208 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1923.71/1929.08	c  1929s|  5700 |    35 |  9499k| 491.2 |   339M | 100 |6581 |4382 | 379 | 210 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1932.18/1937.50	c  1938s|  5800 |    33 |  9543k| 491.0 |   339M | 100 |6581 |4412 | 380 | 216 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1938.57/1943.91	c  1944s|  5900 |    37 |  9577k| 490.2 |   339M | 100 |6581 |4439 | 379 | 217 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1947.54/1952.94	c  1953s|  6000 |    35 |  9624k| 490.1 |   339M | 100 |6581 |4492 | 380 | 219 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1954.73/1960.13	c  1960s|  6100 |    35 |  9663k| 489.6 |   339M | 100 |6581 |4506 | 380 | 221 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1966.29/1971.75	c  1972s|  6200 |    35 |  9725k| 490.2 |   339M | 100 |6581 |4514 | 382 | 223 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1976.96/1982.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1976.96/1982.40	c  1982s|  6300 |    35 |  9783k| 490.7 |   339M | 115 |6581 |4522 | 382 | 223 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1984.64/1990.13	c  1990s|  6400 |    31 |  9824k| 490.3 |   339M | 135 |6581 |4547 | 379 | 223 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1992.42/1997.98	c  1998s|  6500 |    39 |  9865k| 489.9 |   339M | 135 |6581 |4469 | 380 | 226 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1999.80/2005.37	c  2005s|  6600 |    37 |  9904k| 489.4 |   339M | 135 |6581 |4483 | 380 | 233 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2008.67/2014.23	c  2014s|  6700 |    37 |  9952k| 489.3 |   339M | 135 |6581 |4485 | 383 | 236 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2016.95/2022.59	c  2023s|  6800 |    35 |  9996k| 489.1 |   339M | 135 |6581 |4496 | 379 | 239 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2025.43/2031.04	c  2031s|  6900 |    37 | 10041k| 488.9 |   339M | 135 |6581 |4489 | 379 | 242 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2033.41/2039.03	c  2039s|  7000 |    37 | 10083k| 488.6 |   340M | 135 |6581 |4481 | 381 | 246 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2042.88/2048.56	c  2049s|  7100 |    35 | 10135k| 488.7 |   340M | 135 |6581 |4481 | 379 | 248 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2051.86/2057.59	c  2058s|  7200 |    35 | 10183k| 488.7 |   340M | 135 |6581 |4485 | 380 | 251 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2058.54/2064.24	c  2064s|  7300 |    33 | 10216k| 488.0 |   340M | 135 |6581 |4511 | 382 | 258 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2066.42/2072.15	c  2072s|  7400 |    33 | 10259k| 487.6 |   340M | 135 |6581 |4458 | 381 | 260 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2075.99/2081.72	c  2082s|  7500 |    35 | 10310k| 487.8 |   340M | 135 |6581 |4480 | 381 | 260 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2083.67/2089.46	c  2089s|  7600 |    35 | 10352k| 487.4 |   340M | 142 |6581 |4505 | 381 | 260 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2091.55/2097.38	c  2097s|  7700 |    37 | 10394k| 487.1 |   340M | 152 |6581 |4506 | 382 | 262 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2101.12/2106.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2101.12/2106.90	c  2107s|  7800 |    37 | 10445k| 487.2 |   340M | 152 |6581 |4541 | 382 | 262 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2111.99/2117.87	c  2118s|  7900 |    37 | 10504k| 487.7 |   340M | 168 |6581 |4573 | 382 | 262 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2119.77/2125.67	c  2126s|  8000 |    35 | 10546k| 487.4 |   340M | 199 |6581 |4562 | 379 | 262 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2129.15/2135.04	c  2135s|  8100 |    35 | 10597k| 487.5 |   340M | 199 |6581 |4564 | 382 | 262 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2136.63/2142.58	c  2143s|  8200 |    35 | 10637k| 487.1 |   341M | 199 |6581 |4603 | 382 | 262 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2143.21/2149.16	c  2149s|  8300 |    39 | 10672k| 486.5 |   341M | 199 |6581 |4563 | 379 | 262 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2150.99/2156.92	c  2157s|  8400 |    37 | 10712k| 486.1 |   341M | 199 |6581 |4567 | 379 | 268 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2160.86/2166.83	c  2167s|  8500 |    37 | 10765k| 486.3 |   341M | 199 |6581 |4596 | 382 | 273 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2169.23/2175.25	c  2175s|  8600 |    39 | 10809k| 486.1 |   341M | 199 |6581 |4617 | 381 | 277 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2175.62/2181.60	c  2182s|  8700 |    37 | 10841k| 485.3 |   341M | 199 |6581 |4635 | 381 | 280 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2183.59/2189.67	c  2190s|  8800 |    35 | 10883k| 485.1 |   341M | 199 |6581 |4674 | 379 | 280 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2194.17/2200.29	c  2200s|  8900 |    37 | 10940k| 485.4 |   341M | 199 |6581 |4710 | 382 | 284 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2201.15/2207.29	c  2207s|  9000 |    37 | 10976k| 484.9 |   341M | 199 |6581 |4721 | 381 | 289 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2211.62/2217.74	c  2218s|  9100 |    37 | 11031k| 485.1 |   341M | 199 |6581 |4756 | 380 | 293 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2217.90/2224.02	c  2224s|  9200 |    37 | 11064k| 484.5 |   341M | 199 |6581 |4773 | 380 | 293 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2226.38/2232.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2226.38/2232.57	c  2233s|  9300 |    39 | 11109k| 484.3 |   341M | 199 |6581 |4724 | 379 | 293 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2234.65/2240.87	c  2241s|  9400 |    39 | 11153k| 484.1 |   341M | 199 |6581 |4740 | 382 | 297 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2242.23/2248.49	c  2248s|  9500 |    37 | 11194k| 483.8 |   341M | 199 |6581 |4725 | 379 | 301 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2250.92/2257.19	c  2257s|  9600 |    39 | 11241k| 483.7 |   341M | 199 |6581 |4748 | 379 | 303 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2260.79/2267.07	c  2267s|  9700 |    37 | 11291k| 483.8 |   341M | 199 |6581 |4778 | 382 | 318 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2269.06/2275.35	c  2275s|  9800 |    37 | 11335k| 483.6 |   341M | 199 |6581 |4794 | 379 | 322 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2277.74/2284.06	c  2284s|  9900 |    39 | 11380k| 483.5 |   341M | 199 |6581 |4846 | 379 | 326 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2285.42/2291.73	c  2292s| 10000 |    39 | 11419k| 483.1 |   341M | 199 |6581 |4876 | 379 | 334 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2294.29/2300.63	c  2301s| 10100 |    37 | 11466k| 483.0 |   341M | 199 |6581 |4926 | 379 | 340 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2304.07/2310.47	c  2310s| 10200 |    39 | 11517k| 483.1 |   341M | 199 |6581 |4966 | 379 | 349 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2314.34/2320.79	c  2321s| 10300 |    35 | 11570k| 483.3 |   341M | 199 |6581 |5000 | 379 | 358 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2322.92/2329.34	c  2329s| 10400 |    35 | 11614k| 483.2 |   341M | 199 |6581 |5015 | 379 | 362 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2333.59/2340.03	c  2340s| 10500 |    35 | 11668k| 483.4 |   341M | 199 |6581 |4966 | 379 | 368 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2342.86/2349.31	c  2349s| 10600 |    35 | 11717k| 483.4 |   341M | 199 |6581 |4989 | 379 | 375 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2351.64/2358.17	c  2358s| 10700 |    37 | 11764k| 483.4 |   341M | 199 |6581 |5014 | 379 | 376 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2359.22/2365.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2359.22/2365.73	c  2366s| 10800 |    35 | 11804k| 483.0 |   341M | 199 |6581 |5082 | 379 | 380 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2367.50/2374.03	c  2374s| 10900 |    35 | 11847k| 482.8 |   341M | 199 |6581 |5070 | 379 | 389 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2375.87/2382.46	c  2382s| 11000 |    35 | 11890k| 482.6 |   341M | 199 |6581 |5071 | 382 | 397 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2383.45/2390.04	c  2390s| 11100 |    35 | 11928k| 482.2 |   341M | 199 |6581 |5084 | 381 | 403 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2393.43/2400.10	c  2400s| 11200 |    33 | 11983k| 482.4 |   341M | 199 |6581 |5097 | 381 | 403 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2403.10/2409.71	c  2410s| 11300 |    39 | 12034k| 482.5 |   341M | 199 |6581 |4983 | 379 | 403 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2411.58/2418.21	c  2418s| 11400 |    41 | 12080k| 482.5 |   341M | 199 |6581 |4972 | 379 | 403 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2420.25/2426.92	c  2427s| 11500 |    43 | 12126k| 482.4 |   341M | 199 |6581 |4957 | 379 | 411 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2428.23/2434.91	c  2435s| 11600 |    43 | 12168k| 482.1 |   341M | 199 |6581 |4982 | 379 | 418 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2436.11/2442.82	c  2443s| 11700 |    39 | 12210k| 481.9 |   342M | 199 |6581 |5031 | 379 | 420 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2444.39/2451.12	c  2451s| 11800 |    37 | 12253k| 481.7 |   342M | 199 |6581 |5037 | 379 | 426 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2451.17/2457.96	c  2458s| 11900 |    37 | 12290k| 481.2 |   342M | 199 |6581 |5036 | 379 | 426 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2458.75/2465.56	c  2466s| 12000 |    41 | 12330k| 480.9 |   342M | 199 |6581 |5052 | 379 | 426 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2468.92/2475.76	c  2476s| 12100 |    39 | 12385k| 481.2 |   342M | 199 |6581 |5055 | 381 | 428 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2481.29/2488.18	c  2488s| 12200 |    39 | 12451k| 481.9 |   342M | 199 |6581 |5087 | 382 | 435 |  0 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2490.36/2497.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2490.36/2497.26	c  2497s| 12300 |    41 | 12500k| 481.9 |   342M | 199 |6581 |5117 | 379 | 435 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2499.53/2506.49	c  2506s| 12400 |    41 | 12549k| 481.9 |   342M | 199 |6581 |5159 | 380 | 436 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2508.91/2515.89	c  2516s| 12500 |    41 | 12599k| 482.0 |   342M | 199 |6581 |5170 | 379 | 440 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2520.98/2527.98	c  2528s| 12600 |    41 | 12663k| 482.6 |   342M | 199 |6581 |5194 | 383 | 448 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2531.95/2538.95	c  2539s| 12700 |    39 | 12721k| 483.0 |   342M | 199 |6581 |5195 | 379 | 453 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2541.92/2548.92	c  2549s| 12800 |    39 | 12774k| 483.2 |   342M | 199 |6581 |5198 | 381 | 456 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2550.20/2557.23	c  2557s| 12900 |    39 | 12818k| 483.0 |   342M | 199 |6581 |5163 | 380 | 459 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2558.67/2565.75	c  2566s| 13000 |    41 | 12863k| 482.9 |   343M | 199 |6581 |5214 | 380 | 459 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2568.05/2575.16	c  2575s| 13100 |    39 | 12913k| 483.0 |   343M | 199 |6581 |5181 | 382 | 465 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2578.12/2585.23	c  2585s| 13200 |    41 | 12967k| 483.1 |   343M | 199 |6581 |5184 | 382 | 468 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2590.99/2598.19	c  2598s| 13300 |    43 | 13037k| 484.0 |   343M | 199 |6581 |5186 | 380 | 469 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2599.46/2606.63	c  2607s| 13400 |    43 | 13082k| 483.9 |   343M | 199 |6581 |5202 | 380 | 469 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2608.34/2615.58	c  2616s| 13500 |    41 | 13130k| 483.8 |   343M | 199 |6581 |5231 | 383 | 473 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2618.41/2625.64	c  2626s| 13600 |    39 | 13184k| 484.0 |   343M | 199 |6581 |5268 | 380 | 478 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2628.18/2635.49	c  2635s| 13700 |    39 | 13237k| 484.2 |   343M | 199 |6581 |5309 | 380 | 479 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2636.46/2643.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2636.46/2643.75	c  2644s| 13800 |    39 | 13280k| 484.0 |   343M | 199 |6581 |5354 | 380 | 482 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2645.93/2653.26	c  2653s| 13900 |    43 | 13329k| 484.0 |   343M | 199 |6581 |5386 | 380 | 486 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2658.40/2665.76	c  2666s| 14000 |    39 | 13396k| 484.7 |   343M | 199 |6581 |5423 | 379 | 488 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2673.36/2680.76	c  2681s| 14100 |    39 | 13475k| 485.8 |   343M | 199 |6581 |5454 | 382 | 495 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2681.14/2688.59	c  2689s| 14200 |    39 | 13516k| 485.5 |   343M | 199 |6581 |5472 | 379 | 497 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2694.10/2701.54	c  2702s| 14300 |    39 | 13586k| 486.3 |   343M | 199 |6581 |5480 | 379 | 499 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2704.58/2712.01	c  2712s| 14400 |    37 | 13642k| 486.6 |   343M | 199 |6581 |5497 | 382 | 501 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2714.74/2722.25	c  2722s| 14500 |    39 | 13696k| 486.7 |   343M | 199 |6581 |5480 | 379 | 501 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2723.92/2731.42	c  2731s| 14600 |    43 | 13744k| 486.7 |   343M | 199 |6581 |5536 | 379 | 504 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2731.70/2739.24	c  2739s| 14700 |    41 | 13785k| 486.5 |   343M | 199 |6581 |5574 | 379 | 509 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2740.27/2747.89	c  2748s| 14800 |    43 | 13832k| 486.4 |   343M | 199 |6581 |5577 | 380 | 511 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2748.56/2756.17	c  2756s| 14900 |    45 | 13876k| 486.2 |   343M | 199 |6581 |5626 | 380 | 513 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2761.81/2769.44	c  2769s| 15000 |    41 | 13947k| 487.0 |   343M | 199 |6581 |5670 | 380 | 519 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2769.69/2777.31	c  2777s| 15100 |    41 | 13989k| 486.8 |   343M | 199 |6581 |5717 | 380 | 522 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2780.47/2788.11	c  2788s| 15200 |    41 | 14046k| 487.1 |   343M | 199 |6581 |5745 | 382 | 531 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2788.35/2796.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2788.35/2796.01	c  2796s| 15300 |    41 | 14088k| 486.9 |   343M | 199 |6581 |5771 | 379 | 534 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2798.81/2806.59	c  2807s| 15400 |    43 | 14145k| 487.1 |   343M | 199 |6581 |5849 | 379 | 534 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2809.39/2817.15	c  2817s| 15500 |    43 | 14200k| 487.4 |   343M | 199 |6581 |5882 | 381 | 543 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2816.96/2824.73	c  2825s| 15600 |    39 | 14240k| 487.1 |   344M | 199 |6581 |5888 | 379 | 545 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2831.02/2838.89	c  2839s| 15700 |    41 | 14316k| 488.0 |   344M | 199 |6581 |5924 | 380 | 550 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2844.09/2851.90	c  2852s| 15800 |    39 | 14384k| 488.6 |   344M | 199 |6581 |5938 | 382 | 554 |  2 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2853.76/2861.64	c  2862s| 15900 |    39 | 14436k| 488.8 |   344M | 199 |6581 |5957 | 380 | 554 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2862.54/2870.43	c  2870s| 16000 |    39 | 14482k| 488.7 |   344M | 199 |6581 |6004 | 382 | 560 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2872.01/2879.95	c  2880s| 16100 |    39 | 14532k| 488.7 |   344M | 199 |6581 |6045 | 379 | 564 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2884.08/2892.06	c  2892s| 16200 |    41 | 14596k| 489.2 |   344M | 199 |6581 |6090 | 382 | 568 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2894.65/2902.61	c  2903s| 16300 |    37 | 14653k| 489.5 |   344M | 199 |6581 |6123 | 382 | 568 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2902.43/2910.47	c  2910s| 16400 |    37 | 14693k| 489.2 |   344M | 199 |6581 |6132 | 382 | 574 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2909.81/2917.87	c  2918s| 16500 |    39 | 14732k| 488.8 |   344M | 199 |6581 |6038 | 379 | 574 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2916.29/2924.39	c  2924s| 16600 |    43 | 14766k| 488.3 |   344M | 199 |6581 |6033 | 379 | 574 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2925.66/2933.74	c  2934s| 16700 |    43 | 14816k| 488.4 |   344M | 199 |6581 |6110 | 379 | 575 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2936.83/2944.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2936.83/2944.97	c  2945s| 16800 |    39 | 14874k| 488.7 |   344M | 199 |6581 |6036 | 379 | 582 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2945.51/2953.66	c  2954s| 16900 |    39 | 14921k| 488.6 |   344M | 199 |6581 |6000 | 379 | 585 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2957.88/2966.00	c  2966s| 17000 |    39 | 14986k| 489.1 |   344M | 199 |6581 |5983 | 379 | 589 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2969.85/2978.06	c  2978s| 17100 |    35 | 15048k| 489.6 |   344M | 199 |6581 |5909 | 379 | 594 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2977.72/2985.95	c  2986s| 17200 |    39 | 15087k| 489.2 |   344M | 199 |6581 |5858 | 379 | 602 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2985.50/2993.75	c  2994s| 17300 |    41 | 15128k| 489.0 |   344M | 199 |6581 |5897 | 379 | 602 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2995.78/3004.03	c  3004s| 17400 |    41 | 15183k| 489.2 |   344M | 199 |6581 |5952 | 379 | 602 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3005.25/3013.54	c  3014s| 17500 |    39 | 15234k| 489.3 |   344M | 199 |6581 |6007 | 379 | 602 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3013.62/3021.98	c  3022s| 17600 |    41 | 15278k| 489.1 |   344M | 199 |6581 |6048 | 379 | 602 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3026.29/3034.67	c  3035s| 17700 |    41 | 15346k| 489.7 |   344M | 199 |6581 |6109 | 379 | 602 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3037.86/3046.23	c  3046s| 17800 |    35 | 15408k| 490.1 |   345M | 199 |6581 |6062 | 380 | 602 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3050.12/3058.54	c  3059s| 17900 |    35 | 15473k| 490.6 |   345M | 199 |6581 |6053 | 379 | 602 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3059.90/3068.34	c  3068s| 18000 |    31 | 15526k| 490.8 |   345M | 199 |6581 |6066 | 379 | 602 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3070.37/3078.88	c  3079s| 18100 |    33 | 15583k| 491.0 |   345M | 199 |6581 |6084 | 379 | 603 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3079.24/3087.77	c  3088s| 18200 |    35 | 15630k| 491.0 |   345M | 199 |6581 |6116 | 379 | 603 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3089.12/3097.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3089.12/3097.66	c  3098s| 18300 |    35 | 15684k| 491.1 |   345M | 199 |6581 |6159 | 379 | 603 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3097.99/3106.53	c  3107s| 18400 |    33 | 15733k| 491.1 |   345M | 199 |6581 |6196 | 379 | 603 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3106.17/3114.77	c  3115s| 18500 |    35 | 15776k| 490.9 |   345M | 199 |6581 |6249 | 379 | 605 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3113.56/3122.14	c  3122s| 18600 |    37 | 15816k| 490.6 |   345M | 199 |6581 |6319 | 379 | 606 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3122.53/3131.12	c  3131s| 18700 |    37 | 15864k| 490.6 |   345M | 199 |6581 |6338 | 379 | 610 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3130.60/3139.25	c  3139s| 18800 |    37 | 15907k| 490.4 |   345M | 199 |6581 |6370 | 379 | 614 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3143.07/3151.71	c  3152s| 18900 |    35 | 15973k| 490.9 |   345M | 199 |6581 |6415 | 382 | 618 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3153.24/3161.93	c  3162s| 19000 |    33 | 16027k| 491.1 |   345M | 199 |6581 |6440 | 381 | 624 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3166.11/3174.87	c  3175s| 19100 |    33 | 16097k| 491.7 |   345M | 199 |6581 |6494 | 381 | 626 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3175.18/3183.98	c  3184s| 19200 |    35 | 16145k| 491.7 |   345M | 199 |6581 |6484 | 379 | 630 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3184.06/3192.89	c  3193s| 19300 |    33 | 16194k| 491.7 |   345M | 199 |6581 |6503 | 379 | 630 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3192.34/3201.16	c  3201s| 19400 |    35 | 16237k| 491.5 |   345M | 199 |6581 |6557 | 379 | 632 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3202.21/3211.05	c  3211s| 19500 |    33 | 16289k| 491.6 |   345M | 199 |6581 |6599 | 381 | 640 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3210.19/3219.09	c  3219s| 19600 |    35 | 16332k| 491.4 |   345M | 199 |6581 |6629 | 379 | 640 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3219.27/3228.16	c  3228s| 19700 |    35 | 16382k| 491.4 |   345M | 199 |6581 |6713 | 379 | 640 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3228.54/3237.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3228.54/3237.48	c  3237s| 19800 |    33 | 16432k| 491.4 |   345M | 199 |6581 |6739 | 379 | 643 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3241.11/3250.04	c  3250s| 19900 |    29 | 16498k| 492.0 |   345M | 199 |6581 |6634 | 379 | 644 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3251.08/3260.03	c  3260s| 20000 |    31 | 16552k| 492.1 |   345M | 199 |6581 |6646 | 379 | 645 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3266.73/3275.71	c  3276s| 20100 |    33 | 16634k| 493.1 |   345M | 199 |6581 |6484 | 379 | 648 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3277.80/3286.89	c  3287s| 20200 |    33 | 16694k| 493.4 |   345M | 199 |6581 |6447 | 379 | 648 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3287.67/3296.72	c  3297s| 20300 |    33 | 16746k| 493.5 |   345M | 199 |6581 |6397 | 380 | 649 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3298.74/3307.82	c  3308s| 20400 |    31 | 16805k| 493.7 |   345M | 199 |6581 |6429 | 381 | 653 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3310.21/3319.31	c  3319s| 20500 |    31 | 16866k| 494.1 |   345M | 199 |6581 |6443 | 380 | 656 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3323.78/3332.95	c  3333s| 20600 |    33 | 16938k| 494.7 |   345M | 199 |6581 |6489 | 379 | 661 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3335.35/3344.51	c  3345s| 20700 |    35 | 16998k| 495.1 |   345M | 199 |6581 |6533 | 379 | 668 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3347.62/3356.86	c  3357s| 20800 |    33 | 17063k| 495.5 |   345M | 199 |6581 |6555 | 382 | 675 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3356.69/3365.98	c  3366s| 20900 |    35 | 17111k| 495.5 |   345M | 199 |6581 |6559 | 379 | 675 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3368.36/3377.68	c  3378s| 21000 |    33 | 17174k| 495.8 |   345M | 199 |6581 |6592 | 379 | 675 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3378.53/3387.87	c  3388s| 21100 |    35 | 17228k| 496.0 |   345M | 199 |6581 |6650 | 379 | 675 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3390.49/3399.87	c  3400s| 21200 |    35 | 17292k| 496.4 |   345M | 199 |6581 |6706 | 379 | 680 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3401.66/3411.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3401.66/3411.07	c  3411s| 21300 |    35 | 17350k| 496.6 |   345M | 199 |6581 |6747 | 382 | 688 |  2 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3409.03/3418.44	c  3418s| 21400 |    35 | 17389k| 496.3 |   346M | 199 |6581 |6759 | 379 | 688 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3419.30/3428.76	c  3429s| 21500 |    37 | 17444k| 496.5 |   346M | 199 |6581 |6763 | 379 | 691 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3430.58/3440.04	c  3440s| 21600 |    35 | 17503k| 496.7 |   346M | 199 |6581 |6815 | 381 | 697 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3439.35/3448.84	c  3449s| 21700 |    31 | 17550k| 496.7 |   346M | 199 |6581 |6855 | 379 | 697 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3452.51/3462.08	c  3462s| 21800 |    33 | 17620k| 497.2 |   346M | 199 |6581 |6878 | 379 | 699 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3464.58/3474.18	c  3474s| 21900 |    31 | 17684k| 497.6 |   346M | 199 |6581 |6918 | 380 | 701 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3476.64/3486.24	c  3486s| 22000 |    33 | 17748k| 498.0 |   346M | 199 |6581 |6947 | 379 | 704 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3486.61/3496.28	c  3496s| 22100 |    31 | 17800k| 498.1 |   346M | 199 |6581 |6977 | 379 | 709 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3500.77/3510.48	c  3510s| 22200 |    33 | 17875k| 498.8 |   346M | 199 |6581 |6990 | 379 | 712 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3513.53/3523.22	c  3523s| 22300 |    31 | 17942k| 499.3 |   346M | 199 |6581 |7045 | 383 | 719 |  2 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3524.30/3534.00	c  3534s| 22400 |    33 | 18000k| 499.5 |   346M | 199 |6581 |7057 | 379 | 719 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3537.46/3547.26	c  3547s| 22500 |    33 | 18071k| 500.1 |   346M | 199 |6581 |7081 | 379 | 721 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3551.82/3561.63	c  3562s| 22600 |    33 | 18147k| 500.8 |   346M | 199 |6581 |7143 | 379 | 724 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3564.29/3574.14	c  3574s| 22700 |    33 | 18213k| 501.2 |   346M | 199 |6581 |7203 | 379 | 730 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3577.35/3587.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3577.35/3587.21	c  3587s| 22800 |    33 | 18282k| 501.8 |   346M | 199 |6581 |7121 | 379 | 732 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3587.02/3597.00	c 
3587.02/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.02/3597.00	c Solving Time (sec) : 3597.00
3587.02/3597.00	c Solving Nodes      : 22883 (total of 36440 nodes in 2 runs)
3587.02/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.02/3597.00	c Dual Bound         : +0.00000000000000e+00
3587.02/3597.00	c Gap                : infinite
3587.02/3597.00	s UNKNOWN
3587.02/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.02/3597.00	c Total Time         :    3597.00
3587.02/3597.00	c   solving          :    3597.00
3587.02/3597.00	c   presolving       :       3.94 (included in solving)
3587.02/3597.00	c   reading          :       0.07 (included in solving)
3587.02/3597.00	c   copying          :       2.33 (106 #copies) (minimal 0.01, maximal 0.03, average 0.02)
3587.02/3597.00	c Original Problem   :
3587.02/3597.00	c   Problem name     : HOME/instance-4515213-1751233650.opb
3587.02/3597.00	c   Variables        : 36630 (36630 binary, 0 integer, 0 continuous)
3587.02/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.02/3597.00	c   Constraints      : 339 initial, 339 maximal
3587.02/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.02/3597.00	c Presolved Problem  :
3587.02/3597.00	c   Problem name     : t_HOME/instance-4515213-1751233650.opb
3587.02/3597.00	c   Variables        : 6581 (6581 binary, 0 integer, 0 continuous)
3587.02/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.02/3597.00	c   Constraints      : 2742 initial, 7235 maximal
3587.02/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.02/3597.00	c   Nonzeros         : 335709 constraint, 36142 clique table
3587.02/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.02/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   domcol           :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   gateextraction   :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   implics          :       0.00       0.00      8          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   milp             :       0.38       0.00      1      30049          0          0          0          0        339        339          0          0
3587.02/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   sparsify         :       0.14       0.00      1          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   trivial          :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   dualfix          :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   probing          :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   vbounds          :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   knapsack         :       0.01       0.00     19          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   setppc           :       0.02       0.00     19          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   linear           :       0.11       0.03      5          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   logicor          :       3.03       0.12     15          0          0          0          0          0       3028          0          0       4388
3587.02/3597.00	c   components       :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.02/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.02/3597.00	c   integral         :          0          0          0          0      18265          0          0       1255          0          0          0          0          0          0      36530
3587.02/3597.00	c   knapsack         :          6          6         22     131889          0          0          0       1251         30          0          0          0          0          0          0
3587.02/3597.00	c   setppc           :        379        379         22     131889          0          0          0        617   14106674         36    3250512          0          0          0          0
3587.02/3597.00	c   logicor          :       2357+      6850         22      26938          0          0          0          0      72515          5      12495          1          1          0          0
3587.02/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.02/3597.00	c   integral         :      10.93       0.00       0.00       0.00      10.93       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c   knapsack         :       0.39       0.00       0.15       0.08       0.00       0.00       0.00       0.16       0.00       0.00
3587.02/3597.00	c   setppc           :       7.06       0.00       0.01       4.46       0.00       0.00       0.00       0.00       2.57       0.02
3587.02/3597.00	c   logicor          :       0.98       0.12       0.01       0.72       0.00       0.00       0.00       0.00       0.13       0.00
3587.02/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.02/3597.00	c   dualfix          :          2          0          0          0
3587.02/3597.00	c   genvbounds       :          0          0          0          0
3587.02/3597.00	c   nlobbt           :          0          0          0          0
3587.02/3597.00	c   obbt             :          0          0          0          0
3587.02/3597.00	c   probing          :          0          0          0          0
3587.02/3597.00	c   pseudoobj        :          0          0          0          0
3587.02/3597.00	c   redcost          :          0          0          0          0
3587.02/3597.00	c   rootredcost      :          0          0          0          0
3587.02/3597.00	c   symmetry         :          0          0          0          0
3587.02/3597.00	c   vbounds          :      84346          0          0          0
3587.02/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.02/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.02/3597.00	c   probing          :       0.02       0.00       0.02       0.00       0.00       0.00
3587.02/3597.00	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3587.02/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3587.02/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3587.02/3597.00	c   symmetry         :       0.04       0.00       0.01       0.03       0.00       0.00
3587.02/3597.00	c   vbounds          :       2.89       0.00       0.02       2.87       0.00       0.00
3587.02/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.02/3597.00	c   propagation      :       0.03         39         37          -        569      421.0          1      110.0          -          -          -
3587.02/3597.00	c   infeasible LP    :      62.07      18308      12397          -     222641      811.7          0        0.0          0        0.0          0
3587.02/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.02/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.02/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.02/3597.00	c   applied globally :       1.55          -          -          0      18683      245.2          -          -          0          -          -
3587.02/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.02/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.02/3597.00	c   cut pool         :       0.01          -       2526         42          -          -        162        446          -          -          -          -          -    (maximal pool size:         85)
3587.02/3597.00	c   aggregation      :      32.72       0.00        840         22          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.02/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.02/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.02/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   clique           :       0.18       0.00         22         22          0          0        147        427          0        391        391          0          0
3587.02/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   gomory           :      14.71       0.00        838         20          0          0          2          2          0          2          2          0          0
3587.02/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.02/3597.00	c   > strongcg       :          -          -          -          -          -          -          -          2          0          2          2          0          -
3587.02/3597.00	c   impliedbounds    :       0.05       0.00        840         22          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   multilinear      :       0.00       0.00         82         22          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   rapidlearning    :       9.62       0.00        100          2          0          2          0          0          0          0          0          0          0
3587.02/3597.00	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
3587.02/3597.00	c   zerohalf         :       6.30       0.00        840         22          0          0       1009         17        996       1005         12        993          0
3587.02/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.02/3597.00	c   hybrid           :       0.01       0.00        937         22       1399          0         44        149          0         38
3587.02/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.02/3597.00	c   problem variables:       0.00          -          0          0
3587.02/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.02/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c   relpscost        :      10.91       0.00      18265          0          0          0          0          0          0      36530
3587.02/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.02/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.02/3597.00	c   LP solutions     :       0.00          -          -          0          0
3587.02/3597.00	c   relax solutions  :       0.00          -          -          0          0
3587.02/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3587.02/3597.00	c   strong branching :       0.00          -          -          0          0
3587.02/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3587.02/3597.00	c   adaptivediving   :       3.52       0.00          5          0          0
3587.02/3597.00	c   alns             :      68.81       0.00          5          0          0
3587.02/3597.00	c   bound            :       0.00       0.00          0          0          0
3587.02/3597.00	c   clique           :       0.03       0.00          1          0          0
3587.02/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3587.02/3597.00	c   completesol      :       0.00       0.00          0          0          0
3587.02/3597.00	c   conflictdiving   :      39.19       0.00          3          0          0
3587.02/3597.00	c   crossover        :       0.01       0.00          0          0          0
3587.02/3597.00	c   dins             :       0.00       0.00          0          0          0
3587.02/3597.00	c   distributiondivin:      12.24       0.00          2          0          0
3587.02/3597.00	c   dks              :       0.00       0.00          0          0          0
3587.02/3597.00	c   dps              :       0.00       0.00          0          0          0
3587.02/3597.00	c   dualval          :       0.00       0.00          0          0          0
3587.02/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3587.02/3597.00	c   feaspump         :       2.48       0.00          2          0          0
3587.02/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3587.02/3597.00	c   fracdiving       :      25.40       0.00          2          0          0
3587.02/3597.00	c   gins             :       0.01       0.00          0          0          0
3587.02/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3587.02/3597.00	c   indicator        :       0.00       0.00          0          0          0
3587.02/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3587.02/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3587.02/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3587.02/3597.00	c   linesearchdiving :      10.41       0.00          2          0          0
3587.02/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3587.02/3597.00	c   locks            :       0.05       0.00          1          0          0
3587.02/3597.00	c   lpface           :       0.22       0.00          0          0          0
3587.02/3597.00	c   mpec             :       0.00       0.00          0          0          0
3587.02/3597.00	c   multistart       :       0.00       0.00          0          0          0
3587.02/3597.00	c   mutation         :       0.00       0.00          0          0          0
3587.02/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3587.02/3597.00	c   objpscostdiving  :       1.17       0.00          2          0          0
3587.02/3597.00	c   octane           :       0.00       0.00          0          0          0
3587.02/3597.00	c   ofins            :       0.00       0.00          0          0          0
3587.02/3597.00	c   oneopt           :       0.01       0.00          0          0          0
3587.02/3597.00	c   padm             :       0.00       0.00          0          0          0
3587.02/3597.00	c   proximity        :       0.00       0.00          0          0          0
3587.02/3597.00	c   pscostdiving     :       1.10       0.00          3          0          0
3587.02/3597.00	c   randrounding     :       0.82       0.00       1258          0          0
3587.02/3597.00	c   rens             :       0.17       0.00          2          0          0
3587.02/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3587.02/3597.00	c   repair           :       0.00       0.00          0          0          0
3587.02/3597.00	c   rins             :       0.01       0.00          0          0          0
3587.02/3597.00	c   rootsoldiving    :       7.44       0.00          1          0          0
3587.02/3597.00	c   rounding         :       1.07       0.00       1909          0          0
3587.02/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3587.02/3597.00	c   shiftandpropagate:       0.08       0.00          2          0          0
3587.02/3597.00	c   shifting         :       1.27       0.00        692          0          0
3587.02/3597.00	c   simplerounding   :       0.01       0.00          0          0          0
3587.02/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3587.02/3597.00	c   trivial          :       0.01       0.00          4          0          0
3587.02/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3587.02/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3587.02/3597.00	c   trysol           :       0.01       0.00          0          0          0
3587.02/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3587.02/3597.00	c   undercover       :       0.00       0.00          0          0          0
3587.02/3597.00	c   vbounds          :       0.07       0.00          2          0          0
3587.02/3597.00	c   veclendiving     :      33.64       0.00          2          0          0
3587.02/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3587.02/3597.00	c   zirounding       :       0.05       0.00       1000          0          0
3587.02/3597.00	c   other solutions  :          -          -          -          0          -
3587.02/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
3587.02/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
3587.02/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
3587.02/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
3587.02/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
3587.02/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
3587.02/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
3587.02/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
3587.02/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
3587.02/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
3587.02/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.02/3597.00	c   primal LP        :       0.45        183          0       0.00       0.00       0.45        183
3587.02/3597.00	c   dual LP          :    3208.04      37371   17666792     472.78    5507.03       0.00          3
3587.02/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3587.02/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.02/3597.00	c   resolve instable :       0.01          1          3       3.00          -
3587.02/3597.00	c   diving/probing LP:     132.25        457     666277    1457.94    5038.07
3587.02/3597.00	c   strong branching :       8.53         38      23099     607.87    2709.42          -          -         34
3587.02/3597.00	c     (at root node) :          -         38      23099     607.87          -
3587.02/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3587.02/3597.00	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3587.02/3597.00	c   benders          :       0.00          0          0          0       0.00          0          0          0
3587.02/3597.00	c B&B Tree           :
3587.02/3597.00	c   number of runs   :          2
3587.02/3597.00	c   nodes            :      22883 (11459 internal, 11424 leaves)
3587.02/3597.00	c   feasible leaves  :          0
3587.02/3597.00	c   infeas. leaves   :      11423
3587.02/3597.00	c   objective leaves :          0
3587.02/3597.00	c   nodes (total)    :      36440 (18265 internal, 18175 leaves)
3587.02/3597.00	c   nodes left       :         35
3587.02/3597.00	c   max depth        :        199
3587.02/3597.00	c   max depth (total):        199
3587.02/3597.00	c   backtracks       :       1440 (6.3%)
3587.02/3597.00	c   early backtracks :          0 (0.0%)
3587.02/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3587.02/3597.00	c   delayed cutoffs  :          2
3587.02/3597.00	c   repropagations   :      29007 (7944 domain reductions, 1 cutoffs)
3587.02/3597.00	c   avg switch length:       4.25
3587.02/3597.00	c   switching time   :       6.08
3587.02/3597.00	c Root Node          :
3587.02/3597.00	c   First LP value   : +0.00000000000000e+00
3587.02/3597.00	c   First LP Iters   :      11941 (4097.47 Iter/sec)
3587.02/3597.00	c   First LP Time    :       2.91
3587.02/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3587.02/3597.00	c   Final Root Iters :      40119
3587.02/3597.00	c   Root LP Estimate : +1.22679441684102e-02
3587.02/3597.00	c Solution           :
3587.02/3597.00	c   Solutions found  :          0 (0 improvements)
3587.02/3597.00	c   Primal Bound     :          -
3587.02/3597.00	c   Dual Bound       : +0.00000000000000e+00
3587.02/3597.00	c   Gap              :   infinite
3587.02/3597.00	c Integrals          :      Total       Avg%
3587.02/3597.00	c   primal-dual      :  359699.92     100.00
3587.02/3597.00	c   primal-ref       :          -          - (not evaluated)
3587.02/3597.00	c   dual-ref         :          -          - (not evaluated)
3587.12/3597.09	c Time complete (sec):   3587.219

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 (61138 MiB free)
  memory of node 1: 64465 MiB (47867 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515213-1751233650/watcher-4515213-1751233650 -o /tmp/evaluation-result-4515213-1751233650/solver-4515213-1751233650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41918 --watchdog 3760 pbsolver -f HOME/instance-4515213-1751233650.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
Starting watchdog thread
solver pid=42072, runsolver pid=42069
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.10 4.13 4.06 5/264 42073
/proc/meminfo: memFree=111557824/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=98544 memory=88156 CPUtime=0.09 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 21274 0 0 0 7 2 0 0 20 0 1 0 39043781 100909056 22007 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 24636 22039 2368 2575 0 21543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98544 KiB
Current children cumulated memory: 88156 KiB

[startup+0.205575 s]*
/proc/loadavg: 4.10 4.13 4.06 5/264 42073
/proc/meminfo: memFree=111533632/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=127476 memory=115292 CPUtime=0.2 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 28013 0 0 0 16 4 0 0 20 0 1 0 39043781 130535424 28823 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 31869 28823 2432 2575 0 28776 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127476 KiB
Current children cumulated memory: 115292 KiB

[startup+0.305449 s]*
/proc/loadavg: 4.10 4.13 4.06 5/264 42073
/proc/meminfo: memFree=111505344/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=161464 memory=144420 CPUtime=0.3 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 34252 0 0 0 25 5 0 0 20 0 1 0 39043781 165339136 36105 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 40366 36105 2464 2575 0 37273 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161464 KiB
Current children cumulated memory: 144420 KiB

[startup+0.700187 s]
/proc/loadavg: 4.09 4.12 4.06 5/264 42073
/proc/meminfo: memFree=111489216/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=170400 memory=152692 CPUtime=0.69 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 39632 0 0 0 63 6 0 0 20 0 1 0 39043781 174489600 38173 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 42600 38173 2560 2575 0 39507 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 170400 KiB
Current children cumulated memory: 152692 KiB

[startup+1.50011 s]
/proc/loadavg: 4.09 4.12 4.06 5/264 42073
/proc/meminfo: memFree=111432644/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=246988 memory=214272 CPUtime=1.49 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 50874 0 0 0 141 8 0 0 20 0 1 0 39043781 252915712 53568 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 61747 53568 2688 2575 0 58654 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 246988 KiB
Current children cumulated memory: 214272 KiB

[startup+3.10477 s]
/proc/loadavg: 4.09 4.12 4.06 5/264 42073
/proc/meminfo: memFree=111432704/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=246988 memory=214272 CPUtime=3.08 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 50875 0 0 0 300 8 0 0 20 0 1 0 39043781 252915712 53568 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 61747 53568 2688 2575 0 58654 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 246988 KiB
Current children cumulated memory: 214272 KiB

[startup+6.3001 s]
/proc/loadavg: 4.08 4.12 4.06 5/264 42073
/proc/meminfo: memFree=111424648/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=252792 memory=217984 CPUtime=6.27 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 51817 0 0 0 619 8 0 0 20 0 1 0 39043781 258859008 54496 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 63198 54496 2688 2575 0 60105 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 252792 KiB
Current children cumulated memory: 217984 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.07 5/264 42073
/proc/meminfo: memFree=111380484/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=299456 memory=262192 CPUtime=12.66 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 61854 0 0 0 1256 10 0 0 20 0 1 0 39043781 306642944 65548 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 74864 65548 2688 2575 0 71771 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 299456 KiB
Current children cumulated memory: 262192 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.07 5/264 42074
/proc/meminfo: memFree=111379640/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=299456 memory=262192 CPUtime=25.42 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 61868 0 0 0 2532 10 0 0 20 0 1 0 39043781 306642944 65548 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 74864 65548 2688 2575 0 71771 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 299456 KiB
Current children cumulated memory: 262192 KiB

[startup+51.1052 s]
/proc/loadavg: 4.08 4.12 4.07 5/263 42074
/proc/meminfo: memFree=111376864/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=302504 memory=267440 CPUtime=50.96 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 63184 0 0 0 5086 10 0 0 20 0 1 0 39043781 309764096 66860 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 75626 66860 2688 2575 0 72533 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 302504 KiB
Current children cumulated memory: 267440 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.15 4.08 5/263 42079
/proc/meminfo: memFree=111312684/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=302504 memory=267824 CPUtime=102.03 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 63258 0 0 0 10192 11 0 0 20 0 1 0 39043781 309764096 66956 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 75626 66956 2688 2575 0 72533 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 302504 KiB
Current children cumulated memory: 267824 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.18 4.09 5/263 42081
/proc/meminfo: memFree=111271452/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=325840 memory=291248 CPUtime=161.87 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 69137 0 0 0 16175 12 0 0 20 0 1 0 39043781 333660160 72812 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 81460 72812 2688 2575 0 78367 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 325840 KiB
Current children cumulated memory: 291248 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.09 5/263 42084
/proc/meminfo: memFree=111178128/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=326688 memory=292912 CPUtime=221.71 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 69561 0 0 0 22159 12 0 0 20 0 1 0 39043781 334528512 73228 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 81672 73228 2688 2575 0 78579 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 326688 KiB
Current children cumulated memory: 292912 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/264 42136
/proc/meminfo: memFree=111708624/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=357280 memory=320944 CPUtime=281.55 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 76571 0 0 0 28141 14 0 0 20 0 1 0 39043781 365854720 80236 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 89320 80236 2688 2575 0 86227 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 357280 KiB
Current children cumulated memory: 320944 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/264 42138
/proc/meminfo: memFree=114421928/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=357280 memory=322608 CPUtime=341.38 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 76976 0 0 0 34124 14 0 0 20 0 1 0 39043781 365854720 80652 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 89320 80652 2688 2575 0 86227 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 357280 KiB
Current children cumulated memory: 322608 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 42184
/proc/meminfo: memFree=109606528/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=357280 memory=324016 CPUtime=401.22 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 76984 0 0 0 40107 15 0 0 20 0 1 0 39043781 365854720 81004 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 89320 81004 2688 2575 0 86227 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 357280 KiB
Current children cumulated memory: 324016 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 42230
/proc/meminfo: memFree=108283456/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=357280 memory=333360 CPUtime=461.05 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 77024 0 0 0 46090 15 0 0 20 0 1 0 39043781 365854720 83340 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 89320 83340 2688 2575 0 86227 0
Current children cumulated CPU time: 461.05 s

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

/proc/loadavg: 4.09 4.11 4.09 5/264 42390
/proc/meminfo: memFree=100364520/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412132 memory=391336 CPUtime=3153.64 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97224 0 0 0 315345 19 0 0 20 0 1 0 39043781 422023168 97834 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103033 97834 2688 2575 0 99940 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 412132 KiB
Current children cumulated memory: 391336 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/264 42392
/proc/meminfo: memFree=100282544/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412132 memory=391336 CPUtime=3213.48 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97251 0 0 0 321329 19 0 0 20 0 1 0 39043781 422023168 97834 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103033 97834 2688 2575 0 99940 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 412132 KiB
Current children cumulated memory: 391336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/264 42394
/proc/meminfo: memFree=100242592/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412872 memory=391848 CPUtime=3273.31 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97395 0 0 0 327312 19 0 0 20 0 1 0 39043781 422780928 97962 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103218 97962 2688 2575 0 100125 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 412872 KiB
Current children cumulated memory: 391848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/265 42401
/proc/meminfo: memFree=100244932/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412872 memory=391848 CPUtime=3333.16 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97484 0 0 0 333296 20 0 0 20 0 1 0 39043781 422780928 97962 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103218 97962 2688 2575 0 100125 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 412872 KiB
Current children cumulated memory: 391848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.12 4/259 42434
/proc/meminfo: memFree=100459340/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412872 memory=391848 CPUtime=3392.98 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97486 0 0 0 339278 20 0 0 20 0 1 0 39043781 422780928 97962 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103218 97962 2688 2575 0 100125 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 412872 KiB
Current children cumulated memory: 391848 KiB

[startup+3462.3 s]
/proc/loadavg: 2.93 3.82 4.00 3/252 42465
/proc/meminfo: memFree=125860984/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412872 memory=391848 CPUtime=3452.81 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97486 0 0 0 345261 20 0 0 20 0 1 0 39043781 422780928 97962 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103218 97962 2688 2575 0 100125 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 412872 KiB
Current children cumulated memory: 391848 KiB

[startup+3522.3 s]
/proc/loadavg: 2.39 3.50 3.88 3/252 42467
/proc/meminfo: memFree=125859616/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412872 memory=391848 CPUtime=3512.63 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97504 0 0 0 351243 20 0 0 20 0 1 0 39043781 422780928 97962 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103218 97962 2688 2575 0 100125 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 412872 KiB
Current children cumulated memory: 391848 KiB

[startup+3582.3 s]
/proc/loadavg: 2.22 3.24 3.76 3/252 42469
/proc/meminfo: memFree=125853916/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=412872 memory=391848 CPUtime=3572.46 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 97509 0 0 0 357226 20 0 0 20 0 1 0 39043781 422780928 97962 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 103218 97962 2688 2575 0 100125 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 412872 KiB
Current children cumulated memory: 391848 KiB

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

# cumulated CPU time of all completed processes:  user=3587.01 s, system=0.209965 s

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

[startup+3584 s]*
/proc/loadavg: 2.22 3.24 3.76 3/252 42469
/proc/meminfo: memFree=125847868/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=416272 memory=395304 CPUtime=3574.16 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 98346 0 0 0 357396 20 0 0 20 0 1 0 39043781 426262528 98826 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 104068 98826 2688 2575 0 100975 0
Current children cumulated CPU time: 3574.16 s
Current children cumulated vsize: 416272 KiB
Current children cumulated memory: 395304 KiB

[startup+3590.4 s]
/proc/loadavg: 2.20 3.22 3.75 3/252 42471
/proc/meminfo: memFree=125839276/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=416272 memory=395304 CPUtime=3580.54 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 98349 0 0 0 358034 20 0 0 20 0 1 0 39043781 426262528 98826 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 104068 98826 2688 2575 0 100975 0
Current children cumulated CPU time: 3580.54 s
Current children cumulated vsize: 416272 KiB
Current children cumulated memory: 395304 KiB

[startup+3593.6 s]
/proc/loadavg: 2.18 3.20 3.74 3/252 42471
/proc/meminfo: memFree=125839276/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=416272 memory=395304 CPUtime=3583.73 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 98349 0 0 0 358353 20 0 0 20 0 1 0 39043781 426262528 98826 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 104068 98826 2688 2575 0 100975 0
Current children cumulated CPU time: 3583.73 s
Current children cumulated vsize: 416272 KiB
Current children cumulated memory: 395304 KiB

[startup+3595.2 s]
/proc/loadavg: 2.18 3.20 3.74 3/252 42471
/proc/meminfo: memFree=125839276/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=416272 memory=395304 CPUtime=3585.33 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 98349 0 0 0 358513 20 0 0 20 0 1 0 39043781 426262528 98826 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 104068 98826 2688 2575 0 100975 0
Current children cumulated CPU time: 3585.33 s
Current children cumulated vsize: 416272 KiB
Current children cumulated memory: 395304 KiB

[startup+3596 s]*
/proc/loadavg: 2.18 3.20 3.74 3/252 42471
/proc/meminfo: memFree=125839276/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=416272 memory=395304 CPUtime=3586.13 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 98349 0 0 0 358593 20 0 0 20 0 1 0 39043781 426262528 98826 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 104068 98826 2688 2575 0 100975 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 416272 KiB
Current children cumulated memory: 395304 KiB

[startup+3596.8 s]
/proc/loadavg: 2.18 3.20 3.74 3/252 42471
/proc/meminfo: memFree=125839276/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=416272 memory=395304 CPUtime=3586.92 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 98349 0 0 0 358672 20 0 0 20 0 1 0 39043781 426262528 98826 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 104068 98826 2688 2575 0 100975 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 416272 KiB
Current children cumulated memory: 395304 KiB

[startup+3597 s]*
/proc/loadavg: 2.17 3.18 3.73 3/252 42471
/proc/meminfo: memFree=125839276/131249992 swapFree=33010684/33010684
[pid=42072] ppid=42069 vsize=416272 memory=395304 CPUtime=3587.12 cores=0,2
/proc/42072/stat : 42072 (pbsolver) R 42069 42072 41475 0 -1 4194304 98349 0 0 0 358692 20 0 0 20 0 1 0 39043781 426262528 98826 18446744073709551615 4198400 14743177 140720339636176 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25030656 140720339638666 140720339638762 140720339638762 140720339644364 0
/proc/42072/statm: 104068 98826 2688 2575 0 100975 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 416272 KiB
Current children cumulated memory: 395304 KiB

Child status: 0

Real time (s): 3597.09
CPU time (s): 3587.22
CPU user time (s): 3587.01
CPU system time (s): 0.209965
CPU usage (%): 99.7255
Max. virtual memory (cumulated for all children) (KiB): 416272
Max. memory (cumulated for all children) (KiB): 395304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.01
system time used= 0.209965
maximum resident set size= 395304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98355
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= 34
involuntary context switches= 4836


# summary of solver processes directly reported to runsolver:
#   pid: 42072
#   total CPU time (s): 3587.22
#   total CPU user time (s): 3587.01
#   total CPU system time (s): 0.209965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51832 second user time and 14.7745 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 23:47:30
IDJOB=4515213
IDBENCH=164250
IDSOLVER=3366
FILE ID=nodeC025/4515213-1751233650
RUNJOBID= nodeC025-1751233442-41918
SLURM_JOB_ID= 9587699
Free space on /tmp= 432584 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-t1722.0.s.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515213-1751233650/watcher-4515213-1751233650 -o /tmp/evaluation-result-4515213-1751233650/solver-4515213-1751233650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41918 --watchdog 3760  pbsolver -f HOME/instance-4515213-1751233650.opb -t 3600 -m 31000

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

MD5SUM BENCH= 39768e28ba132eeb426131d5bb977045
RANDOM SEED=762835131

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		: 3599.783
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		: 3599.838
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		: 3600.726
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		: 3600.093
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.829
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		: 3600.052
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		: 3700.000
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		: 3598.726
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:        111621832 kB
MemAvailable:   114469728 kB
Buffers:            3280 kB
Cached:          3648292 kB
SwapCached:            0 kB
Active:         15619988 kB
Inactive:        3344056 kB
Active(anon):   15330556 kB
Inactive(anon):        0 kB
Active(file):     289432 kB
Inactive(file):  3344056 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16692 kB
Writeback:             4 kB
AnonPages:      15315552 kB
Mapped:           134360 kB
Shmem:             18084 kB
KReclaimable:     107296 kB
Slab:             194640 kB
SReclaimable:     107296 kB
SUnreclaim:        87344 kB
KernelStack:        4272 kB
PageTables:        33772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   17256232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5156864 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= 433032 MiB
End job on nodeC025 at 2025-06-30 00:47:27