Trace number 4525687

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? (TO) 3600.51 3616.73

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
scens/normalized-scen08reduc_wcsp.wbo
MD5SUM6173017921cf4cdc7f10e0dda09f7db9
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables14194
Total number of constraints1450105
Number of soft constraints1449740
Number of constraints which are clauses1449740
Number of constraints which are cardinality constraints (but not clauses)365
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 262
Min constraint cost 1
Max constraint cost 30
Sum of constraints costs 6361774
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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-4525687-1751621137.wbo>
6.57/6.63	c original problem has 1463934 variables (1463934 bin, 0 int, 0 impl, 0 cont) and 2899846 constraints
6.57/6.63	c problem read in 6.63
26.10/26.25	c presolving:
31.58/31.74	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 1449740 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1450105 clqs
82.46/82.86	c    (82.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
95.81/96.22	c    (96.2s) symmetry computation finished: 4 generators found (max: 21, log10 of symmetry group size: 0.0) (symcode time: 8.48)
95.92/96.30	c dynamic symmetry handling statistics:
95.92/96.30	c    orbitopal reduction:       no components
95.92/96.30	c    orbital reduction:         no components
95.92/96.30	c    lexicographic reduction:    4 permutations with support sizes 36440, 35792, 77024, 25832
95.92/96.30	c handled 4 out of 4 symmetry components
99.00/99.41	c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
99.00/99.41	c  25 deleted vars, 0 deleted constraints, 0 added constraints, 1449740 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
99.00/99.41	c  0 implications, 1450080 cliques
99.00/99.41	c presolved problem has 2913649 variables (1463934 bin, 0 int, 1449715 impl, 0 cont) and 2899846 constraints
99.00/99.41	c       1 constraints of type <knapsack>
99.00/99.41	c     365 constraints of type <setppc>
99.00/99.41	c 1449740 constraints of type <linear>
99.00/99.41	c 1449740 constraints of type <indicator>
99.00/99.41	c transformed objective value is always integral (scale: 1)
99.00/99.41	c Presolving Time: 87.28
99.00/99.41	c - non default parameters ----------------------------------------------------------------------
99.00/99.41	c # SCIP version 10.0.0
99.00/99.41	c 
99.00/99.41	c # maximal time in seconds to run
99.00/99.41	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
99.00/99.41	c limits/time = 3596.997032
99.00/99.41	c 
99.00/99.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
99.00/99.41	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
99.00/99.41	c limits/memory = 27900
99.00/99.41	c 
99.00/99.41	c # belongs reading time to solving time?
99.00/99.41	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
99.00/99.41	c timing/reading = TRUE
99.00/99.41	c 
99.00/99.41	c -----------------------------------------------------------------------------------------------
99.00/99.41	c start solving
100.60/101.04	c 
3584.42/3600.67	c 
3584.42/3600.67	c SCIP Status        : solving was interrupted [time limit reached]
3584.42/3600.67	c Solving Time (sec) : 3600.67
3584.42/3600.67	c Solving Nodes      : 1
3584.42/3600.67	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3584.42/3600.67	c Dual Bound         : +0.00000000000000e+00
3584.42/3600.67	c Gap                : infinite
3584.42/3600.67	s UNKNOWN
3584.42/3600.67	c SCIP Status        : solving was interrupted [time limit reached]
3584.42/3600.67	c Total Time         :    3600.67
3584.42/3600.67	c   solving          :    3600.67
3584.42/3600.67	c   presolving       :      87.28 (included in solving)
3584.42/3600.67	c   reading          :       6.63 (included in solving)
3584.42/3600.67	c   copying          :       0.00 (0 times copied the problem)
3584.42/3600.67	c Original Problem   :
3584.42/3600.67	c   Problem name     : HOME/instance-4525687-1751621137.wbo
3584.42/3600.67	c   Variables        : 1463934 (1463934 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.42/3600.67	c   Constraints      : 2899846 initial, 2899846 maximal
3584.51/3600.72	c   Objective        : minimize, 1449740 non-zeros (abs.min = 1, abs.max = 30)
3584.51/3600.72	c Presolved Problem  :
3584.51/3600.72	c   Problem name     : t_HOME/instance-4525687-1751621137.wbo
3584.51/3600.72	c   Variables        : 2913649 (1463934 binary, 0 integer, 1449715 implicit integer, 0 continuous)
3584.51/3600.72	c   Constraints      : 2899846 initial, 2899924 maximal
3584.51/3600.78	c   Objective        : minimize, 1449740 non-zeros (abs.min = 1, abs.max = 30)
3584.51/3600.78	c   Nonzeros         : 13051234 constraint, 2913626 clique table
3584.51/3600.78	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.51/3600.78	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   implics          :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   trivial          :       0.21       0.00      2          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   dualfix          :       0.22       0.00      2          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   probing          :      47.27       0.17      1          0         25          0          0          0          0          0          0          0
3584.51/3600.78	c   pseudoobj        :       0.11       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   symmetry         :      13.44       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   vbounds          :       1.05       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   knapsack         :       0.00       0.08      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   setppc           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   linear           :       6.30       0.25      3          0          0          0    1449740          0          0          0          0          0
3584.51/3600.78	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   indicator        :       1.08       0.10      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   components       :       2.27       0.00      1          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3584.51/3600.78	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.51/3600.78	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3584.51/3600.78	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3584.51/3600.78	c   knapsack         :          1          1          0      43202          0          0          0          3        305          2          0          0          0          0          0
3584.51/3600.78	c   setppc           :        365+       366          0      43218          0          0          0          1         93          7          0          0          0          0          0
3584.51/3600.78	c   linear           :    1449740    1449740          0      43211          0          0          0          3        652          8          0          0          0          0          0
3584.51/3600.78	c   logicor          :          0+        77          0         32          0          0          0          0          1          0          0          0          0          0          0
3584.51/3600.78	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   indicator        :    1449740    1449740          0      43203          0          0          0          0        655          0          0          0          0          0          0
3584.51/3600.78	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.51/3600.78	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   knapsack         :      17.17       0.08       0.00       7.66       0.00       0.00       0.00       0.19       9.25       0.00
3584.51/3600.78	c   setppc           :       8.42       0.00       0.00       8.42       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   linear           :       5.56       0.25       0.90       4.41       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   indicator        :    3454.09       0.10       1.35    3452.64       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   fixedvar         :       0.05       0.05       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.51/3600.78	c   dualfix          :          1          0          0          0
3584.51/3600.78	c   genvbounds       :          0          0          0          0
3584.51/3600.78	c   nlobbt           :          0          0          0          0
3584.51/3600.78	c   obbt             :          0          0          0          0
3584.51/3600.78	c   probing          :          0          0          0          0
3584.51/3600.78	c   pseudoobj        :          1          0          0          0
3584.51/3600.78	c   redcost          :          0          0          0          0
3584.51/3600.78	c   rootredcost      :          0          0          0          0
3584.51/3600.78	c   symmetry         :          0          0          0          0
3584.51/3600.78	c   vbounds          :      20136          0          0          0
3584.51/3600.78	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.51/3600.78	c   dualfix          :       0.33       0.00       0.22       0.12       0.00       0.00
3584.51/3600.78	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3584.51/3600.78	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   probing          :      47.44       0.17      47.27       0.00       0.00       0.00
3584.51/3600.78	c   pseudoobj        :       0.67       0.00       0.11       0.55       0.00       0.00
3584.51/3600.78	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3584.51/3600.78	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3584.51/3600.78	c   symmetry         :      13.51       0.00      13.44       0.07       0.00       0.00
3584.51/3600.78	c   vbounds          :       3.15       0.00       1.05       2.09       0.00       0.00
3584.51/3600.78	c Symmetry           :
3584.51/3600.78	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.51/3600.78	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.51/3600.78	c   lexicographic red:          0 reductions applied,          0 cutoffs
3584.51/3600.78	c   shadow tree time :       0.00 s
3584.51/3600.78	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.51/3600.78	c   propagation      :       9.25         12         12          -        143       39.8          3       38.3          -          -          -
3584.51/3600.78	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.51/3600.78	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.51/3600.78	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.51/3600.78	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.51/3600.78	c   applied globally :       2.25          -          -          0         77       41.7          -          -          0          -          -
3584.51/3600.78	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3584.51/3600.78	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.51/3600.78	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3584.51/3600.78	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.51/3600.78	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.51/3600.78	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.51/3600.78	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.51/3600.78	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.51/3600.78	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.51/3600.78	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.51/3600.78	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.51/3600.78	c   problem variables:       0.00          -          0          0
3584.51/3600.78	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3584.51/3600.78	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3584.51/3600.78	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3584.51/3600.78	c   LP solutions     :       0.00          -          -          0          0
3584.51/3600.78	c   relax solutions  :       0.00          -          -          0          0
3584.51/3600.78	c   pseudo solutions :       0.00          -          -          0          0
3584.51/3600.78	c   strong branching :       0.00          -          -          0          0
3584.51/3600.78	c   actconsdiving    :       0.00       0.00          0          0          0
3584.51/3600.78	c   adaptivediving   :       0.00       0.00          0          0          0
3584.51/3600.78	c   alns             :       0.00       0.00          0          0          0
3584.51/3600.78	c   bound            :       0.00       0.00          0          0          0
3584.51/3600.78	c   clique           :      17.31       0.00          1          0          0
3584.51/3600.78	c   coefdiving       :       0.00       0.00          0          0          0
3584.51/3600.78	c   completesol      :       0.00       0.00          0          0          0
3584.51/3600.78	c   conflictdiving   :       0.00       0.00          0          0          0
3584.51/3600.78	c   crossover        :       0.00       0.00          0          0          0
3584.51/3600.78	c   dins             :       0.00       0.00          0          0          0
3584.51/3600.78	c   distributiondivin:       0.00       0.00          0          0          0
3584.51/3600.78	c   dps              :       0.00       0.00          0          0          0
3584.51/3600.78	c   dualval          :       0.00       0.00          0          0          0
3584.51/3600.78	c   farkasdiving     :       0.00       0.00          0          0          0
3584.51/3600.78	c   feasjump         :       0.00       0.00          0          0          0
3584.51/3600.78	c   feaspump         :       0.00       0.00          0          0          0
3584.51/3600.78	c   fixandinfer      :       0.00       0.00          0          0          0
3584.51/3600.78	c   fracdiving       :       0.00       0.00          0          0          0
3584.51/3600.78	c   gins             :       0.00       0.00          0          0          0
3584.51/3600.78	c   guideddiving     :       0.00       0.00          0          0          0
3584.51/3600.78	c   indcoefdiving    :       0.00       0.00          0          0          0
3584.51/3600.78	c   indicator        :       0.00       0.00          0          0          0
3584.51/3600.78	c   indicatordiving  :       0.00       0.00          0          0          0
3584.51/3600.78	c   indoneopt        :       0.00       0.47          0          0          0
3584.51/3600.78	c   indrounding      :       0.00       0.00          0          0          0
3584.51/3600.78	c   indtwoopt        :       0.00       0.47          0          0          0
3584.51/3600.78	c   intdiving        :       0.00       0.00          0          0          0
3584.51/3600.78	c   intshifting      :       0.00       0.00          0          0          0
3584.51/3600.78	c   linesearchdiving :       0.00       0.00          0          0          0
3584.51/3600.78	c   localbranching   :       0.00       0.00          0          0          0
3584.51/3600.78	c   locks            :      14.53       0.00          1          0          0
3584.51/3600.78	c   lpface           :       0.00       0.00          0          0          0
3584.51/3600.78	c   mpec             :       0.00       0.00          0          0          0
3584.51/3600.78	c   multistart       :       0.00       0.00          0          0          0
3584.51/3600.78	c   mutation         :       0.00       0.00          0          0          0
3584.51/3600.78	c   nlpdiving        :       0.00       0.00          0          0          0
3584.51/3600.78	c   objpscostdiving  :       0.00       0.00          0          0          0
3584.51/3600.78	c   octane           :       0.00       0.00          0          0          0
3584.51/3600.78	c   ofins            :       0.00       0.00          0          0          0
3584.51/3600.78	c   oneopt           :       0.00       0.00          0          0          0
3584.51/3600.78	c   padm             :       0.00       0.00          0          0          0
3584.51/3600.78	c   proximity        :       0.00       0.00          0          0          0
3584.51/3600.78	c   pscostdiving     :       0.00       0.00          0          0          0
3584.51/3600.78	c   randrounding     :       0.00       0.00          0          0          0
3584.51/3600.78	c   rens             :       0.00       0.00          0          0          0
3584.51/3600.78	c   reoptsols        :       0.00       0.00          0          0          0
3584.51/3600.78	c   repair           :       0.00       0.00          0          0          0
3584.51/3600.78	c   rins             :       0.00       0.00          0          0          0
3584.51/3600.78	c   rootsoldiving    :       0.00       0.00          0          0          0
3584.51/3600.78	c   rounding         :       0.00       0.00          0          0          0
3584.51/3600.78	c   scheduler        :       0.00       0.00          0          0          0
3584.51/3600.78	c   shiftandpropagate:       0.00       0.00          0          0          0
3584.51/3600.78	c   shifting         :       0.00       0.00          0          0          0
3584.51/3600.78	c   simplerounding   :       0.00       0.00          0          0          0
3584.51/3600.78	c   smallcard        :       0.00       0.00          0          0          0
3584.51/3600.78	c   subnlp           :       0.00       0.00          0          0          0
3584.51/3600.78	c   trivial          :       3.90       0.00          2          0          0
3584.51/3600.78	c   trivialnegation  :       0.00       0.00          0          0          0
3584.51/3600.78	c   trustregion      :       0.00       0.00          0          0          0
3584.51/3600.78	c   trysol           :       0.00       0.00          0          0          0
3584.51/3600.78	c   twoopt           :       0.00       0.00          0          0          0
3584.51/3600.78	c   undercover       :       0.00       0.00          0          0          0
3584.51/3600.78	c   vbounds          :    3464.06       0.00          1          0          0
3584.51/3600.78	c   veclendiving     :       0.00       0.00          0          0          0
3584.51/3600.78	c   zeroobj          :       0.00       0.00          0          0          0
3584.51/3600.78	c   zirounding       :       0.00       0.00          0          0          0
3584.51/3600.78	c   other solutions  :          -          -          -          0          -
3584.51/3600.78	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	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
3584.51/3600.78	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3584.51/3600.78	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3584.51/3600.78	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
3584.51/3600.78	c   lex dual LP      :       0.00          0          0       0.00          -
3584.51/3600.78	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3584.51/3600.78	c   resolve instable :       0.00          0          0       0.00          -
3584.51/3600.78	c   diving/probing LP:       0.00          0          0       0.00          -
3584.51/3600.78	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3584.51/3600.78	c     (at root node) :          -          0          0       0.00          -
3584.51/3600.78	c   conflict analysis:       0.00          0          0       0.00          -
3584.51/3600.78	c B&B Tree           :
3584.51/3600.78	c   number of runs   :          1
3584.51/3600.78	c   nodes            :          1 (0 internal, 1 leaves)
3584.51/3600.78	c   feasible leaves  :          0
3584.51/3600.78	c   infeas. leaves   :          0
3584.51/3600.78	c   objective leaves :          0
3584.51/3600.78	c   nodes (total)    :          1 (0 internal, 1 leaves)
3584.51/3600.78	c   nodes left       :          1
3584.51/3600.78	c   max depth        :          0
3584.51/3600.78	c   max depth (total):          0
3584.51/3600.78	c   backtracks       :          0 (0.0%)
3584.51/3600.78	c   early backtracks :          0 (0.0%)
3584.51/3600.78	c   nodes exc. ref.  :          0 (0.0%)
3584.51/3600.78	c   delayed cutoffs  :          0
3584.51/3600.78	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3584.51/3600.78	c   avg switch length:       1.00
3584.51/3600.78	c   switching time   :       0.00
3584.51/3600.78	c Root Node          :
3584.51/3600.78	c   First LP value   :          -
3584.51/3600.78	c   First LP Iters   :          0
3584.51/3600.78	c   First LP Time    :       0.00
3584.51/3600.78	c   Final Dual Bound : +0.00000000000000e+00
3584.51/3600.78	c   Final Root Iters :          0
3584.51/3600.78	c   Root LP Estimate :                     -
3584.51/3600.78	c Solution           :
3584.51/3600.78	c   Solutions found  :          0 (0 improvements)
3584.51/3600.78	c   Primal Bound     :          -
3584.51/3600.78	c   Dual Bound       : +0.00000000000000e+00
3584.51/3600.78	c   Gap              :   infinite
3584.51/3600.78	c Integrals          :      Total       Avg%
3584.51/3600.78	c   primal-dual      :  360066.71     100.00
3584.51/3600.78	c   primal-ref       :          -          - (not evaluated)
3584.51/3600.78	c   dual-ref         :          -          - (not evaluated)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525687-1751621137/watcher-4525687-1751621137 -o /tmp/evaluation-result-4525687-1751621137/solver-4525687-1751621137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751613033-91487 --watchdog 3760 pbscip -f HOME/instance-4525687-1751621137.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=92647, runsolver pid=92644

[startup+0.100069 s]*
/proc/loadavg: 4.31 4.21 4.13 5/263 92648
/proc/meminfo: memFree=114522476/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=88856 memory=60544 CPUtime=0.08 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 12186 0 0 0 7 1 0 0 20 0 1 0 77791497 90988544 15136 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 22214 15136 3264 3530 0 13665 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88856 KiB
Current children cumulated memory: 60544 KiB

[startup+0.205882 s]*
/proc/loadavg: 4.31 4.21 4.13 5/263 92648
/proc/meminfo: memFree=114522476/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=122740 memory=95232 CPUtime=0.19 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 20875 0 0 0 17 2 0 0 20 0 1 0 77791497 125685760 23808 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 30685 23808 3264 3530 0 22136 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 122740 KiB
Current children cumulated memory: 95232 KiB

[startup+0.305738 s]*
/proc/loadavg: 4.31 4.21 4.13 5/263 92648
/proc/meminfo: memFree=114522476/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=156244 memory=128768 CPUtime=0.29 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 29271 0 0 0 26 3 0 0 20 0 1 0 77791497 159993856 32192 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 39061 32192 3264 3530 0 30512 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 156244 KiB
Current children cumulated memory: 128768 KiB

[startup+0.700184 s]
/proc/loadavg: 4.31 4.21 4.13 5/263 92648
/proc/meminfo: memFree=114518696/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=286732 memory=258904 CPUtime=0.68 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 61266 0 0 0 59 9 0 0 20 0 1 0 77791497 293613568 64726 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 71683 64726 3264 3530 0 63134 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 286732 KiB
Current children cumulated memory: 258904 KiB

[startup+1.50018 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 92648
/proc/meminfo: memFree=114346520/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=552816 memory=524556 CPUtime=1.48 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 125103 0 0 0 128 20 0 0 20 0 1 0 77791497 566083584 131107 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 138204 131107 3264 3530 0 129655 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 552816 KiB
Current children cumulated memory: 524556 KiB

[startup+3.10567 s]
/proc/loadavg: 4.29 4.20 4.13 5/263 92648
/proc/meminfo: memFree=113717468/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=1087436 memory=1058448 CPUtime=3.08 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 251960 0 0 0 267 41 0 0 20 0 1 0 77791497 1113534464 264612 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 271859 264612 3264 3530 0 263310 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1087436 KiB
Current children cumulated memory: 1058448 KiB

[startup+6.30018 s]
/proc/loadavg: 4.27 4.20 4.12 5/263 92648
/proc/meminfo: memFree=112784816/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=2148076 memory=2118784 CPUtime=6.27 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 500738 0 0 0 549 78 0 0 20 0 1 0 77791497 2199629824 529696 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 537019 529696 3264 3530 0 528470 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2148076 KiB
Current children cumulated memory: 2118784 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.21 4.13 5/263 92648
/proc/meminfo: memFree=109996976/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=5426056 memory=5349464 CPUtime=12.64 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 1157404 0 0 0 1081 183 0 0 20 0 1 0 77791497 5556281344 1337366 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 1356514 1337366 3584 3530 0 1347965 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 5426056 KiB
Current children cumulated memory: 5349464 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.20 4.13 5/263 92648
/proc/meminfo: memFree=105253472/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=9901036 memory=9821132 CPUtime=25.41 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 2142980 0 0 0 2200 341 0 0 20 0 1 0 77791497 10138660864 2455283 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 2475259 2455283 3584 3530 0 2466710 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 9901036 KiB
Current children cumulated memory: 9821132 KiB

[startup+51.1058 s]
/proc/loadavg: 4.16 4.18 4.12 5/263 92649
/proc/meminfo: memFree=104377560/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=10688628 memory=10552684 CPUtime=50.9 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 2186067 0 0 0 4732 358 0 0 20 0 1 0 77791497 10945155072 2638171 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 2672157 2638171 3648 3530 0 2663608 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 10688628 KiB
Current children cumulated memory: 10552684 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/262 92650
/proc/meminfo: memFree=102341568/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=13448228 memory=12603296 CPUtime=101.89 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 2364809 0 0 0 9676 513 0 0 20 0 1 0 77791497 13770985472 3150824 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 3362057 3150824 3712 3530 0 3353508 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 13448228 KiB
Current children cumulated memory: 12603296 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/262 92652
/proc/meminfo: memFree=97107924/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18843856 memory=17803748 CPUtime=161.65 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3117891 0 0 0 15467 698 0 0 20 0 1 0 77791497 19296108544 4450937 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4710964 4450937 3744 3530 0 4702415 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 18843856 KiB
Current children cumulated memory: 17803748 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 92654
/proc/meminfo: memFree=97048088/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18900336 memory=17860124 CPUtime=221.39 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3119354 0 0 0 21440 699 0 0 20 0 1 0 77791497 19353944064 4465031 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725084 4465031 3744 3530 0 4716535 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 18900336 KiB
Current children cumulated memory: 17860124 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/262 92656
/proc/meminfo: memFree=97056224/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18900336 memory=17860124 CPUtime=281.12 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3119355 0 0 0 27413 699 0 0 20 0 1 0 77791497 19353944064 4465031 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725084 4465031 3744 3530 0 4716535 0
Current children cumulated CPU time: 281.12 s
Current children cumulated vsize: 18900336 KiB
Current children cumulated memory: 17860124 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 92664
/proc/meminfo: memFree=96312824/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18900336 memory=17860124 CPUtime=340.86 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3119355 0 0 0 33387 699 0 0 20 0 1 0 77791497 19353944064 4465031 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725084 4465031 3744 3530 0 4716535 0
Current children cumulated CPU time: 340.86 s
Current children cumulated vsize: 18900336 KiB
Current children cumulated memory: 17860124 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 92669
/proc/meminfo: memFree=96284916/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18900336 memory=17860124 CPUtime=400.59 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3119356 0 0 0 39360 699 0 0 20 0 1 0 77791497 19353944064 4465031 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725084 4465031 3744 3530 0 4716535 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 18900336 KiB
Current children cumulated memory: 17860124 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 92671
/proc/meminfo: memFree=96287132/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18900336 memory=17860124 CPUtime=460.3 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3119363 0 0 0 45331 699 0 0 20 0 1 0 77791497 19353944064 4465031 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725084 4465031 3744 3530 0 4716535 0
Current children cumulated CPU time: 460.3 s

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


[startup+2982.3 s]
/proc/loadavg: 3.08 3.48 3.82 4/258 92836
/proc/meminfo: memFree=95973668/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=2969.25 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3124177 0 0 0 296188 737 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 2969.25 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3042.3 s]
/proc/loadavg: 3.09 3.41 3.77 4/257 92838
/proc/meminfo: memFree=95973560/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3028.99 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3124274 0 0 0 302161 738 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3028.99 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.35 3.73 4/257 92841
/proc/meminfo: memFree=95974008/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3088.72 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3124371 0 0 0 308133 739 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3088.72 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3162.3 s]
/proc/loadavg: 3.36 3.39 3.72 4/257 92843
/proc/meminfo: memFree=95974072/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3148.44 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3124387 0 0 0 314105 739 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3148.44 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3222.3 s]
/proc/loadavg: 2.22 3.08 3.59 2/245 92906
/proc/meminfo: memFree=107391892/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3208.15 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3124495 0 0 0 320075 740 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3208.15 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3282.3 s]
/proc/loadavg: 1.57 2.73 3.44 2/245 92908
/proc/meminfo: memFree=107379224/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3267.82 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3124501 0 0 0 326042 740 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3267.82 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3342.3 s]
/proc/loadavg: 1.27 2.43 3.29 2/246 92915
/proc/meminfo: memFree=107376796/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3327.5 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3125052 0 0 0 332008 742 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3327.5 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3402.3 s]
/proc/loadavg: 1.15 2.18 3.15 2/246 92920
/proc/meminfo: memFree=107378608/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3387.18 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3125053 0 0 0 337976 742 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3387.18 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3462.3 s]
/proc/loadavg: 1.16 1.99 3.02 2/246 92922
/proc/meminfo: memFree=107387608/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3446.86 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3125170 0 0 0 343943 743 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3446.86 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.83 2.89 2/246 92924
/proc/meminfo: memFree=107394980/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3506.53 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3125172 0 0 0 349910 743 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3506.53 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.69 2.78 2/246 92926
/proc/meminfo: memFree=107395484/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=18903348 memory=17863196 CPUtime=3566.21 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3125549 0 0 0 355877 744 0 0 20 0 1 0 77791497 19357028352 4465799 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4725837 4465799 3744 3530 0 4717288 0
Current children cumulated CPU time: 3566.21 s
Current children cumulated vsize: 18903348 KiB
Current children cumulated memory: 17863196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.3 s]
/proc/loadavg: 1.10 1.64 2.73 2/246 92927
/proc/meminfo: memFree=106930252/131249996 swapFree=33010672/33010684
[pid=92647] ppid=92644 vsize=19302284 memory=18259872 CPUtime=3600.07 cores=1,3
/proc/92647/stat : 92647 (pbscip) R 92644 92647 91475 0 -1 4194304 3261728 0 0 0 359242 765 0 0 20 0 1 0 77791497 19765538816 4564968 18446744073709551615 4235264 18693293 140731428940704 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45023232 140731428948359 140731428948458 140731428948458 140731428954062 0
/proc/92647/statm: 4825571 4564968 3744 3530 0 4817022 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19302284 KiB
Current children cumulated memory: 18259872 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3616.73 s]
# the end of solver process 92647 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3592.42 s, system=8.08607 s

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

