Trace number 4432853

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? 3586.26 3599.27

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUMad0aeea3e7e7044b142cd83589fcb352
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 benchmark-375879
Best CPU time to get the best result obtained on this benchmark3558.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 1300178
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 1300178
Number of bits of the biggest sum of numbers21
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-4432853-1721147294.opb>
1.39/1.44	c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
1.39/1.44	c problem read in 1.44
2.88/3.00	c presolving:
4.58/4.67	c    (4.7s) running MILP presolver
82.09/82.41	c    (82.4s) MILP presolver (5 rounds): 1 aggregations, 42946 fixings, 0 bound changes
82.39/82.72	c (round 1, medium)     42947 del vars, 402763 del conss, 358138 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 23553 clqs
84.58/84.92	c (round 2, exhaustive) 42947 del vars, 402763 del conss, 358138 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 358138 upgd conss, 0 impls, 26426 clqs
180.03/180.78	c    (180.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
181.52/182.21	c    (182.2s) symmetry computation finished: 178 generators found (max: 178, log10 of symmetry group size: 0.0) (symcode time: 0.68)
181.92/182.65	c dynamic symmetry handling statistics:
181.92/182.65	c    orbitopal reduction:        5 components: 188x3, 191x3, 183x3, 191x3, 187x3
181.92/182.65	c    orbital reduction:         13 components of sizes 4, 4, 17, 4, 4, 13, 7, 11, 10, 7, 11, 10, 7
181.92/182.65	c    lexicographic reduction:  168 permutations with support sizes 374, 366, 370, 370, 370, 370, 370, 374, 378, 374, 374, 374, 374, 374, 374, 374, 374, 376, 376, 376, 376, 376, 376, 376, 376, 376, 376, 374, 374, 374, 380, 380, 380, 374, 374, 374, 376, 376, 376, 376, 378, 378, 378, 380, 380, 380, 380, 382, 372, 370, 370, 370, 370, 366, 366, 362, 366, 370, 368, 368, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 382, 374, 374, 374
181.92/182.65	c handled 77 out of 77 symmetry components
182.52/183.21	c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
182.52/183.21	c  42972 deleted vars, 402781 deleted constraints, 358138 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 20 changed coefficients
182.52/183.21	c  0 implications, 2160873 cliques
182.52/183.21	c presolved problem has 357924 variables (357924 bin, 0 int, 0 impl, 0 cont) and 358120 constraints
182.52/183.21	c       1 constraints of type <knapsack>
182.52/183.21	c   26408 constraints of type <setppc>
182.52/183.21	c  331711 constraints of type <logicor>
182.52/183.21	c transformed objective value is always integral (scale: 1)
182.52/183.21	c Presolving Time: 180.33
182.52/183.21	c - non default parameters ----------------------------------------------------------------------
182.52/183.21	c # SCIP version 10.0.0
182.52/183.21	c 
182.52/183.21	c # maximal time in seconds to run
182.52/183.21	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
182.52/183.21	c limits/time = 3596.997052
182.52/183.21	c 
182.52/183.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
182.52/183.21	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
182.52/183.21	c limits/memory = 27900
182.52/183.21	c 
182.52/183.21	c # belongs reading time to solving time?
182.52/183.21	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
182.52/183.21	c timing/reading = TRUE
182.52/183.21	c 
182.52/183.21	c -----------------------------------------------------------------------------------------------
182.52/183.21	c start solving
182.62/183.30	c 
726.79/729.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
726.79/729.90	c   730s|     1 |     0 | 67354 |     - |  3977M |   0 | 357k| 358k| 358k|   0 |  0 | 581 |   0 |-4.748376e+05 |      --      |    Inf | unknown
3584.09/3597.16	c 
3584.09/3597.16	c SCIP Status        : solving was interrupted [time limit reached]
3584.09/3597.16	c Solving Time (sec) : 3597.15
3584.09/3597.16	c Solving Nodes      : 1
3584.09/3597.16	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3584.09/3597.16	c Dual Bound         : -4.74837593692401e+05
3584.09/3597.16	c Gap                : infinite
3584.09/3597.16	s UNKNOWN
3584.09/3597.16	c SCIP Status        : solving was interrupted [time limit reached]
3584.09/3597.16	c Total Time         :    3597.15
3584.09/3597.16	c   solving          :    3597.15
3584.09/3597.16	c   presolving       :     180.33 (included in solving)
3584.09/3597.16	c   reading          :       1.44 (included in solving)
3584.09/3597.16	c   copying          :       0.00 (0 times copied the problem)
3584.09/3597.16	c Original Problem   :
3584.09/3597.16	c   Problem name     : HOME/instance-4432853-1721147294.opb
3584.09/3597.16	c   Variables        : 400896 (400896 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.09/3597.16	c   Constraints      : 402763 initial, 402763 maximal
3584.09/3597.17	c   Objective        : minimize, 1605 non-zeros (abs.min = 1, abs.max = 6765)
3584.09/3597.17	c Presolved Problem  :
3584.09/3597.17	c   Problem name     : t_HOME/instance-4432853-1721147294.opb
3584.09/3597.17	c   Variables        : 357924 (357924 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.09/3597.17	c   Constraints      : 358120 initial, 358635 maximal
3584.09/3597.17	c   Objective        : minimize, 1605 non-zeros (abs.min = 1, abs.max = 6765)
3584.09/3597.17	c   Nonzeros         : 1735752 constraint, 4676098 clique table
3584.09/3597.17	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.09/3597.17	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   domcol           :       1.88       0.00      1          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   dualsparsify     :       1.11       0.00      1          0          0          0          0          0         18          0          0         20
3584.09/3597.17	c   gateextraction   :       0.44       0.00      1          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   implics          :       0.02       0.00      3          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   milp             :      78.76       0.00      1      42946          1          0          0          0     402763     358138          0          0
3584.09/3597.17	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   sparsify         :       1.97       0.00      1          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   trivial          :       0.04       0.00      3          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   dualfix          :       0.04       0.00      3          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   probing          :      87.20       0.01      1          8         17          0          0          0          0          0          0          0
3584.09/3597.17	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   symmetry         :       1.87       0.00      1          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   vbounds          :       0.49       0.00      2          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   knapsack         :       0.15       0.01      3          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   setppc           :       0.31       0.01      3          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   linear           :       2.30       0.29      3          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   logicor          :       2.77       0.13      3          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   components       :       0.30       0.00      1          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   root node        :          -          -      -          3          -          -          3          -          -          -          -          -
3584.09/3597.17	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.09/3597.17	c   benderslp        :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
3584.09/3597.17	c   integral         :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
3584.09/3597.17	c   knapsack         :          1+         2          0     329481          0          0          0          3       5573          2          0          0          0          0          0
3584.09/3597.17	c   setppc           :      26408+     26504          0     329493          0          0          0          1     302784        392          0          0          0          0          0
3584.09/3597.17	c   logicor          :     331711+    332142          0      21698          0          0          0          0     198481         98          0          0          0          0          0
3584.09/3597.17	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.09/3597.17	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c   knapsack         :       3.30       0.01       0.02       1.69       0.00       0.00       0.00       0.01       1.57       0.00
3584.09/3597.17	c   setppc           :      15.59       0.01       0.10      15.11       0.00       0.00       0.00       0.00       0.36       0.00
3584.09/3597.17	c   logicor          :      28.50       0.13       0.25      27.97       0.00       0.00       0.00       0.00       0.15       0.00
3584.09/3597.17	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.09/3597.17	c   dualfix          :          1          0          0          0
3584.09/3597.17	c   genvbounds       :          0          0          0          0
3584.09/3597.17	c   nlobbt           :          0          0          0          0
3584.09/3597.17	c   obbt             :          0          0          0          0
3584.09/3597.17	c   probing          :          0          0          0          0
3584.09/3597.17	c   pseudoobj        :          2          0          0          0
3584.09/3597.17	c   redcost          :          1          0          0          0
3584.09/3597.17	c   rootredcost      :          0          0          0          0
3584.09/3597.17	c   symmetry         :          0          0          0          0
3584.09/3597.17	c   vbounds          :       5174          0          0          0
3584.09/3597.17	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.09/3597.17	c   dualfix          :       0.05       0.00       0.04       0.01       0.00       0.00
3584.09/3597.17	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3584.09/3597.17	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.09/3597.17	c   probing          :      87.21       0.01      87.20       0.00       0.00       0.00
3584.09/3597.17	c   pseudoobj        :      17.46       0.00       0.00      17.46       0.00       0.00
3584.09/3597.17	c   redcost          :       0.03       0.00       0.00       0.03       0.00       0.00
3584.09/3597.17	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3584.09/3597.17	c   symmetry         :       1.90       0.00       1.87       0.03       0.00       0.00
3584.09/3597.17	c   vbounds          :       0.63       0.00       0.49       0.14       0.00       0.00
3584.09/3597.17	c Symmetry           :
3584.09/3597.17	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.09/3597.17	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.09/3597.17	c   lexicographic red:          0 reductions applied,          0 cutoffs
3584.09/3597.17	c   shadow tree time :       0.00 s
3584.09/3597.17	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.09/3597.17	c   propagation      :       3.12        481        479          -      33047      401.8          0        0.0          -          -          -
3584.09/3597.17	c   infeasible LP    :       0.06          1          1          -          7       43.0          0        0.0          1     5761.0          0
3584.09/3597.17	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.09/3597.17	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.09/3597.17	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.09/3597.17	c   applied globally :       0.08          -          -          0        583      114.7          -          -          1          -          -
3584.09/3597.17	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3584.09/3597.17	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.09/3597.17	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3584.09/3597.17	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.09/3597.17	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.09/3597.17	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.09/3597.17	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.09/3597.17	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.09/3597.17	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.09/3597.17	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.09/3597.17	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.09/3597.17	c   problem variables:       0.00          -          0          0
3584.09/3597.17	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3584.09/3597.17	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3584.09/3597.17	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3584.09/3597.17	c   LP solutions     :       0.00          -          -          0          0
3584.09/3597.17	c   relax solutions  :       0.00          -          -          0          0
3584.09/3597.17	c   pseudo solutions :       0.00          -          -          0          0
3584.09/3597.17	c   strong branching :       0.00          -          -          0          0
3584.09/3597.17	c   actconsdiving    :       0.00       0.00          0          0          0
3584.09/3597.17	c   adaptivediving   :       0.00       0.00          0          0          0
3584.09/3597.17	c   alns             :       0.00       0.00          0          0          0
3584.09/3597.17	c   bound            :       0.00       0.00          0          0          0
3584.09/3597.17	c   clique           :       2.35       0.00          1          0          0
3584.09/3597.17	c   coefdiving       :       0.00       0.00          0          0          0
3584.09/3597.17	c   completesol      :       0.00       0.00          0          0          0
3584.09/3597.17	c   conflictdiving   :       0.00       0.00          0          0          0
3584.09/3597.17	c   crossover        :       0.00       0.00          0          0          0
3584.09/3597.17	c   dins             :       0.00       0.00          0          0          0
3584.09/3597.17	c   distributiondivin:       0.00       0.00          0          0          0
3584.09/3597.17	c   dps              :       0.00       0.00          0          0          0
3584.09/3597.17	c   dualval          :       0.00       0.00          0          0          0
3584.09/3597.17	c   farkasdiving     :       0.00       0.00          0          0          0
3584.09/3597.17	c   feasjump         :       1.88       0.00          1          0          0
3584.09/3597.17	c   feaspump         :    2866.63       0.00          1          0          0
3584.09/3597.17	c   fixandinfer      :       0.00       0.00          0          0          0
3584.09/3597.17	c   fracdiving       :       0.00       0.00          0          0          0
3584.09/3597.17	c   gins             :       0.00       0.00          0          0          0
3584.09/3597.17	c   guideddiving     :       0.00       0.00          0          0          0
3584.09/3597.17	c   indcoefdiving    :       0.00       0.00          0          0          0
3584.09/3597.17	c   indicator        :       0.00       0.00          0          0          0
3584.09/3597.17	c   indicatordiving  :       0.00       0.00          0          0          0
3584.09/3597.17	c   indoneopt        :       0.00       0.00          0          0          0
3584.09/3597.17	c   indrounding      :       0.00       0.00          0          0          0
3584.09/3597.17	c   indtwoopt        :       0.00       0.00          0          0          0
3584.09/3597.17	c   intdiving        :       0.00       0.00          0          0          0
3584.09/3597.17	c   intshifting      :       0.00       0.00          0          0          0
3584.09/3597.17	c   linesearchdiving :       0.00       0.00          0          0          0
3584.09/3597.17	c   localbranching   :       0.00       0.00          0          0          0
3584.09/3597.17	c   locks            :       7.12       0.00          1          0          0
3584.09/3597.17	c   lpface           :       0.00       0.00          0          0          0
3584.09/3597.17	c   mpec             :       0.00       0.00          0          0          0
3584.09/3597.17	c   multistart       :       0.00       0.00          0          0          0
3584.09/3597.17	c   mutation         :       0.00       0.00          0          0          0
3584.09/3597.17	c   nlpdiving        :       0.00       0.00          0          0          0
3584.09/3597.17	c   objpscostdiving  :       0.00       0.00          0          0          0
3584.09/3597.17	c   octane           :       0.00       0.00          0          0          0
3584.09/3597.17	c   ofins            :       0.00       0.00          0          0          0
3584.09/3597.17	c   oneopt           :       0.00       0.00          0          0          0
3584.09/3597.17	c   padm             :       0.00       0.00          0          0          0
3584.09/3597.17	c   proximity        :       0.00       0.00          0          0          0
3584.09/3597.17	c   pscostdiving     :       0.00       0.00          0          0          0
3584.09/3597.17	c   randrounding     :       0.45       0.00          1          0          0
3584.09/3597.17	c   rens             :       0.00       0.00          0          0          0
3584.09/3597.17	c   reoptsols        :       0.00       0.00          0          0          0
3584.09/3597.17	c   repair           :       0.00       0.00          0          0          0
3584.09/3597.17	c   rins             :       0.00       0.00          0          0          0
3584.09/3597.17	c   rootsoldiving    :       0.00       0.00          0          0          0
3584.09/3597.17	c   rounding         :       0.01       0.00          1          0          0
3584.09/3597.17	c   scheduler        :       0.00       0.00          0          0          0
3584.09/3597.17	c   shiftandpropagate:       0.45       0.00          1          0          0
3584.09/3597.17	c   shifting         :       0.12       0.00          1          0          0
3584.09/3597.17	c   simplerounding   :       0.01       0.00          0          0          0
3584.09/3597.17	c   smallcard        :       0.00       0.00          0          0          0
3584.09/3597.17	c   subnlp           :       0.00       0.00          0          0          0
3584.09/3597.17	c   trivial          :       0.20       0.00          2          0          0
3584.09/3597.17	c   trivialnegation  :       0.00       0.00          0          0          0
3584.09/3597.17	c   trustregion      :       0.00       0.00          0          0          0
3584.09/3597.17	c   trysol           :       0.00       0.00          0          0          0
3584.09/3597.17	c   twoopt           :       0.00       0.00          0          0          0
3584.09/3597.17	c   undercover       :       0.00       0.00          0          0          0
3584.09/3597.17	c   vbounds          :      32.67       0.00          1          0          0
3584.09/3597.17	c   veclendiving     :       0.00       0.00          0          0          0
3584.09/3597.17	c   zeroobj          :       0.00       0.00          0          0          0
3584.09/3597.17	c   zirounding       :       0.00       0.00          0          0          0
3584.09/3597.17	c   other solutions  :          -          -          -          0          -
3584.09/3597.17	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3584.09/3597.17	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.09/3597.17	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3584.09/3597.17	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3584.09/3597.17	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3584.09/3597.17	c   dual LP          :     483.85          1      55185   55185.00     114.05       0.00          0
3584.09/3597.17	c   lex dual LP      :       0.00          0          0       0.00          -
3584.09/3597.17	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3584.09/3597.18	c   resolve instable :       0.00          0          0       0.00          -
3584.09/3597.18	c   diving/probing LP:    2889.71          5     130501   26100.20      45.16
3584.09/3597.18	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3584.09/3597.18	c     (at root node) :          -          0          0       0.00          -
3584.09/3597.18	c   conflict analysis:       0.00          0          0       0.00          -
3584.09/3597.18	c B&B Tree           :
3584.09/3597.18	c   number of runs   :          1
3584.09/3597.18	c   nodes            :          1 (0 internal, 1 leaves)
3584.09/3597.18	c   feasible leaves  :          0
3584.09/3597.18	c   infeas. leaves   :          0
3584.09/3597.18	c   objective leaves :          0
3584.09/3597.18	c   nodes (total)    :          1 (0 internal, 1 leaves)
3584.09/3597.18	c   nodes left       :          1
3584.09/3597.18	c   max depth        :          0
3584.09/3597.18	c   max depth (total):          0
3584.09/3597.18	c   backtracks       :          0 (0.0%)
3584.09/3597.18	c   early backtracks :          0 (0.0%)
3584.09/3597.18	c   nodes exc. ref.  :          0 (0.0%)
3584.09/3597.18	c   delayed cutoffs  :          0
3584.09/3597.18	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3584.09/3597.18	c   avg switch length:       1.00
3584.09/3597.18	c   switching time   :       0.00
3584.09/3597.18	c Root Node          :
3584.09/3597.18	c   First LP value   : -4.74837593692401e+05
3584.09/3597.18	c   First LP Iters   :      55185 (114.04 Iter/sec)
3584.09/3597.18	c   First LP Time    :     483.91
3584.09/3597.18	c   Final Dual Bound : -4.74837593692401e+05
3584.09/3597.18	c   Final Root Iters :     173517
3584.09/3597.18	c   Root LP Estimate :                     -
3584.09/3597.18	c Solution           :
3584.09/3597.18	c   Solutions found  :          0 (0 improvements)
3584.09/3597.18	c   Primal Bound     :          -
3584.09/3597.18	c   Dual Bound       : -4.74837593692401e+05
3584.09/3597.18	c   Gap              :   infinite
3584.09/3597.18	c Integrals          :      Total       Avg%
3584.09/3597.18	c   primal-dual      :  359714.99     100.00
3584.09/3597.18	c   primal-ref       :          -          - (not evaluated)
3584.09/3597.18	c   dual-ref         :          -          - (not evaluated)
3586.19/3599.23	c Time complete: 3586.23.

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: 63931 MiB (56668 MiB free)
  memory of node 1: 64510 MiB (61444 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432853-1721147294/watcher-4432853-1721147294 -o /tmp/evaluation-result-4432853-1721147294/solver-4432853-1721147294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857047 --watchdog 3760 pbscip -f HOME/instance-4432853-1721147294.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=861389, runsolver pid=861386

[startup+0.100105 s]*
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120890612/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=112600 memory=72004 CPUtime=0.09 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 15021 0 0 0 7 2 0 0 20 0 1 0 166889685 115302400 18001 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 28150 18001 3266 3540 0 16407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112600 KiB
Current children cumulated memory: 72004 KiB

[startup+0.205682 s]*
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120851236/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=148668 memory=108468 CPUtime=0.2 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 24153 0 0 0 16 4 0 0 20 0 1 0 166889685 152236032 27117 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 37167 27117 3266 3540 0 25424 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 108468 KiB

[startup+0.305593 s]*
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120804728/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=197884 memory=157600 CPUtime=0.3 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 36414 0 0 0 25 5 0 0 20 0 1 0 166889685 202633216 39400 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 49471 39400 3266 3540 0 37728 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 197884 KiB
Current children cumulated memory: 157600 KiB

[startup+0.700239 s]
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120704124/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=391752 memory=351332 CPUtime=0.69 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 84899 0 0 0 57 12 0 0 20 0 1 0 166889685 401154048 87833 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 97938 87833 3266 3540 0 86195 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 391752 KiB
Current children cumulated memory: 351332 KiB

[startup+1.50023 s]
/proc/loadavg: 4.23 4.15 4.10 5/258 861390
/proc/meminfo: memFree=120453404/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=705316 memory=665108 CPUtime=1.49 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 165633 0 0 0 126 23 0 0 20 0 1 0 166889685 722243584 166277 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 176329 166277 3570 3540 0 164586 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 705316 KiB
Current children cumulated memory: 665108 KiB

[startup+3.10608 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 861390
/proc/meminfo: memFree=119489740/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=1518984 memory=1466524 CPUtime=3.09 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 361827 0 0 0 258 51 0 0 20 0 1 0 166889685 1555439616 366631 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 379746 366631 3618 3540 0 368003 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1518984 KiB
Current children cumulated memory: 1466524 KiB

[startup+6.30023 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 861390
/proc/meminfo: memFree=119009364/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=1998196 memory=1932680 CPUtime=6.27 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 406034 0 0 0 558 69 0 0 20 0 1 0 166889685 2046152704 483170 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 499549 483170 3777 3540 0 487806 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1998196 KiB
Current children cumulated memory: 1932680 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.10 5/258 861392
/proc/meminfo: memFree=118954116/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2036624 memory=1958896 CPUtime=12.65 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 409166 0 0 0 1193 72 0 0 20 0 1 0 166889685 2085502976 489724 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 509156 489724 3777 3540 0 497413 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 1958896 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.15 4.10 5/258 861393
/proc/meminfo: memFree=118620316/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2036624 memory=1958896 CPUtime=25.41 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 409344 0 0 0 2467 74 0 0 20 0 1 0 166889685 2085502976 489724 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 509156 489724 3777 3540 0 497413 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 1958896 KiB

[startup+51.1056 s]
/proc/loadavg: 4.36 4.19 4.11 5/258 861398
/proc/meminfo: memFree=118384564/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2036624 memory=1958896 CPUtime=50.91 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 409535 0 0 0 5015 76 0 0 20 0 1 0 166889685 2085502976 489724 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 509156 489724 3777 3540 0 497413 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2036624 KiB
Current children cumulated memory: 1958896 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/261 861466
/proc/meminfo: memFree=117546036/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2888180 memory=2759316 CPUtime=101.91 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 552936 0 0 0 10082 109 0 0 20 0 1 0 166889685 2957496320 689829 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 722045 689829 3809 3540 0 710302 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2888180 KiB
Current children cumulated memory: 2759316 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/261 861479
/proc/meminfo: memFree=116580312/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=2910260 memory=2780140 CPUtime=161.69 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 554718 0 0 0 16058 111 0 0 20 0 1 0 166889685 2980106240 695035 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 727565 695035 3809 3540 0 715822 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 2910260 KiB
Current children cumulated memory: 2780140 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/260 861535
/proc/meminfo: memFree=113260024/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4496352 memory=4161740 CPUtime=221.45 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 770602 0 0 0 21992 153 0 0 20 0 1 0 166889685 4604264448 1040435 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1124088 1040435 3969 3540 0 1112345 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 4496352 KiB
Current children cumulated memory: 4161740 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/258 861546
/proc/meminfo: memFree=113051776/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4568580 memory=4233364 CPUtime=281.23 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 780535 0 0 0 27965 158 0 0 20 0 1 0 166889685 4678225920 1058341 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1142145 1058341 3985 3540 0 1130402 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 4568580 KiB
Current children cumulated memory: 4233364 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 861558
/proc/meminfo: memFree=112903636/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4590960 memory=4244520 CPUtime=340.97 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 781040 0 0 0 33936 161 0 0 20 0 1 0 166889685 4701143040 1061130 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1147740 1061130 3985 3540 0 1135997 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 4590960 KiB
Current children cumulated memory: 4244520 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 861569
/proc/meminfo: memFree=111641064/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4601092 memory=4257016 CPUtime=400.66 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 781956 0 0 0 39900 166 0 0 20 0 1 0 166889685 4711518208 1064254 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1150273 1064254 3985 3540 0 1138530 0
Current children cumulated CPU time: 400.66 s
Current children cumulated vsize: 4601092 KiB
Current children cumulated memory: 4257016 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 861579
/proc/meminfo: memFree=111466200/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4601632 memory=4258476 CPUtime=460.38 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 782662 0 0 0 45867 171 0 0 20 0 1 0 166889685 4712071168 1064619 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1150408 1064619 3985 3540 0 1138665 0

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

/proc/loadavg: 4.07 4.11 4.11 5/257 862650
/proc/meminfo: memFree=109097004/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4323128 CPUtime=3150.85 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 799493 0 0 0 314721 364 0 0 20 0 1 0 166889685 4779184128 1080782 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1080782 4001 3540 0 1155050 0
Current children cumulated CPU time: 3150.85 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4323128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/257 862660
/proc/meminfo: memFree=109096312/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4323244 CPUtime=3210.65 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 799807 0 0 0 320699 366 0 0 20 0 1 0 166889685 4779184128 1080811 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1080811 4001 3540 0 1155050 0
Current children cumulated CPU time: 3210.65 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4323244 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/257 862670
/proc/meminfo: memFree=109028212/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4323460 CPUtime=3270.46 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 800142 0 0 0 326678 368 0 0 20 0 1 0 166889685 4779184128 1080865 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1080865 4001 3540 0 1155050 0
Current children cumulated CPU time: 3270.46 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4323460 KiB

[startup+3342.3 s]
/proc/loadavg: 3.59 3.96 4.06 4/250 862712
/proc/meminfo: memFree=114795900/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4324332 CPUtime=3330.23 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 800388 0 0 0 332654 369 0 0 20 0 1 0 166889685 4779184128 1081083 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1081083 4001 3540 0 1155050 0
Current children cumulated CPU time: 3330.23 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4324332 KiB

[startup+3402.3 s]
/proc/loadavg: 3.28 3.80 3.99 4/250 863105
/proc/meminfo: memFree=114791764/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4326980 CPUtime=3390.01 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 801359 0 0 0 338630 371 0 0 20 0 1 0 166889685 4779184128 1081745 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1081745 4001 3540 0 1155050 0
Current children cumulated CPU time: 3390.01 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4326980 KiB

[startup+3462.3 s]
/proc/loadavg: 3.15 3.67 3.93 4/249 863116
/proc/meminfo: memFree=114791136/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4327700 CPUtime=3449.8 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 801655 0 0 0 344607 373 0 0 20 0 1 0 166889685 4779184128 1081925 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1081925 4001 3540 0 1155050 0
Current children cumulated CPU time: 3449.8 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4327700 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.56 3.88 4/249 863126
/proc/meminfo: memFree=114788408/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4329528 CPUtime=3509.56 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 801920 0 0 0 350582 374 0 0 20 0 1 0 166889685 4779184128 1082382 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082382 4001 3540 0 1155050 0
Current children cumulated CPU time: 3509.56 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4329528 KiB

[startup+3582.3 s]
/proc/loadavg: 2.86 3.42 3.81 2/235 863367
/proc/meminfo: memFree=119367092/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3569.33 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802154 0 0 0 356558 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3569.33 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB

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

# cumulated CPU time of all completed processes:  user=3582.44 s, system=3.82671 s

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

[startup+3584 s]*
/proc/loadavg: 2.71 3.38 3.79 2/235 863367
/proc/meminfo: memFree=119367092/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3571.03 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802154 0 0 0 356728 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB

[startup+3590.4 s]
/proc/loadavg: 2.58 3.34 3.78 2/235 863368
/proc/meminfo: memFree=119366996/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3577.41 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802166 0 0 0 357366 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3577.41 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB

[startup+3593.6 s]
/proc/loadavg: 2.45 3.30 3.76 2/235 863368
/proc/meminfo: memFree=119366996/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331188 CPUtime=3580.6 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802166 0 0 0 357685 375 0 0 20 0 1 0 166889685 4779184128 1082797 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082797 4001 3540 0 1155050 0
Current children cumulated CPU time: 3580.6 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331188 KiB

[startup+3596.8 s]
/proc/loadavg: 2.45 3.30 3.76 2/235 863368
/proc/meminfo: memFree=119366760/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4667172 memory=4331356 CPUtime=3583.79 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 802208 0 0 0 358004 375 0 0 20 0 1 0 166889685 4779184128 1082839 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166793 1082839 4001 3540 0 1155050 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 4667172 KiB
Current children cumulated memory: 4331356 KiB

[startup+3598.4 s]
/proc/loadavg: 2.41 3.28 3.75 2/235 863370
/proc/meminfo: memFree=119366760/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4664016 memory=4328208 CPUtime=3585.39 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 804024 0 0 0 358163 376 0 0 20 0 1 0 166889685 4775952384 1082052 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1166004 1082052 4001 3540 0 1154261 0
Current children cumulated CPU time: 3585.39 s
Current children cumulated vsize: 4664016 KiB
Current children cumulated memory: 4328208 KiB

[startup+3598.8 s]
/proc/loadavg: 2.41 3.28 3.75 2/235 863370
/proc/meminfo: memFree=119366760/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4660860 memory=4325072 CPUtime=3585.79 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 804065 0 0 0 358203 376 0 0 20 0 1 0 166889685 4772720640 1081268 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1165215 1081268 4001 3540 0 1153472 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 4660860 KiB
Current children cumulated memory: 4325072 KiB

[startup+3599.2 s]
/proc/loadavg: 2.41 3.28 3.75 2/235 863370
/proc/meminfo: memFree=119512780/131524600 swapFree=131071996/131071996
[pid=861389] ppid=861386 vsize=4085640 memory=3764876 CPUtime=3586.19 cores=5,7
/proc/861389/stat : 861389 (pbscip) R 861386 861389 857034 0 -1 4194304 804798 0 0 0 358241 378 0 0 20 0 1 0 166889685 4183695360 941219 134679101440 4194304 18693293 140721153073936 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 26931200 140721153082372 140721153082471 140721153082471 140721153089486 0
/proc/861389/statm: 1021410 941219 4017 3540 0 1009667 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 4085640 KiB
Current children cumulated memory: 3764876 KiB

Child status: 0

Real time (s): 3599.27
CPU time (s): 3586.26
CPU user time (s): 3582.44
CPU system time (s): 3.82671
CPU usage (%): 99.6386
Max. virtual memory (cumulated for all children) (KiB): 4667172
Max. memory (cumulated for all children) (KiB): 4331356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.44
system time used= 3.82671
maximum resident set size= 4331356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 804837
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= 3189


# summary of solver processes directly reported to runsolver:
#   pid: 861389
#   total CPU time (s): 3586.26
#   total CPU user time (s): 3582.44
#   total CPU system time (s): 3.82671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00468 second user time and 16.7346 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-16 18:28:27
IDJOB=4432853
IDBENCH=157408
IDSOLVER=3059
FILE ID=nodeC015/4432853-1721147294
RUNJOBID= nodeC015-1721140065-857047
SLURM_JOB_ID= 7505720
Free space on /tmp= 889968 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.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-4432853-1721147294/watcher-4432853-1721147294 -o /tmp/evaluation-result-4432853-1721147294/solver-4432853-1721147294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857047 --watchdog 3760  pbscip -f HOME/instance-4432853-1721147294.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= ad0aeea3e7e7044b142cd83589fcb352
RANDOM SEED=1650708662

nodeC015.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		: 3672.368
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.61
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		: 3686.327
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	: 7006.25
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.946
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120947704 kB
MemAvailable:   126982112 kB
Buffers:          408164 kB
Cached:          6445784 kB
SwapCached:            0 kB
Active:          1369360 kB
Inactive:        8567208 kB
Active(anon):       1548 kB
Inactive(anon):  3118832 kB
Active(file):    1367812 kB
Inactive(file):  5448376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             94904 kB
Writeback:             0 kB
AnonPages:       3080968 kB
Mapped:           138272 kB
Shmem:             37720 kB
KReclaimable:     115736 kB
Slab:             225872 kB
SReclaimable:     115736 kB
SUnreclaim:       110136 kB
KernelStack:        4144 kB
PageTables:        15656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3668476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63968 kB
HardwareCorrupted:     0 kB
AnonHugePages:    581632 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:      258772 kB
DirectMap2M:    37263360 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 890040 MiB
End job on nodeC015 at 2024-07-16 19:28:26