Trace number 4505227

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? 3593.58 3605.85

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
MD5SUMc6b8715c3f6301baee7dd7835457fcc6
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 benchmark14682715
Best CPU time to get the best result obtained on this benchmark71179.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 149684681822
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 149684681822
Number of bits of the biggest sum of numbers38
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-4505227-1751452670.opb>
6.47/6.51	c original problem has 1000400 variables (1000400 bin, 0 int, 0 cont) and 2000307 constraints
6.47/6.51	c problem read in 6.513 seconds
12.66/12.71	c presolving:
17.24/17.39	c (round 1, fast)       15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 101 clqs
21.73/21.80	c    (21.8s) running MILP presolver
25.81/25.94	c    (25.9s) MILP presolver found nothing
34.09/34.24	c (round 2, exhaustive) 15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 101 clqs
52.74/52.92	c (round 3, medium)     15150 del vars, 1009803 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
66.90/67.15	c (round 4, exhaustive) 15150 del vars, 4900503 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
82.35/82.66	c (round 5, exhaustive) 500250 del vars, 5385603 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
85.64/85.94	c (round 6, exhaustive) 500250 del vars, 5390553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
95.20/95.52	c    (95.5s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
95.20/95.52	c    (95.5s) probing aborted: 50/50 successive totally useless probings
95.20/95.52	c    (95.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
194.37/194.90	c    (194.9s) no symmetry present (symcode time: 98.30)
194.97/195.53	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
194.97/195.53	c  500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
194.97/195.53	c  0 implications, 1455401 cliques
194.97/195.53	c presolved problem has 500150 variables (500150 bin, 0 int, 0 cont) and 500454 constraints
194.97/195.53	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
194.97/195.53	c    5250 constraints of type <knapsack>
194.97/195.53	c     101 constraints of type <setppc>
194.97/195.53	c  490050 constraints of type <and>
194.97/195.53	c       3 constraints of type <linear>
194.97/195.53	c    5050 constraints of type <logicor>
194.97/195.53	c transformed objective value is always integral (scale: 2)
194.97/195.53	c Presolving Time: 183.22
194.97/195.53	c 
194.97/195.53	c - non default parameters ----------------------------------------------------------------------
194.97/195.53	c 
194.97/195.53	c # SCIP version 10.0.0
194.97/195.53	c 
194.97/195.53	c # maximal time in seconds to run
194.97/195.53	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
194.97/195.53	c limits/time = 3596.99801
194.97/195.53	c 
194.97/195.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
194.97/195.53	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
194.97/195.53	c limits/memory = 27900
194.97/195.53	c 
194.97/195.53	c # belongs reading time to solving time?
194.97/195.53	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
194.97/195.53	c timing/reading = TRUE
194.97/195.53	c 
194.97/195.53	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
194.97/195.53	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
194.97/195.53	c reading/opbreader/maxintsize = 47
194.97/195.53	c 
194.97/195.53	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
194.97/195.53	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
194.97/195.53	c propagating/genvbounds/timingmask = 0
194.97/195.53	c 
194.97/195.53	c -----------------------------------------------------------------------------------------------
195.07/195.67	c 
3586.14/3598.49	c 
3586.14/3598.49	c SCIP Status        : solving was interrupted [time limit reached]
3586.14/3598.49	c Solving Time (sec) : 3598.50
3586.14/3598.49	c Solving Nodes      : 1
3586.14/3598.49	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.14/3598.49	c Dual Bound         : -1.50000000000000e+01
3586.14/3598.49	c Gap                : infinite
3586.14/3598.49	s UNKNOWN
3586.14/3598.49	c SCIP Status        : solving was interrupted [time limit reached]
3586.14/3598.49	c Total Time         :    3598.50
3586.14/3598.49	c   solving          :    3598.50
3586.14/3598.49	c   presolving       :     183.22 (included in solving)
3586.14/3598.49	c   reading          :       6.51 (included in solving)
3586.14/3598.49	c   copying          :       0.00 (0 times copied the problem)
3586.14/3598.49	c Original Problem   :
3586.14/3598.49	c   Problem name     : HOME/instance-4505227-1751452670.opb
3586.14/3598.49	c   Variables        : 1000400 (1000400 binary, 0 integer, 0 continuous)
3586.14/3598.49	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.14/3598.49	c   Constraints      : 2000307 initial, 2000307 maximal
3586.24/3598.52	c   Objective        : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.37388e+08)
3586.24/3598.52	c Presolved Problem  :
3586.24/3598.52	c   Problem name     : t_HOME/instance-4505227-1751452670.opb
3586.24/3598.52	c   Variables        : 500150 (500150 binary, 0 integer, 0 continuous)
3586.24/3598.52	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.24/3598.52	c   Constraints      : 500454 initial, 500456 maximal
3586.24/3598.53	c   Objective        : minimize, 14850 non-zeros (abs.min = 9, abs.max = 1.37388e+08)
3586.24/3598.53	c   Nonzeros         : 2035450 constraint, 2910900 clique table
3586.24/3598.53	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.24/3598.53	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   gateextraction   :      12.98       0.00      4          0          0          0          0          0    3890700     980100          0          0
3586.24/3598.53	c   implics          :       0.09       0.00      6          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   milp             :       8.21       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   trivial          :       0.20       0.00      7          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   dualfix          :       0.19       0.00      7          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   probing          :       6.93       0.02      1          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   pseudoobj        :       0.01       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   symmetry         :      99.38       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   vbounds          :       1.54       0.00      2          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   knapsack         :      12.32       0.02     13          0          0          0          0          0     980100    2910600          0          0
3586.24/3598.53	c   setppc           :       5.00       0.00     13          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   and              :      16.54       0.00      6          0     485100          0          0          0     490050          0          0          0
3586.24/3598.53	c   linear           :      10.56       1.45      9        300      14850          0        300          0      29703          0       4950      14850
3586.24/3598.53	c   logicor          :       2.07       0.01     11          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   components       :       0.48       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.24/3598.53	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.24/3598.53	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3586.24/3598.53	c   knapsack         :       5250       5250          0     363792          0          0          0          3          0          3          0          0          0          0          0
3586.24/3598.53	c   setppc           :        101        101          0     358166          0          0          0          1         92          0          0          0          0          0          0
3586.24/3598.53	c   and              :     490050     490050          0     363789          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   linear           :          3          3          0     363789          0          0          0          3          0          1          0          0          0          0          0
3586.24/3598.53	c   logicor          :       5050+      5052          0       6650          0          0          0          0         94          0          0          0          0          0          0
3586.24/3598.53	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.24/3598.53	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   knapsack         :       0.28       0.02       0.02       0.24       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   setppc           :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   and              :    3242.99       0.00       1.57    3241.43       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   linear           :       1.58       1.45       0.00       0.13       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   logicor          :       0.07       0.01       0.00       0.06       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   fixedvar         :       0.04       0.04       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.24/3598.53	c   dualfix          :          1          0          0          0
3586.24/3598.53	c   genvbounds       :          0          0          0          0
3586.24/3598.53	c   nlobbt           :          0          0          0          0
3586.24/3598.53	c   obbt             :          0          0          0          0
3586.24/3598.53	c   probing          :          0          0          0          0
3586.24/3598.53	c   pseudoobj        :          1          0          0          0
3586.24/3598.53	c   redcost          :          0          0          0          0
3586.24/3598.53	c   rootredcost      :          0          0          0          0
3586.24/3598.53	c   symmetry         :          0          0          0          0
3586.24/3598.53	c   vbounds          :      10546          0          0          0
3586.24/3598.53	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.24/3598.53	c   dualfix          :       0.20       0.00       0.19       0.02       0.00       0.00
3586.24/3598.53	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3598.53	c   probing          :       6.95       0.02       6.93       0.00       0.00       0.00
3586.24/3598.53	c   pseudoobj        :      33.92       0.00       0.01      33.91       0.00       0.00
3586.24/3598.53	c   redcost          :       0.05       0.00       0.00       0.05       0.00       0.00
3586.24/3598.53	c   rootredcost      :       0.11       0.00       0.00       0.11       0.00       0.00
3586.24/3598.53	c   symmetry         :      99.58       0.00      99.38       0.20       0.00       0.00
3586.24/3598.53	c   vbounds          :       1.86       0.00       1.54       0.33       0.00       0.00
3586.24/3598.53	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.24/3598.53	c   propagation      :       0.01          2          2          -          2     2713.5          0        0.0          -          -          -
3586.24/3598.53	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.24/3598.53	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.24/3598.53	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.24/3598.53	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.24/3598.53	c   applied globally :       0.00          -          -          0          2     2713.5          -          -          0          -          -
3586.24/3598.53	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.24/3598.53	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.24/3598.53	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3586.24/3598.53	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.24/3598.53	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.24/3598.53	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.24/3598.53	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.24/3598.53	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.24/3598.53	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3598.53	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.24/3598.53	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.24/3598.53	c   problem variables:       0.00          -          0          0
3586.24/3598.53	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.24/3598.53	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3598.53	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.24/3598.53	c   LP solutions     :       0.00          -          -          0          0
3586.24/3598.53	c   relax solutions  :       0.00          -          -          0          0
3586.24/3598.53	c   pseudo solutions :       0.00          -          -          0          0
3586.24/3598.53	c   strong branching :       0.00          -          -          0          0
3586.24/3598.53	c   actconsdiving    :       0.00       0.00          0          0          0
3586.24/3598.53	c   adaptivediving   :       0.00       0.00          0          0          0
3586.24/3598.53	c   alns             :       0.00       0.00          0          0          0
3586.24/3598.53	c   bound            :       0.00       0.00          0          0          0
3586.24/3598.53	c   clique           :     170.68       0.00          1          0          0
3586.24/3598.53	c   coefdiving       :       0.00       0.00          0          0          0
3586.24/3598.53	c   completesol      :       0.00       0.00          0          0          0
3586.24/3598.53	c   conflictdiving   :       0.00       0.00          0          0          0
3586.24/3598.53	c   crossover        :       0.00       0.00          0          0          0
3586.24/3598.53	c   dins             :       0.00       0.00          0          0          0
3586.24/3598.53	c   distributiondivin:       0.00       0.00          0          0          0
3586.24/3598.53	c   dks              :       0.00       0.00          0          0          0
3586.24/3598.53	c   dps              :       0.00       0.00          0          0          0
3586.24/3598.53	c   dualval          :       0.00       0.00          0          0          0
3586.24/3598.53	c   farkasdiving     :       0.00       0.00          0          0          0
3586.24/3598.53	c   feaspump         :       0.00       0.00          0          0          0
3586.24/3598.53	c   fixandinfer      :       0.00       0.00          0          0          0
3586.24/3598.53	c   fracdiving       :       0.00       0.00          0          0          0
3586.24/3598.53	c   gins             :       0.00       0.00          0          0          0
3586.24/3598.53	c   guideddiving     :       0.00       0.00          0          0          0
3586.24/3598.53	c   indicator        :       0.00       0.00          0          0          0
3586.24/3598.53	c   indicatordiving  :       0.00       0.00          0          0          0
3586.24/3598.53	c   intdiving        :       0.00       0.00          0          0          0
3586.24/3598.53	c   intshifting      :       0.00       0.00          0          0          0
3586.24/3598.53	c   linesearchdiving :       0.00       0.00          0          0          0
3586.24/3598.53	c   localbranching   :       0.00       0.00          0          0          0
3586.24/3598.53	c   locks            :      64.94       0.00          1          0          0
3586.24/3598.53	c   lpface           :       0.00       0.00          0          0          0
3586.24/3598.53	c   mpec             :       0.00       0.00          0          0          0
3586.24/3598.53	c   multistart       :       0.00       0.00          0          0          0
3586.24/3598.53	c   mutation         :       0.00       0.00          0          0          0
3586.24/3598.53	c   nlpdiving        :       0.00       0.00          0          0          0
3586.24/3598.53	c   objpscostdiving  :       0.00       0.00          0          0          0
3586.24/3598.53	c   octane           :       0.00       0.00          0          0          0
3586.24/3598.53	c   ofins            :       0.00       0.00          0          0          0
3586.24/3598.53	c   oneopt           :       0.00       0.00          0          0          0
3586.24/3598.53	c   padm             :       0.00       0.00          0          0          0
3586.24/3598.53	c   proximity        :       0.00       0.00          0          0          0
3586.24/3598.53	c   pscostdiving     :       0.00       0.00          0          0          0
3586.24/3598.53	c   randrounding     :       0.00       0.00          0          0          0
3586.24/3598.53	c   rens             :       0.00       0.00          0          0          0
3586.24/3598.53	c   reoptsols        :       0.00       0.00          0          0          0
3586.24/3598.53	c   repair           :       0.00       0.00          0          0          0
3586.24/3598.53	c   rins             :       0.00       0.00          0          0          0
3586.24/3598.53	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.24/3598.53	c   rounding         :       0.00       0.00          0          0          0
3586.24/3598.53	c   scheduler        :       0.00       0.00          0          0          0
3586.24/3598.53	c   shiftandpropagate:       0.00       0.00          0          0          0
3586.24/3598.53	c   shifting         :       0.00       0.00          0          0          0
3586.24/3598.53	c   simplerounding   :       0.00       0.00          0          0          0
3586.24/3598.53	c   subnlp           :       0.00       0.00          0          0          0
3586.24/3598.53	c   trivial          :       0.56       0.00          2          0          0
3586.24/3598.53	c   trivialnegation  :       0.00       0.00          0          0          0
3586.24/3598.53	c   trustregion      :       0.00       0.00          0          0          0
3586.24/3598.53	c   trysol           :       0.00       0.00          0          0          0
3586.24/3598.53	c   twoopt           :       0.00       0.00          0          0          0
3586.24/3598.53	c   undercover       :       0.00       0.00          0          0          0
3586.24/3598.53	c   vbounds          :    3132.99       0.00          1          0          0
3586.24/3598.53	c   veclendiving     :       0.00       0.00          0          0          0
3586.24/3598.53	c   zeroobj          :       0.00       0.00          0          0          0
3586.24/3598.53	c   zirounding       :       0.00       0.00          0          0          0
3586.24/3598.53	c   other solutions  :          -          -          -          0          -
3586.24/3598.53	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.24/3598.53	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.24/3598.53	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.24/3598.53	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.24/3598.53	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.24/3598.53	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.24/3598.53	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.24/3598.53	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.24/3598.53	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.24/3598.53	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.24/3598.53	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.24/3598.53	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3586.24/3598.53	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
3586.24/3598.53	c   lex dual LP      :       0.00          0          0       0.00          -
3586.24/3598.53	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.24/3598.53	c   resolve instable :       0.00          0          0       0.00          -
3586.24/3598.53	c   diving/probing LP:       0.00          0          0       0.00          -
3586.24/3598.53	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3586.24/3598.53	c     (at root node) :          -          0          0       0.00          -
3586.24/3598.53	c   conflict analysis:       0.00          0          0       0.00          -
3586.24/3598.53	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3586.24/3598.53	c   benders          :       0.00          0          0          0       0.00          0          0          0
3586.24/3598.53	c B&B Tree           :
3586.24/3598.53	c   number of runs   :          1
3586.24/3598.53	c   nodes            :          1 (0 internal, 1 leaves)
3586.24/3598.53	c   feasible leaves  :          0
3586.24/3598.53	c   infeas. leaves   :          0
3586.24/3598.53	c   objective leaves :          0
3586.24/3598.53	c   nodes (total)    :          1 (0 internal, 1 leaves)
3586.24/3598.53	c   nodes left       :          1
3586.24/3598.53	c   max depth        :          0
3586.24/3598.53	c   max depth (total):          0
3586.24/3598.53	c   backtracks       :          0 (0.0%)
3586.24/3598.53	c   early backtracks :          0 (0.0%)
3586.24/3598.53	c   nodes exc. ref.  :          0 (0.0%)
3586.24/3598.53	c   delayed cutoffs  :          0
3586.24/3598.53	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.24/3598.53	c   avg switch length:       1.00
3586.24/3598.53	c   switching time   :       0.00
3586.24/3598.53	c Root Node          :
3586.24/3598.53	c   First LP value   :          -
3586.24/3598.53	c   First LP Iters   :          0
3586.24/3598.53	c   First LP Time    :       0.00
3586.24/3598.53	c   Final Dual Bound : -1.50000000000000e+01
3586.24/3598.53	c   Final Root Iters :          0
3586.24/3598.53	c   Root LP Estimate :                     -
3586.24/3598.53	c Solution           :
3586.24/3598.53	c   Solutions found  :          0 (0 improvements)
3586.24/3598.53	c   Primal Bound     :          -
3586.24/3598.53	c   Dual Bound       : -1.50000000000000e+01
3586.24/3598.53	c   Gap              :   infinite
3586.24/3598.53	c Integrals          :      Total       Avg%
3586.24/3598.53	c   primal-dual      :  359849.57     100.00
3586.24/3598.53	c   primal-ref       :          -          - (not evaluated)
3586.24/3598.53	c   dual-ref         :          -          - (not evaluated)
3593.52/3605.80	c Time complete (sec):   3593.535

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 (50486 MiB free)
  memory of node 1: 64465 MiB (51920 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505227-1751452670/watcher-4505227-1751452670 -o /tmp/evaluation-result-4505227-1751452670/solver-4505227-1751452670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751446725-63283 --watchdog 3760 pbsolver -f HOME/instance-4505227-1751452670.opb -t 3600 -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
solver pid=64016, runsolver pid=64013
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 64017
/proc/meminfo: memFree=104816596/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=71832 memory=60416 CPUtime=0.09 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 13162 0 0 0 7 2 0 0 20 0 1 0 60941648 73555968 15104 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 17958 15104 2176 2575 0 14865 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71832 KiB
Current children cumulated memory: 60416 KiB

[startup+0.205637 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 64017
/proc/meminfo: memFree=104768464/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=118292 memory=106112 CPUtime=0.2 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 24592 0 0 0 15 5 0 0 20 0 1 0 60941648 121131008 26528 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 29573 26528 2176 2575 0 26480 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118292 KiB
Current children cumulated memory: 106112 KiB

[startup+0.305612 s]*
/proc/loadavg: 4.11 4.11 4.09 5/264 64017
/proc/meminfo: memFree=104727896/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=160504 memory=149376 CPUtime=0.3 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 35393 0 0 0 23 7 0 0 20 0 1 0 60941648 164356096 37344 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 40126 37344 2176 2575 0 37033 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 160504 KiB
Current children cumulated memory: 149376 KiB

[startup+0.700166 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 64017
/proc/meminfo: memFree=104631144/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=328348 memory=316800 CPUtime=0.69 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 77246 0 0 0 56 13 0 0 20 0 1 0 60941648 336228352 79200 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 82087 79200 2176 2575 0 78994 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 328348 KiB
Current children cumulated memory: 316800 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 64017
/proc/meminfo: memFree=104421480/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=666304 memory=654544 CPUtime=1.49 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 160672 0 0 0 121 28 0 0 20 0 1 0 60941648 682295296 163636 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 166576 163636 2176 2575 0 163483 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 666304 KiB
Current children cumulated memory: 654544 KiB

[startup+3.10551 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 64017
/proc/meminfo: memFree=103577252/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=1348164 memory=1335716 CPUtime=3.09 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 327384 0 0 0 254 55 0 0 20 0 1 0 60941648 1380519936 333929 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 337041 333929 2176 2575 0 333948 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1348164 KiB
Current children cumulated memory: 1335716 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 64017
/proc/meminfo: memFree=102875680/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=2025832 memory=2014000 CPUtime=6.27 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 477049 0 0 0 546 81 0 0 20 0 1 0 60941648 2074451968 503500 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 506458 503500 2176 2575 0 503365 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2025832 KiB
Current children cumulated memory: 2014000 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 64017
/proc/meminfo: memFree=100205300/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=4973272 memory=4922256 CPUtime=12.66 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1101196 0 0 0 1082 184 0 0 20 0 1 0 60941648 5092630528 1230564 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 1243318 1230564 2400 2575 0 1240225 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4973272 KiB
Current children cumulated memory: 4922256 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 64017
/proc/meminfo: memFree=97704044/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=6884856 memory=6806492 CPUtime=25.41 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1197146 0 0 0 2286 255 0 0 20 0 1 0 60941648 7050092544 1701623 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 1721214 1701623 2528 2575 0 1718121 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 6884856 KiB
Current children cumulated memory: 6806492 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 64018
/proc/meminfo: memFree=97052348/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=7862748 memory=7786468 CPUtime=50.95 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1551711 0 0 0 4772 323 0 0 20 0 1 0 60941648 8051453952 1946617 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 1965687 1946617 2560 2575 0 1962594 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7862748 KiB
Current children cumulated memory: 7786468 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 64020
/proc/meminfo: memFree=96019808/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9338180 memory=8792236 CPUtime=101.99 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1580122 0 0 0 9851 348 0 0 20 0 1 0 60941648 9562296320 2198059 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2334545 2198059 2592 2575 0 2331452 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 9338180 KiB
Current children cumulated memory: 8792236 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 64022
/proc/meminfo: memFree=96031740/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9338180 memory=8792236 CPUtime=161.85 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1580126 0 0 0 15837 348 0 0 20 0 1 0 60941648 9562296320 2198059 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2334545 2198059 2592 2575 0 2331452 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 9338180 KiB
Current children cumulated memory: 8792236 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 64024
/proc/meminfo: memFree=96485576/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=8616332 memory=8317636 CPUtime=221.69 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1580963 0 0 0 21820 349 0 0 20 0 1 0 60941648 8823123968 2079409 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2154083 2079409 2592 2575 0 2150990 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 8616332 KiB
Current children cumulated memory: 8317636 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 64026
/proc/meminfo: memFree=95509728/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9585576 memory=9283984 CPUtime=281.5 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1737352 0 0 0 27767 383 0 0 20 0 1 0 60941648 9815629824 2320996 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2396394 2320996 2624 2575 0 2393301 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 9585576 KiB
Current children cumulated memory: 9283984 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 64028
/proc/meminfo: memFree=95492960/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9593100 memory=9292236 CPUtime=341.31 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1738892 0 0 0 33747 384 0 0 20 0 1 0 60941648 9823334400 2323059 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2398275 2323059 2624 2575 0 2395182 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 9593100 KiB
Current children cumulated memory: 9292236 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 64030
/proc/meminfo: memFree=95447196/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9627544 memory=9326284 CPUtime=401.11 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1747424 0 0 0 39726 385 0 0 20 0 1 0 60941648 9858605056 2331571 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2406886 2331571 2624 2575 0 2403793 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 9627544 KiB
Current children cumulated memory: 9326284 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 64033
/proc/meminfo: memFree=95398740/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9669672 memory=9368652 CPUtime=460.92 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1758023 0 0 0 45705 387 0 0 20 0 1 0 60941648 9901744128 2342163 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2417418 2342163 2624 2575 0 2414325 0
Current children cumulated CPU time: 460.92 s

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

/proc/loadavg: 4.18 4.18 4.12 5/262 64308
/proc/meminfo: memFree=68504872/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9797880 memory=9502768 CPUtime=3151.47 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1800037 0 0 0 314746 401 0 0 20 0 1 0 60941648 10033029120 2375692 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2449470 2375692 2624 2575 0 2446377 0
Current children cumulated CPU time: 3151.47 s
Current children cumulated vsize: 9797880 KiB
Current children cumulated memory: 9502768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/262 64310
/proc/meminfo: memFree=58404740/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9801144 memory=9506096 CPUtime=3211.28 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1801221 0 0 0 320727 401 0 0 20 0 1 0 60941648 10036371456 2376524 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2450286 2376524 2624 2575 0 2447193 0
Current children cumulated CPU time: 3211.28 s
Current children cumulated vsize: 9801144 KiB
Current children cumulated memory: 9506096 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/262 64312
/proc/meminfo: memFree=58966404/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9804408 memory=9509296 CPUtime=3271.09 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1802819 0 0 0 326707 402 0 0 20 0 1 0 60941648 10039713792 2377324 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2451102 2377324 2624 2575 0 2448009 0
Current children cumulated CPU time: 3271.09 s
Current children cumulated vsize: 9804408 KiB
Current children cumulated memory: 9509296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/262 64314
/proc/meminfo: memFree=59132412/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9807672 memory=9513264 CPUtime=3330.89 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1804594 0 0 0 332687 402 0 0 20 0 1 0 60941648 10043056128 2378316 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2451918 2378316 2624 2575 0 2448825 0
Current children cumulated CPU time: 3330.89 s
Current children cumulated vsize: 9807672 KiB
Current children cumulated memory: 9513264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/262 64316
/proc/meminfo: memFree=59315028/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9810936 memory=9520432 CPUtime=3390.7 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1805657 0 0 0 338667 403 0 0 20 0 1 0 60941648 10046398464 2380108 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2452734 2380108 2624 2575 0 2449641 0
Current children cumulated CPU time: 3390.7 s
Current children cumulated vsize: 9810936 KiB
Current children cumulated memory: 9520432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 64318
/proc/meminfo: memFree=59450624/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9814200 memory=9523760 CPUtime=3450.49 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1807627 0 0 0 344646 403 0 0 20 0 1 0 60941648 10049740800 2380940 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2453550 2380940 2624 2575 0 2450457 0
Current children cumulated CPU time: 3450.49 s
Current children cumulated vsize: 9814200 KiB
Current children cumulated memory: 9523760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 64324
/proc/meminfo: memFree=59516136/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9817464 memory=9526960 CPUtime=3510.3 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1808981 0 0 0 350626 404 0 0 20 0 1 0 60941648 10053083136 2381740 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2454366 2381740 2624 2575 0 2451273 0
Current children cumulated CPU time: 3510.3 s
Current children cumulated vsize: 9817464 KiB
Current children cumulated memory: 9526960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 64330
/proc/meminfo: memFree=59533660/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9820728 memory=9530288 CPUtime=3570.1 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1810571 0 0 0 356606 404 0 0 20 0 1 0 60941648 10056425472 2382572 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2455182 2382572 2624 2575 0 2452089 0
Current children cumulated CPU time: 3570.1 s
Current children cumulated vsize: 9820728 KiB
Current children cumulated memory: 9530288 KiB

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

# cumulated CPU time of all completed processes:  user=3589.3 s, system=4.27363 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.10 4.09 5/264 64330
/proc/meminfo: memFree=59541656/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9820728 memory=9530288 CPUtime=3571.8 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1810572 0 0 0 356776 404 0 0 20 0 1 0 60941648 10056425472 2382572 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2455182 2382572 2624 2575 0 2452089 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 9820728 KiB
Current children cumulated memory: 9530288 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 64331
/proc/meminfo: memFree=59525508/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9822396 memory=9531952 CPUtime=3584.55 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1810996 0 0 0 358051 404 0 0 20 0 1 0 60941648 10058133504 2382988 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2455599 2382988 2624 2575 0 2452506 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 9822396 KiB
Current children cumulated memory: 9531952 KiB

[startup+3600 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 64332
/proc/meminfo: memFree=59513364/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9798520 memory=9509040 CPUtime=3587.74 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1825757 0 0 0 358367 407 0 0 20 0 1 0 60941648 10033684480 2377260 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2449630 2377260 2624 2575 0 2446537 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 9798520 KiB
Current children cumulated memory: 9509040 KiB

[startup+3603.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 64332
/proc/meminfo: memFree=59578396/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9764788 memory=9478556 CPUtime=3590.92 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1825876 0 0 0 358685 407 0 0 20 0 1 0 60941648 9999142912 2369639 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2441197 2369639 2624 2575 0 2438104 0
Current children cumulated CPU time: 3590.92 s
Current children cumulated vsize: 9764788 KiB
Current children cumulated memory: 9478556 KiB

[startup+3604.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 64332
/proc/meminfo: memFree=59579108/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=9205924 memory=8920080 CPUtime=3592.52 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1825952 0 0 0 358843 409 0 0 20 0 1 0 60941648 9426866176 2230020 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2301481 2230020 2624 2575 0 2298388 0
Current children cumulated CPU time: 3592.52 s
Current children cumulated vsize: 9205924 KiB
Current children cumulated memory: 8920080 KiB

[startup+3605.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 64332
/proc/meminfo: memFree=60310252/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=8181764 memory=7894512 CPUtime=3593.31 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1826393 0 0 0 358916 415 0 0 20 0 1 0 60941648 8378126336 1973884 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 2045185 1973884 2624 2575 0 2042092 0
Current children cumulated CPU time: 3593.31 s
Current children cumulated vsize: 8181764 KiB
Current children cumulated memory: 7894512 KiB

[startup+3605.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 64332
/proc/meminfo: memFree=60310252/131249992 swapFree=33010160/33010684
[pid=64016] ppid=64013 vsize=6376876 memory=5405136 CPUtime=3593.52 cores=1,3
/proc/64016/stat : 64016 (pbsolver) R 64013 64016 63271 0 -1 4194304 1826454 0 0 0 358930 422 0 0 20 0 1 0 60941648 6529921024 1351284 18446744073709551615 4198400 14743177 140722588039888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49213440 140722588047754 140722588047850 140722588047850 140722588053452 0
/proc/64016/statm: 1594219 1351284 2624 2575 0 1591126 0
Current children cumulated CPU time: 3593.52 s
Current children cumulated vsize: 6376876 KiB
Current children cumulated memory: 5405136 KiB

Child status: 0

Real time (s): 3605.85
CPU time (s): 3593.58
CPU user time (s): 3589.3
CPU system time (s): 4.27363
CPU usage (%): 99.6596
Max. virtual memory (cumulated for all children) (KiB): 9877888
Max. memory (cumulated for all children) (KiB): 9588272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.3
system time used= 4.27363
maximum resident set size= 9588272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1826457
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= 52
involuntary context switches= 3171


# summary of solver processes directly reported to runsolver:
#   pid: 64016
#   total CPU time (s): 3593.58
#   total CPU user time (s): 3589.3
#   total CPU system time (s): 4.27363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56777 second user time and 16.2664 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-02 12:37:51
IDJOB=4505227
IDBENCH=155746
IDSOLVER=3366
FILE ID=nodeC035/4505227-1751452670
RUNJOBID= nodeC035-1751446725-63283
SLURM_JOB_ID= 9598423
Free space on /tmp= 432532 MiB

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

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

MD5SUM BENCH= c6b8715c3f6301baee7dd7835457fcc6
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.078
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.735
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		: 3628.278
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		: 3567.920
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		: 3600.011
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.743
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		: 3590.100
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		: 3700.000
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:        104864664 kB
MemAvailable:   110347676 kB
Buffers:            1840 kB
Cached:          6234432 kB
SwapCached:            8 kB
Active:         19702564 kB
Inactive:        5942516 kB
Active(anon):   19415272 kB
Inactive(anon):    11588 kB
Active(file):     287292 kB
Inactive(file):  5930928 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            114796 kB
Writeback:             0 kB
AnonPages:      19411652 kB
Mapped:           135940 kB
Shmem:             18048 kB
KReclaimable:     208060 kB
Slab:             297908 kB
SReclaimable:     208060 kB
SUnreclaim:        89848 kB
KernelStack:        4256 kB
PageTables:        41796 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   21457568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3749888 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= 432132 MiB
End job on nodeC035 at 2025-07-02 13:37:57