Trace number 4503718

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 780.561 783.274

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
MD5SUM5618df1e63c3ad3b10b24ba90f334740
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark538.408
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables248659
Total number of constraints5546518
Number of constraints which are clauses4965781
Number of constraints which are cardinality constraints (but not clauses)19724
Number of constraints which are nor clauses,nor cardinality constraints561013
Minimum length of a constraint2
Maximum length of a constraint2220
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2221
Number of bits of the biggest sum of numbers12
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-4503718-1751175588.opb>
11.65/11.70	c original problem has 248659 variables (248659 bin, 0 int, 0 impl, 0 cont) and 5546518 constraints
11.65/11.70	c problem read in 11.69
11.65/11.75	c No objective function, only one solution is needed.
19.83/20.00	c presolving:
34.30/34.48	c    (34.4s) running MILP presolver
46.17/46.39	c    (46.3s) MILP presolver found nothing
59.53/59.74	c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 5546509 upgd conss, 0 impls, 1107571 clqs
78.17/78.43	c (round 2, exhaustive) 1 del vars, 78742 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 118110 chg coeffs, 5546509 upgd conss, 0 impls, 1107571 clqs
687.87/690.32	c    (690.3s) probing: 1000/248658 (0.4%) - 0 fixings, 0 aggregations, 1854569 implications, 0 bound changes
688.36/690.86	c    (690.8s) probing: 1001/248658 (0.4%) - 0 fixings, 0 aggregations, 1856056 implications, 0 bound changes
688.36/690.86	c    (690.8s) probing aborted: 1000/1000 successive useless probings
723.56/726.16	c    (726.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
738.01/740.62	c    (740.6s) no symmetry present (symcode time: 2.24)
756.46/759.20	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
756.46/759.20	c  1 deleted vars, 78742 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 118151 changed coefficients
756.46/759.20	c  0 implications, 2963627 cliques
756.46/759.20	c presolved problem has 248658 variables (248658 bin, 0 int, 0 impl, 0 cont) and 5467776 constraints
756.46/759.20	c  570855 constraints of type <knapsack>
756.46/759.20	c 1107571 constraints of type <setppc>
756.46/759.20	c       1 constraints of type <linear>
756.46/759.20	c 3789349 constraints of type <logicor>
756.46/759.20	c transformed objective value is always integral (scale: 1)
756.46/759.20	c Presolving Time: 739.27
756.46/759.20	c - non default parameters ----------------------------------------------------------------------
756.46/759.20	c # SCIP version 10.0.0
756.46/759.20	c 
756.46/759.20	c # maximal time in seconds to run
756.46/759.20	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
756.46/759.20	c limits/time = 3596.997014
756.46/759.20	c 
756.46/759.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
756.46/759.20	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
756.46/759.20	c limits/memory = 27900
756.46/759.20	c 
756.46/759.20	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
756.46/759.20	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
756.46/759.20	c limits/solutions = 1
756.46/759.20	c 
756.46/759.20	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
756.46/759.20	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
756.46/759.20	c misc/usesymmetry = 3
756.46/759.20	c 
756.46/759.20	c # belongs reading time to solving time?
756.46/759.20	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
756.46/759.20	c timing/reading = TRUE
756.46/759.20	c 
756.46/759.20	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
756.46/759.20	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
756.46/759.20	c propagating/symmetry/detectdoublelex = FALSE
756.46/759.20	c 
756.46/759.20	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
756.46/759.20	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
756.46/759.20	c propagating/symmetry/detectsubgroups = FALSE
756.46/759.20	c 
756.46/759.20	c # Type of symmetries that shall be computed?
756.46/759.20	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
756.46/759.20	c propagating/symmetry/symtype = 1
756.46/759.20	c 
756.46/759.20	c # Should components consisting of a single full reflection be handled?
756.46/759.20	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
756.46/759.20	c propagating/symmetry/usesimplesgncomp = FALSE
756.46/759.20	c 
756.46/759.20	c -----------------------------------------------------------------------------------------------
756.46/759.20	c start solving
756.75/759.44	c 
765.83/768.57	c 
765.83/768.57	c SCIP Status        : solving was interrupted [memory limit reached]
765.83/768.57	c Solving Time (sec) : 768.50
765.83/768.57	c Solving Nodes      : 1
765.83/768.57	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
765.83/768.57	c Dual Bound         : +0.00000000000000e+00
765.83/768.57	c Gap                : infinite
765.83/768.57	s UNKNOWN
765.83/768.57	c SCIP Status        : solving was interrupted [memory limit reached]
765.83/768.57	c Total Time         :     768.50
765.83/768.57	c   solving          :     768.50
765.83/768.57	c   presolving       :     739.27 (included in solving)
765.83/768.57	c   reading          :      11.69 (included in solving)
765.83/768.57	c   copying          :       0.00 (0 times copied the problem)
765.83/768.57	c Original Problem   :
765.83/768.57	c   Problem name     : HOME/instance-4503718-1751175588.opb
765.83/768.57	c   Variables        : 248659 (248659 binary, 0 integer, 0 implicit integer, 0 continuous)
765.83/768.57	c   Constraints      : 5546518 initial, 5546518 maximal
765.83/768.58	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
765.83/768.58	c Presolved Problem  :
765.83/768.58	c   Problem name     : t_HOME/instance-4503718-1751175588.opb
765.83/768.58	c   Variables        : 248658 (248658 binary, 0 integer, 0 implicit integer, 0 continuous)
765.83/768.58	c   Constraints      : 5467776 initial, 5467776 maximal
765.83/768.58	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
765.83/768.58	c   Nonzeros         : 21114030 constraint, 6016183 clique table
765.83/768.58	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
765.83/768.58	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   domcol           :       2.89       0.00      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   dualsparsify     :      35.30       0.00      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   gateextraction   :       7.42       0.00      2          0          0          0          0          0          0          0          0          0
765.83/768.58	c   implics          :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
765.83/768.58	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   milp             :      20.20       0.00      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   sparsify         :       6.28       0.00      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   trivial          :       0.02       0.00      3          0          0          0          0          0          0          0          0          0
765.83/768.58	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   dualfix          :       0.02       0.00      3          0          0          0          0          0          0          0          0          0
765.83/768.58	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   probing          :     536.31       0.01      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   symmetry         :      14.47       0.00      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   vbounds          :       0.15       0.00      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   knapsack         :       1.88       0.07      6          0          0          0          0          0          0          0          0          0
765.83/768.58	c   setppc           :       2.46       0.05      6          0          0          0          0          0          0          0          0          0
765.83/768.58	c   linear           :      16.50       2.08      6          0          1          0          0          0          8          0          7          0
765.83/768.58	c   logicor          :      73.80      16.31      6          0          0          0          0          0      78734          0          0     118151
765.83/768.58	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   components       :       1.88       0.00      1          0          0          0          0          0          0          0          0          0
765.83/768.58	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
765.83/768.58	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
765.83/768.58	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
765.83/768.58	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
765.83/768.58	c   knapsack         :     570855     570855          0       2944          0          0          0          3          0          0          0          0          0          0          0
765.83/768.58	c   setppc           :    1107571    1107571          0       2944          0          0          0          2          0          0          0          0          0          0          0
765.83/768.58	c   linear           :          1          1          0       2944          0          0          0          3          0          0          0          0          0          0          0
765.83/768.58	c   logicor          :    3789349    3789349          0       1951          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
765.83/768.58	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   knapsack         :      79.66       0.07       0.59      78.81       0.00       0.00       0.00       0.18       0.00       0.00
765.83/768.58	c   setppc           :      87.05       0.05       0.52      86.48       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   linear           :       2.08       2.08       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   logicor          :      25.64      16.31       2.69       6.63       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
765.83/768.58	c   dualfix          :          1          0          0          0
765.83/768.58	c   genvbounds       :          0          0          0          0
765.83/768.58	c   nlobbt           :          0          0          0          0
765.83/768.58	c   obbt             :          0          0          0          0
765.83/768.58	c   probing          :          0          0          0          0
765.83/768.58	c   pseudoobj        :          0          0          0          0
765.83/768.58	c   redcost          :          0          0          0          0
765.83/768.58	c   rootredcost      :          0          0          0          0
765.83/768.58	c   symmetry         :          0          0          0          0
765.83/768.58	c   vbounds          :          0          0          0          0
765.83/768.58	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
765.83/768.58	c   dualfix          :       0.03       0.00       0.02       0.01       0.00       0.00
765.83/768.58	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   probing          :     536.32       0.01     536.31       0.00       0.00       0.00
765.83/768.58	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
765.83/768.58	c   symmetry         :      14.47       0.00      14.47       0.00       0.00       0.00
765.83/768.58	c   vbounds          :       0.23       0.00       0.15       0.08       0.00       0.00
765.83/768.58	c Symmetry           :
765.83/768.58	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
765.83/768.58	c   orbital reduction:          0 reductions applied,          0 cutoffs
765.83/768.58	c   lexicographic red:          0 reductions applied,          0 cutoffs
765.83/768.58	c   shadow tree time :       0.00 s
765.83/768.58	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [--,--])
765.83/768.58	c   propagation      :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
765.83/768.58	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
765.83/768.58	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
765.83/768.58	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
765.83/768.58	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
765.83/768.58	c   applied globally :       0.00          -          -          0          0        0.0          -          -          0          -          -
765.83/768.58	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
765.83/768.58	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
765.83/768.58	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
765.83/768.58	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
765.83/768.58	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
765.83/768.58	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
765.83/768.58	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
765.83/768.58	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
765.83/768.58	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
765.83/768.58	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
765.83/768.58	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c Pricers            :   ExecTime  SetupTime      Calls       Vars
765.83/768.58	c   problem variables:       0.00          -          0          0
765.83/768.58	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
765.83/768.58	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
765.83/768.58	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
765.83/768.58	c   LP solutions     :       0.00          -          -          0          0
765.83/768.58	c   relax solutions  :       0.00          -          -          0          0
765.83/768.58	c   pseudo solutions :       0.00          -          -          0          0
765.83/768.58	c   strong branching :       0.00          -          -          0          0
765.83/768.58	c   actconsdiving    :       0.00       0.00          0          0          0
765.83/768.58	c   adaptivediving   :       0.00       0.00          0          0          0
765.83/768.58	c   alns             :       0.00       0.00          0          0          0
765.83/768.58	c   bound            :       0.00       0.00          0          0          0
765.83/768.58	c   clique           :       8.65       0.00          1          0          0
765.83/768.58	c   coefdiving       :       0.00       0.00          0          0          0
765.83/768.58	c   completesol      :       0.00       0.00          0          0          0
765.83/768.58	c   conflictdiving   :       0.00       0.00          0          0          0
765.83/768.58	c   crossover        :       0.00       0.00          0          0          0
765.83/768.58	c   dins             :       0.00       0.00          0          0          0
765.83/768.58	c   distributiondivin:       0.00       0.00          0          0          0
765.83/768.58	c   dps              :       0.00       0.00          0          0          0
765.83/768.58	c   dualval          :       0.00       0.00          0          0          0
765.83/768.58	c   farkasdiving     :       0.00       0.00          0          0          0
765.83/768.58	c   feasjump         :       0.00       0.00          0          0          0
765.83/768.58	c   feaspump         :       0.00       0.00          0          0          0
765.83/768.58	c   fixandinfer      :       0.00       0.00          0          0          0
765.83/768.58	c   fracdiving       :       0.00       0.00          0          0          0
765.83/768.58	c   gins             :       0.00       0.00          0          0          0
765.83/768.58	c   guideddiving     :       0.00       0.00          0          0          0
765.83/768.58	c   indcoefdiving    :       0.00       0.00          0          0          0
765.83/768.58	c   indicator        :       0.00       0.00          0          0          0
765.83/768.58	c   indicatordiving  :       0.00       0.00          0          0          0
765.83/768.58	c   indoneopt        :       0.00       0.00          0          0          0
765.83/768.58	c   indrounding      :       0.00       0.00          0          0          0
765.83/768.58	c   indtwoopt        :       0.00       0.00          0          0          0
765.83/768.58	c   intdiving        :       0.00       0.00          0          0          0
765.83/768.58	c   intshifting      :       0.00       0.00          0          0          0
765.83/768.58	c   linesearchdiving :       0.00       0.00          0          0          0
765.83/768.58	c   localbranching   :       0.00       0.00          0          0          0
765.83/768.58	c   locks            :       0.00       0.00          0          0          0
765.83/768.58	c   lpface           :       0.00       0.00          0          0          0
765.83/768.58	c   mpec             :       0.00       0.00          0          0          0
765.83/768.58	c   multistart       :       0.00       0.00          0          0          0
765.83/768.58	c   mutation         :       0.00       0.00          0          0          0
765.83/768.58	c   nlpdiving        :       0.00       0.00          0          0          0
765.83/768.58	c   objpscostdiving  :       0.00       0.00          0          0          0
765.83/768.58	c   octane           :       0.00       0.00          0          0          0
765.83/768.58	c   ofins            :       0.00       0.00          0          0          0
765.83/768.58	c   oneopt           :       0.00       0.00          0          0          0
765.83/768.58	c   padm             :       0.00       0.00          0          0          0
765.83/768.58	c   proximity        :       0.00       0.00          0          0          0
765.83/768.58	c   pscostdiving     :       0.00       0.00          0          0          0
765.83/768.58	c   randrounding     :       0.00       0.00          0          0          0
765.83/768.58	c   rens             :       0.00       0.00          0          0          0
765.83/768.58	c   reoptsols        :       0.00       0.00          0          0          0
765.83/768.58	c   repair           :       0.00       0.00          0          0          0
765.83/768.58	c   rins             :       0.00       0.00          0          0          0
765.83/768.58	c   rootsoldiving    :       0.00       0.00          0          0          0
765.83/768.58	c   rounding         :       0.00       0.00          0          0          0
765.83/768.58	c   scheduler        :       0.00       0.00          0          0          0
765.83/768.58	c   shiftandpropagate:       0.00       0.00          0          0          0
765.83/768.58	c   shifting         :       0.00       0.00          0          0          0
765.83/768.58	c   simplerounding   :       0.00       0.00          0          0          0
765.83/768.58	c   smallcard        :       0.00       0.00          0          0          0
765.83/768.58	c   subnlp           :       0.00       0.00          0          0          0
765.83/768.58	c   trivial          :       0.31       0.00          2          0          0
765.83/768.58	c   trivialnegation  :       0.00       0.00          0          0          0
765.83/768.58	c   trustregion      :       0.00       0.00          0          0          0
765.83/768.58	c   trysol           :       0.00       0.00          0          0          0
765.83/768.58	c   twoopt           :       0.00       0.00          0          0          0
765.83/768.58	c   undercover       :       0.00       0.00          0          0          0
765.83/768.58	c   vbounds          :       0.00       0.00          0          0          0
765.83/768.58	c   veclendiving     :       0.00       0.00          0          0          0
765.83/768.58	c   zeroobj          :       0.00       0.00          0          0          0
765.83/768.58	c   zirounding       :       0.00       0.00          0          0          0
765.83/768.58	c   other solutions  :          -          -          -          0          -
765.83/768.58	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
765.83/768.58	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
765.83/768.58	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
765.83/768.58	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
765.83/768.58	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
765.83/768.58	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
765.83/768.58	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
765.83/768.58	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
765.83/768.58	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
765.83/768.58	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
765.83/768.58	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
765.83/768.58	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
765.83/768.58	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
765.83/768.58	c   lex dual LP      :       0.00          0          0       0.00          -
765.83/768.58	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
765.83/768.58	c   resolve instable :       0.00          0          0       0.00          -
765.83/768.58	c   diving/probing LP:       0.00          0          0       0.00          -
765.83/768.58	c   strong branching :       0.00          0          0       0.00          -          -          -          0
765.83/768.58	c     (at root node) :          -          0          0       0.00          -
765.83/768.58	c   conflict analysis:       0.00          0          0       0.00          -
765.83/768.58	c B&B Tree           :
765.83/768.58	c   number of runs   :          1
765.83/768.58	c   nodes            :          1 (0 internal, 1 leaves)
765.83/768.58	c   feasible leaves  :          0
765.83/768.58	c   infeas. leaves   :          0
765.83/768.58	c   objective leaves :          0
765.83/768.58	c   nodes (total)    :          1 (0 internal, 1 leaves)
765.83/768.58	c   nodes left       :          1
765.83/768.58	c   max depth        :          0
765.83/768.58	c   max depth (total):          0
765.83/768.58	c   backtracks       :          0 (0.0%)
765.83/768.58	c   early backtracks :          0 (0.0%)
765.83/768.58	c   nodes exc. ref.  :          0 (0.0%)
765.83/768.58	c   delayed cutoffs  :          0
765.83/768.58	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
765.83/768.58	c   avg switch length:       1.00
765.83/768.58	c   switching time   :       0.00
765.83/768.58	c Root Node          :
765.83/768.58	c   First LP value   :          -
765.83/768.58	c   First LP Iters   :          0
765.83/768.58	c   First LP Time    :       0.00
765.83/768.58	c   Final Dual Bound : +0.00000000000000e+00
765.83/768.58	c   Final Root Iters :          0
765.83/768.58	c   Root LP Estimate :                     -
765.83/768.58	c Solution           :
765.83/768.58	c   Solutions found  :          0 (0 improvements)
765.83/768.58	c   Primal Bound     :          -
765.83/768.58	c   Dual Bound       : +0.00000000000000e+00
765.83/768.58	c   Gap              :   infinite
765.83/768.58	c Integrals          :      Total       Avg%
765.83/768.58	c   primal-dual      :   76850.38     100.00
765.83/768.58	c   primal-ref       :          -          - (not evaluated)
765.83/768.58	c   dual-ref         :          -          - (not evaluated)
780.18/782.93	c Time complete: 780.214.

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100064 s]*
/proc/loadavg: 4.15 4.10 4.09 5/264 24706
/proc/meminfo: memFree=123550908/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=70984 memory=43008 CPUtime=0.08 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 7883 0 0 0 8 0 0 0 20 0 1 0 33236798 72687616 10752 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 17746 10752 3232 3530 0 9197 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70984 KiB
Current children cumulated memory: 43008 KiB

