Trace number 4462008

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? 3587.91 3597.67

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
MD5SUM4616ac8a16a5f48e16aff56bf369874b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark344
Best CPU time to get the best result obtained on this benchmark2.97819
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113616
Total number of constraints113617
Number of constraints which are clauses97461
Number of constraints which are cardinality constraints (but not clauses)1444
Number of constraints which are nor clauses,nor cardinality constraints14712
Minimum length of a constraint1
Maximum length of a constraint1444
Number of terms in the objective function 1444
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1444
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 344
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1788
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4462008-1722204310.opb>
0.69/0.75	c original problem has 113616 variables (113616 bin, 0 int, 0 impl, 0 cont) and 113617 constraints
0.69/0.75	c problem read in 0.75
1.29/1.31	c presolving:
1.68/1.70	c (round 1, fast)       827 del vars, 822 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 112789 clqs
2.09/2.14	c    (2.1s) running MILP presolver
23.21/23.30	c    (23.3s) MILP presolver (6 rounds): 45 aggregations, 165 fixings, 0 bound changes
23.31/23.43	c (round 2, medium)     1207 del vars, 829 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 110691 clqs
23.31/23.47	c (round 3, fast)       1512 del vars, 2943 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 110620 clqs
23.93/24.03	c (round 4, exhaustive) 1515 del vars, 2996 del conss, 0 add conss, 40 chg bounds, 38 chg sides, 0 chg coeffs, 110620 upgd conss, 0 impls, 110620 clqs
24.31/24.41	c (round 5, exhaustive) 1581 del vars, 3070 del conss, 19 add conss, 40 chg bounds, 49 chg sides, 11 chg coeffs, 110620 upgd conss, 0 impls, 110655 clqs
26.92/27.05	c    (27.0s) sparsify finished: 480/607892 (0.1%) nonzeros canceled - in total 480 canceled nonzeros, 480 changed coefficients, 0 added nonzeros
28.20/28.31	c (round 6, exhaustive) 1638 del vars, 3135 del conss, 19 add conss, 40 chg bounds, 49 chg sides, 499 chg coeffs, 110647 upgd conss, 0 impls, 114250 clqs
32.69/32.83	c    (32.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
32.91/33.04	c    (33.0s) no symmetry present (symcode time: 0.06)
33.09/33.22	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
33.09/33.22	c  1691 deleted vars, 3136 deleted constraints, 19 added constraints, 40 tightened bounds, 0 added holes, 49 changed sides, 499 changed coefficients
33.09/33.22	c  0 implications, 388820 cliques
33.09/33.22	c presolved problem has 111952 variables (111952 bin, 0 int, 0 impl, 0 cont) and 110508 constraints
33.09/33.22	c  110499 constraints of type <setppc>
33.09/33.22	c       1 constraints of type <linear>
33.09/33.22	c       8 constraints of type <logicor>
33.09/33.22	c transformed objective value is always integral (scale: 1)
33.09/33.22	c Presolving Time: 31.96
33.09/33.22	c - non default parameters ----------------------------------------------------------------------
33.09/33.22	c # SCIP version 10.0.0
33.09/33.22	c 
33.09/33.22	c # maximal time in seconds to run
33.09/33.22	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
33.09/33.22	c limits/time = 3596.994053
33.09/33.22	c 
33.09/33.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.09/33.22	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
33.09/33.22	c limits/memory = 27900
33.09/33.22	c 
33.09/33.22	c # belongs reading time to solving time?
33.09/33.22	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
33.09/33.22	c timing/reading = TRUE
33.09/33.22	c 
33.09/33.22	c -----------------------------------------------------------------------------------------------
33.09/33.22	c start solving
33.09/33.24	c 
1893.28/1898.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1893.28/1898.67	c  1899s|     1 |     0 |143473 |     - |  1402M |   0 | 111k| 110k| 110k|   0 |  0 |  41 |   0 | 3.440000e+02 |      --      |    Inf | unknown
3587.24/3597.05	c 
3587.24/3597.05	c SCIP Status        : solving was interrupted [time limit reached]
3587.24/3597.05	c Solving Time (sec) : 3597.04
3587.24/3597.05	c Solving Nodes      : 1
3587.24/3597.05	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.24/3597.05	c Dual Bound         : +3.44000000000000e+02
3587.24/3597.05	c Gap                : infinite
3587.24/3597.05	s UNKNOWN
3587.24/3597.05	c SCIP Status        : solving was interrupted [time limit reached]
3587.24/3597.05	c Total Time         :    3597.04
3587.24/3597.05	c   solving          :    3597.04
3587.24/3597.05	c   presolving       :      31.96 (included in solving)
3587.24/3597.05	c   reading          :       0.75 (included in solving)
3587.24/3597.05	c   copying          :       0.00 (0 times copied the problem)
3587.24/3597.05	c Original Problem   :
3587.24/3597.05	c   Problem name     : HOME/instance-4462008-1722204310.opb
3587.24/3597.05	c   Variables        : 113616 (113616 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.24/3597.05	c   Constraints      : 113617 initial, 113617 maximal
3587.24/3597.05	c   Objective        : minimize, 1444 non-zeros (abs.min = 1, abs.max = 1)
3587.24/3597.05	c Presolved Problem  :
3587.24/3597.05	c   Problem name     : t_HOME/instance-4462008-1722204310.opb
3587.24/3597.05	c   Variables        : 111952 (111952 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.24/3597.05	c   Constraints      : 110508 initial, 110542 maximal
3587.24/3597.05	c   Objective        : minimize, 1233 non-zeros (abs.min = 1, abs.max = 1)
3587.24/3597.05	c   Nonzeros         : 607100 constraint, 1162790 clique table
3587.24/3597.05	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.24/3597.05	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   domcol           :       0.31       0.00      2          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   dualsparsify     :       1.19       0.00      1          0          0          0          0          0         49          0          0          0
3587.24/3597.05	c   gateextraction   :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   implics          :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   milp             :      21.56       0.00      1        165         45          0          0          0          0          0          0          0
3587.24/3597.05	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   sparsify         :       4.32       0.00      2          0          0          0          0          0          0          0          0        480
3587.24/3597.05	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   trivial          :       0.03       0.00      7        243          0          0          0          0          0          0          0          0
3587.24/3597.05	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   dualfix          :       0.03       0.00      7          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   probing          :       1.98       0.00      2        101          0          0          0          0          0          0          0          0
3587.24/3597.05	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   symmetry         :       0.21       0.00      1          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   vbounds          :       0.12       0.00      1        144          0          0          0          0          0          0          0          0
3587.24/3597.05	c   setppc           :       0.91       0.03      9          0         75          0          0          0         91         19         11         11
3587.24/3597.05	c   linear           :       0.81       0.13     10         40        851          0         40          0       2996          0         38          0
3587.24/3597.05	c   logicor          :       0.01       0.00      4          0          0          0          0          0          0          0          0          8
3587.24/3597.05	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   components       :       0.14       0.00      1          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   root node        :          -          -      -          4          -          -          4          -          -          -          -          -
3587.24/3597.05	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.24/3597.05	c   benderslp        :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
3587.24/3597.05	c   integral         :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
3587.24/3597.05	c   setppc           :     110499+    110516          0       6928          0          0          0          3        392         38          0          0          0          0          0
3587.24/3597.05	c   linear           :          1          1          0       6890          0          0          0          3          0          0          0          0          0          0          0
3587.24/3597.05	c   logicor          :          8+        25          0         44          0          0          0          0          1          1          0          0          0          0          0
3587.24/3597.05	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.24/3597.05	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   setppc           :       1.37       0.03       0.16       1.18       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   linear           :       0.13       0.13       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.24/3597.05	c   dualfix          :          1          0          0          0
3587.24/3597.05	c   genvbounds       :          0          0          0          0
3587.24/3597.05	c   nlobbt           :          0          0          0          0
3587.24/3597.05	c   obbt             :          0          0          0          0
3587.24/3597.05	c   probing          :          0          0          0          0
3587.24/3597.05	c   pseudoobj        :          2          0          0          0
3587.24/3597.05	c   redcost          :          1          0          0          0
3587.24/3597.05	c   rootredcost      :          0          0          0          0
3587.24/3597.05	c   symmetry         :          0          0          0          0
3587.24/3597.05	c   vbounds          :       4266          0          0          0
3587.24/3597.05	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.24/3597.05	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
3587.24/3597.05	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   probing          :       1.98       0.00       1.98       0.00       0.00       0.00
3587.24/3597.05	c   pseudoobj        :       1.99       0.00       0.00       1.99       0.00       0.00
3587.24/3597.05	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3587.24/3597.05	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3587.24/3597.05	c   symmetry         :       0.21       0.00       0.21       0.00       0.00       0.00
3587.24/3597.05	c   vbounds          :       0.16       0.00       0.12       0.03       0.00       0.00
3587.24/3597.05	c Symmetry           :
3587.24/3597.05	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.24/3597.05	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.24/3597.05	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.24/3597.05	c   shadow tree time :       0.00 s
3587.24/3597.05	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.24/3597.05	c   propagation      :       0.00         28         28          -         42        5.4          5        2.8          -          -          -
3587.24/3597.05	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.24/3597.05	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.24/3597.05	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.24/3597.05	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.24/3597.05	c   applied globally :       0.00          -          -          0         44        4.6          -          -          0          -          -
3587.24/3597.05	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.24/3597.05	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.24/3597.05	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3587.24/3597.05	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.24/3597.05	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.24/3597.05	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.24/3597.05	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.24/3597.05	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.24/3597.05	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.24/3597.05	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.24/3597.05	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.24/3597.05	c   problem variables:       0.00          -          0          0
3587.24/3597.05	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.24/3597.05	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.24/3597.05	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.24/3597.05	c   LP solutions     :       0.00          -          -          0          0
3587.24/3597.05	c   relax solutions  :       0.00          -          -          0          0
3587.24/3597.05	c   pseudo solutions :       0.00          -          -          0          0
3587.24/3597.05	c   strong branching :       0.00          -          -          0          0
3587.24/3597.05	c   actconsdiving    :       0.00       0.00          0          0          0
3587.24/3597.05	c   adaptivediving   :       0.00       0.00          0          0          0
3587.24/3597.05	c   alns             :       0.00       0.00          0          0          0
3587.24/3597.05	c   bound            :       0.00       0.00          0          0          0
3587.24/3597.05	c   clique           :       0.66       0.00          1          0          0
3587.24/3597.05	c   coefdiving       :       0.00       0.00          0          0          0
3587.24/3597.05	c   completesol      :       0.00       0.00          0          0          0
3587.24/3597.05	c   conflictdiving   :       0.00       0.00          0          0          0
3587.24/3597.05	c   crossover        :       0.00       0.00          0          0          0
3587.24/3597.05	c   dins             :       0.00       0.00          0          0          0
3587.24/3597.05	c   distributiondivin:       0.00       0.00          0          0          0
3587.24/3597.05	c   dps              :       0.00       0.00          0          0          0
3587.24/3597.05	c   dualval          :       0.00       0.00          0          0          0
3587.24/3597.05	c   farkasdiving     :       0.00       0.00          0          0          0
3587.24/3597.05	c   feasjump         :       0.24       0.00          1          0          0
3587.24/3597.05	c   feaspump         :    1698.04       0.00          1          0          0
3587.24/3597.05	c   fixandinfer      :       0.00       0.00          0          0          0
3587.24/3597.05	c   fracdiving       :       0.00       0.00          0          0          0
3587.24/3597.05	c   gins             :       0.00       0.00          0          0          0
3587.24/3597.05	c   guideddiving     :       0.00       0.00          0          0          0
3587.24/3597.05	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.24/3597.05	c   indicator        :       0.00       0.00          0          0          0
3587.24/3597.05	c   indicatordiving  :       0.00       0.00          0          0          0
3587.24/3597.05	c   indoneopt        :       0.00       0.00          0          0          0
3587.24/3597.05	c   indrounding      :       0.00       0.00          0          0          0
3587.24/3597.05	c   indtwoopt        :       0.00       0.00          0          0          0
3587.24/3597.05	c   intdiving        :       0.00       0.00          0          0          0
3587.24/3597.05	c   intshifting      :       0.00       0.00          0          0          0
3587.24/3597.05	c   linesearchdiving :       0.00       0.00          0          0          0
3587.24/3597.05	c   localbranching   :       0.00       0.00          0          0          0
3587.24/3597.05	c   locks            :       0.70       0.00          1          0          0
3587.24/3597.05	c   lpface           :       0.00       0.00          0          0          0
3587.24/3597.05	c   mpec             :       0.00       0.00          0          0          0
3587.24/3597.05	c   multistart       :       0.00       0.00          0          0          0
3587.24/3597.05	c   mutation         :       0.00       0.00          0          0          0
3587.24/3597.05	c   nlpdiving        :       0.00       0.00          0          0          0
3587.24/3597.05	c   objpscostdiving  :       0.00       0.00          0          0          0
3587.24/3597.05	c   octane           :       0.00       0.00          0          0          0
3587.24/3597.05	c   ofins            :       0.00       0.00          0          0          0
3587.24/3597.05	c   oneopt           :       0.00       0.00          0          0          0
3587.24/3597.05	c   padm             :       0.00       0.00          0          0          0
3587.24/3597.05	c   proximity        :       0.00       0.00          0          0          0
3587.24/3597.05	c   pscostdiving     :       0.00       0.00          0          0          0
3587.24/3597.05	c   randrounding     :       0.21       0.00          1          0          0
3587.24/3597.05	c   rens             :       0.00       0.00          0          0          0
3587.24/3597.05	c   reoptsols        :       0.00       0.00          0          0          0
3587.24/3597.05	c   repair           :       0.00       0.00          0          0          0
3587.24/3597.05	c   rins             :       0.00       0.00          0          0          0
3587.24/3597.05	c   rootsoldiving    :       0.00       0.00          0          0          0
3587.24/3597.05	c   rounding         :       0.02       0.00          1          0          0
3587.24/3597.05	c   scheduler        :       0.00       0.00          0          0          0
3587.24/3597.05	c   shiftandpropagate:       0.44       0.00          1          0          0
3587.24/3597.05	c   shifting         :       0.09       0.00          1          0          0
3587.24/3597.05	c   simplerounding   :       0.00       0.00          0          0          0
3587.24/3597.05	c   smallcard        :       0.00       0.00          0          0          0
3587.24/3597.05	c   subnlp           :       0.00       0.00          0          0          0
3587.24/3597.05	c   trivial          :       0.08       0.00          2          0          0
3587.24/3597.05	c   trivialnegation  :       0.00       0.00          0          0          0
3587.24/3597.05	c   trustregion      :       0.00       0.00          0          0          0
3587.24/3597.05	c   trysol           :       0.00       0.00          0          0          0
3587.24/3597.05	c   twoopt           :       0.00       0.00          0          0          0
3587.24/3597.05	c   undercover       :       0.00       0.00          0          0          0
3587.24/3597.05	c   vbounds          :       0.35       0.00          1          0          0
3587.24/3597.05	c   veclendiving     :       0.00       0.00          0          0          0
3587.24/3597.05	c   zeroobj          :       0.00       0.00          0          0          0
3587.24/3597.05	c   zirounding       :       0.00       0.00          0          0          0
3587.24/3597.05	c   other solutions  :          -          -          -          0          -
3587.24/3597.05	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	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
3587.24/3597.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.24/3597.05	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3587.24/3597.05	c   dual LP          :    1860.77          1     143473  143473.00      77.10       0.00          0
3587.24/3597.05	c   lex dual LP      :       0.00          0          0       0.00          -
3587.24/3597.05	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.24/3597.05	c   resolve instable :       0.00          0          0       0.00          -
3587.24/3597.05	c   diving/probing LP:    1697.97          1      87193   87193.00      51.35
3587.24/3597.05	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3587.24/3597.05	c     (at root node) :          -          0          0       0.00          -
3587.24/3597.05	c   conflict analysis:       0.00          0          0       0.00          -
3587.24/3597.05	c B&B Tree           :
3587.24/3597.05	c   number of runs   :          1
3587.24/3597.05	c   nodes            :          1 (0 internal, 1 leaves)
3587.24/3597.05	c   feasible leaves  :          0
3587.24/3597.05	c   infeas. leaves   :          0
3587.24/3597.05	c   objective leaves :          0
3587.24/3597.05	c   nodes (total)    :          1 (0 internal, 1 leaves)
3587.24/3597.05	c   nodes left       :          1
3587.24/3597.05	c   max depth        :          0
3587.24/3597.05	c   max depth (total):          0
3587.24/3597.05	c   backtracks       :          0 (0.0%)
3587.24/3597.05	c   early backtracks :          0 (0.0%)
3587.24/3597.05	c   nodes exc. ref.  :          0 (0.0%)
3587.24/3597.05	c   delayed cutoffs  :          0
3587.24/3597.05	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3587.24/3597.05	c   avg switch length:       1.00
3587.24/3597.05	c   switching time   :       0.00
3587.24/3597.05	c Root Node          :
3587.24/3597.05	c   First LP value   : +3.44000000000000e+02
3587.24/3597.05	c   First LP Iters   :     143473 (77.10 Iter/sec)
3587.24/3597.05	c   First LP Time    :    1860.79
3587.24/3597.05	c   Final Dual Bound : +3.44000000000000e+02
3587.24/3597.05	c   Final Root Iters :     230666
3587.24/3597.05	c   Root LP Estimate :                     -
3587.24/3597.05	c Solution           :
3587.24/3597.05	c   Solutions found  :          0 (0 improvements)
3587.24/3597.05	c   Primal Bound     :          -
3587.24/3597.05	c   Dual Bound       : +3.44000000000000e+02
3587.24/3597.05	c   Gap              :   infinite
3587.24/3597.05	c Integrals          :      Total       Avg%
3587.24/3597.05	c   primal-dual      :  359703.79     100.00
3587.24/3597.05	c   primal-ref       :          -          - (not evaluated)
3587.24/3597.05	c   dual-ref         :          -          - (not evaluated)
3587.82/3597.66	c Time complete: 3587.9.

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=370416, runsolver pid=370413
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=122083952/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=109508 memory=68832 CPUtime=0.1 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 14272 0 0 0 8 2 0 0 20 0 1 0 56420512 112136192 17208 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 27377 17208 3238 3540 0 15634 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109508 KiB
Current children cumulated memory: 68832 KiB

[startup+0.213056 s]*
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121953036/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=156888 memory=115680 CPUtime=0.22 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 25963 0 0 0 17 5 0 0 20 0 1 0 56420512 160653312 28920 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 39222 28920 3238 3540 0 27479 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 156888 KiB
Current children cumulated memory: 115680 KiB

[startup+0.313035 s]*
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121898700/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=166784 memory=125440 CPUtime=0.31 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 28453 0 0 0 26 5 0 0 20 0 1 0 56420512 170786816 31360 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 41696 31360 3238 3540 0 29953 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 166784 KiB
Current children cumulated memory: 125440 KiB

[startup+0.700333 s]
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121876720/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=217812 memory=176932 CPUtime=0.69 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 41296 0 0 0 61 8 0 0 20 0 1 0 56420512 223039488 44233 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 54453 44233 3238 3540 0 42710 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 217812 KiB
Current children cumulated memory: 176932 KiB

[startup+1.50034 s]
/proc/loadavg: 0.49 0.17 0.12 5/242 370417
/proc/meminfo: memFree=121697716/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=501612 memory=451528 CPUtime=1.48 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 110017 0 0 0 128 20 0 0 20 0 1 0 56420512 513650688 112882 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 125403 112882 3590 3540 0 113660 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 501612 KiB
Current children cumulated memory: 451528 KiB

[startup+3.11272 s]
/proc/loadavg: 0.77 0.24 0.14 5/242 370417
/proc/meminfo: memFree=121634020/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=662304 memory=602984 CPUtime=3.09 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 132848 0 0 0 281 28 0 0 20 0 1 0 56420512 678199296 150746 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 165576 150746 3637 3540 0 153833 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 662304 KiB
Current children cumulated memory: 602984 KiB

[startup+6.30027 s]
/proc/loadavg: 0.77 0.24 0.14 5/242 370417
/proc/meminfo: memFree=121536804/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=662304 memory=602984 CPUtime=6.27 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 132897 0 0 0 598 29 0 0 20 0 1 0 56420512 678199296 150746 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 165576 150746 3637 3540 0 153833 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 662304 KiB
Current children cumulated memory: 602984 KiB

[startup+12.7003 s]
/proc/loadavg: 1.03 0.30 0.16 5/242 370418
/proc/meminfo: memFree=121435080/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=662304 memory=603288 CPUtime=12.65 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 132980 0 0 0 1235 30 0 0 20 0 1 0 56420512 678199296 150822 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 165576 150822 3701 3540 0 153833 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 662304 KiB
Current children cumulated memory: 603288 KiB

[startup+25.5004 s]
/proc/loadavg: 1.69 0.48 0.22 5/242 370420
/proc/meminfo: memFree=121025464/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=970112 memory=848428 CPUtime=25.41 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 157695 0 0 0 2502 39 0 0 20 0 1 0 56420512 993394688 212107 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 242528 212107 3733 3540 0 230785 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 970112 KiB
Current children cumulated memory: 848428 KiB

[startup+51.113 s]
/proc/loadavg: 2.54 0.78 0.33 5/242 370424
/proc/meminfo: memFree=119100200/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1629920 memory=1433648 CPUtime=50.94 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 239708 0 0 0 5037 57 0 0 20 0 1 0 56420512 1669038080 358412 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 407480 358412 3941 3540 0 395737 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1629920 KiB
Current children cumulated memory: 1433648 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.28 0.52 5/242 370434
/proc/meminfo: memFree=118019784/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1646608 memory=1451436 CPUtime=101.98 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 241182 0 0 0 10139 59 0 0 20 0 1 0 56420512 1686126592 362859 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 411652 362859 3941 3540 0 399909 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1646608 KiB
Current children cumulated memory: 1451436 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 1.82 0.76 5/243 370458
/proc/meminfo: memFree=117941484/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1646984 memory=1452104 CPUtime=161.8 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 241438 0 0 0 16119 61 0 0 20 0 1 0 56420512 1686511616 363026 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 411746 363026 3941 3540 0 400003 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1646984 KiB
Current children cumulated memory: 1452104 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.25 0.97 5/244 370693
/proc/meminfo: memFree=117935396/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1647144 memory=1452316 CPUtime=221.61 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 241581 0 0 0 22099 62 0 0 20 0 1 0 56420512 1686675456 363079 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 411786 363079 3941 3540 0 400043 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1647144 KiB
Current children cumulated memory: 1452316 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.59 1.17 5/241 370703
/proc/meminfo: memFree=117917728/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1462652 CPUtime=281.42 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242218 0 0 0 28078 64 0 0 20 0 1 0 56420512 1704034304 365663 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 365663 3941 3540 0 404281 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1462652 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 2.89 1.37 5/242 371004
/proc/meminfo: memFree=117968920/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1462692 CPUtime=341.24 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242329 0 0 0 34058 66 0 0 20 0 1 0 56420512 1704034304 365673 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 365673 3941 3540 0 404281 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1462692 KiB

[startup+402.3 s]
/proc/loadavg: 3.64 2.99 1.50 4/235 371046
/proc/meminfo: memFree=119917076/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1462816 CPUtime=401.07 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242444 0 0 0 40039 68 0 0 20 0 1 0 56420512 1704034304 365704 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 365704 3941 3540 0 404281 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1462816 KiB

[startup+462.3 s]
/proc/loadavg: 3.27 3.00 1.60 4/234 371056
/proc/meminfo: memFree=119912176/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1464960 CPUtime=460.9 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 242556 0 0 0 46021 69 0 0 20 0 1 0 56420512 1704034304 366240 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 366240 3941 3540 0 404281 0

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

/proc/loadavg: 3.06 3.18 3.13 4/234 372541
/proc/meminfo: memFree=119432068/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1476112 CPUtime=3153.63 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247553 0 0 0 315230 133 0 0 20 0 1 0 56420512 1704034304 369028 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 369028 3957 3540 0 404281 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1476112 KiB

[startup+3222.3 s]
/proc/loadavg: 3.13 3.17 3.13 4/236 372722
/proc/meminfo: memFree=119431672/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1476132 CPUtime=3213.47 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247626 0 0 0 321214 133 0 0 20 0 1 0 56420512 1704034304 369033 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 369033 3957 3540 0 404281 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1476132 KiB

[startup+3282.3 s]
/proc/loadavg: 3.14 3.17 3.13 4/236 372732
/proc/meminfo: memFree=119431496/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1476248 CPUtime=3273.31 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247712 0 0 0 327197 134 0 0 20 0 1 0 56420512 1704034304 369062 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 369062 3957 3540 0 404281 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1476248 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.15 3.13 4/233 372744
/proc/meminfo: memFree=119426868/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1480444 CPUtime=3333.15 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 247889 0 0 0 333181 134 0 0 20 0 1 0 56420512 1704034304 370111 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370111 3957 3540 0 404281 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1480444 KiB

[startup+3402.3 s]
/proc/loadavg: 3.10 3.14 3.12 4/233 372769
/proc/meminfo: memFree=119421192/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3393.01 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248062 0 0 0 339166 135 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3462.3 s]
/proc/loadavg: 3.16 3.16 3.13 4/233 372779
/proc/meminfo: memFree=119420704/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3452.86 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248155 0 0 0 345151 135 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3522.3 s]
/proc/loadavg: 3.18 3.16 3.13 4/232 372789
/proc/meminfo: memFree=119418348/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3512.71 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248320 0 0 0 351135 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.14 3.12 4/232 372799
/proc/meminfo: memFree=119420136/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3572.57 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248424 0 0 0 357121 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

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

# cumulated CPU time of all completed processes:  user=3586.51 s, system=1.39684 s

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

[startup+3584 s]*
/proc/loadavg: 3.09 3.14 3.12 4/232 372799
/proc/meminfo: memFree=119420136/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3574.27 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248426 0 0 0 357291 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3574.27 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3590.4 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119420164/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3580.65 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248426 0 0 0 357929 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3580.65 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3593.6 s]
/proc/loadavg: 3.08 3.13 3.12 4/232 372800
/proc/meminfo: memFree=119418636/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3583.84 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248477 0 0 0 358248 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3583.84 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3595.2 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898640/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3585.43 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248491 0 0 0 358407 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3596.8 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898356/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3587.03 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248491 0 0 0 358567 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3587.03 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3597.2 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898364/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1664096 memory=1482296 CPUtime=3587.43 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 248856 0 0 0 358607 136 0 0 20 0 1 0 56420512 1704034304 370574 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 416024 370574 3957 3540 0 404281 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 1664096 KiB
Current children cumulated memory: 1482296 KiB

