Trace number 4505411

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? 2553.74 2564.49

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
MD5SUMfb79dc5ec425f6747fbd9d81f9d6ccc8
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 benchmark14278749
Best CPU time to get the best result obtained on this benchmark68921.3
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 1019600
Biggest coefficient in the objective function 183250432
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 416475778904
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 183250432
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 416475778904
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-4505411-1751453530.opb>
13.45/13.50	c original problem has 2000400 variables (2000400 bin, 0 int, 0 cont) and 4920807 constraints
13.45/13.50	c problem read in 13.498 seconds
24.63/24.79	c presolving:
32.50/32.66	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.39/39.57	c    (39.6s) running MILP presolver
45.88/46.04	c    (46.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
59.92/60.17	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
82.25/82.54	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
103.59/103.93	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
121.34/121.76	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
998.38/1002.74	c    (1002.7s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
999.28/1003.60	c    (1003.6s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
999.28/1003.60	c    (1003.6s) probing aborted: 1000/1000 successive useless probings
999.28/1003.60	c    (1003.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1786.56/1793.92	c    (1793.9s) no symmetry present (symcode time: 785.91)
1789.15/1796.58	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1789.15/1796.58	c  40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1789.15/1796.58	c  0 implications, 6424151 cliques
1789.15/1796.58	c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 cont) and 3915954 constraints
1789.15/1796.58	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1789.15/1796.58	c    5250 constraints of type <knapsack>
1789.15/1796.58	c 2925551 constraints of type <setppc>
1789.15/1796.58	c  980100 constraints of type <and>
1789.15/1796.58	c       3 constraints of type <linear>
1789.15/1796.58	c    5050 constraints of type <logicor>
1789.15/1796.58	c transformed objective value is always integral (scale: 1)
1789.15/1796.58	c Presolving Time: 1772.34
1789.15/1796.58	c 
1789.15/1796.58	c - non default parameters ----------------------------------------------------------------------
1789.15/1796.58	c 
1789.15/1796.58	c # SCIP version 10.0.0
1789.15/1796.58	c 
1789.15/1796.58	c # maximal time in seconds to run
1789.15/1796.58	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1789.15/1796.58	c limits/time = 3596.998008
1789.15/1796.58	c 
1789.15/1796.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.15/1796.58	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1789.15/1796.58	c limits/memory = 27900
1789.15/1796.58	c 
1789.15/1796.58	c # belongs reading time to solving time?
1789.15/1796.58	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1789.15/1796.58	c timing/reading = TRUE
1789.15/1796.58	c 
1789.15/1796.58	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
1789.15/1796.58	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1789.15/1796.58	c reading/opbreader/maxintsize = 47
1789.15/1796.58	c 
1789.15/1796.58	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1789.15/1796.58	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1789.15/1796.58	c propagating/genvbounds/timingmask = 0
1789.15/1796.58	c 
1789.15/1796.58	c -----------------------------------------------------------------------------------------------
1789.75/1797.12	c 
2518.57/2529.27	c 
2518.57/2529.27	c SCIP Status        : solving was interrupted [memory limit reached]
2518.57/2529.27	c Solving Time (sec) : 2529.27
2518.57/2529.27	c Solving Nodes      : 1
2518.57/2529.27	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
2518.57/2529.27	c Dual Bound         : -1.50000000000000e+01
2518.57/2529.27	c Gap                : infinite
2518.57/2529.27	s UNKNOWN
2518.57/2529.27	c SCIP Status        : solving was interrupted [memory limit reached]
2518.57/2529.27	c Total Time         :    2529.27
2518.57/2529.27	c   solving          :    2529.27
2518.57/2529.27	c   presolving       :    1772.34 (included in solving)
2518.57/2529.27	c   reading          :      13.50 (included in solving)
2518.57/2529.27	c   copying          :       0.00 (0 times copied the problem)
2518.57/2529.27	c Original Problem   :
2518.57/2529.27	c   Problem name     : HOME/instance-4505411-1751453530.opb
2518.57/2529.27	c   Variables        : 2000400 (2000400 binary, 0 integer, 0 continuous)
2518.57/2529.27	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
2518.57/2529.27	c   Constraints      : 4920807 initial, 4920807 maximal
2518.67/2529.33	c   Objective        : minimize, 1019600 non-zeros (abs.min = 1, abs.max = 1.8325e+08)
2518.67/2529.33	c Presolved Problem  :
2518.67/2529.33	c   Problem name     : t_HOME/instance-4505411-1751453530.opb
2518.67/2529.33	c   Variables        : 1960400 (1960400 binary, 0 integer, 0 continuous)
2518.67/2529.33	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
2518.67/2529.33	c   Constraints      : 3915954 initial, 3915957 maximal
2518.67/2529.37	c   Objective        : minimize, 989804 non-zeros (abs.min = 2, abs.max = 3.66501e+08)
2518.67/2529.37	c   Nonzeros         : 10821600 constraint, 12848400 clique table
2518.67/2529.37	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
2518.67/2529.37	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   gateextraction   :      15.96       0.00      2          0          0          0          0          0    3890700     980100          0          0
2518.67/2529.37	c   implics          :       0.16       0.00      5          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   milp             :      12.79       0.00      1          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   trivial          :       0.37       0.00      6          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   dualfix          :       0.37       0.00      6      29800          0          0          0          0          0          0          0          0
2518.67/2529.37	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   probing          :     863.52       0.07      1          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   pseudoobj        :       0.02       0.00      0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   symmetry         :     790.32       0.00      1          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   vbounds          :       2.69       0.00      2          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   knapsack         :      11.80       0.06      7          0          0          0          0          0     980100    2910600          0          0
2518.67/2529.37	c   setppc           :      13.34       0.25      7          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   and              :       5.28       0.00      2          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   linear           :      38.84       2.31      9        300       9900          0        300          0      24753          0       4950      14850
2518.67/2529.37	c   logicor          :       7.84       0.11      7          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   components       :       1.82       0.00      1          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
2518.67/2529.37	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
2518.67/2529.37	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
2518.67/2529.37	c   knapsack         :       5250       5250          0      13209          0          0          0          3      12714          0          0          0          0          0          0
2518.67/2529.37	c   setppc           :    2925551    2925551          0      13209          0          0          0          1    2045652          0          0          0          0          0          0
2518.67/2529.37	c   and              :     980100     980100          0      13209          0          0          0          0      29694          0          0          0          0          0          0
2518.67/2529.37	c   linear           :          3          3          0      13209          0          0          0          3         45          3          0          0          0          0          0
2518.67/2529.37	c   logicor          :       5050+      5053          0       5267          0          0          0          0      10710         11          0          0          0          0          0
2518.67/2529.37	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
2518.67/2529.37	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   knapsack         :       4.22       0.06       0.20       3.92       0.00       0.00       0.00       0.03       0.01       0.00
2518.67/2529.37	c   setppc           :     111.29       0.25       1.56     109.03       0.00       0.00       0.00       0.00       0.45       0.00
2518.67/2529.37	c   and              :     132.34       0.00       3.16     128.70       0.00       0.00       0.00       0.00       0.48       0.00
2518.67/2529.37	c   linear           :      16.96       2.31       0.00      14.65       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   logicor          :       0.42       0.11       0.01       0.30       0.00       0.00       0.00       0.00       0.01       0.00
2518.67/2529.37	c   fixedvar         :       0.07       0.07       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
2518.67/2529.37	c   dualfix          :          1          0          0          0
2518.67/2529.37	c   genvbounds       :          0          0          0          0
2518.67/2529.37	c   nlobbt           :          0          0          0          0
2518.67/2529.37	c   obbt             :          0          0          0          0
2518.67/2529.37	c   probing          :          0          0          0          0
2518.67/2529.37	c   pseudoobj        :          1          0          0          0
2518.67/2529.37	c   redcost          :          0          0          0          0
2518.67/2529.37	c   rootredcost      :          0          0          0          0
2518.67/2529.37	c   symmetry         :          0          0          0          0
2518.67/2529.37	c   vbounds          :       5358          0          0          0
2518.67/2529.37	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
2518.67/2529.37	c   dualfix          :       0.43       0.00       0.37       0.06       0.00       0.00
2518.67/2529.37	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   probing          :     863.59       0.07     863.52       0.00       0.00       0.00
2518.67/2529.37	c   pseudoobj        :       0.42       0.00       0.02       0.39       0.00       0.00
2518.67/2529.37	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
2518.67/2529.37	c   symmetry         :     790.33       0.00     790.32       0.00       0.00       0.00
2518.67/2529.37	c   vbounds          :       3.29       0.00       2.69       0.60       0.00       0.00
2518.67/2529.37	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
2518.67/2529.37	c   propagation      :      14.23          3          3          -        314   204926.4          0        0.0          -          -          -
2518.67/2529.37	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
2518.67/2529.37	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
2518.67/2529.37	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
2518.67/2529.37	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
2518.67/2529.37	c   applied globally :       0.15          -          -          0          3      167.0          -          -          0          -          -
2518.67/2529.37	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
2518.67/2529.37	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
2518.67/2529.37	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
2518.67/2529.37	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
2518.67/2529.37	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
2518.67/2529.37	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
2518.67/2529.37	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
2518.67/2529.37	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
2518.67/2529.37	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2518.67/2529.37	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
2518.67/2529.37	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c Pricers            :   ExecTime  SetupTime      Calls       Vars
2518.67/2529.37	c   problem variables:       0.00          -          0          0
2518.67/2529.37	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
2518.67/2529.37	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
2518.67/2529.37	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
2518.67/2529.37	c   LP solutions     :       0.00          -          -          0          0
2518.67/2529.37	c   relax solutions  :       0.00          -          -          0          0
2518.67/2529.37	c   pseudo solutions :       0.00          -          -          0          0
2518.67/2529.37	c   strong branching :       0.00          -          -          0          0
2518.67/2529.37	c   actconsdiving    :       0.00       0.00          0          0          0
2518.67/2529.37	c   adaptivediving   :       0.00       0.00          0          0          0
2518.67/2529.37	c   alns             :       0.00       0.00          0          0          0
2518.67/2529.37	c   bound            :       0.00       0.00          0          0          0
2518.67/2529.37	c   clique           :     705.60       0.00          1          0          0
2518.67/2529.37	c   coefdiving       :       0.00       0.00          0          0          0
2518.67/2529.37	c   completesol      :       0.00       0.00          0          0          0
2518.67/2529.37	c   conflictdiving   :       0.00       0.00          0          0          0
2518.67/2529.37	c   crossover        :       0.00       0.00          0          0          0
2518.67/2529.37	c   dins             :       0.00       0.00          0          0          0
2518.67/2529.37	c   distributiondivin:       0.00       0.00          0          0          0
2518.67/2529.37	c   dks              :       0.00       0.00          0          0          0
2518.67/2529.37	c   dps              :       0.00       0.00          0          0          0
2518.67/2529.37	c   dualval          :       0.00       0.00          0          0          0
2518.67/2529.37	c   farkasdiving     :       0.00       0.00          0          0          0
2518.67/2529.37	c   feaspump         :       0.00       0.00          0          0          0
2518.67/2529.37	c   fixandinfer      :       0.00       0.00          0          0          0
2518.67/2529.37	c   fracdiving       :       0.00       0.00          0          0          0
2518.67/2529.37	c   gins             :       0.00       0.00          0          0          0
2518.67/2529.37	c   guideddiving     :       0.00       0.00          0          0          0
2518.67/2529.37	c   indicator        :       0.00       0.00          0          0          0
2518.67/2529.37	c   indicatordiving  :       0.00       0.00          0          0          0
2518.67/2529.37	c   intdiving        :       0.00       0.00          0          0          0
2518.67/2529.37	c   intshifting      :       0.00       0.00          0          0          0
2518.67/2529.37	c   linesearchdiving :       0.00       0.00          0          0          0
2518.67/2529.37	c   localbranching   :       0.00       0.00          0          0          0
2518.67/2529.37	c   locks            :      24.81       0.00          1          0          0
2518.67/2529.37	c   lpface           :       0.00       0.00          0          0          0
2518.67/2529.37	c   mpec             :       0.00       0.00          0          0          0
2518.67/2529.37	c   multistart       :       0.00       0.00          0          0          0
2518.67/2529.37	c   mutation         :       0.00       0.00          0          0          0
2518.67/2529.37	c   nlpdiving        :       0.00       0.00          0          0          0
2518.67/2529.37	c   objpscostdiving  :       0.00       0.00          0          0          0
2518.67/2529.37	c   octane           :       0.00       0.00          0          0          0
2518.67/2529.37	c   ofins            :       0.00       0.00          0          0          0
2518.67/2529.37	c   oneopt           :       0.00       0.00          0          0          0
2518.67/2529.37	c   padm             :       0.00       0.00          0          0          0
2518.67/2529.37	c   proximity        :       0.00       0.00          0          0          0
2518.67/2529.37	c   pscostdiving     :       0.00       0.00          0          0          0
2518.67/2529.37	c   randrounding     :       0.00       0.00          0          0          0
2518.67/2529.37	c   rens             :       0.00       0.00          0          0          0
2518.67/2529.37	c   reoptsols        :       0.00       0.00          0          0          0
2518.67/2529.37	c   repair           :       0.00       0.00          0          0          0
2518.67/2529.37	c   rins             :       0.00       0.00          0          0          0
2518.67/2529.37	c   rootsoldiving    :       0.00       0.00          0          0          0
2518.67/2529.37	c   rounding         :       0.00       0.00          0          0          0
2518.67/2529.37	c   scheduler        :       0.00       0.00          0          0          0
2518.67/2529.37	c   shiftandpropagate:       0.00       0.00          0          0          0
2518.67/2529.37	c   shifting         :       0.00       0.00          0          0          0
2518.67/2529.37	c   simplerounding   :       0.00       0.00          0          0          0
2518.67/2529.37	c   subnlp           :       0.00       0.00          0          0          0
2518.67/2529.37	c   trivial          :       1.09       0.00          2          0          0
2518.67/2529.37	c   trivialnegation  :       0.00       0.00          0          0          0
2518.67/2529.37	c   trustregion      :       0.00       0.00          0          0          0
2518.67/2529.37	c   trysol           :       0.00       0.00          0          0          0
2518.67/2529.37	c   twoopt           :       0.00       0.00          0          0          0
2518.67/2529.37	c   undercover       :       0.00       0.00          0          0          0
2518.67/2529.37	c   vbounds          :       0.00       0.00          0          0          0
2518.67/2529.37	c   veclendiving     :       0.00       0.00          0          0          0
2518.67/2529.37	c   zeroobj          :       0.00       0.00          0          0          0
2518.67/2529.37	c   zirounding       :       0.00       0.00          0          0          0
2518.67/2529.37	c   other solutions  :          -          -          -          0          -
2518.67/2529.37	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	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
2518.67/2529.37	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
2518.67/2529.37	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
2518.67/2529.37	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
2518.67/2529.37	c   lex dual LP      :       0.00          0          0       0.00          -
2518.67/2529.37	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
2518.67/2529.37	c   resolve instable :       0.00          0          0       0.00          -
2518.67/2529.37	c   diving/probing LP:       6.53          1        403     403.00      61.70
2518.67/2529.37	c   strong branching :       0.00          0          0       0.00          -          -          -          0
2518.67/2529.37	c     (at root node) :          -          0          0       0.00          -
2518.67/2529.37	c   conflict analysis:       0.00          0          0       0.00          -
2518.67/2529.37	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
2518.67/2529.37	c   benders          :       0.00          0          0          0       0.00          0          0          0
2518.67/2529.37	c B&B Tree           :
2518.67/2529.37	c   number of runs   :          1
2518.67/2529.37	c   nodes            :          1 (0 internal, 1 leaves)
2518.67/2529.37	c   feasible leaves  :          0
2518.67/2529.37	c   infeas. leaves   :          0
2518.67/2529.37	c   objective leaves :          0
2518.67/2529.37	c   nodes (total)    :          1 (0 internal, 1 leaves)
2518.67/2529.37	c   nodes left       :          1
2518.67/2529.37	c   max depth        :          0
2518.67/2529.37	c   max depth (total):          0
2518.67/2529.37	c   backtracks       :          0 (0.0%)
2518.67/2529.37	c   early backtracks :          0 (0.0%)
2518.67/2529.37	c   nodes exc. ref.  :          0 (0.0%)
2518.67/2529.37	c   delayed cutoffs  :          0
2518.67/2529.37	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
2518.67/2529.37	c   avg switch length:       1.00
2518.67/2529.37	c   switching time   :       0.00
2518.67/2529.37	c Root Node          :
2518.67/2529.37	c   First LP value   :          -
2518.67/2529.37	c   First LP Iters   :          0
2518.67/2529.37	c   First LP Time    :       0.00
2518.67/2529.37	c   Final Dual Bound : -1.50000000000000e+01
2518.67/2529.37	c   Final Root Iters :          0
2518.67/2529.37	c   Root LP Estimate :                     -
2518.67/2529.37	c Solution           :
2518.67/2529.37	c   Solutions found  :          0 (0 improvements)
2518.67/2529.37	c   Primal Bound     :          -
2518.67/2529.37	c   Dual Bound       : -1.50000000000000e+01
2518.67/2529.37	c   Gap              :   infinite
2518.67/2529.37	c Integrals          :      Total       Avg%
2518.67/2529.37	c   primal-dual      :  252926.87     100.00
2518.67/2529.37	c   primal-ref       :          -          - (not evaluated)
2518.67/2529.37	c   dual-ref         :          -          - (not evaluated)
2553.44/2564.24	c Time complete (sec):   2553.497

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (45319 MiB free)
  memory of node 1: 64507 MiB (55234 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505411-1751453530/watcher-4505411-1751453530 -o /tmp/evaluation-result-4505411-1751453530/solver-4505411-1751453530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751449846-62572 --watchdog 3760 pbsolver -f HOME/instance-4505411-1751453530.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=63037, runsolver pid=63034

[startup+0.100068 s]*
/proc/loadavg: 4.11 4.10 4.09 5/264 63038
/proc/meminfo: memFree=102789132/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=200720 memory=185036 CPUtime=0.09 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 25915 0 0 0 4 5 0 0 20 0 1 0 61032697 205537280 46259 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 50180 46259 2176 2575 0 47087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 200720 KiB
Current children cumulated memory: 185036 KiB

[startup+0.20578 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 63038
/proc/meminfo: memFree=102684552/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=311100 memory=294860 CPUtime=0.19 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 53346 0 0 0 10 9 0 0 20 0 1 0 61032697 318566400 73683 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 77775 73683 2176 2575 0 74682 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 311100 KiB
Current children cumulated memory: 294860 KiB

[startup+0.305705 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 63038
/proc/meminfo: memFree=102595848/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=404516 memory=388552 CPUtime=0.3 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 76263 0 0 0 18 12 0 0 20 0 1 0 61032697 414224384 97106 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 101129 97138 2176 2575 0 98036 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 404516 KiB
Current children cumulated memory: 388552 KiB

[startup+0.700184 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 63038
/proc/meminfo: memFree=102387064/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=795460 memory=778252 CPUtime=0.68 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 166555 0 0 0 42 26 0 0 20 0 1 0 61032697 814551040 194563 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 198865 194563 2176 2575 0 195772 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 795460 KiB
Current children cumulated memory: 778252 KiB

[startup+1.50018 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 63038
/proc/meminfo: memFree=101897388/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=1276384 memory=1257524 CPUtime=1.48 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 272623 0 0 0 106 42 0 0 20 0 1 0 61032697 1307017216 314381 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 319096 314381 2176 2575 0 316003 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1276384 KiB
Current children cumulated memory: 1257524 KiB

[startup+3.10554 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 63038
/proc/meminfo: memFree=100977000/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=2078852 memory=2060628 CPUtime=3.09 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 472892 0 0 0 240 69 0 0 20 0 1 0 61032697 2128744448 515157 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 519713 515157 2176 2575 0 516620 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2078852 KiB
Current children cumulated memory: 2060628 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 63038
/proc/meminfo: memFree=99895220/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=3178448 memory=3159904 CPUtime=6.27 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 724233 0 0 0 520 107 0 0 20 0 1 0 61032697 3254730752 789976 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 794612 789976 2176 2575 0 791519 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3178448 KiB
Current children cumulated memory: 3159904 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 63038
/proc/meminfo: memFree=98591232/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=4460024 memory=4438168 CPUtime=12.65 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 1017224 0 0 0 1109 156 0 0 20 0 1 0 61032697 4567064576 1109542 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 1115006 1109542 2176 2575 0 1111913 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4460024 KiB
Current children cumulated memory: 4438168 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 63038
/proc/meminfo: memFree=91188988/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=10590740 memory=10492204 CPUtime=25.42 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 2373307 0 0 0 2174 368 0 0 20 0 1 0 61032697 10844917760 2623051 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 2647685 2623051 2432 2575 0 2644592 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 10590740 KiB
Current children cumulated memory: 10492204 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 63039
/proc/meminfo: memFree=89590380/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=12224840 memory=11999076 CPUtime=50.96 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 2519498 0 0 0 4570 526 0 0 20 0 1 0 61032697 12518236160 2999769 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3056210 2999769 2528 2575 0 3053117 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 12224840 KiB
Current children cumulated memory: 11999076 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 63040
/proc/meminfo: memFree=86818192/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=15073996 memory=14832476 CPUtime=102 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 3032017 0 0 0 9579 621 0 0 20 0 1 0 61032697 15435771904 3708119 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3768499 3708119 2560 2575 0 3765406 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 15073996 KiB
Current children cumulated memory: 14832476 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 63047
/proc/meminfo: memFree=84560316/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=15991712 memory=15720100 CPUtime=161.79 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 3051021 0 0 0 15539 640 0 0 20 0 1 0 61032697 16375513088 3930025 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3997928 3930025 2592 2575 0 3994835 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15720100 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 63049
/proc/meminfo: memFree=84888656/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=15991712 memory=15720100 CPUtime=221.52 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 3051127 0 0 0 21512 640 0 0 20 0 1 0 61032697 16375513088 3930025 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3997928 3930025 2592 2575 0 3994835 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15720100 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 63051
/proc/meminfo: memFree=84861716/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=15991712 memory=15720100 CPUtime=281.26 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 3051226 0 0 0 27486 640 0 0 20 0 1 0 61032697 16375513088 3930025 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3997928 3930025 2592 2575 0 3994835 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15720100 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 63055
/proc/meminfo: memFree=84832668/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=15991712 memory=15720228 CPUtime=340.99 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 3051259 0 0 0 33459 640 0 0 20 0 1 0 61032697 16375513088 3930057 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3997928 3930057 2592 2575 0 3994835 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15720228 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 63057
/proc/meminfo: memFree=84723920/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=15991712 memory=15720484 CPUtime=400.76 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 3051380 0 0 0 39436 640 0 0 20 0 1 0 61032697 16375513088 3930121 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3997928 3930121 2592 2575 0 3994835 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 15991712 KiB
Current children cumulated memory: 15720484 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/262 63059
/proc/meminfo: memFree=84684640/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=15991712 memory=15720868 CPUtime=460.47 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 3051487 0 0 0 45407 640 0 0 20 0 1 0 61032697 16375513088 3930217 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 3997928 3930217 2592 2575 0 3994835 0
Current children cumulated CPU time: 460.47 s

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

Current children cumulated memory: 22357460 KiB

[startup+1902.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/262 63136
/proc/meminfo: memFree=77388720/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=22970064 memory=22379220 CPUtime=1894.5 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4249386 0 0 0 188493 957 0 0 20 0 1 0 61032697 23521345536 5594805 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5742516 5594805 2624 2575 0 5739423 0
Current children cumulated CPU time: 1894.5 s
Current children cumulated vsize: 22970064 KiB
Current children cumulated memory: 22379220 KiB

[startup+1962.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 63143
/proc/meminfo: memFree=77563160/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23009460 memory=22419168 CPUtime=1954.21 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4259008 0 0 0 194462 959 0 0 20 0 1 0 61032697 23561687040 5604792 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5752365 5604792 2624 2575 0 5749272 0
Current children cumulated CPU time: 1954.21 s
Current children cumulated vsize: 23009460 KiB
Current children cumulated memory: 22419168 KiB

[startup+2022.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 63147
/proc/meminfo: memFree=77618772/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23048880 memory=22458320 CPUtime=2013.93 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4268392 0 0 0 200431 962 0 0 20 0 1 0 61032697 23602053120 5614580 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5762220 5614580 2624 2575 0 5759127 0
Current children cumulated CPU time: 2013.93 s
Current children cumulated vsize: 23048880 KiB
Current children cumulated memory: 22458320 KiB

[startup+2082.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 63149
/proc/meminfo: memFree=77667636/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23091432 memory=22501300 CPUtime=2073.64 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4277638 0 0 0 206400 964 0 0 20 0 1 0 61032697 23645626368 5625325 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5772858 5625325 2624 2575 0 5769765 0
Current children cumulated CPU time: 2073.64 s
Current children cumulated vsize: 23091432 KiB
Current children cumulated memory: 22501300 KiB

[startup+2142.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 63154
/proc/meminfo: memFree=77620540/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23132504 memory=22541680 CPUtime=2133.36 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4286741 0 0 0 212370 966 0 0 20 0 1 0 61032697 23687684096 5635420 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5783126 5635420 2624 2575 0 5780033 0
Current children cumulated CPU time: 2133.36 s
Current children cumulated vsize: 23132504 KiB
Current children cumulated memory: 22541680 KiB

[startup+2202.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 63156
/proc/meminfo: memFree=77561932/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23177952 memory=22586896 CPUtime=2193.09 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4296551 0 0 0 218341 968 0 0 20 0 1 0 61032697 23734222848 5646724 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5794488 5646724 2624 2575 0 5791395 0
Current children cumulated CPU time: 2193.09 s
Current children cumulated vsize: 23177952 KiB
Current children cumulated memory: 22586896 KiB

[startup+2262.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 63158
/proc/meminfo: memFree=77516360/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23230032 memory=22637828 CPUtime=2252.81 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4307273 0 0 0 224311 970 0 0 20 0 1 0 61032697 23787552768 5659457 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5807508 5659457 2624 2575 0 5804415 0
Current children cumulated CPU time: 2252.81 s
Current children cumulated vsize: 23230032 KiB
Current children cumulated memory: 22637828 KiB

[startup+2322.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 63160
/proc/meminfo: memFree=77460708/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23280944 memory=22689132 CPUtime=2312.55 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4317602 0 0 0 230282 973 0 0 20 0 1 0 61032697 23839686656 5672283 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5820236 5672283 2624 2575 0 5817143 0
Current children cumulated CPU time: 2312.55 s
Current children cumulated vsize: 23280944 KiB
Current children cumulated memory: 22689132 KiB

[startup+2382.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 63162
/proc/meminfo: memFree=77378048/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23346352 memory=22755100 CPUtime=2372.28 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4331550 0 0 0 236253 975 0 0 20 0 1 0 61032697 23906664448 5688775 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5836588 5688775 2624 2575 0 5833495 0
Current children cumulated CPU time: 2372.28 s
Current children cumulated vsize: 23346352 KiB
Current children cumulated memory: 22755100 KiB

[startup+2442.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 63165
/proc/meminfo: memFree=77332552/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23402240 memory=22810396 CPUtime=2432.02 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4345430 0 0 0 242223 979 0 0 20 0 1 0 61032697 23963893760 5702599 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5850560 5702599 2624 2575 0 5847467 0
Current children cumulated CPU time: 2432.02 s
Current children cumulated vsize: 23402240 KiB
Current children cumulated memory: 22810396 KiB

[startup+2502.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 63167
/proc/meminfo: memFree=76027908/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=24883640 memory=24084708 CPUtime=2491.75 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4392288 0 0 0 248167 1008 0 0 20 0 1 0 61032697 25480847360 6021177 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 6220910 6021177 2656 2575 0 6217817 0
Current children cumulated CPU time: 2491.75 s
Current children cumulated vsize: 24883640 KiB
Current children cumulated memory: 24084708 KiB

[startup+2562.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 63172
/proc/meminfo: memFree=77281712/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=23321160 memory=22523924 CPUtime=2551.55 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4618925 0 0 0 254093 1062 0 0 20 0 1 0 61032697 23880867840 5630981 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5830290 5630981 2656 2575 0 5827197 0
Current children cumulated CPU time: 2551.55 s
Current children cumulated vsize: 23321160 KiB
Current children cumulated memory: 22523924 KiB

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

# cumulated CPU time of all completed processes:  user=2542.48 s, system=11.2635 s

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

[startup+2563.2 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 63173
/proc/meminfo: memFree=78267484/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=22478740 memory=21681504 CPUtime=2552.45 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4618925 0 0 0 254177 1068 0 0 20 0 1 0 61032697 23018229760 5420376 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5619685 5420376 2656 2575 0 5616592 0
Current children cumulated CPU time: 2552.45 s
Current children cumulated vsize: 22478740 KiB
Current children cumulated memory: 21681504 KiB

[startup+2564 s]*
/proc/loadavg: 4.04 4.08 4.08 5/264 63173
/proc/meminfo: memFree=80447448/131249996 swapFree=33010416/33010684
[pid=63037] ppid=63034 vsize=20435056 memory=19639748 CPUtime=2553.25 cores=5,7
/proc/63037/stat : 63037 (pbsolver) R 63034 63037 62559 0 -1 4194304 4619182 0 0 0 254247 1078 0 0 20 0 1 0 61032697 20925497344 4909937 18446744073709551615 4198400 14743177 140720357982160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 43667456 140720357984650 140720357984746 140720357984746 140720357990348 0
/proc/63037/statm: 5108764 4909937 2656 2575 0 5105671 0
Current children cumulated CPU time: 2553.25 s
Current children cumulated vsize: 20435056 KiB
Current children cumulated memory: 19639748 KiB

[startup+2564.41 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 63173
/proc/meminfo: memFree=93371128/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 2564.49
CPU time (s): 2553.74
CPU user time (s): 2542.48
CPU system time (s): 11.2635
CPU usage (%): 99.581
Max. virtual memory (cumulated for all children) (KiB): 26150120
Max. memory (cumulated for all children) (KiB): 25342960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2542.48
system time used= 11.2635
maximum resident set size= 25342960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4619182
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= 3
involuntary context switches= 2221


# summary of solver processes directly reported to runsolver:
#   pid: 63037
#   total CPU time (s): 2553.74
#   total CPU user time (s): 2542.48
#   total CPU system time (s): 11.2635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91921 second user time and 12.3464 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-02 12:52:11
IDJOB=4505411
IDBENCH=155756
IDSOLVER=3366
FILE ID=nodeC030/4505411-1751453530
RUNJOBID= nodeC030-1751449846-62572
SLURM_JOB_ID= 9598431
Free space on /tmp= 431952 MiB

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

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

MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=656750080

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        102967348 kB
MemAvailable:   104017388 kB
Buffers:            2564 kB
Cached:          1842512 kB
SwapCached:           16 kB
Active:         26200744 kB
Inactive:        1399060 kB
Active(anon):   25768228 kB
Inactive(anon):     4548 kB
Active(file):     432516 kB
Inactive(file):  1394512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            236932 kB
Writeback:             0 kB
AnonPages:      25758144 kB
Mapped:           134816 kB
Shmem:             18048 kB
KReclaimable:     124104 kB
Slab:             212912 kB
SReclaimable:     124104 kB
SUnreclaim:        88808 kB
KernelStack:        4272 kB
PageTables:        53716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   26562952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6688768 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431940 MiB
End job on nodeC030 at 2025-07-02 13:34:56