Trace number 4432887

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? 3593.1 3606.86

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
MD5SUM88b39ea3a8b75d01f2291d1517c942c1
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 benchmark15928581
Best CPU time to get the best result obtained on this benchmark3602.46
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 170953875
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 187029967016
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 170953875
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 187029967016
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-4432887-1721140869.opb>
6.28/6.33	c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.28/6.33	c problem read in 6.33
12.36/12.45	c presolving:
16.95/17.02	c (round 1, fast)       15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 101 clqs
21.54/21.66	c    (21.6s) running MILP presolver
25.53/25.61	c    (25.6s) MILP presolver found nothing
33.20/33.38	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.43/53.60	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.89/69.17	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.05/84.30	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.14/87.45	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
96.51/96.87	c    (96.8s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
96.51/96.87	c    (96.8s) probing aborted: 50/50 successive totally useless probings
96.51/96.87	c    (96.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
98.01/98.34	c    (98.3s) no symmetry present (symcode time: 0.56)
98.61/98.96	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
98.61/98.96	c  500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
98.61/98.96	c  0 implications, 1455401 cliques
98.61/98.96	c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
98.61/98.96	c    5250 constraints of type <knapsack>
98.61/98.96	c     101 constraints of type <setppc>
98.61/98.96	c  490050 constraints of type <and>
98.61/98.96	c       3 constraints of type <linear>
98.61/98.96	c    5050 constraints of type <logicor>
98.61/98.96	c transformed objective value is always integral (scale: 2)
98.61/98.96	c Presolving Time: 86.93
98.61/98.96	c - non default parameters ----------------------------------------------------------------------
98.61/98.96	c # SCIP version 10.0.0
98.61/98.96	c 
98.61/98.96	c # maximal time in seconds to run
98.61/98.96	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
98.61/98.96	c limits/time = 3596.997012
98.61/98.96	c 
98.61/98.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
98.61/98.96	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
98.61/98.96	c limits/memory = 27900
98.61/98.96	c 
98.61/98.96	c # belongs reading time to solving time?
98.61/98.96	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
98.61/98.96	c timing/reading = TRUE
98.61/98.96	c 
98.61/98.96	c -----------------------------------------------------------------------------------------------
98.61/98.96	c start solving
98.81/99.11	c 
3584.76/3598.56	c 
3584.76/3598.56	c SCIP Status        : solving was interrupted [time limit reached]
3584.76/3598.56	c Solving Time (sec) : 3598.53
3584.76/3598.56	c Solving Nodes      : 1
3584.76/3598.56	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3584.76/3598.56	c Dual Bound         : -1.50000000000000e+01
3584.76/3598.56	c Gap                : infinite
3584.76/3598.56	s UNKNOWN
3584.76/3598.56	c SCIP Status        : solving was interrupted [time limit reached]
3584.76/3598.56	c Total Time         :    3598.53
3584.76/3598.56	c   solving          :    3598.53
3584.76/3598.56	c   presolving       :      86.93 (included in solving)
3584.76/3598.56	c   reading          :       6.33 (included in solving)
3584.76/3598.56	c   copying          :       0.00 (0 times copied the problem)
3584.76/3598.56	c Original Problem   :
3584.76/3598.56	c   Problem name     : HOME/instance-4432887-1721140869.opb
3584.76/3598.56	c   Variables        : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.76/3598.56	c   Constraints      : 2000307 initial, 2000307 maximal
3584.76/3598.59	c   Objective        : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.70954e+08)
3584.76/3598.59	c Presolved Problem  :
3584.76/3598.59	c   Problem name     : t_HOME/instance-4432887-1721140869.opb
3584.76/3598.59	c   Variables        : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.76/3598.59	c   Constraints      : 500454 initial, 500456 maximal
3584.87/3598.60	c   Objective        : minimize, 14850 non-zeros (abs.min = 9, abs.max = 1.70954e+08)
3584.87/3598.60	c   Nonzeros         : 2035450 constraint, 2910900 clique table
3584.87/3598.60	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.87/3598.60	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   gateextraction   :      14.34       0.00      4          0          0          0          0          0    3890700     980100          0          0
3584.87/3598.60	c   implics          :       0.09       0.00      6          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   milp             :       8.26       0.00      1          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   trivial          :       0.20       0.00      7          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   dualfix          :       0.19       0.00      7          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   probing          :       6.88       0.02      1          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   pseudoobj        :       0.01       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   symmetry         :       1.47       0.00      1          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   vbounds          :       1.65       0.00      2          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   knapsack         :      13.31       0.02     13          0          0          0          0          0     980100    2910600          0          0
3584.87/3598.60	c   setppc           :       5.14       0.00     13          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   and              :      15.92       0.00      6          0     485100          0          0          0     490050          0          0          0
3584.87/3598.60	c   linear           :       9.92       1.41      9        300      14850          0        300          0      29703          0       4950      14850
3584.87/3598.60	c   logicor          :       2.29       0.01     11          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   components       :       0.49       0.00      1          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3584.87/3598.60	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.87/3598.60	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3584.87/3598.60	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3584.87/3598.60	c   knapsack         :       5250       5250          0     355700          0          0          0          3          0          3          0          0          0          0          0
3584.87/3598.60	c   setppc           :        101        101          0     350074          0          0          0          1         92          0          0          0          0          0          0
3584.87/3598.60	c   and              :     490050     490050          0     355697          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   linear           :          3          3          0     355697          0          0          0          3          0          1          0          0          0          0          0
3584.87/3598.60	c   logicor          :       5050+      5052          0       6650          0          0          0          0         94          0          0          0          0          0          0
3584.87/3598.60	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.87/3598.60	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   knapsack         :       0.27       0.02       0.02       0.24       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   setppc           :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   and              :    3322.56       0.00       1.83    3320.73       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   linear           :       1.53       1.41       0.00       0.12       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   logicor          :       0.08       0.01       0.01       0.07       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   fixedvar         :       0.04       0.04       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   components       :       0.07       0.00       0.00       0.07       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.87/3598.60	c   dualfix          :          1          0          0          0
3584.87/3598.60	c   genvbounds       :          0          0          0          0
3584.87/3598.60	c   nlobbt           :          0          0          0          0
3584.87/3598.60	c   obbt             :          0          0          0          0
3584.87/3598.60	c   probing          :          0          0          0          0
3584.87/3598.60	c   pseudoobj        :          1          0          0          0
3584.87/3598.60	c   redcost          :          0          0          0          0
3584.87/3598.60	c   rootredcost      :          0          0          0          0
3584.87/3598.60	c   symmetry         :          0          0          0          0
3584.87/3598.60	c   vbounds          :      10454          0          0          0
3584.87/3598.60	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.87/3598.60	c   dualfix          :       0.21       0.00       0.19       0.01       0.00       0.00
3584.87/3598.60	c   genvbounds       :       0.09       0.00       0.00       0.09       0.00       0.00
3584.87/3598.60	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.87/3598.60	c   probing          :       6.90       0.02       6.88       0.00       0.00       0.00
3584.87/3598.60	c   pseudoobj        :      33.19       0.00       0.01      33.18       0.00       0.00
3584.87/3598.60	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3584.87/3598.60	c   rootredcost      :       0.07       0.00       0.00       0.07       0.00       0.00
3584.87/3598.60	c   symmetry         :       1.61       0.00       1.47       0.13       0.00       0.00
3584.87/3598.60	c   vbounds          :       1.93       0.00       1.65       0.28       0.00       0.00
3584.87/3598.60	c Symmetry           :
3584.87/3598.60	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.87/3598.60	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.87/3598.60	c   lexicographic red:          0 reductions applied,          0 cutoffs
3584.87/3598.60	c   shadow tree time :       0.00 s
3584.87/3598.60	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.87/3598.60	c   propagation      :       0.02          2          2          -          2     2713.5          0        0.0          -          -          -
3584.87/3598.60	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.87/3598.60	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.87/3598.60	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.87/3598.60	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.87/3598.60	c   applied globally :       0.00          -          -          0          2     2713.5          -          -          0          -          -
3584.87/3598.60	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3584.87/3598.60	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.87/3598.60	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3584.87/3598.60	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.87/3598.60	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.87/3598.60	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.87/3598.60	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.87/3598.60	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.87/3598.60	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.87/3598.60	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.87/3598.60	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.87/3598.60	c   problem variables:       0.00          -          0          0
3584.87/3598.60	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3584.87/3598.60	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3584.87/3598.60	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3584.87/3598.60	c   LP solutions     :       0.00          -          -          0          0
3584.87/3598.60	c   relax solutions  :       0.00          -          -          0          0
3584.87/3598.60	c   pseudo solutions :       0.00          -          -          0          0
3584.87/3598.60	c   strong branching :       0.00          -          -          0          0
3584.87/3598.60	c   actconsdiving    :       0.00       0.00          0          0          0
3584.87/3598.60	c   adaptivediving   :       0.00       0.00          0          0          0
3584.87/3598.60	c   alns             :       0.00       0.00          0          0          0
3584.87/3598.60	c   bound            :       0.00       0.00          0          0          0
3584.87/3598.60	c   clique           :     195.15       0.00          1          0          0
3584.87/3598.60	c   coefdiving       :       0.00       0.00          0          0          0
3584.87/3598.60	c   completesol      :       0.00       0.00          0          0          0
3584.87/3598.60	c   conflictdiving   :       0.00       0.00          0          0          0
3584.87/3598.60	c   crossover        :       0.00       0.00          0          0          0
3584.87/3598.60	c   dins             :       0.00       0.00          0          0          0
3584.87/3598.60	c   distributiondivin:       0.00       0.00          0          0          0
3584.87/3598.60	c   dps              :       0.00       0.00          0          0          0
3584.87/3598.60	c   dualval          :       0.00       0.00          0          0          0
3584.87/3598.60	c   farkasdiving     :       0.00       0.00          0          0          0
3584.87/3598.60	c   feasjump         :       0.00       0.00          0          0          0
3584.87/3598.60	c   feaspump         :       0.00       0.00          0          0          0
3584.87/3598.60	c   fixandinfer      :       0.00       0.00          0          0          0
3584.87/3598.60	c   fracdiving       :       0.00       0.00          0          0          0
3584.87/3598.60	c   gins             :       0.00       0.00          0          0          0
3584.87/3598.60	c   guideddiving     :       0.00       0.00          0          0          0
3584.87/3598.60	c   indcoefdiving    :       0.00       0.00          0          0          0
3584.87/3598.60	c   indicator        :       0.00       0.00          0          0          0
3584.87/3598.60	c   indicatordiving  :       0.00       0.00          0          0          0
3584.87/3598.60	c   indoneopt        :       0.00       0.00          0          0          0
3584.87/3598.60	c   indrounding      :       0.00       0.00          0          0          0
3584.87/3598.60	c   indtwoopt        :       0.00       0.00          0          0          0
3584.87/3598.60	c   intdiving        :       0.00       0.00          0          0          0
3584.87/3598.60	c   intshifting      :       0.00       0.00          0          0          0
3584.87/3598.60	c   linesearchdiving :       0.00       0.00          0          0          0
3584.87/3598.60	c   localbranching   :       0.00       0.00          0          0          0
3584.87/3598.60	c   locks            :      70.86       0.00          1          0          0
3584.87/3598.60	c   lpface           :       0.00       0.00          0          0          0
3584.87/3598.60	c   mpec             :       0.00       0.00          0          0          0
3584.87/3598.60	c   multistart       :       0.00       0.00          0          0          0
3584.87/3598.60	c   mutation         :       0.00       0.00          0          0          0
3584.87/3598.60	c   nlpdiving        :       0.00       0.00          0          0          0
3584.87/3598.60	c   objpscostdiving  :       0.00       0.00          0          0          0
3584.87/3598.60	c   octane           :       0.00       0.00          0          0          0
3584.87/3598.60	c   ofins            :       0.00       0.00          0          0          0
3584.87/3598.60	c   oneopt           :       0.00       0.00          0          0          0
3584.87/3598.60	c   padm             :       0.00       0.00          0          0          0
3584.87/3598.60	c   proximity        :       0.00       0.00          0          0          0
3584.87/3598.60	c   pscostdiving     :       0.00       0.00          0          0          0
3584.87/3598.60	c   randrounding     :       0.00       0.00          0          0          0
3584.87/3598.60	c   rens             :       0.00       0.00          0          0          0
3584.87/3598.60	c   reoptsols        :       0.00       0.00          0          0          0
3584.87/3598.60	c   repair           :       0.00       0.00          0          0          0
3584.87/3598.60	c   rins             :       0.00       0.00          0          0          0
3584.87/3598.60	c   rootsoldiving    :       0.00       0.00          0          0          0
3584.87/3598.60	c   rounding         :       0.00       0.00          0          0          0
3584.87/3598.60	c   scheduler        :       0.00       0.00          0          0          0
3584.87/3598.60	c   shiftandpropagate:       0.00       0.00          0          0          0
3584.87/3598.60	c   shifting         :       0.00       0.00          0          0          0
3584.87/3598.60	c   simplerounding   :       0.00       0.00          0          0          0
3584.87/3598.60	c   smallcard        :       0.00       0.00          0          0          0
3584.87/3598.60	c   subnlp           :       0.00       0.00          0          0          0
3584.87/3598.60	c   trivial          :       0.57       0.00          2          0          0
3584.87/3598.60	c   trivialnegation  :       0.00       0.00          0          0          0
3584.87/3598.60	c   trustregion      :       0.00       0.00          0          0          0
3584.87/3598.60	c   trysol           :       0.00       0.00          0          0          0
3584.87/3598.60	c   twoopt           :       0.00       0.00          0          0          0
3584.87/3598.60	c   undercover       :       0.00       0.00          0          0          0
3584.87/3598.60	c   vbounds          :    3199.97       0.00          1          0          0
3584.87/3598.60	c   veclendiving     :       0.00       0.00          0          0          0
3584.87/3598.60	c   zeroobj          :       0.00       0.00          0          0          0
3584.87/3598.60	c   zirounding       :       0.00       0.00          0          0          0
3584.87/3598.60	c   other solutions  :          -          -          -          0          -
3584.87/3598.60	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	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
3584.87/3598.60	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3584.87/3598.60	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3584.87/3598.60	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
3584.87/3598.60	c   lex dual LP      :       0.00          0          0       0.00          -
3584.87/3598.60	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3584.87/3598.60	c   resolve instable :       0.00          0          0       0.00          -
3584.87/3598.60	c   diving/probing LP:       0.00          0          0       0.00          -
3584.87/3598.60	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3584.87/3598.60	c     (at root node) :          -          0          0       0.00          -
3584.87/3598.60	c   conflict analysis:       0.00          0          0       0.00          -
3584.87/3598.60	c B&B Tree           :
3584.87/3598.60	c   number of runs   :          1
3584.87/3598.60	c   nodes            :          1 (0 internal, 1 leaves)
3584.87/3598.60	c   feasible leaves  :          0
3584.87/3598.60	c   infeas. leaves   :          0
3584.87/3598.60	c   objective leaves :          0
3584.87/3598.60	c   nodes (total)    :          1 (0 internal, 1 leaves)
3584.87/3598.60	c   nodes left       :          1
3584.87/3598.60	c   max depth        :          0
3584.87/3598.60	c   max depth (total):          0
3584.87/3598.60	c   backtracks       :          0 (0.0%)
3584.87/3598.60	c   early backtracks :          0 (0.0%)
3584.87/3598.60	c   nodes exc. ref.  :          0 (0.0%)
3584.87/3598.60	c   delayed cutoffs  :          0
3584.87/3598.60	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3584.87/3598.60	c   avg switch length:       1.00
3584.87/3598.60	c   switching time   :       0.00
3584.87/3598.60	c Root Node          :
3584.87/3598.60	c   First LP value   :          -
3584.87/3598.60	c   First LP Iters   :          0
3584.87/3598.60	c   First LP Time    :       0.00
3584.87/3598.60	c   Final Dual Bound : -1.50000000000000e+01
3584.87/3598.60	c   Final Root Iters :          0
3584.87/3598.60	c   Root LP Estimate :                     -
3584.87/3598.60	c Solution           :
3584.87/3598.60	c   Solutions found  :          0 (0 improvements)
3584.87/3598.60	c   Primal Bound     :          -
3584.87/3598.60	c   Dual Bound       : -1.50000000000000e+01
3584.87/3598.60	c   Gap              :   infinite
3584.87/3598.60	c Integrals          :      Total       Avg%
3584.87/3598.60	c   primal-dual      :  359853.21     100.00
3584.87/3598.60	c   primal-ref       :          -          - (not evaluated)
3584.87/3598.60	c   dual-ref         :          -          - (not evaluated)
3592.94/3606.73	c Time complete: 3592.98.

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=860477, runsolver pid=860474

[startup+0.100178 s]*
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=116229944/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=106732 memory=65160 CPUtime=0.09 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 13305 0 0 0 8 1 0 0 20 0 1 0 166255958 109293568 16290 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 26683 16290 3291 3540 0 14940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106732 KiB
Current children cumulated memory: 65160 KiB

[startup+0.205622 s]*
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=116154148/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=156284 memory=115016 CPUtime=0.2 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 25791 0 0 0 17 3 0 0 20 0 1 0 166255958 160034816 28754 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 39071 28754 3291 3540 0 27328 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 156284 KiB
Current children cumulated memory: 115016 KiB

[startup+0.305482 s]*
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=116081456/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=205204 memory=163796 CPUtime=0.3 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 37975 0 0 0 25 5 0 0 20 0 1 0 166255958 210128896 40949 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 51301 40949 3291 3540 0 39558 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 205204 KiB
Current children cumulated memory: 163796 KiB

[startup+0.700217 s]
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=115947392/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=390836 memory=349416 CPUtime=0.69 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 84415 0 0 0 59 10 0 0 20 0 1 0 166255958 400216064 87354 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 97709 87354 3291 3540 0 85966 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 390836 KiB
Current children cumulated memory: 349416 KiB

[startup+1.5002 s]
/proc/loadavg: 4.94 4.37 4.19 5/256 860478
/proc/meminfo: memFree=115608808/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=765588 memory=724280 CPUtime=1.49 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 173496 0 0 0 127 22 0 0 20 0 1 0 166255958 783962112 181070 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 191397 181070 3291 3540 0 179654 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 765588 KiB
Current children cumulated memory: 724280 KiB

[startup+3.10548 s]
/proc/loadavg: 4.87 4.37 4.19 5/256 860478
/proc/meminfo: memFree=114406636/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=1506496 memory=1464724 CPUtime=3.09 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 349962 0 0 0 262 47 0 0 20 0 1 0 166255958 1542651904 366181 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 376624 366181 3291 3540 0 364881 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1506496 KiB
Current children cumulated memory: 1464724 KiB

[startup+6.30021 s]
/proc/loadavg: 4.87 4.37 4.19 5/256 860478
/proc/meminfo: memFree=111541660/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=2062588 memory=2020636 CPUtime=6.28 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 477706 0 0 0 562 66 0 0 20 0 1 0 166255958 2112090112 505159 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 515647 505159 3291 3540 0 503904 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2062588 KiB
Current children cumulated memory: 2020636 KiB

[startup+12.7002 s]
/proc/loadavg: 4.80 4.36 4.19 5/256 860479
/proc/meminfo: memFree=106131976/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=4993752 memory=4913756 CPUtime=12.66 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1099968 0 0 0 1106 160 0 0 20 0 1 0 166255958 5113602048 1228439 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 1248438 1228439 3674 3540 0 1236695 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4993752 KiB
Current children cumulated memory: 4913756 KiB

[startup+25.5002 s]
/proc/loadavg: 4.70 4.36 4.19 5/256 860481
/proc/meminfo: memFree=102268552/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=6534432 memory=6430936 CPUtime=25.43 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1197396 0 0 0 2312 231 0 0 20 0 1 0 166255958 6691258368 1607734 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 1633608 1607734 3801 3540 0 1621865 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 6534432 KiB
Current children cumulated memory: 6430936 KiB

[startup+51.1057 s]
/proc/loadavg: 4.54 4.35 4.19 5/257 860486
/proc/meminfo: memFree=99991696/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=7879664 memory=7764020 CPUtime=50.95 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1553798 0 0 0 4796 299 0 0 20 0 1 0 166255958 8068775936 1941005 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 1969916 1941005 3849 3540 0 1958173 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7764020 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.31 4.18 5/258 860497
/proc/meminfo: memFree=96636636/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=8572624 memory=8234544 CPUtime=102 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1576437 0 0 0 9887 313 0 0 20 0 1 0 166255958 8778366976 2058636 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2143156 2058636 3865 3540 0 2131413 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8234544 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.27 4.17 5/258 860509
/proc/meminfo: memFree=94740692/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9541456 memory=9208012 CPUtime=161.81 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1731209 0 0 0 15831 350 0 0 20 0 1 0 166255958 9770450944 2302003 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2385364 2302003 3913 3540 0 2373621 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9208012 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/258 860519
/proc/meminfo: memFree=94422836/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9541456 memory=9208012 CPUtime=221.57 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1731555 0 0 0 21806 351 0 0 20 0 1 0 166255958 9770450944 2302003 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2385364 2302003 3913 3540 0 2373621 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9208012 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/258 860530
/proc/meminfo: memFree=94420444/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9543072 memory=9209652 CPUtime=281.34 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1732565 0 0 0 27781 353 0 0 20 0 1 0 166255958 9772105728 2302413 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2385768 2302413 3913 3540 0 2374025 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 9543072 KiB
Current children cumulated memory: 9209652 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/256 860587
/proc/meminfo: memFree=99181216/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9562164 memory=9228628 CPUtime=341.11 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1736909 0 0 0 33756 355 0 0 20 0 1 0 166255958 9791655936 2307157 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2390541 2307157 3913 3540 0 2378798 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 9562164 KiB
Current children cumulated memory: 9228628 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/254 860599
/proc/meminfo: memFree=92555664/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9616340 memory=9281996 CPUtime=400.89 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1749812 0 0 0 39732 357 0 0 20 0 1 0 166255958 9847132160 2320499 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2404085 2320499 3913 3540 0 2392342 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9281996 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 860610
/proc/meminfo: memFree=92393436/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9616340 memory=9282052 CPUtime=460.61 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1749991 0 0 0 45702 359 0 0 20 0 1 0 166255958 9847132160 2320513 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2404085 2320513 3913 3540 0 2392342 0

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

Current children cumulated memory: 9362504 KiB

[startup+3162.3 s]
/proc/loadavg: 4.56 4.25 4.16 5/257 862286
/proc/meminfo: memFree=81876532/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9700432 memory=9364128 CPUtime=3150.07 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1786852 0 0 0 314583 424 0 0 20 0 1 0 166255958 9933242368 2341032 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2425108 2341032 3913 3540 0 2413365 0
Current children cumulated CPU time: 3150.07 s
Current children cumulated vsize: 9700432 KiB
Current children cumulated memory: 9364128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.22 4.15 5/256 862296
/proc/meminfo: memFree=81848812/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9703632 memory=9367360 CPUtime=3209.86 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1788094 0 0 0 320561 425 0 0 20 0 1 0 166255958 9936519168 2341840 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2425908 2341840 3913 3540 0 2414165 0
Current children cumulated CPU time: 3209.86 s
Current children cumulated vsize: 9703632 KiB
Current children cumulated memory: 9367360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/255 862306
/proc/meminfo: memFree=81839272/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9705808 memory=9369560 CPUtime=3269.65 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1789054 0 0 0 326538 427 0 0 20 0 1 0 166255958 9938747392 2342390 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2426452 2342390 3913 3540 0 2414709 0
Current children cumulated CPU time: 3269.65 s
Current children cumulated vsize: 9705808 KiB
Current children cumulated memory: 9369560 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.19 4.15 5/255 862316
/proc/meminfo: memFree=81823612/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9707988 memory=9371776 CPUtime=3329.42 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1790055 0 0 0 332514 428 0 0 20 0 1 0 166255958 9940979712 2342944 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2426997 2342944 3913 3540 0 2415254 0
Current children cumulated CPU time: 3329.42 s
Current children cumulated vsize: 9707988 KiB
Current children cumulated memory: 9371776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/255 862328
/proc/meminfo: memFree=81810012/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9711188 memory=9375008 CPUtime=3389.22 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1791303 0 0 0 338492 430 0 0 20 0 1 0 166255958 9944256512 2343752 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2427797 2343752 3913 3540 0 2416054 0
Current children cumulated CPU time: 3389.22 s
Current children cumulated vsize: 9711188 KiB
Current children cumulated memory: 9375008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.15 4.14 5/254 862339
/proc/meminfo: memFree=81800860/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9713364 memory=9377212 CPUtime=3449.02 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1792792 0 0 0 344470 432 0 0 20 0 1 0 166255958 9946484736 2344303 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2428341 2344303 3913 3540 0 2416598 0
Current children cumulated CPU time: 3449.02 s
Current children cumulated vsize: 9713364 KiB
Current children cumulated memory: 9377212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/254 862349
/proc/meminfo: memFree=81792376/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9716564 memory=9380448 CPUtime=3508.81 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1794231 0 0 0 350448 433 0 0 20 0 1 0 166255958 9949761536 2345112 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2429141 2345112 3913 3540 0 2417398 0
Current children cumulated CPU time: 3508.81 s
Current children cumulated vsize: 9716564 KiB
Current children cumulated memory: 9380448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.18 4.15 5/258 862411
/proc/meminfo: memFree=82216192/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9719764 memory=9383596 CPUtime=3568.61 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1795548 0 0 0 356426 435 0 0 20 0 1 0 166255958 9953038336 2345899 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2429941 2345899 3913 3540 0 2418198 0
Current children cumulated CPU time: 3568.61 s
Current children cumulated vsize: 9719764 KiB
Current children cumulated memory: 9383596 KiB

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

# cumulated CPU time of all completed processes:  user=3588.48 s, system=4.62264 s

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

[startup+3584 s]*
/proc/loadavg: 4.21 4.18 4.15 5/258 862411
/proc/meminfo: memFree=81655424/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9719764 memory=9383596 CPUtime=3570.31 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1795554 0 0 0 356596 435 0 0 20 0 1 0 166255958 9953038336 2345899 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2429941 2345899 3913 3540 0 2418198 0
Current children cumulated CPU time: 3570.31 s
Current children cumulated vsize: 9719764 KiB
Current children cumulated memory: 9383596 KiB

[startup+3596.8 s]
/proc/loadavg: 4.18 4.17 4.14 5/258 862412
/proc/meminfo: memFree=77276712/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9720340 memory=9384228 CPUtime=3583.06 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1795805 0 0 0 357871 435 0 0 20 0 1 0 166255958 9953628160 2346057 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2430085 2346057 3913 3540 0 2418342 0
Current children cumulated CPU time: 3583.06 s
Current children cumulated vsize: 9720340 KiB
Current children cumulated memory: 9384228 KiB

[startup+3603.2 s]
/proc/loadavg: 4.16 4.17 4.14 5/258 862414
/proc/meminfo: memFree=74142636/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9696208 memory=9361884 CPUtime=3589.45 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1817496 0 0 0 358506 439 0 0 20 0 1 0 166255958 9928916992 2340471 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2424052 2340471 3913 3540 0 2412309 0
Current children cumulated CPU time: 3589.45 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9361884 KiB

[startup+3604.8 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=73836920/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9662476 memory=9329892 CPUtime=3591.04 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1824288 0 0 0 358665 439 0 0 20 0 1 0 166255958 9894375424 2332473 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2415619 2332473 3913 3540 0 2403876 0
Current children cumulated CPU time: 3591.04 s
Current children cumulated vsize: 9662476 KiB
Current children cumulated memory: 9329892 KiB

[startup+3605.6 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862414
/proc/meminfo: memFree=96113176/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=9361996 memory=9029864 CPUtime=3591.84 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1826728 0 0 0 358744 440 0 0 20 0 1 0 166255958 9586683904 2257466 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2340499 2257466 3929 3540 0 2328756 0
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 9361996 KiB
Current children cumulated memory: 9029864 KiB

[startup+3606.4 s]
/proc/loadavg: 4.15 4.16 4.14 5/252 862449
/proc/meminfo: memFree=99119780/131524600 swapFree=131071996/131071996
[pid=860477] ppid=860474 vsize=8571024 memory=8238892 CPUtime=3592.63 cores=5,7
/proc/860477/stat : 860477 (pbscip) R 860474 860477 858224 0 -1 4194304 1830438 0 0 0 358820 443 0 0 20 0 1 0 166255958 8776728576 2059723 134679101440 4194304 18693293 140730170779024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40214528 140730170786820 140730170786919 140730170786919 140730170793934 0
/proc/860477/statm: 2142756 2059723 3929 3540 0 2131013 0
Current children cumulated CPU time: 3592.63 s
Current children cumulated vsize: 8571024 KiB
Current children cumulated memory: 8238892 KiB

[startup+3606.8 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862460
/proc/meminfo: memFree=104779220/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): 3606.86
CPU time (s): 3593.1
CPU user time (s): 3588.48
CPU system time (s): 4.62264
CPU usage (%): 99.6186
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9434276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.48
system time used= 4.62264
maximum resident set size= 9434276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1832399
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= 7
involuntary context switches= 3226


# summary of solver processes directly reported to runsolver:
#   pid: 860477
#   total CPU time (s): 3593.1
#   total CPU user time (s): 3588.48
#   total CPU system time (s): 4.62264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8972 second user time and 17.379 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-16 16:41:23
IDJOB=4432887
IDBENCH=155745
IDSOLVER=3059
FILE ID=nodeC032/4432887-1721140869
RUNJOBID= nodeC032-1721137255-858237
SLURM_JOB_ID= 7505711
Free space on /tmp= 889676 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_5_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-4432887-1721140869/watcher-4432887-1721140869 -o /tmp/evaluation-result-4432887-1721140869/solver-4432887-1721140869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858237 --watchdog 3760  pbscip -f HOME/instance-4432887-1721140869.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 88b39ea3a8b75d01f2291d1517c942c1
RANDOM SEED=1793621192

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		: 3676.515
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		: 3691.222
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		: 3599.738
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		: 3600.318
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.508
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		: 3691.858
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		: 3599.776
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		: 3666.361
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:        116332500 kB
MemAvailable:   118098028 kB
Buffers:          415188 kB
Cached:          2173516 kB
SwapCached:            0 kB
Active:           910672 kB
Inactive:       13632576 kB
Active(anon):       1564 kB
Inactive(anon): 11990728 kB
Active(file):     909108 kB
Inactive(file):  1641848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            389876 kB
Writeback:             0 kB
AnonPages:      11953900 kB
Mapped:           135932 kB
Shmem:             37720 kB
KReclaimable:     108788 kB
Slab:             216184 kB
SReclaimable:     108788 kB
SUnreclaim:       107396 kB
KernelStack:        4128 kB
PageTables:        33156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13364420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1501184 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:41:30