[startup+3597.6 s]
/proc/loadavg: 3.08 3.13 3.12 3/223 372845
/proc/meminfo: memFree=123898364/131655788 swapFree=131060916/131071996
[pid=370416] ppid=370413 vsize=1464516 memory=1288240 CPUtime=3587.82 cores=1,3
/proc/370416/stat : 370416 (pbscip) R 370413 370416 370296 0 -1 4194304 249152 0 0 0 358645 137 0 0 20 0 1 0 56420512 1499664384 322060 134679101440 4194304 18693293 140722027589984 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 32620544 140722027598855 140722027598954 140722027598954 140722027605966 0
/proc/370416/statm: 366129 322060 3973 3540 0 354386 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 1464516 KiB
Current children cumulated memory: 1288240 KiB

Child status: 0

Real time (s): 3597.67
CPU time (s): 3587.91
CPU user time (s): 3586.51
CPU system time (s): 1.39684
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 1664096
Max. memory (cumulated for all children) (KiB): 1482296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.51
system time used= 1.39684
maximum resident set size= 1482296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250378
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= 26
involuntary context switches= 5031


# summary of solver processes directly reported to runsolver:
#   pid: 370416
#   total CPU time (s): 3587.91
#   total CPU user time (s): 3586.51
#   total CPU system time (s): 1.39684

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2556 second user time and 28.9458 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-29 00:05:11
IDJOB=4462008
IDBENCH=178875
IDSOLVER=3059
FILE ID=nodeC007/4462008-1722204310
RUNJOBID= nodeC007-1722204305-370308
SLURM_JOB_ID= 8248642
Free space on /tmp= 723676 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.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-4462008-1722204310/watcher-4462008-1722204310 -o /tmp/evaluation-result-4462008-1722204310/solver-4462008-1722204310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722204305-370308 --watchdog 3760  pbscip -f HOME/instance-4462008-1722204310.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 4616ac8a16a5f48e16aff56bf369874b
RANDOM SEED=260534927

nodeC007.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	: 0xb00001f
cpu MHz		: 3550.100
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.202
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.375
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.217
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3552.241
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3625.654
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.383
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.333
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122186240 kB
MemAvailable:   126833860 kB
Buffers:          406988 kB
Cached:          4964876 kB
SwapCached:          152 kB
Active:          1955432 kB
Inactive:        6743396 kB
Active(anon):       2260 kB
Inactive(anon):  3378016 kB
Active(file):    1953172 kB
Inactive(file):  3365380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:            128460 kB
Writeback:             4 kB
AnonPages:       3327248 kB
Mapped:           122840 kB
Shmem:             53304 kB
KReclaimable:     338532 kB
Slab:             452120 kB
SReclaimable:     338532 kB
SUnreclaim:       113588 kB
KernelStack:        3888 kB
PageTables:        15996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3715172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    460800 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:      455496 kB
DirectMap2M:    66557952 kB
DirectMap1G:    69206016 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC007 at 2024-07-29 01:05:09