Trace number 4515321

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.28 3597.25

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
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 variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
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 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
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-4515321-1751234055.opb>
0.00/0.04	c original problem has 31248 variables (31248 bin, 0 int, 0 cont) and 354 constraints
0.00/0.04	c problem read in 0.043 seconds
0.00/0.04	c problem without objective
0.09/0.11	c presolving:
0.09/0.13	c (round 1, fast)       1680 del vars, 168 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.16	c    (0.2s) running MILP presolver
0.09/0.18	c    (0.2s) MILP presolver found nothing
0.09/0.18	c (round 2, exhaustive) 1680 del vars, 168 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 0 clqs
0.28/0.33	c    (0.3s) probing: 51/29568 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.28/0.33	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.28/0.35	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.39/0.48	c    (0.5s) symmetry computation finished: 86 generators found (max: 1500, log10 of symmetry group size: 36.87) (symcode time: 0.12)
0.57/0.62	c dynamic symmetry handling statistics:
0.57/0.62	c    orbitopal reduction:       no components
0.57/0.62	c    orbital reduction:          1 components of sizes 86
0.57/0.62	c    lexicographic reduction:   86 permutations with support sizes 336, 336, 336, 336, 336, 336, 336, 336, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 1023, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 1023, 684, 684, 684, 1023, 684, 684, 684, 684, 684, 684, 684, 684, 1023, 684, 684, 684, 1023, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684, 684
0.57/0.62	c handled 1 out of 1 symmetry components
0.57/0.63	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.57/0.63	c  1680 deleted vars, 168 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.57/0.63	c  0 implications, 0 cliques
0.57/0.63	c presolved problem has 29568 variables (29568 bin, 0 int, 0 cont) and 186 constraints
0.57/0.63	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.57/0.63	c       9 constraints of type <knapsack>
0.57/0.63	c     168 constraints of type <linear>
0.57/0.63	c       9 constraints of type <logicor>
0.57/0.63	c transformed objective value is always integral (scale: 1)
0.57/0.63	c Presolving Time: 0.54
0.57/0.63	c 
0.57/0.63	c - non default parameters ----------------------------------------------------------------------
0.57/0.63	c 
0.57/0.63	c # SCIP version 10.0.0
0.57/0.63	c 
0.57/0.63	c # maximal time in seconds to run
0.57/0.63	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.57/0.63	c limits/time = 3596.998008
0.57/0.63	c 
0.57/0.63	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.57/0.63	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.57/0.63	c limits/memory = 27900
0.57/0.63	c 
0.57/0.63	c # belongs reading time to solving time?
0.57/0.63	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.57/0.63	c timing/reading = TRUE
0.57/0.63	c 
0.57/0.63	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.57/0.63	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.57/0.63	c reading/opbreader/maxintsize = 47
0.57/0.63	c 
0.57/0.63	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.57/0.63	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.57/0.63	c propagating/genvbounds/timingmask = 0
0.57/0.63	c 
0.57/0.63	c -----------------------------------------------------------------------------------------------
0.57/0.64	c 
0.98/1.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.98/1.06	c   1.1s|     1 |     0 |   509 |     - |   417M |   0 |  29k| 186 | 186 |   0 |  0 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.47/1.59	c   1.6s|     1 |     0 |  1488 |     - |   438M |   0 |  29k| 186 | 482 | 296 |  1 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.98/2.04	c   2.0s|     1 |     0 |  1776 |     - |   453M |   0 |  29k| 186 | 721 | 535 |  2 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.27/3.35	c   3.4s|     1 |     0 |  2875 |     - |   470M |   0 |  29k| 186 | 922 | 736 |  3 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.26/7.35	c   7.4s|     1 |     0 |  7554 |     - |   495M |   0 |  29k| 186 |1153 | 967 |  4 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
8.06/8.19	c   8.2s|     1 |     0 |  8136 |     - |   516M |   0 |  29k| 186 |1433 |1247 |  5 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
9.55/9.62	c   9.6s|     1 |     0 |  8925 |     - |   530M |   0 |  29k| 186 |1682 |1496 |  6 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
12.14/12.23	c  12.2s|     1 |     0 | 11172 |     - |   543M |   0 |  29k| 186 |1933 |1747 |  7 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.34/14.49	c  14.5s|     1 |     0 | 13083 |     - |   561M |   0 |  29k| 186 |2181 |1995 |  8 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
18.82/18.94	c  18.9s|     1 |     0 | 18412 |     - |   574M |   0 |  29k| 186 |2412 |2226 |  9 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
19.82/19.93	c  19.9s|     1 |     0 | 19052 |     - |   588M |   0 |  29k| 186 |2643 |2457 | 10 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
21.72/21.87	c  21.9s|     1 |     0 | 20615 |     - |   595M |   0 |  29k| 186 |2869 |2683 | 11 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
23.11/23.22	c  23.2s|     1 |     0 | 21464 |     - |   600M |   0 |  29k| 186 |3071 |2885 | 12 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
27.11/27.22	c  27.2s|     1 |     0 | 26079 |     - |   606M |   0 |  29k| 186 |3258 |3072 | 13 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
27.80/27.99	c  28.0s|     1 |     0 | 26598 |     - |   615M |   0 |  29k| 186 |3440 |3254 | 14 |   0 |   0 | 0.000000e+00 |      --      |    Inf | unknown
44.26/44.41	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
44.26/44.41	c  44.4s|     1 |     2 | 26703 |     - |   615M |   0 |  29k| 186 |3440 |3254 | 14 |   0 |  33 | 0.000000e+00 |      --      |    Inf | unknown
75.56/75.88	c  75.9s|   100 |   101 | 67993 | 418.1 |   645M |  12 |  29k| 198 | 299 |8214 |  1 |  12 |  33 | 0.000000e+00 |      --      |    Inf | unknown
95.11/95.43	c  95.4s|   200 |   201 | 85787 | 297.4 |   640M |  12 |  29k| 198 | 404 |  14k|  1 |  12 |  33 | 0.000000e+00 |      --      |    Inf | unknown
121.83/122.29	c   122s|   300 |   301 |116788 | 301.6 |   640M |  12 |  29k| 203 | 474 |  20k|  2 |  20 |  33 | 0.000000e+00 |      --      |    Inf | unknown
148.07/148.59	c   149s|   400 |   401 |143635 | 293.3 |   643M |  24 |  29k| 215 | 443 |  25k|  1 |  34 |  33 | 0.000000e+00 |      --      |    Inf | unknown
165.31/165.86	c   166s|   500 |   467 |159131 | 265.6 |   650M |  44 |  29k| 266 |   0 |  26k|  0 |  86 |  33 | 0.000000e+00 |      --      |    Inf | unknown
182.35/182.95	c   183s|   600 |   529 |179460 | 255.2 |   654M |  45 |  29k| 307 |   0 |  28k|  0 | 127 |  33 | 0.000000e+00 |      --      |    Inf | unknown
204.29/204.97	c   205s|   700 |   602 |206780 | 257.8 |   659M |  45 |  29k| 350 | 578 |  30k|  1 | 170 |  33 | 0.000000e+00 |      --      |    Inf | unknown
216.15/216.85	c   217s|   800 |   658 |220867 | 243.1 |   662M |  45 |  29k| 404 |   0 |  32k|  0 | 224 |  33 | 0.000000e+00 |      --      |    Inf | unknown
229.61/230.35	c   230s|   900 |   725 |238151 | 235.3 |   666M |  45 |  29k| 452 | 562 |  33k|  1 | 272 |  33 | 0.000000e+00 |      --      |    Inf | unknown
242.28/243.05	c   243s|  1000 |   791 |254462 | 228.1 |   670M |  45 |  29k| 502 | 562 |  35k|  1 | 322 |  33 | 0.000000e+00 |      --      |    Inf | unknown
257.63/258.43	c   258s|  1100 |   871 |278021 | 228.8 |   673M |  45 |  29k| 534 | 572 |  37k|  2 | 354 |  33 | 0.000000e+00 |      --      |    Inf | unknown
278.96/279.87	c   280s|  1200 |   951 |304627 | 231.9 |   676M |  45 |  29k| 563 | 572 |  39k|  2 | 388 |  33 | 0.000000e+00 |      --      |    Inf | unknown
292.92/293.82	c   294s|  1300 |  1019 |327913 | 232.0 |   677M |  45 |  29k| 580 | 450 |  41k|  1 | 406 |  33 | 0.000000e+00 |      --      |    Inf | unknown
303.98/304.90	c   305s|  1400 |  1087 |342224 | 225.6 |   681M |  45 |  29k| 605 | 443 |  44k|  1 | 448 |  33 | 0.000000e+00 |      --      |    Inf | unknown
316.24/317.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
316.24/317.24	c   317s|  1500 |  1151 |355351 | 219.3 |   684M |  45 |  29k| 628 |   0 |  46k|  0 | 483 |  33 | 0.000000e+00 |      --      |    Inf | unknown
328.01/329.06	c   329s|  1600 |  1221 |370492 | 215.1 |   686M |  45 |  29k| 634 | 586 |  48k|  2 | 503 |  33 | 0.000000e+00 |      --      |    Inf | unknown
341.37/342.44	c   342s|  1700 |  1291 |387998 | 212.7 |   688M |  45 |  29k| 651 | 586 |  50k|  2 | 532 |  33 | 0.000000e+00 |      --      |    Inf | unknown
353.04/354.13	c   354s|  1800 |  1355 |399930 | 207.5 |   690M |  45 |  29k| 667 |   0 |  52k|  0 | 563 |  33 | 0.000000e+00 |      --      |    Inf | unknown
362.51/363.68	c   364s|  1900 |  1415 |409379 | 201.6 |   693M |  45 |  29k| 684 | 608 |  54k|  2 | 589 |  33 | 0.000000e+00 |      --      |    Inf | unknown
373.88/375.08	c   375s|  2000 |  1455 |419217 | 196.4 |   694M |  45 |  29k| 716 | 595 |  56k|  1 | 622 |  33 | 0.000000e+00 |      --      |    Inf | unknown
383.54/384.71	c   385s|  2100 |  1505 |432203 | 193.2 |   696M |  45 |  29k| 754 | 619 |  58k|  2 | 662 |  33 | 0.000000e+00 |      --      |    Inf | unknown
391.22/392.47	c   392s|  2200 |  1551 |441401 | 188.6 |   698M |  45 |  29k| 776 | 602 |  61k|  1 | 690 |  33 | 0.000000e+00 |      --      |    Inf | unknown
403.08/404.32	c   404s|  2300 |  1609 |459154 | 188.1 |   700M |  45 |  29k| 802 | 600 |  63k|  1 | 718 |  33 | 0.000000e+00 |      --      |    Inf | unknown
410.77/412.01	c   412s|  2400 |  1645 |466759 | 183.5 |   701M |  45 |  29k| 845 | 595 |  65k|  1 | 761 |  33 | 0.000000e+00 |      --      |    Inf | unknown
419.93/421.22	c   421s|  2500 |  1685 |478607 | 180.9 |   703M |  45 |  29k| 894 | 613 |  67k|  2 | 811 |  33 | 0.000000e+00 |      --      |    Inf | unknown
430.10/431.41	c   431s|  2600 |  1745 |489942 | 178.3 |   705M |  45 |  29k| 894 | 594 |  69k|  1 | 843 |  33 | 0.000000e+00 |      --      |    Inf | unknown
444.67/446.05	c   446s|  2700 |  1803 |502808 | 176.4 |   707M |  45 |  29k| 906 | 443 |  72k|  1 | 871 |  33 | 0.000000e+00 |      --      |    Inf | unknown
456.23/457.64	c   458s|  2800 |  1861 |517297 | 175.3 |   711M |  45 |  29k| 927 | 452 |  74k|  1 | 910 |  33 | 0.000000e+00 |      --      |    Inf | unknown
462.11/463.56	c   464s|  2900 |  1893 |522960 | 171.2 |   713M |  45 |  29k| 955 | 452 |  75k|  1 | 951 |  33 | 0.000000e+00 |      --      |    Inf | unknown
471.28/472.76	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
471.28/472.76	c   473s|  3000 |  1931 |533638 | 169.1 |   715M |  45 |  29k|1004 | 452 |  77k|  1 |1005 |  33 | 0.000000e+00 |      --      |    Inf | unknown
479.96/481.42	c   481s|  3100 |  1981 |546366 | 167.7 |   716M |  45 |  29k|1018 | 598 |  80k|  1 |1032 |  33 | 0.000000e+00 |      --      |    Inf | unknown
491.03/492.50	c   493s|  3200 |  2023 |559314 | 166.5 |   718M |  45 |  29k|1025 | 450 |  82k|  1 |1085 |  33 | 0.000000e+00 |      --      |    Inf | unknown
498.40/499.99	c   500s|  3300 |  2055 |567507 | 164.0 |   719M |  45 |  29k|1052 | 404 |  84k|  1 |1133 |  33 | 0.000000e+00 |      --      |    Inf | unknown
508.97/510.52	c   511s|  3400 |  2106 |580514 | 163.0 |   721M |  45 |  29k|1068 | 443 |  86k|  1 |1177 |  33 | 0.000000e+00 |      --      |    Inf | unknown
524.33/525.96	c   526s|  3500 |  2154 |599056 | 163.6 |   722M |  45 |  29k|1084 | 451 |  89k|  1 |1223 |  33 | 0.000000e+00 |      --      |    Inf | unknown
535.40/537.08	c   537s|  3600 |  2194 |611934 | 162.6 |   724M |  45 |  29k|1113 | 443 |  92k|  1 |1268 |  33 | 0.000000e+00 |      --      |    Inf | unknown
541.98/543.69	c   544s|  3700 |  2228 |618958 | 160.1 |   725M |  45 |  29k|1133 | 451 |  93k|  1 |1302 |  33 | 0.000000e+00 |      --      |    Inf | unknown
548.96/550.69	c   551s|  3800 |  2264 |627219 | 158.1 |   726M |  45 |  29k|1173 | 632 |  96k|  2 |1349 |  33 | 0.000000e+00 |      --      |    Inf | unknown
557.73/559.40	c   559s|  3900 |  2316 |638543 | 156.9 |   728M |  45 |  29k|1182 | 451 |  98k|  1 |1376 |  33 | 0.000000e+00 |      --      |    Inf | unknown
567.10/568.85	c   569s|  4000 |  2348 |651828 | 156.3 |   729M |  45 |  29k|1177 |   0 | 100k|  0 |1415 |  33 | 0.000000e+00 |      --      |    Inf | unknown
576.38/578.14	c   578s|  4100 |  2378 |665181 | 155.8 |   730M |  45 |  29k|1197 |   0 | 103k|  0 |1451 |  33 | 0.000000e+00 |      --      |    Inf | unknown
586.85/588.66	c   589s|  4200 |  2434 |681811 | 156.0 |   731M |  45 |  29k|1196 | 594 | 105k|  2 |1502 |  33 | 0.000000e+00 |      --      |    Inf | unknown
598.22/600.09	c   600s|  4300 |  2488 |697662 | 156.1 |   734M |  45 |  29k|1179 | 443 | 107k|  1 |1534 |  33 | 0.000000e+00 |      --      |    Inf | unknown
605.79/607.63	c   608s|  4400 |  2532 |708200 | 154.9 |   735M |  45 |  29k|1158 | 604 | 110k|  2 |1568 |  33 | 0.000000e+00 |      --      |    Inf | unknown
616.56/618.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
616.56/618.44	c   618s|  4500 |  2572 |718062 | 153.7 |   737M |  45 |  29k|1159 | 613 | 112k|  2 |1604 |  33 | 0.000000e+00 |      --      |    Inf | unknown
628.02/629.90	c   630s|  4600 |  2634 |732014 | 153.4 |   737M |  45 |  29k|1123 | 545 | 115k|  1 |1633 |  33 | 0.000000e+00 |      --      |    Inf | unknown
640.39/642.35	c   642s|  4700 |  2710 |746254 | 153.2 |   739M |  45 |  29k|1065 | 443 | 117k|  1 |1653 |  33 | 0.000000e+00 |      --      |    Inf | unknown
648.47/650.45	c   650s|  4800 |  2748 |754311 | 151.6 |   740M |  45 |  29k|1057 |   0 | 119k|  0 |1684 |  33 | 0.000000e+00 |      --      |    Inf | unknown
658.93/660.93	c   661s|  4900 |  2800 |769752 | 151.7 |   741M |  45 |  29k|1044 | 452 | 121k|  1 |1724 |  33 | 0.000000e+00 |      --      |    Inf | unknown
662.52/664.52	c   665s|  5000 |  2822 |773445 | 149.4 |   743M |  45 |  29k|1068 | 607 | 123k|  1 |1763 |  33 | 0.000000e+00 |      --      |    Inf | unknown
674.39/676.43	c   676s|  5100 |  2859 |789636 | 149.6 |   744M |  45 |  29k|1080 | 450 | 125k|  1 |1799 |  33 | 0.000000e+00 |      --      |    Inf | unknown
688.15/690.28	c   690s|  5200 |  2921 |808123 | 150.3 |   745M |  45 |  29k|1079 | 404 | 127k|  1 |1838 |  33 | 0.000000e+00 |      --      |    Inf | unknown
707.10/709.29	c   709s|  5300 |  2993 |839779 | 153.5 |   747M |  45 |  29k|1051 | 582 | 129k|  1 |1870 |  33 | 0.000000e+00 |      --      |    Inf | unknown
717.37/719.51	c   720s|  5400 |  3049 |855603 | 153.5 |   749M |  45 |  29k|1041 | 589 | 132k|  1 |1902 |  33 | 0.000000e+00 |      --      |    Inf | unknown
724.85/727.01	c   727s|  5500 |  3089 |865670 | 152.6 |   751M |  45 |  29k|1056 | 590 | 134k|  1 |1953 |  33 | 0.000000e+00 |      --      |    Inf | unknown
736.22/738.46	c   738s|  5600 |  3130 |878225 | 152.1 |   753M |  45 |  29k|1046 | 597 | 137k|  2 |1995 |  33 | 0.000000e+00 |      --      |    Inf | unknown
748.38/750.63	c   751s|  5700 |  3172 |894390 | 152.3 |   755M |  45 |  29k|1026 | 595 | 139k|  1 |2030 |  33 | 0.000000e+00 |      --      |    Inf | unknown
757.46/759.78	c   760s|  5800 |  3206 |907039 | 151.8 |   755M |  45 |  29k|1069 |   0 | 141k|  0 |2086 |  33 | 0.000000e+00 |      --      |    Inf | unknown
770.42/772.73	c   773s|  5900 |  3266 |923618 | 152.1 |   755M |  45 |  29k|1040 | 570 | 144k|  1 |2115 |  33 | 0.000000e+00 |      --      |    Inf | unknown
783.49/785.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
783.49/785.85	c   786s|  6000 |  3328 |937412 | 151.8 |   758M |  45 |  29k|1041 |   0 | 146k|  0 |2137 |  33 | 0.000000e+00 |      --      |    Inf | unknown
792.96/795.33	c   795s|  6100 |  3368 |949867 | 151.4 |   759M |  45 |  29k|1032 | 452 | 148k|  1 |2173 |  33 | 0.000000e+00 |      --      |    Inf | unknown
798.94/801.38	c   801s|  6200 |  3400 |955437 | 149.8 |   759M |  45 |  29k|1027 | 583 | 150k|  1 |2207 |  33 | 0.000000e+00 |      --      |    Inf | unknown
808.32/810.79	c   811s|  6300 |  3439 |967683 | 149.4 |   760M |  45 |  29k|1018 | 595 | 153k|  1 |2249 |  33 | 0.000000e+00 |      --      |    Inf | unknown
817.19/819.69	c   820s|  6400 |  3480 |977622 | 148.6 |   762M |  45 |  29k|1018 |   0 | 155k|  0 |2283 |  33 | 0.000000e+00 |      --      |    Inf | unknown
827.17/829.69	c   830s|  6500 |  3514 |986414 | 147.7 |   763M |  45 |  29k|1020 | 593 | 156k|  1 |2316 |  33 | 0.000000e+00 |      --      |    Inf | unknown
834.95/837.48	c   837s|  6600 |  3553 |997139 | 147.1 |   764M |  45 |  29k|1047 | 625 | 159k|  2 |2353 |  33 | 0.000000e+00 |      --      |    Inf | unknown
845.32/847.87	c   848s|  6700 |  3594 |  1010k| 146.8 |   766M |  45 |  29k|1044 |   0 | 161k|  0 |2400 |  33 | 0.000000e+00 |      --      |    Inf | unknown
854.99/857.55	c   858s|  6800 |  3620 |  1023k| 146.6 |   768M |  45 |  29k|1067 | 618 | 163k|  2 |2443 |  33 | 0.000000e+00 |      --      |    Inf | unknown
864.66/867.22	c   867s|  6900 |  3658 |  1035k| 146.2 |   768M |  45 |  29k|1050 |   0 | 165k|  0 |2478 |  33 | 0.000000e+00 |      --      |    Inf | unknown
873.14/875.78	c   876s|  7000 |  3732 |  1046k| 145.8 |   770M |  45 |  29k|1032 | 443 | 167k|  1 |2500 |  33 | 0.000000e+00 |      --      |    Inf | unknown
885.01/887.64	c   888s|  7100 |  3822 |  1061k| 145.8 |   773M |  45 |  29k|1048 | 608 | 170k|  2 |2522 |  33 | 0.000000e+00 |      --      |    Inf | unknown
898.27/900.91	c   901s|  7200 |  3905 |  1081k| 146.5 |   774M |  45 |  29k|1039 | 443 | 172k|  1 |2545 |  33 | 0.000000e+00 |      --      |    Inf | unknown
911.34/914.05	c   914s|  7300 |  3983 |  1094k| 146.3 |   777M |  45 |  29k|1056 | 577 | 175k|  1 |2571 |  33 | 0.000000e+00 |      --      |    Inf | unknown
925.40/928.13	c   928s|  7400 |  4063 |  1114k| 147.1 |   778M |  45 |  29k|1079 | 575 | 178k|  1 |2604 |  33 | 0.000000e+00 |      --      |    Inf | unknown
940.45/943.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
940.45/943.25	c   943s|  7500 |  4129 |  1132k| 147.4 |   781M |  45 |  29k|1087 | 597 | 180k|  2 |2646 |  33 | 0.000000e+00 |      --      |    Inf | unknown
949.03/951.81	c   952s|  7600 |  4173 |  1141k| 146.7 |   782M |  45 |  29k|1073 | 577 | 183k|  1 |2679 |  33 | 0.000000e+00 |      --      |    Inf | unknown
957.60/960.42	c   960s|  7700 |  4225 |  1151k| 146.2 |   784M |  45 |  29k|1086 | 452 | 185k|  1 |2724 |  33 | 0.000000e+00 |      --      |    Inf | unknown
970.86/973.74	c   974s|  7800 |  4289 |  1168k| 146.4 |   787M |  45 |  29k|1081 | 588 | 187k|  1 |2777 |  33 | 0.000000e+00 |      --      |    Inf | unknown
982.83/985.76	c   986s|  7900 |  4355 |  1181k| 146.2 |   788M |  45 |  29k|1056 | 454 | 190k|  1 |2817 |  33 | 0.000000e+00 |      --      |    Inf | unknown
994.21/997.18	c   997s|  8000 |  4407 |  1194k| 146.0 |   789M |  45 |  29k|1014 | 588 | 192k|  1 |2844 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1003.09/1006.10	c  1006s|  8100 |  4451 |  1203k| 145.4 |   791M |  45 |  29k|1029 |   0 | 194k|  0 |2885 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1010.46/1013.49	c  1013s|  8200 |  4491 |  1212k| 144.6 |   792M |  45 |  29k|1053 | 454 | 196k|  1 |2915 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1017.94/1021.00	c  1021s|  8300 |  4527 |  1220k| 143.8 |   793M |  45 |  29k|1067 | 450 | 197k|  1 |2950 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1034.39/1037.45	c  1037s|  8400 |  4587 |  1235k| 144.0 |   796M |  45 |  29k|1042 | 594 | 200k|  2 |2996 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1050.95/1054.10	c  1054s|  8500 |  4685 |  1253k| 144.3 |   797M |  45 |  29k| 995 | 404 | 203k|  1 |3002 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1071.09/1074.28	c  1074s|  8600 |  4785 |  1279k| 145.6 |   798M |  45 |  29k| 987 | 568 | 205k|  2 |3005 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1086.25/1089.41	c  1089s|  8700 |  4885 |  1292k| 145.6 |   798M |  45 |  29k| 981 | 546 | 208k|  1 |3006 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1101.82/1105.05	c  1105s|  8800 |  4969 |  1308k| 145.7 |   800M |  45 |  29k| 989 | 598 | 211k|  2 |3019 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1112.19/1115.42	c  1115s|  8900 |  5023 |  1317k| 145.1 |   800M |  45 |  29k| 991 | 591 | 213k|  2 |3042 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1121.96/1125.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1121.96/1125.23	c  1125s|  9000 |  5077 |  1327k| 144.6 |   802M |  45 |  29k| 971 | 572 | 215k|  1 |3065 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1129.64/1132.97	c  1133s|  9100 |  5115 |  1336k| 143.9 |   804M |  45 |  29k| 958 | 443 | 217k|  1 |3100 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1140.11/1143.47	c  1143s|  9200 |  5171 |  1347k| 143.6 |   804M |  45 |  29k| 947 |   0 | 219k|  0 |3126 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1157.06/1160.40	c  1160s|  9300 |  5267 |  1368k| 144.3 |   807M |  45 |  29k| 921 | 587 | 222k|  2 |3145 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1172.02/1175.47	c  1175s|  9400 |  5338 |  1387k| 144.8 |   809M |  45 |  29k| 941 |   0 | 224k|  0 |3175 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1186.28/1189.76	c  1190s|  9500 |  5392 |  1400k| 144.7 |   810M |  45 |  29k| 957 |   0 | 226k|  0 |3207 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1194.75/1198.22	c  1198s|  9600 |  5426 |  1411k| 144.2 |   811M |  45 |  29k| 979 | 582 | 228k|  1 |3247 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1208.32/1211.80	c  1212s|  9700 |  5494 |  1425k| 144.2 |   812M |  45 |  29k| 956 |   0 | 230k|  0 |3265 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1218.29/1221.80	c  1222s|  9800 |  5548 |  1437k| 144.0 |   813M |  45 |  29k| 939 | 585 | 232k|  1 |3294 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1227.57/1231.13	c  1231s|  9900 |  5584 |  1448k| 143.7 |   815M |  45 |  29k| 957 | 591 | 234k|  2 |3330 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1243.73/1247.30	c  1247s| 10000 |  5658 |  1467k| 144.1 |   816M |  45 |  29k| 950 | 443 | 236k|  1 |3369 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1249.42/1253.03	c  1253s| 10100 |  5696 |  1472k| 143.1 |   817M |  45 |  29k| 954 | 443 | 238k|  1 |3400 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1268.47/1272.19	c  1272s| 10200 |  5782 |  1496k| 144.1 |   820M |  45 |  29k| 958 | 573 | 240k|  1 |3437 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1287.80/1291.52	c  1292s| 10300 |  5844 |  1516k| 144.7 |   821M |  45 |  29k| 953 | 443 | 242k|  1 |3464 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1296.68/1300.48	c  1300s| 10400 |  5885 |  1526k| 144.2 |   822M |  45 |  29k| 943 | 570 | 245k|  1 |3497 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1306.55/1310.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1306.55/1310.30	c  1310s| 10500 |  5928 |  1536k| 143.8 |   824M |  45 |  29k| 924 | 573 | 247k|  1 |3532 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1314.92/1318.72	c  1319s| 10600 |  5964 |  1544k| 143.2 |   825M |  45 |  29k| 922 |   0 | 249k|  0 |3570 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1324.30/1328.15	c  1328s| 10700 |  6004 |  1556k| 143.0 |   826M |  45 |  29k| 932 |   0 | 251k|  0 |3604 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1343.54/1347.41	c  1347s| 10800 |  6064 |  1587k| 144.6 |   828M |  45 |  29k| 940 |   0 | 253k|  0 |3632 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1353.61/1357.50	c  1358s| 10900 |  6114 |  1597k| 144.1 |   831M |  45 |  29k| 933 | 599 | 255k|  2 |3660 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1368.27/1372.28	c  1372s| 11000 |  6178 |  1617k| 144.7 |   832M |  45 |  29k| 927 | 575 | 257k|  1 |3695 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1379.34/1383.35	c  1383s| 11100 |  6231 |  1629k| 144.5 |   833M |  45 |  29k| 917 | 569 | 259k|  1 |3726 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1392.51/1396.51	c  1397s| 11200 |  6295 |  1643k| 144.4 |   836M |  45 |  29k| 919 |   0 | 262k|  0 |3762 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1403.57/1407.60	c  1408s| 11300 |  6343 |  1657k| 144.3 |   836M |  45 |  29k| 924 | 590 | 264k|  2 |3797 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1418.43/1422.55	c  1423s| 11400 |  6387 |  1669k| 144.2 |   837M |  45 |  29k| 955 | 572 | 266k|  1 |3846 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1424.81/1428.97	c  1429s| 11500 |  6426 |  1675k| 143.4 |   840M |  45 |  29k| 943 | 442 | 268k|  1 |3884 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1433.19/1437.30	c  1437s| 11600 |  6470 |  1684k| 143.0 |   842M |  45 |  29k| 946 |   0 | 270k|  0 |3912 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1441.76/1445.97	c  1446s| 11700 |  6514 |  1694k| 142.6 |   843M |  45 |  29k| 980 | 442 | 272k|  1 |3957 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1451.34/1455.54	c  1456s| 11800 |  6580 |  1705k| 142.3 |   845M |  45 |  29k| 963 | 567 | 274k|  1 |3976 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1462.70/1466.97	c  1467s| 11900 |  6635 |  1719k| 142.3 |   846M |  45 |  29k| 937 | 596 | 277k|  2 |4007 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1471.38/1475.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1471.38/1475.68	c  1476s| 12000 |  6681 |  1728k| 141.8 |   847M |  45 |  29k| 964 | 575 | 279k|  1 |4055 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1480.06/1484.30	c  1484s| 12100 |  6727 |  1737k| 141.4 |   850M |  45 |  29k| 982 | 580 | 281k|  1 |4087 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1489.33/1493.67	c  1494s| 12200 |  6771 |  1747k| 141.1 |   850M |  45 |  29k| 950 | 555 | 283k|  1 |4120 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1502.70/1507.03	c  1507s| 12300 |  6827 |  1765k| 141.4 |   852M |  45 |  29k| 920 | 588 | 286k|  2 |4159 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1518.25/1522.67	c  1523s| 12400 |  6917 |  1783k| 141.7 |   854M |  45 |  29k| 920 | 571 | 288k|  1 |4173 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1534.22/1538.61	c  1539s| 12500 |  7009 |  1803k| 142.2 |   856M |  45 |  29k| 925 | 443 | 290k|  1 |4197 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1546.18/1550.62	c  1551s| 12600 |  7073 |  1816k| 142.1 |   859M |  45 |  29k| 909 | 566 | 292k|  1 |4215 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1564.33/1568.85	c  1569s| 12700 |  7150 |  1839k| 142.8 |   860M |  45 |  29k| 899 | 581 | 295k|  2 |4259 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1580.98/1585.53	c  1586s| 12800 |  7206 |  1858k| 143.2 |   862M |  45 |  29k| 923 | 577 | 297k|  1 |4290 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1594.15/1598.70	c  1599s| 12900 |  7247 |  1876k| 143.4 |   863M |  45 |  29k| 931 | 450 | 298k|  1 |4334 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1601.72/1606.30	c  1606s| 13000 |  7277 |  1885k| 143.0 |   864M |  45 |  29k| 952 | 454 | 300k|  1 |4375 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1613.19/1617.88	c  1618s| 13100 |  7331 |  1899k| 143.0 |   865M |  45 |  29k| 942 | 579 | 302k|  2 |4401 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1625.26/1629.96	c  1630s| 13200 |  7395 |  1912k| 142.9 |   867M |  45 |  29k| 916 | 574 | 305k|  1 |4420 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1635.43/1640.11	c  1640s| 13300 |  7447 |  1926k| 142.9 |   868M |  45 |  29k| 932 | 582 | 307k|  2 |4452 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1646.30/1651.05	c  1651s| 13400 |  7495 |  1938k| 142.7 |   870M |  45 |  29k| 950 | 559 | 309k|  1 |4489 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1656.97/1661.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1656.97/1661.79	c  1662s| 13500 |  7547 |  1951k| 142.6 |   872M |  45 |  29k| 960 |   0 | 311k|  0 |4522 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1673.02/1677.85	c  1678s| 13600 |  7618 |  1969k| 142.9 |   873M |  45 |  29k| 917 | 587 | 313k|  2 |4544 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1692.37/1697.27	c  1697s| 13700 |  7692 |  1988k| 143.2 |   876M |  45 |  29k| 883 |   0 | 316k|  0 |4573 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1707.63/1712.53	c  1713s| 13800 |  7752 |  2008k| 143.7 |   878M |  45 |  29k| 901 | 451 | 318k|  1 |4612 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1723.68/1728.62	c  1729s| 13900 |  7814 |  2027k| 144.0 |   879M |  45 |  29k| 907 | 571 | 321k|  1 |4639 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1737.05/1742.05	c  1742s| 14000 |  7888 |  2040k| 143.9 |   881M |  45 |  29k| 873 | 566 | 323k|  1 |4653 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1745.82/1750.89	c  1751s| 14100 |  7930 |  2050k| 143.5 |   883M |  45 |  29k| 845 | 442 | 325k|  1 |4689 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1754.00/1759.02	c  1759s| 14200 |  7978 |  2061k| 143.3 |   884M |  45 |  29k| 850 | 599 | 327k|  2 |4723 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1764.47/1769.53	c  1770s| 14300 |  8040 |  2074k| 143.2 |   887M |  45 |  29k| 858 |   0 | 330k|  0 |4750 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1770.06/1775.10	c  1775s| 14400 |  8076 |  2080k| 142.6 |   888M |  45 |  29k| 885 | 442 | 332k|  1 |4793 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1780.82/1785.90	c  1786s| 14500 |  8132 |  2094k| 142.6 |   890M |  45 |  29k| 923 |   0 | 334k|  0 |4843 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1789.70/1794.84	c  1795s| 14600 |  8194 |  2103k| 142.3 |   893M |  45 |  29k| 912 | 576 | 336k|  1 |4865 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1796.88/1802.02	c  1802s| 14700 |  8232 |  2111k| 141.9 |   893M |  45 |  29k| 910 | 564 | 339k|  1 |4900 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1811.64/1816.89	c  1817s| 14800 |  8302 |  2133k| 142.3 |   896M |  45 |  29k| 874 | 562 | 341k|  1 |4934 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1826.90/1832.15	c  1832s| 14900 |  8356 |  2147k| 142.3 |   898M |  45 |  29k| 885 |   0 | 343k|  0 |4959 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1844.15/1849.49	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1844.15/1849.49	c  1849s| 15000 |  8432 |  2166k| 142.6 |   899M |  45 |  29k| 866 | 586 | 345k|  2 |4986 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1859.81/1865.16	c  1865s| 15100 |  8492 |  2185k| 143.0 |   901M |  45 |  29k| 853 | 586 | 348k|  2 |5014 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1872.07/1877.49	c  1877s| 15200 |  8555 |  2198k| 142.9 |   902M |  45 |  29k| 828 | 588 | 350k|  1 |5039 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1888.03/1893.48	c  1893s| 15300 |  8633 |  2215k| 143.1 |   903M |  45 |  29k| 817 | 559 | 353k|  1 |5058 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1900.20/1905.60	c  1906s| 15400 |  8691 |  2227k| 142.9 |   906M |  45 |  29k| 793 | 572 | 355k|  1 |5086 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1910.37/1915.81	c  1916s| 15500 |  8739 |  2239k| 142.8 |   907M |  45 |  29k| 802 | 574 | 358k|  1 |5132 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1925.83/1931.39	c  1931s| 15600 |  8801 |  2256k| 142.9 |   909M |  45 |  29k| 788 | 558 | 360k|  1 |5163 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1936.00/1941.55	c  1942s| 15700 |  8829 |  2262k| 142.4 |   910M |  45 |  29k| 790 | 443 | 362k|  1 |5200 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1955.74/1961.39	c  1961s| 15800 |  8899 |  2284k| 142.9 |   911M |  45 |  29k| 785 | 566 | 364k|  1 |5225 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1965.71/1971.38	c  1971s| 15900 |  8941 |  2293k| 142.6 |   912M |  45 |  29k| 806 | 564 | 366k|  1 |5268 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1984.47/1990.15	c  1990s| 16000 |  9019 |  2315k| 143.1 |   914M |  45 |  29k| 819 | 567 | 368k|  1 |5316 |  33 | 0.000000e+00 |      --      |    Inf | unknown
1994.63/2000.36	c  2000s| 16100 |  9062 |  2324k| 142.8 |   916M |  45 |  29k| 832 | 562 | 371k|  1 |5345 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2013.58/2019.32	c  2019s| 16200 |  9129 |  2349k| 143.4 |   919M |  45 |  29k| 820 | 571 | 373k|  1 |5365 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2027.94/2033.72	c  2034s| 16300 |  9199 |  2364k| 143.4 |   921M |  45 |  29k| 801 | 585 | 376k|  2 |5382 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2042.31/2048.18	c  2048s| 16400 |  9252 |  2380k| 143.6 |   922M |  45 |  29k| 804 |   0 | 378k|  0 |5422 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2053.47/2059.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2053.47/2059.32	c  2059s| 16500 |  9296 |  2391k| 143.3 |   924M |  45 |  29k| 810 | 562 | 380k|  1 |5452 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2068.73/2074.64	c  2075s| 16600 |  9346 |  2405k| 143.3 |   926M |  45 |  29k| 817 | 581 | 382k|  2 |5510 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2079.00/2084.99	c  2085s| 16700 |  9424 |  2418k| 143.3 |   927M |  45 |  29k| 778 | 589 | 384k|  1 |5530 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2090.37/2096.38	c  2096s| 16800 |  9494 |  2431k| 143.1 |   929M |  45 |  29k| 772 | 579 | 387k|  1 |5546 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2103.83/2109.81	c  2110s| 16900 |  9532 |  2445k| 143.1 |   931M |  45 |  29k| 791 |   0 | 389k|  0 |5598 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2114.11/2120.12	c  2120s| 17000 |  9582 |  2457k| 143.0 |   932M |  45 |  29k| 788 |   0 | 391k|  0 |5627 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2125.47/2131.59	c  2132s| 17100 |  9630 |  2469k| 142.9 |   934M |  45 |  29k| 781 | 580 | 393k|  1 |5658 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2136.14/2142.25	c  2142s| 17200 |  9669 |  2480k| 142.7 |   934M |  45 |  29k| 792 | 582 | 396k|  1 |5693 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2151.50/2157.65	c  2158s| 17300 |  9727 |  2502k| 143.1 |   935M |  45 |  29k| 794 | 589 | 398k|  2 |5735 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2163.17/2169.33	c  2169s| 17400 |  9773 |  2513k| 142.9 |   938M |  45 |  29k| 806 |   0 | 400k|  0 |5770 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2170.65/2176.81	c  2177s| 17500 |  9821 |  2520k| 142.5 |   939M |  45 |  29k| 748 | 578 | 402k|  1 |5798 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2182.92/2189.15	c  2189s| 17600 |  9876 |  2537k| 142.7 |   941M |  45 |  29k| 764 |   0 | 404k|  0 |5829 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2195.98/2202.25	c  2202s| 17700 |  9938 |  2553k| 142.8 |   943M |  45 |  29k| 776 | 442 | 406k|  1 |5860 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2210.84/2217.13	c  2217s| 17800 | 10010 |  2569k| 142.9 |   944M |  45 |  29k| 783 | 577 | 409k|  1 |5885 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2222.70/2229.02	c  2229s| 17900 | 10066 |  2585k| 142.9 |   946M |  45 |  29k| 812 | 578 | 411k|  1 |5915 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2233.87/2240.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2233.87/2240.21	c  2240s| 18000 | 10148 |  2598k| 142.9 |   948M |  45 |  29k| 793 | 442 | 413k|  1 |5944 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2246.24/2252.66	c  2253s| 18100 | 10211 |  2611k| 142.8 |   949M |  45 |  29k| 821 | 572 | 415k|  1 |5980 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2259.10/2265.54	c  2266s| 18200 | 10281 |  2628k| 143.0 |   951M |  45 |  29k| 849 | 442 | 417k|  1 |6015 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2269.57/2276.05	c  2276s| 18300 | 10341 |  2639k| 142.8 |   952M |  45 |  29k| 865 | 592 | 420k|  2 |6041 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2283.93/2290.43	c  2290s| 18400 | 10415 |  2654k| 142.8 |   954M |  45 |  29k| 885 | 442 | 422k|  1 |6070 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2299.09/2305.63	c  2306s| 18500 | 10491 |  2670k| 142.9 |   955M |  45 |  29k| 898 | 579 | 424k|  1 |6091 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2317.14/2323.75	c  2324s| 18600 | 10565 |  2693k| 143.4 |   957M |  45 |  29k| 924 | 577 | 427k|  1 |6124 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2336.98/2343.62	c  2344s| 18700 | 10640 |  2718k| 144.0 |   962M |  45 |  29k| 972 | 580 | 429k|  1 |6175 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2350.94/2357.65	c  2358s| 18800 | 10704 |  2736k| 144.1 |   964M |  45 |  29k| 987 | 565 | 432k|  1 |6201 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2365.10/2371.80	c  2372s| 18900 | 10787 |  2755k| 144.4 |   967M |  45 |  29k|1002 | 590 | 434k|  2 |6222 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2385.44/2392.26	c  2392s| 19000 | 10875 |  2779k| 144.9 |   968M |  45 |  29k|1018 | 564 | 437k|  1 |6242 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2406.49/2413.32	c  2413s| 19100 | 10967 |  2803k| 145.4 |   970M |  45 |  29k|1030 | 573 | 439k|  1 |6262 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2428.82/2435.70	c  2436s| 19200 | 11038 |  2836k| 146.4 |   971M |  45 |  29k|1054 | 452 | 441k|  1 |6300 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2440.09/2447.04	c  2447s| 19300 | 11078 |  2847k| 146.2 |   973M |  45 |  29k|1067 |   0 | 443k|  0 |6332 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2454.05/2461.09	c  2461s| 19400 | 11128 |  2862k| 146.2 |   976M |  45 |  29k|1077 | 595 | 445k|  2 |6378 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2466.12/2473.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2466.12/2473.13	c  2473s| 19500 | 11179 |  2875k| 146.1 |   977M |  45 |  29k|1067 | 451 | 448k|  1 |6403 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2476.59/2483.65	c  2484s| 19600 | 11227 |  2888k| 146.0 |   980M |  45 |  29k|1070 | 597 | 450k|  2 |6440 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2492.64/2499.70	c  2500s| 19700 | 11291 |  2906k| 146.2 |   981M |  45 |  29k|1091 | 451 | 452k|  1 |6485 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2499.82/2506.90	c  2507s| 19800 | 11321 |  2914k| 145.9 |   982M |  45 |  29k|1055 |   0 | 454k|  0 |6526 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2521.16/2528.33	c  2528s| 19900 | 11399 |  2936k| 146.2 |   985M |  45 |  29k|1025 | 584 | 457k|  1 |6554 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2531.23/2538.47	c  2538s| 20000 | 11453 |  2948k| 146.1 |   987M |  45 |  29k| 954 | 578 | 459k|  1 |6583 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2547.38/2554.61	c  2555s| 20100 | 11516 |  2970k| 146.5 |   989M |  45 |  29k| 956 | 573 | 462k|  1 |6624 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2563.25/2570.53	c  2571s| 20200 | 11582 |  2991k| 146.8 |   992M |  45 |  29k| 975 | 588 | 464k|  1 |6659 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2576.31/2583.67	c  2584s| 20300 | 11633 |  3006k| 146.8 |   994M |  45 |  29k| 986 |   0 | 467k|  0 |6693 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2590.17/2597.55	c  2598s| 20400 | 11695 |  3024k| 147.0 |   996M |  45 |  29k| 966 | 599 | 470k|  2 |6727 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2603.83/2611.28	c  2611s| 20500 | 11753 |  3042k| 147.1 |   998M |  45 |  29k| 935 |   0 | 472k|  0 |6755 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2616.89/2624.37	c  2624s| 20600 | 11803 |  3056k| 147.1 |  1000M |  45 |  29k| 873 | 576 | 474k|  1 |6798 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2626.46/2633.92	c  2634s| 20700 | 11878 |  3067k| 146.9 |  1002M |  45 |  29k| 884 | 581 | 477k|  1 |6838 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2635.93/2643.46	c  2643s| 20800 | 11940 |  3079k| 146.8 |  1002M |  45 |  29k| 900 | 605 | 479k|  2 |6861 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2644.22/2651.77	c  2652s| 20900 | 11980 |  3089k| 146.6 |  1004M |  45 |  29k| 898 | 602 | 482k|  2 |6893 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2658.48/2666.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2658.48/2666.00	c  2666s| 21000 | 12035 |  3108k| 146.8 |  1006M |  45 |  29k| 887 | 572 | 484k|  1 |6936 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2673.04/2680.69	c  2681s| 21100 | 12090 |  3121k| 146.7 |  1007M |  45 |  29k| 879 | 574 | 487k|  1 |6963 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2681.11/2688.76	c  2689s| 21200 | 12119 |  3129k| 146.4 |  1008M |  45 |  29k| 889 |   0 | 489k|  0 |7007 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2692.78/2700.47	c  2700s| 21300 | 12161 |  3143k| 146.3 |  1009M |  45 |  29k| 887 | 577 | 491k|  1 |7044 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2706.74/2714.43	c  2714s| 21400 | 12223 |  3161k| 146.5 |  1011M |  45 |  29k| 870 | 574 | 494k|  1 |7080 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2718.21/2725.90	c  2726s| 21500 | 12275 |  3175k| 146.5 |  1013M |  45 |  29k| 836 | 442 | 496k|  1 |7110 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2736.85/2744.68	c  2745s| 21600 | 12335 |  3202k| 147.0 |  1016M |  45 |  29k| 840 |   0 | 499k|  0 |7147 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2754.51/2762.37	c  2762s| 21700 | 12413 |  3227k| 147.5 |  1017M |  45 |  29k| 816 | 601 | 501k|  2 |7165 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2773.26/2781.16	c  2781s| 21800 | 12491 |  3249k| 147.8 |  1017M |  45 |  29k| 812 | 604 | 504k|  2 |7181 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2786.42/2794.39	c  2794s| 21900 | 12545 |  3260k| 147.7 |  1019M |  45 |  29k| 806 |   0 | 506k|  0 |7223 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2797.49/2805.43	c  2805s| 22000 | 12585 |  3271k| 147.5 |  1020M |  45 |  29k| 792 | 568 | 508k|  1 |7256 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2809.55/2817.50	c  2818s| 22100 | 12622 |  3283k| 147.4 |  1021M |  45 |  29k| 782 | 581 | 510k|  1 |7291 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2820.52/2828.59	c  2829s| 22200 | 12670 |  3296k| 147.3 |  1024M |  45 |  29k| 786 | 589 | 512k|  1 |7325 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2834.38/2842.49	c  2842s| 22300 | 12734 |  3310k| 147.3 |  1025M |  45 |  29k| 782 | 606 | 515k|  2 |7365 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2850.74/2858.83	c  2859s| 22400 | 12790 |  3332k| 147.6 |  1028M |  45 |  29k| 800 | 572 | 517k|  1 |7410 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2860.11/2868.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2860.11/2868.20	c  2868s| 22500 | 12828 |  3343k| 147.4 |  1030M |  45 |  29k| 811 | 442 | 519k|  1 |7449 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2872.98/2881.17	c  2881s| 22600 | 12886 |  3365k| 147.7 |  1031M |  45 |  29k| 802 | 442 | 522k|  1 |7476 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2888.23/2896.49	c  2896s| 22700 | 12966 |  3385k| 148.0 |  1031M |  45 |  29k| 797 | 577 | 525k|  1 |7497 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2908.17/2916.41	c  2916s| 22800 | 13050 |  3419k| 148.8 |  1034M |  45 |  29k| 826 | 442 | 527k|  1 |7540 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2925.23/2933.53	c  2934s| 22900 | 13144 |  3438k| 149.0 |  1036M |  45 |  29k| 831 | 578 | 530k|  1 |7547 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2946.37/2954.72	c  2955s| 23000 | 13212 |  3468k| 149.6 |  1037M |  45 |  29k| 855 | 581 | 533k|  1 |7578 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2960.23/2968.61	c  2969s| 23100 | 13259 |  3481k| 149.6 |  1040M |  45 |  29k| 866 |   0 | 535k|  0 |7613 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2972.39/2980.80	c  2981s| 23200 | 13311 |  3497k| 149.6 |  1043M |  45 |  29k| 897 | 452 | 537k|  1 |7654 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2980.97/2989.44	c  2989s| 23300 | 13351 |  3507k| 149.4 |  1044M |  45 |  29k| 930 | 583 | 539k|  1 |7687 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2990.55/2999.03	c  2999s| 23400 | 13391 |  3520k| 149.3 |  1044M |  45 |  29k| 944 | 596 | 541k|  2 |7727 |  33 | 0.000000e+00 |      --      |    Inf | unknown
2998.22/3006.76	c  3007s| 23500 | 13429 |  3529k| 149.0 |  1045M |  45 |  29k| 924 | 445 | 543k|  1 |7765 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3005.60/3014.13	c  3014s| 23600 | 13481 |  3537k| 148.8 |  1047M |  45 |  29k| 891 | 451 | 546k|  1 |7790 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3018.36/3026.91	c  3027s| 23700 | 13525 |  3547k| 148.6 |  1048M |  45 |  29k| 849 | 443 | 548k|  1 |7827 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3025.94/3034.52	c  3035s| 23800 | 13551 |  3556k| 148.3 |  1049M |  45 |  29k| 834 | 569 | 550k|  1 |7868 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3036.61/3045.28	c  3045s| 23900 | 13601 |  3569k| 148.3 |  1049M |  45 |  29k| 794 | 574 | 552k|  1 |7901 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3047.78/3056.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3047.78/3056.42	c  3056s| 24000 | 13669 |  3583k| 148.2 |  1051M |  45 |  29k| 775 |   0 | 555k|  0 |7921 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3059.05/3067.78	c  3068s| 24100 | 13725 |  3596k| 148.1 |  1053M |  45 |  29k| 756 | 582 | 557k|  1 |7946 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3066.34/3075.03	c  3075s| 24200 | 13755 |  3604k| 147.8 |  1053M |  45 |  29k| 754 |   0 | 559k|  0 |7983 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3077.70/3086.42	c  3086s| 24300 | 13819 |  3616k| 147.7 |  1055M |  45 |  29k| 742 | 585 | 561k|  1 |8013 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3097.95/3106.73	c  3107s| 24400 | 13901 |  3637k| 148.0 |  1057M |  45 |  29k| 753 | 581 | 564k|  1 |8047 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3114.11/3122.95	c  3123s| 24500 | 13979 |  3655k| 148.1 |  1060M |  45 |  29k| 755 | 442 | 567k|  1 |8065 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3129.97/3138.87	c  3139s| 24600 | 14054 |  3674k| 148.3 |  1061M |  45 |  29k| 760 | 575 | 569k|  1 |8087 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3140.44/3149.36	c  3149s| 24700 | 14110 |  3684k| 148.1 |  1063M |  45 |  29k| 753 | 564 | 571k|  1 |8120 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3150.81/3159.74	c  3160s| 24800 | 14154 |  3695k| 147.9 |  1066M |  45 |  29k| 758 | 578 | 574k|  1 |8152 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3172.34/3181.36	c  3181s| 24900 | 14230 |  3716k| 148.2 |  1067M |  45 |  29k| 750 | 573 | 576k|  1 |8171 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3184.30/3193.39	c  3193s| 25000 | 14274 |  3733k| 148.3 |  1069M |  45 |  29k| 733 | 597 | 578k|  2 |8206 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3204.85/3213.91	c  3214s| 25100 | 14344 |  3760k| 148.8 |  1072M |  45 |  29k| 743 | 573 | 581k|  1 |8239 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3215.82/3224.91	c  3225s| 25200 | 14392 |  3772k| 148.6 |  1072M |  45 |  29k| 757 | 591 | 583k|  1 |8277 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3224.30/3233.47	c  3233s| 25300 | 14422 |  3781k| 148.4 |  1073M |  45 |  29k| 761 | 594 | 585k|  2 |8314 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3236.67/3245.85	c  3246s| 25400 | 14475 |  3796k| 148.4 |  1076M |  45 |  29k| 749 |   0 | 588k|  0 |8340 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3246.95/3256.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3246.95/3256.19	c  3256s| 25500 | 14508 |  3810k| 148.4 |  1078M |  45 |  29k| 776 |   0 | 589k|  0 |8384 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3253.94/3263.17	c  3263s| 25600 | 14531 |  3816k| 148.1 |  1079M |  45 |  29k| 796 |   0 | 592k|  0 |8427 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3261.92/3271.19	c  3271s| 25700 | 14557 |  3825k| 147.8 |  1080M |  45 |  29k| 807 |   0 | 594k|  0 |8469 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3273.48/3282.71	c  3283s| 25800 | 14592 |  3842k| 147.9 |  1082M |  45 |  29k| 837 | 451 | 596k|  1 |8528 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3282.66/3291.93	c  3292s| 25900 | 14628 |  3852k| 147.7 |  1083M |  45 |  29k| 857 |   0 | 598k|  0 |8567 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3289.44/3298.73	c  3299s| 26000 | 14658 |  3860k| 147.5 |  1084M |  45 |  29k| 844 | 569 | 600k|  1 |8607 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3308.00/3317.37	c  3317s| 26100 | 14741 |  3882k| 147.7 |  1087M |  45 |  29k| 815 | 607 | 602k|  2 |8628 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3336.53/3345.90	c  3346s| 26200 | 14827 |  3910k| 148.2 |  1090M |  45 |  29k| 833 | 591 | 605k|  1 |8657 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3361.67/3371.12	c  3371s| 26300 | 14899 |  3942k| 148.9 |  1091M |  45 |  29k| 845 | 580 | 608k|  1 |8681 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3387.72/3397.25	c  3397s| 26400 | 14978 |  3973k| 149.5 |  1093M |  45 |  29k| 883 | 570 | 610k|  1 |8719 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3407.97/3417.50	c  3418s| 26500 | 15060 |  3997k| 149.9 |  1096M |  45 |  29k| 895 | 611 | 613k|  2 |8737 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3427.62/3437.27	c  3437s| 26600 | 15158 |  4018k| 150.1 |  1099M |  45 |  29k| 918 | 574 | 615k|  1 |8762 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3450.47/3460.10	c  3460s| 26700 | 15248 |  4045k| 150.5 |  1100M |  45 |  29k| 929 | 580 | 618k|  1 |8778 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3469.43/3479.10	c  3479s| 26800 | 15304 |  4065k| 150.7 |  1102M |  45 |  29k| 926 | 451 | 621k|  1 |8810 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3477.10/3486.86	c  3487s| 26900 | 15329 |  4074k| 150.5 |  1103M |  45 |  29k| 894 | 443 | 622k|  1 |8865 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3490.77/3500.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3490.77/3500.54	c  3501s| 27000 | 15375 |  4091k| 150.5 |  1105M |  45 |  29k| 887 | 451 | 624k|  1 |8907 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3501.54/3511.31	c  3511s| 27100 | 15427 |  4100k| 150.3 |  1107M |  45 |  29k| 889 |   0 | 627k|  0 |8936 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3509.72/3519.51	c  3520s| 27200 | 15457 |  4110k| 150.1 |  1108M |  45 |  29k| 899 |   0 | 629k|  0 |8973 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3518.70/3528.50	c  3529s| 27300 | 15494 |  4120k| 150.0 |  1109M |  45 |  29k| 847 | 575 | 631k|  1 |9006 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3527.38/3537.23	c  3537s| 27400 | 15535 |  4128k| 149.7 |  1110M |  45 |  29k| 835 | 585 | 633k|  1 |9037 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3537.75/3547.61	c  3548s| 27500 | 15575 |  4140k| 149.6 |  1112M |  45 |  29k| 820 | 572 | 636k|  1 |9075 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3546.73/3556.64	c  3557s| 27600 | 15613 |  4151k| 149.5 |  1113M |  45 |  29k| 785 |   0 | 638k|  0 |9112 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3556.11/3566.09	c  3566s| 27700 | 15659 |  4160k| 149.2 |  1114M |  45 |  29k| 792 | 587 | 640k|  1 |9153 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3566.58/3576.57	c  3577s| 27800 | 15696 |  4173k| 149.2 |  1115M |  45 |  29k| 793 | 589 | 643k|  2 |9194 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3574.46/3584.46	c  3584s| 27900 | 15726 |  4182k| 149.0 |  1116M |  45 |  29k| 763 | 565 | 645k|  1 |9240 |  33 | 0.000000e+00 |      --      |    Inf | unknown
3587.03/3597.00	c 
3587.03/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.03/3597.00	c Solving Time (sec) : 3597.01
3587.03/3597.00	c Solving Nodes      : 27983
3587.03/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.03/3597.00	c Dual Bound         : +0.00000000000000e+00
3587.03/3597.00	c Gap                : infinite
3587.03/3597.00	s UNKNOWN
3587.03/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.03/3597.00	c Total Time         :    3597.01
3587.03/3597.00	c   solving          :    3597.01
3587.03/3597.00	c   presolving       :       0.54 (included in solving)
3587.03/3597.00	c   reading          :       0.04 (included in solving)
3587.03/3597.00	c   copying          :       0.24 (7 #copies) (minimal 0.03, maximal 0.04, average 0.03)
3587.03/3597.00	c Original Problem   :
3587.03/3597.00	c   Problem name     : HOME/instance-4515321-1751234055.opb
3587.03/3597.00	c   Variables        : 31248 (31248 binary, 0 integer, 0 continuous)
3587.03/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.03/3597.00	c   Constraints      : 354 initial, 354 maximal
3587.03/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.03/3597.01	c Presolved Problem  :
3587.03/3597.01	c   Problem name     : t_HOME/instance-4515321-1751234055.opb
3587.03/3597.01	c   Variables        : 29568 (29568 binary, 0 integer, 0 continuous)
3587.03/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.03/3597.01	c   Constraints      : 186 initial, 1218 maximal
3587.03/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.03/3597.01	c   Nonzeros         : 60648 constraint, 0 clique table
3587.03/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.03/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   domcol           :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   implics          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   milp             :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   sparsify         :       0.08       0.00      1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   trivial          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   dualfix          :       0.00       0.00      3       1680          0          0          0          0          0          0          0          0
3587.03/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   probing          :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   symmetry         :       0.27       0.00      1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   vbounds          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   knapsack         :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   linear           :       0.02       0.01      5          0          0          0          0          0        168          0          0          0
3587.03/3597.01	c   logicor          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.03/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.03/3597.01	c   integral         :          0          0          0          0      21913          0          0       4279          0          0          0          0          0          0      43826
3587.03/3597.01	c   knapsack         :          9+        12         14     254134          0          0          0       4275    2918133         23     934146          0          0          0          0
3587.03/3597.01	c   linear           :        168+       174         14     550873          0          0          0       4276    9690841       8807    2155659          0          0          0          0
3587.03/3597.01	c   logicor          :          9+      1037         14      25279          0          0          0          0       9176        251       4215          0          0          0          0
3587.03/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.03/3597.01	c   integral         :      24.13       0.00       0.00       0.00      24.13       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c   knapsack         :      28.32       0.00       0.00       2.54       0.00       0.00       0.00       0.42      25.36       0.00
3587.03/3597.01	c   linear           :     602.40       0.01       0.01     325.47       0.00       0.00       0.00       0.06     276.85       0.00
3587.03/3597.01	c   logicor          :       1.46       0.00       0.00       1.42       0.00       0.00       0.00       0.00       0.04       0.00
3587.03/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.03/3597.01	c   dualfix          :          1          0          0          0
3587.03/3597.01	c   genvbounds       :          0          0          0          0
3587.03/3597.01	c   nlobbt           :          0          0          0          0
3587.03/3597.01	c   obbt             :          0          0          0          0
3587.03/3597.01	c   probing          :          0          0          0          0
3587.03/3597.01	c   pseudoobj        :          0          0          0          0
3587.03/3597.01	c   redcost          :          0          0          0          0
3587.03/3597.01	c   rootredcost      :          0          0          0          0
3587.03/3597.01	c   symmetry         :     511552          0          0      10513
3587.03/3597.01	c   vbounds          :          0          0          0          0
3587.03/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.03/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.03/3597.01	c   probing          :       0.06       0.00       0.06       0.00       0.00       0.00
3587.03/3597.01	c   pseudoobj        :       0.08       0.00       0.00       0.08       0.00       0.00
3587.03/3597.01	c   redcost          :       0.04       0.00       0.00       0.04       0.00       0.00
3587.03/3597.01	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00       0.00
3587.03/3597.01	c   symmetry         :     332.31       0.00       0.27     332.03       0.00       0.00
3587.03/3597.01	c   vbounds          :       0.36       0.00       0.00       0.36       0.00       0.00
3587.03/3597.01	c Symmetry           :
3587.03/3597.01	c   #affected vars   :      27406 (27406 bin, 0 int, 0 cont)
3587.03/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.03/3597.01	c   orbital reduction:      10169 reductions applied,          0 cutoffs
3587.03/3597.01	c   lexicographic red:        371 reductions applied,          0 cutoffs
3587.03/3597.01	c   shadow tree time :       0.06 s
3587.03/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.03/3597.01	c   propagation      :     309.58       8960       8947          -     105052      549.9          0        0.0          -          -          -
3587.03/3597.01	c   infeasible LP    :       1.03         77         77          -        330      487.4          0        0.0         73     1656.3          0
3587.03/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.03/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.03/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.03/3597.01	c   applied globally :       0.02          -          -          0       9196       84.6          -          -         73          -          -
3587.03/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.03/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.03/3597.01	c   cut pool         :      19.70          -       8504         27          -          -      11918    3990030          -          -          -          -          -    (maximal pool size:       9386)
3587.03/3597.01	c   aggregation      :       3.74       0.00         39         14          0          0       8657    1891548        126     438893     438813         80          0
3587.03/3597.01	c   > cmir           :          -          -          -          -          -          -          -    1245358          0     217808     217808          0          -
3587.03/3597.01	c   > flowcover      :          -          -          -          -          -          -          -     639734          0     220323     220323          0          -
3587.03/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -       6456        126        762        682         80          -
3587.03/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   clique           :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   gomory           :       1.34       0.00         35         10          0          0       3264    2065433         28     203986     203984          2          0
3587.03/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -    1018577         14      90522      90520          2          -
3587.03/3597.01	c   > strongcg       :          -          -          -          -          -          -          -    1046856         14     113464     113464          0          -
3587.03/3597.01	c   impliedbounds    :       0.03       0.00         39         14          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   multilinear      :       0.00       0.00         27         14          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3587.03/3597.01	c   zerohalf         :       0.93       0.00         35         14          0          0        169      33049         18       3997       3988          9          0
3587.03/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.03/3597.01	c   hybrid           :     121.90       0.00       8470         14     646876          0    3343326       3254          0       8360
3587.03/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.03/3597.01	c   problem variables:       0.00          -          0          0
3587.03/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.03/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c   relpscost        :      24.11       0.00      21913          0          0          0          0          0          0      43826
3587.03/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.03/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.03/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.03/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.03/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.03/3597.01	c   strong branching :       0.00          -          -          0          0
3587.03/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.03/3597.01	c   adaptivediving   :       8.83       0.00         18          0          0
3587.03/3597.01	c   alns             :       5.77       0.00          6          0          0
3587.03/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.03/3597.01	c   clique           :       0.00       0.00          0          0          0
3587.03/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.03/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.03/3597.01	c   conflictdiving   :     225.92       0.00        337          0          0
3587.03/3597.01	c   crossover        :       0.01       0.00          0          0          0
3587.03/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.03/3597.01	c   distributiondivin:      95.05       0.00        142          0          0
3587.03/3597.01	c   dks              :       0.00       0.00          0          0          0
3587.03/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.03/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.03/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.03/3597.01	c   feaspump         :      22.18       0.00         24          0          0
3587.03/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.03/3597.01	c   fracdiving       :      77.23       0.00        143          0          0
3587.03/3597.01	c   gins             :       0.01       0.00          0          0          0
3587.03/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3587.03/3597.01	c   indicator        :       0.00       0.00          0          0          0
3587.03/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.03/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.03/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.03/3597.01	c   linesearchdiving :      71.69       0.00         97          0          0
3587.03/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.03/3597.01	c   locks            :       0.21       0.00          1          0          0
3587.03/3597.01	c   lpface           :       2.57       0.00          0          0          0
3587.03/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.03/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.03/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.03/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.03/3597.01	c   objpscostdiving  :     114.32       0.00         33          0          0
3587.03/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.03/3597.01	c   ofins            :       0.00       0.00          0          0          0
3587.03/3597.01	c   oneopt           :       0.02       0.00          0          0          0
3587.03/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.03/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.03/3597.01	c   pscostdiving     :      74.29       0.00        207          0          0
3587.03/3597.01	c   randrounding     :       6.06       0.00       4272          0          0
3587.03/3597.01	c   rens             :       0.14       0.00          1          0          0
3587.03/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.03/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.03/3597.01	c   rins             :       0.01       0.00          0          0          0
3587.03/3597.01	c   rootsoldiving    :      29.08       0.00          7          0          0
3587.03/3597.01	c   rounding         :       0.47       0.00       2470          0          0
3587.03/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.03/3597.01	c   shiftandpropagate:       0.02       0.00          1          0          0
3587.03/3597.01	c   shifting         :      18.27       0.00       1562          0          0
3587.03/3597.01	c   simplerounding   :       0.02       0.00          0          0          0
3587.03/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3587.03/3597.01	c   trivial          :       0.02       0.00          2          0          0
3587.03/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.03/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.03/3597.01	c   trysol           :       0.01       0.00          0          0          0
3587.03/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.03/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.03/3597.01	c   vbounds          :       0.00       0.00          0          0          0
3587.03/3597.01	c   veclendiving     :      71.89       0.00         85          0          0
3587.03/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.03/3597.01	c   zirounding       :       0.18       0.00       1000          0          0
3587.03/3597.01	c   other solutions  :          -          -          -          0          -
3587.03/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.03/3597.01	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.03/3597.01	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.03/3597.01	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.03/3597.01	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.03/3597.01	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.03/3597.01	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.03/3597.01	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.03/3597.01	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.03/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.03/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.03/3597.01	c   primal LP        :      14.76       4228          0       0.00       0.00      14.76       4228
3587.03/3597.01	c   dual LP          :    1899.92      30428    2711272      89.12    1427.05       0.01          4
3587.03/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.03/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.03/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3587.03/3597.01	c   diving/probing LP:     432.80      23082    1495811      64.80    3456.15
3587.03/3597.01	c   strong branching :      15.77         33       1364      41.33      86.50          -          -          0
3587.03/3597.01	c     (at root node) :          -         33       1364      41.33          -
3587.03/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3587.03/3597.01	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3587.03/3597.01	c   benders          :       0.00          0          0          0       0.00          0          0          0
3587.03/3597.01	c B&B Tree           :
3587.03/3597.01	c   number of runs   :          1
3587.03/3597.01	c   nodes            :      27983 (21913 internal, 6070 leaves)
3587.03/3597.01	c   feasible leaves  :          0
3587.03/3597.01	c   infeas. leaves   :       6069
3587.03/3597.01	c   objective leaves :          0
3587.03/3597.01	c   nodes (total)    :      27983 (21913 internal, 6070 leaves)
3587.03/3597.01	c   nodes left       :      15760
3587.03/3597.01	c   max depth        :         45
3587.03/3597.01	c   max depth (total):         45
3587.03/3597.01	c   backtracks       :       4466 (16.0%)
3587.03/3597.01	c   early backtracks :          0 (0.0%)
3587.03/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.03/3597.01	c   delayed cutoffs  :         85
3587.03/3597.01	c   repropagations   :       5798 (9413 domain reductions, 82 cutoffs)
3587.03/3597.01	c   avg switch length:       3.55
3587.03/3597.01	c   switching time   :      30.51
3587.03/3597.01	c Root Node          :
3587.03/3597.01	c   First LP value   : +0.00000000000000e+00
3587.03/3597.01	c   First LP Iters   :        509 (2910.03 Iter/sec)
3587.03/3597.01	c   First LP Time    :       0.17
3587.03/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3587.03/3597.01	c   Final Root Iters :      26598
3587.03/3597.01	c   Root LP Estimate : +3.02108010187021e-02
3587.03/3597.01	c Solution           :
3587.03/3597.01	c   Solutions found  :          0 (0 improvements)
3587.03/3597.01	c   Primal Bound     :          -
3587.03/3597.01	c   Dual Bound       : +0.00000000000000e+00
3587.03/3597.01	c   Gap              :   infinite
3587.03/3597.01	c Integrals          :      Total       Avg%
3587.03/3597.01	c   primal-dual      :  359700.68     100.00
3587.03/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.03/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.22/3597.23	c Time complete (sec):   3587.266

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=42228, runsolver pid=42225

[startup+0.100067 s]*
/proc/loadavg: 4.14 4.14 4.09 5/263 42229
/proc/meminfo: memFree=109645376/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=103476 memory=90532 CPUtime=0.09 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 20614 0 0 0 6 3 0 0 20 0 1 0 39084269 105959424 22633 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 25869 22633 2400 2575 0 22776 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103476 KiB
Current children cumulated memory: 90532 KiB

[startup+0.205323 s]*
/proc/loadavg: 4.14 4.14 4.09 5/263 42229
/proc/meminfo: memFree=109629508/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=123924 memory=104196 CPUtime=0.19 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 27630 0 0 0 15 4 0 0 20 0 1 0 39084269 126898176 26049 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 30981 26049 2560 2575 0 27888 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123924 KiB
Current children cumulated memory: 104196 KiB

[startup+0.305259 s]*
/proc/loadavg: 4.14 4.14 4.09 5/263 42229
/proc/meminfo: memFree=109617600/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=147188 memory=127932 CPUtime=0.28 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 31614 0 0 0 23 5 0 0 20 0 1 0 39084269 150720512 31983 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 36797 31983 2592 2575 0 33704 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 147188 KiB
Current children cumulated memory: 127932 KiB

[startup+0.700172 s]
/proc/loadavg: 4.14 4.14 4.09 5/263 42229
/proc/meminfo: memFree=109569468/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=424124 memory=315560 CPUtime=0.68 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 79044 0 0 0 56 12 0 0 20 0 1 0 39084269 434302976 78890 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 106031 78890 2624 2575 0 102938 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 424124 KiB
Current children cumulated memory: 315560 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 4.14 4.09 5/263 42229
/proc/meminfo: memFree=109400376/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=468088 memory=354600 CPUtime=1.47 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 88806 0 0 0 134 13 0 0 20 0 1 0 39084269 479322112 88650 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 117022 88650 2688 2575 0 113929 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 468088 KiB
Current children cumulated memory: 354600 KiB

[startup+3.10511 s]
/proc/loadavg: 4.12 4.14 4.09 5/263 42229
/proc/meminfo: memFree=109343800/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=513816 memory=400292 CPUtime=3.08 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 98165 0 0 0 293 15 0 0 20 0 1 0 39084269 526147584 100073 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 128454 100073 2688 2575 0 125361 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 513816 KiB
Current children cumulated memory: 400292 KiB

[startup+6.3001 s]
/proc/loadavg: 4.11 4.14 4.09 5/263 42229
/proc/meminfo: memFree=109315772/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=538172 memory=422352 CPUtime=6.26 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 103211 0 0 0 610 16 0 0 20 0 1 0 39084269 551088128 105588 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 134543 105588 2688 2575 0 131450 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 538172 KiB
Current children cumulated memory: 422352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 42229
/proc/meminfo: memFree=109247676/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=608304 memory=490592 CPUtime=12.64 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 122091 0 0 0 1245 19 0 0 20 0 1 0 39084269 622903296 122648 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 152076 122648 2688 2575 0 148983 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 608304 KiB
Current children cumulated memory: 490592 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.13 4.09 5/263 42229
/proc/meminfo: memFree=108563376/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=661944 memory=544876 CPUtime=25.41 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 135868 0 0 0 2519 22 0 0 20 0 1 0 39084269 677830656 136219 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 165486 136219 2688 2575 0 162393 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 661944 KiB
Current children cumulated memory: 544876 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 42230
/proc/meminfo: memFree=108307396/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=760448 memory=639380 CPUtime=50.95 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 159151 0 0 0 5070 25 0 0 20 0 1 0 39084269 778698752 159845 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 190112 159845 2688 2575 0 187019 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 760448 KiB
Current children cumulated memory: 639380 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 42232
/proc/meminfo: memFree=107175792/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=760448 memory=640916 CPUtime=101.99 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 159615 0 0 0 10174 25 0 0 20 0 1 0 39084269 778698752 160229 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 190112 160229 2688 2575 0 187019 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 760448 KiB
Current children cumulated memory: 640916 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 42234
/proc/meminfo: memFree=103178356/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=806832 memory=691732 CPUtime=161.82 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 172399 0 0 0 16154 28 0 0 20 0 1 0 39084269 826195968 172933 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 201708 172933 2688 2575 0 198615 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 806832 KiB
Current children cumulated memory: 691732 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 42236
/proc/meminfo: memFree=101385244/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=806832 memory=702612 CPUtime=221.64 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 172425 0 0 0 22136 28 0 0 20 0 1 0 39084269 826195968 175653 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 201708 175653 2688 2575 0 198615 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 806832 KiB
Current children cumulated memory: 702612 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 42238
/proc/meminfo: memFree=100772052/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=806832 memory=728340 CPUtime=281.45 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 172458 0 0 0 28117 28 0 0 20 0 1 0 39084269 826195968 182085 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 201708 182085 2688 2575 0 198615 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 806832 KiB
Current children cumulated memory: 728340 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 42243
/proc/meminfo: memFree=100761732/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=806832 memory=739476 CPUtime=341.27 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 172525 0 0 0 34099 28 0 0 20 0 1 0 39084269 826195968 184869 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 201708 184869 2688 2575 0 198615 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 806832 KiB
Current children cumulated memory: 739476 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 42258
/proc/meminfo: memFree=100761756/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=806832 memory=744980 CPUtime=401.09 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 172554 0 0 0 40081 28 0 0 20 0 1 0 39084269 826195968 186245 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 201708 186245 2688 2575 0 198615 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 806832 KiB
Current children cumulated memory: 744980 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 42275
/proc/meminfo: memFree=100760212/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=806832 memory=746772 CPUtime=460.91 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 172700 0 0 0 46063 28 0 0 20 0 1 0 39084269 826195968 186693 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 201708 186693 2688 2575 0 198615 0

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

/proc/loadavg: 2.18 3.29 3.79 3/252 42469
/proc/meminfo: memFree=125852444/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1103424 CPUtime=3153.4 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 277410 0 0 0 315289 51 0 0 20 0 1 0 39084269 1193115648 275856 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 275856 2688 2575 0 288195 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1103424 KiB

[startup+3222.3 s]
/proc/loadavg: 1.78 2.99 3.65 2/245 42502
/proc/meminfo: memFree=126255948/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1103424 CPUtime=3213.23 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 277445 0 0 0 321272 51 0 0 20 0 1 0 39084269 1193115648 275856 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 275856 2688 2575 0 288195 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1103424 KiB

[startup+3282.3 s]
/proc/loadavg: 1.34 2.64 3.49 2/246 42505
/proc/meminfo: memFree=126263972/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1103552 CPUtime=3273.08 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 277482 0 0 0 327257 51 0 0 20 0 1 0 39084269 1193115648 275888 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 275888 2688 2575 0 288195 0
Current children cumulated CPU time: 3273.08 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1103552 KiB

[startup+3342.3 s]
/proc/loadavg: 1.17 2.35 3.33 2/248 42511
/proc/meminfo: memFree=126262700/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1103552 CPUtime=3332.94 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 277698 0 0 0 333243 51 0 0 20 0 1 0 39084269 1193115648 275888 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 275888 2688 2575 0 288195 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1103552 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 2.12 3.19 2/248 42513
/proc/meminfo: memFree=126262988/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1104832 CPUtime=3392.8 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 278050 0 0 0 339228 52 0 0 20 0 1 0 39084269 1193115648 276208 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 276208 2688 2575 0 288195 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1104832 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.93 3.06 2/248 42515
/proc/meminfo: memFree=126255980/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1107776 CPUtime=3452.66 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 278823 0 0 0 345214 52 0 0 20 0 1 0 39084269 1193115648 276944 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 276944 2688 2575 0 288195 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1107776 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.79 2.94 2/250 42523
/proc/meminfo: memFree=126254712/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1110848 CPUtime=3512.51 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 279585 0 0 0 351199 52 0 0 20 0 1 0 39084269 1193115648 277712 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 277712 2688 2575 0 288195 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1110848 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.66 2.82 2/249 42525
/proc/meminfo: memFree=126255312/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1112640 CPUtime=3572.36 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280239 0 0 0 357184 52 0 0 20 0 1 0 39084269 1193115648 278160 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 278160 2688 2575 0 288195 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1112640 KiB

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

# cumulated CPU time of all completed processes:  user=3586.74 s, system=0.547628 s

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

[startup+3584 s]*
/proc/loadavg: 1.12 1.66 2.82 2/249 42525
/proc/meminfo: memFree=126255312/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1112640 CPUtime=3574.06 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280239 0 0 0 357354 52 0 0 20 0 1 0 39084269 1193115648 278160 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 278160 2688 2575 0 288195 0
Current children cumulated CPU time: 3574.06 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1112640 KiB

[startup+3590.4 s]
/proc/loadavg: 1.11 1.65 2.81 2/249 42525
/proc/meminfo: memFree=126255312/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1113152 CPUtime=3580.44 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280386 0 0 0 357992 52 0 0 20 0 1 0 39084269 1193115648 278288 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 278288 2688 2575 0 288195 0
Current children cumulated CPU time: 3580.44 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1113152 KiB

[startup+3593.6 s]
/proc/loadavg: 1.10 1.64 2.80 2/250 42526
/proc/meminfo: memFree=126238928/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165152 memory=1113152 CPUtime=3583.63 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280423 0 0 0 358311 52 0 0 20 0 1 0 39084269 1193115648 278288 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291288 278288 2688 2575 0 288195 0
Current children cumulated CPU time: 3583.63 s
Current children cumulated vsize: 1165152 KiB
Current children cumulated memory: 1113152 KiB

[startup+3595.2 s]
/proc/loadavg: 1.10 1.64 2.80 2/250 42526
/proc/meminfo: memFree=126238928/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165492 memory=1113408 CPUtime=3585.23 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280491 0 0 0 358471 52 0 0 20 0 1 0 39084269 1193463808 278352 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291373 278352 2688 2575 0 288280 0
Current children cumulated CPU time: 3585.23 s
Current children cumulated vsize: 1165492 KiB
Current children cumulated memory: 1113408 KiB

[startup+3596 s]*
/proc/loadavg: 1.10 1.64 2.80 2/250 42526
/proc/meminfo: memFree=126238928/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165492 memory=1113408 CPUtime=3586.03 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280495 0 0 0 358551 52 0 0 20 0 1 0 39084269 1193463808 278352 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291373 278352 2688 2575 0 288280 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 1165492 KiB
Current children cumulated memory: 1113408 KiB

[startup+3596.8 s]
/proc/loadavg: 1.10 1.64 2.80 2/250 42526
/proc/meminfo: memFree=126238928/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165492 memory=1113408 CPUtime=3586.82 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280498 0 0 0 358630 52 0 0 20 0 1 0 39084269 1193463808 278352 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291373 278352 2688 2575 0 288280 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 1165492 KiB
Current children cumulated memory: 1113408 KiB

[startup+3597.2 s]
/proc/loadavg: 1.09 1.63 2.79 2/250 42526
/proc/meminfo: memFree=126238928/131249992 swapFree=33010684/33010684
[pid=42228] ppid=42225 vsize=1165492 memory=1113408 CPUtime=3587.22 cores=4,6
/proc/42228/stat : 42228 (pbsolver) R 42225 42228 41475 0 -1 4194304 280584 0 0 0 358670 52 0 0 20 0 1 0 39084269 1193463808 278352 18446744073709551615 4198400 14743177 140734243557584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29106176 140734243559818 140734243559914 140734243559914 140734243565516 0
/proc/42228/statm: 291373 278352 2688 2575 0 288280 0
Current children cumulated CPU time: 3587.22 s
Current children cumulated vsize: 1165492 KiB
Current children cumulated memory: 1113408 KiB

Child status: 0

Real time (s): 3597.25
CPU time (s): 3587.28
CPU user time (s): 3586.74
CPU system time (s): 0.547628
CPU usage (%): 99.7229
Max. virtual memory (cumulated for all children) (KiB): 1165492
Max. memory (cumulated for all children) (KiB): 1113408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.74
system time used= 0.547628
maximum resident set size= 1113408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280588
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= 20854


# summary of solver processes directly reported to runsolver:
#   pid: 42228
#   total CPU time (s): 3587.28
#   total CPU user time (s): 3586.74
#   total CPU system time (s): 0.547628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53422 second user time and 14.6968 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 23:54:15
IDJOB=4515321
IDBENCH=164400
IDSOLVER=3366
FILE ID=nodeC025/4515321-1751234055
RUNJOBID= nodeC025-1751233442-41919
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/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515321-1751234055/watcher-4515321-1751234055 -o /tmp/evaluation-result-4515321-1751234055/solver-4515321-1751234055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751233442-41919 --watchdog 3760  pbsolver -f HOME/instance-4515321-1751234055.opb -t 3600 -m 31000

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=1125219979

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.787
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		: 3700.000
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:        109717448 kB
MemAvailable:   112565676 kB
Buffers:            3280 kB
Cached:          3648608 kB
SwapCached:            0 kB
Active:         17533096 kB
Inactive:        3344372 kB
Active(anon):   17243664 kB
Inactive(anon):        0 kB
Active(file):     289432 kB
Inactive(file):  3344372 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15916 kB
Writeback:             0 kB
AnonPages:      17227708 kB
Mapped:           134592 kB
Shmem:             18084 kB
KReclaimable:     107328 kB
Slab:             194608 kB
SReclaimable:     107328 kB
SUnreclaim:        87280 kB
KernelStack:        4240 kB
PageTables:        37300 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   19232324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2486272 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= 433048 MiB
End job on nodeC025 at 2025-06-30 00:54:12