[startup+0.205592 s]*
/proc/loadavg: 4.15 4.10 4.09 5/264 24706
/proc/meminfo: memFree=123502776/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=99268 memory=70784 CPUtime=0.19 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 14801 0 0 0 18 1 0 0 20 0 1 0 33236798 101650432 17696 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 24817 17696 3232 3530 0 16268 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 70784 KiB

[startup+0.305373 s]*
/proc/loadavg: 4.15 4.10 4.09 5/264 24706
/proc/meminfo: memFree=123434040/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=128924 memory=99456 CPUtime=0.29 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 21982 0 0 0 27 2 0 0 20 0 1 0 33236798 132018176 24864 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 32231 24864 3232 3530 0 23682 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 128924 KiB
Current children cumulated memory: 99456 KiB

[startup+0.700176 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 24706
/proc/meminfo: memFree=123297076/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=229104 memory=200656 CPUtime=0.68 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 46769 0 0 0 61 7 0 0 20 0 1 0 33236798 234602496 50164 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 57276 50164 3232 3530 0 48727 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 229104 KiB
Current children cumulated memory: 200656 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 24706
/proc/meminfo: memFree=122943332/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=442020 memory=412528 CPUtime=1.48 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 97704 0 0 0 133 15 0 0 20 0 1 0 33236798 452628480 103132 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 110505 103132 3232 3530 0 101956 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 442020 KiB
Current children cumulated memory: 412528 KiB

[startup+3.10553 s]
/proc/loadavg: 4.15 4.10 4.09 6/264 24706
/proc/meminfo: memFree=121838152/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=857216 memory=828724 CPUtime=3.08 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 196135 0 0 0 277 31 0 0 20 0 1 0 33236798 877789184 207181 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 214304 207181 3232 3530 0 205755 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 857216 KiB
Current children cumulated memory: 828724 KiB

[startup+6.30016 s]
/proc/loadavg: 4.22 4.11 4.10 5/264 24706
/proc/meminfo: memFree=120232412/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=1683196 memory=1650116 CPUtime=6.27 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 389247 0 0 0 568 59 0 0 20 0 1 0 33236798 1723592704 412529 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 420799 412529 3232 3530 0 412250 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1683196 KiB
Current children cumulated memory: 1650116 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.11 4.10 5/264 24706
/proc/meminfo: memFree=118262896/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=3607752 memory=3574308 CPUtime=12.65 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 851668 0 0 0 1132 133 0 0 20 0 1 0 33236798 3694338048 893577 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 901938 893577 3520 3530 0 893389 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3607752 KiB
Current children cumulated memory: 3574308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 24706
/proc/meminfo: memFree=113854300/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=7831568 memory=7743684 CPUtime=25.42 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 1719207 0 0 0 2261 281 0 0 20 0 1 0 33236798 8019525632 1935921 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 1957892 1935921 3584 3530 0 1949343 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 7831568 KiB
Current children cumulated memory: 7743684 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 24707
/proc/meminfo: memFree=112241036/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=9710312 memory=9549204 CPUtime=50.95 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 1941923 0 0 0 4628 467 0 0 20 0 1 0 33236798 9943359488 2387301 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2427578 2387301 3712 3530 0 2419029 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 9710312 KiB
Current children cumulated memory: 9549204 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 24710
/proc/meminfo: memFree=110350152/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11463732 CPUtime=102.01 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2314878 0 0 0 9669 532 0 0 20 0 1 0 33236798 11916599296 2865933 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2865933 3744 3530 0 2900777 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11463732 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 24757
/proc/meminfo: memFree=106321636/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11469620 CPUtime=161.84 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2316822 0 0 0 15652 532 0 0 20 0 1 0 33236798 11916599296 2867405 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867405 3744 3530 0 2900777 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11469620 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/264 24759
/proc/meminfo: memFree=106356452/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11470900 CPUtime=221.59 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317137 0 0 0 21626 533 0 0 20 0 1 0 33236798 11916599296 2867725 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867725 3744 3530 0 2900777 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11470900 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 24807
/proc/meminfo: memFree=109601700/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11470900 CPUtime=281.34 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317142 0 0 0 27599 535 0 0 20 0 1 0 33236798 11916599296 2867725 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867725 3744 3530 0 2900777 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11470900 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 24809
/proc/meminfo: memFree=109446980/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11470900 CPUtime=341.09 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317158 0 0 0 33573 536 0 0 20 0 1 0 33236798 11916599296 2867725 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867725 3744 3530 0 2900777 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11470900 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 24811
/proc/meminfo: memFree=109438660/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11470900 CPUtime=400.87 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317159 0 0 0 39550 537 0 0 20 0 1 0 33236798 11916599296 2867725 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867725 3744 3530 0 2900777 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11470900 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 24820
/proc/meminfo: memFree=109275340/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11470900 CPUtime=460.66 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317190 0 0 0 45528 538 0 0 20 0 1 0 33236798 11916599296 2867725 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867725 3744 3530 0 2900777 0
Current children cumulated CPU time: 460.66 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11470900 KiB

[startup+522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 24821
/proc/meminfo: memFree=109290032/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11470900 CPUtime=520.45 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317190 0 0 0 51506 539 0 0 20 0 1 0 33236798 11916599296 2867725 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867725 3744 3530 0 2900777 0
Current children cumulated CPU time: 520.45 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11470900 KiB

[startup+582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 24824
/proc/meminfo: memFree=109279620/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11470900 CPUtime=580.24 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317425 0 0 0 57484 540 0 0 20 0 1 0 33236798 11916599296 2867725 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867725 3744 3530 0 2900777 0
Current children cumulated CPU time: 580.24 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11470900 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 24826
/proc/meminfo: memFree=109268776/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=11637304 memory=11471668 CPUtime=640.03 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2317650 0 0 0 63463 540 0 0 20 0 1 0 33236798 11916599296 2867917 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 2909326 2867917 3744 3530 0 2900777 0
Current children cumulated CPU time: 640.03 s
Current children cumulated vsize: 11637304 KiB
Current children cumulated memory: 11471668 KiB

[startup+702.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 24828
/proc/meminfo: memFree=106398540/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=15223480 memory=14305720 CPUtime=699.83 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2321440 0 0 0 69380 603 0 0 20 0 1 0 33236798 15588843520 3576430 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 3805870 3576430 3744 3530 0 3797321 0
Current children cumulated CPU time: 699.83 s
Current children cumulated vsize: 15223480 KiB
Current children cumulated memory: 14305720 KiB

[startup+762.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 24830
/proc/meminfo: memFree=98713372/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=23434680 memory=22158600 CPUtime=759.64 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 2876186 0 0 0 75137 827 0 0 20 0 1 0 33236798 23997112320 5539650 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 5858670 5539650 3776 3530 0 5850121 0
Current children cumulated CPU time: 759.64 s
Current children cumulated vsize: 23434680 KiB
Current children cumulated memory: 22158600 KiB

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

# cumulated CPU time of all completed processes:  user=770.297 s, system=10.2639 s

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

[startup+768 s]*
/proc/loadavg: 4.06 4.08 4.09 5/263 24830
/proc/meminfo: memFree=94498184/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=27647784 memory=26058528 CPUtime=765.33 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 3260931 0 0 0 75571 962 0 0 20 0 1 0 33236798 28311330816 6514632 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 6911946 6514632 3840 3530 0 6903397 0
Current children cumulated CPU time: 765.33 s
Current children cumulated vsize: 27647784 KiB
Current children cumulated memory: 26058528 KiB

[startup+774.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 24831
/proc/meminfo: memFree=94456076/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=26400844 memory=25082580 CPUtime=771.71 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 3262296 0 0 0 76200 971 0 0 20 0 1 0 33236798 27034464256 6270645 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 6600211 6270645 3840 3530 0 6591662 0
Current children cumulated CPU time: 771.71 s
Current children cumulated vsize: 26400844 KiB
Current children cumulated memory: 25082580 KiB

[startup+777.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 24831
/proc/meminfo: memFree=94480660/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=26400844 memory=25082580 CPUtime=774.9 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 3262297 0 0 0 76519 971 0 0 20 0 1 0 33236798 27034464256 6270645 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 6600211 6270645 3840 3530 0 6591662 0
Current children cumulated CPU time: 774.9 s
Current children cumulated vsize: 26400844 KiB
Current children cumulated memory: 25082580 KiB

[startup+780.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 24831
/proc/meminfo: memFree=94557852/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=24745216 memory=23440040 CPUtime=778.08 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 3262346 0 0 0 76836 972 0 0 20 0 1 0 33236798 25339101184 5860010 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 6186304 5860010 3840 3530 0 6177755 0
Current children cumulated CPU time: 778.08 s
Current children cumulated vsize: 24745216 KiB
Current children cumulated memory: 23440040 KiB

[startup+782.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 24831
/proc/meminfo: memFree=97536248/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=22910400 memory=21605224 CPUtime=779.68 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 3262346 0 0 0 76986 982 0 0 20 0 1 0 33236798 23460249600 5401306 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 5727600 5401306 3840 3530 0 5719051 0
Current children cumulated CPU time: 779.68 s
Current children cumulated vsize: 22910400 KiB
Current children cumulated memory: 21605224 KiB

[startup+782.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 24831
/proc/meminfo: memFree=97536248/131250000 swapFree=33010684/33010684
[pid=24705] ppid=24702 vsize=22292428 memory=20991032 CPUtime=780.08 cores=4,6
/proc/24705/stat : 24705 (pbscip) R 24702 24705 23674 0 -1 4194304 3262346 0 0 0 77023 985 0 0 20 0 1 0 33236798 22827446272 5247758 18446744073709551615 4235264 18693293 140725847584816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 26959872 140725847587209 140725847587308 140725847587308 140725847592910 0
/proc/24705/statm: 5573107 5247758 3840 3530 0 5564558 0
Current children cumulated CPU time: 780.08 s
Current children cumulated vsize: 22292428 KiB
Current children cumulated memory: 20991032 KiB

[startup+783.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 24831
/proc/meminfo: memFree=111735488/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 783.274
CPU time (s): 780.561
CPU user time (s): 770.297
CPU system time (s): 10.2639
CPU usage (%): 99.6535
Max. virtual memory (cumulated for all children) (KiB): 27647784
Max. memory (cumulated for all children) (KiB): 26100124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 770.297
system time used= 10.2639
maximum resident set size= 26264736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3262353
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= 86
involuntary context switches= 657


# summary of solver processes directly reported to runsolver:
#   pid: 24705
#   total CPU time (s): 780.561
#   total CPU user time (s): 770.297
#   total CPU system time (s): 10.2639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49058 second user time and 3.48765 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 07:39:50
IDJOB=4503718
IDBENCH=155548
IDSOLVER=3365
FILE ID=nodeC018/4503718-1751175588
RUNJOBID= nodeC018-1751168386-23685
SLURM_JOB_ID= 9587511
Free space on /tmp= 432676 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-174.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503718-1751175588/watcher-4503718-1751175588 -o /tmp/evaluation-result-4503718-1751175588/solver-4503718-1751175588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23685 --watchdog 3760  pbscip -f HOME/instance-4503718-1751175588.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 5618df1e63c3ad3b10b24ba90f334740
RANDOM SEED=1908520726

nodeC018 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.797
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.844
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.66
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		: 3599.783
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.66
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		: 3679.392
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.427
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.681
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.66
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.949
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.66
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		: 3695.020
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123614412 kB
MemAvailable:   123662720 kB
Buffers:            3280 kB
Cached:           858368 kB
SwapCached:            0 kB
Active:          6417816 kB
Inactive:         601196 kB
Active(anon):    6175444 kB
Inactive(anon):        0 kB
Active(file):     242372 kB
Inactive(file):   601196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            345976 kB
Writeback:             0 kB
AnonPages:       6155412 kB
Mapped:           134692 kB
Shmem:             18076 kB
KReclaimable:      87556 kB
Slab:             170904 kB
SReclaimable:      87556 kB
SUnreclaim:        83348 kB
KernelStack:        4256 kB
PageTables:        15320 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7089560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3293184 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432656 MiB
End job on nodeC018 at 2025-06-29 07:52:53