Trace number 4498361

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13SAT55 3586.62 3597.26

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb
MD5SUM763c698584b52ae611e381227b838c50
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark72001.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products6318
Sum of products size12636

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4498361-1751269323.opb>
0.00/0.01	c original problem has 6818 variables (500 bin, 0 int, 6318 cont) and 7318 constraints
0.00/0.01	c original problem has 6318 implied integral variables (0 bin, 0 int, 6318 cont)
0.00/0.01	c problem read in 0.016 seconds
0.00/0.03	c presolving:
0.00/0.05	c (round 1, medium)     0 del vars, 7318 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06	c (round 2, fast)       6318 del vars, 7318 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06	c (round 3, exhaustive) 6318 del vars, 7318 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 0 impls, 0 clqs
0.00/0.06	c    (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06	c    (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.06	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.06	c  6318 deleted vars, 7318 deleted constraints, 500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06	c  0 implications, 0 cliques
0.00/0.06	c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 500 constraints
0.00/0.06	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.06	c     500 constraints of type <logicor>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.03
0.00/0.06	c problem pure SAT
0.00/0.06	c 
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c 
0.00/0.06	c # SCIP version 10.0.0
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06	c limits/time = 3596.99801
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06	c limits/memory = 27900
0.00/0.06	c 
0.00/0.06	c # belongs reading time to solving time?
0.00/0.06	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c timing/reading = TRUE
0.00/0.06	c 
0.00/0.06	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.00/0.06	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.06	c reading/opbreader/maxintsize = 47
0.00/0.06	c 
0.00/0.06	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.06	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.06	c propagating/genvbounds/timingmask = 0
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c 
0.00/0.06	o 500
0.00/0.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.00/0.06	c t 0.1s|     1 |     0 |     0 |     - | trivial|   0 | 500 | 500 |   0 |   0 |  0 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf | unknown
0.00/0.07	o 56
0.00/0.07	c p 0.1s|     1 |     0 |     0 |     - |   locks|   0 | 500 | 500 | 500 |   0 |  0 |   0 |   0 | 0.000000e+00 | 5.600000e+01 |    Inf | unknown
0.00/0.07	o 55
0.00/0.07	c i 0.1s|     1 |     0 |     0 |     - |  oneopt|   0 | 500 | 500 | 500 |   0 |  0 |   0 |   0 | 0.000000e+00 | 5.500000e+01 |    Inf | unknown
1.00/1.03	c   1.0s|     1 |     0 | 10342 |     - |    32M |   0 | 500 | 500 | 500 |   0 |  0 |   0 |   0 | 3.650660e+01 | 5.500000e+01 |  50.66%| unknown
1.19/1.21	c   1.2s|     1 |     0 | 10533 |     - |    50M |   0 | 500 | 500 | 501 |   1 |  1 |   0 |   0 | 3.655043e+01 | 5.500000e+01 |  50.48%| unknown
1.28/1.36	c   1.4s|     1 |     0 | 10725 |     - |    61M |   0 | 500 | 500 | 502 |   2 |  2 |   0 |   0 | 3.657733e+01 | 5.500000e+01 |  50.37%| unknown
1.49/1.50	c   1.5s|     1 |     0 | 10934 |     - |    72M |   0 | 500 | 500 | 503 |   3 |  3 |   0 |   0 | 3.659144e+01 | 5.500000e+01 |  50.31%| unknown
1.58/1.66	c   1.7s|     1 |     0 | 11167 |     - |    82M |   0 | 500 | 500 | 504 |   4 |  4 |   0 |   0 | 3.659807e+01 | 5.500000e+01 |  50.28%| unknown
1.68/1.79	c   1.8s|     1 |     0 | 11264 |     - |    91M |   0 | 500 | 500 | 505 |   5 |  5 |   0 |   0 | 3.660101e+01 | 5.500000e+01 |  50.27%| unknown
1.89/1.97	c   2.0s|     1 |     0 | 11583 |     - |   105M |   0 | 500 | 500 | 506 |   6 |  6 |   0 |   0 | 3.660430e+01 | 5.500000e+01 |  50.26%| unknown
2.09/2.15	c   2.1s|     1 |     0 | 11874 |     - |   118M |   0 | 500 | 500 | 507 |   7 |  7 |   0 |   0 | 3.660741e+01 | 5.500000e+01 |  50.24%| unknown
2.29/2.30	c   2.3s|     1 |     0 | 12044 |     - |   121M |   0 | 500 | 500 | 508 |   8 |  8 |   0 |   0 | 3.660868e+01 | 5.500000e+01 |  50.24%| unknown
2.39/2.48	c   2.5s|     1 |     0 | 12246 |     - |   139M |   0 | 500 | 500 | 509 |   9 |  9 |   0 |   0 | 3.661083e+01 | 5.500000e+01 |  50.23%| unknown
2.59/2.65	c   2.7s|     1 |     0 | 12414 |     - |   141M |   0 | 500 | 500 | 510 |  10 | 10 |   0 |   0 | 3.661254e+01 | 5.500000e+01 |  50.22%| unknown
2.69/2.74	c   2.7s|     1 |     0 | 12470 |     - |   142M |   0 | 500 | 500 | 511 |  11 | 11 |   0 |   0 | 3.661275e+01 | 5.500000e+01 |  50.22%| unknown
2.78/2.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.78/2.84	c   2.8s|     1 |     0 | 12527 |     - |   142M |   0 | 500 | 500 | 512 |  12 | 12 |   0 |   0 | 3.661284e+01 | 5.500000e+01 |  50.22%| unknown
2.88/2.94	c   2.9s|     1 |     0 | 12610 |     - |   142M |   0 | 500 | 500 | 513 |  13 | 13 |   0 |   0 | 3.661307e+01 | 5.500000e+01 |  50.22%| unknown
3.00/3.04	c   3.0s|     1 |     0 | 12667 |     - |   142M |   0 | 500 | 500 | 514 |  14 | 14 |   0 |   0 | 3.661316e+01 | 5.500000e+01 |  50.22%| unknown
11.97/12.07	c  12.1s|     1 |     2 | 12667 |     - |   143M |   0 | 500 | 500 | 514 |  14 | 14 |   0 |  50 | 3.670255e+01 | 5.500000e+01 |  49.85%| unknown
52.15/52.37	c  52.4s|   100 |   101 |131321 |1198.5 |   235M |  16 | 500 | 504 | 518 |  58 |  1 |   7 | 249 | 3.670255e+01 | 5.500000e+01 |  49.85%| unknown
96.71/97.03	c  97.0s|   200 |   201 |504729 |2472.7 |   298M |  17 | 500 | 512 | 513 |  98 |  1 |  23 | 288 | 3.725835e+01 | 5.500000e+01 |  47.62%| unknown
129.98/130.43	c   130s|   300 |   301 |654980 |2148.2 |   299M |  17 | 500 | 517 | 519 | 158 |  6 |  28 | 333 | 3.749847e+01 | 5.500000e+01 |  46.67%| unknown
156.99/157.57	c   158s|   400 |   401 |836057 |2063.6 |   299M |  18 | 500 | 524 | 519 | 201 |  1 |  39 | 372 | 3.772951e+01 | 5.500000e+01 |  45.77%| unknown
188.29/188.97	c   189s|   500 |   501 |  1009k|1997.3 |   299M |  19 | 500 | 533 | 513 | 257 |  1 |  48 | 419 | 3.782750e+01 | 5.500000e+01 |  45.40%| unknown
220.98/221.79	c   222s|   600 |   601 |  1167k|1927.3 |   300M |  19 | 500 | 538 | 513 | 361 |  1 |  53 | 449 | 3.789262e+01 | 5.500000e+01 |  45.15%| unknown
254.07/254.96	c   255s|   700 |   701 |  1361k|1929.5 |   300M |  19 | 500 | 543 | 517 | 441 |  1 |  62 | 471 | 3.806254e+01 | 5.500000e+01 |  44.50%| unknown
285.46/286.48	c   286s|   800 |   801 |  1561k|1938.4 |   300M |  21 | 500 | 548 | 513 | 520 |  1 |  67 | 492 | 3.807842e+01 | 5.500000e+01 |  44.44%| unknown
311.77/312.89	c   313s|   900 |   901 |  1712k|1890.9 |   300M |  21 | 500 | 552 | 518 | 601 |  1 |  71 | 502 | 3.814502e+01 | 5.500000e+01 |  44.19%| unknown
335.70/336.80	c   337s|  1000 |  1001 |  1850k|1839.4 |   300M |  21 | 500 | 555 | 518 | 654 |  1 |  76 | 528 | 3.815116e+01 | 5.500000e+01 |  44.16%| unknown
349.55/350.76	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
349.55/350.76	c (run 1, node 1049) performing user restart
349.55/350.76	c 
349.55/350.76	c (restart) converted 16 cuts from the global cut pool into linear constraints
349.55/350.76	c 
350.04/351.21	c presolving:
350.04/351.22	c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
350.04/351.22	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
350.04/351.22	c  0 implications, 0 cliques
350.04/351.22	c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 574 constraints
350.04/351.22	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
350.04/351.22	c      16 constraints of type <linear>
350.04/351.22	c     558 constraints of type <logicor>
350.04/351.22	c transformed objective value is always integral (scale: 1)
350.04/351.22	c Presolving Time: 0.09
350.04/351.26	c transformed 93/100 original solutions to the transformed problem space
350.04/351.26	c 
351.04/352.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
351.04/352.27	c   352s|     1 |     0 |  1934k|     - |   264M |   0 | 500 | 574 | 516 |   0 |  0 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
351.44/352.63	c   353s|     1 |     0 |  1934k|     - |   267M |   0 | 500 | 574 | 517 |   1 |  1 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
351.74/352.97	c   353s|     1 |     0 |  1935k|     - |   273M |   0 | 500 | 574 | 518 |   2 |  2 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
352.14/353.31	c   353s|     1 |     0 |  1935k|     - |   277M |   0 | 500 | 574 | 519 |   3 |  3 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
352.44/353.68	c   354s|     1 |     0 |  1935k|     - |   288M |   0 | 500 | 574 | 520 |   4 |  4 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
352.74/354.00	c   354s|     1 |     0 |  1935k|     - |   293M |   0 | 500 | 574 | 521 |   5 |  5 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
353.14/354.33	c   354s|     1 |     0 |  1936k|     - |   298M |   0 | 500 | 574 | 522 |   6 |  6 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
353.44/354.64	c   355s|     1 |     0 |  1936k|     - |   294M |   0 | 500 | 574 | 523 |   7 |  7 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
353.74/354.99	c   355s|     1 |     0 |  1936k|     - |   294M |   0 | 500 | 574 | 524 |   8 |  8 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
354.13/355.34	c   355s|     1 |     0 |  1936k|     - |   295M |   0 | 500 | 574 | 525 |   9 |  9 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
354.53/355.71	c   356s|     1 |     0 |  1937k|     - |   305M |   0 | 500 | 574 | 526 |  10 | 10 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
354.73/355.93	c   356s|     1 |     0 |  1937k|     - |   305M |   0 | 500 | 574 | 527 |  11 | 11 |  80 | 545 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
355.13/356.34	c   356s|     1 |     2 |  1937k|     - |   305M |   0 | 500 | 574 | 527 |  11 | 11 |  80 | 547 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
397.70/399.06	c   399s|   100 |   101 |  2084k|1793.8 |   309M |  16 | 500 | 577 | 519 |  30 |  1 |  83 | 683 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
427.99/429.48	c   429s|   200 |   201 |  2210k|1750.5 |   351M |  16 | 500 | 580 | 519 | 100 |  1 |  87 | 732 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
466.36/467.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
466.36/467.94	c   468s|   300 |   301 |  2395k|1758.2 |   351M |  16 | 500 | 584 | 524 | 162 |  1 |  93 | 762 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
498.54/500.28	c   500s|   400 |   401 |  2559k|1750.1 |   351M |  16 | 500 | 587 | 522 | 240 |  1 |  98 | 792 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
531.65/533.44	c   533s|   500 |   501 |  2746k|1757.5 |   351M |  16 | 500 | 590 | 519 | 322 |  1 | 102 | 811 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
569.04/570.94	c   571s|   600 |   601 |  2933k|1764.4 |   351M |  16 | 500 | 586 | 519 | 432 |  1 | 106 | 835 | 3.817076e+01 | 5.500000e+01 |  44.09%| unknown
595.57/597.51	c   598s|   700 |   701 |  3052k|1731.6 |   351M |  16 | 500 | 576 | 524 | 529 |  1 | 110 | 844 | 3.820661e+01 | 5.500000e+01 |  43.95%| unknown
624.99/627.07	c   627s|   800 |   801 |  3186k|1710.3 |   352M |  16 | 500 | 572 | 524 | 632 |  5 | 116 | 858 | 3.836014e+01 | 5.500000e+01 |  43.38%| unknown
653.61/655.77	c   656s|   900 |   901 |  3341k|1702.1 |   352M |  18 | 500 | 566 | 523 | 723 |  3 | 120 | 863 | 3.839156e+01 | 5.500000e+01 |  43.26%| unknown
682.84/685.01	c   685s|  1000 |  1001 |  3483k|1688.5 |   352M |  18 | 500 | 560 | 523 | 808 |  1 | 123 | 885 | 3.840006e+01 | 5.500000e+01 |  43.23%| unknown
709.77/712.04	c   712s|  1100 |  1101 |  3610k|1669.0 |   352M |  18 | 500 | 559 | 528 | 888 |  1 | 126 | 912 | 3.846668e+01 | 5.500000e+01 |  42.98%| unknown
742.37/744.70	c   745s|  1200 |  1201 |  3766k|1664.0 |   353M |  18 | 500 | 561 | 519 | 995 |  1 | 135 | 933 | 3.854655e+01 | 5.500000e+01 |  42.68%| unknown
767.00/769.40	c   769s|  1300 |  1301 |  3873k|1639.0 |   353M |  19 | 500 | 563 | 524 |1079 |  1 | 141 | 950 | 3.856006e+01 | 5.500000e+01 |  42.63%| unknown
800.81/803.33	c   803s|  1400 |  1401 |  4057k|1647.0 |   353M |  19 | 500 | 565 | 525 |1196 |  6 | 148 | 956 | 3.861442e+01 | 5.500000e+01 |  42.43%| unknown
822.25/824.88	c   825s|  1500 |  1501 |  4166k|1625.1 |   353M |  21 | 500 | 565 | 523 |1270 |  1 | 151 | 965 | 3.862053e+01 | 5.500000e+01 |  42.41%| unknown
845.09/847.72	c   848s|  1600 |  1601 |  4302k|1615.3 |   354M |  21 | 500 | 565 | 529 |1339 |  1 | 155 | 969 | 3.863264e+01 | 5.500000e+01 |  42.37%| unknown
865.45/868.18	c   868s|  1700 |  1701 |  4429k|1602.6 |   354M |  21 | 500 | 566 | 525 |1391 |  1 | 160 | 975 | 3.864395e+01 | 5.500000e+01 |  42.32%| unknown
887.67/890.41	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
887.67/890.41	c   890s|  1800 |  1801 |  4541k|1585.8 |   354M |  21 | 500 | 565 | 524 |1476 |  1 | 162 | 977 | 3.865693e+01 | 5.500000e+01 |  42.28%| unknown
909.11/911.91	c   912s|  1900 |  1901 |  4668k|1575.0 |   355M |  21 | 500 | 569 | 523 |1518 |  1 | 170 | 998 | 3.868597e+01 | 5.500000e+01 |  42.17%| unknown
929.07/931.96	c   932s|  2000 |  2001 |  4769k|1556.6 |   355M |  21 | 500 | 570 | 522 |1569 |  1 | 174 |1021 | 3.870204e+01 | 5.500000e+01 |  42.11%| unknown
950.01/952.95	c   953s|  2100 |  2101 |  4890k|1545.5 |   355M |  22 | 500 | 574 | 525 |1614 |  1 | 183 |1040 | 3.871799e+01 | 5.500000e+01 |  42.05%| unknown
969.17/972.14	c   972s|  2200 |  2201 |  4990k|1528.7 |   355M |  22 | 500 | 576 | 523 |1665 |  1 | 187 |1055 | 3.873258e+01 | 5.500000e+01 |  42.00%| unknown
989.60/992.67	c   993s|  2300 |  2301 |  5107k|1517.8 |   355M |  22 | 500 | 579 | 523 |1723 |  1 | 192 |1073 | 3.873733e+01 | 5.500000e+01 |  41.98%| unknown
1007.97/1011.05	c  1011s|  2400 |  2401 |  5219k|1506.4 |   359M |  22 | 500 | 581 | 522 |1761 |  1 | 196 |1083 | 3.874045e+01 | 5.500000e+01 |  41.97%| unknown
1025.70/1028.88	c  1029s|  2500 |  2501 |  5327k|1494.4 |   360M |  22 | 500 | 584 | 523 |1808 |  1 | 203 |1090 | 3.875959e+01 | 5.500000e+01 |  41.90%| unknown
1040.36/1043.53	c  1044s|  2600 |  2601 |  5416k|1477.8 |   360M |  22 | 500 | 586 | 519 |1843 |  1 | 205 |1099 | 3.877225e+01 | 5.500000e+01 |  41.85%| unknown
1060.41/1063.66	c  1064s|  2700 |  2701 |  5550k|1474.2 |   361M |  22 | 500 | 591 | 522 |1894 |  1 | 212 |1103 | 3.877257e+01 | 5.500000e+01 |  41.85%| unknown
1079.06/1082.38	c  1082s|  2800 |  2801 |  5658k|1463.8 |   361M |  22 | 500 | 594 | 524 |1947 |  5 | 216 |1108 | 3.877944e+01 | 5.500000e+01 |  41.83%| unknown
1099.60/1102.96	c  1103s|  2900 |  2901 |  5771k|1455.4 |   361M |  25 | 500 | 594 | 523 |1959 |  1 | 219 |1115 | 3.878551e+01 | 5.500000e+01 |  41.81%| unknown
1114.96/1118.36	c  1118s|  3000 |  3001 |  5888k|1448.4 |   361M |  25 | 500 | 599 | 524 |1979 |  1 | 226 |1117 | 3.879956e+01 | 5.500000e+01 |  41.75%| unknown
1129.12/1132.55	c  1133s|  3100 |  3101 |  5983k|1436.4 |   361M |  25 | 500 | 600 | 525 |2005 |  1 | 230 |1121 | 3.880009e+01 | 5.500000e+01 |  41.75%| unknown
1144.28/1147.71	c  1148s|  3200 |  3201 |  6082k|1425.8 |   361M |  25 | 500 | 600 | 522 |2034 |  1 | 232 |1127 | 3.880068e+01 | 5.500000e+01 |  41.75%| unknown
1161.14/1164.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1161.14/1164.65	c  1165s|  3300 |  3301 |  6191k|1418.2 |   361M |  25 | 500 | 601 | 525 |2056 |  1 | 238 |1144 | 3.880855e+01 | 5.500000e+01 |  41.72%| unknown
1175.99/1179.52	c  1180s|  3400 |  3401 |  6274k|1404.9 |   361M |  25 | 500 | 603 | 523 |2082 |  1 | 241 |1163 | 3.881927e+01 | 5.500000e+01 |  41.68%| unknown
1188.96/1192.52	c  1193s|  3500 |  3501 |  6357k|1392.2 |   361M |  25 | 500 | 605 | 523 |2107 |  1 | 244 |1172 | 3.882814e+01 | 5.500000e+01 |  41.65%| unknown
1204.02/1207.67	c  1208s|  3600 |  3601 |  6469k|1386.3 |   363M |  25 | 500 | 607 | 522 |2120 |  1 | 249 |1185 | 3.884143e+01 | 5.500000e+01 |  41.60%| unknown
1218.19/1221.85	c  1222s|  3700 |  3701 |  6547k|1373.7 |   363M |  25 | 500 | 608 | 525 |2158 |  1 | 253 |1192 | 3.885658e+01 | 5.500000e+01 |  41.55%| unknown
1229.56/1233.20	c  1233s|  3800 |  3801 |  6636k|1363.6 |   363M |  25 | 500 | 609 | 525 |2158 |  1 | 257 |1204 | 3.885913e+01 | 5.500000e+01 |  41.54%| unknown
1245.43/1249.11	c  1249s|  3900 |  3901 |  6742k|1357.6 |   363M |  25 | 500 | 610 | 524 |2182 |  1 | 260 |1215 | 3.885963e+01 | 5.500000e+01 |  41.54%| unknown
1258.78/1262.58	c  1263s|  4000 |  4001 |  6822k|1346.4 |   364M |  25 | 500 | 612 | 519 |2219 |  1 | 263 |1218 | 3.885963e+01 | 5.500000e+01 |  41.54%| unknown
1272.04/1275.84	c  1276s|  4100 |  4101 |  6918k|1338.9 |   364M |  25 | 500 | 612 | 525 |2240 |  1 | 267 |1221 | 3.886325e+01 | 5.500000e+01 |  41.52%| unknown
1286.21/1290.06	c  1290s|  4200 |  4201 |  7010k|1331.1 |   364M |  25 | 500 | 614 | 525 |2270 |  1 | 271 |1226 | 3.886403e+01 | 5.500000e+01 |  41.52%| unknown
1298.67/1302.58	c  1303s|  4300 |  4301 |  7111k|1325.0 |   364M |  25 | 500 | 613 | 523 |2274 |  1 | 274 |1230 | 3.886784e+01 | 5.500000e+01 |  41.51%| unknown
1308.94/1312.88	c  1313s|  4400 |  4401 |  7190k|1315.2 |   364M |  25 | 500 | 615 | 524 |2278 |  1 | 277 |1235 | 3.886791e+01 | 5.500000e+01 |  41.50%| unknown
1320.81/1324.78	c  1325s|  4500 |  4501 |  7287k|1309.0 |   364M |  25 | 500 | 618 | 523 |2280 |  1 | 282 |1243 | 3.887052e+01 | 5.500000e+01 |  41.50%| unknown
1335.67/1339.60	c  1340s|  4600 |  4601 |  7398k|1305.4 |   364M |  25 | 500 | 617 | 525 |2290 |  1 | 283 |1248 | 3.887637e+01 | 5.500000e+01 |  41.47%| unknown
1349.83/1353.83	c  1354s|  4700 |  4701 |  7470k|1295.2 |   364M |  26 | 500 | 616 | 524 |2291 |  1 | 285 |1250 | 3.887793e+01 | 5.500000e+01 |  41.47%| unknown
1362.29/1366.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1362.29/1366.39	c  1366s|  4800 |  4801 |  7565k|1289.4 |   365M |  26 | 500 | 618 | 525 |2311 |  1 | 288 |1252 | 3.888278e+01 | 5.500000e+01 |  41.45%| unknown
1376.46/1380.55	c  1381s|  4900 |  4901 |  7652k|1282.3 |   365M |  26 | 500 | 620 | 524 |2345 |  1 | 292 |1257 | 3.888417e+01 | 5.500000e+01 |  41.45%| unknown
1386.33/1390.43	c  1390s|  5000 |  5001 |  7728k|1273.7 |   365M |  26 | 500 | 617 | 523 |2350 |  1 | 293 |1263 | 3.888951e+01 | 5.500000e+01 |  41.43%| unknown
1399.29/1403.45	c  1403s|  5100 |  5101 |  7823k|1268.4 |   365M |  26 | 500 | 621 | 526 |2370 |  1 | 300 |1268 | 3.888951e+01 | 5.500000e+01 |  41.43%| unknown
1409.27/1413.46	c  1413s|  5200 |  5201 |  7908k|1261.7 |   365M |  26 | 500 | 620 | 525 |2370 |  1 | 302 |1272 | 3.889010e+01 | 5.500000e+01 |  41.42%| unknown
1423.03/1427.29	c  1427s|  5300 |  5301 |  8014k|1258.5 |   365M |  26 | 500 | 622 | 524 |2395 |  1 | 306 |1273 | 3.889657e+01 | 5.500000e+01 |  41.40%| unknown
1436.29/1440.58	c  1441s|  5400 |  5401 |  8110k|1253.9 |   365M |  26 | 500 | 623 | 524 |2419 |  1 | 310 |1273 | 3.890788e+01 | 5.500000e+01 |  41.36%| unknown
1448.65/1452.99	c  1453s|  5500 |  5501 |  8194k|1247.5 |   365M |  26 | 500 | 622 | 525 |2441 |  1 | 313 |1276 | 3.891880e+01 | 5.500000e+01 |  41.32%| unknown
1461.92/1466.20	c  1466s|  5600 |  5601 |  8287k|1242.8 |   365M |  26 | 500 | 627 | 523 |2467 |  1 | 319 |1281 | 3.892575e+01 | 5.500000e+01 |  41.29%| unknown
1478.87/1483.24	c  1483s|  5700 |  5701 |  8381k|1238.3 |   366M |  26 | 500 | 630 | 522 |2474 |  3 | 325 |1294 | 3.893185e+01 | 5.500000e+01 |  41.27%| unknown
1495.03/1499.42	c  1499s|  5800 |  5801 |  8471k|1233.3 |   423M |  26 | 500 | 627 | 523 |2521 |  1 | 328 |1307 | 3.893515e+01 | 5.500000e+01 |  41.26%| unknown
1509.39/1513.83	c  1514s|  5900 |  5901 |  8563k|1228.8 |   423M |  26 | 500 | 630 | 522 |2538 |  1 | 332 |1325 | 3.893710e+01 | 5.500000e+01 |  41.25%| unknown
1520.36/1524.81	c  1525s|  6000 |  6001 |  8637k|1221.9 |   423M |  26 | 500 | 629 | 525 |2555 |  1 | 334 |1331 | 3.893710e+01 | 5.500000e+01 |  41.25%| unknown
1531.83/1536.37	c  1536s|  6100 |  6101 |  8727k|1217.5 |   423M |  26 | 500 | 631 | 522 |2560 |  1 | 339 |1336 | 3.893791e+01 | 5.500000e+01 |  41.25%| unknown
1541.71/1546.21	c  1546s|  6200 |  6201 |  8805k|1211.4 |   423M |  26 | 500 | 633 | 524 |2562 |  1 | 345 |1341 | 3.894089e+01 | 5.500000e+01 |  41.24%| unknown
1553.58/1558.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1553.58/1558.19	c  1558s|  6300 |  6301 |  8898k|1207.6 |   423M |  26 | 500 | 625 | 522 |2562 |  1 | 347 |1346 | 3.894126e+01 | 5.500000e+01 |  41.24%| unknown
1566.24/1570.83	c  1571s|  6400 |  6401 |  8991k|1203.9 |   423M |  26 | 500 | 628 | 524 |2568 |  1 | 351 |1355 | 3.894302e+01 | 5.500000e+01 |  41.23%| unknown
1576.71/1581.30	c  1581s|  6500 |  6501 |  9073k|1198.8 |   423M |  26 | 500 | 631 | 523 |2580 |  1 | 356 |1360 | 3.894398e+01 | 5.500000e+01 |  41.23%| unknown
1586.08/1590.73	c  1591s|  6600 |  6601 |  9142k|1192.1 |   423M |  26 | 500 | 632 | 523 |2585 |  1 | 357 |1368 | 3.894721e+01 | 5.500000e+01 |  41.22%| unknown
1596.85/1601.53	c  1602s|  6700 |  6701 |  9230k|1188.1 |   423M |  26 | 500 | 637 | 523 |2587 |  1 | 363 |1373 | 3.894851e+01 | 5.500000e+01 |  41.21%| unknown
1607.22/1611.99	c  1612s|  6800 |  6801 |  9312k|1183.3 |   423M |  26 | 500 | 642 | 525 |2591 |  1 | 370 |1377 | 3.895175e+01 | 5.500000e+01 |  41.20%| unknown
1617.69/1622.45	c  1622s|  6900 |  6901 |  9390k|1178.3 |   423M |  26 | 500 | 641 | 523 |2602 |  1 | 371 |1378 | 3.895175e+01 | 5.500000e+01 |  41.20%| unknown
1631.28/1636.07	c  1636s|  7000 |  7001 |  9486k|1175.5 |   423M |  26 | 500 | 641 | 523 |2618 |  1 | 374 |1386 | 3.895506e+01 | 5.500000e+01 |  41.19%| unknown
1641.04/1645.89	c  1646s|  7100 |  7101 |  9562k|1170.4 |   423M |  26 | 500 | 638 | 525 |2623 |  1 | 379 |1389 | 3.895796e+01 | 5.500000e+01 |  41.18%| unknown
1651.51/1656.33	c  1656s|  7200 |  7201 |  9638k|1165.4 |   423M |  26 | 500 | 639 | 523 |2628 |  1 | 382 |1396 | 3.896149e+01 | 5.500000e+01 |  41.17%| unknown
1665.87/1670.79	c  1671s|  7300 |  7301 |  9744k|1164.2 |   423M |  26 | 500 | 641 | 523 |2651 |  1 | 386 |1401 | 3.896446e+01 | 5.500000e+01 |  41.15%| unknown
1678.04/1682.91	c  1683s|  7400 |  7401 |  9836k|1161.4 |   424M |  26 | 500 | 641 | 525 |2663 |  1 | 390 |1405 | 3.896823e+01 | 5.500000e+01 |  41.14%| unknown
1686.91/1691.83	c  1692s|  7500 |  7501 |  9899k|1155.1 |   424M |  26 | 500 | 638 | 522 |2670 |  1 | 392 |1411 | 3.897514e+01 | 5.500000e+01 |  41.12%| unknown
1702.96/1707.96	c  1708s|  7600 |  7601 | 10030k|1156.9 |   424M |  26 | 500 | 641 | 524 |2685 |  1 | 399 |1412 | 3.898059e+01 | 5.500000e+01 |  41.10%| unknown
1714.93/1719.96	c  1720s|  7700 |  7701 | 10109k|1152.7 |   424M |  26 | 500 | 642 | 523 |2694 |  1 | 401 |1424 | 3.898625e+01 | 5.500000e+01 |  41.08%| unknown
1725.90/1730.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1725.90/1730.90	c  1731s|  7800 |  7801 | 10185k|1148.3 |   424M |  26 | 500 | 647 | 523 |2694 |  1 | 406 |1440 | 3.898625e+01 | 5.500000e+01 |  41.08%| unknown
1738.77/1743.82	c  1744s|  7900 |  7901 | 10281k|1146.2 |   424M |  26 | 500 | 649 | 523 |2696 |  1 | 410 |1452 | 3.899113e+01 | 5.500000e+01 |  41.06%| unknown
1750.34/1755.41	c  1755s|  8000 |  8001 | 10363k|1142.6 |   424M |  26 | 500 | 648 | 524 |2705 |  1 | 410 |1456 | 3.899833e+01 | 5.500000e+01 |  41.03%| unknown
1760.92/1766.06	c  1766s|  8100 |  8101 | 10443k|1138.8 |   424M |  28 | 500 | 643 | 525 |2705 |  1 | 414 |1466 | 3.899853e+01 | 5.500000e+01 |  41.03%| unknown
1771.89/1777.06	c  1777s|  8200 |  8201 | 10529k|1135.8 |   424M |  28 | 500 | 644 | 523 |2705 |  1 | 417 |1476 | 3.899878e+01 | 5.500000e+01 |  41.03%| unknown
1784.44/1789.64	c  1790s|  8300 |  8301 | 10621k|1133.5 |   424M |  28 | 500 | 645 | 523 |2721 |  1 | 420 |1482 | 3.900086e+01 | 5.500000e+01 |  41.02%| unknown
1795.31/1800.52	c  1801s|  8400 |  8401 | 10710k|1130.9 |   424M |  28 | 500 | 645 | 524 |2721 |  1 | 423 |1483 | 3.900898e+01 | 5.500000e+01 |  40.99%| unknown
1805.09/1810.38	c  1810s|  8500 |  8501 | 10795k|1128.0 |   424M |  28 | 500 | 647 | 523 |2721 |  1 | 428 |1484 | 3.901069e+01 | 5.500000e+01 |  40.99%| unknown
1819.95/1825.20	c  1825s|  8600 |  8601 | 10906k|1127.8 |   424M |  28 | 500 | 650 | 523 |2741 |  1 | 432 |1489 | 3.901734e+01 | 5.500000e+01 |  40.96%| unknown
1828.22/1833.54	c  1834s|  8700 |  8701 | 10971k|1122.9 |   424M |  28 | 500 | 653 | 523 |2743 |  1 | 436 |1491 | 3.901802e+01 | 5.500000e+01 |  40.96%| unknown
1839.60/1844.93	c  1845s|  8800 |  8801 | 11057k|1120.2 |   424M |  28 | 500 | 652 | 525 |2743 |  1 | 443 |1498 | 3.901802e+01 | 5.500000e+01 |  40.96%| unknown
1848.28/1853.67	c  1854s|  8900 |  8901 | 11117k|1115.0 |   425M |  28 | 500 | 650 | 523 |2757 |  1 | 443 |1498 | 3.902072e+01 | 5.500000e+01 |  40.95%| unknown
1858.15/1863.57	c  1864s|  9000 |  9001 | 11202k|1112.3 |   425M |  28 | 500 | 649 | 524 |2762 |  1 | 448 |1501 | 3.902072e+01 | 5.500000e+01 |  40.95%| unknown
1871.21/1876.61	c  1877s|  9100 |  9101 | 11308k|1111.9 |   425M |  28 | 500 | 651 | 524 |2764 |  1 | 453 |1503 | 3.902380e+01 | 5.500000e+01 |  40.94%| unknown
1881.09/1886.51	c  1887s|  9200 |  9201 | 11390k|1109.0 |   426M |  28 | 500 | 652 | 523 |2769 |  1 | 455 |1507 | 3.902674e+01 | 5.500000e+01 |  40.93%| unknown
1894.85/1900.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1894.85/1900.35	c  1900s|  9300 |  9301 | 11496k|1108.5 |   426M |  28 | 500 | 652 | 523 |2786 |  1 | 457 |1507 | 3.902906e+01 | 5.500000e+01 |  40.92%| unknown
1903.72/1909.24	c  1909s|  9400 |  9401 | 11572k|1105.2 |   426M |  28 | 500 | 655 | 524 |2787 |  1 | 460 |1509 | 3.903126e+01 | 5.500000e+01 |  40.91%| unknown
1913.90/1919.43	c  1919s|  9500 |  9501 | 11657k|1102.8 |   426M |  28 | 500 | 656 | 523 |2790 |  1 | 465 |1511 | 3.903509e+01 | 5.500000e+01 |  40.90%| unknown
1922.67/1928.29	c  1928s|  9600 |  9601 | 11722k|1098.5 |   426M |  28 | 500 | 656 | 522 |2791 |  1 | 468 |1516 | 3.903746e+01 | 5.500000e+01 |  40.89%| unknown
1932.94/1938.57	c  1939s|  9700 |  9701 | 11802k|1095.8 |   426M |  28 | 500 | 656 | 523 |2793 |  1 | 471 |1524 | 3.904082e+01 | 5.500000e+01 |  40.88%| unknown
1944.43/1950.01	c  1950s|  9800 |  9801 | 11894k|1094.1 |   426M |  28 | 500 | 662 | 525 |2799 |  1 | 481 |1527 | 3.904338e+01 | 5.500000e+01 |  40.87%| unknown
1956.18/1961.80	c  1962s|  9900 |  9901 | 11971k|1091.2 |   426M |  28 | 500 | 663 | 525 |2820 |  1 | 484 |1532 | 3.904384e+01 | 5.500000e+01 |  40.87%| unknown
1969.05/1974.77	c  1975s| 10000 | 10001 | 12070k|1090.2 |   427M |  28 | 500 | 664 | 523 |2830 |  1 | 488 |1540 | 3.904449e+01 | 5.500000e+01 |  40.86%| unknown
1979.52/1985.27	c  1985s| 10100 | 10101 | 12135k|1086.3 |   427M |  28 | 500 | 665 | 525 |2848 |  1 | 492 |1553 | 3.904449e+01 | 5.500000e+01 |  40.86%| unknown
1986.31/1992.09	c  1992s| 10200 | 10201 | 12188k|1081.4 |   427M |  28 | 500 | 665 | 523 |2849 |  1 | 493 |1560 | 3.904543e+01 | 5.500000e+01 |  40.86%| unknown
1995.17/2000.98	c  2001s| 10300 | 10301 | 12263k|1078.4 |   427M |  28 | 500 | 668 | 523 |2852 |  1 | 500 |1563 | 3.904748e+01 | 5.500000e+01 |  40.85%| unknown
2007.44/2013.27	c  2013s| 10400 | 10401 | 12369k|1078.3 |   428M |  28 | 500 | 669 | 524 |2854 |  1 | 504 |1565 | 3.905169e+01 | 5.500000e+01 |  40.84%| unknown
2017.12/2022.92	c  2023s| 10500 | 10501 | 12440k|1075.1 |   428M |  28 | 500 | 669 | 523 |2866 |  1 | 508 |1568 | 3.905642e+01 | 5.500000e+01 |  40.82%| unknown
2024.79/2030.63	c  2031s| 10600 | 10601 | 12495k|1070.6 |   428M |  28 | 500 | 666 | 525 |2866 |  1 | 509 |1578 | 3.905653e+01 | 5.500000e+01 |  40.82%| unknown
2034.47/2040.38	c  2040s| 10700 | 10701 | 12576k|1068.3 |   428M |  28 | 500 | 669 | 523 |2869 |  1 | 516 |1582 | 3.905802e+01 | 5.500000e+01 |  40.82%| unknown
2046.83/2052.77	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2046.83/2052.77	c  2053s| 10800 | 10801 | 12674k|1067.6 |   428M |  28 | 500 | 663 | 525 |2877 |  1 | 519 |1586 | 3.905980e+01 | 5.500000e+01 |  40.81%| unknown
2056.51/2062.45	c  2062s| 10900 | 10901 | 12751k|1065.1 |   428M |  28 | 500 | 664 | 522 |2880 |  1 | 524 |1588 | 3.906472e+01 | 5.500000e+01 |  40.79%| unknown
2068.77/2074.77	c  2075s| 11000 | 11001 | 12831k|1062.9 |   428M |  28 | 500 | 668 | 523 |2907 |  1 | 529 |1592 | 3.906614e+01 | 5.500000e+01 |  40.79%| unknown
2078.95/2084.96	c  2085s| 11100 | 11101 | 12904k|1060.2 |   428M |  28 | 500 | 668 | 522 |2924 |  1 | 532 |1592 | 3.906634e+01 | 5.500000e+01 |  40.79%| unknown
2089.92/2095.95	c  2096s| 11200 | 11201 | 12998k|1059.2 |   428M |  28 | 500 | 668 | 522 |2924 |  1 | 537 |1593 | 3.907180e+01 | 5.500000e+01 |  40.77%| unknown
2100.00/2106.05	c  2106s| 11300 | 11301 | 13077k|1057.0 |   428M |  28 | 500 | 667 | 524 |2930 |  1 | 542 |1595 | 3.907530e+01 | 5.500000e+01 |  40.75%| unknown
2109.07/2115.15	c  2115s| 11400 | 11401 | 13153k|1054.7 |   428M |  28 | 500 | 666 | 522 |2934 |  1 | 545 |1598 | 3.907709e+01 | 5.500000e+01 |  40.75%| unknown
2118.34/2124.44	c  2124s| 11500 | 11501 | 13229k|1052.3 |   428M |  28 | 500 | 661 | 523 |2939 |  2 | 547 |1601 | 3.907819e+01 | 5.500000e+01 |  40.74%| unknown
2127.61/2133.75	c  2134s| 11600 | 11601 | 13311k|1050.4 |   428M |  28 | 500 | 657 | 525 |2944 |  1 | 550 |1602 | 3.907975e+01 | 5.500000e+01 |  40.74%| unknown
2136.49/2142.63	c  2143s| 11700 | 11701 | 13387k|1048.2 |   429M |  28 | 500 | 659 | 524 |2944 |  1 | 554 |1606 | 3.908086e+01 | 5.500000e+01 |  40.73%| unknown
2147.66/2153.89	c  2154s| 11800 | 11801 | 13484k|1047.5 |   429M |  28 | 500 | 661 | 525 |2945 |  1 | 559 |1610 | 3.908388e+01 | 5.500000e+01 |  40.72%| unknown
2157.94/2164.13	c  2164s| 11900 | 11901 | 13558k|1045.2 |   429M |  28 | 500 | 660 | 524 |2949 |  1 | 562 |1620 | 3.908629e+01 | 5.500000e+01 |  40.71%| unknown
2168.91/2175.14	c  2175s| 12000 | 12001 | 13646k|1043.9 |   429M |  28 | 500 | 656 | 522 |2952 |  1 | 565 |1628 | 3.909184e+01 | 5.500000e+01 |  40.69%| unknown
2180.37/2186.66	c  2187s| 12100 | 12101 | 13728k|1042.2 |   429M |  28 | 500 | 658 | 525 |2961 |  1 | 572 |1634 | 3.909493e+01 | 5.500000e+01 |  40.68%| unknown
2188.86/2195.20	c  2195s| 12200 | 12201 | 13795k|1039.4 |   429M |  28 | 500 | 654 | 523 |2963 |  1 | 574 |1638 | 3.909511e+01 | 5.500000e+01 |  40.68%| unknown
2201.41/2207.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2201.41/2207.73	c  2208s| 12300 | 12301 | 13889k|1038.7 |   429M |  28 | 500 | 657 | 523 |2966 |  1 | 577 |1648 | 3.909613e+01 | 5.500000e+01 |  40.68%| unknown
2213.87/2220.23	c  2220s| 12400 | 12401 | 13989k|1038.4 |   429M |  28 | 500 | 655 | 524 |2968 |  1 | 577 |1658 | 3.909789e+01 | 5.500000e+01 |  40.67%| unknown
2224.05/2230.48	c  2230s| 12500 | 12501 | 14070k|1036.7 |   429M |  28 | 500 | 654 | 524 |2968 |  1 | 583 |1663 | 3.909931e+01 | 5.500000e+01 |  40.67%| unknown
2233.82/2240.20	c  2240s| 12600 | 12601 | 14139k|1034.1 |   429M |  28 | 500 | 656 | 523 |2974 |  1 | 587 |1669 | 3.910348e+01 | 5.500000e+01 |  40.65%| unknown
2245.60/2252.08	c  2252s| 12700 | 12701 | 14236k|1033.7 |   429M |  28 | 500 | 656 | 524 |2975 |  1 | 590 |1673 | 3.910762e+01 | 5.500000e+01 |  40.64%| unknown
2255.06/2261.59	c  2262s| 12800 | 12801 | 14323k|1032.5 |   429M |  28 | 500 | 657 | 523 |2975 |  1 | 595 |1673 | 3.911036e+01 | 5.500000e+01 |  40.63%| unknown
2264.14/2270.60	c  2271s| 12900 | 12901 | 14396k|1030.3 |   429M |  28 | 500 | 659 | 524 |2980 |  1 | 599 |1673 | 3.911166e+01 | 5.500000e+01 |  40.62%| unknown
2272.81/2279.37	c  2279s| 13000 | 13001 | 14470k|1028.2 |   429M |  28 | 500 | 657 | 522 |2980 |  1 | 600 |1676 | 3.911554e+01 | 5.500000e+01 |  40.61%| unknown
2283.68/2290.25	c  2290s| 13100 | 13101 | 14567k|1027.9 |   429M |  28 | 500 | 661 | 524 |2981 |  1 | 606 |1678 | 3.911704e+01 | 5.500000e+01 |  40.60%| unknown
2293.36/2299.92	c  2300s| 13200 | 13201 | 14639k|1025.7 |   429M |  28 | 500 | 663 | 523 |2987 |  1 | 609 |1679 | 3.912089e+01 | 5.500000e+01 |  40.59%| unknown
2302.13/2308.70	c  2309s| 13300 | 13301 | 14704k|1023.1 |   429M |  28 | 500 | 662 | 523 |2990 |  1 | 611 |1681 | 3.912368e+01 | 5.500000e+01 |  40.58%| unknown
2315.80/2322.41	c  2322s| 13400 | 13401 | 14826k|1024.4 |   429M |  28 | 500 | 659 | 523 |2992 |  1 | 617 |1687 | 3.912368e+01 | 5.500000e+01 |  40.58%| unknown
2325.58/2332.22	c  2332s| 13500 | 13501 | 14908k|1023.1 |   429M |  28 | 500 | 658 | 524 |2993 |  1 | 620 |1691 | 3.912681e+01 | 5.500000e+01 |  40.57%| unknown
2333.86/2340.56	c  2341s| 13600 | 13601 | 14972k|1020.4 |   429M |  28 | 500 | 659 | 524 |2998 |  1 | 623 |1694 | 3.913010e+01 | 5.500000e+01 |  40.56%| unknown
2344.53/2351.21	c  2351s| 13700 | 13701 | 15063k|1019.7 |   429M |  28 | 500 | 661 | 524 |2998 |  1 | 631 |1697 | 3.913059e+01 | 5.500000e+01 |  40.56%| unknown
2354.90/2361.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2354.90/2361.66	c  2362s| 13800 | 13801 | 15153k|1018.9 |   429M |  28 | 500 | 659 | 525 |3000 |  1 | 634 |1700 | 3.913223e+01 | 5.500000e+01 |  40.55%| unknown
2364.07/2370.84	c  2371s| 13900 | 13901 | 15231k|1017.3 |   430M |  28 | 500 | 650 | 523 |3002 |  1 | 637 |1703 | 3.913306e+01 | 5.500000e+01 |  40.55%| unknown
2372.85/2379.62	c  2380s| 14000 | 14001 | 15298k|1015.0 |   430M |  28 | 500 | 652 | 524 |3007 |  1 | 639 |1704 | 3.913692e+01 | 5.500000e+01 |  40.53%| unknown
2381.24/2388.09	c  2388s| 14100 | 14101 | 15367k|1012.8 |   430M |  28 | 500 | 652 | 522 |3008 |  1 | 640 |1706 | 3.913711e+01 | 5.500000e+01 |  40.53%| unknown
2394.39/2401.26	c  2401s| 14200 | 14201 | 15480k|1013.6 |   430M |  28 | 500 | 655 | 525 |3016 |  1 | 650 |1711 | 3.913950e+01 | 5.500000e+01 |  40.52%| unknown
2402.07/2408.94	c  2409s| 14300 | 14301 | 15537k|1010.7 |   430M |  28 | 500 | 656 | 524 |3019 |  1 | 652 |1719 | 3.913950e+01 | 5.500000e+01 |  40.52%| unknown
2415.33/2422.27	c  2422s| 14400 | 14401 | 15629k|1010.1 |   430M |  28 | 500 | 657 | 524 |3044 |  1 | 655 |1723 | 3.914088e+01 | 5.500000e+01 |  40.52%| unknown
2431.89/2438.84	c  2439s| 14500 | 14501 | 15736k|1010.5 |   431M |  28 | 500 | 658 | 524 |3091 |  1 | 661 |1724 | 3.914909e+01 | 5.500000e+01 |  40.49%| unknown
2445.16/2452.15	c  2452s| 14600 | 14601 | 15819k|1009.3 |   443M |  28 | 500 | 660 | 524 |3130 |  1 | 666 |1726 | 3.915627e+01 | 5.500000e+01 |  40.46%| unknown
2453.04/2460.06	c  2460s| 14700 | 14701 | 15885k|1007.1 |   443M |  28 | 500 | 662 | 523 |3132 |  1 | 671 |1731 | 3.915675e+01 | 5.500000e+01 |  40.46%| unknown
2463.40/2470.40	c  2470s| 14800 | 14801 | 15961k|1005.6 |   444M |  28 | 500 | 666 | 524 |3142 |  1 | 675 |1733 | 3.916284e+01 | 5.500000e+01 |  40.44%| unknown
2473.09/2480.19	c  2480s| 14900 | 14901 | 16042k|1004.3 |   444M |  28 | 500 | 666 | 523 |3143 |  1 | 677 |1736 | 3.916299e+01 | 5.500000e+01 |  40.44%| unknown
2485.34/2492.45	c  2492s| 15000 | 15001 | 16136k|1003.9 |   444M |  28 | 500 | 667 | 524 |3149 |  1 | 682 |1744 | 3.916558e+01 | 5.500000e+01 |  40.43%| unknown
2492.32/2499.41	c  2499s| 15100 | 15101 | 16189k|1001.0 |   444M |  28 | 500 | 667 | 525 |3152 |  1 | 683 |1748 | 3.916632e+01 | 5.500000e+01 |  40.43%| unknown
2504.59/2511.72	c  2512s| 15200 | 15201 | 16292k|1001.2 |   444M |  28 | 500 | 669 | 525 |3158 |  2 | 689 |1751 | 3.916881e+01 | 5.500000e+01 |  40.42%| unknown
2512.98/2520.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2512.98/2520.15	c  2520s| 15300 | 15301 | 16361k| 999.3 |   444M |  28 | 500 | 671 | 523 |3159 |  1 | 693 |1755 | 3.917203e+01 | 5.500000e+01 |  40.41%| unknown
2522.63/2529.87	c  2530s| 15400 | 15401 | 16438k| 997.9 |   444M |  28 | 500 | 671 | 525 |3160 |  1 | 698 |1761 | 3.917569e+01 | 5.500000e+01 |  40.39%| unknown
2532.00/2539.20	c  2539s| 15500 | 15501 | 16517k| 996.6 |   444M |  28 | 500 | 673 | 523 |3163 |  1 | 702 |1763 | 3.917575e+01 | 5.500000e+01 |  40.39%| unknown
2542.46/2549.74	c  2550s| 15600 | 15601 | 16608k| 996.1 |   444M |  28 | 500 | 672 | 524 |3163 |  1 | 704 |1765 | 3.917695e+01 | 5.500000e+01 |  40.39%| unknown
2556.12/2563.45	c  2563s| 15700 | 15701 | 16720k| 996.8 |   444M |  28 | 500 | 675 | 524 |3175 |  1 | 711 |1766 | 3.917830e+01 | 5.500000e+01 |  40.38%| unknown
2563.99/2571.38	c  2571s| 15800 | 15801 | 16777k| 994.3 |   444M |  28 | 500 | 674 | 524 |3182 |  1 | 712 |1767 | 3.917908e+01 | 5.500000e+01 |  40.38%| unknown
2575.06/2582.47	c  2582s| 15900 | 15901 | 16872k| 994.1 |   444M |  28 | 500 | 678 | 523 |3183 |  1 | 717 |1767 | 3.918297e+01 | 5.500000e+01 |  40.37%| unknown
2586.42/2593.83	c  2594s| 16000 | 16001 | 16960k| 993.4 |   444M |  28 | 500 | 681 | 524 |3185 |  1 | 722 |1775 | 3.918768e+01 | 5.500000e+01 |  40.35%| unknown
2595.70/2603.14	c  2603s| 16100 | 16101 | 17034k| 991.9 |   444M |  28 | 500 | 681 | 523 |3187 |  1 | 725 |1782 | 3.918965e+01 | 5.500000e+01 |  40.34%| unknown
2612.23/2619.70	c  2620s| 16200 | 16201 | 17135k| 992.0 |   444M |  28 | 500 | 685 | 522 |3244 |  1 | 729 |1786 | 3.919244e+01 | 5.500000e+01 |  40.33%| unknown
2622.89/2630.41	c  2630s| 16300 | 16301 | 17222k| 991.3 |   444M |  28 | 500 | 690 | 526 |3251 |  1 | 734 |1788 | 3.919345e+01 | 5.500000e+01 |  40.33%| unknown
2630.48/2638.11	c  2638s| 16400 | 16401 | 17284k| 989.2 |   444M |  28 | 500 | 693 | 524 |3251 |  1 | 738 |1791 | 3.919427e+01 | 5.500000e+01 |  40.33%| unknown
2639.34/2646.97	c  2647s| 16500 | 16501 | 17364k| 988.1 |   444M |  28 | 500 | 693 | 524 |3251 |  1 | 745 |1792 | 3.919602e+01 | 5.500000e+01 |  40.32%| unknown
2654.18/2661.86	c  2662s| 16600 | 16601 | 17460k| 987.9 |   444M |  28 | 500 | 696 | 523 |3284 |  1 | 748 |1798 | 3.919697e+01 | 5.500000e+01 |  40.32%| unknown
2664.76/2672.40	c  2672s| 16700 | 16701 | 17542k| 987.0 |   444M |  28 | 500 | 696 | 525 |3298 |  1 | 752 |1801 | 3.919713e+01 | 5.500000e+01 |  40.32%| unknown
2673.53/2681.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2673.53/2681.23	c  2681s| 16800 | 16801 | 17610k| 985.3 |   444M |  28 | 500 | 696 | 526 |3301 |  1 | 758 |1806 | 3.919733e+01 | 5.500000e+01 |  40.32%| unknown
2682.10/2689.89	c  2690s| 16900 | 16901 | 17680k| 983.7 |   444M |  28 | 500 | 700 | 523 |3303 |  1 | 762 |1813 | 3.919733e+01 | 5.500000e+01 |  40.32%| unknown
2694.16/2701.95	c  2702s| 17000 | 17001 | 17784k| 984.0 |   444M |  28 | 500 | 701 | 523 |3304 |  1 | 769 |1815 | 3.920084e+01 | 5.500000e+01 |  40.30%| unknown
2703.03/2710.84	c  2711s| 17100 | 17101 | 17858k| 982.7 |   444M |  28 | 500 | 702 | 524 |3305 |  1 | 771 |1816 | 3.920211e+01 | 5.500000e+01 |  40.30%| unknown
2712.31/2720.14	c  2720s| 17200 | 17201 | 17933k| 981.3 |   444M |  28 | 500 | 705 | 522 |3305 |  1 | 774 |1823 | 3.920349e+01 | 5.500000e+01 |  40.29%| unknown
2724.45/2732.38	c  2732s| 17300 | 17301 | 18035k| 981.6 |   445M |  28 | 500 | 709 | 525 |3311 |  1 | 782 |1824 | 3.920670e+01 | 5.500000e+01 |  40.28%| unknown
2736.71/2744.64	c  2745s| 17400 | 17401 | 18139k| 981.9 |   445M |  28 | 500 | 708 | 525 |3311 |  1 | 787 |1827 | 3.920901e+01 | 5.500000e+01 |  40.27%| unknown
2744.10/2752.02	c  2752s| 17500 | 17501 | 18198k| 979.8 |   445M |  28 | 500 | 709 | 524 |3312 |  1 | 789 |1829 | 3.921107e+01 | 5.500000e+01 |  40.27%| unknown
2754.25/2762.22	c  2762s| 17600 | 17601 | 18285k| 979.2 |   445M |  28 | 500 | 711 | 524 |3316 |  1 | 794 |1833 | 3.921583e+01 | 5.500000e+01 |  40.25%| unknown
2765.81/2773.86	c  2774s| 17700 | 17701 | 18368k| 978.4 |   445M |  28 | 500 | 711 | 524 |3319 |  1 | 799 |1841 | 3.921623e+01 | 5.500000e+01 |  40.25%| unknown
2773.59/2781.69	c  2782s| 17800 | 17801 | 18431k| 976.6 |   445M |  28 | 500 | 710 | 524 |3321 |  1 | 802 |1845 | 3.921666e+01 | 5.500000e+01 |  40.25%| unknown
2782.65/2790.79	c  2791s| 17900 | 17901 | 18507k| 975.4 |   445M |  28 | 500 | 710 | 524 |3321 |  1 | 803 |1852 | 3.921772e+01 | 5.500000e+01 |  40.24%| unknown
2793.22/2801.31	c  2801s| 18000 | 18001 | 18596k| 975.0 |   445M |  28 | 500 | 712 | 524 |3321 |  1 | 809 |1852 | 3.922011e+01 | 5.500000e+01 |  40.23%| unknown
2801.69/2809.84	c  2810s| 18100 | 18101 | 18667k| 973.6 |   445M |  28 | 500 | 716 | 524 |3321 |  1 | 815 |1853 | 3.922110e+01 | 5.500000e+01 |  40.23%| unknown
2810.75/2818.91	c  2819s| 18200 | 18201 | 18742k| 972.4 |   445M |  28 | 500 | 715 | 524 |3322 |  1 | 817 |1856 | 3.922160e+01 | 5.500000e+01 |  40.23%| unknown
2823.01/2831.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2823.01/2831.24	c  2831s| 18300 | 18301 | 18841k| 972.5 |   447M |  28 | 500 | 717 | 523 |3329 |  1 | 825 |1861 | 3.922311e+01 | 5.500000e+01 |  40.22%| unknown
2830.99/2839.23	c  2839s| 18400 | 18401 | 18909k| 971.0 |   447M |  28 | 500 | 719 | 522 |3330 |  1 | 830 |1862 | 3.922311e+01 | 5.500000e+01 |  40.22%| unknown
2839.46/2847.79	c  2848s| 18500 | 18501 | 18980k| 969.7 |   447M |  28 | 500 | 721 | 522 |3330 |  1 | 834 |1864 | 3.922384e+01 | 5.500000e+01 |  40.22%| unknown
2850.12/2858.41	c  2858s| 18600 | 18601 | 19075k| 969.6 |   447M |  28 | 500 | 719 | 525 |3330 |  1 | 838 |1867 | 3.922424e+01 | 5.500000e+01 |  40.22%| unknown
2861.58/2869.91	c  2870s| 18700 | 18701 | 19165k| 969.2 |   447M |  28 | 500 | 722 | 525 |3351 |  1 | 841 |1867 | 3.922708e+01 | 5.500000e+01 |  40.21%| unknown
2870.15/2878.58	c  2879s| 18800 | 18801 | 19236k| 967.9 |   447M |  28 | 500 | 725 | 525 |3351 |  1 | 845 |1870 | 3.922820e+01 | 5.500000e+01 |  40.21%| unknown
2883.61/2892.05	c  2892s| 18900 | 18901 | 19336k| 968.1 |   447M |  28 | 500 | 728 | 524 |3379 |  1 | 851 |1870 | 3.923129e+01 | 5.500000e+01 |  40.19%| unknown
2891.07/2899.52	c  2900s| 19000 | 19001 | 19398k| 966.4 |   447M |  28 | 500 | 728 | 522 |3383 |  1 | 854 |1872 | 3.923320e+01 | 5.500000e+01 |  40.19%| unknown
2902.73/2911.28	c  2911s| 19100 | 19101 | 19491k| 966.2 |   447M |  28 | 500 | 723 | 524 |3393 |  1 | 861 |1872 | 3.923405e+01 | 5.500000e+01 |  40.18%| unknown
2910.21/2918.76	c  2919s| 19200 | 19201 | 19548k| 964.2 |   447M |  28 | 500 | 725 | 524 |3394 |  1 | 863 |1877 | 3.923495e+01 | 5.500000e+01 |  40.18%| unknown
2918.49/2927.04	c  2927s| 19300 | 19301 | 19611k| 962.5 |   447M |  28 | 500 | 726 | 524 |3401 |  1 | 867 |1879 | 3.923581e+01 | 5.500000e+01 |  40.18%| unknown
2929.24/2937.85	c  2938s| 19400 | 19401 | 19709k| 962.6 |   447M |  28 | 500 | 726 | 522 |3401 |  1 | 873 |1881 | 3.923667e+01 | 5.500000e+01 |  40.17%| unknown
2939.30/2947.92	c  2948s| 19500 | 19501 | 19789k| 961.9 |   447M |  28 | 500 | 729 | 523 |3407 |  1 | 879 |1882 | 3.923759e+01 | 5.500000e+01 |  40.17%| unknown
2948.28/2956.91	c  2957s| 19600 | 19601 | 19870k| 961.1 |   447M |  28 | 500 | 728 | 522 |3409 |  1 | 886 |1884 | 3.923815e+01 | 5.500000e+01 |  40.17%| unknown
2956.65/2965.31	c  2965s| 19700 | 19701 | 19932k| 959.5 |   447M |  28 | 500 | 730 | 524 |3413 |  1 | 889 |1889 | 3.923976e+01 | 5.500000e+01 |  40.16%| unknown
2970.20/2978.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2970.20/2978.91	c  2979s| 19800 | 19801 | 20042k| 960.1 |   447M |  28 | 500 | 729 | 523 |3420 |  1 | 893 |1894 | 3.924141e+01 | 5.500000e+01 |  40.16%| unknown
2979.17/2987.99	c  2988s| 19900 | 19901 | 20118k| 959.2 |   447M |  28 | 500 | 730 | 525 |3423 |  1 | 897 |1895 | 3.924378e+01 | 5.500000e+01 |  40.15%| unknown
2986.15/2994.90	c  2995s| 20000 | 20001 | 20172k| 957.2 |   447M |  28 | 500 | 729 | 525 |3424 |  1 | 899 |1897 | 3.924743e+01 | 5.500000e+01 |  40.14%| unknown
2995.33/3004.14	c  3004s| 20100 | 20101 | 20246k| 956.2 |   447M |  28 | 500 | 730 | 522 |3425 |  1 | 903 |1899 | 3.924968e+01 | 5.500000e+01 |  40.13%| unknown
3005.88/3014.79	c  3015s| 20200 | 20201 | 20345k| 956.3 |   447M |  28 | 500 | 728 | 523 |3428 |  1 | 907 |1903 | 3.924968e+01 | 5.500000e+01 |  40.13%| unknown
3014.16/3023.08	c  3023s| 20300 | 20301 | 20407k| 954.7 |   447M |  28 | 500 | 727 | 523 |3438 |  1 | 909 |1903 | 3.925135e+01 | 5.500000e+01 |  40.12%| unknown
3022.42/3031.39	c  3031s| 20400 | 20401 | 20479k| 953.6 |   447M |  28 | 500 | 724 | 524 |3438 |  1 | 911 |1906 | 3.925271e+01 | 5.500000e+01 |  40.12%| unknown
3032.20/3041.16	c  3041s| 20500 | 20501 | 20549k| 952.5 |   447M |  28 | 500 | 726 | 525 |3452 |  1 | 915 |1908 | 3.925513e+01 | 5.500000e+01 |  40.11%| unknown
3044.84/3053.85	c  3054s| 20600 | 20601 | 20654k| 952.9 |   447M |  28 | 500 | 732 | 523 |3468 |  1 | 922 |1909 | 3.925549e+01 | 5.500000e+01 |  40.11%| unknown
3052.82/3061.81	c  3062s| 20700 | 20701 | 20725k| 951.8 |   447M |  28 | 500 | 732 | 523 |3468 |  1 | 925 |1909 | 3.925690e+01 | 5.500000e+01 |  40.10%| unknown
3062.38/3071.41	c  3071s| 20800 | 20801 | 20802k| 951.0 |   448M |  28 | 500 | 736 | 525 |3474 |  1 | 929 |1911 | 3.925915e+01 | 5.500000e+01 |  40.09%| unknown
3074.64/3083.74	c  3084s| 20900 | 20901 | 20910k| 951.6 |   448M |  28 | 500 | 737 | 523 |3475 |  1 | 935 |1914 | 3.926510e+01 | 5.500000e+01 |  40.07%| unknown
3085.02/3094.19	c  3094s| 21000 | 21001 | 20987k| 950.7 |   448M |  28 | 500 | 732 | 523 |3476 |  1 | 939 |1924 | 3.926510e+01 | 5.500000e+01 |  40.07%| unknown
3093.08/3102.29	c  3102s| 21100 | 21101 | 21052k| 949.4 |   448M |  28 | 500 | 733 | 525 |3481 |  1 | 943 |1929 | 3.926586e+01 | 5.500000e+01 |  40.07%| unknown
3102.34/3111.52	c  3112s| 21200 | 21201 | 21130k| 948.6 |   448M |  28 | 500 | 737 | 523 |3481 |  1 | 951 |1935 | 3.926621e+01 | 5.500000e+01 |  40.07%| unknown
3112.31/3121.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3112.31/3121.56	c  3122s| 21300 | 21301 | 21216k| 948.2 |   448M |  28 | 500 | 734 | 523 |3484 |  1 | 953 |1938 | 3.926655e+01 | 5.500000e+01 |  40.07%| unknown
3120.09/3129.36	c  3129s| 21400 | 21401 | 21280k| 946.8 |   449M |  28 | 500 | 736 | 524 |3484 |  1 | 957 |1942 | 3.926668e+01 | 5.500000e+01 |  40.07%| unknown
3128.26/3137.56	c  3138s| 21500 | 21501 | 21349k| 945.7 |   449M |  28 | 500 | 737 | 523 |3484 |  1 | 961 |1942 | 3.926864e+01 | 5.500000e+01 |  40.06%| unknown
3139.52/3148.89	c  3149s| 21600 | 21601 | 21446k| 945.8 |   449M |  28 | 500 | 740 | 523 |3485 |  1 | 970 |1942 | 3.927308e+01 | 5.500000e+01 |  40.05%| unknown
3151.18/3160.50	c  3161s| 21700 | 21701 | 21535k| 945.6 |   449M |  28 | 500 | 741 | 525 |3493 |  1 | 974 |1951 | 3.927353e+01 | 5.500000e+01 |  40.04%| unknown
3160.15/3169.53	c  3170s| 21800 | 21801 | 21606k| 944.5 |   449M |  28 | 500 | 740 | 525 |3494 |  1 | 977 |1957 | 3.927406e+01 | 5.500000e+01 |  40.04%| unknown
3171.72/3181.11	c  3181s| 21900 | 21901 | 21696k| 944.4 |   449M |  28 | 500 | 742 | 523 |3504 |  1 | 980 |1961 | 3.927545e+01 | 5.500000e+01 |  40.04%| unknown
3178.48/3187.91	c  3188s| 22000 | 22001 | 21749k| 942.6 |   449M |  28 | 500 | 741 | 524 |3504 |  1 | 982 |1964 | 3.927545e+01 | 5.500000e+01 |  40.04%| unknown
3190.44/3199.92	c  3200s| 22100 | 22101 | 21851k| 942.9 |   450M |  28 | 500 | 742 | 525 |3510 |  1 | 983 |1966 | 3.927742e+01 | 5.500000e+01 |  40.03%| unknown
3199.62/3209.17	c  3209s| 22200 | 22201 | 21930k| 942.2 |   450M |  28 | 500 | 743 | 524 |3511 |  1 | 988 |1971 | 3.927800e+01 | 5.500000e+01 |  40.03%| unknown
3209.27/3218.82	c  3219s| 22300 | 22301 | 22006k| 941.5 |   450M |  28 | 500 | 745 | 525 |3513 |  1 | 992 |1971 | 3.928046e+01 | 5.500000e+01 |  40.02%| unknown
3217.94/3227.52	c  3228s| 22400 | 22401 | 22080k| 940.6 |   450M |  28 | 500 | 740 | 525 |3515 |  1 | 996 |1973 | 3.928046e+01 | 5.500000e+01 |  40.02%| unknown
3228.21/3237.84	c  3238s| 22500 | 22501 | 22170k| 940.4 |   450M |  28 | 500 | 744 | 524 |3516 |  1 |1001 |1975 | 3.928091e+01 | 5.500000e+01 |  40.02%| unknown
3237.49/3247.18	c  3247s| 22600 | 22601 | 22248k| 939.7 |   450M |  28 | 500 | 745 | 522 |3516 |  1 |1005 |1975 | 3.928122e+01 | 5.500000e+01 |  40.02%| unknown
3246.64/3256.35	c  3256s| 22700 | 22701 | 22324k| 939.0 |   450M |  28 | 500 | 738 | 523 |3516 |  1 |1010 |1979 | 3.928153e+01 | 5.500000e+01 |  40.01%| unknown
3255.43/3265.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3255.43/3265.17	c  3265s| 22800 | 22801 | 22397k| 938.1 |   450M |  28 | 500 | 741 | 523 |3518 |  2 |1015 |1982 | 3.928196e+01 | 5.500000e+01 |  40.01%| unknown
3265.40/3275.14	c  3275s| 22900 | 22901 | 22482k| 937.7 |   450M |  28 | 500 | 739 | 522 |3521 |  1 |1016 |1990 | 3.928254e+01 | 5.500000e+01 |  40.01%| unknown
3273.06/3282.81	c  3283s| 23000 | 23001 | 22546k| 936.5 |   450M |  28 | 500 | 742 | 524 |3523 |  1 |1019 |1992 | 3.928254e+01 | 5.500000e+01 |  40.01%| unknown
3284.42/3294.24	c  3294s| 23100 | 23101 | 22639k| 936.5 |   450M |  28 | 500 | 744 | 522 |3526 |  1 |1023 |1994 | 3.928322e+01 | 5.500000e+01 |  40.01%| unknown
3298.07/3307.93	c  3308s| 23200 | 23201 | 22731k| 936.4 |   450M |  28 | 500 | 745 | 525 |3557 |  1 |1028 |1997 | 3.928556e+01 | 5.500000e+01 |  40.00%| unknown
3308.44/3318.36	c  3318s| 23300 | 23301 | 22817k| 936.1 |   450M |  28 | 500 | 745 | 525 |3568 |  1 |1034 |1998 | 3.928636e+01 | 5.500000e+01 |  40.00%| unknown
3318.22/3328.18	c  3328s| 23400 | 23401 | 22887k| 935.1 |   450M |  28 | 500 | 746 | 525 |3571 |  1 |1039 |2000 | 3.928822e+01 | 5.500000e+01 |  39.99%| unknown
3328.77/3338.76	c  3339s| 23500 | 23501 | 22968k| 934.6 |   450M |  28 | 500 | 751 | 523 |3580 |  1 |1046 |2001 | 3.928899e+01 | 5.500000e+01 |  39.99%| unknown
3340.43/3350.47	c  3350s| 23600 | 23601 | 23066k| 934.8 |   450M |  28 | 500 | 751 | 525 |3592 |  1 |1052 |2002 | 3.928911e+01 | 5.500000e+01 |  39.99%| unknown
3353.58/3363.70	c  3364s| 23700 | 23701 | 23152k| 934.5 |   450M |  28 | 500 | 753 | 524 |3623 |  1 |1057 |2003 | 3.929435e+01 | 5.500000e+01 |  39.97%| unknown
3361.16/3371.22	c  3371s| 23800 | 23801 | 23215k| 933.3 |   450M |  28 | 500 | 750 | 523 |3623 |  1 |1059 |2005 | 3.929687e+01 | 5.500000e+01 |  39.96%| unknown
3371.73/3381.88	c  3382s| 23900 | 23901 | 23309k| 933.3 |   450M |  28 | 500 | 749 | 525 |3624 |  1 |1065 |2005 | 3.929910e+01 | 5.500000e+01 |  39.95%| unknown
3382.50/3392.68	c  3393s| 24000 | 24001 | 23395k| 933.0 |   450M |  28 | 500 | 751 | 524 |3632 |  1 |1070 |2011 | 3.929960e+01 | 5.500000e+01 |  39.95%| unknown
3389.78/3400.00	c  3400s| 24100 | 24101 | 23454k| 931.6 |   450M |  28 | 500 | 750 | 524 |3633 |  1 |1071 |2012 | 3.930175e+01 | 5.500000e+01 |  39.94%| unknown
3399.15/3409.34	c  3409s| 24200 | 24201 | 23529k| 930.9 |   450M |  28 | 500 | 752 | 525 |3641 |  1 |1077 |2015 | 3.930394e+01 | 5.500000e+01 |  39.94%| unknown
3411.62/3421.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3411.62/3421.81	c  3422s| 24300 | 24301 | 23628k| 931.2 |   450M |  28 | 500 | 754 | 525 |3652 |  1 |1081 |2017 | 3.930491e+01 | 5.500000e+01 |  39.93%| unknown
3421.90/3432.15	c  3432s| 24400 | 24401 | 23711k| 930.8 |   450M |  28 | 500 | 758 | 525 |3652 |  1 |1085 |2023 | 3.930622e+01 | 5.500000e+01 |  39.93%| unknown
3429.78/3440.07	c  3440s| 24500 | 24501 | 23777k| 929.7 |   450M |  28 | 500 | 761 | 525 |3652 |  1 |1089 |2025 | 3.930680e+01 | 5.500000e+01 |  39.92%| unknown
3439.64/3449.95	c  3450s| 24600 | 24601 | 23863k| 929.4 |   450M |  28 | 500 | 760 | 523 |3655 |  1 |1093 |2026 | 3.930902e+01 | 5.500000e+01 |  39.92%| unknown
3449.22/3459.54	c  3460s| 24700 | 24701 | 23935k| 928.6 |   450M |  28 | 500 | 761 | 523 |3656 |  1 |1098 |2032 | 3.931057e+01 | 5.500000e+01 |  39.91%| unknown
3459.99/3470.35	c  3470s| 24800 | 24801 | 24025k| 928.5 |   450M |  28 | 500 | 764 | 525 |3663 |  1 |1101 |2034 | 3.931115e+01 | 5.500000e+01 |  39.91%| unknown
3469.16/3479.52	c  3480s| 24900 | 24901 | 24096k| 927.7 |   450M |  28 | 500 | 767 | 523 |3667 |  1 |1108 |2036 | 3.931260e+01 | 5.500000e+01 |  39.90%| unknown
3477.04/3487.46	c  3487s| 25000 | 25001 | 24165k| 926.7 |   450M |  28 | 500 | 768 | 525 |3667 |  1 |1109 |2036 | 3.931379e+01 | 5.500000e+01 |  39.90%| unknown
3486.52/3496.94	c  3497s| 25100 | 25101 | 24245k| 926.3 |   450M |  28 | 500 | 770 | 524 |3668 |  1 |1117 |2038 | 3.931503e+01 | 5.500000e+01 |  39.90%| unknown
3494.09/3504.59	c  3505s| 25200 | 25201 | 24307k| 925.1 |   450M |  28 | 500 | 774 | 523 |3669 |  1 |1121 |2039 | 3.931574e+01 | 5.500000e+01 |  39.89%| unknown
3502.97/3513.46	c  3513s| 25300 | 25301 | 24380k| 924.4 |   450M |  28 | 500 | 774 | 522 |3670 |  1 |1122 |2040 | 3.931692e+01 | 5.500000e+01 |  39.89%| unknown
3513.25/3523.72	c  3524s| 25400 | 25401 | 24468k| 924.2 |   451M |  28 | 500 | 774 | 523 |3670 |  1 |1127 |2046 | 3.931692e+01 | 5.500000e+01 |  39.89%| unknown
3524.53/3535.08	c  3535s| 25500 | 25501 | 24554k| 924.0 |   451M |  28 | 500 | 777 | 523 |3692 |  1 |1132 |2048 | 3.931788e+01 | 5.500000e+01 |  39.89%| unknown
3534.60/3545.15	c  3545s| 25600 | 25601 | 24622k| 923.0 |   451M |  28 | 500 | 780 | 523 |3711 |  1 |1136 |2051 | 3.931951e+01 | 5.500000e+01 |  39.88%| unknown
3544.58/3555.20	c  3555s| 25700 | 25701 | 24702k| 922.6 |   451M |  28 | 500 | 780 | 523 |3722 |  1 |1138 |2052 | 3.932095e+01 | 5.500000e+01 |  39.87%| unknown
3555.34/3566.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3555.34/3566.01	c  3566s| 25800 | 25801 | 24795k| 922.6 |   451M |  28 | 500 | 783 | 524 |3724 |  1 |1147 |2053 | 3.932266e+01 | 5.500000e+01 |  39.87%| unknown
3564.91/3575.57	c  3576s| 25900 | 25901 | 24868k| 921.9 |   451M |  28 | 500 | 783 | 524 |3725 |  1 |1148 |2058 | 3.932475e+01 | 5.500000e+01 |  39.86%| unknown
3573.29/3584.00	c  3584s| 26000 | 26001 | 24937k| 921.0 |   451M |  28 | 500 | 784 | 524 |3725 |  1 |1149 |2058 | 3.932486e+01 | 5.500000e+01 |  39.86%| unknown
3584.26/3594.91	c  3595s| 26100 | 26101 | 25025k| 920.9 |   451M |  28 | 500 | 785 | 523 |3725 |  1 |1155 |2063 | 3.932504e+01 | 5.500000e+01 |  39.86%| unknown
3586.25/3597.00	c 
3586.25/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.25/3597.00	c Solving Time (sec) : 3597.00
3586.25/3597.00	c Solving Nodes      : 26133 (total of 27182 nodes in 2 runs)
3586.25/3597.00	c Primal Bound       : +5.50000000000000e+01 (700 solutions)
3586.25/3597.00	c Dual Bound         : +3.93250373771957e+01
3586.25/3597.00	c Gap                : 39.86 %
3586.25/3597.00	s SATISFIABLE
3586.25/3597.00	v x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 x14 -x15 x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30
3586.25/3597.00	v -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 x55 x56 -x57
3586.25/3597.00	v -x58 x59 -x60 x61 -x62 x63 -x64 -x65 -x66 -x67 x68 -x69 x70 -x71 x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85
3586.25/3597.00	v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109
3586.25/3597.00	v x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132
3586.25/3597.00	v -x133 -x134 -x135 -x136 -x137 -x138 x139 x140 -x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155
3586.25/3597.00	v -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
3586.25/3597.00	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199
3586.25/3597.00	v -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221
3586.25/3597.00	v -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243
3586.25/3597.00	v -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265
3586.25/3597.00	v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287
3586.25/3597.00	v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
3586.25/3597.00	v x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 x330 -x331
3586.25/3597.00	v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
3586.25/3597.00	v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3586.25/3597.00	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
3586.25/3597.00	v -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419
3586.25/3597.00	v -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
3586.25/3597.00	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
3586.25/3597.00	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
3586.25/3597.00	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500
3586.25/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.25/3597.00	c Total Time         :    3597.00
3586.25/3597.00	c   solving          :    3597.00
3586.25/3597.00	c   presolving       :       0.09 (included in solving)
3586.25/3597.00	c   reading          :       0.02 (included in solving)
3586.25/3597.00	c   copying          :       0.06 (19 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3586.25/3597.00	c Original Problem   :
3586.25/3597.00	c   Problem name     : HOME/instance-4498361-1751269323.opb
3586.25/3597.00	c   Variables        : 6818 (500 binary, 0 integer, 6318 continuous)
3586.25/3597.00	c   implied integral : 6318 (0 binary, 0 integer, 6318 continuous)
3586.25/3597.00	c   Constraints      : 7318 initial, 7318 maximal
3586.25/3597.00	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.25/3597.00	c Presolved Problem  :
3586.25/3597.00	c   Problem name     : t_HOME/instance-4498361-1751269323.opb
3586.25/3597.00	c   Variables        : 500 (500 binary, 0 integer, 0 continuous)
3586.25/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.25/3597.00	c   Constraints      : 574 initial, 785 maximal
3586.25/3597.00	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.25/3597.00	c   Nonzeros         : 18312 constraint, 0 clique table
3586.25/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.25/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   trivial          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   dualfix          :       0.00       0.00      5       6318          0          0          0          0          0          0          0          0
3586.25/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   probing          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   linear           :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   logicor          :       0.01       0.00      8          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   pseudoboolean    :       0.01       0.00      1          0          0          0          0          0       7318        500          0          0
3586.25/3597.00	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.25/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.25/3597.00	c   integral         :          0          0          0          0      27181          0          0       2309          0          0          0          0          0          0      54362
3586.25/3597.00	c   linear           :         16         16         11     267330          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   logicor          :        558+       770         25     136997          0          0          0       2305        865        268          0          0          0          0          0
3586.25/3597.00	c   fixedvar         :          0          0          0          0          0          0          0        795          0          0          0          0          0          0          0
3586.25/3597.00	c   countsols        :          0          0          0          0          0          0          0        795          0          0          0          0          0          0          0
3586.25/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.25/3597.00	c   integral         :     266.15       0.00       0.00       0.00     266.14       0.00       0.00       0.01       0.00       0.00
3586.25/3597.00	c   linear           :       1.54       0.00       1.14       0.39       0.00       0.00       0.00       0.00       0.00       0.01
3586.25/3597.00	c   logicor          :       0.48       0.00       0.00       0.42       0.00       0.00       0.00       0.04       0.00       0.00
3586.25/3597.00	c   fixedvar         :       0.26       0.00       0.00       0.00       0.00       0.00       0.00       0.26       0.00       0.00
3586.25/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.25/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.25/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.25/3597.00	c   dualfix          :          3          0          0          0
3586.25/3597.00	c   genvbounds       :          0          0          0          0
3586.25/3597.00	c   nlobbt           :          0          0          0          0
3586.25/3597.00	c   obbt             :          0          0          0          0
3586.25/3597.00	c   probing          :          0          0          0          0
3586.25/3597.00	c   pseudoobj        :      55456          0          0          0
3586.25/3597.00	c   redcost          :         31          0          0          0
3586.25/3597.00	c   rootredcost      :          2          0          0          0
3586.25/3597.00	c   symmetry         :          0          0          0          0
3586.25/3597.00	c   vbounds          :          0          0          0          0
3586.25/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.25/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.25/3597.00	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.25/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.25/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.25/3597.00	c   probing          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.25/3597.00	c   pseudoobj        :       0.07       0.00       0.00       0.07       0.00       0.00
3586.25/3597.00	c   redcost          :       0.05       0.00       0.00       0.05       0.00       0.00
3586.25/3597.00	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.00
3586.25/3597.00	c   symmetry         :       0.04       0.00       0.00       0.04       0.00       0.00
3586.25/3597.00	c   vbounds          :       0.03       0.00       0.00       0.03       0.00       0.00
3586.25/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.25/3597.00	c   propagation      :       0.00        267         12          -         57      144.7          0        0.0          -          -          -
3586.25/3597.00	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.25/3597.00	c   bound exceed. LP :       0.75       2085       1143          -       1454       83.9          0        0.0          0        0.0       5630
3586.25/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.25/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.25/3597.00	c   applied globally :       0.00          -          -          0        950       61.5          -          -          0          -          -
3586.25/3597.00	c   applied locally  :          -          -          -          0        205      103.2          -          -          0          -          -
3586.25/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.25/3597.00	c   cut pool         :      29.90          -       9555         43          -          -     197259     324193          -          -          -          -          -    (maximal pool size:       5411)
3586.25/3597.00	c   aggregation      :     259.99       0.00       4204         25          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.25/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.25/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.25/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   clique           :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   gomory           :      52.90       0.00       3874         20          0          0     197181     322614          0       4199       4199          0          0
3586.25/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -     219529          0       3549       3549          0          -
3586.25/3597.00	c   > strongcg       :          -          -          -          -          -          -          -     103085          0        650        650          0          -
3586.25/3597.00	c   impliedbounds    :       0.06       0.00       4204         25          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   multilinear      :       0.00       0.00       3333         25          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   rapidlearning    :       0.02       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
3586.25/3597.00	c   zerohalf         :      35.97       0.00       3879         25          0          0         78       1579          0        215        215          0          0
3586.25/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.25/3597.00	c   hybrid           :       1.92       0.00       4414         25       4414          0     319779         25          0       5321
3586.25/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.25/3597.00	c   problem variables:       0.00          -          0          0
3586.25/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.25/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c   relpscost        :     266.12       0.00      27181          0          0          0          0          0          0      54362
3586.25/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.25/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.25/3597.00	c   LP solutions     :       0.00          -          -          0          0
3586.25/3597.00	c   relax solutions  :       0.00          -          -          0          0
3586.25/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3586.25/3597.00	c   strong branching :       0.16          -          -        180          0
3586.25/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3586.25/3597.00	c   adaptivediving   :      11.36       0.00         12          0          0
3586.25/3597.00	c   alns             :       1.00       0.00          7          0          0
3586.25/3597.00	c   bound            :       0.00       0.00          0          0          0
3586.25/3597.00	c   clique           :       0.00       0.00          0          0          0
3586.25/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3586.25/3597.00	c   completesol      :       0.00       0.00          0          0          0
3586.25/3597.00	c   conflictdiving   :     197.33       0.00        473          1          0
3586.25/3597.00	c   crossover        :       0.53       0.00          2          2          0
3586.25/3597.00	c   dins             :       0.00       0.00          0          0          0
3586.25/3597.00	c   distributiondivin:     116.09       0.00        101          2          0
3586.25/3597.00	c   dks              :       0.00       0.00          0          0          0
3586.25/3597.00	c   dps              :       0.00       0.00          0          0          0
3586.25/3597.00	c   dualval          :       0.00       0.00          0          0          0
3586.25/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3586.25/3597.00	c   feaspump         :       0.00       0.00          0          0          0
3586.25/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3586.25/3597.00	c   fracdiving       :      81.48       0.00         91          1          0
3586.25/3597.00	c   gins             :       0.01       0.00          0          0          0
3586.25/3597.00	c   guideddiving     :      70.99       0.00         85          0          0
3586.25/3597.00	c   indicator        :       0.00       0.00          0          0          0
3586.25/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3586.25/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3586.25/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3586.25/3597.00	c   linesearchdiving :      65.17       0.00        110          0          0
3586.25/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3586.25/3597.00	c   locks            :       0.00       0.00          1          1          1
3586.25/3597.00	c   lpface           :       0.01       0.00          0          0          0
3586.25/3597.00	c   mpec             :       0.00       0.00          0          0          0
3586.25/3597.00	c   multistart       :       0.00       0.00          0          0          0
3586.25/3597.00	c   mutation         :       0.00       0.00          0          0          0
3586.25/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3586.25/3597.00	c   objpscostdiving  :      32.77       0.00         26         15          0
3586.25/3597.00	c   octane           :       0.00       0.00          0          0          0
3586.25/3597.00	c   ofins            :       0.00       0.00          0          0          0
3586.25/3597.00	c   oneopt           :       0.01       0.00          1          1          1
3586.25/3597.00	c   padm             :       0.00       0.00          0          0          0
3586.25/3597.00	c   proximity        :       0.00       0.00          0          0          0
3586.25/3597.00	c   pscostdiving     :     271.51       0.00        512        193          0
3586.25/3597.00	c   randrounding     :       0.10       0.00       1506          0          0
3586.25/3597.00	c   rens             :       0.00       0.00          0          0          0
3586.25/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3586.25/3597.00	c   repair           :       0.00       0.00          0          0          0
3586.25/3597.00	c   rins             :      31.93       0.00         10         10          0
3586.25/3597.00	c   rootsoldiving    :      11.23       0.00        101          0          0
3586.25/3597.00	c   rounding         :       0.66       0.00       2431          0          0
3586.25/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3586.25/3597.00	c   shiftandpropagate:       0.00       0.00          0          0          0
3586.25/3597.00	c   shifting         :       0.43       0.00       1127          0          0
3586.25/3597.00	c   simplerounding   :       0.60       0.00      31595         69          0
3586.25/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3586.25/3597.00	c   trivial          :       0.00       0.00          4          1          1
3586.25/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3586.25/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3586.25/3597.00	c   trysol           :       0.01       0.00          0          0          0
3586.25/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3586.25/3597.00	c   undercover       :       0.00       0.00          0          0          0
3586.25/3597.00	c   vbounds          :       0.00       0.00          0          0          0
3586.25/3597.00	c   veclendiving     :      69.13       0.00        194          0          0
3586.25/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3586.25/3597.00	c   zirounding       :       2.28       0.00      11201        224          0
3586.25/3597.00	c   other solutions  :          -          -          -          0          -
3586.25/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.25/3597.00	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.25/3597.00	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.25/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.25/3597.00	c   primal LP        :       6.88        556          0       0.00       0.00       6.88        556
3586.25/3597.00	c   dual LP          :    1966.77      31596   14553860     460.62    7399.89       0.00          0
3586.25/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3586.25/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.25/3597.00	c   resolve instable :       0.00          0          0       0.00          -
3586.25/3597.00	c   diving/probing LP:     909.75      11049   10487648     949.19   11528.06
3586.25/3597.00	c   strong branching :     245.36       2064    1717544     832.14    7000.08          -          -       2350
3586.25/3597.00	c     (at root node) :          -         52      48693     936.40          -
3586.25/3597.00	c   conflict analysis:       0.41        563       5630      10.00   13692.30
3586.25/3597.00	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3586.25/3597.00	c   benders          :       0.00          0          0          0       0.00          0          0          0
3586.25/3597.00	c B&B Tree           :
3586.25/3597.00	c   number of runs   :          2
3586.25/3597.00	c   nodes            :      26133 (26132 internal, 1 leaves)
3586.25/3597.00	c   feasible leaves  :          0
3586.25/3597.00	c   infeas. leaves   :          0
3586.25/3597.00	c   objective leaves :          0
3586.25/3597.00	c   nodes (total)    :      27182 (27181 internal, 1 leaves)
3586.25/3597.00	c   nodes left       :      26133
3586.25/3597.00	c   max depth        :         28
3586.25/3597.00	c   max depth (total):         28
3586.25/3597.00	c   backtracks       :       6821 (26.1%)
3586.25/3597.00	c   early backtracks :          0 (0.0%)
3586.25/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3586.25/3597.00	c   delayed cutoffs  :          0
3586.25/3597.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.25/3597.00	c   avg switch length:       5.89
3586.25/3597.00	c   switching time   :       7.90
3586.25/3597.00	c Root Node          :
3586.25/3597.00	c   First LP value   : +3.65065974226933e+01
3586.25/3597.00	c   First LP Iters   :      10342 (10700.52 Iter/sec)
3586.25/3597.00	c   First LP Time    :       0.97
3586.25/3597.00	c   Final Dual Bound : +3.81707578745700e+01
3586.25/3597.00	c   Final Root Iters :      25494
3586.25/3597.00	c   Root LP Estimate : +4.75436042970242e+01
3586.25/3597.00	c Solution           :
3586.25/3597.00	c   Solutions found  :        700 (3 improvements)
3586.25/3597.00	c   First Solution   : +5.00000000000000e+02   (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trivial>)
3586.25/3597.00	c   Gap First Sol.   :   infinite
3586.25/3597.00	c   Gap Last Sol.    :   infinite
3586.25/3597.00	c   Primal Bound     : +5.50000000000000e+01   (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <oneopt>)
3586.25/3597.00	c   Dual Bound       : +3.93250373771957e+01
3586.25/3597.00	c   Gap              :      39.86 %
3586.25/3597.00	c Integrals          :      Total       Avg%
3586.25/3597.00	c   primal-dual      :  105856.03      29.43
3586.25/3597.00	c   primal-ref       :          -          - (not evaluated)
3586.25/3597.00	c   dual-ref         :          -          - (not evaluated)
3586.55/3597.26	c Time complete (sec):   3586.616

Verifier Data 

OK	55

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498361-1751269323/watcher-4498361-1751269323 -o /tmp/evaluation-result-4498361-1751269323/solver-4498361-1751269323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751268232-38444 --watchdog 3760 pbsolver -f HOME/instance-4498361-1751269323.opb -t 3600 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=38815, runsolver pid=38812

[startup+0.100095 s]*
/proc/loadavg: 4.14 4.06 2.96 5/250 38816
/proc/meminfo: memFree=128496300/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=54240 memory=43904 CPUtime=0.1 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 8600 0 0 0 9 1 0 0 20 0 1 0 42611719 55541760 10976 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 13560 10976 2624 2575 0 10467 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54240 KiB
Current children cumulated memory: 43904 KiB

[startup+0.212864 s]*
/proc/loadavg: 4.14 4.06 2.96 5/250 38816
/proc/meminfo: memFree=128496300/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=54544 memory=44160 CPUtime=0.22 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 8666 0 0 0 21 1 0 0 20 0 1 0 42611719 55853056 11040 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 13636 11040 2624 2575 0 10543 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 54544 KiB
Current children cumulated memory: 44160 KiB

[startup+0.31275 s]*
/proc/loadavg: 4.14 4.06 2.96 5/250 38816
/proc/meminfo: memFree=128496300/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=54544 memory=44160 CPUtime=0.32 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 8673 0 0 0 31 1 0 0 20 0 1 0 42611719 55853056 11040 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 13636 11040 2624 2575 0 10543 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 54544 KiB
Current children cumulated memory: 44160 KiB

[startup+0.700284 s]
/proc/loadavg: 4.14 4.06 2.96 5/250 38816
/proc/meminfo: memFree=128496300/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=55332 memory=44880 CPUtime=0.69 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 8929 0 0 0 68 1 0 0 20 0 1 0 42611719 56659968 11220 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 13833 11220 2624 2575 0 10740 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55332 KiB
Current children cumulated memory: 44880 KiB

[startup+1.50033 s]
/proc/loadavg: 4.14 4.06 2.96 5/250 38816
/proc/meminfo: memFree=128496552/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=96544 memory=85636 CPUtime=1.49 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 19715 0 0 0 146 3 0 0 20 0 1 0 42611719 98861056 21409 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 24136 21409 2624 2575 0 21043 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 96544 KiB
Current children cumulated memory: 85636 KiB

[startup+3.11195 s]
/proc/loadavg: 4.14 4.06 2.96 5/250 38816
/proc/meminfo: memFree=128385468/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=167952 memory=155012 CPUtime=3.1 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 37055 0 0 0 304 6 0 0 20 0 1 0 42611719 171982848 38753 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 41988 38753 2624 2575 0 38895 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 167952 KiB
Current children cumulated memory: 155012 KiB

[startup+6.30026 s]
/proc/loadavg: 4.13 4.06 2.97 5/250 38817
/proc/meminfo: memFree=128384068/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=167952 memory=155140 CPUtime=6.28 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 37091 0 0 0 622 6 0 0 20 0 1 0 42611719 171982848 38785 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 41988 38785 2624 2575 0 38895 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 167952 KiB
Current children cumulated memory: 155140 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.06 2.98 5/250 38817
/proc/meminfo: memFree=128364664/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=168420 memory=156548 CPUtime=12.66 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 37438 0 0 0 1260 6 0 0 20 0 1 0 42611719 172462080 39137 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 42105 39137 2624 2575 0 39012 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 168420 KiB
Current children cumulated memory: 156548 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.05 2.99 5/250 38817
/proc/meminfo: memFree=128353764/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=168420 memory=156548 CPUtime=25.42 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 37444 0 0 0 2536 6 0 0 20 0 1 0 42611719 172462080 39137 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 42105 39137 2624 2575 0 39012 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 168420 KiB
Current children cumulated memory: 156548 KiB

[startup+51.1123 s]
/proc/loadavg: 4.13 4.06 3.03 5/250 38817
/proc/meminfo: memFree=128249620/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=264372 memory=251780 CPUtime=50.96 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 61255 0 0 0 5086 10 0 0 20 0 1 0 42611719 270716928 62945 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 66093 62945 2624 2575 0 63000 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 264372 KiB
Current children cumulated memory: 251780 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.05 3.08 5/251 38820
/proc/meminfo: memFree=128154584/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=330600 memory=315012 CPUtime=101.98 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 77017 0 0 0 10185 13 0 0 20 0 1 0 42611719 338534400 78753 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 82650 78753 2688 2575 0 79557 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 330600 KiB
Current children cumulated memory: 315012 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.06 3.15 5/252 38823
/proc/meminfo: memFree=128129532/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=330600 memory=315140 CPUtime=161.78 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 77055 0 0 0 16164 14 0 0 20 0 1 0 42611719 338534400 78785 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 82650 78785 2688 2575 0 79557 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 330600 KiB
Current children cumulated memory: 315140 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.07 3.21 5/251 38876
/proc/meminfo: memFree=128374504/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=330600 memory=315268 CPUtime=221.58 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 77065 0 0 0 22144 14 0 0 20 0 1 0 42611719 338534400 78817 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 82650 78817 2688 2575 0 79557 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 330600 KiB
Current children cumulated memory: 315268 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.07 3.27 5/251 38878
/proc/meminfo: memFree=128267716/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=330600 memory=315268 CPUtime=281.38 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 77082 0 0 0 28123 15 0 0 20 0 1 0 42611719 338534400 78817 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 82650 78817 2688 2575 0 79557 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 330600 KiB
Current children cumulated memory: 315268 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.09 3.33 5/251 38880
/proc/meminfo: memFree=128259840/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=330600 memory=315268 CPUtime=341.17 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 77098 0 0 0 34101 16 0 0 20 0 1 0 42611719 338534400 78817 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 82650 78817 2688 2575 0 79557 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 330600 KiB
Current children cumulated memory: 315268 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.09 3.38 5/252 38883
/proc/meminfo: memFree=128170104/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=364048 memory=350212 CPUtime=400.98 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 85819 0 0 0 40079 19 0 0 20 0 1 0 42611719 372785152 87553 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 91012 87553 2688 2575 0 87919 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 364048 KiB
Current children cumulated memory: 350212 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 3.43 5/251 38885
/proc/meminfo: memFree=128134124/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=389488 memory=376580 CPUtime=460.78 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 92427 0 0 0 46056 22 0 0 20 0 1 0 42611719 398835712 94145 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 97372 94145 2688 2575 0 94279 0
Current children cumulated CPU time: 460.78 s

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

/proc/loadavg: 4.06 4.16 4.09 5/250 39335
/proc/meminfo: memFree=128372240/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=474660 memory=466436 CPUtime=3152.97 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 115104 0 0 0 315261 36 0 0 20 0 1 0 42611719 486051840 116609 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 118665 116609 2688 2575 0 115572 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 474660 KiB
Current children cumulated memory: 466436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/251 39338
/proc/meminfo: memFree=128339992/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=475656 memory=467460 CPUtime=3212.76 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 115531 0 0 0 321240 36 0 0 20 0 1 0 42611719 487071744 116865 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 118914 116865 2688 2575 0 115821 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 475656 KiB
Current children cumulated memory: 467460 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/252 39347
/proc/meminfo: memFree=128304400/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=476160 memory=467460 CPUtime=3272.56 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 115554 0 0 0 327219 37 0 0 20 0 1 0 42611719 487587840 116865 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119040 116865 2688 2575 0 115947 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 467460 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/252 39349
/proc/meminfo: memFree=128300400/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=470404 CPUtime=3332.35 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116392 0 0 0 333198 37 0 0 20 0 1 0 42611719 490725376 117601 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117601 2688 2575 0 116713 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 470404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/251 39351
/proc/meminfo: memFree=128283940/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471684 CPUtime=3392.17 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116610 0 0 0 339180 37 0 0 20 0 1 0 42611719 490725376 117921 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117921 2688 2575 0 116713 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471684 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 39353
/proc/meminfo: memFree=128251436/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3452.01 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116628 0 0 0 345164 37 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/250 39355
/proc/meminfo: memFree=128259312/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3511.85 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116814 0 0 0 351147 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/249 39357
/proc/meminfo: memFree=128258328/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3571.69 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 357131 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

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

# cumulated CPU time of all completed processes:  user=3586.23 s, system=0.385478 s

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

[startup+3584 s]*
/proc/loadavg: 4.05 4.10 4.09 5/249 39357
/proc/meminfo: memFree=128258336/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3573.4 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 357302 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3590.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/249 39357
/proc/meminfo: memFree=128241200/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3579.77 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 357939 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3579.77 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3593.6 s]
/proc/loadavg: 4.05 4.09 4.09 5/249 39357
/proc/meminfo: memFree=128241208/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3582.96 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 358258 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3582.96 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3595.2 s]
/proc/loadavg: 4.04 4.09 4.08 5/249 39357
/proc/meminfo: memFree=128241208/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3584.55 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 358417 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3596 s]*
/proc/loadavg: 4.04 4.09 4.08 5/249 39357
/proc/meminfo: memFree=128239192/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3585.36 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 358498 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3596.8 s]
/proc/loadavg: 4.04 4.09 4.08 5/249 39357
/proc/meminfo: memFree=128239192/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3586.15 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 358577 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

