Trace number 4432884

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? 3595.14 3606.87

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
MD5SUM6f676becb9e8baff21bbed56e9641b4e
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 benchmark20172513
Best CPU time to get the best result obtained on this benchmark3600.55
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 165469149
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 179144885896
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 165469149
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 179144885896
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-4432884-1721144477.opb>
6.38/6.46	c original problem has 1000400 variables (1000400 bin, 0 int, 0 impl, 0 cont) and 2000307 constraints
6.38/6.46	c problem read in 6.46
12.56/12.61	c presolving:
17.05/17.12	c (round 1, fast)       15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 0 upgd conss, 0 impls, 101 clqs
21.73/21.85	c    (21.8s) running MILP presolver
25.71/25.84	c    (25.8s) MILP presolver found nothing
33.40/33.51	c (round 2, exhaustive) 15150 del vars, 29703 del conss, 0 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 101 clqs
52.04/52.29	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
67.10/67.33	c (round 4, exhaustive) 15150 del vars, 4900503 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 2910701 clqs
82.35/82.60	c (round 5, exhaustive) 500250 del vars, 5385603 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
85.54/85.83	c (round 6, exhaustive) 500250 del vars, 5390553 del conss, 3890700 add conss, 300 chg bounds, 4950 chg sides, 14850 chg coeffs, 1970601 upgd conss, 0 impls, 1455401 clqs
95.41/95.77	c    (95.7s) probing: 51/500150 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
95.41/95.77	c    (95.7s) probing aborted: 50/50 successive totally useless probings
95.41/95.77	c    (95.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
96.81/97.15	c    (97.1s) no symmetry present (symcode time: 0.52)
97.40/97.75	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
97.40/97.75	c  500250 deleted vars, 5390553 deleted constraints, 3890700 added constraints, 300 tightened bounds, 0 added holes, 4950 changed sides, 14850 changed coefficients
97.40/97.75	c  0 implications, 1455401 cliques
97.40/97.75	c presolved problem has 500150 variables (500150 bin, 0 int, 0 impl, 0 cont) and 500454 constraints
97.40/97.75	c    5250 constraints of type <knapsack>
97.40/97.75	c     101 constraints of type <setppc>
97.40/97.75	c  490050 constraints of type <and>
97.40/97.75	c       3 constraints of type <linear>
97.40/97.75	c    5050 constraints of type <logicor>
97.40/97.75	c transformed objective value is always integral (scale: 2)
97.40/97.75	c Presolving Time: 85.53
97.40/97.75	c - non default parameters ----------------------------------------------------------------------
97.40/97.75	c # SCIP version 10.0.0
97.40/97.75	c 
97.40/97.75	c # maximal time in seconds to run
97.40/97.75	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
97.40/97.75	c limits/time = 3596.99705
97.40/97.75	c 
97.40/97.75	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
97.40/97.75	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
97.40/97.75	c limits/memory = 27900
97.40/97.75	c 
97.40/97.75	c # belongs reading time to solving time?
97.40/97.75	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
97.40/97.75	c timing/reading = TRUE
97.40/97.75	c 
97.40/97.75	c -----------------------------------------------------------------------------------------------
97.40/97.75	c start solving
97.50/97.89	c 
3586.78/3598.55	c 
3586.78/3598.55	c SCIP Status        : solving was interrupted [time limit reached]
3586.78/3598.55	c Solving Time (sec) : 3598.52
3586.78/3598.55	c Solving Nodes      : 1
3586.78/3598.55	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.78/3598.55	c Dual Bound         : -1.50000000000000e+01
3586.78/3598.55	c Gap                : infinite
3586.78/3598.55	s UNKNOWN
3586.78/3598.55	c SCIP Status        : solving was interrupted [time limit reached]
3586.78/3598.55	c Total Time         :    3598.52
3586.78/3598.55	c   solving          :    3598.52
3586.78/3598.55	c   presolving       :      85.53 (included in solving)
3586.78/3598.55	c   reading          :       6.46 (included in solving)
3586.78/3598.55	c   copying          :       0.00 (0 times copied the problem)
3586.78/3598.55	c Original Problem   :
3586.78/3598.55	c   Problem name     : HOME/instance-4432884-1721144477.opb
3586.78/3598.55	c   Variables        : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.78/3598.55	c   Constraints      : 2000307 initial, 2000307 maximal
3586.78/3598.58	c   Objective        : minimize, 29800 non-zeros (abs.min = 1, abs.max = 1.65469e+08)
3586.78/3598.58	c Presolved Problem  :
3586.78/3598.58	c   Problem name     : t_HOME/instance-4432884-1721144477.opb
3586.78/3598.58	c   Variables        : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.78/3598.58	c   Constraints      : 500454 initial, 500456 maximal
3586.78/3598.59	c   Objective        : minimize, 14850 non-zeros (abs.min = 25, abs.max = 1.65469e+08)
3586.78/3598.59	c   Nonzeros         : 2035450 constraint, 2910900 clique table
3586.78/3598.59	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.78/3598.59	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   gateextraction   :      14.03       0.00      4          0          0          0          0          0    3890700     980100          0          0
3586.78/3598.59	c   implics          :       0.09       0.00      6          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   milp             :       8.40       0.00      1          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   trivial          :       0.20       0.00      7          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   dualfix          :       0.18       0.00      7          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   probing          :       7.17       0.02      1          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   pseudoobj        :       0.01       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   symmetry         :       1.39       0.00      1          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   vbounds          :       1.49       0.00      2          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   knapsack         :      12.71       0.02     13          0          0          0          0          0     980100    2910600          0          0
3586.78/3598.59	c   setppc           :       4.71       0.00     13          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   and              :      16.29       0.00      6          0     485100          0          0          0     490050          0          0          0
3586.78/3598.59	c   linear           :       9.78       1.36      9        300      14850          0        300          0      29703          0       4950      14850
3586.78/3598.59	c   logicor          :       2.04       0.01     11          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   components       :       0.47       0.00      1          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.78/3598.59	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.78/3598.59	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3586.78/3598.59	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3586.78/3598.59	c   knapsack         :       5250       5250          0     389959          0          0          0          3          0          3          0          0          0          0          0
3586.78/3598.59	c   setppc           :        101        101          0     384333          0          0          0          1         92          0          0          0          0          0          0
3586.78/3598.59	c   and              :     490050     490050          0     389956          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   linear           :          3          3          0     389956          0          0          0          3          0          1          0          0          0          0          0
3586.78/3598.59	c   logicor          :       5050+      5052          0       6650          0          0          0          0         94          0          0          0          0          0          0
3586.78/3598.59	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.78/3598.59	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   knapsack         :       0.28       0.02       0.02       0.25       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   setppc           :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   and              :    3336.87       0.00       1.77    3335.10       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   linear           :       1.48       1.36       0.00       0.12       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   logicor          :       0.08       0.01       0.00       0.06       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   fixedvar         :       0.04       0.04       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   components       :       0.07       0.00       0.00       0.07       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.78/3598.59	c   dualfix          :          1          0          0          0
3586.78/3598.59	c   genvbounds       :          0          0          0          0
3586.78/3598.59	c   nlobbt           :          0          0          0          0
3586.78/3598.59	c   obbt             :          0          0          0          0
3586.78/3598.59	c   probing          :          0          0          0          0
3586.78/3598.59	c   pseudoobj        :          1          0          0          0
3586.78/3598.59	c   redcost          :          0          0          0          0
3586.78/3598.59	c   rootredcost      :          0          0          0          0
3586.78/3598.59	c   symmetry         :          0          0          0          0
3586.78/3598.59	c   vbounds          :      10862          0          0          0
3586.78/3598.59	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.78/3598.59	c   dualfix          :       0.20       0.00       0.18       0.01       0.00       0.00
3586.78/3598.59	c   genvbounds       :       0.10       0.00       0.00       0.10       0.00       0.00
3586.78/3598.59	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.78/3598.59	c   probing          :       7.18       0.02       7.17       0.00       0.00       0.00
3586.78/3598.59	c   pseudoobj        :      33.23       0.00       0.01      33.22       0.00       0.00
3586.78/3598.59	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3586.78/3598.59	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00       0.00
3586.78/3598.59	c   symmetry         :       1.52       0.00       1.39       0.14       0.00       0.00
3586.78/3598.59	c   vbounds          :       1.77       0.00       1.49       0.28       0.00       0.00
3586.78/3598.59	c Symmetry           :
3586.78/3598.59	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.78/3598.59	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.78/3598.59	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.78/3598.59	c   shadow tree time :       0.00 s
3586.78/3598.59	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.78/3598.59	c   propagation      :       0.02          2          2          -          2     2713.5          0        0.0          -          -          -
3586.78/3598.59	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.78/3598.59	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.78/3598.59	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.78/3598.59	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.78/3598.59	c   applied globally :       0.00          -          -          0          2     2713.5          -          -          0          -          -
3586.78/3598.59	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.78/3598.59	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.78/3598.59	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3586.78/3598.59	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.78/3598.59	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.78/3598.59	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.78/3598.59	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.78/3598.59	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.78/3598.59	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.78/3598.59	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.78/3598.59	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.78/3598.59	c   problem variables:       0.00          -          0          0
3586.78/3598.59	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.78/3598.59	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.78/3598.59	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.78/3598.59	c   LP solutions     :       0.00          -          -          0          0
3586.78/3598.59	c   relax solutions  :       0.00          -          -          0          0
3586.78/3598.59	c   pseudo solutions :       0.00          -          -          0          0
3586.78/3598.59	c   strong branching :       0.00          -          -          0          0
3586.78/3598.59	c   actconsdiving    :       0.00       0.00          0          0          0
3586.78/3598.59	c   adaptivediving   :       0.00       0.00          0          0          0
3586.78/3598.59	c   alns             :       0.00       0.00          0          0          0
3586.78/3598.59	c   bound            :       0.00       0.00          0          0          0
3586.78/3598.59	c   clique           :     177.51       0.00          1          0          0
3586.78/3598.59	c   coefdiving       :       0.00       0.00          0          0          0
3586.78/3598.59	c   completesol      :       0.00       0.00          0          0          0
3586.78/3598.59	c   conflictdiving   :       0.00       0.00          0          0          0
3586.78/3598.59	c   crossover        :       0.00       0.00          0          0          0
3586.78/3598.59	c   dins             :       0.00       0.00          0          0          0
3586.78/3598.59	c   distributiondivin:       0.00       0.00          0          0          0
3586.78/3598.59	c   dps              :       0.00       0.00          0          0          0
3586.78/3598.59	c   dualval          :       0.00       0.00          0          0          0
3586.78/3598.59	c   farkasdiving     :       0.00       0.00          0          0          0
3586.78/3598.59	c   feasjump         :       0.00       0.00          0          0          0
3586.78/3598.59	c   feaspump         :       0.00       0.00          0          0          0
3586.78/3598.59	c   fixandinfer      :       0.00       0.00          0          0          0
3586.78/3598.59	c   fracdiving       :       0.00       0.00          0          0          0
3586.78/3598.59	c   gins             :       0.00       0.00          0          0          0
3586.78/3598.59	c   guideddiving     :       0.00       0.00          0          0          0
3586.78/3598.59	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.78/3598.59	c   indicator        :       0.00       0.00          0          0          0
3586.78/3598.59	c   indicatordiving  :       0.00       0.00          0          0          0
3586.78/3598.59	c   indoneopt        :       0.00       0.00          0          0          0
3586.78/3598.59	c   indrounding      :       0.00       0.00          0          0          0
3586.78/3598.59	c   indtwoopt        :       0.00       0.00          0          0          0
3586.78/3598.59	c   intdiving        :       0.00       0.00          0          0          0
3586.78/3598.59	c   intshifting      :       0.00       0.00          0          0          0
3586.78/3598.59	c   linesearchdiving :       0.00       0.00          0          0          0
3586.78/3598.59	c   localbranching   :       0.00       0.00          0          0          0
3586.78/3598.59	c   locks            :      63.33       0.00          1          0          0
3586.78/3598.59	c   lpface           :       0.00       0.00          0          0          0
3586.78/3598.59	c   mpec             :       0.00       0.00          0          0          0
3586.78/3598.59	c   multistart       :       0.00       0.00          0          0          0
3586.78/3598.59	c   mutation         :       0.00       0.00          0          0          0
3586.78/3598.59	c   nlpdiving        :       0.00       0.00          0          0          0
3586.78/3598.59	c   objpscostdiving  :       0.00       0.00          0          0          0
3586.78/3598.59	c   octane           :       0.00       0.00          0          0          0
3586.78/3598.59	c   ofins            :       0.00       0.00          0          0          0
3586.78/3598.59	c   oneopt           :       0.00       0.00          0          0          0
3586.78/3598.59	c   padm             :       0.00       0.00          0          0          0
3586.78/3598.59	c   proximity        :       0.00       0.00          0          0          0
3586.78/3598.59	c   pscostdiving     :       0.00       0.00          0          0          0
3586.78/3598.59	c   randrounding     :       0.00       0.00          0          0          0
3586.78/3598.59	c   rens             :       0.00       0.00          0          0          0
3586.78/3598.59	c   reoptsols        :       0.00       0.00          0          0          0
3586.78/3598.59	c   repair           :       0.00       0.00          0          0          0
3586.78/3598.59	c   rins             :       0.00       0.00          0          0          0
3586.78/3598.59	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.78/3598.59	c   rounding         :       0.00       0.00          0          0          0
3586.78/3598.59	c   scheduler        :       0.00       0.00          0          0          0
3586.78/3598.59	c   shiftandpropagate:       0.00       0.00          0          0          0
3586.78/3598.59	c   shifting         :       0.00       0.00          0          0          0
3586.78/3598.59	c   simplerounding   :       0.00       0.00          0          0          0
3586.78/3598.59	c   smallcard        :       0.00       0.00          0          0          0
3586.78/3598.59	c   subnlp           :       0.00       0.00          0          0          0
3586.78/3598.59	c   trivial          :       0.55       0.00          2          0          0
3586.78/3598.59	c   trivialnegation  :       0.00       0.00          0          0          0
3586.78/3598.59	c   trustregion      :       0.00       0.00          0          0          0
3586.78/3598.59	c   trysol           :       0.00       0.00          0          0          0
3586.78/3598.59	c   twoopt           :       0.00       0.00          0          0          0
3586.78/3598.59	c   undercover       :       0.00       0.00          0          0          0
3586.78/3598.59	c   vbounds          :    3226.32       0.00          1          0          0
3586.78/3598.59	c   veclendiving     :       0.00       0.00          0          0          0
3586.78/3598.59	c   zeroobj          :       0.00       0.00          0          0          0
3586.78/3598.59	c   zirounding       :       0.00       0.00          0          0          0
3586.78/3598.59	c   other solutions  :          -          -          -          0          -
3586.78/3598.59	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.78/3598.59	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.78/3598.59	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.78/3598.59	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.78/3598.59	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3586.78/3598.59	c   dual LP          :       0.00          0          0       0.00          -       0.00          0
3586.78/3598.59	c   lex dual LP      :       0.00          0          0       0.00          -
3586.78/3598.59	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.78/3598.59	c   resolve instable :       0.00          0          0       0.00          -
3586.78/3598.59	c   diving/probing LP:       0.00          0          0       0.00          -
3586.78/3598.59	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3586.78/3598.59	c     (at root node) :          -          0          0       0.00          -
3586.78/3598.59	c   conflict analysis:       0.00          0          0       0.00          -
3586.78/3598.59	c B&B Tree           :
3586.78/3598.59	c   number of runs   :          1
3586.78/3598.59	c   nodes            :          1 (0 internal, 1 leaves)
3586.78/3598.59	c   feasible leaves  :          0
3586.78/3598.59	c   infeas. leaves   :          0
3586.78/3598.59	c   objective leaves :          0
3586.78/3598.59	c   nodes (total)    :          1 (0 internal, 1 leaves)
3586.78/3598.59	c   nodes left       :          1
3586.78/3598.59	c   max depth        :          0
3586.78/3598.59	c   max depth (total):          0
3586.78/3598.59	c   backtracks       :          0 (0.0%)
3586.78/3598.59	c   early backtracks :          0 (0.0%)
3586.78/3598.59	c   nodes exc. ref.  :          0 (0.0%)
3586.78/3598.59	c   delayed cutoffs  :          0
3586.78/3598.59	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.78/3598.59	c   avg switch length:       1.00
3586.78/3598.59	c   switching time   :       0.00
3586.78/3598.59	c Root Node          :
3586.78/3598.59	c   First LP value   :          -
3586.78/3598.59	c   First LP Iters   :          0
3586.78/3598.59	c   First LP Time    :       0.00
3586.78/3598.59	c   Final Dual Bound : -1.50000000000000e+01
3586.78/3598.59	c   Final Root Iters :          0
3586.78/3598.59	c   Root LP Estimate :                     -
3586.78/3598.59	c Solution           :
3586.78/3598.59	c   Solutions found  :          0 (0 improvements)
3586.78/3598.59	c   Primal Bound     :          -
3586.78/3598.59	c   Dual Bound       : -1.50000000000000e+01
3586.78/3598.59	c   Gap              :   infinite
3586.78/3598.59	c Integrals          :      Total       Avg%
3586.78/3598.59	c   primal-dual      :  359852.26     100.00
3586.78/3598.59	c   primal-ref       :          -          - (not evaluated)
3586.78/3598.59	c   dual-ref         :          -          - (not evaluated)
3594.96/3606.74	c Time complete: 3595.02.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432884-1721144477/watcher-4432884-1721144477 -o /tmp/evaluation-result-4432884-1721144477/solver-4432884-1721144477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858237 --watchdog 3760 pbscip -f HOME/instance-4432884-1721144477.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=862506, runsolver pid=862503

[startup+0.100828 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106653476/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=108784 memory=66280 CPUtime=0.1 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 13678 0 0 0 8 2 0 0 20 0 1 0 166616754 111394816 16570 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 27196 16570 3242 3540 0 15453 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108784 KiB
Current children cumulated memory: 66280 KiB

[startup+0.205597 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106558920/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=156284 memory=114820 CPUtime=0.19 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 25792 0 0 0 16 3 0 0 20 0 1 0 166616754 160034816 28705 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 39071 28705 3242 3540 0 27328 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 156284 KiB
Current children cumulated memory: 114820 KiB

[startup+0.30556 s]*
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106471224/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=202956 memory=161224 CPUtime=0.3 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 37347 0 0 0 25 5 0 0 20 0 1 0 166616754 207826944 40240 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 50739 40240 3242 3540 0 38996 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 202956 KiB
Current children cumulated memory: 161224 KiB

[startup+0.70023 s]
/proc/loadavg: 4.15 4.16 4.14 5/258 862507
/proc/meminfo: memFree=106287768/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=379096 memory=337604 CPUtime=0.69 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 81450 0 0 0 58 11 0 0 20 0 1 0 166616754 388194304 84401 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 94774 84401 3242 3540 0 83031 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 379096 KiB
Current children cumulated memory: 337604 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.16 4.14 5/258 862507
/proc/meminfo: memFree=105816792/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=728864 memory=687072 CPUtime=1.49 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 167848 0 0 0 126 23 0 0 20 0 1 0 166616754 746356736 171768 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 182216 171768 3242 3540 0 170473 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 728864 KiB
Current children cumulated memory: 687072 KiB

[startup+3.10557 s]
/proc/loadavg: 4.14 4.16 4.14 5/258 862507
/proc/meminfo: memFree=104261200/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=1463756 memory=1421312 CPUtime=3.08 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 339147 0 0 0 262 46 0 0 20 0 1 0 166616754 1498886144 355328 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 365939 355328 3242 3540 0 354196 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1463756 KiB
Current children cumulated memory: 1421312 KiB

[startup+6.30021 s]
/proc/loadavg: 4.13 4.16 4.14 5/258 862507
/proc/meminfo: memFree=101983380/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=2057468 memory=2014632 CPUtime=6.27 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 476256 0 0 0 559 68 0 0 20 0 1 0 166616754 2106847232 503658 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 514367 503658 3242 3540 0 502624 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2057468 KiB
Current children cumulated memory: 2014632 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.17 4.15 5/258 862509
/proc/meminfo: memFree=94109940/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=4993368 memory=4911536 CPUtime=12.66 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1099490 0 0 0 1103 163 0 0 20 0 1 0 166616754 5113208832 1227884 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 1248342 1227884 3578 3540 0 1236599 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4993368 KiB
Current children cumulated memory: 4911536 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.17 4.14 5/258 862510
/proc/meminfo: memFree=93980116/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=6780628 memory=6613532 CPUtime=25.42 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1193842 0 0 0 2311 231 0 0 20 0 1 0 166616754 6943363072 1653383 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 1695157 1653383 3753 3540 0 1683414 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6780628 KiB
Current children cumulated memory: 6613532 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.17 4.14 5/258 862515
/proc/meminfo: memFree=89978744/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=7879664 memory=7760280 CPUtime=50.95 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1551811 0 0 0 4794 301 0 0 20 0 1 0 166616754 8068775936 1940070 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 1969916 1940070 3801 3540 0 1958173 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7879664 KiB
Current children cumulated memory: 7760280 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.15 5/258 862524
/proc/meminfo: memFree=86441868/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=8572624 memory=8228204 CPUtime=102 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1573723 0 0 0 9885 315 0 0 20 0 1 0 166616754 8778366976 2057051 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2143156 2057051 3817 3540 0 2131413 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 8572624 KiB
Current children cumulated memory: 8228204 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.15 5/258 862535
/proc/meminfo: memFree=84219496/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9541456 memory=9199384 CPUtime=161.84 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1732827 0 0 0 15834 350 0 0 20 0 1 0 166616754 9770450944 2299846 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2385364 2299846 3865 3540 0 2373621 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9199384 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/258 862546
/proc/meminfo: memFree=84214932/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9541456 memory=9199724 CPUtime=221.63 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1733285 0 0 0 21811 352 0 0 20 0 1 0 166616754 9770450944 2299931 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2385364 2299931 3865 3540 0 2373621 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 9541456 KiB
Current children cumulated memory: 9199724 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/257 862556
/proc/meminfo: memFree=84196392/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9547744 memory=9206512 CPUtime=281.42 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1735438 0 0 0 27789 353 0 0 20 0 1 0 166616754 9776889856 2301628 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2386936 2301628 3865 3540 0 2375193 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 9547744 KiB
Current children cumulated memory: 9206512 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/255 862613
/proc/meminfo: memFree=93380036/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9574452 memory=9232872 CPUtime=341.23 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1743095 0 0 0 33767 356 0 0 20 0 1 0 166616754 9804238848 2308218 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2393613 2308218 3865 3540 0 2381870 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 9574452 KiB
Current children cumulated memory: 9232872 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/255 862625
/proc/meminfo: memFree=93107556/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9616340 memory=9274584 CPUtime=400.97 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1752565 0 0 0 39737 360 0 0 20 0 1 0 166616754 9847132160 2318646 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2404085 2318646 3865 3540 0 2392342 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 9616340 KiB
Current children cumulated memory: 9274584 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/255 862635
/proc/meminfo: memFree=93105040/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9616340 memory=9275160 CPUtime=460.67 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1752931 0 0 0 45705 362 0 0 20 0 1 0 166616754 9847132160 2318790 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2404085 2318790 3865 3540 0 2392342 0

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

Current children cumulated memory: 9363204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/256 864404
/proc/meminfo: memFree=84195568/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9707988 memory=9365472 CPUtime=3151.76 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1788989 0 0 0 314720 456 0 0 20 0 1 0 166616754 9940979712 2341368 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2426997 2341368 3865 3540 0 2415254 0
Current children cumulated CPU time: 3151.76 s
Current children cumulated vsize: 9707988 KiB
Current children cumulated memory: 9365472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/256 864414
/proc/meminfo: memFree=84185240/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9711188 memory=9368704 CPUtime=3211.6 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1790193 0 0 0 320701 459 0 0 20 0 1 0 166616754 9944256512 2342176 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2427797 2342176 3865 3540 0 2416054 0
Current children cumulated CPU time: 3211.6 s
Current children cumulated vsize: 9711188 KiB
Current children cumulated memory: 9368704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.14 5/254 864424
/proc/meminfo: memFree=84178504/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9714388 memory=9371888 CPUtime=3271.44 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1791349 0 0 0 326682 462 0 0 20 0 1 0 166616754 9947533312 2342972 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2428597 2342972 3865 3540 0 2416854 0
Current children cumulated CPU time: 3271.44 s
Current children cumulated vsize: 9714388 KiB
Current children cumulated memory: 9371888 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.14 4.12 5/254 864435
/proc/meminfo: memFree=84168908/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9716564 memory=9374148 CPUtime=3331.28 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1792235 0 0 0 332664 464 0 0 20 0 1 0 166616754 9949761536 2343537 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2429141 2343537 3865 3540 0 2417398 0
Current children cumulated CPU time: 3331.28 s
Current children cumulated vsize: 9716564 KiB
Current children cumulated memory: 9374148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/254 864446
/proc/meminfo: memFree=84157688/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9720340 memory=9377968 CPUtime=3391.11 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1793570 0 0 0 338645 466 0 0 20 0 1 0 166616754 9953628160 2344492 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2430085 2344492 3865 3540 0 2418342 0
Current children cumulated CPU time: 3391.11 s
Current children cumulated vsize: 9720340 KiB
Current children cumulated memory: 9377968 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/254 864456
/proc/meminfo: memFree=84148524/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9723540 memory=9381104 CPUtime=3450.94 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1794757 0 0 0 344626 468 0 0 20 0 1 0 166616754 9956904960 2345276 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2430885 2345276 3865 3540 0 2419142 0
Current children cumulated CPU time: 3450.94 s
Current children cumulated vsize: 9723540 KiB
Current children cumulated memory: 9381104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/256 864470
/proc/meminfo: memFree=84138232/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9727316 memory=9384952 CPUtime=3510.79 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1796121 0 0 0 350609 470 0 0 20 0 1 0 166616754 9960771584 2346238 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2431829 2346238 3865 3540 0 2420086 0
Current children cumulated CPU time: 3510.79 s
Current children cumulated vsize: 9727316 KiB
Current children cumulated memory: 9384952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/258 864485
/proc/meminfo: memFree=83712596/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9730516 memory=9388228 CPUtime=3570.63 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1797314 0 0 0 356591 472 0 0 20 0 1 0 166616754 9964048384 2347057 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2432629 2347057 3865 3540 0 2420886 0
Current children cumulated CPU time: 3570.63 s
Current children cumulated vsize: 9730516 KiB
Current children cumulated memory: 9388228 KiB

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

# cumulated CPU time of all completed processes:  user=3590.16 s, system=4.98314 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.11 5/258 864485
/proc/meminfo: memFree=83712568/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9730516 memory=9388228 CPUtime=3572.33 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1797323 0 0 0 356761 472 0 0 20 0 1 0 166616754 9964048384 2347057 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2432629 2347057 3865 3540 0 2420886 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 9730516 KiB
Current children cumulated memory: 9388228 KiB

[startup+3596.8 s]
/proc/loadavg: 4.01 4.09 4.10 4/251 864517
/proc/meminfo: memFree=108513496/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9731092 memory=9388852 CPUtime=3585.08 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1797538 0 0 0 358036 472 0 0 20 0 1 0 166616754 9964638208 2347213 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2432773 2347213 3865 3540 0 2421030 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 9731092 KiB
Current children cumulated memory: 9388852 KiB

[startup+3603.2 s]
/proc/loadavg: 3.85 4.05 4.09 4/251 864519
/proc/meminfo: memFree=108651088/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9696208 memory=9354992 CPUtime=3591.47 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1810237 0 0 0 358672 475 0 0 20 0 1 0 166616754 9928916992 2338748 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2424052 2338748 3865 3540 0 2412309 0
Current children cumulated CPU time: 3591.47 s
Current children cumulated vsize: 9696208 KiB
Current children cumulated memory: 9354992 KiB

[startup+3604.8 s]
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=109119256/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9662476 memory=9323092 CPUtime=3593.07 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1811710 0 0 0 358831 476 0 0 20 0 1 0 166616754 9894375424 2330773 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2415619 2330773 3865 3540 0 2403876 0
Current children cumulated CPU time: 3593.07 s
Current children cumulated vsize: 9662476 KiB
Current children cumulated memory: 9323092 KiB

[startup+3605.6 s]
/proc/loadavg: 3.85 4.05 4.09 4/252 864520
/proc/meminfo: memFree=110763012/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=9413188 memory=9074256 CPUtime=3593.87 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1811983 0 0 0 358911 476 0 0 20 0 1 0 166616754 9639104512 2268564 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2353297 2268564 3881 3540 0 2341554 0
Current children cumulated CPU time: 3593.87 s
Current children cumulated vsize: 9413188 KiB
Current children cumulated memory: 9074256 KiB

[startup+3606.4 s]
/proc/loadavg: 3.85 4.05 4.09 3/245 864551
/proc/meminfo: memFree=118802168/131524600 swapFree=131071996/131071996
[pid=862506] ppid=862503 vsize=8596060 memory=8257128 CPUtime=3594.66 cores=5,7
/proc/862506/stat : 862506 (pbscip) R 862503 862506 858224 0 -1 4194304 1813133 0 0 0 358987 479 0 0 20 0 1 0 166616754 8802365440 2064282 134679101440 4194304 18693293 140727425341056 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54288384 140727425344516 140727425344615 140727425344615 140727425351630 0
/proc/862506/statm: 2149015 2064282 3881 3540 0 2137272 0
Current children cumulated CPU time: 3594.66 s
Current children cumulated vsize: 8596060 KiB
Current children cumulated memory: 8257128 KiB

[startup+3606.8 s]*
/proc/loadavg: 3.70 4.02 4.08 3/245 864551
/proc/meminfo: memFree=124461324/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.87
CPU time (s): 3595.14
CPU user time (s): 3590.16
CPU system time (s): 4.98314
CPU usage (%): 99.6749
Max. virtual memory (cumulated for all children) (KiB): 9768728
Max. memory (cumulated for all children) (KiB): 9427384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.16
system time used= 4.98314
maximum resident set size= 9427384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1813845
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= 3286


# summary of solver processes directly reported to runsolver:
#   pid: 862506
#   total CPU time (s): 3595.14
#   total CPU user time (s): 3590.16
#   total CPU system time (s): 4.98314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24864 second user time and 16.8564 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-16 17:41:31
IDJOB=4432884
IDBENCH=155761
IDSOLVER=3059
FILE ID=nodeC032/4432884-1721144477
RUNJOBID= nodeC032-1721137255-858237
SLURM_JOB_ID= 7505711
Free space on /tmp= 889520 MiB

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

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

MD5SUM BENCH= 6f676becb9e8baff21bbed56e9641b4e
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		: 3675.577
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.524
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.851
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.778
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		: 3675.563
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		: 3692.624
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.817
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		: 3661.832
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:        106799256 kB
MemAvailable:   108786248 kB
Buffers:          417552 kB
Cached:          2389636 kB
SwapCached:            0 kB
Active:          1044236 kB
Inactive:       23006840 kB
Active(anon):       1564 kB
Inactive(anon): 21280092 kB
Active(file):    1042672 kB
Inactive(file):  1726748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            477872 kB
Writeback:             4 kB
AnonPages:      21241988 kB
Mapped:           134548 kB
Shmem:             37720 kB
KReclaimable:     114788 kB
Slab:             223060 kB
SReclaimable:     114788 kB
SUnreclaim:       108272 kB
KernelStack:        4144 kB
PageTables:        50740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21877904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64288 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3819520 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= 889948 MiB
End job on nodeC032 at 2024-07-16 18:41:38