Trace number 4522882

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.69 3600.87

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
MD5SUMcd27816f7e4cb1046eb5da038ad24d41
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 benchmark0
Best CPU time to get the best result obtained on this benchmark35.6559
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables300000
Total number of constraints300001
Number of constraints which are clauses250000
Number of constraints which are cardinality constraints (but not clauses)50000
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint50000
Number of terms in the objective function 50000
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 50000
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 50000
Number of bits of the biggest sum of numbers16
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-4522882-1751585398.opb>
2.57/2.63	c original problem has 300000 variables (300000 bin, 0 int, 0 impl, 0 cont) and 300001 constraints
2.57/2.63	c problem read in 2.63
5.27/5.33	c presolving:
10.64/10.73	c    (10.7s) running MILP presolver
13.03/13.13	c    (13.1s) MILP presolver (2 rounds): 0 aggregations, 127 fixings, 0 bound changes
13.13/13.28	c (round 1, medium)     275 del vars, 71 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 49953 clqs
13.23/13.36	c (round 2, fast)       538 del vars, 440 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 49953 clqs
16.52/16.65	c (round 3, exhaustive) 538 del vars, 522 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 299478 upgd conss, 0 impls, 49953 clqs
19.21/19.35	c (round 4, exhaustive) 538 del vars, 20496 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 299478 upgd conss, 0 impls, 49953 clqs
23.30/23.45	c (round 5, exhaustive) 4677 del vars, 20496 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 7074 chg coeffs, 299478 upgd conss, 0 impls, 49953 clqs
23.80/23.92	c (round 6, fast)       8817 del vars, 20498 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 13839 chg coeffs, 299478 upgd conss, 0 impls, 49952 clqs
25.09/25.25	c (round 7, exhaustive) 8817 del vars, 22892 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 13839 chg coeffs, 299478 upgd conss, 0 impls, 49952 clqs
37.05/37.23	c    (37.2s) sparsify aborted: 6350/4729729 (0.1%) nonzeros canceled - in total 6350 canceled nonzeros, 6350 changed coefficients, 0 added nonzeros
87.09/87.49	c    (87.5s) probing: 1000/295411 (0.3%) - 21 fixings, 0 aggregations, 1891 implications, 0 bound changes
88.29/88.67	c    (88.7s) probing: 1023/295411 (0.3%) - 21 fixings, 0 aggregations, 1917 implications, 0 bound changes
88.29/88.67	c    (88.7s) probing aborted: 1000/1000 successive useless probings
90.57/90.92	c    (90.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
92.17/92.56	c    (92.5s) no symmetry present (symcode time: 0.45)
94.37/94.72	c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
94.37/94.72	c  8859 deleted vars, 22946 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 20296 changed coefficients
94.37/94.72	c  0 implications, 51869 cliques
94.37/94.72	c presolved problem has 295390 variables (295390 bin, 0 int, 0 impl, 0 cont) and 277055 constraints
94.37/94.72	c   49952 constraints of type <setppc>
94.37/94.72	c     390 constraints of type <linear>
94.37/94.72	c  226713 constraints of type <logicor>
94.37/94.72	c transformed objective value is always integral (scale: 1)
94.37/94.72	c Presolving Time: 89.50
94.37/94.72	c - non default parameters ----------------------------------------------------------------------
94.37/94.72	c # SCIP version 10.0.0
94.37/94.72	c 
94.37/94.72	c # maximal time in seconds to run
94.37/94.72	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
94.37/94.72	c limits/time = 3596.998008
94.37/94.72	c 
94.37/94.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
94.37/94.72	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
94.37/94.72	c limits/memory = 27900
94.37/94.72	c 
94.37/94.72	c # belongs reading time to solving time?
94.37/94.72	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
94.37/94.72	c timing/reading = TRUE
94.37/94.72	c 
94.37/94.72	c -----------------------------------------------------------------------------------------------
94.37/94.72	c start solving
94.37/94.78	c 
3584.22/3597.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3584.22/3597.46	c  3597s|     1 |     0 |211585 |     - |  3230M |   0 | 295k| 276k| 276k|   0 |  0 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3584.22/3597.46	c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
3584.22/3597.46	c 
3584.22/3597.46	c SCIP Status        : solving was interrupted [time limit reached]
3584.22/3597.46	c Solving Time (sec) : 3597.45
3584.22/3597.46	c Solving Nodes      : 1
3584.22/3597.46	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3584.22/3597.46	c Dual Bound         : +0.00000000000000e+00
3584.22/3597.46	c Gap                : infinite
3584.22/3597.46	s UNKNOWN
3584.22/3597.46	c SCIP Status        : solving was interrupted [time limit reached]
3584.22/3597.46	c Total Time         :    3597.45
3584.22/3597.46	c   solving          :    3597.45
3584.22/3597.46	c   presolving       :      89.50 (included in solving)
3584.22/3597.46	c   reading          :       2.63 (included in solving)
3584.22/3597.46	c   copying          :       0.00 (0 times copied the problem)
3584.22/3597.46	c Original Problem   :
3584.22/3597.46	c   Problem name     : HOME/instance-4522882-1751585398.opb
3584.22/3597.46	c   Variables        : 300000 (300000 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.22/3597.46	c   Constraints      : 300001 initial, 300001 maximal
3584.22/3597.47	c   Objective        : minimize, 50000 non-zeros (abs.min = 1, abs.max = 1)
3584.22/3597.47	c Presolved Problem  :
3584.22/3597.47	c   Problem name     : t_HOME/instance-4522882-1751585398.opb
3584.22/3597.47	c   Variables        : 295390 (295390 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.22/3597.47	c   Constraints      : 277055 initial, 277055 maximal
3584.22/3597.47	c   Objective        : minimize, 47532 non-zeros (abs.min = 1, abs.max = 1)
3584.22/3597.47	c   Nonzeros         : 4723371 constraint, 547136 clique table
3584.22/3597.47	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.22/3597.47	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   domcol           :       1.08       0.00      1          0          0          0          0          0          0          0          0         78
3584.22/3597.47	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   dualsparsify     :       2.25       0.00      1          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   gateextraction   :       1.96       0.00      4          0          0          0          0          0       2394          0          0          0
3584.22/3597.47	c   implics          :       0.03       0.00      6          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   milp             :       6.61       0.00      1        127          0          0          0          0          0          0          0          0
3584.22/3597.47	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   sparsify         :       6.02       0.00      1          0          0          0          0          0          0          0          0       6350
3584.22/3597.47	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   trivial          :       0.09       0.00      8       4402          0          0          0          0          0          0          0          0
3584.22/3597.47	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   dualfix          :       0.08       0.00      8          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   probing          :      51.43       0.01      1         21          0          0          0          0          0          0          0          0
3584.22/3597.47	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   symmetry         :       1.64       0.00      1          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   vbounds          :       0.15       0.00      1         17         29          0          0          0          0          0          0          0
3584.22/3597.47	c   setppc           :       0.74       0.02     12          0          1          0          0          0          1          0          0          0
3584.22/3597.47	c   linear           :       3.16       1.36     12          5          8          0          5          0        522          0          0          0
3584.22/3597.47	c   logicor          :      10.63       1.00     12       4160          0          0          0          0      20029          0          0      13868
3584.22/3597.47	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   components       :       1.09       0.00      1          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3584.22/3597.47	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.22/3597.47	c   benderslp        :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3584.22/3597.47	c   integral         :          0          0          0          0          0          0          0          6          0          0          0          0          0          0          0
3584.22/3597.47	c   setppc           :      49952+     49983          0     249579          0          0          0          3        385          2          0          0          0          0          0
3584.22/3597.47	c   linear           :        390        390          0     249577          0          0          0          3          0          0          0          0          0          0          0
3584.22/3597.47	c   logicor          :     226713+    226725          0     151282          0          0          0          0         19         43          0          0          0          0          0
3584.22/3597.47	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.22/3597.47	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   setppc           :       6.14       0.02       0.14       5.98       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   linear           :       1.56       1.36       0.01       0.19       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   logicor          :       3.71       1.00       0.83       1.89       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.22/3597.47	c   dualfix          :          1          0          0          0
3584.22/3597.47	c   genvbounds       :          0          0          0          0
3584.22/3597.47	c   nlobbt           :          0          0          0          0
3584.22/3597.47	c   obbt             :          0          0          0          0
3584.22/3597.47	c   probing          :          0          0          0          0
3584.22/3597.47	c   pseudoobj        :          1          0          0          0
3584.22/3597.47	c   redcost          :          0          0          0          0
3584.22/3597.47	c   rootredcost      :          0          0          0          0
3584.22/3597.47	c   symmetry         :          0          0          0          0
3584.22/3597.47	c   vbounds          :      53653          0          0          0
3584.22/3597.47	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.22/3597.47	c   dualfix          :       0.09       0.00       0.08       0.01       0.00       0.00
3584.22/3597.47	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3584.22/3597.47	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.22/3597.47	c   probing          :      51.44       0.01      51.43       0.00       0.00       0.00
3584.22/3597.47	c   pseudoobj        :      11.87       0.00       0.00      11.87       0.00       0.00
3584.22/3597.47	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3584.22/3597.47	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3584.22/3597.47	c   symmetry         :       1.65       0.00       1.64       0.01       0.00       0.00
3584.22/3597.47	c   vbounds          :       0.27       0.00       0.15       0.12       0.00       0.00
3584.22/3597.47	c Symmetry           :
3584.22/3597.47	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.22/3597.47	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.22/3597.47	c   lexicographic red:          0 reductions applied,          0 cutoffs
3584.22/3597.47	c   shadow tree time :       0.00 s
3584.22/3597.47	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.22/3597.47	c   propagation      :       0.00         34         34          -         35        4.4          8        2.1          -          -          -
3584.22/3597.47	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.22/3597.47	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.22/3597.47	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.22/3597.47	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.22/3597.47	c   applied globally :       0.00          -          -          0         43        3.5          -          -          0          -          -
3584.22/3597.47	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3584.22/3597.47	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.22/3597.47	c   cut pool         :       0.00          -          0          0          -          -          0          0          -          -          -          -          -    (maximal pool size:          0)
3584.22/3597.47	c   aggregation      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.22/3597.47	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.22/3597.47	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.22/3597.47	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   clique           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.22/3597.47	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.22/3597.47	c   impliedbounds    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   multilinear      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   rlt              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c   zerohalf         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.22/3597.47	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.22/3597.47	c   hybrid           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.22/3597.47	c   problem variables:       0.00          -          0          0
3584.22/3597.47	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3584.22/3597.47	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3584.22/3597.47	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3584.22/3597.47	c   LP solutions     :       0.00          -          -          0          0
3584.22/3597.47	c   relax solutions  :       0.00          -          -          0          0
3584.22/3597.47	c   pseudo solutions :       0.00          -          -          0          0
3584.22/3597.47	c   strong branching :       0.00          -          -          0          0
3584.22/3597.47	c   actconsdiving    :       0.00       0.00          0          0          0
3584.22/3597.47	c   adaptivediving   :       0.00       0.00          0          0          0
3584.22/3597.47	c   alns             :       0.00       0.00          0          0          0
3584.22/3597.47	c   bound            :       0.00       0.00          0          0          0
3584.22/3597.47	c   clique           :       3.32       0.00          1          0          0
3584.22/3597.47	c   coefdiving       :       0.00       0.00          0          0          0
3584.22/3597.47	c   completesol      :       0.00       0.00          0          0          0
3584.22/3597.47	c   conflictdiving   :       0.00       0.00          0          0          0
3584.22/3597.47	c   crossover        :       0.00       0.00          0          0          0
3584.22/3597.47	c   dins             :       0.00       0.00          0          0          0
3584.22/3597.47	c   distributiondivin:       0.00       0.00          0          0          0
3584.22/3597.47	c   dps              :       0.00       0.00          0          0          0
3584.22/3597.47	c   dualval          :       0.00       0.00          0          0          0
3584.22/3597.47	c   farkasdiving     :       0.00       0.00          0          0          0
3584.22/3597.47	c   feasjump         :       1.33       0.00          1          0          0
3584.22/3597.47	c   feaspump         :       0.00       0.00          0          0          0
3584.22/3597.47	c   fixandinfer      :       0.00       0.00          0          0          0
3584.22/3597.47	c   fracdiving       :       0.00       0.00          0          0          0
3584.22/3597.47	c   gins             :       0.00       0.00          0          0          0
3584.22/3597.47	c   guideddiving     :       0.00       0.00          0          0          0
3584.22/3597.47	c   indcoefdiving    :       0.00       0.00          0          0          0
3584.22/3597.47	c   indicator        :       0.00       0.00          0          0          0
3584.22/3597.47	c   indicatordiving  :       0.00       0.00          0          0          0
3584.22/3597.47	c   indoneopt        :       0.00       0.00          0          0          0
3584.22/3597.47	c   indrounding      :       0.00       0.00          0          0          0
3584.22/3597.47	c   indtwoopt        :       0.00       0.00          0          0          0
3584.22/3597.47	c   intdiving        :       0.00       0.00          0          0          0
3584.22/3597.47	c   intshifting      :       0.00       0.00          0          0          0
3584.22/3597.47	c   linesearchdiving :       0.00       0.00          0          0          0
3584.22/3597.47	c   localbranching   :       0.00       0.00          0          0          0
3584.22/3597.47	c   locks            :       6.80       0.00          1          0          0
3584.22/3597.47	c   lpface           :       0.00       0.00          0          0          0
3584.22/3597.47	c   mpec             :       0.00       0.00          0          0          0
3584.22/3597.47	c   multistart       :       0.00       0.00          0          0          0
3584.22/3597.47	c   mutation         :       0.00       0.00          0          0          0
3584.22/3597.47	c   nlpdiving        :       0.00       0.00          0          0          0
3584.22/3597.47	c   objpscostdiving  :       0.00       0.00          0          0          0
3584.22/3597.47	c   octane           :       0.00       0.00          0          0          0
3584.22/3597.47	c   ofins            :       0.00       0.00          0          0          0
3584.22/3597.47	c   oneopt           :       0.00       0.00          0          0          0
3584.22/3597.47	c   padm             :       0.00       0.00          0          0          0
3584.22/3597.47	c   proximity        :       0.00       0.00          0          0          0
3584.22/3597.47	c   pscostdiving     :       0.00       0.00          0          0          0
3584.22/3597.47	c   randrounding     :       0.00       0.00          0          0          0
3584.22/3597.47	c   rens             :       0.00       0.00          0          0          0
3584.22/3597.47	c   reoptsols        :       0.00       0.00          0          0          0
3584.22/3597.47	c   repair           :       0.00       0.00          0          0          0
3584.22/3597.47	c   rins             :       0.00       0.00          0          0          0
3584.22/3597.47	c   rootsoldiving    :       0.00       0.00          0          0          0
3584.22/3597.47	c   rounding         :       0.00       0.00          0          0          0
3584.22/3597.47	c   scheduler        :       0.00       0.00          0          0          0
3584.22/3597.47	c   shiftandpropagate:       1.80       0.00          1          0          0
3584.22/3597.47	c   shifting         :       0.00       0.00          0          0          0
3584.22/3597.47	c   simplerounding   :       0.00       0.00          0          0          0
3584.22/3597.47	c   smallcard        :       0.00       0.00          0          0          0
3584.22/3597.47	c   subnlp           :       0.00       0.00          0          0          0
3584.22/3597.47	c   trivial          :       0.20       0.00          2          0          0
3584.22/3597.47	c   trivialnegation  :       0.00       0.00          0          0          0
3584.22/3597.47	c   trustregion      :       0.00       0.00          0          0          0
3584.22/3597.47	c   trysol           :       0.00       0.00          0          0          0
3584.22/3597.47	c   twoopt           :       0.00       0.00          0          0          0
3584.22/3597.47	c   undercover       :       0.00       0.00          0          0          0
3584.22/3597.47	c   vbounds          :       2.59       0.00          1          0          0
3584.22/3597.47	c   veclendiving     :       0.00       0.00          0          0          0
3584.22/3597.47	c   zeroobj          :       0.00       0.00          0          0          0
3584.22/3597.47	c   zirounding       :       0.00       0.00          0          0          0
3584.22/3597.47	c   other solutions  :          -          -          -          0          -
3584.22/3597.47	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3584.22/3597.47	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.22/3597.47	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.22/3597.47	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.22/3597.47	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.22/3597.47	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.22/3597.47	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.22/3597.47	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.22/3597.47	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.22/3597.47	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.22/3597.47	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3584.22/3597.47	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3584.22/3597.47	c   dual LP          :    3474.75          1     211585  211585.00      60.89       0.00          0
3584.22/3597.47	c   lex dual LP      :       0.00          0          0       0.00          -
3584.22/3597.47	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3584.22/3597.47	c   resolve instable :       0.00          0          0       0.00          -
3584.22/3597.47	c   diving/probing LP:       0.00          0          0       0.00          -
3584.22/3597.47	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3584.22/3597.47	c     (at root node) :          -          0          0       0.00          -
3584.22/3597.47	c   conflict analysis:       0.00          0          0       0.00          -
3584.22/3597.47	c B&B Tree           :
3584.22/3597.47	c   number of runs   :          1
3584.22/3597.47	c   nodes            :          1 (0 internal, 1 leaves)
3584.22/3597.47	c   feasible leaves  :          0
3584.22/3597.47	c   infeas. leaves   :          0
3584.22/3597.47	c   objective leaves :          0
3584.22/3597.47	c   nodes (total)    :          1 (0 internal, 1 leaves)
3584.22/3597.47	c   nodes left       :          1
3584.22/3597.47	c   max depth        :          0
3584.22/3597.47	c   max depth (total):          0
3584.22/3597.47	c   backtracks       :          0 (0.0%)
3584.22/3597.47	c   early backtracks :          0 (0.0%)
3584.22/3597.47	c   nodes exc. ref.  :          0 (0.0%)
3584.22/3597.47	c   delayed cutoffs  :          0
3584.22/3597.47	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3584.22/3597.47	c   avg switch length:       1.00
3584.22/3597.47	c   switching time   :       0.00
3584.22/3597.47	c Root Node          :
3584.22/3597.47	c   First LP value   :          -
3584.22/3597.47	c   First LP Iters   :          0
3584.22/3597.47	c   First LP Time    :    3474.76
3584.22/3597.47	c   Final Dual Bound : +0.00000000000000e+00
3584.22/3597.47	c   Final Root Iters :     211585
3584.22/3597.47	c   Root LP Estimate :                     -
3584.22/3597.47	c Solution           :
3584.22/3597.47	c   Solutions found  :          0 (0 improvements)
3584.22/3597.47	c   Primal Bound     :          -
3584.22/3597.47	c   Dual Bound       : +0.00000000000000e+00
3584.22/3597.47	c   Gap              :   infinite
3584.22/3597.47	c Integrals          :      Total       Avg%
3584.22/3597.47	c   primal-dual      :  359744.65     100.00
3584.22/3597.47	c   primal-ref       :          -          - (not evaluated)
3584.22/3597.47	c   dual-ref         :          -          - (not evaluated)
3587.51/3600.79	c Time complete: 3587.61.

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: 63708 MiB (60590 MiB free)
  memory of node 1: 64465 MiB (57382 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522882-1751585398/watcher-4522882-1751585398 -o /tmp/evaluation-result-4522882-1751585398/solver-4522882-1751585398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78965 --watchdog 3760 pbscip -f HOME/instance-4522882-1751585398.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=80281, runsolver pid=80278

[startup+0.100065 s]*
/proc/loadavg: 4.14 4.14 4.11 5/266 80282
/proc/meminfo: memFree=120715976/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=134532 memory=103808 CPUtime=0.08 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 23028 0 0 0 5 3 0 0 20 0 1 0 74217401 137760768 25952 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 33633 25952 3232 3530 0 25084 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 134532 KiB
Current children cumulated memory: 103808 KiB

[startup+0.205548 s]*
/proc/loadavg: 4.14 4.14 4.11 5/266 80282
/proc/meminfo: memFree=120627272/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=219988 memory=189312 CPUtime=0.19 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 44385 0 0 0 13 6 0 0 20 0 1 0 74217401 225267712 47296 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 54997 47296 3232 3530 0 46448 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 219988 KiB
Current children cumulated memory: 189312 KiB

[startup+0.305597 s]*
/proc/loadavg: 4.14 4.14 4.11 5/266 80282
/proc/meminfo: memFree=120563012/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=299952 memory=267472 CPUtime=0.29 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 63420 0 0 0 20 9 0 0 20 0 1 0 74217401 307150848 66868 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 74988 66868 3232 3530 0 66439 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 299952 KiB
Current children cumulated memory: 267472 KiB

[startup+0.700171 s]
/proc/loadavg: 4.14 4.14 4.11 5/266 80282
/proc/meminfo: memFree=120482372/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=392732 memory=361680 CPUtime=0.68 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 86985 0 0 0 55 13 0 0 20 0 1 0 74217401 402157568 90420 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 98183 90420 3232 3530 0 89634 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 392732 KiB
Current children cumulated memory: 361680 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.14 4.11 5/266 80282
/proc/meminfo: memFree=120433988/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=463592 memory=432464 CPUtime=1.47 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 104678 0 0 0 132 15 0 0 20 0 1 0 74217401 474718208 108116 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 115898 108116 3232 3530 0 107349 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 463592 KiB
Current children cumulated memory: 432464 KiB

[startup+3.10552 s]
/proc/loadavg: 4.14 4.14 4.11 5/266 80282
/proc/meminfo: memFree=119966412/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=894836 memory=866788 CPUtime=3.07 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 214769 0 0 0 274 33 0 0 20 0 1 0 74217401 916312064 216697 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 223709 216697 3520 3530 0 215160 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 894836 KiB
Current children cumulated memory: 866788 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.14 4.11 5/266 80282
/proc/meminfo: memFree=119304908/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=1538460 memory=1494516 CPUtime=6.26 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 370637 0 0 0 570 56 0 0 20 0 1 0 74217401 1575383040 373629 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 384615 373629 3552 3530 0 376066 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1538460 KiB
Current children cumulated memory: 1494516 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.10 5/266 80282
/proc/meminfo: memFree=117892496/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=2202712 memory=2137052 CPUtime=12.63 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 408938 0 0 0 1178 85 0 0 20 0 1 0 74217401 2255577088 534263 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 550678 534263 3680 3530 0 542129 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2202712 KiB
Current children cumulated memory: 2137052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.10 5/266 80282
/proc/meminfo: memFree=117353640/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=2272788 memory=2207304 CPUtime=25.39 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 528303 0 0 0 2435 104 0 0 20 0 1 0 74217401 2327334912 551826 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 568197 551826 3680 3530 0 559648 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2272788 KiB
Current children cumulated memory: 2207304 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.13 4.10 5/267 80284
/proc/meminfo: memFree=117390876/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=2494888 memory=2405036 CPUtime=50.91 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 541748 0 0 0 4981 110 0 0 20 0 1 0 74217401 2554765312 601259 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 623722 601259 3712 3530 0 615173 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2494888 KiB
Current children cumulated memory: 2405036 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 80286
/proc/meminfo: memFree=116349424/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3057396 memory=2890700 CPUtime=101.95 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 633513 0 0 0 10068 127 0 0 20 0 1 0 74217401 3130773504 722675 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 764349 722675 3744 3530 0 755800 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 3057396 KiB
Current children cumulated memory: 2890700 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/267 80288
/proc/meminfo: memFree=115666316/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3779816 memory=3585160 CPUtime=161.72 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 722006 0 0 0 16012 160 0 0 20 0 1 0 74217401 3870531584 896290 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 944954 896290 3904 3530 0 936405 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 3779816 KiB
Current children cumulated memory: 3585160 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/266 80294
/proc/meminfo: memFree=115618752/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3834304 memory=3629656 CPUtime=221.51 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 729964 0 0 0 21988 163 0 0 20 0 1 0 74217401 3926327296 907414 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 958576 907414 3904 3530 0 950027 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 3834304 KiB
Current children cumulated memory: 3629656 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 80296
/proc/meminfo: memFree=115580024/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3843992 memory=3650956 CPUtime=281.31 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 733748 0 0 0 27967 164 0 0 20 0 1 0 74217401 3936247808 912739 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 960998 912739 3904 3530 0 952449 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 3843992 KiB
Current children cumulated memory: 3650956 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 80298
/proc/meminfo: memFree=115519260/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3860028 memory=3671816 CPUtime=341.08 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 735929 0 0 0 33944 164 0 0 20 0 1 0 74217401 3952668672 917954 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 965007 917954 3904 3530 0 956458 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 3860028 KiB
Current children cumulated memory: 3671816 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 80304
/proc/meminfo: memFree=115544680/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3861152 memory=3672968 CPUtime=400.86 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 736211 0 0 0 39922 164 0 0 20 0 1 0 74217401 3953819648 918242 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 965288 918242 3904 3530 0 956739 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 3861152 KiB
Current children cumulated memory: 3672968 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 80306
/proc/meminfo: memFree=115550616/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3862576 memory=3674248 CPUtime=460.64 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 736611 0 0 0 45900 164 0 0 20 0 1 0 74217401 3955277824 918562 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 965644 918562 3904 3530 0 957095 0

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

Current children cumulated memory: 3726796 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 80591
/proc/meminfo: memFree=119434556/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3939716 memory=3726808 CPUtime=3150.74 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1015669 0 0 0 314577 497 0 0 20 0 1 0 74217401 4034269184 931702 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 984929 931702 3904 3530 0 976380 0
Current children cumulated CPU time: 3150.74 s
Current children cumulated vsize: 3939716 KiB
Current children cumulated memory: 3726808 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 80598
/proc/meminfo: memFree=119454372/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3939736 memory=3726828 CPUtime=3210.52 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1017452 0 0 0 320552 500 0 0 20 0 1 0 74217401 4034289664 931707 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 984934 931707 3904 3530 0 976385 0
Current children cumulated CPU time: 3210.52 s
Current children cumulated vsize: 3939736 KiB
Current children cumulated memory: 3726828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 80600
/proc/meminfo: memFree=119431800/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940324 memory=3729420 CPUtime=3270.29 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1028235 0 0 0 326515 514 0 0 20 0 1 0 74217401 4034891776 932355 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985081 932355 3904 3530 0 976532 0
Current children cumulated CPU time: 3270.29 s
Current children cumulated vsize: 3940324 KiB
Current children cumulated memory: 3729420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 80603
/proc/meminfo: memFree=119436836/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940328 memory=3729468 CPUtime=3330.07 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1029074 0 0 0 332492 515 0 0 20 0 1 0 74217401 4034895872 932367 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985082 932367 3904 3530 0 976533 0
Current children cumulated CPU time: 3330.07 s
Current children cumulated vsize: 3940328 KiB
Current children cumulated memory: 3729468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 80607
/proc/meminfo: memFree=119427692/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940384 memory=3729560 CPUtime=3389.85 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1031809 0 0 0 338466 519 0 0 20 0 1 0 74217401 4034953216 932390 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985096 932390 3904 3530 0 976547 0
Current children cumulated CPU time: 3389.85 s
Current children cumulated vsize: 3940384 KiB
Current children cumulated memory: 3729560 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 80609
/proc/meminfo: memFree=119438276/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940384 memory=3729560 CPUtime=3449.62 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1031810 0 0 0 344443 519 0 0 20 0 1 0 74217401 4034953216 932390 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985096 932390 3904 3530 0 976547 0
Current children cumulated CPU time: 3449.62 s
Current children cumulated vsize: 3940384 KiB
Current children cumulated memory: 3729560 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 80611
/proc/meminfo: memFree=119420824/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940384 memory=3729560 CPUtime=3509.4 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1031810 0 0 0 350421 519 0 0 20 0 1 0 74217401 4034953216 932390 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985096 932390 3904 3530 0 976547 0
Current children cumulated CPU time: 3509.4 s
Current children cumulated vsize: 3940384 KiB
Current children cumulated memory: 3729560 KiB

[startup+3582.3 s]
/proc/loadavg: 3.56 3.97 4.05 3/251 80675
/proc/meminfo: memFree=123442512/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940392 memory=3729712 CPUtime=3569.18 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1033575 0 0 0 356396 522 0 0 20 0 1 0 74217401 4034961408 932428 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985098 932428 3904 3530 0 976549 0
Current children cumulated CPU time: 3569.18 s
Current children cumulated vsize: 3940392 KiB
Current children cumulated memory: 3729712 KiB

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

# cumulated CPU time of all completed processes:  user=3582.36 s, system=5.33106 s

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

[startup+3584 s]*
/proc/loadavg: 3.56 3.97 4.05 3/251 80675
/proc/meminfo: memFree=123442640/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940392 memory=3729712 CPUtime=3570.88 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1033581 0 0 0 356566 522 0 0 20 0 1 0 74217401 4034961408 932428 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985098 932428 3904 3530 0 976549 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 3940392 KiB
Current children cumulated memory: 3729712 KiB

[startup+3590.4 s]
/proc/loadavg: 3.44 3.94 4.04 3/251 80675
/proc/meminfo: memFree=123439024/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940392 memory=3729692 CPUtime=3577.25 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1034377 0 0 0 357202 523 0 0 20 0 1 0 74217401 4034961408 932423 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985098 932423 3904 3530 0 976549 0
Current children cumulated CPU time: 3577.25 s
Current children cumulated vsize: 3940392 KiB
Current children cumulated memory: 3729692 KiB

[startup+3596.8 s]
/proc/loadavg: 3.22 3.87 4.01 3/251 80675
/proc/meminfo: memFree=123440816/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940392 memory=3729692 CPUtime=3583.63 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1034413 0 0 0 357840 523 0 0 20 0 1 0 74217401 4034961408 932423 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985098 932423 3904 3530 0 976549 0
Current children cumulated CPU time: 3583.63 s
Current children cumulated vsize: 3940392 KiB
Current children cumulated memory: 3729692 KiB

[startup+3598.4 s]
/proc/loadavg: 3.22 3.87 4.01 3/251 80675
/proc/meminfo: memFree=123440824/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940392 memory=3729692 CPUtime=3585.22 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1034414 0 0 0 357999 523 0 0 20 0 1 0 74217401 4034961408 932423 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985098 932423 3904 3530 0 976549 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 3940392 KiB
Current children cumulated memory: 3729692 KiB

[startup+3600 s]*
/proc/loadavg: 3.22 3.87 4.01 3/251 80675
/proc/meminfo: memFree=123440768/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3940392 memory=3729692 CPUtime=3586.82 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1034416 0 0 0 358159 523 0 0 20 0 1 0 74217401 4034961408 932423 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 985098 932423 3904 3530 0 976549 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 3940392 KiB
Current children cumulated memory: 3729692 KiB

[startup+3600.4 s]
/proc/loadavg: 3.22 3.87 4.01 3/251 80675
/proc/meminfo: memFree=123440768/131250000 swapFree=33007332/33010684
[pid=80281] ppid=80278 vsize=3937764 memory=3727388 CPUtime=3587.22 cores=0,2
/proc/80281/stat : 80281 (pbscip) R 80278 80281 78955 0 -1 4194304 1034416 0 0 0 358199 523 0 0 20 0 1 0 74217401 4032270336 931847 18446744073709551615 4235264 18693293 140735201756608 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58114048 140735201765769 140735201765868 140735201765868 140735201771470 0
/proc/80281/statm: 984441 931847 3904 3530 0 975892 0
Current children cumulated CPU time: 3587.22 s
Current children cumulated vsize: 3937764 KiB
Current children cumulated memory: 3727388 KiB

[startup+3600.8 s]*
/proc/loadavg: 3.12 3.84 4.00 3/251 80675
/proc/meminfo: memFree=124865064/131250000 swapFree=33007332/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3600.87
CPU time (s): 3587.69
CPU user time (s): 3582.36
CPU system time (s): 5.33106
CPU usage (%): 99.634
Max. virtual memory (cumulated for all children) (KiB): 3978536
Max. memory (cumulated for all children) (KiB): 3729712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.36
system time used= 5.33106
maximum resident set size= 3753216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1034424
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= 80
involuntary context switches= 4757


# summary of solver processes directly reported to runsolver:
#   pid: 80281
#   total CPU time (s): 3587.69
#   total CPU user time (s): 3582.36
#   total CPU system time (s): 5.33106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12937 second user time and 16.1025 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-04 01:29:59
IDJOB=4522882
IDBENCH=179354
IDSOLVER=3365
FILE ID=nodeC019/4522882-1751585398
RUNJOBID= nodeC019-1751578154-78965
SLURM_JOB_ID= 9598809
Free space on /tmp= 431416 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522882-1751585398/watcher-4522882-1751585398 -o /tmp/evaluation-result-4522882-1751585398/solver-4522882-1751585398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78965 --watchdog 3760  pbscip -f HOME/instance-4522882-1751585398.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= cd27816f7e4cb1046eb5da038ad24d41
RANDOM SEED=1013274151

nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.887
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.677
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3592.534
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.985
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3599.622
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.702
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.807
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        120804428 kB
MemAvailable:   122707476 kB
Buffers:             904 kB
Cached:          2704960 kB
SwapCached:          440 kB
Active:          7252308 kB
Inactive:        2559332 kB
Active(anon):    7093232 kB
Inactive(anon):    27736 kB
Active(file):     159076 kB
Inactive(file):  2531596 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             74556 kB
Writeback:             0 kB
AnonPages:       7105072 kB
Mapped:           137552 kB
Shmem:             15192 kB
KReclaimable:     103228 kB
Slab:             192220 kB
SReclaimable:     103228 kB
SUnreclaim:        88992 kB
KernelStack:        4288 kB
PageTables:        17488 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7998020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1777664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431496 MiB
End job on nodeC019 at 2025-07-04 02:30:00