Trace number 4505457

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13? (TO) 3600.65 3617.17

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
MD5SUM52dca71e841298ae6df8c1bcbb79ed30
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13359973
Best CPU time to get the best result obtained on this benchmark3600.91
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 140608000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 388230486170
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 140608000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 388230486170
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4505457-1751453929.opb>
12.66/12.72	c original problem has 2000400 variables (2000400 bin, 0 int, 0 cont) and 4920807 constraints
12.66/12.72	c problem read in 12.718 seconds
24.33/24.41	c presolving:
32.41/32.59	c (round 1, fast)       40000 del vars, 19803 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
39.58/39.79	c    (39.8s) running MILP presolver
46.47/46.65	c    (46.6s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
62.29/62.54	c (round 2, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 2925551 clqs
86.30/86.65	c (round 3, exhaustive) 40000 del vars, 24753 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 2925551 clqs
108.53/108.94	c (round 4, medium)     40000 del vars, 1004853 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
126.98/127.41	c (round 5, exhaustive) 40000 del vars, 4895553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 4896051 upgd conss, 0 impls, 5836151 clqs
1073.41/1078.21	c    (1078.2s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
1074.31/1079.13	c    (1079.1s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
1074.31/1079.13	c    (1079.1s) probing aborted: 1000/1000 successive useless probings
1074.31/1079.13	c    (1079.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1904.67/1913.12	c    (1913.1s) no symmetry present (symcode time: 829.41)
1907.15/1915.63	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1907.15/1915.63	c  40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1907.15/1915.63	c  0 implications, 6424151 cliques
1907.15/1915.63	c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 cont) and 3915954 constraints
1907.15/1915.63	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1907.15/1915.63	c    5250 constraints of type <knapsack>
1907.15/1915.63	c 2925551 constraints of type <setppc>
1907.15/1915.63	c  980100 constraints of type <and>
1907.15/1915.63	c       3 constraints of type <linear>
1907.15/1915.63	c    5050 constraints of type <logicor>
1907.15/1915.63	c transformed objective value is always integral (scale: 1)
1907.15/1915.63	c Presolving Time: 1891.79
1907.15/1915.63	c 
1907.15/1915.63	c - non default parameters ----------------------------------------------------------------------
1907.15/1915.63	c 
1907.15/1915.63	c # SCIP version 10.0.0
1907.15/1915.63	c 
1907.15/1915.63	c # maximal time in seconds to run
1907.15/1915.63	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1907.15/1915.63	c limits/time = 3596.998229
1907.15/1915.63	c 
1907.15/1915.63	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1907.15/1915.63	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1907.15/1915.63	c limits/memory = 27900
1907.15/1915.63	c 
1907.15/1915.63	c # belongs reading time to solving time?
1907.15/1915.63	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1907.15/1915.63	c timing/reading = TRUE
1907.15/1915.63	c 
1907.15/1915.63	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
1907.15/1915.63	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1907.15/1915.63	c reading/opbreader/maxintsize = 47
1907.15/1915.63	c 
1907.15/1915.63	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1907.15/1915.63	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1907.15/1915.63	c propagating/genvbounds/timingmask = 0
1907.15/1915.63	c 
1907.15/1915.63	c -----------------------------------------------------------------------------------------------
1907.66/1916.15	c 
3586.51/3603.06	c 
3586.51/3603.06	c SCIP Status        : solving was interrupted [time limit reached]
3586.51/3603.06	c Solving Time (sec) : 3603.07
3586.51/3603.06	c Solving Nodes      : 1
3586.51/3603.06	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.51/3603.06	c Dual Bound         : -1.50000000000000e+01
3586.51/3603.06	c Gap                : infinite
3586.51/3603.06	s UNKNOWN
3586.51/3603.06	c SCIP Status        : solving was interrupted [time limit reached]
3586.51/3603.06	c Total Time         :    3603.07
3586.51/3603.06	c   solving          :    3603.07
3586.51/3603.06	c   presolving       :    1891.79 (included in solving)
3586.51/3603.06	c   reading          :      12.72 (included in solving)
3586.51/3603.06	c   copying          :       0.00 (0 times copied the problem)
3586.51/3603.06	c Original Problem   :
3586.51/3603.06	c   Problem name     : HOME/instance-4505457-1751453929.opb
3586.51/3603.06	c   Variables        : 2000400 (2000400 binary, 0 integer, 0 continuous)
3586.51/3603.06	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.51/3603.06	c   Constraints      : 4920807 initial, 4920807 maximal
3586.61/3603.12	c   Objective        : minimize, 1019800 non-zeros (abs.min = 1, abs.max = 1.40608e+08)
3586.61/3603.12	c Presolved Problem  :
3586.61/3603.12	c   Problem name     : t_HOME/instance-4505457-1751453929.opb
3586.61/3603.12	c   Variables        : 1960400 (1960400 binary, 0 integer, 0 continuous)
3586.61/3603.12	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.61/3603.12	c   Constraints      : 3915954 initial, 3916654 maximal
3586.61/3603.16	c   Objective        : minimize, 990000 non-zeros (abs.min = 2, abs.max = 2.81216e+08)
3586.61/3603.16	c   Nonzeros         : 10821600 constraint, 12848400 clique table
3586.61/3603.16	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.61/3603.16	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   gateextraction   :      16.37       0.00      2          0          0          0          0          0    3890700     980100          0          0
3586.61/3603.16	c   implics          :       0.18       0.00      5          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   milp             :      13.46       0.00      1          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   trivial          :       0.40       0.00      6          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   dualfix          :       0.40       0.00      6      29800          0          0          0          0          0          0          0          0
3586.61/3603.16	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   probing          :     931.42       0.07      1          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   pseudoobj        :       0.03       0.00      0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   symmetry         :     833.99       0.00      1          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   vbounds          :       3.02       0.00      2          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   knapsack         :      12.16       0.05      7          0          0          0          0          0     980100    2910600          0          0
3586.61/3603.16	c   setppc           :      13.95       0.22      7          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   and              :       5.54       0.00      2          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   linear           :      42.36       2.41      9        300       9900          0        300          0      24753          0       4950      14850
3586.61/3603.16	c   logicor          :       9.49       0.10      7          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   components       :       1.72       0.00      1          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.61/3603.16	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.61/3603.16	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3586.61/3603.16	c   knapsack         :       5250       5250          0      80384          0          0          0          3      53349          0          0          0          0          0          0
3586.61/3603.16	c   setppc           :    2925551    2925551          0      80384          0          0          0          1     841232         70          0          0          0          0          0
3586.61/3603.16	c   and              :     980100     980100          0      80314          0          0          0          0      13860          0          0          0          0          0          0
3586.61/3603.16	c   linear           :          3          3          0      80314          0          0          0          3       1050          0          0          0          0          0          0
3586.61/3603.16	c   logicor          :       5050+      5750          0       5412          0          0          0          0     201644         11          0          0          0          0          0
3586.61/3603.16	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.61/3603.16	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c   knapsack         :       4.73       0.05       0.19       4.44       0.00       0.00       0.00       0.03       0.03       0.00
3586.61/3603.16	c   setppc           :     121.08       0.22       1.54     119.08       0.00       0.00       0.00       0.00       0.24       0.00
3586.61/3603.16	c   and              :    1060.64       0.00       3.20    1057.23       0.00       0.00       0.00       0.00       0.21       0.00
3586.61/3603.16	c   linear           :       2.85       2.41       0.00       0.43       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c   logicor          :       0.56       0.10       0.01       0.39       0.00       0.00       0.00       0.00       0.05       0.00
3586.61/3603.16	c   fixedvar         :       0.06       0.06       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.61/3603.16	c   dualfix          :          1          0          0          0
3586.61/3603.16	c   genvbounds       :          0          0          0          0
3586.61/3603.16	c   nlobbt           :          0          0          0          0
3586.61/3603.16	c   obbt             :          0          0          0          0
3586.61/3603.16	c   probing          :          0          0          0          0
3586.61/3603.16	c   pseudoobj        :          1          0          0          0
3586.61/3603.16	c   redcost          :          0          0          0          0
3586.61/3603.16	c   rootredcost      :          0          0          0          0
3586.61/3603.16	c   symmetry         :          0          0          0          0
3586.61/3603.16	c   vbounds          :       5971          0          0          0
3586.61/3603.16	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.61/3603.16	c   dualfix          :       0.46       0.00       0.40       0.06       0.00       0.00
3586.61/3603.16	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.61/3603.16	c   probing          :     931.49       0.07     931.42       0.00       0.00       0.00
3586.61/3603.16	c   pseudoobj        :       0.41       0.00       0.03       0.39       0.00       0.00
3586.61/3603.16	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3586.61/3603.16	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3586.61/3603.16	c   symmetry         :     834.03       0.00     833.99       0.04       0.00       0.00
3586.61/3603.16	c   vbounds          :       3.62       0.00       3.02       0.60       0.00       0.00
3586.61/3603.16	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.61/3603.16	c   propagation      :       3.43         70         70          -       6367     3940.3          0        0.0          -          -          -
3586.61/3603.16	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.61/3603.16	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.61/3603.16	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.61/3603.16	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.61/3603.16	c   applied globally :       3.76          -          -          0        700     7205.1          -          -          0          -          -
3586.61/3603.16	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.61/3603.16	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.61/3603.16	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3586.61/3603.16	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.61/3603.16	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.61/3603.16	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.61/3603.16	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.61/3603.16	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.61/3603.16	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.61/3603.16	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.61/3603.16	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.61/3603.16	c   problem variables:       0.00          -          0          0
3586.61/3603.16	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.61/3603.16	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.61/3603.16	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.61/3603.16	c   LP solutions     :       0.00          -          -          0          0
3586.61/3603.16	c   relax solutions  :       0.00          -          -          0          0
3586.61/3603.16	c   pseudo solutions :       0.00          -          -          0          0
3586.61/3603.16	c   strong branching :       0.00          -          -          0          0
3586.61/3603.16	c   actconsdiving    :       0.00       0.00          0          0          0
3586.61/3603.16	c   adaptivediving   :       0.00       0.00          0          0          0
3586.61/3603.16	c   alns             :       0.00       0.00          0          0          0
3586.61/3603.16	c   bound            :       0.00       0.00          0          0          0
3586.61/3603.16	c   clique           :     732.28       0.00          1          0          0
3586.61/3603.16	c   coefdiving       :       0.00       0.00          0          0          0
3586.61/3603.16	c   completesol      :       0.00       0.00          0          0          0
3586.61/3603.16	c   conflictdiving   :       0.00       0.00          0          0          0
3586.61/3603.16	c   crossover        :       0.00       0.00          0          0          0
3586.61/3603.16	c   dins             :       0.00       0.00          0          0          0
3586.61/3603.16	c   distributiondivin:       0.00       0.00          0          0          0
3586.61/3603.16	c   dks              :       0.00       0.00          0          0          0
3586.61/3603.16	c   dps              :       0.00       0.00          0          0          0
3586.61/3603.16	c   dualval          :       0.00       0.00          0          0          0
3586.61/3603.16	c   farkasdiving     :       0.00       0.00          0          0          0
3586.61/3603.16	c   feaspump         :       0.00       0.00          0          0          0
3586.61/3603.16	c   fixandinfer      :       0.00       0.00          0          0          0
3586.61/3603.16	c   fracdiving       :       0.00       0.00          0          0          0
3586.61/3603.16	c   gins             :       0.00       0.00          0          0          0
3586.61/3603.16	c   guideddiving     :       0.00       0.00          0          0          0
3586.61/3603.16	c   indicator        :       0.00       0.00          0          0          0
3586.61/3603.16	c   indicatordiving  :       0.00       0.00          0          0          0
3586.61/3603.16	c   intdiving        :       0.00       0.00          0          0          0
3586.61/3603.16	c   intshifting      :       0.00       0.00          0          0          0
3586.61/3603.16	c   linesearchdiving :       0.00       0.00          0          0          0
3586.61/3603.16	c   localbranching   :       0.00       0.00          0          0          0
3586.61/3603.16	c   locks            :      20.86       0.00          1          0          0
3586.61/3603.16	c   lpface           :       0.00       0.00          0          0          0
3586.61/3603.16	c   mpec             :       0.00       0.00          0          0          0
3586.61/3603.16	c   multistart       :       0.00       0.00          0          0          0
3586.61/3603.16	c   mutation         :       0.00       0.00          0          0          0
3586.61/3603.16	c   nlpdiving        :       0.00       0.00          0          0          0
3586.61/3603.16	c   objpscostdiving  :       0.00       0.00          0          0          0
3586.61/3603.16	c   octane           :       0.00       0.00          0          0          0
3586.61/3603.16	c   ofins            :       0.00       0.00          0          0          0
3586.61/3603.16	c   oneopt           :       0.00       0.00          0          0          0
3586.61/3603.16	c   padm             :       0.00       0.00          0          0          0
3586.61/3603.16	c   proximity        :       0.00       0.00          0          0          0
3586.61/3603.16	c   pscostdiving     :       0.00       0.00          0          0          0
3586.61/3603.16	c   randrounding     :       0.00       0.00          0          0          0
3586.61/3603.16	c   rens             :       0.00       0.00          0          0          0
3586.61/3603.16	c   reoptsols        :       0.00       0.00          0          0          0
3586.61/3603.16	c   repair           :       0.00       0.00          0          0          0
3586.61/3603.16	c   rins             :       0.00       0.00          0          0          0
3586.61/3603.16	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.61/3603.16	c   rounding         :       0.00       0.00          0          0          0
3586.61/3603.16	c   scheduler        :       0.00       0.00          0          0          0
3586.61/3603.16	c   shiftandpropagate:       0.00       0.00          0          0          0
3586.61/3603.16	c   shifting         :       0.00       0.00          0          0          0
3586.61/3603.16	c   simplerounding   :       0.00       0.00          0          0          0
3586.61/3603.16	c   subnlp           :       0.00       0.00          0          0          0
3586.61/3603.16	c   trivial          :       1.10       0.00          2          0          0
3586.61/3603.16	c   trivialnegation  :       0.00       0.00          0          0          0
3586.61/3603.16	c   trustregion      :       0.00       0.00          0          0          0
3586.61/3603.16	c   trysol           :       0.00       0.00          0          0          0
3586.61/3603.16	c   twoopt           :       0.00       0.00          0          0          0
3586.61/3603.16	c   undercover       :       0.00       0.00          0          0          0
3586.61/3603.16	c   vbounds          :     932.11       0.00          1          0          0
3586.61/3603.16	c   veclendiving     :       0.00       0.00          0          0          0
3586.61/3603.16	c   zeroobj          :       0.00       0.00          0          0          0
3586.61/3603.16	c   zirounding       :       0.00       0.00          0          0          0
3586.61/3603.16	c   other solutions  :          -          -          -          0          -
3586.61/3603.16	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.61/3603.16	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.61/3603.16	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.61/3603.16	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.61/3603.16	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3586.61/3603.16	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
3586.61/3603.16	c   lex dual LP      :       0.00          0          0       0.00          -
3586.61/3603.16	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.61/3603.16	c   resolve instable :       0.00          0          0       0.00          -
3586.61/3603.16	c   diving/probing LP:       5.52          1        316     316.00      57.25
3586.61/3603.16	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3586.61/3603.16	c     (at root node) :          -          0          0       0.00          -
3586.61/3603.16	c   conflict analysis:       0.00          0          0       0.00          -
3586.61/3603.16	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3586.61/3603.16	c   benders          :       0.00          0          0          0       0.00          0          0          0
3586.61/3603.16	c B&B Tree           :
3586.61/3603.16	c   number of runs   :          1
3586.61/3603.16	c   nodes            :          1 (0 internal, 1 leaves)
3586.61/3603.16	c   feasible leaves  :          0
3586.61/3603.16	c   infeas. leaves   :          0
3586.61/3603.16	c   objective leaves :          0
3586.61/3603.16	c   nodes (total)    :          1 (0 internal, 1 leaves)
3586.61/3603.16	c   nodes left       :          1
3586.61/3603.16	c   max depth        :          0
3586.61/3603.16	c   max depth (total):          0
3586.61/3603.16	c   backtracks       :          0 (0.0%)
3586.61/3603.16	c   early backtracks :          0 (0.0%)
3586.61/3603.16	c   nodes exc. ref.  :          0 (0.0%)
3586.61/3603.16	c   delayed cutoffs  :          0
3586.61/3603.16	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.61/3603.16	c   avg switch length:       1.00
3586.61/3603.16	c   switching time   :       0.00
3586.61/3603.16	c Root Node          :
3586.61/3603.16	c   First LP value   :          -
3586.61/3603.16	c   First LP Iters   :          0
3586.61/3603.16	c   First LP Time    :       0.00
3586.61/3603.16	c   Final Dual Bound : -1.50000000000000e+01
3586.61/3603.16	c   Final Root Iters :          0
3586.61/3603.16	c   Root LP Estimate :                     -
3586.61/3603.16	c Solution           :
3586.61/3603.16	c   Solutions found  :          0 (0 improvements)
3586.61/3603.16	c   Primal Bound     :          -
3586.61/3603.16	c   Dual Bound       : -1.50000000000000e+01
3586.61/3603.16	c   Gap              :   infinite
3586.61/3603.16	c Integrals          :      Total       Avg%
3586.61/3603.16	c   primal-dual      :  360306.69     100.00
3586.61/3603.16	c   primal-ref       :          -          - (not evaluated)
3586.61/3603.16	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: 63708 MiB (59918 MiB free)
  memory of node 1: 64465 MiB (42662 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505457-1751453929/watcher-4505457-1751453929 -o /tmp/evaluation-result-4505457-1751453929/solver-4505457-1751453929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751446725-63281 --watchdog 3760 pbsolver -f HOME/instance-4505457-1751453929.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.08 4.09 5/260 64126
/proc/meminfo: memFree=104876156/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=202772 memory=186824 CPUtime=0.09 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 27370 0 0 0 4 5 0 0 20 0 1 0 61067616 207638528 46706 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 50693 46706 2176 2575 0 47600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 202772 KiB
Current children cumulated memory: 186824 KiB

[startup+0.205434 s]*
/proc/loadavg: 4.08 4.08 4.09 4/260 64126
/proc/meminfo: memFree=104763260/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=316232 memory=298824 CPUtime=0.2 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 55369 0 0 0 10 10 0 0 20 0 1 0 61067616 323821568 74706 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 79058 74706 2176 2575 0 75965 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 316232 KiB
Current children cumulated memory: 298824 KiB

[startup+0.30535 s]*
/proc/loadavg: 4.08 4.08 4.09 4/260 64126
/proc/meminfo: memFree=104674556/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=412916 memory=396408 CPUtime=0.29 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 79243 0 0 0 16 13 0 0 20 0 1 0 61067616 422825984 99102 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 103229 99102 2176 2575 0 100136 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 412916 KiB
Current children cumulated memory: 396408 KiB

[startup+0.700134 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 64132
/proc/meminfo: memFree=104457456/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=810016 memory=792380 CPUtime=0.69 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 172117 0 0 0 43 26 0 0 20 0 1 0 61067616 829456384 198095 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 202504 198095 2176 2575 0 199411 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 810016 KiB
Current children cumulated memory: 792380 KiB

[startup+1.50014 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 64132
/proc/meminfo: memFree=103959872/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=1279464 memory=1260636 CPUtime=1.48 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 274395 0 0 0 109 39 0 0 20 0 1 0 61067616 1310171136 315159 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 319866 315159 2176 2575 0 316773 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1279464 KiB
Current children cumulated memory: 1260636 KiB

[startup+3.10529 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 64155
/proc/meminfo: memFree=102763384/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=2186320 memory=2168156 CPUtime=3.09 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 501300 0 0 0 237 72 0 0 20 0 1 0 61067616 2238791680 542039 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 546580 542039 2176 2575 0 543487 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2186320 KiB
Current children cumulated memory: 2168156 KiB

[startup+6.30014 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 64165
/proc/meminfo: memFree=99931600/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=3273764 memory=3252964 CPUtime=6.27 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 750021 0 0 0 515 112 0 0 20 0 1 0 61067616 3352334336 813241 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 818441 813241 2176 2575 0 815348 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3273764 KiB
Current children cumulated memory: 3252964 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 64165
/proc/meminfo: memFree=96785772/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=4620852 memory=4602040 CPUtime=12.66 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 1061510 0 0 0 1109 157 0 0 20 0 1 0 61067616 4731752448 1150510 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 1155213 1150510 2176 2575 0 1152120 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4620852 KiB
Current children cumulated memory: 4602040 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 64165
/proc/meminfo: memFree=85279516/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=10620916 memory=10526820 CPUtime=25.42 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 2383433 0 0 0 2180 362 0 0 20 0 1 0 61067616 10875817984 2631705 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 2655229 2631705 2432 2575 0 2652136 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 10620916 KiB
Current children cumulated memory: 10526820 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 64210
/proc/meminfo: memFree=88423976/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=12224840 memory=12000928 CPUtime=50.95 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 2519371 0 0 0 4572 523 0 0 20 0 1 0 61067616 12518236160 3000232 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3056210 3000232 2528 2575 0 3053117 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 12224840 KiB
Current children cumulated memory: 12000928 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 64211
/proc/meminfo: memFree=77247092/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=15004104 memory=14763072 CPUtime=101.96 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 3028438 0 0 0 9579 617 0 0 20 0 1 0 61067616 15364202496 3690768 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3751026 3690768 2560 2575 0 3747933 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 15004104 KiB
Current children cumulated memory: 14763072 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 64224
/proc/meminfo: memFree=74077684/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=15991712 memory=15720596 CPUtime=161.74 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 3058917 0 0 0 15538 636 0 0 20 0 1 0 61067616 16375513088 3930149 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3997928 3930149 2592 2575 0 3994835 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15720596 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 64227
/proc/meminfo: memFree=74072960/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=15991712 memory=15722644 CPUtime=221.46 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 3059076 0 0 0 21510 636 0 0 20 0 1 0 61067616 16375513088 3930661 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3997928 3930661 2592 2575 0 3994835 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15722644 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 64229
/proc/meminfo: memFree=73354220/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=15991712 memory=15722644 CPUtime=281.18 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 3059179 0 0 0 27482 636 0 0 20 0 1 0 61067616 16375513088 3930661 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3997928 3930661 2592 2575 0 3994835 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15722644 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 64231
/proc/meminfo: memFree=73547292/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=15991712 memory=15722644 CPUtime=340.91 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 3059267 0 0 0 33455 636 0 0 20 0 1 0 61067616 16375513088 3930661 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3997928 3930661 2592 2575 0 3994835 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15722644 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 64233
/proc/meminfo: memFree=73533724/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=15991712 memory=15722644 CPUtime=400.63 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 3059303 0 0 0 39427 636 0 0 20 0 1 0 61067616 16375513088 3930661 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3997928 3930661 2592 2575 0 3994835 0
Current children cumulated CPU time: 400.63 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15722644 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 64238
/proc/meminfo: memFree=73522444/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=15991712 memory=15722644 CPUtime=460.36 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 3059354 0 0 0 45400 636 0 0 20 0 1 0 61067616 16375513088 3930661 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 3997928 3930661 2592 2575 0 3994835 0
Current children cumulated CPU time: 460.36 s

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


[startup+2982.3 s]
/proc/loadavg: 3.14 3.51 3.84 4/258 64437
/proc/meminfo: memFree=89259168/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25391648 memory=24525944 CPUtime=2968.62 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4477798 0 0 0 295849 1013 0 0 20 0 1 0 61067616 26001047552 6131486 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6347912 6131486 2656 2575 0 6344819 0
Current children cumulated CPU time: 2968.62 s
Current children cumulated vsize: 25391648 KiB
Current children cumulated memory: 24525944 KiB

[startup+3042.3 s]
/proc/loadavg: 3.10 3.43 3.79 4/258 64439
/proc/meminfo: memFree=89257840/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25392672 memory=24526968 CPUtime=3028.35 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4478155 0 0 0 301822 1013 0 0 20 0 1 0 61067616 26002096128 6131742 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6348168 6131742 2656 2575 0 6345075 0
Current children cumulated CPU time: 3028.35 s
Current children cumulated vsize: 25392672 KiB
Current children cumulated memory: 24526968 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.36 3.74 4/258 64441
/proc/meminfo: memFree=89239432/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25395232 memory=24529656 CPUtime=3088.08 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4478837 0 0 0 307795 1013 0 0 20 0 1 0 61067616 26004717568 6132414 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6348808 6132414 2656 2575 0 6345715 0
Current children cumulated CPU time: 3088.08 s
Current children cumulated vsize: 25395232 KiB
Current children cumulated memory: 24529656 KiB

[startup+3162.3 s]
/proc/loadavg: 3.09 3.31 3.70 4/258 64444
/proc/meminfo: memFree=89239444/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25397340 memory=24531448 CPUtime=3147.79 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4479331 0 0 0 313765 1014 0 0 20 0 1 0 61067616 26006876160 6132862 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6349335 6132862 2656 2575 0 6346242 0
Current children cumulated CPU time: 3147.79 s
Current children cumulated vsize: 25397340 KiB
Current children cumulated memory: 24531448 KiB

[startup+3222.3 s]
/proc/loadavg: 3.08 3.27 3.66 4/257 64446
/proc/meminfo: memFree=89241140/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25399764 memory=24533880 CPUtime=3207.48 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4480011 0 0 0 319734 1014 0 0 20 0 1 0 61067616 26009358336 6133470 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6349941 6133470 2656 2575 0 6346848 0
Current children cumulated CPU time: 3207.48 s
Current children cumulated vsize: 25399764 KiB
Current children cumulated memory: 24533880 KiB

[startup+3282.3 s]
/proc/loadavg: 3.15 3.25 3.62 4/257 64448
/proc/meminfo: memFree=89233036/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25401112 memory=24535288 CPUtime=3267.21 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4480423 0 0 0 325707 1014 0 0 20 0 1 0 61067616 26010738688 6133822 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6350278 6133822 2656 2575 0 6347185 0
Current children cumulated CPU time: 3267.21 s
Current children cumulated vsize: 25401112 KiB
Current children cumulated memory: 24535288 KiB

[startup+3342.3 s]
/proc/loadavg: 3.05 3.20 3.58 4/256 64450
/proc/meminfo: memFree=89222772/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25403352 memory=24537592 CPUtime=3326.94 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4481060 0 0 0 331680 1014 0 0 20 0 1 0 61067616 26013032448 6134398 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6350838 6134398 2656 2575 0 6347745 0
Current children cumulated CPU time: 3326.94 s
Current children cumulated vsize: 25403352 KiB
Current children cumulated memory: 24537592 KiB

[startup+3402.3 s]
/proc/loadavg: 3.06 3.18 3.55 4/256 64452
/proc/meminfo: memFree=89214780/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25405064 memory=24539256 CPUtime=3386.67 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4481524 0 0 0 337653 1014 0 0 20 0 1 0 61067616 26014785536 6134814 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6351266 6134814 2656 2575 0 6348173 0
Current children cumulated CPU time: 3386.67 s
Current children cumulated vsize: 25405064 KiB
Current children cumulated memory: 24539256 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.17 3.52 4/256 64456
/proc/meminfo: memFree=89214884/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25407304 memory=24541688 CPUtime=3446.4 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4482208 0 0 0 343626 1014 0 0 20 0 1 0 61067616 26017079296 6135422 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6351826 6135422 2656 2575 0 6348733 0
Current children cumulated CPU time: 3446.4 s
Current children cumulated vsize: 25407304 KiB
Current children cumulated memory: 24541688 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.15 3.49 4/257 64463
/proc/meminfo: memFree=89206468/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25409288 memory=24543736 CPUtime=3506.14 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4482771 0 0 0 349600 1014 0 0 20 0 1 0 61067616 26019110912 6135934 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6352322 6135934 2656 2575 0 6349229 0
Current children cumulated CPU time: 3506.14 s
Current children cumulated vsize: 25409288 KiB
Current children cumulated memory: 24543736 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.14 3.47 4/258 64466
/proc/meminfo: memFree=89182124/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25412420 memory=24546680 CPUtime=3565.89 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4483425 0 0 0 355574 1015 0 0 20 0 1 0 61067616 26022318080 6136670 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6353105 6136670 2656 2575 0 6350012 0
Current children cumulated CPU time: 3565.89 s
Current children cumulated vsize: 25412420 KiB
Current children cumulated memory: 24546680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.6 s]
/proc/loadavg: 3.06 3.13 3.45 4/258 64466
/proc/meminfo: memFree=88426064/131249992 swapFree=33010160/33010684
[pid=64125] ppid=64122 vsize=25939320 memory=25073116 CPUtime=3600.06 cores=0,2
/proc/64125/stat : 64125 (pbsolver) R 64122 64125 63271 0 -1 4194304 4689369 0 0 0 358961 1045 0 0 20 0 1 0 61067616 26561863680 6268279 18446744073709551615 4198400 14743177 140727703049568 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 24469504 140727703054730 140727703054826 140727703054826 140727703060428 0
/proc/64125/statm: 6484830 6268279 2656 2575 0 6481737 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 25939320 KiB
Current children cumulated memory: 25073116 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.62 s, system=11.0298 s

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

[startup+3616.81 s]
/proc/loadavg: 3.06 3.13 3.45 4/258 64466
/proc/meminfo: memFree=93621444/131249992 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3617 s]*
/proc/loadavg: 3.06 3.12 3.45 4/258 64466
/proc/meminfo: memFree=105893148/131249992 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3617.11 s]
/proc/loadavg: 3.06 3.12 3.45 4/258 64466
/proc/meminfo: memFree=105893148/131249992 swapFree=33010160/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): 3617.17
CPU time (s): 3600.65
CPU user time (s): 3589.62
CPU system time (s): 11.0298
CPU usage (%): 99.5431
Max. virtual memory (cumulated for all children) (KiB): 26261920
Max. memory (cumulated for all children) (KiB): 25395568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.62
system time used= 11.0298
maximum resident set size= 25395568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4689369
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= 38
involuntary context switches= 8025


# summary of solver processes directly reported to runsolver:
#   pid: 64125
#   total CPU time (s): 3600.65
#   total CPU user time (s): 3589.62
#   total CPU system time (s): 11.0298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99868 second user time and 16.217 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-02 12:58:51
IDJOB=4505457
IDBENCH=155757
IDSOLVER=3366
FILE ID=nodeC035/4505457-1751453929
RUNJOBID= nodeC035-1751446725-63281
SLURM_JOB_ID= 9598423
Free space on /tmp= 432352 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505457-1751453929/watcher-4505457-1751453929 -o /tmp/evaluation-result-4505457-1751453929/solver-4505457-1751453929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751446725-63281 --watchdog 3760  pbsolver -f HOME/instance-4505457-1751453929.opb -t 3600 -m 31000

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

MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=1595780330

nodeC035 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.717
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.51
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.697
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.51
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.769
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.51
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		: 3601.144
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.51
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.787
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.51
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.748
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.51
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		: 3600.128
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.51
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		: 3608.144
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        105042176 kB
MemAvailable:   110715048 kB
Buffers:            1840 kB
Cached:          6424268 kB
SwapCached:            8 kB
Active:         19272064 kB
Inactive:        6132356 kB
Active(anon):   18984772 kB
Inactive(anon):    11588 kB
Active(file):     287292 kB
Inactive(file):  6120768 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            238184 kB
Writeback:             4 kB
AnonPages:      18981376 kB
Mapped:           125048 kB
Shmem:             18048 kB
KReclaimable:     208104 kB
Slab:             297996 kB
SReclaimable:     208104 kB
SUnreclaim:        89892 kB
KernelStack:        4192 kB
PageTables:        40320 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   19890160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5132288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432460 MiB
End job on nodeC035 at 2025-07-02 13:59:08