Trace number 4432934

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 2024-07-07? 3589.69 3598.41

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark1995.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
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 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432934-1721171398.opb>
0.29/0.35	c original problem has 175232 variables (175232 bin, 0 int, 0 impl, 0 cont) and 2994 constraints
0.29/0.35	c problem read in 0.35
0.69/0.75	c presolving:
1.09/1.15	c (round 1, fast)       617 del vars, 0 del conss, 0 add conss, 617 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26150 clqs
1.39/1.46	c    (1.5s) running MILP presolver
2.48/2.52	c    (2.5s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
2.58/2.62	c (round 2, medium)     617 del vars, 2994 del conss, 1626 add conss, 617 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26150 clqs
2.98/3.03	c (round 3, exhaustive) 617 del vars, 2994 del conss, 1626 add conss, 617 chg bounds, 1 chg sides, 0 chg coeffs, 1626 upgd conss, 0 impls, 26150 clqs
28.81/28.93	c    (28.9s) probing: 1000/174615 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
28.81/28.95	c    (29.0s) probing: 1001/174615 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
28.81/28.95	c    (29.0s) probing aborted: 1000/1000 successive useless probings
29.02/29.11	c    (29.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
220.69/221.24	c    (221.2s) symmetry computation finished: 366 generators found (max: 366, log10 of symmetry group size: 1540.0) (symcode time: 191.88)
220.99/221.56	c dynamic symmetry handling statistics:
220.99/221.56	c    orbitopal reduction:       44 components: 128x3, 127x22, 128x10, 128x15, 127x10, 126x5, 127x13, 127x10, 127x9, 128x10, 127x4, 127x16, 128x4, 128x10, 127x10, 127x10, 128x11, 128x12, 127x12, 126x7, 128x7, 127x3, 128x14, 127x10, 127x20, 127x6, 128x8, 128x3, 128x9, 128x10, 127x9, 128x3, 128x8, 127x4, 127x3, 127x8, 128x9, 128x10, 128x5, 127x10, 128x6, 127x10, 128x10, 127x4
220.99/221.56	c    orbital reduction:          1 components of sizes 12
220.99/221.56	c    lexicographic reduction:   18 permutations with support sizes 256, 254, 254, 254, 254, 252, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256
220.99/221.56	c handled 51 out of 51 symmetry components
221.19/221.70	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
221.19/221.70	c  617 deleted vars, 2994 deleted constraints, 1626 added constraints, 617 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
221.19/221.70	c  0 implications, 156317 cliques
221.19/221.70	c presolved problem has 174615 variables (174615 bin, 0 int, 0 impl, 0 cont) and 1626 constraints
221.19/221.70	c     258 constraints of type <knapsack>
221.19/221.70	c    1368 constraints of type <setppc>
221.19/221.70	c transformed objective value is always integral (scale: 1)
221.19/221.70	c Presolving Time: 221.01
221.19/221.70	c - non default parameters ----------------------------------------------------------------------
221.19/221.70	c # SCIP version 10.0.0
221.19/221.70	c 
221.19/221.70	c # maximal time in seconds to run
221.19/221.70	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
221.19/221.70	c limits/time = 3596.99701
221.19/221.70	c 
221.19/221.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
221.19/221.70	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
221.19/221.70	c limits/memory = 27900
221.19/221.70	c 
221.19/221.70	c # belongs reading time to solving time?
221.19/221.70	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
221.19/221.70	c timing/reading = TRUE
221.19/221.70	c 
221.19/221.70	c -----------------------------------------------------------------------------------------------
221.19/221.70	c start solving
221.19/221.74	c 
249.92/250.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
249.92/250.51	c   251s|     1 |     0 | 10846 |     - |  1735M |   0 | 174k|1671 |1626 |   0 |  0 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
263.88/264.50	c   264s|     1 |     0 | 15312 |     - |  1847M |   0 | 174k|1671 |1760 | 134 |  1 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
283.03/283.76	c   284s|     1 |     0 | 19359 |     - |  1899M |   0 | 174k|1669 |1892 | 266 |  2 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
294.10/294.86	c   295s|     1 |     0 | 22095 |     - |  1942M |   0 | 174k|1668 |2026 | 400 |  3 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
301.58/302.30	c   302s|     1 |     0 | 23953 |     - |  1972M |   0 | 174k|1667 |2158 | 532 |  4 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
314.06/314.85	c   315s|     1 |     0 | 26415 |     - |  2002M |   0 | 174k|1667 |2293 | 667 |  5 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
332.32/333.13	c   333s|     1 |     0 | 29079 |     - |  2039M |   0 | 174k|1667 |2428 | 802 |  6 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
344.29/345.12	c   345s|     1 |     0 | 31022 |     - |  2081M |   0 | 174k|1667 |2551 | 925 |  7 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
352.46/353.30	c   353s|     1 |     0 | 32711 |     - |  2111M |   0 | 174k|1667 |2680 |1054 |  8 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
371.12/372.05	c   372s|     1 |     0 | 36898 |     - |  2132M |   0 | 174k|1667 |2808 |1182 |  9 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
384.89/385.88	c   386s|     1 |     0 | 39398 |     - |  2164M |   0 | 174k|1667 |2935 |1309 | 10 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
398.56/399.55	c   400s|     1 |     0 | 42425 |     - |  2172M |   0 | 174k|1656 |3061 |1435 | 11 | 155 |   0 | 1.260000e+02 |      --      |    Inf | unknown
620.34/621.81	c   622s|     1 |     2 | 58857 |     - |  2175M |   0 | 174k|1656 |3061 |1435 | 11 | 155 |  40 | 1.260000e+02 |      --      |    Inf | unknown
1009.28/1011.72	c  1012s|   100 |    89 |133849 | 929.1 |  2191M |  22 | 174k|1649 |   0 |2765 |  0 | 155 |  40 | 1.260000e+02 |      --      |    Inf |  12.53%
2194.46/2199.89	c  2200s|   200 |   161 |413793 |1869.0 |  2249M |  45 | 174k|1660 |1990 |3393 |  1 | 166 |  40 | 1.260000e+02 |      --      |    Inf |  12.53%
3588.28/3597.00	c 
3588.28/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.28/3597.00	c Solving Time (sec) : 3597.00
3588.28/3597.00	c Solving Nodes      : 266
3588.28/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3588.28/3597.00	c Dual Bound         : +1.26000000000000e+02
3588.28/3597.00	c Gap                : infinite
3588.28/3597.00	s UNKNOWN
3588.28/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.28/3597.00	c Total Time         :    3597.00
3588.28/3597.00	c   solving          :    3597.00
3588.28/3597.00	c   presolving       :     221.01 (included in solving)
3588.28/3597.00	c   reading          :       0.35 (included in solving)
3588.28/3597.00	c   copying          :       0.79 (3 #copies) (minimal 0.26, maximal 0.26, average 0.26)
3588.28/3597.00	c Original Problem   :
3588.28/3597.00	c   Problem name     : HOME/instance-4432934-1721171398.opb
3588.28/3597.00	c   Variables        : 175232 (175232 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.28/3597.00	c   Constraints      : 2994 initial, 2994 maximal
3588.28/3597.01	c   Objective        : minimize, 128 non-zeros (abs.min = 1, abs.max = 1)
3588.28/3597.01	c Presolved Problem  :
3588.28/3597.01	c   Problem name     : t_HOME/instance-4432934-1721171398.opb
3588.28/3597.01	c   Variables        : 174615 (174615 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.28/3597.01	c   Constraints      : 1626 initial, 1750 maximal
3588.28/3597.01	c   Objective        : minimize, 128 non-zeros (abs.min = 1, abs.max = 1)
3588.28/3597.01	c   Nonzeros         : 522309 constraint, 1092916 clique table
3588.28/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.28/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   domcol           :       0.30       0.00      1          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   dualsparsify     :       0.15       0.00      1          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   implics          :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   milp             :       1.34       0.00      1          0          0          0          0          0       2994       1626          0          0
3588.28/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   sparsify         :       0.69       0.00      1          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   trivial          :       0.02       0.00      4          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   dualfix          :       0.02       0.00      4          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   probing          :      24.28       0.01      1          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   symmetry         :     192.45       0.00      1          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   vbounds          :       0.20       0.00      2          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   knapsack         :       0.45       0.02      3          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   setppc           :       0.08       0.01      3          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   linear           :       0.73       0.08      4        617          0          0        617          0          0          0          1          0
3588.28/3597.01	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   components       :       0.10       0.00      1          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.28/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.28/3597.01	c   benderslp        :          0          0          0          0        239          0          0         61          0          0          0          0          0          0          0
3588.28/3597.01	c   integral         :          0          0          0          0        239          0          0         61          0          0          0          0          0          0        478
3588.28/3597.01	c   knapsack         :        258        258         11     313718          0          0          0         57      52292         31      38668       2252         71          0          0
3588.28/3597.01	c   setppc           :       1368       1368         11     313687          0          0          0          1        755          0      32146          0          0          0          0
3588.28/3597.01	c   linear           :          0+         2          0       6680          0          0          0          3          0         13          0          0          0          0          0
3588.28/3597.01	c   logicor          :          0+       123         11        147          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.28/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   integral         :     192.34       0.00       0.00       0.00     192.34       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   knapsack         :       1.85       0.02       0.24       1.41       0.00       0.00       0.00       0.02       0.15       0.01
3588.28/3597.01	c   setppc           :       0.88       0.01       0.04       0.83       0.00       0.00       0.00       0.00       0.00       0.01
3588.28/3597.01	c   linear           :       0.10       0.08       0.00       0.01       0.00       0.00       0.00       0.01       0.00       0.00
3588.28/3597.01	c   logicor          :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.28/3597.01	c   dualfix          :          1          0          0          0
3588.28/3597.01	c   genvbounds       :          0          0          0          0
3588.28/3597.01	c   nlobbt           :          0          0          0          0
3588.28/3597.01	c   obbt             :          0          0          0          0
3588.28/3597.01	c   probing          :          0          0          0          0
3588.28/3597.01	c   pseudoobj        :        761          0          0          0
3588.28/3597.01	c   redcost          :        543          0          0          0
3588.28/3597.01	c   rootredcost      :          1          0          0          0
3588.28/3597.01	c   symmetry         :       1274          0         16        173
3588.28/3597.01	c   vbounds          :       7708          0          0          0
3588.28/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.28/3597.01	c   dualfix          :       0.03       0.00       0.02       0.01       0.00       0.00
3588.28/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3588.28/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.28/3597.01	c   probing          :      24.29       0.01      24.28       0.00       0.00       0.00
3588.28/3597.01	c   pseudoobj        :       4.14       0.00       0.00       4.14       0.00       0.00
3588.28/3597.01	c   redcost          :       4.09       0.00       0.00       4.09       0.00       0.00
3588.28/3597.01	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3588.28/3597.01	c   symmetry         :     192.61       0.00     192.45       0.16       0.00       0.00
3588.28/3597.01	c   vbounds          :       0.27       0.00       0.20       0.07       0.00       0.00
3588.28/3597.01	c Symmetry           :
3588.28/3597.01	c   orbitopal red.   :        173 reductions applied,         16 cutoffs
3588.28/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.28/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.28/3597.01	c   shadow tree time :       0.00 s
3588.28/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.28/3597.01	c   propagation      :       0.22         28         18          -       1647      939.4          0        0.0          -          -          -
3588.28/3597.01	c   infeasible LP    :       2.05          4          4          -        588     8889.0          0        0.0          3     5954.3          0
3588.28/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.28/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.28/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.28/3597.01	c   applied globally :       0.01          -          -          0        173      732.5          -          -          3          -          -
3588.28/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3588.28/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.28/3597.01	c   cut pool         :       2.25          -         86         21          -          -       9571      29323          -          -          -          -          -    (maximal pool size:       9571)
3588.28/3597.01	c   aggregation      :       3.41       0.00         22         11          0          0       5929      18174          2       3174       3174          0          0
3588.28/3597.01	c   > cmir           :          -          -          -          -          -          -          -      11700          2       1517       1517          0          -
3588.28/3597.01	c   > flowcover      :          -          -          -          -          -          -          -       5272          0       1393       1393          0          -
3588.28/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -       1202          0        264        264          0          -
3588.28/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   clique           :       1.73       0.00         11         11          0          0         41        180          0         52         52          0          0
3588.28/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   gomory           :       9.16       0.00         21         10          0          0       2553       6262          7        437        435          2          0
3588.28/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       4996          6        332        331          1          -
3588.28/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       1266          1        105        104          1          -
3588.28/3597.01	c   impliedbounds    :       0.37       0.00         22         11          0          0       1039       4653          0        360        360          0          0
3588.28/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   mcf              :       0.03       0.00          1          1          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   multilinear      :       0.00       0.00         20         11          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   rlt              :       0.00       0.00         16         10          0          0          0          0          0          0          0          0          0
3588.28/3597.01	c   zerohalf         :       1.68       0.00         22         11          0          0         28         54         10         16         11          5          0
3588.28/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.28/3597.01	c   hybrid           :       1.22       0.00         65         11       4110          0      27484       1435          0      14196
3588.28/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.28/3597.01	c   problem variables:       0.00          -          0          0
3588.28/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.28/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c   relpscost        :     192.34       0.00        239          0          0          0          0          0          0        478
3588.28/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.28/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.28/3597.01	c   LP solutions     :       0.00          -          -          0          0
3588.28/3597.01	c   relax solutions  :       0.00          -          -          0          0
3588.28/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3588.28/3597.01	c   strong branching :       0.01          -          -          0          0
3588.28/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3588.28/3597.01	c   adaptivediving   :      90.11       0.00          2          0          0
3588.28/3597.01	c   alns             :      33.28       0.00          2          0          0
3588.28/3597.01	c   bound            :       0.00       0.00          0          0          0
3588.28/3597.01	c   clique           :       1.59       0.00          1          0          0
3588.28/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3588.28/3597.01	c   completesol      :       0.00       0.00          0          0          0
3588.28/3597.01	c   conflictdiving   :      71.42       0.00          2          0          0
3588.28/3597.01	c   crossover        :       0.00       0.00          0          0          0
3588.28/3597.01	c   dins             :       0.00       0.00          0          0          0
3588.28/3597.01	c   distributiondivin:      20.11       0.00          1          0          0
3588.28/3597.01	c   dps              :       0.00       0.00          0          0          0
3588.28/3597.01	c   dualval          :       0.00       0.00          0          0          0
3588.28/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3588.28/3597.01	c   feasjump         :       0.42       0.00          1          0          0
3588.28/3597.01	c   feaspump         :       4.18       0.00          1          0          0
3588.28/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3588.28/3597.01	c   fracdiving       :      12.91       0.00          1          0          0
3588.28/3597.01	c   gins             :       0.00       0.00          0          0          0
3588.28/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3588.28/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.28/3597.01	c   indicator        :       0.00       0.00          0          0          0
3588.28/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3588.28/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3588.28/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3588.28/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3588.28/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3588.28/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3588.28/3597.01	c   linesearchdiving :      71.53       0.00          1          0          0
3588.28/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3588.28/3597.01	c   locks            :       0.80       0.00          1          0          0
3588.28/3597.01	c   lpface           :       0.10       0.00          0          0          0
3588.28/3597.01	c   mpec             :       0.00       0.00          0          0          0
3588.28/3597.01	c   multistart       :       0.00       0.00          0          0          0
3588.28/3597.01	c   mutation         :       0.00       0.00          0          0          0
3588.28/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3588.28/3597.01	c   objpscostdiving  :      21.63       0.00          1          0          0
3588.28/3597.01	c   octane           :       0.00       0.00          0          0          0
3588.28/3597.01	c   ofins            :       0.00       0.00          0          0          0
3588.28/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3588.28/3597.01	c   padm             :       0.00       0.00          0          0          0
3588.28/3597.01	c   proximity        :       0.00       0.00          0          0          0
3588.28/3597.01	c   pscostdiving     :     174.39       0.00          2          0          0
3588.28/3597.01	c   randrounding     :       0.96       0.00         54          0          0
3588.28/3597.01	c   rens             :       0.74       0.00          1          0          0
3588.28/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3588.28/3597.01	c   repair           :       0.00       0.00          0          0          0
3588.28/3597.01	c   rins             :       0.00       0.00          0          0          0
3588.28/3597.01	c   rootsoldiving    :      69.92       0.00          1          0          0
3588.28/3597.01	c   rounding         :       0.19       0.00        201          0          0
3588.28/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3588.28/3597.01	c   shiftandpropagate:       0.50       0.00          1          0          0
3588.28/3597.01	c   shifting         :      11.51       0.00         93          0          0
3588.28/3597.01	c   simplerounding   :       0.00       0.00        304          0          0
3588.28/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3588.28/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3588.28/3597.01	c   trivial          :       0.10       0.00          2          0          0
3588.28/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3588.28/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3588.28/3597.01	c   trysol           :       0.00       0.00          0          0          0
3588.28/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3588.28/3597.01	c   undercover       :       0.00       0.00          0          0          0
3588.28/3597.01	c   vbounds          :       3.88       0.00          1          0          0
3588.28/3597.01	c   veclendiving     :      52.59       0.00          1          0          0
3588.28/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3588.28/3597.01	c   zirounding       :       0.09       0.00        239          0          0
3588.28/3597.01	c   other solutions  :          -          -          -          0          -
3588.28/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.28/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.28/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3588.28/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.28/3597.01	c   primal LP        :       0.59         36          0       0.00       0.00       0.59         36
3588.28/3597.01	c   dual LP          :    2502.26        305     542313    1778.08     216.73       0.00          0
3588.28/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3588.28/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.28/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3588.28/3597.01	c   diving/probing LP:     565.69        526     204098     388.02     360.79
3588.28/3597.01	c   strong branching :     189.82         40       9396     234.90      49.50          -          -          3
3588.28/3597.01	c     (at root node) :          -         40       9396     234.90          -
3588.28/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3588.28/3597.01	c B&B Tree           :
3588.28/3597.01	c   number of runs   :          1
3588.28/3597.01	c   nodes            :        266 (239 internal, 27 leaves)
3588.28/3597.01	c   feasible leaves  :          0
3588.28/3597.01	c   infeas. leaves   :         26
3588.28/3597.01	c   objective leaves :          0
3588.28/3597.01	c   nodes (total)    :        266 (239 internal, 27 leaves)
3588.28/3597.01	c   nodes left       :        214
3588.28/3597.01	c   max depth        :         45
3588.28/3597.01	c   max depth (total):         45
3588.28/3597.01	c   backtracks       :         13 (4.9%)
3588.28/3597.01	c   early backtracks :          0 (0.0%)
3588.28/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3588.28/3597.01	c   delayed cutoffs  :          0
3588.28/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.28/3597.01	c   avg switch length:       2.09
3588.28/3597.01	c   switching time   :       0.98
3588.28/3597.01	c Root Node          :
3588.28/3597.01	c   First LP value   : +1.26000000000000e+02
3588.28/3597.01	c   First LP Iters   :      10289 (595.01 Iter/sec)
3588.28/3597.01	c   First LP Time    :      17.29
3588.28/3597.01	c   Final Dual Bound : +1.26000000000000e+02
3588.28/3597.01	c   Final Root Iters :      41868
3588.28/3597.01	c   Root LP Estimate : +1.26004804349889e+02
3588.28/3597.01	c Solution           :
3588.28/3597.01	c   Solutions found  :          0 (0 improvements)
3588.28/3597.01	c   Primal Bound     :          -
3588.28/3597.01	c   Dual Bound       : +1.26000000000000e+02
3588.28/3597.01	c   Gap              :   infinite
3588.28/3597.01	c Integrals          :      Total       Avg%
3588.28/3597.01	c   primal-dual      :  359700.05     100.00
3588.28/3597.01	c   primal-ref       :          -          - (not evaluated)
3588.28/3597.01	c   dual-ref         :          -          - (not evaluated)
3589.67/3598.40	c Time complete: 3589.68.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59367 MiB free)
  memory of node 1: 64510 MiB (56230 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432934-1721171398/watcher-4432934-1721171398 -o /tmp/evaluation-result-4432934-1721171398/solver-4432934-1721171398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900913 --watchdog 3760 pbscip -f HOME/instance-4432934-1721171398.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=905988, runsolver pid=905985

[startup+0.100114 s]*
/proc/loadavg: 4.17 4.19 4.16 5/255 905989
/proc/meminfo: memFree=118266464/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=164680 memory=123324 CPUtime=0.09 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 27851 0 0 0 6 3 0 0 20 0 1 0 169301701 168632320 30831 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 41170 30831 3260 3540 0 29427 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 164680 KiB
Current children cumulated memory: 123324 KiB

[startup+0.205649 s]*
/proc/loadavg: 4.17 4.19 4.16 5/255 905989
/proc/meminfo: memFree=118195064/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=231924 memory=189528 CPUtime=0.2 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 44454 0 0 0 14 6 0 0 20 0 1 0 169301701 237490176 47382 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 57981 47382 3260 3540 0 46238 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 231924 KiB
Current children cumulated memory: 189528 KiB

[startup+0.305414 s]*
/proc/loadavg: 4.17 4.19 4.16 5/255 905989
/proc/meminfo: memFree=118188204/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=239124 memory=196920 CPUtime=0.29 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 46296 0 0 0 23 6 0 0 20 0 1 0 169301701 244862976 49230 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 59781 49230 3260 3540 0 48038 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 239124 KiB
Current children cumulated memory: 196920 KiB

[startup+0.700208 s]
/proc/loadavg: 4.17 4.19 4.16 5/255 905989
/proc/meminfo: memFree=118044508/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=478996 memory=438528 CPUtime=0.69 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 107156 0 0 0 55 14 0 0 20 0 1 0 169301701 490491904 109632 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 119749 109632 3564 3540 0 108006 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 478996 KiB
Current children cumulated memory: 438528 KiB

[startup+1.50021 s]
/proc/loadavg: 4.17 4.19 4.16 5/257 905993
/proc/meminfo: memFree=117914084/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=668112 memory=619692 CPUtime=1.49 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 136212 0 0 0 128 21 0 0 20 0 1 0 169301701 684146688 154923 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 167028 154923 3707 3540 0 155285 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 668112 KiB
Current children cumulated memory: 619692 KiB

[startup+3.10556 s]
/proc/loadavg: 4.16 4.19 4.15 5/257 905994
/proc/meminfo: memFree=117806580/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=624376 memory=578688 CPUtime=3.08 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 136954 0 0 0 287 21 0 0 20 0 1 0 169301701 639361024 144672 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 156094 144672 3771 3540 0 144351 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 624376 KiB
Current children cumulated memory: 578688 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.19 4.15 5/257 905994
/proc/meminfo: memFree=117406044/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=1061152 memory=978304 CPUtime=6.28 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 192440 0 0 0 595 33 0 0 20 0 1 0 169301701 1086619648 244576 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 265288 244576 3803 3540 0 253545 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1061152 KiB
Current children cumulated memory: 978304 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.18 4.15 5/257 905996
/proc/meminfo: memFree=117404840/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=1062176 memory=979240 CPUtime=12.65 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 192719 0 0 0 1232 33 0 0 20 0 1 0 169301701 1087668224 244810 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 265544 244810 3803 3540 0 253801 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1062176 KiB
Current children cumulated memory: 979240 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.15 5/257 905997
/proc/meminfo: memFree=117404852/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=1062176 memory=979332 CPUtime=25.42 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 192780 0 0 0 2508 34 0 0 20 0 1 0 169301701 1087668224 244833 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 265544 244833 3803 3540 0 253801 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1062176 KiB
Current children cumulated memory: 979332 KiB

[startup+51.1053 s]
/proc/loadavg: 4.14 4.18 4.15 5/257 906002
/proc/meminfo: memFree=117014024/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=1521328 memory=1357892 CPUtime=50.97 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 275917 0 0 0 5050 47 0 0 20 0 1 0 169301701 1557839872 339473 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 380332 339473 3819 3540 0 368589 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1521328 KiB
Current children cumulated memory: 1357892 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/257 906012
/proc/meminfo: memFree=117011984/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=1521332 memory=1359688 CPUtime=102.06 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 276328 0 0 0 10158 48 0 0 20 0 1 0 169301701 1557843968 339922 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 380333 339922 3819 3540 0 368590 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1521332 KiB
Current children cumulated memory: 1359688 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/256 906022
/proc/meminfo: memFree=117011704/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=1521336 memory=1359688 CPUtime=161.92 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 276341 0 0 0 16144 48 0 0 20 0 1 0 169301701 1557848064 339922 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 380334 339922 3819 3540 0 368591 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 1521336 KiB
Current children cumulated memory: 1359688 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.15 5/256 906033
/proc/meminfo: memFree=117029168/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=1500592 memory=1341920 CPUtime=221.78 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 277569 0 0 0 22129 49 0 0 20 0 1 0 169301701 1536606208 335480 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 375148 335480 3819 3540 0 363405 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 1500592 KiB
Current children cumulated memory: 1341920 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/256 906045
/proc/meminfo: memFree=116542448/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2068132 memory=1822200 CPUtime=281.64 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 376742 0 0 0 28098 66 0 0 20 0 1 0 169301701 2117767168 455550 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 517033 455550 3995 3540 0 505290 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 2068132 KiB
Current children cumulated memory: 1822200 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/254 906055
/proc/meminfo: memFree=116370372/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2245332 memory=1993392 CPUtime=341.49 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 416343 0 0 0 34077 72 0 0 20 0 1 0 169301701 2299219968 498348 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 561333 498348 3995 3540 0 549590 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 2245332 KiB
Current children cumulated memory: 1993392 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/254 906065
/proc/meminfo: memFree=116264196/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2344580 memory=2099108 CPUtime=401.35 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 438787 0 0 0 40058 77 0 0 20 0 1 0 169301701 2400849920 524777 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 586145 524777 3995 3540 0 574402 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 2344580 KiB
Current children cumulated memory: 2099108 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/255 906077
/proc/meminfo: memFree=116129584/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2477804 memory=2233172 CPUtime=461.19 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 613900 0 0 0 46018 101 0 0 20 0 1 0 169301701 2537271296 558293 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 619451 558293 4011 3540 0 607708 0

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

/proc/loadavg: 4.13 4.14 4.16 5/258 907931
/proc/meminfo: memFree=118940836/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3154.64 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 741792 0 0 0 315339 125 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/256 907941
/proc/meminfo: memFree=118829560/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3214.49 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 742403 0 0 0 321324 125 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3214.49 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/256 907953
/proc/meminfo: memFree=118852444/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3274.35 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 743475 0 0 0 327309 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/254 907963
/proc/meminfo: memFree=118850660/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3334.2 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 744023 0 0 0 333294 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3334.2 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/254 907973
/proc/meminfo: memFree=118849128/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3394.05 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 744416 0 0 0 339279 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/254 907984
/proc/meminfo: memFree=118848364/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3453.9 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 745447 0 0 0 345264 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3453.9 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/255 907995
/proc/meminfo: memFree=118845524/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3513.75 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 746102 0 0 0 351249 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/255 908006
/proc/meminfo: memFree=118840112/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3573.61 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 746873 0 0 0 357235 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

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

# cumulated CPU time of all completed processes:  user=3588.41 s, system=1.28251 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.15 5/255 908006
/proc/meminfo: memFree=118840124/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3575.31 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 746873 0 0 0 357405 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3575.31 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.14 4.15 5/255 908006
/proc/meminfo: memFree=118840048/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3581.69 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 747059 0 0 0 358043 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3581.69 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.15 4.16 5/255 908007
/proc/meminfo: memFree=118839940/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3584.88 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 747059 0 0 0 358362 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3596.8 s]
/proc/loadavg: 4.18 4.15 4.16 5/255 908007
/proc/meminfo: memFree=118839948/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3588.08 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 747059 0 0 0 358682 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3597.6 s]
/proc/loadavg: 4.18 4.15 4.16 5/255 908007
/proc/meminfo: memFree=118839940/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3588.88 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 747213 0 0 0 358762 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3588.88 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3598 s]*
/proc/loadavg: 4.17 4.15 4.16 5/255 908007
/proc/meminfo: memFree=118839940/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2907836 memory=2743336 CPUtime=3589.28 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 747300 0 0 0 358802 126 0 0 20 0 1 0 169301701 2977624064 685834 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 726959 685834 4043 3540 0 715216 0
Current children cumulated CPU time: 3589.28 s
Current children cumulated vsize: 2907836 KiB
Current children cumulated memory: 2743336 KiB

[startup+3598.4 s]
/proc/loadavg: 4.17 4.15 4.16 5/255 908007
/proc/meminfo: memFree=118839940/131524600 swapFree=131071996/131071996
[pid=905988] ppid=905985 vsize=2425932 memory=2371484 CPUtime=3589.67 cores=4,6
/proc/905988/stat : 905988 (pbscip) R 905985 905988 900902 0 -1 4194304 747431 0 0 0 358840 127 0 0 20 0 1 0 169301701 2484154368 592871 134679101440 4194304 18693293 140722907189728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 44941312 140722907194372 140722907194471 140722907194471 140722907201486 0
/proc/905988/statm: 606483 592871 4043 3540 0 594740 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 2425932 KiB
Current children cumulated memory: 2371484 KiB

Child status: 0

Real time (s): 3598.41
CPU time (s): 3589.69
CPU user time (s): 3588.41
CPU system time (s): 1.28251
CPU usage (%): 99.7578
Max. virtual memory (cumulated for all children) (KiB): 2907836
Max. memory (cumulated for all children) (KiB): 2743336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.41
system time used= 1.28251
maximum resident set size= 2743336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 747437
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= 25
involuntary context switches= 2890


# summary of solver processes directly reported to runsolver:
#   pid: 905988
#   total CPU time (s): 3589.69
#   total CPU user time (s): 3588.41
#   total CPU system time (s): 1.28251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46052 second user time and 14.8908 second system time

The end

Launcher Data

Begin job on nodeC017 at 2024-07-17 01:10:11
IDJOB=4432934
IDBENCH=158606
IDSOLVER=3059
FILE ID=nodeC017/4432934-1721171398
RUNJOBID= nodeC017-1721164808-900913
SLURM_JOB_ID= 7505785
Free space on /tmp= 890004 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432934-1721171398/watcher-4432934-1721171398 -o /tmp/evaluation-result-4432934-1721171398/solver-4432934-1721171398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900913 --watchdog 3760  pbscip -f HOME/instance-4432934-1721171398.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=155842227

nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.089
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.293
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.321
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.138
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.489
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.316
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.393
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.976
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118372504 kB
MemAvailable:   123091860 kB
Buffers:          442768 kB
Cached:          5064392 kB
SwapCached:            0 kB
Active:          1027664 kB
Inactive:       11407912 kB
Active(anon):       1544 kB
Inactive(anon):  6964576 kB
Active(file):    1026120 kB
Inactive(file):  4443336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             26232 kB
Writeback:             4 kB
AnonPages:       6928376 kB
Mapped:           140152 kB
Shmem:             37720 kB
KReclaimable:     179092 kB
Slab:             295512 kB
SReclaimable:     179092 kB
SUnreclaim:       116420 kB
KernelStack:        4064 kB
PageTables:        23208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7667048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62912 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4306944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      246484 kB
DirectMap2M:    33081344 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC017 at 2024-07-17 02:10:10