[startup+3597.2 s]
/proc/loadavg: 4.04 4.09 4.08 5/249 39357
/proc/meminfo: memFree=128239192/131382112 swapFree=33010684/33010684
[pid=38815] ppid=38812 vsize=479224 memory=471812 CPUtime=3586.55 cores=4,6
/proc/38815/stat : 38815 (pbsolver) R 38812 38815 38426 0 -1 4194304 116829 0 0 0 358617 38 0 0 20 0 1 0 42611719 490725376 117953 18446744073709551615 4198400 14743177 140727379013968 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53723136 140727379016074 140727379016170 140727379016170 140727379021772 0
/proc/38815/statm: 119806 117953 2688 2575 0 116713 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 479224 KiB
Current children cumulated memory: 471812 KiB

Child status: 0

Real time (s): 3597.26
CPU time (s): 3586.62
CPU user time (s): 3586.23
CPU system time (s): 0.385478
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 479224
Max. memory (cumulated for all children) (KiB): 471812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.23
system time used= 0.385478
maximum resident set size= 471812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116850
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= 24
involuntary context switches= 19245


# summary of solver processes directly reported to runsolver:
#   pid: 38815
#   total CPU time (s): 3586.62
#   total CPU user time (s): 3586.23
#   total CPU system time (s): 0.385478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4337 second user time and 31.5972 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-30 09:42:03
IDJOB=4498361
IDBENCH=148639
IDSOLVER=3366
FILE ID=nodeC005/4498361-1751269323
RUNJOBID= nodeC005-1751268232-38444
SLURM_JOB_ID= 9594172
Free space on /tmp= 433016 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498361-1751269323/watcher-4498361-1751269323 -o /tmp/evaluation-result-4498361-1751269323/solver-4498361-1751269323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751268232-38444 --watchdog 3760  pbsolver -f HOME/instance-4498361-1751269323.opb -t 3600 -m 31000

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

MD5SUM BENCH= 763c698584b52ae611e381227b838c50
RANDOM SEED=497536264

nodeC005 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	: 0xb00001f
cpu MHz		: 3663.007
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3691.427
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.533
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3491.949
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3691.488
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.895
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128524272 kB
MemAvailable:   128687332 kB
Buffers:            3280 kB
Cached:           965396 kB
SwapCached:            0 kB
Active:          1526812 kB
Inactive:         717504 kB
Active(anon):    1293604 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   717504 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15104 kB
Writeback:             0 kB
AnonPages:       1276348 kB
Mapped:           134948 kB
Shmem:             17960 kB
KReclaimable:     103948 kB
Slab:             185984 kB
SReclaimable:     103948 kB
SUnreclaim:        82036 kB
KernelStack:        4032 kB
PageTables:         5584 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1663200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    935936 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC005 at 2025-06-30 10:42:01