[startup+3616.4 s]*
/proc/loadavg: 1.09 1.62 2.72 2/246 92927
/proc/meminfo: memFree=111017504/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3616.6 s]
/proc/loadavg: 1.09 1.62 2.72 2/246 92927
/proc/meminfo: memFree=111017504/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3616.7 s]
/proc/loadavg: 1.09 1.62 2.72 2/246 92927
/proc/meminfo: memFree=111017504/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3616.73
CPU time (s): 3600.51
CPU user time (s): 3592.42
CPU system time (s): 8.08607
CPU usage (%): 99.5515
Max. virtual memory (cumulated for all children) (KiB): 19457432
Max. memory (cumulated for all children) (KiB): 18413464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.42
system time used= 8.08607
maximum resident set size= 18413464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3261728
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= 80
involuntary context switches= 4635


# summary of solver processes directly reported to runsolver:
#   pid: 92647
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3592.42
#   total CPU system time (s): 8.08607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18452 second user time and 16.7673 second system time

The end

Launcher Data

Begin job on nodeC017 at 2025-07-04 11:25:37
IDJOB=4525687
IDBENCH=143877
IDSOLVER=3382
FILE ID=nodeC017/4525687-1751621137
RUNJOBID= nodeC017-1751613033-91487
SLURM_JOB_ID= 9598916
Free space on /tmp= 432312 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen08reduc_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525687-1751621137/watcher-4525687-1751621137 -o /tmp/evaluation-result-4525687-1751621137/solver-4525687-1751621137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751613033-91487 --watchdog 3760  pbscip -f HOME/instance-4525687-1751621137.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 6173017921cf4cdc7f10e0dda09f7db9
RANDOM SEED=2060893994

nodeC017 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		: 3600.052
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	: 7000.12
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		: 3582.746
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	: 7000.12
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		: 3602.472
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        114570212 kB
MemAvailable:   119044952 kB
Buffers:            1688 kB
Cached:          5242448 kB
SwapCached:            8 kB
Active:         10611972 kB
Inactive:        4952316 kB
Active(anon):   10322096 kB
Inactive(anon):    16128 kB
Active(file):     289876 kB
Inactive(file):  4936188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61996 kB
Writeback:             4 kB
AnonPages:      10322360 kB
Mapped:           136652 kB
Shmem:             18072 kB
KReclaimable:     175432 kB
Slab:             267160 kB
SReclaimable:     175432 kB
SUnreclaim:        91728 kB
KernelStack:        4240 kB
PageTables:        23744 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11446832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1947648 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432360 MiB
End job on nodeC017 at 2025-07-04 12:25:54