Trace number 4432882

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? 3597.45 3607.85

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
MD5SUMc6b8715c3f6301baee7dd7835457fcc6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19941755
Best CPU time to get the best result obtained on this benchmark72001.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 149684681822
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 149684681822
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432882-1721141208.opb>
6.67/6.70	c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.67/6.70	c problem read in 6.70
12.86/12.99	c presolving:
17.44/17.58	c (round 1, fast)       15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 101 clqs
22.33/22.41	c    (22.4s) running MILP presolver
26.32/26.43	c    (26.4s) MILP presolver found nothing
34.20/34.30	c (round 2, exhaustive) 15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 101 clqs
53.53/53.74	c (round 3, medium)     15150 del vars, 1009803 del conss, 2910600 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
68.98/69.22	c (round 4, exhaustive) 15150 del vars, 4900503 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
84.43/84.78	c (round 5, exhaustive) 500250 del vars, 5385603 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
87.73/88.09	c (round 6, exhaustive) 500250 del vars, 5390553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
97.49/97.81	c    (97.8s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
97.49/97.81	c    (97.8s) probing aborted: 50/50 successive totally useless probings
97.49/97.81	c    (97.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
98.98/99.37	c    (99.3s) no symmetry present (symcode time: 0.63)
99.68/100.03	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
99.68/100.03	c  500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
99.68/100.03	c  0 implications, 1455401 cliques
99.68/100.03	c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
99.68/100.03	c    5250 constraints of type <knapsack>
99.68/100.03	c     101 constraints of type <setppc>
99.68/100.03	c  490050 constraints of type <and>
99.68/100.03	c       3 constraints of type <linear>
99.68/100.03	c    5050 constraints of type <logicor>
99.68/100.03	c transformed objective value is always integral (scale: 2)
99.68/100.03	c Presolving Time: 87.44
99.68/100.03	c - non default parameters ----------------------------------------------------------------------
99.68/100.03	c # SCIP version 10.0.0
99.68/100.03	c 
99.68/100.03	c # maximal time in seconds to run
99.68/100.03	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
99.68/100.03	c limits/time = 3596.998008
99.68/100.03	c 
99.68/100.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
99.68/100.03	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
99.68/100.03	c limits/memory = 27900
99.68/100.03	c 
99.68/100.03	c # belongs reading time to solving time?
99.68/100.03	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
99.68/100.03	c timing/reading = TRUE
99.68/100.03	c 
99.68/100.03	c -----------------------------------------------------------------------------------------------
99.68/100.03	c start solving
99.78/100.18	c 
3588.23/3598.61	c 
3588.23/3598.61	c SCIP Status        : solving was interrupted [time limit reached]
3588.23/3598.61	c Solving Time (sec) : 3598.58
3588.23/3598.61	c Solving Nodes      : 1
3588.23/3598.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3588.23/3598.61	c Dual Bound         : -1.50000000000000e+01
3588.23/3598.61	c Gap                : infinite
3588.23/3598.61	s UNKNOWN
3588.23/3598.61	c SCIP Status        : solving was interrupted [time limit reached]
3588.23/3598.61	c Total Time         :    3598.58
3588.23/3598.61	c   solving          :    3598.58
3588.23/3598.61	c   presolving       :      87.44 (included in solving)
3588.23/3598.61	c   reading          :       6.70 (included in solving)
3588.23/3598.61	c   copying          :       0.00 (0 times copied the problem)
3588.23/3598.61	c Original Problem   :
3588.23/3598.61	c   Problem name     : HOME/instance-4432882-1721141208.opb
3588.23/3598.61	c   Variables        : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.23/3598.61	c   Constraints      : 2000307 initial, 2000307 maximal
3588.23/3598.64	c   Objective        : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.37388e+08)
3588.23/3598.64	c Presolved Problem  :
3588.23/3598.64	c   Problem name     : t_HOME/instance-4432882-1721141208.opb
3588.23/3598.64	c   Variables        : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.23/3598.64	c   Constraints      : 500454 initial, 500456 maximal
3588.23/3598.65	c   Objective        : minimize, 14850 non-zeros (abs.min = 9, abs.max = 1.37388e+08)
3588.23/3598.65	c   Nonzeros         : 2035450 constraint, 2910900 clique table
3588.23/3598.65	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.23/3598.65	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   gateextraction   :      14.30       0.00      4          0          0          0          0          0    3890700     980100          0          0
3588.23/3598.65	c   implics          :       0.09       0.00      6          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   milp             :       8.51       0.00      1          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   trivial          :       0.20       0.00      7          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   dualfix          :       0.19       0.00      7          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   probing          :       7.05       0.02      1          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   pseudoobj        :       0.01       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   symmetry         :       1.56       0.00      1          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   vbounds          :       1.55       0.00      2          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   knapsack         :      12.98       0.02     13          0          0          0          0          0     980100    2910600          0          0
3588.23/3598.65	c   setppc           :       4.96       0.00     13          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   and              :      16.51       0.00      6          0     485100          0          0          0     490050          0          0          0
3588.23/3598.65	c   linear           :      10.04       1.43      9        300      14850          0        300          0      29703          0       4950      14850
3588.23/3598.65	c   logicor          :       2.20       0.01     11          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   components       :       0.51       0.00      1          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.23/3598.65	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.23/3598.65	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3588.23/3598.65	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3588.23/3598.65	c   knapsack         :       5250       5250          0     401832          0          0          0          3          0          3          0          0          0          0          0
3588.23/3598.65	c   setppc           :        101        101          0     396206          0          0          0          1         92          0          0          0          0          0          0
3588.23/3598.65	c   and              :     490050     490050          0     401829          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   linear           :          3          3          0     401829          0          0          0          3          0          1          0          0          0          0          0
3588.23/3598.65	c   logicor          :       5050+      5052          0       6650          0          0          0          0         94          0          0          0          0          0          0
3588.23/3598.65	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.23/3598.65	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   knapsack         :       0.29       0.02       0.02       0.26       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   setppc           :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   and              :    3336.04       0.00       1.73    3334.31       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   linear           :       1.56       1.43       0.00       0.13       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   logicor          :       0.07       0.01       0.00       0.06       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   fixedvar         :       0.04       0.04       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   components       :       0.07       0.00       0.00       0.07       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.23/3598.65	c   dualfix          :          1          0          0          0
3588.23/3598.65	c   genvbounds       :          0          0          0          0
3588.23/3598.65	c   nlobbt           :          0          0          0          0
3588.23/3598.65	c   obbt             :          0          0          0          0
3588.23/3598.65	c   probing          :          0          0          0          0
3588.23/3598.65	c   pseudoobj        :          1          0          0          0
3588.23/3598.65	c   redcost          :          0          0          0          0
3588.23/3598.65	c   rootredcost      :          0          0          0          0
3588.23/3598.65	c   symmetry         :          0          0          0          0
3588.23/3598.65	c   vbounds          :      11012          0          0          0
3588.23/3598.65	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.23/3598.65	c   dualfix          :       0.21       0.00       0.19       0.02       0.00       0.00
3588.23/3598.65	c   genvbounds       :       0.10       0.00       0.00       0.10       0.00       0.00
3588.23/3598.65	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.23/3598.65	c   probing          :       7.07       0.02       7.05       0.00       0.00       0.00
3588.23/3598.65	c   pseudoobj        :      33.38       0.00       0.01      33.37       0.00       0.00
3588.23/3598.65	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3588.23/3598.65	c   rootredcost      :       0.07       0.00       0.00       0.07       0.00       0.00
3588.23/3598.65	c   symmetry         :       1.70       0.00       1.56       0.14       0.00       0.00
3588.23/3598.65	c   vbounds          :       1.84       0.00       1.55       0.29       0.00       0.00
3588.23/3598.65	c Symmetry           :
3588.23/3598.65	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3588.23/3598.65	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.23/3598.65	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.23/3598.65	c   shadow tree time :       0.00 s
3588.23/3598.65	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.23/3598.65	c   propagation      :       0.01          2          2          -          2     2713.5          0        0.0          -          -          -
3588.23/3598.65	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.23/3598.65	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.23/3598.65	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.23/3598.65	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.23/3598.65	c   applied globally :       0.00          -          -          0          2     2713.5          -          -          0          -          -
3588.23/3598.65	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3588.23/3598.65	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.23/3598.65	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3588.23/3598.65	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.23/3598.65	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.23/3598.65	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.23/3598.65	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.23/3598.65	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.23/3598.65	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.23/3598.65	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.23/3598.65	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.23/3598.65	c   problem variables:       0.00          -          0          0
3588.23/3598.65	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.23/3598.65	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.23/3598.65	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.23/3598.65	c   LP solutions     :       0.00          -          -          0          0
3588.23/3598.65	c   relax solutions  :       0.00          -          -          0          0
3588.23/3598.65	c   pseudo solutions :       0.00          -          -          0          0
3588.23/3598.65	c   strong branching :       0.00          -          -          0          0
3588.23/3598.65	c   actconsdiving    :       0.00       0.00          0          0          0
3588.23/3598.65	c   adaptivediving   :       0.00       0.00          0          0          0
3588.23/3598.65	c   alns             :       0.00       0.00          0          0          0
3588.23/3598.65	c   bound            :       0.00       0.00          0          0          0
3588.23/3598.65	c   clique           :     174.38       0.00          1          0          0
3588.23/3598.65	c   coefdiving       :       0.00       0.00          0          0          0
3588.23/3598.65	c   completesol      :       0.00       0.00          0          0          0
3588.23/3598.65	c   conflictdiving   :       0.00       0.00          0          0          0
3588.23/3598.65	c   crossover        :       0.00       0.00          0          0          0
3588.23/3598.65	c   dins             :       0.00       0.00          0          0          0
3588.23/3598.65	c   distributiondivin:       0.00       0.00          0          0          0
3588.23/3598.65	c   dps              :       0.00       0.00          0          0          0
3588.23/3598.65	c   dualval          :       0.00       0.00          0          0          0
3588.23/3598.65	c   farkasdiving     :       0.00       0.00          0          0          0
3588.23/3598.65	c   feasjump         :       0.00       0.00          0          0          0
3588.23/3598.65	c   feaspump         :       0.00       0.00          0          0          0
3588.23/3598.65	c   fixandinfer      :       0.00       0.00          0          0          0
3588.23/3598.65	c   fracdiving       :       0.00       0.00          0          0          0
3588.23/3598.65	c   gins             :       0.00       0.00          0          0          0
3588.23/3598.65	c   guideddiving     :       0.00       0.00          0          0          0
3588.23/3598.65	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.23/3598.65	c   indicator        :       0.00       0.00          0          0          0
3588.23/3598.65	c   indicatordiving  :       0.00       0.00          0          0          0
3588.23/3598.65	c   indoneopt        :       0.00       0.00          0          0          0
3588.23/3598.65	c   indrounding      :       0.00       0.00          0          0          0
3588.23/3598.65	c   indtwoopt        :       0.00       0.00          0          0          0
3588.23/3598.65	c   intdiving        :       0.00       0.00          0          0          0
3588.23/3598.65	c   intshifting      :       0.00       0.00          0          0          0
3588.23/3598.65	c   linesearchdiving :       0.00       0.00          0          0          0
3588.23/3598.65	c   localbranching   :       0.00       0.00          0          0          0
3588.23/3598.65	c   locks            :      60.82       0.00          1          0          0
3588.23/3598.65	c   lpface           :       0.00       0.00          0          0          0
3588.23/3598.65	c   mpec             :       0.00       0.00          0          0          0
3588.23/3598.65	c   multistart       :       0.00       0.00          0          0          0
3588.23/3598.65	c   mutation         :       0.00       0.00          0          0          0
3588.23/3598.65	c   nlpdiving        :       0.00       0.00          0          0          0
3588.23/3598.65	c   objpscostdiving  :       0.00       0.00          0          0          0
3588.23/3598.65	c   octane           :       0.00       0.00          0          0          0
3588.23/3598.65	c   ofins            :       0.00       0.00          0          0          0
3588.23/3598.65	c   oneopt           :       0.00       0.00          0          0          0
3588.23/3598.65	c   padm             :       0.00       0.00          0          0          0
3588.23/3598.65	c   proximity        :       0.00       0.00          0          0          0
3588.23/3598.65	c   pscostdiving     :       0.00       0.00          0          0          0
3588.23/3598.65	c   randrounding     :       0.00       0.00          0          0          0
3588.23/3598.65	c   rens             :       0.00       0.00          0          0          0
3588.23/3598.65	c   reoptsols        :       0.00       0.00          0          0          0
3588.23/3598.65	c   repair           :       0.00       0.00          0          0          0
3588.23/3598.65	c   rins             :       0.00       0.00          0          0          0
3588.23/3598.65	c   rootsoldiving    :       0.00       0.00          0          0          0
3588.23/3598.65	c   rounding         :       0.00       0.00          0          0          0
3588.23/3598.65	c   scheduler        :       0.00       0.00          0          0          0
3588.23/3598.65	c   shiftandpropagate:       0.00       0.00          0          0          0
3588.23/3598.65	c   shifting         :       0.00       0.00          0          0          0
3588.23/3598.65	c   simplerounding   :       0.00       0.00          0          0          0
3588.23/3598.65	c   smallcard        :       0.00       0.00          0          0          0
3588.23/3598.65	c   subnlp           :       0.00       0.00          0          0          0
3588.23/3598.65	c   trivial          :       0.57       0.00          2          0          0
3588.23/3598.65	c   trivialnegation  :       0.00       0.00          0          0          0
3588.23/3598.65	c   trustregion      :       0.00       0.00          0          0          0
3588.23/3598.65	c   trysol           :       0.00       0.00          0          0          0
3588.23/3598.65	c   twoopt           :       0.00       0.00          0          0          0
3588.23/3598.65	c   undercover       :       0.00       0.00          0          0          0
3588.23/3598.65	c   vbounds          :    3229.55       0.00          1          0          0
3588.23/3598.65	c   veclendiving     :       0.00       0.00          0          0          0
3588.23/3598.65	c   zeroobj          :       0.00       0.00          0          0          0
3588.23/3598.65	c   zirounding       :       0.00       0.00          0          0          0
3588.23/3598.65	c   other solutions  :          -          -          -          0          -
3588.23/3598.65	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	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
3588.23/3598.65	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.23/3598.65	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3588.23/3598.65	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
3588.23/3598.65	c   lex dual LP      :       0.00          0          0       0.00          -
3588.23/3598.65	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.23/3598.65	c   resolve instable :       0.00          0          0       0.00          -
3588.23/3598.65	c   diving/probing LP:       0.00          0          0       0.00          -
3588.23/3598.65	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3588.23/3598.65	c     (at root node) :          -          0          0       0.00          -
3588.23/3598.65	c   conflict analysis:       0.00          0          0       0.00          -
3588.23/3598.65	c B&B Tree           :
3588.23/3598.65	c   number of runs   :          1
3588.23/3598.65	c   nodes            :          1 (0 internal, 1 leaves)
3588.23/3598.65	c   feasible leaves  :          0
3588.23/3598.65	c   infeas. leaves   :          0
3588.23/3598.65	c   objective leaves :          0
3588.23/3598.65	c   nodes (total)    :          1 (0 internal, 1 leaves)
3588.23/3598.65	c   nodes left       :          1
3588.23/3598.65	c   max depth        :          0
3588.23/3598.65	c   max depth (total):          0
3588.23/3598.65	c   backtracks       :          0 (0.0%)
3588.23/3598.65	c   early backtracks :          0 (0.0%)
3588.23/3598.65	c   nodes exc. ref.  :          0 (0.0%)
3588.23/3598.65	c   delayed cutoffs  :          0
3588.23/3598.65	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.23/3598.65	c   avg switch length:       1.00
3588.23/3598.65	c   switching time   :       0.00
3588.23/3598.65	c Root Node          :
3588.23/3598.65	c   First LP value   :          -
3588.23/3598.65	c   First LP Iters   :          0
3588.23/3598.65	c   First LP Time    :       0.00
3588.23/3598.65	c   Final Dual Bound : -1.50000000000000e+01
3588.23/3598.65	c   Final Root Iters :          0
3588.23/3598.65	c   Root LP Estimate :                     -
3588.23/3598.65	c Solution           :
3588.23/3598.65	c   Solutions found  :          0 (0 improvements)
3588.23/3598.65	c   Primal Bound     :          -
3588.23/3598.65	c   Dual Bound       : -1.50000000000000e+01
3588.23/3598.65	c   Gap              :   infinite
3588.23/3598.65	c Integrals          :      Total       Avg%
3588.23/3598.65	c   primal-dual      :  359858.36     100.00
3588.23/3598.65	c   primal-ref       :          -          - (not evaluated)
3588.23/3598.65	c   dual-ref         :          -          - (not evaluated)
3597.29/3607.74	c Time complete: 3597.34.

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: 63968 MiB (60467 MiB free)
  memory of node 1: 64473 MiB (37857 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432882-1721141208/watcher-4432882-1721141208 -o /tmp/evaluation-result-4432882-1721141208/solver-4432882-1721141208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858235 --watchdog 3760 pbscip -f HOME/instance-4432882-1721141208.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=860586, runsolver pid=860583

[startup+0.100094 s]*
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100633428/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=106500 memory=64796 CPUtime=0.09 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 13285 0 0 0 8 1 0 0 20 0 1 0 166289795 109056000 16199 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 26625 16199 3262 3540 0 14882 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 64796 KiB

[startup+0.205759 s]*
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100590944/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=151988 memory=109620 CPUtime=0.2 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 24474 0 0 0 17 3 0 0 20 0 1 0 166289795 155635712 27405 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 37997 27405 3262 3540 0 26254 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 151988 KiB
Current children cumulated memory: 109620 KiB

[startup+0.305883 s]*
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100546796/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=194200 memory=152824 CPUtime=0.3 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 35262 0 0 0 25 5 0 0 20 0 1 0 166289795 198860800 38206 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 48550 38206 3262 3540 0 36807 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 194200 KiB
Current children cumulated memory: 152824 KiB

[startup+0.700239 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100461312/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=360812 memory=318412 CPUtime=0.69 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 76663 0 0 0 58 11 0 0 20 0 1 0 166289795 369471488 79603 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 90203 79603 3262 3540 0 78460 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 360812 KiB
Current children cumulated memory: 318412 KiB

[startup+1.50025 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=100253164/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=692620 memory=650456 CPUtime=1.48 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 158679 0 0 0 126 22 0 0 20 0 1 0 166289795 709242880 162614 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 173155 162614 3262 3540 0 161412 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 692620 KiB
Current children cumulated memory: 650456 KiB

[startup+3.10572 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=99414244/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=1363760 memory=1320116 CPUtime=3.09 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 322454 0 0 0 261 48 0 0 20 0 1 0 166289795 1396490240 329963 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 340940 330029 3262 3540 0 329197 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1363760 KiB
Current children cumulated memory: 1320116 KiB

[startup+6.30023 s]
/proc/loadavg: 4.07 4.17 4.16 5/256 860587
/proc/meminfo: memFree=98702984/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=2045172 memory=2003348 CPUtime=6.27 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 472895 0 0 0 554 73 0 0 20 0 1 0 166289795 2094256128 500837 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 511293 500837 3262 3540 0 499550 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2045172 KiB
Current children cumulated memory: 2003348 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.19 4.16 5/256 860588
/proc/meminfo: memFree=96121064/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=4908912 memory=4827552 CPUtime=12.66 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1087679 0 0 0 1101 165 0 0 20 0 1 0 166289795 5026725888 1206888 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1227228 1206888 3598 3540 0 1215485 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4908912 KiB
Current children cumulated memory: 4827552 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.18 4.16 5/255 860591
/proc/meminfo: memFree=93974672/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=6807572 memory=6699764 CPUtime=25.42 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1191850 0 0 0 2306 236 0 0 20 0 1 0 166289795 6970953728 1674941 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1701893 1674941 3773 3540 0 1690150 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6807572 KiB
Current children cumulated memory: 6699764 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.18 4.16 5/254 860596
/proc/meminfo: memFree=92890028/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=7879664 memory=7760772 CPUtime=50.94 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1548674 0 0 0 4782 312 0 0 20 0 1 0 166289795 8068775936 1940193 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1969916 1940193 3821 3540 0 1958173 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7760772 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/254 860606
/proc/meminfo: memFree=92393940/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=8572624 memory=8230176 CPUtime=101.97 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1569264 0 0 0 9871 326 0 0 20 0 1 0 166289795 8778366976 2057544 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2143156 2057544 3837 3540 0 2131413 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8230176 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/254 860616
/proc/meminfo: memFree=91420260/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9541456 memory=9201384 CPUtime=161.8 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1727654 0 0 0 15817 363 0 0 20 0 1 0 166289795 9770450944 2300346 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2385364 2300346 3885 3540 0 2373621 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9201384 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 860626
/proc/meminfo: memFree=91415648/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9541456 memory=9201788 CPUtime=221.61 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1728154 0 0 0 21797 364 0 0 20 0 1 0 166289795 9770450944 2300447 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2385364 2300447 3885 3540 0 2373621 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9201788 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.13 4.14 5/256 860643
/proc/meminfo: memFree=91401836/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9547744 memory=9208500 CPUtime=281.43 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1730251 0 0 0 27777 366 0 0 20 0 1 0 166289795 9776889856 2302125 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2386936 2302125 3885 3540 0 2375193 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 9547744 KiB
Current children cumulated memory: 9208500 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/257 860655
/proc/meminfo: memFree=91373440/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9575476 memory=9235820 CPUtime=341.24 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1737612 0 0 0 33756 368 0 0 20 0 1 0 166289795 9805287424 2308955 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2393869 2308955 3885 3540 0 2382126 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 9575476 KiB
Current children cumulated memory: 9235820 KiB

[startup+402.3 s]
/proc/loadavg: 4.38 4.20 4.17 5/257 860665
/proc/meminfo: memFree=91329716/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9616340 memory=9276644 CPUtime=401.03 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1746647 0 0 0 39732 371 0 0 20 0 1 0 166289795 9847132160 2319161 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2404085 2319161 3885 3540 0 2392342 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9276644 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.18 4.16 5/257 860676
/proc/meminfo: memFree=91327320/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9616340 memory=9277220 CPUtime=460.79 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1747019 0 0 0 45707 372 0 0 20 0 1 0 166289795 9847132160 2319305 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2404085 2319305 3885 3540 0 2392342 0

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

Current children cumulated memory: 9368856 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.18 4.15 5/254 862345
/proc/meminfo: memFree=81796100/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9711188 memory=9371068 CPUtime=3153.22 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1786558 0 0 0 314877 445 0 0 20 0 1 0 166289795 9944256512 2342767 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2427797 2342767 3885 3540 0 2416054 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 9711188 KiB
Current children cumulated memory: 9371068 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/255 862356
/proc/meminfo: memFree=81786528/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9714964 memory=9374856 CPUtime=3213.07 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1787940 0 0 0 320861 446 0 0 20 0 1 0 166289795 9948123136 2343714 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2428741 2343714 3885 3540 0 2416998 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 9714964 KiB
Current children cumulated memory: 9374856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.15 5/258 862509
/proc/meminfo: memFree=94277632/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9718164 memory=9378164 CPUtime=3272.94 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1789341 0 0 0 326846 448 0 0 20 0 1 0 166289795 9951399936 2344541 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2429541 2344541 3885 3540 0 2417798 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 9718164 KiB
Current children cumulated memory: 9378164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/258 862520
/proc/meminfo: memFree=87577492/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9720340 memory=9381348 CPUtime=3332.77 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1790538 0 0 0 332827 450 0 0 20 0 1 0 166289795 9953628160 2345337 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2430085 2345337 3885 3540 0 2418342 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 9720340 KiB
Current children cumulated memory: 9381348 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/258 862530
/proc/meminfo: memFree=85008824/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9724116 memory=9385032 CPUtime=3392.59 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1792212 0 0 0 338808 451 0 0 20 0 1 0 166289795 9957494784 2346258 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2431029 2346258 3885 3540 0 2419286 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 9724116 KiB
Current children cumulated memory: 9385032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/258 862541
/proc/meminfo: memFree=84217244/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9727316 memory=9388396 CPUtime=3452.38 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1793635 0 0 0 344785 453 0 0 20 0 1 0 166289795 9960771584 2347099 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2431829 2347099 3885 3540 0 2420086 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 9727316 KiB
Current children cumulated memory: 9388396 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/258 862552
/proc/meminfo: memFree=84212708/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9730516 memory=9391640 CPUtime=3512.19 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1795185 0 0 0 350764 455 0 0 20 0 1 0 166289795 9964048384 2347910 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2432629 2347910 3885 3540 0 2420886 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 9730516 KiB
Current children cumulated memory: 9391640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/254 862562
/proc/meminfo: memFree=84166744/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9734292 memory=9395460 CPUtime=3571.98 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1796968 0 0 0 356741 457 0 0 20 0 1 0 166289795 9967915008 2348865 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2433573 2348865 3885 3540 0 2421830 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 9734292 KiB
Current children cumulated memory: 9395460 KiB

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

# cumulated CPU time of all completed processes:  user=3592.62 s, system=4.82969 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.14 5/254 862562
/proc/meminfo: memFree=84166736/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9734292 memory=9395460 CPUtime=3573.68 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1796988 0 0 0 356911 457 0 0 20 0 1 0 166289795 9967915008 2348865 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2433573 2348865 3885 3540 0 2421830 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 9734292 KiB
Current children cumulated memory: 9395460 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.14 5/254 862563
/proc/meminfo: memFree=84159668/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9734868 memory=9396044 CPUtime=3586.43 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1797285 0 0 0 358186 457 0 0 20 0 1 0 166289795 9968504832 2349011 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 2 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2433717 2349011 3885 3540 0 2421974 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 9734868 KiB
Current children cumulated memory: 9396044 KiB

[startup+3603.2 s]
/proc/loadavg: 4.09 4.14 4.14 5/255 862566
/proc/meminfo: memFree=84189316/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9696208 memory=9358072 CPUtime=3592.81 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1814019 0 0 0 358821 460 0 0 20 0 1 0 166289795 9928916992 2339518 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2424052 2339518 3885 3540 0 2412309 0
Current children cumulated CPU time: 3592.81 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9358072 KiB

[startup+3606.4 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=84215796/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=9350036 memory=9015596 CPUtime=3595.99 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1821058 0 0 0 359138 461 0 0 20 0 1 0 166289795 9574436864 2253899 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2337509 2253899 3901 3540 0 2325766 0
Current children cumulated CPU time: 3595.99 s
Current children cumulated vsize: 9350036 KiB
Current children cumulated memory: 9015596 KiB

[startup+3607.2 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=85051984/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=8650720 memory=8316280 CPUtime=3596.79 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1821531 0 0 0 359215 464 0 0 20 0 1 0 166289795 8858337280 2079070 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 2162680 2079070 3901 3540 0 2150937 0
Current children cumulated CPU time: 3596.79 s
Current children cumulated vsize: 8650720 KiB
Current children cumulated memory: 8316280 KiB

[startup+3607.6 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=85051984/131524600 swapFree=131071996/131071996
[pid=860586] ppid=860583 vsize=7873876 memory=7539896 CPUtime=3597.19 cores=4,6
/proc/860586/stat : 860586 (pbscip) R 860583 860586 858224 0 -1 4194304 1822473 0 0 0 359252 467 0 0 20 0 1 0 166289795 8062849024 1884974 134679101440 4194304 18693293 140734523961600 0 0 0 0 0 0 0 0 0 17 4 0 0 2 0 0 21375888 21430392 35115008 140734523966468 140734523966567 140734523966567 140734523973582 0
/proc/860586/statm: 1968469 1884974 3901 3540 0 1956726 0
Current children cumulated CPU time: 3597.19 s
Current children cumulated vsize: 7873876 KiB
Current children cumulated memory: 7539896 KiB

[startup+3607.8 s]*
/proc/loadavg: 4.08 4.14 4.13 5/255 862566
/proc/meminfo: memFree=91350208/131524600 swapFree=131071996/131071996
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): 3607.85
CPU time (s): 3597.45
CPU user time (s): 3592.62
CPU system time (s): 4.82969
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9430464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.62
system time used= 4.82968
maximum resident set size= 9430464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1823600
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= 22
involuntary context switches= 3076


# summary of solver processes directly reported to runsolver:
#   pid: 860586
#   total CPU time (s): 3597.45
#   total CPU user time (s): 3592.62
#   total CPU system time (s): 4.82969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.05111 second user time and 19.9264 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-16 16:47:01
IDJOB=4432882
IDBENCH=155746
IDSOLVER=3059
FILE ID=nodeC032/4432882-1721141208
RUNJOBID= nodeC032-1721137255-858235
SLURM_JOB_ID= 7505711
Free space on /tmp= 889604 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_0_ic.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432882-1721141208/watcher-4432882-1721141208 -o /tmp/evaluation-result-4432882-1721141208/solver-4432882-1721141208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858235 --watchdog 3760  pbscip -f HOME/instance-4432882-1721141208.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= c6b8715c3f6301baee7dd7835457fcc6
RANDOM SEED=2128322214

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3678.684
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3689.604
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3606.871
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3599.743
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3676.674
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3689.592
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3660.784
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3599.818
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        100684976 kB
MemAvailable:   102533328 kB
Buffers:          415480 kB
Cached:          2254820 kB
SwapCached:            0 kB
Active:          1033060 kB
Inactive:       29124508 kB
Active(anon):       1548 kB
Inactive(anon): 27523472 kB
Active(file):    1031512 kB
Inactive(file):  1601036 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            118688 kB
Writeback:             4 kB
AnonPages:      27485644 kB
Mapped:           137744 kB
Shmem:             37720 kB
KReclaimable:     111256 kB
Slab:             219284 kB
SReclaimable:     111256 kB
SUnreclaim:       108028 kB
KernelStack:        4112 kB
PageTables:        63712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   28503000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6490112 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889500 MiB
End job on nodeC032 at 2024-07-16 17:47:09