Trace number 4542201

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-13? 3584.81 3599.96

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
MD5SUM883a1a775d6309f3a96fbb0c62b71064
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 benchmark366.876
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1040520
Total number of constraints61390
Number of constraints which are clauses31085
Number of constraints which are cardinality constraints (but not clauses)27302
Number of constraints which are nor clauses,nor cardinality constraints3003
Minimum length of a constraint36
Maximum length of a constraint41
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 44
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4542201-1753209885.opb>
1.38/1.47	c original problem has 1040520 variables (1040520 bin, 0 int, 0 cont) and 61390 constraints
1.38/1.47	c problem read in 1.472 seconds
1.38/1.48	c problem without objective
3.57/3.68	c presolving:
4.87/4.97	c    (5.0s) running MILP presolver
5.87/5.95	c    (5.9s) MILP presolver found nothing
6.67/6.76	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 34051 upgd conss, 0 impls, 27300 clqs
7.77/7.86	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61390 upgd conss, 0 impls, 27300 clqs
17.83/17.97	c    (18.0s) probing: 51/1040520 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
17.83/17.97	c    (18.0s) probing aborted: 50/50 successive totally useless probings
18.52/18.60	c    (18.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
19.93/20.05	c    (20.0s) symmetry computation finished: 61 generators found (max: 61, log10 of symmetry group size: 67.06) (symcode time: 1.01)
19.93/20.06	c dynamic symmetry handling statistics:
19.93/20.06	c    orbitopal reduction:       no components
19.93/20.06	c    orbital reduction:          1 components of sizes 60
19.93/20.06	c    lexicographic reduction:   60 permutations with support sizes 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 72, 74, 72, 72, 72, 72, 72, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74, 74
19.93/20.06	c handled 2 out of 2 symmetry components
20.52/20.62	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
20.52/20.62	c  0 deleted vars, 0 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
20.52/20.62	c  0 implications, 27301 cliques
20.52/20.62	c presolved problem has 1040520 variables (1040520 bin, 0 int, 0 cont) and 61391 constraints
20.52/20.62	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
20.52/20.62	c    3005 constraints of type <knapsack>
20.52/20.62	c   27300 constraints of type <setppc>
20.52/20.62	c       1 constraints of type <linear>
20.52/20.62	c   31085 constraints of type <logicor>
20.52/20.62	c transformed objective value is always integral (scale: 1)
20.52/20.62	c Presolving Time: 17.38
20.52/20.62	c 
20.52/20.62	c - non default parameters ----------------------------------------------------------------------
20.52/20.62	c 
20.52/20.62	c # SCIP version 10.0.0
20.52/20.62	c 
20.52/20.62	c # maximal time in seconds to run
20.52/20.62	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
20.52/20.62	c limits/time = 3596.998009
20.52/20.62	c 
20.52/20.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.52/20.62	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
20.52/20.62	c limits/memory = 27900
20.52/20.62	c 
20.52/20.62	c # belongs reading time to solving time?
20.52/20.62	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
20.52/20.62	c timing/reading = TRUE
20.52/20.62	c 
20.52/20.62	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
20.52/20.62	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
20.52/20.62	c reading/opbreader/maxintsize = 47
20.52/20.62	c 
20.52/20.62	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
20.52/20.62	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
20.52/20.62	c propagating/genvbounds/timingmask = 0
20.52/20.62	c 
20.52/20.62	c -----------------------------------------------------------------------------------------------
20.62/20.77	c 
223.09/224.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
223.09/224.02	c   224s|     1 |     0 |128861 |     - |  4556M |   0 |1040k|  61k|  61k|   0 |  0 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
371.39/372.90	c   373s|     1 |     0 |197942 |     - |  4910M |   0 |1040k|  61k|  61k| 138 |  1 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
385.31/386.99	c   387s|     1 |     0 |198559 |     - |  4966M |   0 |1040k|  61k|  61k| 272 |  2 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
400.54/402.29	c   402s|     1 |     0 |199049 |     - |  5041M |   0 |1040k|  61k|  61k| 363 |  3 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
420.65/422.46	c   422s|     1 |     0 |199827 |     - |  5134M |   0 |1040k|  61k|  61k| 469 |  4 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
447.25/449.12	c   449s|     1 |     0 |200349 |     - |  5248M |   0 |1040k|  61k|  61k| 560 |  5 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
465.56/467.53	c   468s|     1 |     0 |200824 |     - |  5345M |   0 |1040k|  61k|  62k| 639 |  6 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
490.25/492.36	c   492s|     1 |     0 |201249 |     - |  5481M |   0 |1040k|  61k|  62k| 702 |  7 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
510.66/512.86	c   513s|     1 |     0 |201740 |     - |  5581M |   0 |1040k|  61k|  62k| 762 |  8 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
530.07/532.36	c   532s|     1 |     0 |202365 |     - |  5675M |   0 |1040k|  61k|  62k| 825 |  9 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
550.08/552.47	c   552s|     1 |     0 |202930 |     - |  5726M |   0 |1040k|  61k|  62k| 882 | 10 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
560.14/562.50	c   562s|     1 |     0 |203201 |     - |  5740M |   0 |1040k|  61k|  62k| 926 | 11 | 222 |   0 | 0.000000e+00 |      --      |    Inf | unknown
722.23/725.34	c   725s|     1 |     2 |247172 |     - |  5774M |   0 |1040k|  61k|  62k| 926 | 11 | 225 |  29 | 0.000000e+00 |      --      |    Inf | unknown
2819.90/2831.95	c  2832s|   100 |   101 |657631 |4590.2 |  6063M |  12 |1040k|  61k|  61k|4943 |  1 | 324 |  29 | 0.000000e+00 |      --      |    Inf | unknown
3305.55/3319.53	c  3320s|   200 |   201 |803798 |3018.1 |  6077M |  12 |1040k|  61k|  61k|  11k|  1 | 353 |  29 | 0.000000e+00 |      --      |    Inf | unknown
3581.87/3597.01	c 
3581.87/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3581.87/3597.01	c Solving Time (sec) : 3597.00
3581.87/3597.01	c Solving Nodes      : 247
3581.87/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3581.87/3597.01	c Dual Bound         : +0.00000000000000e+00
3581.87/3597.01	c Gap                : infinite
3581.87/3597.01	s UNKNOWN
3581.87/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3581.87/3597.01	c Total Time         :    3597.00
3581.87/3597.01	c   solving          :    3597.00
3581.87/3597.01	c   presolving       :      17.38 (included in solving)
3581.87/3597.01	c   reading          :       1.47 (included in solving)
3581.87/3597.01	c   copying          :       3.18 (2 #copies) (minimal 1.49, maximal 1.69, average 1.59)
3581.87/3597.01	c Original Problem   :
3581.87/3597.01	c   Problem name     : HOME/instance-4542201-1753209885.opb
3581.87/3597.01	c   Variables        : 1040520 (1040520 binary, 0 integer, 0 continuous)
3581.87/3597.01	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3581.87/3597.01	c   Constraints      : 61390 initial, 61390 maximal
3581.87/3597.04	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3581.87/3597.04	c Presolved Problem  :
3581.87/3597.04	c   Problem name     : t_HOME/instance-4542201-1753209885.opb
3581.87/3597.04	c   Variables        : 1040520 (1040520 binary, 0 integer, 0 continuous)
3581.87/3597.04	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3581.87/3597.04	c   Constraints      : 61391 initial, 61746 maximal
3581.87/3597.06	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3581.87/3597.06	c   Nonzeros         : 2264211 constraint, 1010118 clique table
3581.87/3597.06	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3581.87/3597.06	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   domcol           :       0.62       0.00      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   dualsparsify     :       0.63       0.00      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   gateextraction   :       0.20       0.00      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   implics          :       0.06       0.00      3          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   milp             :       1.76       0.00      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   sparsify         :       0.48       0.00      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   trivial          :       0.10       0.00      3          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   dualfix          :       0.10       0.00      3          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   probing          :       7.46       0.04      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   symmetry         :       1.46       0.00      1          0          0          0          0          0          0          1          0          0
3581.87/3597.06	c   vbounds          :       0.35       0.00      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   knapsack         :       0.25       0.02      6          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   setppc           :       0.45       0.04      3          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   linear           :       1.16       0.27      4          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   logicor          :       0.98       0.06      5          0          0          0          0          0          0          0          0          8
3581.87/3597.06	c   components       :       0.30       0.00      1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3581.87/3597.06	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3581.87/3597.06	c   integral         :          0          0          0          0        246          0          0         19          0          0          0          0          0          0        492
3581.87/3597.06	c   knapsack         :       3005+      3023         11     147202          0          0          0         15        800         29          0          0          0          0          0
3581.87/3597.06	c   setppc           :      27300+     27316         11     147173          0          0          0          1       4257          8       2957          0          0          0          0
3581.87/3597.06	c   linear           :          1          1         11     125270          0          0          0          4          0          0          0          0          0          0          0
3581.87/3597.06	c   logicor          :      31085+     31406         11      34036          0          0          0          1         90         12          0          0          0          0          0
3581.87/3597.06	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3581.87/3597.06	c   integral         :      30.18       0.00       0.00       0.00      30.18       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   knapsack         :       0.47       0.02       0.20       0.25       0.00       0.00       0.00       0.01       0.00       0.00
3581.87/3597.06	c   setppc           :       1.06       0.04       0.21       0.77       0.00       0.00       0.00       0.04       0.00       0.00
3581.87/3597.06	c   linear           :       0.27       0.27       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   logicor          :       0.42       0.06       0.14       0.22       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3581.87/3597.06	c   dualfix          :          1          0          0          0
3581.87/3597.06	c   genvbounds       :          0          0          0          0
3581.87/3597.06	c   nlobbt           :          0          0          0          0
3581.87/3597.06	c   obbt             :          0          0          0          0
3581.87/3597.06	c   probing          :          0          0          0          0
3581.87/3597.06	c   pseudoobj        :          0          0          0          0
3581.87/3597.06	c   redcost          :          0          0          0          0
3581.87/3597.06	c   rootredcost      :          0          0          0          0
3581.87/3597.06	c   symmetry         :        336          0          0          0
3581.87/3597.06	c   vbounds          :      17708          0          0          0
3581.87/3597.06	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3581.87/3597.06	c   dualfix          :       0.13       0.00       0.10       0.03       0.00       0.00
3581.87/3597.06	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3581.87/3597.06	c   probing          :       7.49       0.04       7.46       0.00       0.00       0.00
3581.87/3597.06	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3581.87/3597.06	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3581.87/3597.06	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.00
3581.87/3597.06	c   symmetry         :       1.75       0.00       1.46       0.29       0.00       0.00
3581.87/3597.06	c   vbounds          :       0.70       0.00       0.35       0.35       0.00       0.00
3581.87/3597.06	c Symmetry           :
3581.87/3597.06	c   #affected vars   :       1324 (1324 bin, 0 int, 0 cont)
3581.87/3597.06	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3581.87/3597.06	c   orbital reduction:          0 reductions applied,          0 cutoffs
3581.87/3597.06	c   lexicographic red:          0 reductions applied,          0 cutoffs
3581.87/3597.06	c   shadow tree time :       0.00 s
3581.87/3597.06	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3581.87/3597.06	c   propagation      :       0.00         38         29          -        787       79.8          0        0.0          -          -          -
3581.87/3597.06	c   infeasible LP    :       3.08         44         44          -         97       52.9          0        0.0         44       79.6          0
3581.87/3597.06	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3581.87/3597.06	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3581.87/3597.06	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3581.87/3597.06	c   applied globally :       0.00          -          -          0        331       47.5          -          -         44          -          -
3581.87/3597.06	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3581.87/3597.06	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3581.87/3597.06	c   cut pool         :       9.58          -        185         21          -          -       3147      59716          -          -          -          -          -    (maximal pool size:       3078)
3581.87/3597.06	c   aggregation      :       2.47       0.00         19         11          0          0          1          2          0          0          0          0          0
3581.87/3597.06	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3581.87/3597.06	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3581.87/3597.06	c   > knapsackcover  :          -          -          -          -          -          -          -          2          0          0          0          0          -
3581.87/3597.06	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   clique           :      77.88       0.00         11         11          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   gomory           :      90.15       0.00         18         10          0          0       2406      43773          0       5511       5511          0          0
3581.87/3597.06	c   > gomorymi       :          -          -          -          -          -          -          -      13939          0        878        878          0          -
3581.87/3597.06	c   > strongcg       :          -          -          -          -          -          -          -      29834          0       4633       4633          0          -
3581.87/3597.06	c   impliedbounds    :       0.66       0.00         19         11          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   mcf              :       0.44       0.00          1          1          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   multilinear      :       0.00       0.00         16         11          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3581.87/3597.06	c   zerohalf         :       7.63       0.00         19         11          0          0        745      15941          5       9019       9015          4          0
3581.87/3597.06	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3581.87/3597.06	c   hybrid           :       3.01       0.00        167         11      14530          0      45191        926          0       3396
3581.87/3597.06	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3581.87/3597.06	c   problem variables:       0.00          -          0          0
3581.87/3597.06	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3581.87/3597.06	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c   relpscost        :      30.18       0.00        246          0          0          0          0          0          0        492
3581.87/3597.06	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3581.87/3597.06	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3581.87/3597.06	c   LP solutions     :       0.00          -          -          0          0
3581.87/3597.06	c   relax solutions  :       0.00          -          -          0          0
3581.87/3597.06	c   pseudo solutions :       0.00          -          -          0          0
3581.87/3597.06	c   strong branching :       0.01          -          -          0          0
3581.87/3597.06	c   actconsdiving    :       0.00       0.00          0          0          0
3581.87/3597.06	c   adaptivediving   :     200.59       0.00          5          0          0
3581.87/3597.06	c   alns             :       4.34       0.00          1          0          0
3581.87/3597.06	c   bound            :       0.00       0.00          0          0          0
3581.87/3597.06	c   clique           :       6.52       0.00          1          0          0
3581.87/3597.06	c   coefdiving       :       0.00       0.00          0          0          0
3581.87/3597.06	c   completesol      :       0.00       0.00          0          0          0
3581.87/3597.06	c   conflictdiving   :    1303.27       0.00         23          0          0
3581.87/3597.06	c   crossover        :       0.00       0.00          0          0          0
3581.87/3597.06	c   dins             :       0.00       0.00          0          0          0
3581.87/3597.06	c   distributiondivin:       3.50       0.00          1          0          0
3581.87/3597.06	c   dks              :       0.00       0.00          0          0          0
3581.87/3597.06	c   dps              :       0.00       0.00          0          0          0
3581.87/3597.06	c   dualval          :       0.00       0.00          0          0          0
3581.87/3597.06	c   farkasdiving     :       0.00       0.00          0          0          0
3581.87/3597.06	c   feaspump         :     136.49       0.00          1          0          0
3581.87/3597.06	c   fixandinfer      :       0.00       0.00          0          0          0
3581.87/3597.06	c   fracdiving       :      44.77       0.00          1          0          0
3581.87/3597.06	c   gins             :       0.00       0.00          0          0          0
3581.87/3597.06	c   guideddiving     :       0.00       0.00          0          0          0
3581.87/3597.06	c   indicator        :       0.00       0.00          0          0          0
3581.87/3597.06	c   indicatordiving  :       0.00       0.00          0          0          0
3581.87/3597.06	c   intdiving        :       0.00       0.00          0          0          0
3581.87/3597.06	c   intshifting      :       0.00       0.00          0          0          0
3581.87/3597.06	c   linesearchdiving :     241.67       0.00          6          0          0
3581.87/3597.06	c   localbranching   :       0.00       0.00          0          0          0
3581.87/3597.06	c   locks            :     150.49       0.00          1          0          0
3581.87/3597.06	c   lpface           :       0.04       0.00          0          0          0
3581.87/3597.06	c   mpec             :       0.00       0.00          0          0          0
3581.87/3597.06	c   multistart       :       0.00       0.00          0          0          0
3581.87/3597.06	c   mutation         :       0.00       0.00          0          0          0
3581.87/3597.06	c   nlpdiving        :       0.00       0.00          0          0          0
3581.87/3597.06	c   objpscostdiving  :     573.46       0.00          1          0          0
3581.87/3597.06	c   octane           :       0.00       0.00          0          0          0
3581.87/3597.06	c   ofins            :       0.00       0.00          0          0          0
3581.87/3597.06	c   oneopt           :       0.00       0.00          0          0          0
3581.87/3597.06	c   padm             :       0.00       0.00          0          0          0
3581.87/3597.06	c   proximity        :       0.00       0.00          0          0          0
3581.87/3597.06	c   pscostdiving     :      46.57       0.00          6          0          0
3581.87/3597.06	c   randrounding     :       1.53       0.00         12          0          0
3581.87/3597.06	c   rens             :       5.09       0.00          1          0          0
3581.87/3597.06	c   reoptsols        :       0.00       0.00          0          0          0
3581.87/3597.06	c   repair           :       0.00       0.00          0          0          0
3581.87/3597.06	c   rins             :       0.00       0.00          0          0          0
3581.87/3597.06	c   rootsoldiving    :      29.10       0.00          1          0          0
3581.87/3597.06	c   rounding         :       0.99       0.00        240          0          0
3581.87/3597.06	c   scheduler        :       0.00       0.00          0          0          0
3581.87/3597.06	c   shiftandpropagate:       0.44       0.00          1          0          0
3581.87/3597.06	c   shifting         :      14.53       0.00        169          0          0
3581.87/3597.06	c   simplerounding   :       0.02       0.00          0          0          0
3581.87/3597.06	c   subnlp           :       0.00       0.00          0          0          0
3581.87/3597.06	c   trivial          :       0.88       0.00          2          0          0
3581.87/3597.06	c   trivialnegation  :       0.00       0.00          0          0          0
3581.87/3597.06	c   trustregion      :       0.00       0.00          0          0          0
3581.87/3597.06	c   trysol           :       0.00       0.00          0          0          0
3581.87/3597.06	c   twoopt           :       0.00       0.00          0          0          0
3581.87/3597.06	c   undercover       :       0.00       0.00          0          0          0
3581.87/3597.06	c   vbounds          :       0.38       0.00          1          0          0
3581.87/3597.06	c   veclendiving     :      84.22       0.00          2          0          0
3581.87/3597.06	c   zeroobj          :       0.00       0.00          0          0          0
3581.87/3597.06	c   zirounding       :       2.51       0.00        246          0          0
3581.87/3597.06	c   other solutions  :          -          -          -          0          -
3581.87/3597.06	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	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
3581.87/3597.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3581.87/3597.06	c   primal LP        :      11.72         78          0       0.00       0.00      11.72         78
3581.87/3597.06	c   dual LP          :     429.26        414     348911     842.78     812.82       0.00          0
3581.87/3597.06	c   lex dual LP      :       0.00          0          0       0.00          -
3581.87/3597.06	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3581.87/3597.06	c   resolve instable :       0.00          0          0       0.00          -
3581.87/3597.06	c   diving/probing LP:     701.36       1847     539020     291.84     768.54
3581.87/3597.06	c   strong branching :      16.40         29       1574      54.28      95.97          -          -          0
3581.87/3597.06	c     (at root node) :          -         29       1574      54.28          -
3581.87/3597.06	c   conflict analysis:       0.00          0          0       0.00          -
3581.87/3597.06	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3581.87/3597.06	c   benders          :       0.00          0          0          0       0.00          0          0          0
3581.87/3597.06	c B&B Tree           :
3581.87/3597.06	c   number of runs   :          1
3581.87/3597.06	c   nodes            :        247 (246 internal, 1 leaves)
3581.87/3597.06	c   feasible leaves  :          0
3581.87/3597.06	c   infeas. leaves   :          0
3581.87/3597.06	c   objective leaves :          0
3581.87/3597.06	c   nodes (total)    :        247 (246 internal, 1 leaves)
3581.87/3597.06	c   nodes left       :        247
3581.87/3597.06	c   max depth        :         12
3581.87/3597.06	c   max depth (total):         12
3581.87/3597.06	c   backtracks       :         89 (36.0%)
3581.87/3597.06	c   early backtracks :          0 (0.0%)
3581.87/3597.06	c   nodes exc. ref.  :          0 (0.0%)
3581.87/3597.06	c   delayed cutoffs  :          0
3581.87/3597.06	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3581.87/3597.06	c   avg switch length:       2.44
3581.87/3597.06	c   switching time   :      14.22
3581.87/3597.06	c Root Node          :
3581.87/3597.06	c   First LP value   : +0.00000000000000e+00
3581.87/3597.06	c   First LP Iters   :     128861 (2893.66 Iter/sec)
3581.87/3597.06	c   First LP Time    :      44.53
3581.87/3597.06	c   Final Dual Bound : +0.00000000000000e+00
3581.87/3597.06	c   Final Root Iters :     203201
3581.87/3597.06	c   Root LP Estimate : +1.96376227947716e-02
3581.87/3597.06	c Solution           :
3581.87/3597.06	c   Solutions found  :          0 (0 improvements)
3581.87/3597.06	c   Primal Bound     :          -
3581.87/3597.06	c   Dual Bound       : +0.00000000000000e+00
3581.87/3597.06	c   Gap              :   infinite
3581.87/3597.06	c Integrals          :      Total       Avg%
3581.87/3597.06	c   primal-dual      :  359700.28     100.00
3581.87/3597.06	c   primal-ref       :          -          - (not evaluated)
3581.87/3597.06	c   dual-ref         :          -          - (not evaluated)
3584.65/3599.86	c Time complete (sec):   3584.726

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542201-1753209885/watcher-4542201-1753209885 -o /tmp/evaluation-result-4542201-1753209885/solver-4542201-1753209885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158261 --watchdog 3760 pbsolver -f HOME/instance-4542201-1753209885.opb -t 3600 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=158669, runsolver pid=158666
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.87 3.45 3.86 5/262 158670
/proc/meminfo: memFree=127083296/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=112404 memory=101376 CPUtime=0.1 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 23393 0 0 0 7 3 0 0 20 0 1 0 236663084 115101696 25344 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 28101 25344 2176 2575 0 25008 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112404 KiB
Current children cumulated memory: 101376 KiB

[startup+0.205441 s]*
/proc/loadavg: 1.87 3.45 3.86 5/260 158670
/proc/meminfo: memFree=126958240/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=194296 memory=183168 CPUtime=0.2 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 43823 0 0 0 14 6 0 0 20 0 1 0 236663084 198959104 45792 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 48574 45792 2176 2575 0 45481 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 194296 KiB
Current children cumulated memory: 183168 KiB

[startup+0.305343 s]*
/proc/loadavg: 1.87 3.45 3.86 5/260 158671
/proc/meminfo: memFree=126861724/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=272996 memory=260312 CPUtime=0.3 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 62589 0 0 0 21 9 0 0 20 0 1 0 236663084 279547904 65078 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 68249 65078 2176 2575 0 65156 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 272996 KiB
Current children cumulated memory: 260312 KiB

[startup+0.70019 s]
/proc/loadavg: 1.87 3.45 3.86 4/263 158680
/proc/meminfo: memFree=126624276/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=550484 memory=538896 CPUtime=0.69 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 130218 0 0 0 50 19 0 0 20 0 1 0 236663084 563695616 134724 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 137621 134724 2176 2575 0 134528 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 550484 KiB
Current children cumulated memory: 538896 KiB

[startup+1.50019 s]
/proc/loadavg: 1.87 3.45 3.86 4/261 158688
/proc/meminfo: memFree=125747856/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=1115688 memory=1096340 CPUtime=1.48 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 270004 0 0 0 109 39 0 0 20 0 1 0 236663084 1142464512 274085 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 278922 274085 2368 2575 0 275829 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1115688 KiB
Current children cumulated memory: 1096340 KiB

[startup+3.10535 s]
/proc/loadavg: 2.12 3.47 3.87 5/265 158726
/proc/meminfo: memFree=122451676/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=2407124 memory=2394320 CPUtime=3.08 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 574050 0 0 0 228 80 0 0 20 0 1 0 236663084 2464894976 598580 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 601781 598580 2368 2575 0 598688 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2407124 KiB
Current children cumulated memory: 2394320 KiB

[startup+6.30017 s]
/proc/loadavg: 2.12 3.47 3.87 5/265 158726
/proc/meminfo: memFree=118842180/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=2985424 memory=2929792 CPUtime=6.27 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 676293 0 0 0 513 114 0 0 20 0 1 0 236663084 3057074176 732448 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 746356 732448 2496 2575 0 743263 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2985424 KiB
Current children cumulated memory: 2929792 KiB

[startup+12.7002 s]
/proc/loadavg: 2.27 3.48 3.87 5/265 158726
/proc/meminfo: memFree=115003184/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=3309572 memory=3214256 CPUtime=12.65 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 700952 0 0 0 1143 122 0 0 20 0 1 0 236663084 3389001728 803564 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 827393 803564 2592 2575 0 824300 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3309572 KiB
Current children cumulated memory: 3214256 KiB

[startup+25.5002 s]
/proc/loadavg: 2.66 3.51 3.87 5/265 158726
/proc/meminfo: memFree=112475460/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=4683648 memory=4363940 CPUtime=25.4 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 793165 0 0 0 2385 155 0 0 20 0 1 0 236663084 4796055552 1090985 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1170912 1090985 2624 2575 0 1167819 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4683648 KiB
Current children cumulated memory: 4363940 KiB

[startup+51.1057 s]
/proc/loadavg: 3.26 3.58 3.89 5/265 158771
/proc/meminfo: memFree=103942120/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=4683648 memory=4363940 CPUtime=50.9 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 793320 0 0 0 4934 156 0 0 20 0 1 0 236663084 4796055552 1090985 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1170912 1090985 2624 2575 0 1167819 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 4683648 KiB
Current children cumulated memory: 4363940 KiB

[startup+102.3 s]
/proc/loadavg: 3.74 3.66 3.90 5/265 158773
/proc/meminfo: memFree=98397900/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=4683648 memory=4363940 CPUtime=101.88 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 793891 0 0 0 10032 156 0 0 20 0 1 0 236663084 4796055552 1090985 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1170912 1090985 2624 2575 0 1167819 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 4683648 KiB
Current children cumulated memory: 4363940 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.74 3.91 5/265 158775
/proc/meminfo: memFree=98711644/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=4683648 memory=4363940 CPUtime=161.61 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 793967 0 0 0 16004 157 0 0 20 0 1 0 236663084 4796055552 1090985 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1170912 1090985 2624 2575 0 1167819 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 4683648 KiB
Current children cumulated memory: 4363940 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 3.84 3.94 5/265 158777
/proc/meminfo: memFree=96023924/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=5175612 memory=4734584 CPUtime=221.39 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 822551 0 0 0 21973 166 0 0 20 0 1 0 236663084 5299826688 1183646 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1293903 1183646 2656 2575 0 1290810 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 5175612 KiB
Current children cumulated memory: 4734584 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.89 3.95 5/264 158779
/proc/meminfo: memFree=95955220/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=5285916 memory=4812400 CPUtime=281.19 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 826827 0 0 0 27950 169 0 0 20 0 1 0 236663084 5412777984 1203100 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1321479 1203100 2656 2575 0 1318386 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 5285916 KiB
Current children cumulated memory: 4812400 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.92 3.96 5/262 158781
/proc/meminfo: memFree=95899944/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=5336576 memory=4862480 CPUtime=340.93 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 830446 0 0 0 33923 170 0 0 20 0 1 0 236663084 5464653824 1215620 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1334144 1215620 2656 2575 0 1331051 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 5336576 KiB
Current children cumulated memory: 4862480 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.97 3.98 5/263 158784
/proc/meminfo: memFree=95599772/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=5762788 memory=5140068 CPUtime=400.64 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 851268 0 0 0 39886 178 0 0 20 0 1 0 236663084 5901094912 1285017 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1440697 1285017 2688 2575 0 1437604 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 5762788 KiB
Current children cumulated memory: 5140068 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.99 3.99 5/263 158786
/proc/meminfo: memFree=94824148/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=6067560 memory=5406648 CPUtime=460.38 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 899209 0 0 0 45848 190 0 0 20 0 1 0 236663084 6213181440 1351662 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 1516890 1351662 2688 2575 0 1513797 0

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

Current children cumulated memory: 8568792 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 158933
/proc/meminfo: memFree=88098976/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8572120 CPUtime=3208.74 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1592528 0 0 0 320561 313 0 0 20 0 1 0 236663084 9347637248 2143030 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2143030 2688 2575 0 2279045 0
Current children cumulated CPU time: 3208.74 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8572120 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 158937
/proc/meminfo: memFree=88093640/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8574680 CPUtime=3268.49 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1593991 0 0 0 326536 313 0 0 20 0 1 0 236663084 9347637248 2143670 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2143670 2688 2575 0 2279045 0
Current children cumulated CPU time: 3268.49 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8574680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 158939
/proc/meminfo: memFree=88034868/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8577880 CPUtime=3328.26 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1594683 0 0 0 332513 313 0 0 20 0 1 0 236663084 9347637248 2144470 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2144470 2688 2575 0 2279045 0
Current children cumulated CPU time: 3328.26 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8577880 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 158941
/proc/meminfo: memFree=88033720/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8582104 CPUtime=3388.01 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1595574 0 0 0 338487 314 0 0 20 0 1 0 236663084 9347637248 2145526 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2145526 2688 2575 0 2279045 0
Current children cumulated CPU time: 3388.01 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8582104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 158943
/proc/meminfo: memFree=87970456/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8586840 CPUtime=3447.75 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1596363 0 0 0 344461 314 0 0 20 0 1 0 236663084 9347637248 2146710 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2146710 2688 2575 0 2279045 0
Current children cumulated CPU time: 3447.75 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8586840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 158945
/proc/meminfo: memFree=85089888/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8589528 CPUtime=3507.5 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1597198 0 0 0 350436 314 0 0 20 0 1 0 236663084 9347637248 2147382 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2147382 2688 2575 0 2279045 0
Current children cumulated CPU time: 3507.5 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8589528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/265 158955
/proc/meminfo: memFree=81938952/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8597208 CPUtime=3567.23 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1598248 0 0 0 356408 315 0 0 20 0 1 0 236663084 9347637248 2149302 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2149302 2688 2575 0 2279045 0
Current children cumulated CPU time: 3567.23 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8597208 KiB

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

# cumulated CPU time of all completed processes:  user=3581.51 s, system=3.3088 s

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

[startup+3584 s]*
/proc/loadavg: 4.35 4.18 4.12 5/264 158955
/proc/meminfo: memFree=81955636/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8597208 CPUtime=3568.93 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1598254 0 0 0 356578 315 0 0 20 0 1 0 236663084 9347637248 2149302 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2149302 2688 2575 0 2279045 0
Current children cumulated CPU time: 3568.93 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8597208 KiB

[startup+3590.4 s]
/proc/loadavg: 4.32 4.18 4.12 5/264 158955
/proc/meminfo: memFree=82002740/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8597208 CPUtime=3575.29 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1598573 0 0 0 357214 315 0 0 20 0 1 0 236663084 9347637248 2149302 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2149302 2688 2575 0 2279045 0
Current children cumulated CPU time: 3575.29 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8597208 KiB

[startup+3596.8 s]
/proc/loadavg: 4.30 4.17 4.12 5/264 158955
/proc/meminfo: memFree=82019124/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8597208 CPUtime=3581.67 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1598872 0 0 0 357852 315 0 0 20 0 1 0 236663084 9347637248 2149302 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2149302 2688 2575 0 2279045 0
Current children cumulated CPU time: 3581.67 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8597208 KiB

[startup+3598.4 s]
/proc/loadavg: 4.30 4.17 4.12 4/260 158963
/proc/meminfo: memFree=83197440/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8597208 CPUtime=3583.25 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1598941 0 0 0 358009 316 0 0 20 0 1 0 236663084 9347637248 2149302 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2149302 2688 2575 0 2279045 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8597208 KiB

[startup+3599.2 s]
/proc/loadavg: 4.27 4.17 4.12 5/261 158990
/proc/meminfo: memFree=83175528/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=9128552 memory=8597208 CPUtime=3584.05 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1598952 0 0 0 358088 317 0 0 20 0 1 0 236663084 9347637248 2149302 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2282138 2149302 2688 2575 0 2279045 0
Current children cumulated CPU time: 3584.05 s
Current children cumulated vsize: 9128552 KiB
Current children cumulated memory: 8597208 KiB

[startup+3599.6 s]
/proc/loadavg: 4.27 4.17 4.12 5/261 158990
/proc/meminfo: memFree=83175528/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=8615444 memory=8085780 CPUtime=3584.45 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1598959 0 0 0 358127 318 0 0 20 0 1 0 236663084 8822214656 2021445 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2153861 2021445 2688 2575 0 2150768 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 8615444 KiB
Current children cumulated memory: 8085780 KiB

[startup+3599.8 s]
/proc/loadavg: 4.27 4.17 4.12 5/261 158990
/proc/meminfo: memFree=83175528/131249992 swapFree=33009392/33010684
[pid=158669] ppid=158666 vsize=8054204 memory=7524540 CPUtime=3584.65 cores=4,6
/proc/158669/stat : 158669 (pbsolver) R 158666 158669 158250 0 -1 4194304 1599470 0 0 0 358144 321 0 0 20 0 1 0 236663084 8247504896 1881135 18446744073709551615 4198400 14743177 140725786053168 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30523392 140725786057096 140725786057192 140725786057192 140725786062796 0
/proc/158669/statm: 2013551 1881135 2688 2575 0 2010458 0
Current children cumulated CPU time: 3584.65 s
Current children cumulated vsize: 8054204 KiB
Current children cumulated memory: 7524540 KiB

[startup+3599.9 s]*
/proc/loadavg: 4.27 4.17 4.12 5/264 159000
/proc/meminfo: memFree=89430764/131249992 swapFree=33009392/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): 3599.96
CPU time (s): 3584.81
CPU user time (s): 3581.51
CPU system time (s): 3.3088
CPU usage (%): 99.5794
Max. virtual memory (cumulated for all children) (KiB): 9181652
Max. memory (cumulated for all children) (KiB): 8597208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.51
system time used= 3.3088
maximum resident set size= 8597208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1599610
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= 21
involuntary context switches= 2988


# summary of solver processes directly reported to runsolver:
#   pid: 158669
#   total CPU time (s): 3584.81
#   total CPU user time (s): 3581.51
#   total CPU system time (s): 3.3088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10298 second user time and 16.6365 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-22 20:44:45
IDJOB=4542201
IDBENCH=163905
IDSOLVER=3366
FILE ID=nodeC035/4542201-1753209885
RUNJOBID= nodeC035-1753209881-158261
SLURM_JOB_ID= 9687779
Free space on /tmp= 432348 MiB

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

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

MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=1613162073

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		: 3599.745
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.753
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		: 3523.629
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		: 3603.034
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		: 3353.169
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.795
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		: 3599.757
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		: 3600.116
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:        127305112 kB
MemAvailable:   129601056 kB
Buffers:             664 kB
Cached:          3047216 kB
SwapCached:          336 kB
Active:          1052172 kB
Inactive:        2176948 kB
Active(anon):     188248 kB
Inactive(anon):    18908 kB
Active(file):     863924 kB
Inactive(file):  2158040 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            118232 kB
Writeback:             0 kB
AnonPages:        183996 kB
Mapped:           129068 kB
Shmem:             25904 kB
KReclaimable:     226440 kB
Slab:             322064 kB
SReclaimable:     226440 kB
SUnreclaim:        95624 kB
KernelStack:        4256 kB
PageTables:         3052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     527316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 432184 MiB
End job on nodeC035 at 2025-07-22 21:44:46