Trace number 4485330

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? 3586.85 3597.29

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUM46c70d7f28752ee0ae29660ce5b35655
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 benchmark7149108224
Best CPU time to get the best result obtained on this benchmark72002.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
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 constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4485330-1751313715.opb>
0.08/0.20	c original problem has 107808 variables (107808 bin, 0 int, 0 impl, 0 cont) and 3904 constraints
0.08/0.20	c problem read in 0.18
0.38/0.42	c presolving:
0.48/0.59	c (round 1, fast)       38150 del vars, 16 del conss, 304 add conss, 37878 chg bounds, 0 chg sides, 2816 chg coeffs, 0 upgd conss, 0 impls, 16110 clqs
0.57/0.61	c (round 2, fast)       39004 del vars, 16 del conss, 336 add conss, 38732 chg bounds, 0 chg sides, 2816 chg coeffs, 0 upgd conss, 0 impls, 16848 clqs
0.57/0.69	c    (0.7s) running MILP presolver
1.75/1.85	c    (1.8s) MILP presolver (13 rounds): 0 aggregations, 5992 fixings, 0 bound changes
1.75/1.86	c (round 3, medium)     44996 del vars, 16 del conss, 336 add conss, 38732 chg bounds, 0 chg sides, 2816 chg coeffs, 0 upgd conss, 0 impls, 10828 clqs
1.75/1.89	c (round 4, fast)       44996 del vars, 16 del conss, 580 add conss, 38732 chg bounds, 0 chg sides, 2816 chg coeffs, 0 upgd conss, 0 impls, 11616 clqs
1.84/1.91	c (round 5, exhaustive) 44996 del vars, 292 del conss, 580 add conss, 38732 chg bounds, 0 chg sides, 2816 chg coeffs, 0 upgd conss, 0 impls, 11616 clqs
1.84/1.94	c (round 6, exhaustive) 44996 del vars, 292 del conss, 580 add conss, 38732 chg bounds, 0 chg sides, 2816 chg coeffs, 2160 upgd conss, 0 impls, 11616 clqs
1.84/1.96	c (round 7, fast)       44996 del vars, 292 del conss, 580 add conss, 38732 chg bounds, 0 chg sides, 18176 chg coeffs, 2160 upgd conss, 0 impls, 11616 clqs
1.95/2.07	c (round 8, medium)     44996 del vars, 1828 del conss, 15940 add conss, 38732 chg bounds, 0 chg sides, 18176 chg coeffs, 2160 upgd conss, 0 impls, 26975 clqs
2.05/2.11	c (round 9, exhaustive) 44996 del vars, 1828 del conss, 15940 add conss, 38732 chg bounds, 0 chg sides, 18176 chg coeffs, 2928 upgd conss, 0 impls, 26975 clqs
3.32/3.48	c    (3.5s) probing: 51/62812 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.32/3.48	c    (3.5s) probing aborted: 50/50 successive totally useless probings
3.42/3.55	c    (3.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.52/3.64	c    (3.6s) no symmetry present (symcode time: 0.03)
3.52/3.69	c presolving (10 rounds: 10 fast, 6 medium, 4 exhaustive):
3.52/3.69	c  44996 deleted vars, 1828 deleted constraints, 15940 added constraints, 38732 tightened bounds, 0 added holes, 0 changed sides, 18176 changed coefficients
3.52/3.69	c  0 implications, 26975 cliques
3.52/3.69	c presolved problem has 62812 variables (62812 bin, 0 int, 0 impl, 0 cont) and 18016 constraints
3.52/3.69	c    1088 constraints of type <knapsack>
3.52/3.69	c   15360 constraints of type <setppc>
3.52/3.69	c    1264 constraints of type <linear>
3.52/3.69	c     304 constraints of type <logicor>
3.52/3.69	c transformed objective value is always integral (scale: 1)
3.52/3.69	c Presolving Time: 3.31
3.52/3.69	c - non default parameters ----------------------------------------------------------------------
3.52/3.69	c # SCIP version 10.0.0
3.52/3.69	c 
3.52/3.69	c # maximal time in seconds to run
3.52/3.69	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.52/3.69	c limits/time = 3596.998014
3.52/3.69	c 
3.52/3.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.52/3.69	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.52/3.69	c limits/memory = 27900
3.52/3.69	c 
3.52/3.69	c # belongs reading time to solving time?
3.52/3.69	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.52/3.69	c timing/reading = TRUE
3.52/3.69	c 
3.52/3.69	c -----------------------------------------------------------------------------------------------
3.52/3.69	c start solving
3.62/3.71	c 
124.50/124.93	c (node 1) unresolved numerical troubles in LP 2 -- using pseudo solution instead (loop 1)
124.50/124.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
124.50/124.94	c   125s|     1 |     2 |138980 |     - |   766M |   0 |  62k|  18k|  18k|   0 |  0 |  27 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2510.89/2518.33	c  2518s|   100 |    93 |  3198k|30904.6 |   796M |  39 |  62k|  18k|  18k|   0 |  0 |  78 |   0 | 0.000000e+00 |      --      |    Inf |   1.56%
2962.06/2970.98	c  2971s|   200 |   183 |  4154k|20180.7 |   826M |  41 |  62k|  18k|  18k| 108 |  0 | 193 |   0 | 1.043661e+07 |      --      |    Inf |   1.56%
3586.55/3597.02	c 
3586.55/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3586.55/3597.02	c Solving Time (sec) : 3597.00
3586.55/3597.02	c Solving Nodes      : 289
3586.55/3597.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.55/3597.02	c Dual Bound         : +1.04366080000000e+07
3586.55/3597.02	c Gap                : infinite
3586.55/3597.02	s UNKNOWN
3586.55/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3586.55/3597.02	c Total Time         :    3597.00
3586.55/3597.02	c   solving          :    3597.00
3586.55/3597.02	c   presolving       :       3.31 (included in solving)
3586.55/3597.02	c   reading          :       0.18 (included in solving)
3586.55/3597.02	c   copying          :       0.12 (1 #copies) (minimal 0.12, maximal 0.12, average 0.12)
3586.55/3597.02	c Original Problem   :
3586.55/3597.02	c   Problem name     : HOME/instance-4485330-1751313715.opb
3586.55/3597.02	c   Variables        : 107808 (107808 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.55/3597.02	c   Constraints      : 3904 initial, 3904 maximal
3586.55/3597.02	c   Objective        : minimize, 38688 non-zeros (abs.min = 2, abs.max = 3.48966e+11)
3586.55/3597.02	c Presolved Problem  :
3586.55/3597.02	c   Problem name     : t_HOME/instance-4485330-1751313715.opb
3586.55/3597.02	c   Variables        : 62812 (62812 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.55/3597.02	c   Constraints      : 18016 initial, 18242 maximal
3586.55/3597.02	c   Objective        : minimize, 28140 non-zeros (abs.min = 2, abs.max = 5.03316e+09)
3586.55/3597.02	c   Nonzeros         : 196496 constraint, 74125 clique table
3586.55/3597.02	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.55/3597.02	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   domcol           :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   dualsparsify     :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   gateextraction   :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   implics          :       0.01       0.00      6          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   milp             :       1.23       0.00      1       5992          0          0          0          0          0          0          0          0
3586.55/3597.02	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   sparsify         :       0.69       0.00      1          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   trivial          :       0.02       0.00     10          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   dualfix          :       0.02       0.00     10          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   probing          :       0.57       0.00      1          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   symmetry         :       0.09       0.00      1          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   vbounds          :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   knapsack         :       0.10       0.00      9          0          0          0          0          0       1536      15360          0      15360
3586.55/3597.02	c   setppc           :       0.05       0.00      7          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   linear           :       0.25       0.03     14      38732        272          0      38732          0        292        580          0       2816
3586.55/3597.02	c   logicor          :       0.00       0.00      8          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   components       :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.55/3597.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.55/3597.02	c   benderslp        :          0          0          0          0        148          0        129         12          0          0          0          0          0          0          0
3586.55/3597.02	c   integral         :          0          0          0          0        148          0          0         12          0          0          0          0          0          0        296
3586.55/3597.02	c   knapsack         :       1088+      1094          0      13831          0          0        129          9      23917         28      55583          0          0          0          0
3586.55/3597.02	c   setppc           :      15360+     15368          0      13368          0          0        129          2      16119          0      31361          0          0          0          0
3586.55/3597.02	c   linear           :       1264+      1272          0      13803          0          0         23          5      11175         80      17167          0          0          0          0
3586.55/3597.02	c   logicor          :        304+       508          0        396          0          0        129          0          5          0         45          0          0          0          0
3586.55/3597.02	c   benders          :          0          0          0          0          0          0        129          0          0          0          0          0          0          0          0
3586.55/3597.02	c   fixedvar         :          0          0          0          0          0          0        129          0          0          0          0          0          0          0          0
3586.55/3597.02	c   countsols        :          0          0          0          0          0          0        129          0          0          0          0          0          0          0          0
3586.55/3597.02	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.55/3597.02	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   integral         :       0.39       0.00       0.00       0.00       0.39       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   knapsack         :       0.35       0.00       0.02       0.18       0.00       0.13       0.00       0.01       0.01       0.00
3586.55/3597.02	c   setppc           :       0.31       0.00       0.01       0.09       0.00       0.20       0.00       0.00       0.00       0.00
3586.55/3597.02	c   linear           :       0.22       0.03       0.01       0.17       0.00       0.00       0.00       0.00       0.01       0.00
3586.55/3597.02	c   logicor          :       0.01       0.00       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00
3586.55/3597.02	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.55/3597.02	c   dualfix          :          1          0          0          0
3586.55/3597.02	c   genvbounds       :          0          0          0          0
3586.55/3597.02	c   nlobbt           :          0          0          0          0
3586.55/3597.02	c   obbt             :          0          0          0          0
3586.55/3597.02	c   probing          :          0          0          0          0
3586.55/3597.02	c   pseudoobj        :       1231          0          0          0
3586.55/3597.02	c   redcost          :          0          0          0          0
3586.55/3597.02	c   rootredcost      :          0          0          0          0
3586.55/3597.02	c   symmetry         :          0          0          0          0
3586.55/3597.02	c   vbounds          :       1395          0          0          0
3586.55/3597.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.55/3597.02	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3586.55/3597.02	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   probing          :       0.58       0.00       0.57       0.00       0.00       0.00
3586.55/3597.02	c   pseudoobj        :       0.13       0.00       0.00       0.13       0.00       0.00
3586.55/3597.02	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3586.55/3597.02	c   symmetry         :       0.09       0.00       0.09       0.00       0.00       0.00
3586.55/3597.02	c   vbounds          :       0.05       0.00       0.02       0.03       0.00       0.00
3586.55/3597.02	c Symmetry           :
3586.55/3597.02	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.55/3597.02	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.55/3597.02	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.55/3597.02	c   shadow tree time :       0.00 s
3586.55/3597.02	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.55/3597.02	c   propagation      :       0.01         25         25          -        202      185.4         15       29.6          -          -          -
3586.55/3597.02	c   infeasible LP    :       0.23         16         16          -        199     1357.9          1        5.0         15     3294.5          0
3586.55/3597.02	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.55/3597.02	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.55/3597.02	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.55/3597.02	c   applied globally :       0.00          -          -          0        246      549.2          -          -         15          -          -
3586.55/3597.02	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.55/3597.02	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.55/3597.02	c   cut pool         :       0.00          -          8          0          -          -        241        673          -          -          -          -          -    (maximal pool size:        241)
3586.55/3597.02	c   aggregation      :       0.27       0.00          3          0          0          0         89        192          0        104        104          0          0
3586.55/3597.02	c   > cmir           :          -          -          -          -          -          -          -        104          0         54         54          0          -
3586.55/3597.02	c   > flowcover      :          -          -          -          -          -          -          -         64          0         26         26          0          -
3586.55/3597.02	c   > knapsackcover  :          -          -          -          -          -          -          -         24          0         24         24          0          -
3586.55/3597.02	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   gomory           :       0.11       0.00          3          0          0          0        152        481          0        147        147          0          0
3586.55/3597.02	c   > gomorymi       :          -          -          -          -          -          -          -        311          0         70         70          0          -
3586.55/3597.02	c   > strongcg       :          -          -          -          -          -          -          -        170          0         77         77          0          -
3586.55/3597.02	c   impliedbounds    :       0.01       0.00          3          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   multilinear      :       0.00       0.00          4          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   rlt              :       0.00       0.00          1          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c   zerohalf         :       0.04       0.00          3          0          0          0          0          0          0          0          0          0          0
3586.55/3597.02	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.55/3597.02	c   hybrid           :       0.00       0.00          6          0        251          0        422          0          0          0
3586.55/3597.02	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.55/3597.02	c   problem variables:       0.00          -          0          0
3586.55/3597.02	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.55/3597.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   inference        :       0.95       0.00          0          0        129          0          0          0          0        258
3586.55/3597.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c   relpscost        :       0.39       0.00        148          0          0          0          0          0          0        296
3586.55/3597.02	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.55/3597.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.55/3597.02	c   LP solutions     :       0.00          -          -          0          0
3586.55/3597.02	c   relax solutions  :       0.00          -          -          0          0
3586.55/3597.02	c   pseudo solutions :       0.00          -          -          0          0
3586.55/3597.02	c   strong branching :       0.00          -          -          0          0
3586.55/3597.02	c   actconsdiving    :       0.00       0.00          0          0          0
3586.55/3597.02	c   adaptivediving   :      11.95       0.00          2          0          0
3586.55/3597.02	c   alns             :       0.34       0.00          2          0          0
3586.55/3597.02	c   bound            :       0.00       0.00          0          0          0
3586.55/3597.02	c   clique           :       0.18       0.00          1          0          0
3586.55/3597.02	c   coefdiving       :       0.00       0.00          0          0          0
3586.55/3597.02	c   completesol      :       0.00       0.00          0          0          0
3586.55/3597.02	c   conflictdiving   :       4.52       0.00          2          0          0
3586.55/3597.02	c   crossover        :       0.00       0.00          0          0          0
3586.55/3597.02	c   dins             :       0.00       0.00          0          0          0
3586.55/3597.02	c   distributiondivin:       0.15       0.00          1          0          0
3586.55/3597.02	c   dps              :       0.00       0.00          0          0          0
3586.55/3597.02	c   dualval          :       0.00       0.00          0          0          0
3586.55/3597.02	c   farkasdiving     :       0.00       0.00          0          0          0
3586.55/3597.02	c   feasjump         :       0.07       0.00          1          0          0
3586.55/3597.02	c   feaspump         :       2.71       0.00          1          0          0
3586.55/3597.02	c   fixandinfer      :       0.00       0.00          0          0          0
3586.55/3597.02	c   fracdiving       :       3.33       0.00          1          0          0
3586.55/3597.02	c   gins             :       0.00       0.00          0          0          0
3586.55/3597.02	c   guideddiving     :       0.00       0.00          0          0          0
3586.55/3597.02	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.55/3597.02	c   indicator        :       0.00       0.00          0          0          0
3586.55/3597.02	c   indicatordiving  :       0.00       0.00          0          0          0
3586.55/3597.02	c   indoneopt        :       0.00       0.00          0          0          0
3586.55/3597.02	c   indrounding      :       0.00       0.00          0          0          0
3586.55/3597.02	c   indtwoopt        :       0.00       0.00          0          0          0
3586.55/3597.02	c   intdiving        :       0.00       0.00          0          0          0
3586.55/3597.02	c   intshifting      :       0.00       0.00          0          0          0
3586.55/3597.02	c   linesearchdiving :       0.68       0.00          1          0          0
3586.55/3597.02	c   localbranching   :       0.00       0.00          0          0          0
3586.55/3597.02	c   locks            :       0.26       0.00          1          0          0
3586.55/3597.02	c   lpface           :       0.00       0.00          0          0          0
3586.55/3597.02	c   mpec             :       0.00       0.00          0          0          0
3586.55/3597.02	c   multistart       :       0.00       0.00          0          0          0
3586.55/3597.02	c   mutation         :       0.00       0.00          0          0          0
3586.55/3597.02	c   nlpdiving        :       0.00       0.00          0          0          0
3586.55/3597.02	c   objpscostdiving  :       6.48       0.00          1          0          0
3586.55/3597.02	c   octane           :       0.00       0.00          0          0          0
3586.55/3597.02	c   ofins            :       0.00       0.00          0          0          0
3586.55/3597.02	c   oneopt           :       0.00       0.00          0          0          0
3586.55/3597.02	c   padm             :       0.00       0.00          0          0          0
3586.55/3597.02	c   proximity        :       0.00       0.00          0          0          0
3586.55/3597.02	c   pscostdiving     :       2.25       0.00          2          0          0
3586.55/3597.02	c   randrounding     :       0.02       0.00          6          0          0
3586.55/3597.02	c   rens             :       0.00       0.00          0          0          0
3586.55/3597.02	c   reoptsols        :       0.00       0.00          0          0          0
3586.55/3597.02	c   repair           :       0.00       0.00          0          0          0
3586.55/3597.02	c   rins             :       0.00       0.00          0          0          0
3586.55/3597.02	c   rootsoldiving    :       7.08       0.00          1          0          0
3586.55/3597.02	c   rounding         :       1.39       0.00        126          0          0
3586.55/3597.02	c   scheduler        :       0.00       0.00          0          0          0
3586.55/3597.02	c   shiftandpropagate:       0.05       0.00          1          0          0
3586.55/3597.02	c   shifting         :       7.47       0.00         15          0          0
3586.55/3597.02	c   simplerounding   :       0.00       0.00        154          0          0
3586.55/3597.02	c   smallcard        :       0.00       0.00          0          0          0
3586.55/3597.02	c   subnlp           :       0.00       0.00          0          0          0
3586.55/3597.02	c   trivial          :       0.06       0.00          2          0          0
3586.55/3597.02	c   trivialnegation  :       0.00       0.00          0          0          0
3586.55/3597.02	c   trustregion      :       0.00       0.00          0          0          0
3586.55/3597.02	c   trysol           :       0.00       0.00          0          0          0
3586.55/3597.02	c   twoopt           :       0.00       0.00          0          0          0
3586.55/3597.02	c   undercover       :       0.00       0.00          0          0          0
3586.55/3597.02	c   vbounds          :       0.01       0.00          0          0          0
3586.55/3597.02	c   veclendiving     :       1.46       0.00          1          0          0
3586.55/3597.02	c   zeroobj          :       0.00       0.00          0          0          0
3586.55/3597.02	c   zirounding       :       0.10       0.00        143          0          0
3586.55/3597.02	c   other solutions  :          -          -          -          0          -
3586.55/3597.02	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.55/3597.02	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.55/3597.02	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.55/3597.02	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.55/3597.02	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.55/3597.02	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.55/3597.02	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.55/3597.02	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.55/3597.02	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.55/3597.02	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.55/3597.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.55/3597.02	c   primal LP        :      86.12          4     101914   25478.50    1183.38       0.00          0
3586.55/3597.02	c   dual LP          :    3450.49        667    4974992    7458.76    1441.82       0.00          0
3586.55/3597.02	c   lex dual LP      :       0.00          0          0       0.00          -
3586.55/3597.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.55/3597.02	c   resolve instable :     702.79         14     859172   61369.43    1222.52
3586.55/3597.02	c   diving/probing LP:      29.06         54     146629    2715.35    5045.67
3586.55/3597.02	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3586.55/3597.02	c     (at root node) :          -          0          0       0.00          -
3586.55/3597.02	c   conflict analysis:       0.00          0          0       0.00          -
3586.55/3597.02	c B&B Tree           :
3586.55/3597.02	c   number of runs   :          1
3586.55/3597.02	c   nodes            :        289 (277 internal, 12 leaves)
3586.55/3597.02	c   feasible leaves  :          0
3586.55/3597.02	c   infeas. leaves   :         11
3586.55/3597.02	c   objective leaves :          0
3586.55/3597.02	c   nodes (total)    :        289 (277 internal, 12 leaves)
3586.55/3597.02	c   nodes left       :        267
3586.55/3597.02	c   max depth        :         45
3586.55/3597.02	c   max depth (total):         45
3586.55/3597.02	c   backtracks       :         14 (4.8%)
3586.55/3597.02	c   early backtracks :          0 (0.0%)
3586.55/3597.02	c   nodes exc. ref.  :          0 (0.0%)
3586.55/3597.02	c   delayed cutoffs  :          0
3586.55/3597.02	c   repropagations   :         18 (1608 domain reductions, 0 cutoffs)
3586.55/3597.02	c   avg switch length:       2.14
3586.55/3597.02	c   switching time   :       0.27
3586.55/3597.02	c Root Node          :
3586.55/3597.02	c   First LP value   :          -
3586.55/3597.02	c   First LP Iters   :          0
3586.55/3597.02	c   First LP Time    :     120.47
3586.55/3597.02	c   Final Dual Bound : +0.00000000000000e+00
3586.55/3597.02	c   Final Root Iters :     138980
3586.55/3597.02	c   Root LP Estimate :                     -
3586.55/3597.02	c Solution           :
3586.55/3597.02	c   Solutions found  :          0 (0 improvements)
3586.55/3597.02	c   Primal Bound     :          -
3586.55/3597.02	c   Dual Bound       : +1.04366080000000e+07
3586.55/3597.02	c   Gap              :   infinite
3586.55/3597.02	c Integrals          :      Total       Avg%
3586.55/3597.02	c   primal-dual      :  359700.31     100.00
3586.55/3597.02	c   primal-ref       :          -          - (not evaluated)
3586.55/3597.02	c   dual-ref         :          -          - (not evaluated)
3586.75/3597.28	c Time complete: 3586.84.

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: 63665 MiB (62983 MiB free)
  memory of node 1: 64507 MiB (63971 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485330-1751313715/watcher-4485330-1751313715 -o /tmp/evaluation-result-4485330-1751313715/solver-4485330-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43763 --watchdog 3760 pbscip -f HOME/instance-4485330-1751313715.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100064 s]*
/proc/loadavg: 1.01 1.10 1.75 4/261 43822
/proc/meminfo: memFree=129832544/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=130608 memory=100224 CPUtime=0.08 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 22119 0 0 0 5 3 0 0 20 0 1 0 47049280 133742592 25056 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 32652 25056 3232 3530 0 24103 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 130608 KiB
Current children cumulated memory: 100224 KiB

[startup+0.205831 s]*
/proc/loadavg: 1.01 1.10 1.75 4/259 43830
/proc/meminfo: memFree=129758964/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=164320 memory=136032 CPUtime=0.19 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 32835 0 0 0 14 5 0 0 20 0 1 0 47049280 168263680 34008 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 41080 34008 3520 3530 0 32531 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 164320 KiB
Current children cumulated memory: 136032 KiB

[startup+0.305572 s]*
/proc/loadavg: 1.01 1.10 1.75 5/259 43830
/proc/meminfo: memFree=129654636/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=264464 memory=236640 CPUtime=0.28 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 57955 0 0 0 19 9 0 0 20 0 1 0 47049280 270811136 59128 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 66373 59128 3520 3530 0 57824 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 264464 KiB
Current children cumulated memory: 236640 KiB

[startup+0.700171 s]
/proc/loadavg: 1.01 1.10 1.75 4/259 43830
/proc/meminfo: memFree=129590124/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=373404 memory=335560 CPUtime=0.67 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 81852 0 0 0 53 14 0 0 20 0 1 0 47049280 382365696 83890 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 93351 83890 3680 3530 0 84802 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 373404 KiB
Current children cumulated memory: 335560 KiB

[startup+1.50017 s]
/proc/loadavg: 1.01 1.10 1.75 4/259 43830
/proc/meminfo: memFree=129388204/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=375708 memory=337864 CPUtime=1.45 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 82375 0 0 0 130 15 0 0 20 0 1 0 47049280 384724992 84466 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 93927 84466 3744 3530 0 85378 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 375708 KiB
Current children cumulated memory: 337864 KiB

[startup+3.10547 s]
/proc/loadavg: 1.33 1.16 1.77 5/258 43903
/proc/meminfo: memFree=129081504/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=616828 memory=553340 CPUtime=3.03 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 104233 0 0 0 279 24 0 0 20 0 1 0 47049280 631631872 138335 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 154207 138335 3776 3530 0 145658 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 616828 KiB
Current children cumulated memory: 553340 KiB

[startup+6.30015 s]
/proc/loadavg: 1.33 1.16 1.77 5/263 43912
/proc/meminfo: memFree=128714652/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=852440 memory=692100 CPUtime=6.21 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 140777 0 0 0 591 30 0 0 20 0 1 0 47049280 872898560 173025 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 213110 173025 3936 3530 0 204561 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 852440 KiB
Current children cumulated memory: 692100 KiB

[startup+12.7001 s]
/proc/loadavg: 1.74 1.26 1.79 5/263 43912
/proc/meminfo: memFree=128707100/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=858428 memory=698232 CPUtime=12.59 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 141834 0 0 0 1229 30 0 0 20 0 1 0 47049280 879030272 174558 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 214607 174558 3936 3530 0 206058 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 858428 KiB
Current children cumulated memory: 698232 KiB

[startup+25.5002 s]
/proc/loadavg: 2.09 1.35 1.81 5/263 43912
/proc/meminfo: memFree=128692032/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=858428 memory=698360 CPUtime=25.36 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 141841 0 0 0 2506 30 0 0 20 0 1 0 47049280 879030272 174590 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 214607 174590 3968 3530 0 206058 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 858428 KiB
Current children cumulated memory: 698360 KiB

[startup+51.1054 s]
/proc/loadavg: 2.87 1.60 1.88 5/264 43914
/proc/meminfo: memFree=128541880/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=858428 memory=698488 CPUtime=50.9 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 141846 0 0 0 5060 30 0 0 20 0 1 0 47049280 879030272 174622 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 214607 174622 3968 3530 0 206058 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 858428 KiB
Current children cumulated memory: 698488 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.02 2.01 5/264 43916
/proc/meminfo: memFree=128483620/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=858428 memory=698488 CPUtime=101.96 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 141852 0 0 0 10166 30 0 0 20 0 1 0 47049280 879030272 174622 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 214607 174622 3968 3530 0 206058 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 858428 KiB
Current children cumulated memory: 698488 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.40 2.15 5/264 43918
/proc/meminfo: memFree=128363348/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=866816 memory=706168 CPUtime=161.8 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 142239 0 0 0 16150 30 0 0 20 0 1 0 47049280 887619584 176542 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 216704 176542 3968 3530 0 208155 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 866816 KiB
Current children cumulated memory: 706168 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.27 5/264 43920
/proc/meminfo: memFree=128354556/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=867380 memory=708728 CPUtime=221.64 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 142451 0 0 0 22134 30 0 0 20 0 1 0 47049280 888197120 177182 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 216845 177182 3968 3530 0 208296 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 867380 KiB
Current children cumulated memory: 708728 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.96 2.39 5/264 43923
/proc/meminfo: memFree=128314112/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=867380 memory=721144 CPUtime=281.48 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 142470 0 0 0 28118 30 0 0 20 0 1 0 47049280 888197120 180286 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 216845 180286 3968 3530 0 208296 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 867380 KiB
Current children cumulated memory: 721144 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 3.20 2.51 5/264 43925
/proc/meminfo: memFree=128295216/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=867676 memory=724472 CPUtime=341.33 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 142673 0 0 0 34103 30 0 0 20 0 1 0 47049280 888500224 181118 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 216919 181118 3968 3530 0 208370 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 867676 KiB
Current children cumulated memory: 724472 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.36 2.61 5/264 43932
/proc/meminfo: memFree=128303816/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=867676 memory=724472 CPUtime=401.17 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 142714 0 0 0 40087 30 0 0 20 0 1 0 47049280 888500224 181118 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 216919 181118 3968 3530 0 208370 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 867676 KiB
Current children cumulated memory: 724472 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.49 2.70 5/263 43934
/proc/meminfo: memFree=128288396/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=867676 memory=729080 CPUtime=461 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 142714 0 0 0 46070 30 0 0 20 0 1 0 47049280 888500224 182270 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 216919 182270 3968 3530 0 208370 0
Current children cumulated CPU time: 461 s

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

/proc/loadavg: 4.10 4.10 4.02 5/266 44060
/proc/meminfo: memFree=127341036/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=979220 CPUtime=3152.93 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205519 0 0 0 315254 39 0 0 20 0 1 0 47049280 1159409664 244805 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 244805 4000 3530 0 274510 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 979220 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/267 44063
/proc/meminfo: memFree=127324060/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3212.77 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205520 0 0 0 321238 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/267 44067
/proc/meminfo: memFree=127330804/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3272.62 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205520 0 0 0 327223 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.46 4.20 4.06 5/263 44069
/proc/meminfo: memFree=127267740/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3332.48 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205718 0 0 0 333209 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3332.48 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.59 4.28 4.10 5/264 44076
/proc/meminfo: memFree=127271900/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3392.33 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205742 0 0 0 339194 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.27 4.11 5/264 44078
/proc/meminfo: memFree=127271836/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3452.18 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 345179 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.24 4.10 5/263 44080
/proc/meminfo: memFree=127272044/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3512.04 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 351165 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.22 4.10 5/263 44093
/proc/meminfo: memFree=127272584/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3571.89 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 357150 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

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

# cumulated CPU time of all completed processes:  user=3586.44 s, system=0.408457 s

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

[startup+3584 s]*
/proc/loadavg: 4.23 4.23 4.11 5/263 44093
/proc/meminfo: memFree=127272584/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3573.59 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 357320 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3590.4 s]
/proc/loadavg: 4.29 4.25 4.11 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3579.96 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 357957 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3579.96 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3593.6 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3583.16 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 358277 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3583.16 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3595.2 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3584.75 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 358436 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3596 s]*
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3585.56 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 358517 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3596.8 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3586.35 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205779 0 0 0 358596 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

[startup+3597.2 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43809] ppid=43803 vsize=1132236 memory=994452 CPUtime=3586.75 cores=0,2
/proc/43809/stat : 43809 (pbscip) R 43803 43809 43753 0 -1 4194304 205787 0 0 0 358636 39 0 0 20 0 1 0 47049280 1159409664 248613 18446744073709551615 4235264 18693293 140722090582256 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41259008 140722090588553 140722090588652 140722090588652 140722090594254 0
/proc/43809/statm: 283059 248613 4000 3530 0 274510 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 1132236 KiB
Current children cumulated memory: 994452 KiB

Child status: 0

Real time (s): 3597.29
CPU time (s): 3586.85
CPU user time (s): 3586.44
CPU system time (s): 0.408457
CPU usage (%): 99.7098
Max. virtual memory (cumulated for all children) (KiB): 1132236
Max. memory (cumulated for all children) (KiB): 994452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.44
system time used= 0.408457
maximum resident set size= 994452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205820
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= 139
involuntary context switches= 7825


# summary of solver processes directly reported to runsolver:
#   pid: 43809
#   total CPU time (s): 3586.85
#   total CPU user time (s): 3586.44
#   total CPU system time (s): 0.408457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.90993 second user time and 13.3741 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 22:01:55
IDJOB=4485330
IDBENCH=146784
IDSOLVER=3365
FILE ID=nodeC022/4485330-1751313715
RUNJOBID= nodeC022-1751313715-43763
SLURM_JOB_ID= 9594316
Free space on /tmp= 433048 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485330-1751313715/watcher-4485330-1751313715 -o /tmp/evaluation-result-4485330-1751313715/solver-4485330-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43763 --watchdog 3760  pbscip -f HOME/instance-4485330-1751313715.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=40033737

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129994444 kB
MemAvailable:   129769904 kB
Buffers:            2128 kB
Cached:           579296 kB
SwapCached:           32 kB
Active:           391844 kB
Inactive:         253508 kB
Active(anon):      77756 kB
Inactive(anon):     4200 kB
Active(file):     314088 kB
Inactive(file):   249308 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             87164 kB
Writeback:             0 kB
AnonPages:         67008 kB
Mapped:           102220 kB
Shmem:             18028 kB
KReclaimable:     102204 kB
Slab:             189404 kB
SReclaimable:     102204 kB
SUnreclaim:        87200 kB
KernelStack:        3924 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432980 MiB
End job on nodeC022 at 2025-06-30 23:01:53