Trace number 4505410

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 2024-07-07? 1907.22 1916.1

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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4505410-1751465999.opb>
13.75/13.85	c original problem has 2000400 variables (2000400 bin, 0 int, 0 impl, 0 cont) and 4920807 constraints
13.75/13.85	c problem read in 13.84
25.92/26.03	c presolving:
33.90/34.04	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
41.87/42.05	c    (42.0s) running MILP presolver
50.43/50.66	c    (50.6s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
65.97/66.27	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
89.58/89.99	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
112.02/112.48	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
131.95/132.47	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
1076.45/1081.53	c    (1081.5s) probing: 1000/1960400 (0.1%) - 0 fixings, 0 aggregations, 587412 implications, 0 bound changes
1077.35/1082.47	c    (1082.4s) probing: 1001/1960400 (0.1%) - 0 fixings, 0 aggregations, 588000 implications, 0 bound changes
1077.35/1082.47	c    (1082.4s) probing aborted: 1000/1000 successive useless probings
1077.35/1082.47	c    (1082.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1084.72/1089.89	c    (1089.8s) no symmetry present (symcode time: 3.09)
1087.71/1092.89	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1087.71/1092.89	c  40000 deleted vars, 4895553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
1087.71/1092.89	c  0 implications, 6424151 cliques
1087.71/1092.89	c presolved problem has 1960400 variables (1960400 bin, 0 int, 0 impl, 0 cont) and 3915954 constraints
1087.71/1092.89	c    5250 constraints of type <knapsack>
1087.71/1092.89	c 2925551 constraints of type <setppc>
1087.71/1092.89	c  980100 constraints of type <and>
1087.71/1092.89	c       3 constraints of type <linear>
1087.71/1092.89	c    5050 constraints of type <logicor>
1087.71/1092.89	c transformed objective value is always integral (scale: 1)
1087.71/1092.89	c Presolving Time: 1067.44
1087.71/1092.89	c - non default parameters ----------------------------------------------------------------------
1087.71/1092.89	c # SCIP version 10.0.0
1087.71/1092.89	c 
1087.71/1092.89	c # maximal time in seconds to run
1087.71/1092.89	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1087.71/1092.89	c limits/time = 3596.99798
1087.71/1092.89	c 
1087.71/1092.89	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1087.71/1092.89	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1087.71/1092.89	c limits/memory = 27900
1087.71/1092.89	c 
1087.71/1092.89	c # belongs reading time to solving time?
1087.71/1092.89	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1087.71/1092.89	c timing/reading = TRUE
1087.71/1092.89	c 
1087.71/1092.89	c -----------------------------------------------------------------------------------------------
1087.71/1092.89	c start solving
1088.30/1093.48	c 
1868.25/1877.06	c 
1868.25/1877.06	c SCIP Status        : solving was interrupted [memory limit reached]
1868.25/1877.06	c Solving Time (sec) : 1876.99
1868.25/1877.06	c Solving Nodes      : 1
1868.25/1877.06	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1868.25/1877.06	c Dual Bound         : -1.50000000000000e+01
1868.25/1877.06	c Gap                : infinite
1868.25/1877.06	s UNKNOWN
1868.25/1877.06	c SCIP Status        : solving was interrupted [memory limit reached]
1868.25/1877.06	c Total Time         :    1876.99
1868.25/1877.06	c   solving          :    1876.99
1868.25/1877.06	c   presolving       :    1067.44 (included in solving)
1868.25/1877.06	c   reading          :      13.84 (included in solving)
1868.25/1877.06	c   copying          :       0.00 (0 times copied the problem)
1868.25/1877.06	c Original Problem   :
1868.25/1877.06	c   Problem name     : HOME/instance-4505410-1751465999.opb
1868.25/1877.06	c   Variables        : 2000400 (2000400 binary, 0 integer, 0 implicit integer, 0 continuous)
1868.25/1877.06	c   Constraints      : 4920807 initial, 4920807 maximal
1868.35/1877.12	c   Objective        : minimize, 1019600 non-zeros (abs.min = 1, abs.max = 1.8325e+08)
1868.35/1877.12	c Presolved Problem  :
1868.35/1877.12	c   Problem name     : t_HOME/instance-4505410-1751465999.opb
1868.35/1877.12	c   Variables        : 1960400 (1960400 binary, 0 integer, 0 implicit integer, 0 continuous)
1868.35/1877.12	c   Constraints      : 3915954 initial, 3915958 maximal
1868.35/1877.17	c   Objective        : minimize, 989804 non-zeros (abs.min = 2, abs.max = 3.66501e+08)
1868.35/1877.17	c   Nonzeros         : 10821600 constraint, 12848400 clique table
1868.35/1877.17	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1868.35/1877.17	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   gateextraction   :      18.71       0.00      2          0          0          0          0          0    3890700     980100          0          0
1868.35/1877.17	c   implics          :       0.18       0.00      5          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   milp             :      15.99       0.00      1          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   trivial          :       0.40       0.00      6          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   dualfix          :       0.39       0.00      6      29800          0          0          0          0          0          0          0          0
1868.35/1877.17	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   probing          :     927.95       0.09      1          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   pseudoobj        :       0.03       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   symmetry         :       7.42       0.00      1          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   vbounds          :       3.01       0.00      2          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   knapsack         :      12.50       0.06      7          0          0          0          0          0     980100    2910600          0          0
1868.35/1877.17	c   setppc           :      13.84       0.29      7          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   and              :       5.65       0.00      2          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   linear           :      41.64       2.35      9        300       9900          0        300          0      24753          0       4950      14850
1868.35/1877.17	c   logicor          :      10.25       0.13      7          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   components       :       2.05       0.00      1          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
1868.35/1877.17	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
1868.35/1877.17	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
1868.35/1877.17	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
1868.35/1877.17	c   knapsack         :       5250       5250          0      13212          0          0          0          3      16950          0          0          0          0          0          0
1868.35/1877.17	c   setppc           :    2925551    2925551          0      13212          0          0          0          1    2727536          0          0          0          0          0          0
1868.35/1877.17	c   and              :     980100     980100          0      13212          0          0          0          0      39592          0          0          0          0          0          0
1868.35/1877.17	c   linear           :          3          3          0      13212          0          0          0          3         60          4          0          0          0          0          0
1868.35/1877.17	c   logicor          :       5050+      5054          0       5268          0          0          0          0      14280         11          0          0          0          0          0
1868.35/1877.17	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
1868.35/1877.17	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   knapsack         :       4.49       0.06       0.22       4.17       0.00       0.00       0.00       0.04       0.01       0.00
1868.35/1877.17	c   setppc           :     124.36       0.29       1.66     121.78       0.00       0.00       0.00       0.00       0.64       0.00
1868.35/1877.17	c   and              :     141.51       0.00       3.56     137.13       0.00       0.00       0.00       0.00       0.82       0.00
1868.35/1877.17	c   linear           :      23.39       2.35       0.00      21.03       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   logicor          :       0.45       0.13       0.01       0.30       0.00       0.00       0.00       0.00       0.01       0.00
1868.35/1877.17	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   fixedvar         :       0.08       0.08       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1868.35/1877.17	c   dualfix          :          1          0          0          0
1868.35/1877.17	c   genvbounds       :          0          0          0          0
1868.35/1877.17	c   nlobbt           :          0          0          0          0
1868.35/1877.17	c   obbt             :          0          0          0          0
1868.35/1877.17	c   probing          :          0          0          0          0
1868.35/1877.17	c   pseudoobj        :          1          0          0          0
1868.35/1877.17	c   redcost          :          0          0          0          0
1868.35/1877.17	c   rootredcost      :          0          0          0          0
1868.35/1877.17	c   symmetry         :          0          0          0          0
1868.35/1877.17	c   vbounds          :       5361          0          0          0
1868.35/1877.17	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
1868.35/1877.17	c   dualfix          :       0.46       0.00       0.39       0.07       0.00       0.00
1868.35/1877.17	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   probing          :     928.04       0.09     927.95       0.00       0.00       0.00
1868.35/1877.17	c   pseudoobj        :       0.46       0.00       0.03       0.43       0.00       0.00
1868.35/1877.17	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
1868.35/1877.17	c   symmetry         :       7.43       0.00       7.42       0.01       0.00       0.00
1868.35/1877.17	c   vbounds          :       3.69       0.00       3.01       0.67       0.00       0.00
1868.35/1877.17	c Symmetry           :
1868.35/1877.17	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
1868.35/1877.17	c   orbital reduction:          0 reductions applied,          0 cutoffs
1868.35/1877.17	c   lexicographic red:          0 reductions applied,          0 cutoffs
1868.35/1877.17	c   shadow tree time :       0.00 s
1868.35/1877.17	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
1868.35/1877.17	c   propagation      :      20.56          4          4          -        419   205062.3          0        0.0          -          -          -
1868.35/1877.17	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
1868.35/1877.17	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
1868.35/1877.17	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
1868.35/1877.17	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
1868.35/1877.17	c   applied globally :       0.21          -          -          0          4      167.5          -          -          0          -          -
1868.35/1877.17	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
1868.35/1877.17	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
1868.35/1877.17	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
1868.35/1877.17	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
1868.35/1877.17	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
1868.35/1877.17	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
1868.35/1877.17	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
1868.35/1877.17	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
1868.35/1877.17	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1868.35/1877.17	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
1868.35/1877.17	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1868.35/1877.17	c   problem variables:       0.00          -          0          0
1868.35/1877.17	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
1868.35/1877.17	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
1868.35/1877.17	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
1868.35/1877.17	c   LP solutions     :       0.00          -          -          0          0
1868.35/1877.17	c   relax solutions  :       0.00          -          -          0          0
1868.35/1877.17	c   pseudo solutions :       0.00          -          -          0          0
1868.35/1877.17	c   strong branching :       0.00          -          -          0          0
1868.35/1877.17	c   actconsdiving    :       0.00       0.00          0          0          0
1868.35/1877.17	c   adaptivediving   :       0.00       0.00          0          0          0
1868.35/1877.17	c   alns             :       0.00       0.00          0          0          0
1868.35/1877.17	c   bound            :       0.00       0.00          0          0          0
1868.35/1877.17	c   clique           :     750.20       0.00          1          0          0
1868.35/1877.17	c   coefdiving       :       0.00       0.00          0          0          0
1868.35/1877.17	c   completesol      :       0.00       0.00          0          0          0
1868.35/1877.17	c   conflictdiving   :       0.00       0.00          0          0          0
1868.35/1877.17	c   crossover        :       0.00       0.00          0          0          0
1868.35/1877.17	c   dins             :       0.00       0.00          0          0          0
1868.35/1877.17	c   distributiondivin:       0.00       0.00          0          0          0
1868.35/1877.17	c   dps              :       0.00       0.00          0          0          0
1868.35/1877.17	c   dualval          :       0.00       0.00          0          0          0
1868.35/1877.17	c   farkasdiving     :       0.00       0.00          0          0          0
1868.35/1877.17	c   feasjump         :       0.00       0.00          0          0          0
1868.35/1877.17	c   feaspump         :       0.00       0.00          0          0          0
1868.35/1877.17	c   fixandinfer      :       0.00       0.00          0          0          0
1868.35/1877.17	c   fracdiving       :       0.00       0.00          0          0          0
1868.35/1877.17	c   gins             :       0.00       0.00          0          0          0
1868.35/1877.17	c   guideddiving     :       0.00       0.00          0          0          0
1868.35/1877.17	c   indcoefdiving    :       0.00       0.00          0          0          0
1868.35/1877.17	c   indicator        :       0.00       0.00          0          0          0
1868.35/1877.17	c   indicatordiving  :       0.00       0.00          0          0          0
1868.35/1877.17	c   indoneopt        :       0.00       0.00          0          0          0
1868.35/1877.17	c   indrounding      :       0.00       0.00          0          0          0
1868.35/1877.17	c   indtwoopt        :       0.00       0.00          0          0          0
1868.35/1877.17	c   intdiving        :       0.00       0.00          0          0          0
1868.35/1877.17	c   intshifting      :       0.00       0.00          0          0          0
1868.35/1877.17	c   linesearchdiving :       0.00       0.00          0          0          0
1868.35/1877.17	c   localbranching   :       0.00       0.00          0          0          0
1868.35/1877.17	c   locks            :      31.45       0.00          1          0          0
1868.35/1877.17	c   lpface           :       0.00       0.00          0          0          0
1868.35/1877.17	c   mpec             :       0.00       0.00          0          0          0
1868.35/1877.17	c   multistart       :       0.00       0.00          0          0          0
1868.35/1877.17	c   mutation         :       0.00       0.00          0          0          0
1868.35/1877.17	c   nlpdiving        :       0.00       0.00          0          0          0
1868.35/1877.17	c   objpscostdiving  :       0.00       0.00          0          0          0
1868.35/1877.17	c   octane           :       0.00       0.00          0          0          0
1868.35/1877.17	c   ofins            :       0.00       0.00          0          0          0
1868.35/1877.17	c   oneopt           :       0.00       0.00          0          0          0
1868.35/1877.17	c   padm             :       0.00       0.00          0          0          0
1868.35/1877.17	c   proximity        :       0.00       0.00          0          0          0
1868.35/1877.17	c   pscostdiving     :       0.00       0.00          0          0          0
1868.35/1877.17	c   randrounding     :       0.00       0.00          0          0          0
1868.35/1877.17	c   rens             :       0.00       0.00          0          0          0
1868.35/1877.17	c   reoptsols        :       0.00       0.00          0          0          0
1868.35/1877.17	c   repair           :       0.00       0.00          0          0          0
1868.35/1877.17	c   rins             :       0.00       0.00          0          0          0
1868.35/1877.17	c   rootsoldiving    :       0.00       0.00          0          0          0
1868.35/1877.17	c   rounding         :       0.00       0.00          0          0          0
1868.35/1877.17	c   scheduler        :       0.00       0.00          0          0          0
1868.35/1877.17	c   shiftandpropagate:       0.00       0.00          0          0          0
1868.35/1877.17	c   shifting         :       0.00       0.00          0          0          0
1868.35/1877.17	c   simplerounding   :       0.00       0.00          0          0          0
1868.35/1877.17	c   smallcard        :       0.00       0.00          0          0          0
1868.35/1877.17	c   subnlp           :       0.00       0.00          0          0          0
1868.35/1877.17	c   trivial          :       1.17       0.00          2          0          0
1868.35/1877.17	c   trivialnegation  :       0.00       0.00          0          0          0
1868.35/1877.17	c   trustregion      :       0.00       0.00          0          0          0
1868.35/1877.17	c   trysol           :       0.00       0.00          0          0          0
1868.35/1877.17	c   twoopt           :       0.00       0.00          0          0          0
1868.35/1877.17	c   undercover       :       0.00       0.00          0          0          0
1868.35/1877.17	c   vbounds          :       0.00       0.00          0          0          0
1868.35/1877.17	c   veclendiving     :       0.00       0.00          0          0          0
1868.35/1877.17	c   zeroobj          :       0.00       0.00          0          0          0
1868.35/1877.17	c   zirounding       :       0.00       0.00          0          0          0
1868.35/1877.17	c   other solutions  :          -          -          -          0          -
1868.35/1877.17	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	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
1868.35/1877.17	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
1868.35/1877.17	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
1868.35/1877.17	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
1868.35/1877.17	c   lex dual LP      :       0.00          0          0       0.00          -
1868.35/1877.17	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1868.35/1877.17	c   resolve instable :       0.00          0          0       0.00          -
1868.35/1877.17	c   diving/probing LP:       6.89          1        403     403.00      58.52
1868.35/1877.17	c   strong branching :       0.00          0          0       0.00          -          -          -          0
1868.35/1877.17	c     (at root node) :          -          0          0       0.00          -
1868.35/1877.17	c   conflict analysis:       0.00          0          0       0.00          -
1868.35/1877.17	c B&B Tree           :
1868.35/1877.17	c   number of runs   :          1
1868.35/1877.17	c   nodes            :          1 (0 internal, 1 leaves)
1868.35/1877.17	c   feasible leaves  :          0
1868.35/1877.17	c   infeas. leaves   :          0
1868.35/1877.17	c   objective leaves :          0
1868.35/1877.17	c   nodes (total)    :          1 (0 internal, 1 leaves)
1868.35/1877.17	c   nodes left       :          1
1868.35/1877.17	c   max depth        :          0
1868.35/1877.17	c   max depth (total):          0
1868.35/1877.17	c   backtracks       :          0 (0.0%)
1868.35/1877.17	c   early backtracks :          0 (0.0%)
1868.35/1877.17	c   nodes exc. ref.  :          0 (0.0%)
1868.35/1877.17	c   delayed cutoffs  :          0
1868.35/1877.17	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1868.35/1877.17	c   avg switch length:       1.00
1868.35/1877.17	c   switching time   :       0.00
1868.35/1877.17	c Root Node          :
1868.35/1877.17	c   First LP value   :          -
1868.35/1877.17	c   First LP Iters   :          0
1868.35/1877.17	c   First LP Time    :       0.00
1868.35/1877.17	c   Final Dual Bound : -1.50000000000000e+01
1868.35/1877.17	c   Final Root Iters :          0
1868.35/1877.17	c   Root LP Estimate :                     -
1868.35/1877.17	c Solution           :
1868.35/1877.17	c   Solutions found  :          0 (0 improvements)
1868.35/1877.17	c   Primal Bound     :          -
1868.35/1877.17	c   Dual Bound       : -1.50000000000000e+01
1868.35/1877.17	c   Gap              :   infinite
1868.35/1877.17	c Integrals          :      Total       Avg%
1868.35/1877.17	c   primal-dual      :  187699.16     100.00
1868.35/1877.17	c   primal-ref       :          -          - (not evaluated)
1868.35/1877.17	c   dual-ref         :          -          - (not evaluated)
1906.91/1915.87	c Time complete: 1906.99.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505410-1751465999/watcher-4505410-1751465999 -o /tmp/evaluation-result-4505410-1751465999/solver-4505410-1751465999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751458789-63984 --watchdog 3760 pbscip -f HOME/instance-4505410-1751465999.opb -t 3600 -j 2 -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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=64861, runsolver pid=64858
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.22 4.18 4.12 4/266 64868
/proc/meminfo: memFree=109510660/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=207564 memory=175364 CPUtime=0.08 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 23062 0 0 0 3 5 0 0 20 0 1 0 62278499 212545536 43841 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 51891 43841 3200 3530 0 43342 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 207564 KiB
Current children cumulated memory: 175364 KiB

[startup+0.20573 s]*
/proc/loadavg: 4.22 4.18 4.12 5/264 64872
/proc/meminfo: memFree=109413892/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=312144 memory=278660 CPUtime=0.2 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 48882 0 0 0 10 10 0 0 20 0 1 0 62278499 319635456 69665 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 78036 69665 3200 3530 0 69487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 312144 KiB
Current children cumulated memory: 278660 KiB

[startup+0.305595 s]*
/proc/loadavg: 4.22 4.18 4.12 5/264 64884
/proc/meminfo: memFree=109317124/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=407012 memory=373380 CPUtime=0.29 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 72573 0 0 0 16 13 0 0 20 0 1 0 62278499 416780288 93345 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 101753 93345 3200 3530 0 93204 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 407012 KiB
Current children cumulated memory: 373380 KiB

[startup+0.700173 s]
/proc/loadavg: 4.22 4.18 4.12 5/265 64889
/proc/meminfo: memFree=109233280/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=774676 memory=741976 CPUtime=0.68 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 158556 0 0 0 43 25 0 0 20 0 1 0 62278499 793268224 185462 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 193669 185462 3200 3530 0 185120 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 774676 KiB
Current children cumulated memory: 741976 KiB

[startup+1.50013 s]
/proc/loadavg: 4.22 4.18 4.12 5/265 64889
/proc/meminfo: memFree=108627384/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=1286304 memory=1251124 CPUtime=1.47 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 270021 0 0 0 104 43 0 0 20 0 1 0 62278499 1317175296 312781 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 321576 312781 3232 3530 0 313027 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1286304 KiB
Current children cumulated memory: 1251124 KiB

[startup+3.10548 s]
/proc/loadavg: 4.22 4.18 4.12 5/268 64899
/proc/meminfo: memFree=106592308/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=2022760 memory=1986740 CPUtime=3.08 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 453958 0 0 0 238 70 0 0 20 0 1 0 62278499 2071306240 496685 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 505690 496685 3232 3530 0 497141 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2022760 KiB
Current children cumulated memory: 1986740 KiB

[startup+6.30013 s]
/proc/loadavg: 4.20 4.18 4.12 5/268 64899
/proc/meminfo: memFree=104205092/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=3139516 memory=3103296 CPUtime=6.27 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 710111 0 0 0 518 109 0 0 20 0 1 0 62278499 3214864384 775824 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 784879 775824 3232 3530 0 776330 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3139516 KiB
Current children cumulated memory: 3103296 KiB

[startup+12.7001 s]
/proc/loadavg: 4.27 4.19 4.12 5/268 64899
/proc/meminfo: memFree=101620080/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=4411456 memory=4370876 CPUtime=12.64 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 1002475 0 0 0 1107 157 0 0 20 0 1 0 62278499 4517330944 1092719 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 1102864 1092719 3232 3530 0 1094315 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 4411456 KiB
Current children cumulated memory: 4370876 KiB

[startup+25.5001 s]
/proc/loadavg: 4.21 4.18 4.12 5/268 64899
/proc/meminfo: memFree=90537384/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=10430676 memory=10317000 CPUtime=25.42 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 2355611 0 0 0 2166 376 0 0 20 0 1 0 62278499 10681012224 2579250 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 2607669 2579250 3552 3530 0 2599120 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 10430676 KiB
Current children cumulated memory: 10317000 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.18 4.12 5/268 64903
/proc/meminfo: memFree=83224364/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=12041904 memory=11804340 CPUtime=50.94 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 2513045 0 0 0 4559 535 0 0 20 0 1 0 62278499 12330909696 2951085 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3010476 2951085 3712 3530 0 3001927 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 12041904 KiB
Current children cumulated memory: 11804340 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/267 64950
/proc/meminfo: memFree=85614624/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=14763008 memory=14511224 CPUtime=101.94 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 3014729 0 0 0 9568 626 0 0 20 0 1 0 62278499 15117320192 3627806 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3690752 3627806 3776 3530 0 3682203 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 14763008 KiB
Current children cumulated memory: 14511224 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/267 64952
/proc/meminfo: memFree=75535656/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=15952500 memory=15664028 CPUtime=161.72 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 3062459 0 0 0 15520 652 0 0 20 0 1 0 62278499 16335360000 3916007 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3988125 3916007 3776 3530 0 3979576 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 15952500 KiB
Current children cumulated memory: 15664028 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/267 64954
/proc/meminfo: memFree=72095228/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=15952500 memory=15664028 CPUtime=221.48 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 3062480 0 0 0 21496 652 0 0 20 0 1 0 62278499 16335360000 3916007 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3988125 3916007 3776 3530 0 3979576 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 15952500 KiB
Current children cumulated memory: 15664028 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/266 64956
/proc/meminfo: memFree=71798996/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=15952500 memory=15664028 CPUtime=281.21 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 3062480 0 0 0 27469 652 0 0 20 0 1 0 62278499 16335360000 3916007 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3988125 3916007 3776 3530 0 3979576 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 15952500 KiB
Current children cumulated memory: 15664028 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 64958
/proc/meminfo: memFree=71801160/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=15952500 memory=15664028 CPUtime=340.92 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 3062579 0 0 0 33440 652 0 0 20 0 1 0 62278499 16335360000 3916007 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3988125 3916007 3776 3530 0 3979576 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 15952500 KiB
Current children cumulated memory: 15664028 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 64960
/proc/meminfo: memFree=71798188/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=15952500 memory=15664028 CPUtime=400.62 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 3062579 0 0 0 39410 652 0 0 20 0 1 0 62278499 16335360000 3916007 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3988125 3916007 3776 3530 0 3979576 0
Current children cumulated CPU time: 400.62 s
Current children cumulated vsize: 15952500 KiB
Current children cumulated memory: 15664028 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 64962
/proc/meminfo: memFree=71807784/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=15952500 memory=15664028 CPUtime=460.33 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 3062662 0 0 0 45381 652 0 0 20 0 1 0 62278499 16335360000 3916007 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 3988125 3916007 3776 3530 0 3979576 0

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

Current children cumulated memory: 22131356 KiB

[startup+1422.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 65369
/proc/meminfo: memFree=61117884/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=22801564 memory=22165472 CPUtime=1415.6 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4220628 0 0 0 140628 932 0 0 20 0 1 0 62278499 23348801536 5541368 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5700391 5541368 3840 3530 0 5691842 0
Current children cumulated CPU time: 1415.6 s
Current children cumulated vsize: 22801564 KiB
Current children cumulated memory: 22165472 KiB

[startup+1482.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/267 65597
/proc/meminfo: memFree=53954712/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=22836628 memory=22200436 CPUtime=1475.33 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4228348 0 0 0 146599 934 0 0 20 0 1 0 62278499 23384707072 5550109 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5709157 5550109 3840 3530 0 5700608 0
Current children cumulated CPU time: 1475.33 s
Current children cumulated vsize: 22836628 KiB
Current children cumulated memory: 22200436 KiB

[startup+1542.3 s]
/proc/loadavg: 4.09 4.07 4.08 5/267 65601
/proc/meminfo: memFree=53066768/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=22876064 memory=22239464 CPUtime=1535.05 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4237158 0 0 0 152567 938 0 0 20 0 1 0 62278499 23425089536 5559866 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5719016 5559866 3840 3530 0 5710467 0
Current children cumulated CPU time: 1535.05 s
Current children cumulated vsize: 22876064 KiB
Current children cumulated memory: 22239464 KiB

[startup+1602.3 s]
/proc/loadavg: 4.09 4.07 4.08 5/266 65603
/proc/meminfo: memFree=51964396/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=22917068 memory=22280364 CPUtime=1594.76 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4245917 0 0 0 158536 940 0 0 20 0 1 0 62278499 23467077632 5570091 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5729267 5570091 3840 3530 0 5720718 0
Current children cumulated CPU time: 1594.76 s
Current children cumulated vsize: 22917068 KiB
Current children cumulated memory: 22280364 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/265 65605
/proc/meminfo: memFree=51884432/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=22960968 memory=22324584 CPUtime=1654.48 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4255076 0 0 0 164505 943 0 0 20 0 1 0 62278499 23512031232 5581146 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5740242 5581146 3840 3530 0 5731693 0
Current children cumulated CPU time: 1654.48 s
Current children cumulated vsize: 22960968 KiB
Current children cumulated memory: 22324584 KiB

[startup+1722.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/265 65607
/proc/meminfo: memFree=50166464/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=23012236 memory=22376728 CPUtime=1714.22 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4265430 0 0 0 170475 947 0 0 20 0 1 0 62278499 23564529664 5594182 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5753059 5594182 3840 3530 0 5744510 0
Current children cumulated CPU time: 1714.22 s
Current children cumulated vsize: 23012236 KiB
Current children cumulated memory: 22376728 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/266 65611
/proc/meminfo: memFree=50021680/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=23060140 memory=22423960 CPUtime=1773.94 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4277488 0 0 0 176444 950 0 0 20 0 1 0 62278499 23613583360 5605990 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5765035 5605990 3840 3530 0 5756486 0
Current children cumulated CPU time: 1773.94 s
Current children cumulated vsize: 23060140 KiB
Current children cumulated memory: 22423960 KiB

[startup+1842.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/266 65616
/proc/meminfo: memFree=48828776/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=24510324 memory=23666252 CPUtime=1833.68 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4320767 0 0 0 182387 981 0 0 20 0 1 0 62278499 25098571776 5916563 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 6127581 5916563 3936 3530 0 6119032 0
Current children cumulated CPU time: 1833.68 s
Current children cumulated vsize: 24510324 KiB
Current children cumulated memory: 23666252 KiB

[startup+1902.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/265 65619
/proc/meminfo: memFree=47045596/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=26104228 memory=25243532 CPUtime=1893.46 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4608055 0 0 0 188305 1041 0 0 20 0 1 0 62278499 26730729472 6310883 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 6526057 6310883 3936 3530 0 6517508 0
Current children cumulated CPU time: 1893.46 s
Current children cumulated vsize: 26104228 KiB
Current children cumulated memory: 25243532 KiB

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

# cumulated CPU time of all completed processes:  user=1896.11 s, system=11.1056 s

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

[startup+1907.2 s]
/proc/loadavg: 4.31 4.18 4.12 5/265 65619
/proc/meminfo: memFree=47076588/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=26045940 memory=25189892 CPUtime=1898.34 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4609021 0 0 0 188792 1042 0 0 20 0 1 0 62278499 26671042560 6297473 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 6511485 6297473 3936 3530 0 6502936 0
Current children cumulated CPU time: 1898.34 s
Current children cumulated vsize: 26045940 KiB
Current children cumulated memory: 25189892 KiB

[startup+1910.4 s]
/proc/loadavg: 4.28 4.17 4.12 5/265 65619
/proc/meminfo: memFree=47075472/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=26045940 memory=25189892 CPUtime=1901.53 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4609727 0 0 0 189111 1042 0 0 20 0 1 0 62278499 26671042560 6297473 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 6511485 6297473 3936 3530 0 6502936 0
Current children cumulated CPU time: 1901.53 s
Current children cumulated vsize: 26045940 KiB
Current children cumulated memory: 25189892 KiB

[startup+1913.6 s]
/proc/loadavg: 4.28 4.17 4.12 5/265 65619
/proc/meminfo: memFree=49084964/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=23507544 memory=22658744 CPUtime=1904.72 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4611628 0 0 0 189424 1048 0 0 20 0 1 0 62278499 24071725056 5664686 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5876886 5664686 3936 3530 0 5868337 0
Current children cumulated CPU time: 1904.72 s
Current children cumulated vsize: 23507544 KiB
Current children cumulated memory: 22658744 KiB

[startup+1915.2 s]
/proc/loadavg: 4.28 4.17 4.12 5/266 65625
/proc/meminfo: memFree=51040840/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=21581020 memory=20733004 CPUtime=1906.31 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4611628 0 0 0 189573 1058 0 0 20 0 1 0 62278499 22098964480 5183251 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5395255 5183251 3936 3530 0 5386706 0
Current children cumulated CPU time: 1906.31 s
Current children cumulated vsize: 21581020 KiB
Current children cumulated memory: 20733004 KiB

[startup+1915.6 s]
/proc/loadavg: 4.28 4.17 4.12 5/266 65625
/proc/meminfo: memFree=51040840/131249996 swapFree=33010160/33010684
[pid=64861] ppid=64858 vsize=20479340 memory=19631324 CPUtime=1906.71 cores=5,7
/proc/64861/stat : 64861 (pbscip) R 64858 64861 63971 0 -1 4194304 4611883 0 0 0 189608 1063 0 0 20 0 1 0 62278499 20970844160 4907831 18446744073709551615 4235264 18693293 140736327174368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26951680 140736327178633 140736327178732 140736327178732 140736327184334 0
/proc/64861/statm: 5119835 4907831 3936 3530 0 5111286 0
Current children cumulated CPU time: 1906.71 s
Current children cumulated vsize: 20479340 KiB
Current children cumulated memory: 19631324 KiB

[startup+1916.01 s]*
/proc/loadavg: 4.26 4.17 4.12 5/266 65625
/proc/meminfo: memFree=68647332/131249996 swapFree=33010160/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): 1916.1
CPU time (s): 1907.22
CPU user time (s): 1896.11
CPU system time (s): 11.1056
CPU usage (%): 99.5364
Max. virtual memory (cumulated for all children) (KiB): 26104228
Max. memory (cumulated for all children) (KiB): 25243532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1896.11
system time used= 11.1056
maximum resident set size= 25243532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4611895
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= 151
involuntary context switches= 2059


# summary of solver processes directly reported to runsolver:
#   pid: 64861
#   total CPU time (s): 1907.22
#   total CPU user time (s): 1896.11
#   total CPU system time (s): 11.1056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8059 second user time and 9.16633 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 16:20:01
IDJOB=4505410
IDBENCH=155756
IDSOLVER=3365
FILE ID=nodeC029/4505410-1751465999
RUNJOBID= nodeC029-1751458789-63984
SLURM_JOB_ID= 9598460
Free space on /tmp= 431700 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505410-1751465999/watcher-4505410-1751465999 -o /tmp/evaluation-result-4505410-1751465999/solver-4505410-1751465999 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751458789-63984 --watchdog 3760  pbscip -f HOME/instance-4505410-1751465999.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=838847942

nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109665180 kB
MemAvailable:   110976220 kB
Buffers:            2128 kB
Cached:          2111420 kB
SwapCached:           40 kB
Active:         19208820 kB
Inactive:        1671892 kB
Active(anon):   18780416 kB
Inactive(anon):     4768 kB
Active(file):     428404 kB
Inactive(file):  1667124 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            240704 kB
Writeback:             4 kB
AnonPages:      18768116 kB
Mapped:           126568 kB
Shmem:             18020 kB
KReclaimable:     109504 kB
Slab:             198272 kB
SReclaimable:     109504 kB
SUnreclaim:        88768 kB
KernelStack:        4288 kB
PageTables:        39988 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   19691608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5021696 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431444 MiB
End job on nodeC029 at 2025-07-02 16:51:57