Trace number 4543722

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 NameAnswerCPU timeWall clock time
SCIP 2025-06-13UNSAT 654.884 656.678

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
MD5SUMfedac043231dc7d3bd4ac0917a28b068
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.12995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables279390
Total number of constraints5791
Number of constraints which are clauses2911
Number of constraints which are cardinality constraints (but not clauses)2880
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint97
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 98
Number of bits of the biggest sum of numbers7
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.02	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.02	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.02	c 
0.00/0.02	c External libraries: 
0.00/0.02	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.02	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.02	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.02	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.02	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.02	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02	c 
0.00/0.02	c reading problem <HOME/instance-4543722-1753214304.opb>
0.28/0.38	c original problem has 279390 variables (279390 bin, 0 int, 0 cont) and 5791 constraints
0.28/0.38	c problem read in 0.365 seconds
0.28/0.38	c problem without objective
0.87/0.92	c presolving:
1.27/1.32	c    (1.3s) running MILP presolver
1.67/1.73	c    (1.7s) MILP presolver found nothing
1.87/1.98	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2911 upgd conss, 0 impls, 2880 clqs
2.07/2.18	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5791 upgd conss, 0 impls, 2880 clqs
5.06/5.11	c    (5.1s) probing: 51/279390 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.06/5.11	c    (5.1s) probing aborted: 50/50 successive totally useless probings
5.16/5.28	c    (5.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
5.76/5.82	c    (5.8s) symmetry computation finished: 229 generators found (max: 229, log10 of symmetry group size: 347.11) (symcode time: 0.38)
5.76/5.86	c dynamic symmetry handling statistics:
5.76/5.86	c    orbitopal reduction:       no components
5.76/5.86	c    orbital reduction:         no components
5.76/5.86	c    lexicographic reduction:   no permutations
5.76/5.86	c handled 3 out of 3 symmetry components
5.76/5.88	c (round 3, exhaustive) 10015 del vars, 0 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5791 upgd conss, 0 impls, 2878 clqs
5.86/5.98	c (round 4, medium)     10017 del vars, 196 del conss, 3 add conss, 0 chg bounds, 0 chg sides, 10017 chg coeffs, 5791 upgd conss, 0 impls, 2878 clqs
11.54/11.68	c    (11.7s) probing: 194/279390 (0.1%) - 0 fixings, 0 aggregations, 214 implications, 0 bound changes
11.54/11.68	c    (11.7s) probing aborted: 50/50 successive totally useless probings
11.74/11.81	c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
11.74/11.81	c  10017 deleted vars, 196 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 10017 changed coefficients
11.74/11.81	c  0 implications, 3092 cliques
11.74/11.81	c presolved problem has 269373 variables (269373 bin, 0 int, 0 cont) and 5598 constraints
11.74/11.81	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
11.74/11.81	c    2878 constraints of type <setppc>
11.74/11.81	c       3 constraints of type <orbitope_pp>
11.74/11.81	c    2717 constraints of type <logicor>
11.74/11.81	c transformed objective value is always integral (scale: 1)
11.74/11.81	c Presolving Time: 10.99
11.74/11.81	c 
11.74/11.81	c - non default parameters ----------------------------------------------------------------------
11.74/11.81	c 
11.74/11.81	c # SCIP version 10.0.0
11.74/11.81	c 
11.74/11.81	c # maximal time in seconds to run
11.74/11.81	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
11.74/11.81	c limits/time = 3596.998009
11.74/11.81	c 
11.74/11.81	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.74/11.81	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
11.74/11.81	c limits/memory = 27900
11.74/11.81	c 
11.74/11.81	c # belongs reading time to solving time?
11.74/11.81	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
11.74/11.81	c timing/reading = TRUE
11.74/11.81	c 
11.74/11.81	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
11.74/11.81	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
11.74/11.81	c reading/opbreader/maxintsize = 47
11.74/11.81	c 
11.74/11.81	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
11.74/11.81	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
11.74/11.81	c propagating/genvbounds/timingmask = 0
11.74/11.81	c 
11.74/11.81	c -----------------------------------------------------------------------------------------------
11.74/11.86	c 
67.30/67.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
67.30/67.57	c  67.6s|     1 |     0 |  3535 |     - |  1602M |   0 | 269k|5669 |5595 |   0 |  0 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
80.76/81.01	c  81.0s|     1 |     0 |  8785 |     - |  1747M |   0 | 269k|5667 |5617 |  22 |  1 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
85.75/86.05	c  86.0s|     1 |     0 |  8833 |     - |  1857M |   0 | 269k|5665 |5630 |  35 |  2 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
87.44/87.75	c  87.7s|     1 |     0 |  8850 |     - |  1909M |   0 | 269k|5665 |5637 |  42 |  3 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
88.14/88.42	c  88.4s|     1 |     0 |  8876 |     - |  1909M |   0 | 269k|5665 |5643 |  48 |  4 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
89.03/89.30	c  89.3s|     1 |     0 |  8902 |     - |  1913M |   0 | 269k|5665 |5649 |  54 |  5 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
89.93/90.29	c  90.3s|     1 |     0 |  8929 |     - |  1916M |   0 | 269k|5665 |5654 |  59 |  6 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
91.12/91.41	c  91.4s|     1 |     0 |  8964 |     - |  1922M |   0 | 269k|5665 |5661 |  66 |  7 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
92.12/92.49	c  92.5s|     1 |     0 |  9023 |     - |  1927M |   0 | 269k|5665 |5666 |  71 |  8 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
93.23/93.59	c  93.6s|     1 |     0 |  9054 |     - |  1931M |   0 | 269k|5665 |5669 |  74 |  9 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
94.42/94.78	c  94.8s|     1 |     0 |  9107 |     - |  1932M |   0 | 269k|5665 |5675 |  80 | 10 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
95.12/95.48	c  95.5s|     1 |     0 |  9155 |     - |  1965M |   0 | 269k|5665 |5679 |  84 | 11 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
95.72/96.07	c  96.1s|     1 |     0 |  9206 |     - |  1974M |   0 | 269k|5665 |5683 |  88 | 12 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
96.21/96.51	c  96.5s|     1 |     0 |  9230 |     - |  1974M |   0 | 269k|5665 |5687 |  92 | 13 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
154.45/155.00	c   155s|     1 |     2 | 20008 |     - |  1986M |   0 | 269k|5668 |5687 |  92 | 13 | 124 |  26 | 0.000000e+00 |      --      |    Inf | unknown
357.19/358.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
357.19/358.22	c   358s|   100 |    85 |129920 |1219.2 |  2044M |  29 | 269k|5718 |5613 | 133 |  1 | 191 |  26 | 0.000000e+00 |      --      |    Inf |  34.77%
544.18/545.73	c   546s|   200 |   171 |172803 | 822.0 |  2078M |  69 | 269k|5768 |5616 | 154 |  1 | 247 |  26 | 0.000000e+00 |      --      |    Inf |  34.77%
653.90/655.71	c 
653.90/655.71	c SCIP Status        : problem is solved [infeasible]
653.90/655.71	c Solving Time (sec) : 655.69
653.90/655.71	c Solving Nodes      : 275
653.90/655.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
653.90/655.71	c Dual Bound         : +1.00000000000000e+20
653.90/655.71	c Gap                : 0.00 %
653.90/655.71	s UNSATISFIABLE
653.90/655.71	c SCIP Status        : problem is solved [infeasible]
653.90/655.71	c Total Time         :     655.69
653.90/655.71	c   solving          :     655.69
653.90/655.71	c   presolving       :      10.99 (included in solving)
653.90/655.71	c   reading          :       0.36 (included in solving)
653.90/655.71	c   copying          :       1.40 (4 #copies) (minimal 0.34, maximal 0.38, average 0.35)
653.90/655.71	c Original Problem   :
653.90/655.71	c   Problem name     : HOME/instance-4543722-1753214304.opb
653.90/655.71	c   Variables        : 279390 (279390 binary, 0 integer, 0 continuous)
653.90/655.71	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
653.90/655.71	c   Constraints      : 5791 initial, 5791 maximal
653.90/655.72	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
653.90/655.72	c Presolved Problem  :
653.90/655.72	c   Problem name     : t_HOME/instance-4543722-1753214304.opb
653.90/655.72	c   Variables        : 269373 (269373 binary, 0 integer, 0 continuous)
653.90/655.72	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
653.90/655.72	c   Constraints      : 5598 initial, 5862 maximal
653.90/655.72	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
653.90/655.72	c   Nonzeros         : 554392 constraint, 269785 clique table
653.90/655.72	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
653.90/655.72	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   domcol           :       0.35       0.00      2          0          0          0          0          0          0          0          0          0
653.90/655.72	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   dualsparsify     :       0.16       0.00      1          0          0          0          0          0          0          0          0          0
653.90/655.72	c   gateextraction   :       0.10       0.00      2          0          0          0          0          0          0          0          0          0
653.90/655.72	c   implics          :       0.02       0.00      5          0          0          0          0          0          0          0          0          0
653.90/655.72	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   milp             :       0.66       0.00      1          0          0          0          0          0          0          0          0          0
653.90/655.72	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   sparsify         :       0.09       0.00      1          0          0          0          0          0          0          0          0          0
653.90/655.72	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   trivial          :       0.04       0.00      5          0          0          0          0          0          0          0          0          0
653.90/655.72	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   dualfix          :       0.04       0.00      5          0          0          0          0          0          0          0          0          0
653.90/655.72	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   probing          :       7.27       0.01      2          0          0          0          0          0          0          0          0          0
653.90/655.72	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   symmetry         :       0.60       0.00      1      10015          0          0          0          0          0          3          0          0
653.90/655.72	c   vbounds          :       0.10       0.00      1          0          0          0          0          0          0          0          0          0
653.90/655.72	c   knapsack         :       0.00       0.01      0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   setppc           :       0.24       0.01      8          0          0          0          0          0          2          0          0          0
653.90/655.72	c   linear           :       0.36       0.06      4          0          0          0          0          0          0          0          0          0
653.90/655.72	c   orbitope_pp      :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
653.90/655.72	c   logicor          :       0.65       0.02     10          2          0          0          0          0        194          0          0      10017
653.90/655.72	c   components       :       0.08       0.00      1          0          0          0          0          0          0          0          0          0
653.90/655.72	c   root node        :          -          -      -        123          -          -        123          -          -          -          -          -
653.90/655.72	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
653.90/655.72	c   integral         :          0          0          0          0        226          0          0         46          0          0          0          0          0          0        452
653.90/655.72	c   knapsack         :          0+        27          0      26767          0          0          0          0        759          5       3193          0          0          0          0
653.90/655.72	c   setppc           :       2878+      2895         13     301398          0          0          0         42      39941          8      11806          0          0          0          0
653.90/655.72	c   orbitope_pp      :          3          3          0     301290          0          0          0         15       1427          2        355          0          0          0          0
653.90/655.72	c   logicor          :       2717+      2944         13      25809          0          0          0         15        280         27         31          0          0          0          0
653.90/655.72	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
653.90/655.72	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
653.90/655.72	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
653.90/655.72	c   integral         :      51.21       0.00       0.00       0.00      51.21       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c   knapsack         :       0.11       0.01       0.00       0.10       0.00       0.00       0.00       0.00       0.01       0.00
653.90/655.72	c   setppc           :       1.60       0.01       0.06       1.14       0.00       0.00       0.00       0.38       0.01       0.00
653.90/655.72	c   orbitope_pp      :      13.17       0.00       0.00      13.16       0.00       0.00       0.00       0.00       0.00       0.01
653.90/655.72	c   logicor          :       0.47       0.02       0.03       0.41       0.00       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
653.90/655.72	c   dualfix          :          1          0          0          0
653.90/655.72	c   genvbounds       :          0          0          0          0
653.90/655.72	c   nlobbt           :          0          0          0          0
653.90/655.72	c   obbt             :          0          0          0          0
653.90/655.72	c   probing          :          0          0          0          0
653.90/655.72	c   pseudoobj        :          0          0          0          0
653.90/655.72	c   redcost          :          0          0          0          0
653.90/655.72	c   rootredcost      :          0          0          0          0
653.90/655.72	c   symmetry         :          0          0          0          0
653.90/655.72	c   vbounds          :      15732          0          0          0
653.90/655.72	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
653.90/655.72	c   dualfix          :       0.05       0.00       0.04       0.01       0.00       0.00
653.90/655.72	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
653.90/655.72	c   probing          :       7.28       0.01       7.27       0.00       0.00       0.00
653.90/655.72	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
653.90/655.72	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
653.90/655.72	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
653.90/655.72	c   symmetry         :       0.63       0.00       0.60       0.04       0.00       0.00
653.90/655.72	c   vbounds          :       1.90       0.00       0.10       1.80       0.00       0.00
653.90/655.72	c Symmetry           :
653.90/655.73	c   #affected vars   :      22272 (22272 bin, 0 int, 0 cont)
653.90/655.73	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
653.90/655.73	c   orbital reduction:          0 reductions applied,          0 cutoffs
653.90/655.73	c   lexicographic red:          0 reductions applied,          0 cutoffs
653.90/655.73	c   shadow tree time :       0.00 s
653.90/655.73	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
653.90/655.73	c   propagation      :       0.10         39         38          -        833     1175.7          4       46.5          -          -          -
653.90/655.73	c   infeasible LP    :       1.29         60         82          -        631      352.1          3       31.7         60      610.5          0
653.90/655.73	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
653.90/655.73	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
653.90/655.73	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
653.90/655.73	c   applied globally :       0.01          -          -         22        348      189.2          -          -         60          -          -
653.90/655.73	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
653.90/655.73	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
653.90/655.73	c   cut pool         :       0.37          -         78         25          -          -        916       1182          -          -          -          -          -    (maximal pool size:        916)
653.90/655.73	c   aggregation      :       0.86       0.00         24         13          0          0         90        107          3         10         10          0          0
653.90/655.73	c   > cmir           :          -          -          -          -          -          -          -         61          0          4          4          0          -
653.90/655.73	c   > flowcover      :          -          -          -          -          -          -          -         10          0          1          1          0          -
653.90/655.73	c   > knapsackcover  :          -          -          -          -          -          -          -         36          3          5          5          0          -
653.90/655.73	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   clique           :       0.21       0.00         13         13          0          0          0          0          0          0          0          0          0
653.90/655.73	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   gomory           :      21.48       0.00         21         10          0          0        798        962         50        113        112          1          0
653.90/655.73	c   > gomorymi       :          -          -          -          -          -          -          -        398         25         91         90          1          -
653.90/655.73	c   > strongcg       :          -          -          -          -          -          -          -        564         25         22         22          0          -
653.90/655.73	c   impliedbounds    :       0.21       0.00         24         13          0          0          0          0          0          0          0          0          0
653.90/655.73	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   mcf              :       0.06       0.00          1          1          0          0          0          0          0          0          0          0          0
653.90/655.73	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   multilinear      :       0.00       0.00         30         13          0          0          0          0          0          0          0          0          0
653.90/655.73	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
653.90/655.73	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
653.90/655.73	c   zerohalf         :       2.68       0.00         24         13          0          0        132        113         51         57         42         15          0
653.90/655.73	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
653.90/655.73	c   hybrid           :       0.06       0.00         37         13        180          0       1106         92          0        461
653.90/655.73	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c Pricers            :   ExecTime  SetupTime      Calls       Vars
653.90/655.73	c   problem variables:       0.00          -          0          0
653.90/655.73	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
653.90/655.73	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c   relpscost        :      51.21       0.00        226          0          0          0          0          0          0        452
653.90/655.73	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
653.90/655.73	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
653.90/655.73	c   LP solutions     :       0.00          -          -          0          0
653.90/655.73	c   relax solutions  :       0.00          -          -          0          0
653.90/655.73	c   pseudo solutions :       0.00          -          -          0          0
653.90/655.73	c   strong branching :       0.11          -          -          0          0
653.90/655.73	c   actconsdiving    :       0.00       0.00          0          0          0
653.90/655.73	c   adaptivediving   :       3.31       0.00          1          0          0
653.90/655.73	c   alns             :      91.66       0.00          3          0          0
653.90/655.73	c   bound            :       0.00       0.00          0          0          0
653.90/655.73	c   clique           :       4.35       0.00          1          0          0
653.90/655.73	c   coefdiving       :       0.00       0.00          0          0          0
653.90/655.73	c   completesol      :       0.00       0.00          0          0          0
653.90/655.73	c   conflictdiving   :      15.01       0.00          4          0          0
653.90/655.73	c   crossover        :       0.00       0.00          0          0          0
653.90/655.73	c   dins             :       0.00       0.00          0          0          0
653.90/655.73	c   distributiondivin:       3.42       0.00          3          0          0
653.90/655.73	c   dks              :       0.00       0.00          0          0          0
653.90/655.73	c   dps              :       0.00       0.00          0          0          0
653.90/655.73	c   dualval          :       0.00       0.00          0          0          0
653.90/655.73	c   farkasdiving     :       0.00       0.00          0          0          0
653.90/655.73	c   feaspump         :      12.23       0.00          2          0          0
653.90/655.73	c   fixandinfer      :       0.00       0.00          0          0          0
653.90/655.73	c   fracdiving       :      26.58       0.00          4          0          0
653.90/655.73	c   gins             :       0.00       0.00          0          0          0
653.90/655.73	c   guideddiving     :       0.00       0.00          0          0          0
653.90/655.73	c   indicator        :       0.00       0.00          0          0          0
653.90/655.73	c   indicatordiving  :       0.00       0.00          0          0          0
653.90/655.73	c   intdiving        :       0.00       0.00          0          0          0
653.90/655.73	c   intshifting      :       0.00       0.00          0          0          0
653.90/655.73	c   linesearchdiving :       5.93       0.00          3          0          0
653.90/655.73	c   localbranching   :       0.00       0.00          0          0          0
653.90/655.73	c   locks            :       0.95       0.00          1          0          0
653.90/655.73	c   lpface           :       0.19       0.00          0          0          0
653.90/655.73	c   mpec             :       0.00       0.00          0          0          0
653.90/655.73	c   multistart       :       0.00       0.00          0          0          0
653.90/655.73	c   mutation         :       0.00       0.00          0          0          0
653.90/655.73	c   nlpdiving        :       0.00       0.00          0          0          0
653.90/655.73	c   objpscostdiving  :      46.53       0.00          2          0          0
653.90/655.73	c   octane           :       0.00       0.00          0          0          0
653.90/655.73	c   ofins            :       0.00       0.00          0          0          0
653.90/655.73	c   oneopt           :       0.00       0.00          0          0          0
653.90/655.73	c   padm             :       0.00       0.00          0          0          0
653.90/655.73	c   proximity        :       0.00       0.00          0          0          0
653.90/655.73	c   pscostdiving     :       9.73       0.00          4          0          0
653.90/655.73	c   randrounding     :       1.51       0.00         39          0          0
653.90/655.73	c   rens             :       1.09       0.00          1          0          0
653.90/655.73	c   reoptsols        :       0.00       0.00          0          0          0
653.90/655.73	c   repair           :       0.00       0.00          0          0          0
653.90/655.73	c   rins             :       0.00       0.00          0          0          0
653.90/655.73	c   rootsoldiving    :      12.87       0.00          1          0          0
653.90/655.73	c   rounding         :       0.07       0.00        174          0          0
653.90/655.73	c   scheduler        :       0.00       0.00          0          0          0
653.90/655.73	c   shiftandpropagate:       0.20       0.00          1          0          0
653.90/655.73	c   shifting         :       4.19       0.00         63          0          0
653.90/655.73	c   simplerounding   :       0.01       0.00          0          0          0
653.90/655.73	c   subnlp           :       0.00       0.00          0          0          0
653.90/655.73	c   trivial          :       0.17       0.00          2          0          0
653.90/655.73	c   trivialnegation  :       0.00       0.00          0          0          0
653.90/655.73	c   trustregion      :       0.00       0.00          0          0          0
653.90/655.73	c   trysol           :       0.00       0.00          0          0          0
653.90/655.73	c   twoopt           :       0.00       0.00          0          0          0
653.90/655.73	c   undercover       :       0.00       0.00          0          0          0
653.90/655.73	c   vbounds          :      13.47       0.00          1          0          0
653.90/655.73	c   veclendiving     :      26.95       0.00          4          0          0
653.90/655.73	c   zeroobj          :       0.00       0.00          0          0          0
653.90/655.73	c   zirounding       :       0.32       0.00        226          0          0
653.90/655.73	c   other solutions  :          -          -          -          0          -
653.90/655.73	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
653.90/655.73	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
653.90/655.73	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
653.90/655.73	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
653.90/655.73	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
653.90/655.73	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
653.90/655.73	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
653.90/655.73	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
653.90/655.73	c   zeroobjective    :          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
653.90/655.73	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
653.90/655.73	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
653.90/655.73	c   primal LP        :       0.29         12          0       0.00       0.00       0.29         12
653.90/655.73	c   dual LP          :     273.35        304     105102     345.73     384.50       0.00          0
653.90/655.73	c   lex dual LP      :       0.00          0          0       0.00          -
653.90/655.73	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
653.90/655.73	c   resolve instable :       0.00          0          0       0.00          -
653.90/655.73	c   diving/probing LP:      79.71        983     141829     144.28    1779.41
653.90/655.73	c   strong branching :      48.46         26       5494     211.31     113.36          -          -          1
653.90/655.73	c     (at root node) :          -         26       5494     211.31          -
653.90/655.73	c   conflict analysis:       0.00          0          0       0.00          -
653.90/655.73	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
653.90/655.73	c   benders          :       0.00          0          0          0       0.00          0          0          0
653.90/655.73	c B&B Tree           :
653.90/655.73	c   number of runs   :          1
653.90/655.73	c   nodes            :        275 (226 internal, 49 leaves)
653.90/655.73	c   feasible leaves  :          0
653.90/655.73	c   infeas. leaves   :         49
653.90/655.73	c   objective leaves :          0
653.90/655.73	c   nodes (total)    :        275 (226 internal, 49 leaves)
653.90/655.73	c   nodes left       :          0
653.90/655.73	c   max depth        :         73
653.90/655.73	c   max depth (total):         73
653.90/655.73	c   backtracks       :         71 (25.8%)
653.90/655.73	c   early backtracks :          0 (0.0%)
653.90/655.73	c   nodes exc. ref.  :          0 (0.0%)
653.90/655.73	c   delayed cutoffs  :        178
653.90/655.73	c   repropagations   :        313 (1273 domain reductions, 6 cutoffs)
653.90/655.73	c   avg switch length:       8.58
653.90/655.73	c   switching time   :       0.74
653.90/655.73	c Root Node          :
653.90/655.73	c   First LP value   : +0.00000000000000e+00
653.90/655.73	c   First LP Iters   :       3521 (96.32 Iter/sec)
653.90/655.73	c   First LP Time    :      36.56
653.90/655.73	c   Final Dual Bound :          -
653.90/655.73	c   Final Root Iters :       9216
653.90/655.73	c   Root LP Estimate : +8.24531746031747e-03
653.90/655.73	c Solution           :
653.90/655.73	c   Solutions found  :          0 (0 improvements)
653.90/655.73	c   Primal Bound     : infeasible
653.90/655.73	c   Dual Bound       :          -
653.90/655.73	c   Gap              :       0.00 %
653.90/655.73	c Integrals          :      Total       Avg%
653.90/655.73	c   primal-dual      :          -          - (problem infeasible)
653.90/655.73	c   primal-ref       :          -          - (problem infeasible)
653.90/655.73	c   dual-ref         :          -          - (problem infeasible)
654.80/656.60	c Time complete (sec):    654.809

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543722-1753214304/watcher-4543722-1753214304 -o /tmp/evaluation-result-4543722-1753214304/solver-4543722-1753214304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4543722-1753214304.opb -t 3600 -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
solver pid=160250, runsolver pid=160247
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.03 4.09 4.08 5/266 160251
/proc/meminfo: memFree=115278864/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=97472 memory=86528 CPUtime=0.08 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 19656 0 0 0 6 2 0 0 20 0 1 0 237104920 99811328 21632 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 24368 21632 2176 2575 0 21275 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 97472 KiB
Current children cumulated memory: 86528 KiB

[startup+0.205492 s]*
/proc/loadavg: 4.03 4.09 4.08 5/266 160251
/proc/meminfo: memFree=115182096/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=180436 memory=168704 CPUtime=0.19 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 40204 0 0 0 14 5 0 0 20 0 1 0 237104920 184766464 42176 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 45109 42176 2176 2575 0 42016 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 180436 KiB
Current children cumulated memory: 168704 KiB

[startup+0.305439 s]*
/proc/loadavg: 4.03 4.09 4.08 5/266 160251
/proc/meminfo: memFree=115109520/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=257180 memory=245248 CPUtime=0.28 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 59343 0 0 0 21 7 0 0 20 0 1 0 237104920 263352320 61312 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 64295 61312 2176 2575 0 61202 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 257180 KiB
Current children cumulated memory: 245248 KiB

[startup+0.700188 s]
/proc/loadavg: 4.03 4.09 4.08 5/266 160251
/proc/meminfo: memFree=114932364/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=614312 memory=604552 CPUtime=0.67 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 149475 0 0 0 47 20 0 0 20 0 1 0 237104920 629055488 151138 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 153578 151138 2368 2575 0 150485 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 614312 KiB
Current children cumulated memory: 604552 KiB

[startup+1.50019 s]
/proc/loadavg: 4.03 4.09 4.08 5/266 160251
/proc/meminfo: memFree=114633996/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=918876 memory=891052 CPUtime=1.47 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 202226 0 0 0 116 31 0 0 20 0 1 0 237104920 940929024 222763 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 229719 222763 2496 2575 0 226626 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 918876 KiB
Current children cumulated memory: 891052 KiB

[startup+3.1053 s]
/proc/loadavg: 4.03 4.09 4.08 5/266 160251
/proc/meminfo: memFree=114466132/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=854680 memory=820760 CPUtime=3.07 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 206423 0 0 0 275 32 0 0 20 0 1 0 237104920 875192320 205190 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 213670 205190 2496 2575 0 210577 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 854680 KiB
Current children cumulated memory: 820760 KiB

[startup+6.30017 s]
/proc/loadavg: 4.03 4.09 4.08 5/266 160251
/proc/meminfo: memFree=114135848/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=1369024 memory=1194412 CPUtime=6.26 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 288556 0 0 0 583 43 0 0 20 0 1 0 237104920 1401880576 298603 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 342256 298603 2560 2575 0 339163 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1369024 KiB
Current children cumulated memory: 1194412 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 160252
/proc/meminfo: memFree=114122012/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=1530528 memory=1363080 CPUtime=12.64 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 319937 0 0 0 1215 49 0 0 20 0 1 0 237104920 1567260672 340770 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 382632 340770 2624 2575 0 379539 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1530528 KiB
Current children cumulated memory: 1363080 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 160252
/proc/meminfo: memFree=113697724/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=1790460 memory=1602044 CPUtime=25.4 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 373852 0 0 0 2483 57 0 0 20 0 1 0 237104920 1833431040 400511 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 447615 400511 2688 2575 0 444522 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1790460 KiB
Current children cumulated memory: 1602044 KiB

[startup+51.1056 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 160252
/proc/meminfo: memFree=113594648/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=1827544 memory=1642208 CPUtime=50.95 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 383445 0 0 0 5036 59 0 0 20 0 1 0 237104920 1871405056 410552 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 456886 410552 2688 2575 0 453793 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1827544 KiB
Current children cumulated memory: 1642208 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/266 160254
/proc/meminfo: memFree=113124632/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=2153928 memory=1924752 CPUtime=101.99 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 441383 0 0 0 10130 69 0 0 20 0 1 0 237104920 2205622272 481188 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 538482 481188 2688 2575 0 535389 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2153928 KiB
Current children cumulated memory: 1924752 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.17 4.12 5/265 160267
/proc/meminfo: memFree=112675032/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=2356060 memory=2134052 CPUtime=161.84 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 715425 0 0 0 16071 113 0 0 20 0 1 0 237104920 2412605440 533513 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 589015 533513 2688 2575 0 585922 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2356060 KiB
Current children cumulated memory: 2134052 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 160269
/proc/meminfo: memFree=111832728/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3004228 memory=2758456 CPUtime=221.65 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 864563 0 0 0 22030 135 0 0 20 0 1 0 237104920 3076329472 689614 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 751057 689614 2688 2575 0 747964 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 3004228 KiB
Current children cumulated memory: 2758456 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/263 160272
/proc/meminfo: memFree=111566264/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3045772 memory=2793528 CPUtime=281.5 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 873650 0 0 0 28013 137 0 0 20 0 1 0 237104920 3118870528 698382 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 761443 698382 2688 2575 0 758350 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 3045772 KiB
Current children cumulated memory: 2793528 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 160274
/proc/meminfo: memFree=111340056/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2796716 CPUtime=341.33 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 881665 0 0 0 33995 138 0 0 20 0 1 0 237104920 3088457728 699179 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699179 2688 2575 0 750925 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2796716 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/263 160276
/proc/meminfo: memFree=111087516/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797228 CPUtime=401.17 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 881827 0 0 0 39979 138 0 0 20 0 1 0 237104920 3088457728 699307 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699307 2688 2575 0 750925 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797228 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/265 160286
/proc/meminfo: memFree=110936964/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797228 CPUtime=461.03 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 881839 0 0 0 45965 138 0 0 20 0 1 0 237104920 3088457728 699307 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699307 2688 2575 0 750925 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797228 KiB

[startup+522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 160288
/proc/meminfo: memFree=110694952/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797228 CPUtime=520.86 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 881903 0 0 0 51947 139 0 0 20 0 1 0 237104920 3088457728 699307 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699307 2688 2575 0 750925 0
Current children cumulated CPU time: 520.86 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797228 KiB

[startup+582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 160290
/proc/meminfo: memFree=110465440/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797356 CPUtime=580.68 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 881933 0 0 0 57929 139 0 0 20 0 1 0 237104920 3088457728 699339 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699339 2688 2575 0 750925 0
Current children cumulated CPU time: 580.68 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797356 KiB

[startup+642.3 s]
/proc/loadavg: 4.33 4.16 4.11 5/265 160292
/proc/meminfo: memFree=110322156/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797356 CPUtime=640.54 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 881967 0 0 0 63915 139 0 0 20 0 1 0 237104920 3088457728 699339 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699339 2688 2575 0 750925 0
Current children cumulated CPU time: 640.54 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797356 KiB

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

# cumulated CPU time of all completed processes:  user=653.397 s, system=1.48721 s

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

[startup+646.4 s]
/proc/loadavg: 4.38 4.18 4.11 5/265 160292
/proc/meminfo: memFree=110293992/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797356 CPUtime=644.63 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 881988 0 0 0 64324 139 0 0 20 0 1 0 237104920 3088457728 699339 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699339 2688 2575 0 750925 0
Current children cumulated CPU time: 644.63 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797356 KiB

[startup+652.8 s]
/proc/loadavg: 4.43 4.19 4.12 5/265 160292
/proc/meminfo: memFree=110286400/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797740 CPUtime=651.01 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 882089 0 0 0 64962 139 0 0 20 0 1 0 237104920 3088457728 699435 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699435 2688 2575 0 750925 0
Current children cumulated CPU time: 651.01 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797740 KiB

[startup+654.4 s]
/proc/loadavg: 4.43 4.19 4.12 5/265 160292
/proc/meminfo: memFree=110286400/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797740 CPUtime=652.6 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 882089 0 0 0 65121 139 0 0 20 0 1 0 237104920 3088457728 699435 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699435 2688 2575 0 750925 0
Current children cumulated CPU time: 652.6 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797740 KiB

[startup+656 s]*
/proc/loadavg: 4.40 4.19 4.12 5/265 160292
/proc/meminfo: memFree=110284636/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797740 CPUtime=654.2 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 882100 0 0 0 65281 139 0 0 20 0 1 0 237104920 3088457728 699435 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699435 2688 2575 0 750925 0
Current children cumulated CPU time: 654.2 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797740 KiB

[startup+656.4 s]
/proc/loadavg: 4.40 4.19 4.12 5/265 160292
/proc/meminfo: memFree=110284636/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=3016072 memory=2797740 CPUtime=654.59 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 882103 0 0 0 65320 139 0 0 20 0 1 0 237104920 3088457728 699435 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 754018 699435 2688 2575 0 750925 0
Current children cumulated CPU time: 654.59 s
Current children cumulated vsize: 3016072 KiB
Current children cumulated memory: 2797740 KiB

[startup+656.6 s]
/proc/loadavg: 4.40 4.19 4.12 5/265 160292
/proc/meminfo: memFree=110284636/131249992 swapFree=33009392/33010684
[pid=160250] ppid=160247 vsize=2735888 memory=2517600 CPUtime=654.8 cores=0,2
/proc/160250/stat : 160250 (pbsolver) R 160247 160250 158250 0 -1 4194304 882103 0 0 0 65339 141 0 0 20 0 1 0 237104920 2801549312 629400 18446744073709551615 4198400 14743177 140731154882368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36212736 140731154885000 140731154885096 140731154885096 140731154890700 0
/proc/160250/statm: 683972 629400 2688 2575 0 680879 0
Current children cumulated CPU time: 654.8 s
Current children cumulated vsize: 2735888 KiB
Current children cumulated memory: 2517600 KiB

Child status: 0

Real time (s): 656.678
CPU time (s): 654.884
CPU user time (s): 653.397
CPU system time (s): 1.48721
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 3054524
Max. memory (cumulated for all children) (KiB): 2800568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 653.397
system time used= 1.4872
maximum resident set size= 2800568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 882104
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= 3
involuntary context switches= 1629


# summary of solver processes directly reported to runsolver:
#   pid: 160250
#   total CPU time (s): 654.884
#   total CPU user time (s): 653.397
#   total CPU system time (s): 1.48721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2819 second user time and 2.73081 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-22 21:58:24
IDJOB=4543722
IDBENCH=174564
IDSOLVER=3366
FILE ID=nodeC035/4543722-1753214304
RUNJOBID= nodeC035-1753209881-158260
SLURM_JOB_ID= 9687779
Free space on /tmp= 432356 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543722-1753214304/watcher-4543722-1753214304 -o /tmp/evaluation-result-4543722-1753214304/solver-4543722-1753214304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760  pbsolver -f HOME/instance-4543722-1753214304.opb -t 3600 -m 31000

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

MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
RANDOM SEED=585834527

nodeC035 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		: 3602.069
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.51
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.764
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.51
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.769
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.51
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		: 3672.843
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.51
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.740
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.51
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.749
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.51
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		: 3573.085
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.51
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		: 3700.000
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        115343124 kB
MemAvailable:   117652216 kB
Buffers:             664 kB
Cached:          3060164 kB
SwapCached:          336 kB
Active:         12919224 kB
Inactive:        2189868 kB
Active(anon):   12055300 kB
Inactive(anon):    18908 kB
Active(file):     863924 kB
Inactive(file):  2170960 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20724 kB
Writeback:             0 kB
AnonPages:      12051044 kB
Mapped:           141672 kB
Shmem:             25904 kB
KReclaimable:     226896 kB
Slab:             322560 kB
SReclaimable:     226896 kB
SUnreclaim:        95664 kB
KernelStack:        4300 kB
PageTables:        27160 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14055208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4751360 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432340 MiB
End job on nodeC035 at 2025-07-22 22:09:21