Trace number 4524033

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2025-06-13? 3590.89 3601.97

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
MD5SUM7b85ce4cd64937c81c9b69135828a61d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark329.026
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables333830
Total number of constraints1254811
Number of constraints which are clauses1252194
Number of constraints which are cardinality constraints (but not clauses)243
Number of constraints which are nor clauses,nor cardinality constraints2374
Minimum length of a constraint1
Maximum length of a constraint6530
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 21247094
Number of bits of the biggest sum of numbers25
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-4524033-1751606552.opb>
3.09/3.19	c original problem has 333830 variables (333830 bin, 0 int, 0 cont) and 1254811 constraints
3.09/3.19	c problem read in 3.186 seconds
5.77/5.82	c presolving:
9.86/10.00	c (round 1, fast)       142 del vars, 111 del conss, 292 add conss, 141 chg bounds, 1060 chg sides, 1521 chg coeffs, 0 upgd conss, 0 impls, 213131 clqs
10.07/10.18	c (round 2, fast)       148 del vars, 221 del conss, 292 add conss, 145 chg bounds, 166288 chg sides, 166749 chg coeffs, 0 upgd conss, 0 impls, 213127 clqs
10.26/10.35	c (round 3, fast)       4625 del vars, 227 del conss, 294 add conss, 4620 chg bounds, 166298 chg sides, 166777 chg coeffs, 0 upgd conss, 0 impls, 213131 clqs
10.46/10.52	c (round 4, fast)       5200 del vars, 227 del conss, 296 add conss, 5195 chg bounds, 169569 chg sides, 170856 chg coeffs, 0 upgd conss, 0 impls, 213131 clqs
12.16/12.24	c    (12.2s) running MILP presolver
64.61/64.90	c    (64.9s) MILP presolver (3 rounds): 5 aggregations, 5540 fixings, 0 bound changes
64.83/65.07	c (round 5, medium)     10798 del vars, 1254811 del conss, 1250124 add conss, 5248 chg bounds, 169582 chg sides, 174850 chg coeffs, 0 upgd conss, 0 impls, 210854 clqs
69.01/69.26	c (round 6, exhaustive) 10798 del vars, 1255107 del conss, 1250416 add conss, 5248 chg bounds, 322566 chg sides, 336546 chg coeffs, 0 upgd conss, 0 impls, 211246 clqs
71.70/72.00	c (round 7, exhaustive) 10798 del vars, 1255107 del conss, 1250416 add conss, 5248 chg bounds, 322566 chg sides, 336546 chg coeffs, 1249587 upgd conss, 0 impls, 211246 clqs
73.10/73.34	c (round 8, medium)     10799 del vars, 1255562 del conss, 1251305 add conss, 5248 chg bounds, 322607 chg sides, 337718 chg coeffs, 1249587 upgd conss, 0 impls, 211246 clqs
75.08/75.37	c (round 9, exhaustive) 10799 del vars, 1256608 del conss, 1251662 add conss, 5248 chg bounds, 322609 chg sides, 337723 chg coeffs, 1249587 upgd conss, 0 impls, 211246 clqs
195.52/196.27	c    (196.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
196.91/197.69	c    (197.7s) no symmetry present (symcode time: 0.54)
197.50/198.20	c presolving (10 rounds: 10 fast, 6 medium, 4 exhaustive):
197.50/198.20	c  10830 deleted vars, 1256614 deleted constraints, 1251662 added constraints, 5248 tightened bounds, 0 added holes, 322609 changed sides, 337724 changed coefficients
197.50/198.20	c  0 implications, 211229 cliques
197.50/198.20	c presolved problem has 323002 variables (323002 bin, 0 int, 0 cont) and 1249859 constraints
197.50/198.20	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
197.50/198.20	c    1381 constraints of type <knapsack>
197.50/198.20	c 1247541 constraints of type <setppc>
197.50/198.20	c     302 constraints of type <and>
197.50/198.20	c     533 constraints of type <linear>
197.50/198.20	c     102 constraints of type <logicor>
197.50/198.20	c transformed objective value is always integral (scale: 1)
197.50/198.20	c Presolving Time: 192.49
197.50/198.20	c 
197.50/198.20	c - non default parameters ----------------------------------------------------------------------
197.50/198.20	c 
197.50/198.20	c # SCIP version 10.0.0
197.50/198.20	c 
197.50/198.20	c # maximal time in seconds to run
197.50/198.20	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
197.50/198.20	c limits/time = 3596.996034
197.50/198.20	c 
197.50/198.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
197.50/198.20	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
197.50/198.20	c limits/memory = 27900
197.50/198.20	c 
197.50/198.20	c # belongs reading time to solving time?
197.50/198.20	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
197.50/198.20	c timing/reading = TRUE
197.50/198.20	c 
197.50/198.20	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
197.50/198.20	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
197.50/198.20	c reading/opbreader/maxintsize = 47
197.50/198.20	c 
197.50/198.20	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
197.50/198.20	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
197.50/198.20	c propagating/genvbounds/timingmask = 0
197.50/198.20	c 
197.50/198.20	c -----------------------------------------------------------------------------------------------
197.60/198.32	c 
209.87/210.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
209.87/210.63	c   211s|     1 |     0 |  2812 |     - |  4450M |   0 | 323k|1249k|1250k|   0 |  0 |  37 |   0 | 1.000000e+00 |      --      |    Inf | unknown
417.87/419.38	c   419s|     1 |     0 | 24222 |     - |  4835M |   0 | 323k|1249k|1250k| 228 |  1 |  38 |   0 | 2.000000e+00 |      --      |    Inf | unknown
748.48/751.01	c   751s|     1 |     0 | 27503 |     - |  5030M |   0 | 323k|1249k|1250k| 364 |  2 |  39 |   0 | 2.000000e+00 |      --      |    Inf | unknown
908.85/912.01	c   912s|     1 |     0 | 28613 |     - |  5242M |   0 | 323k|1249k|1250k| 544 |  3 |  39 |   0 | 2.000000e+00 |      --      |    Inf | unknown
1203.83/1207.86	c  1208s|     1 |     0 | 31115 |     - |  5496M |   0 | 323k|1249k|1250k| 699 |  4 |  41 |   0 | 2.000000e+00 |      --      |    Inf | unknown
1666.88/1672.31	c  1672s|     1 |     0 | 35787 |     - |  5821M |   0 | 323k|1249k|1250k| 853 |  5 |  42 |   0 | 2.000000e+00 |      --      |    Inf | unknown
1955.28/1961.64	c  1962s|     1 |     0 | 40766 |     - |  6028M |   0 | 323k|1249k|1251k| 993 |  6 |  42 |   0 | 2.000000e+00 |      --      |    Inf | unknown
2277.09/2284.45	c  2284s|     1 |     0 | 47407 |     - |  6274M |   0 | 323k|1249k|1251k|1133 |  7 |  42 |   0 | 2.000000e+00 |      --      |    Inf | unknown
2796.56/2805.48	c  2805s|     1 |     0 | 53136 |     - |  6522M |   0 | 323k|1249k|1251k|1258 |  8 |  42 |   0 | 2.000000e+00 |      --      |    Inf | unknown
3430.96/3441.60	c  3442s|     1 |     0 | 60237 |     - |  6743M |   0 | 323k|1249k|1251k|1379 |  9 |  43 |   0 | 2.000000e+00 |      --      |    Inf | unknown
3586.22/3597.32	c  3597s|     1 |     0 | 60237 |     - |  6789M |   0 | 323k|1249k|1251k|1491 | 10 |  43 |   0 | 2.000000e+00 |      --      |    Inf | unknown
3586.22/3597.32	c (node 1) LP solver hit time limit in LP 12 -- using pseudo solution instead
3586.22/3597.32	c 
3586.22/3597.32	c SCIP Status        : solving was interrupted [time limit reached]
3586.22/3597.32	c Solving Time (sec) : 3597.32
3586.22/3597.32	c Solving Nodes      : 1
3586.22/3597.32	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.22/3597.32	c Dual Bound         : +2.00000000000000e+00
3586.22/3597.32	c Gap                : infinite
3586.22/3597.32	s UNKNOWN
3586.22/3597.32	c SCIP Status        : solving was interrupted [time limit reached]
3586.22/3597.32	c Total Time         :    3597.32
3586.22/3597.32	c   solving          :    3597.32
3586.22/3597.32	c   presolving       :     192.49 (included in solving)
3586.22/3597.32	c   reading          :       3.19 (included in solving)
3586.22/3597.32	c   copying          :       0.00 (0 times copied the problem)
3586.22/3597.32	c Original Problem   :
3586.22/3597.32	c   Problem name     : HOME/instance-4524033-1751606552.opb
3586.22/3597.32	c   Variables        : 333830 (333830 binary, 0 integer, 0 continuous)
3586.22/3597.32	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.22/3597.32	c   Constraints      : 1254811 initial, 1254811 maximal
3586.22/3597.32	c   Objective        : minimize, 6 non-zeros (abs.min = 1, abs.max = 32)
3586.22/3597.32	c Presolved Problem  :
3586.22/3597.32	c   Problem name     : t_HOME/instance-4524033-1751606552.opb
3586.22/3597.32	c   Variables        : 323002 (323002 binary, 0 integer, 0 continuous)
3586.22/3597.32	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.22/3597.32	c   Constraints      : 1249859 initial, 1249874 maximal
3586.22/3597.33	c   Objective        : minimize, 6 non-zeros (abs.min = 1, abs.max = 32)
3586.22/3597.33	c   Nonzeros         : 3314743 constraint, 8877181 clique table
3586.22/3597.33	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.22/3597.33	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   gateextraction   :       1.73       0.00      2          0          0          0          0          0       1046        357          0          0
3586.22/3597.33	c   implics          :       0.03       0.00      6          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   milp             :      54.22       0.00      1       5540          5          0          0          0    1254583    1249826          0          0
3586.22/3597.33	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   trivial          :       0.11       0.00     10          2          0          0          0          0          0          0          0          0
3586.22/3597.33	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   dualfix          :       0.10       0.00     10          1          0          0          0          0          0          0          0          0
3586.22/3597.33	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   probing          :     118.99       0.01      1         24          1          0          0          0          0          0          0          0
3586.22/3597.33	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   symmetry         :       1.41       0.00      1          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   vbounds          :       0.16       0.00      1          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   knapsack         :       0.22       0.01      7          0          0          0          0          0        455        889         42       1177
3586.22/3597.33	c   setppc           :       3.23       0.05      7          0          1          0          0          0          0          0          1          1
3586.22/3597.33	c   and              :       0.00       0.00      2          0          6          0          0          0          6          0          0          0
3586.22/3597.33	c   linear           :      10.86       0.60     13       5248          0          0       5248          0        524        590     322566     336546
3586.22/3597.33	c   logicor          :       0.01       0.00      7          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   components       :       0.39       0.00      1          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   root node        :          -          -      -         13          -          -         13          -          -          -          -          -
3586.22/3597.33	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.22/3597.33	c   integral         :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
3586.22/3597.33	c   knapsack         :       1381       1381         10       3558          0          0          0          3       1034          6          0       2004        432          0          0
3586.22/3597.33	c   setppc           :    1247541    1247541         10       3552          0          0          0          0      59436         13          0          2          1          0          0
3586.22/3597.33	c   and              :        302        302         10       3539          0          0          0          0        201          1          0        437        235          0          0
3586.22/3597.33	c   linear           :        533+       535         10       3538          0          0          0          3       4871         39          0          2          0          0          0
3586.22/3597.33	c   logicor          :        102+       129         10        283          0          0          0          0          1          1          0          4          2          0          0
3586.22/3597.33	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.22/3597.33	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   knapsack         :       0.41       0.01       0.04       0.36       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   setppc           :      27.58       0.05       0.95      26.29       0.00       0.00       0.00       0.00       0.29       0.00
3586.22/3597.33	c   and              :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   linear           :       1.28       0.60       0.06       0.60       0.00       0.00       0.00       0.00       0.01       0.00
3586.22/3597.33	c   logicor          :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.22/3597.33	c   dualfix          :          1          0          0          0
3586.22/3597.33	c   genvbounds       :          0          0          0          0
3586.22/3597.33	c   nlobbt           :          0          0          0          0
3586.22/3597.33	c   obbt             :          0          0          0          0
3586.22/3597.33	c   probing          :          0          0          0          0
3586.22/3597.33	c   pseudoobj        :         11          0          0          0
3586.22/3597.33	c   redcost          :         10          0          0          0
3586.22/3597.33	c   rootredcost      :          0          0          0          0
3586.22/3597.33	c   symmetry         :          0          0          0          0
3586.22/3597.33	c   vbounds          :        223          0          0          0
3586.22/3597.33	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.22/3597.33	c   dualfix          :       0.11       0.00       0.10       0.01       0.00       0.00
3586.22/3597.33	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   probing          :     119.00       0.01     118.99       0.00       0.00       0.00
3586.22/3597.33	c   pseudoobj        :       2.78       0.00       0.00       2.78       0.00       0.00
3586.22/3597.33	c   redcost          :       0.16       0.00       0.00       0.16       0.00       0.00
3586.22/3597.33	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3586.22/3597.33	c   symmetry         :       1.42       0.00       1.41       0.00       0.00       0.00
3586.22/3597.33	c   vbounds          :       0.23       0.00       0.16       0.07       0.00       0.00
3586.22/3597.33	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.22/3597.33	c   propagation      :       0.33         44         24          -         46       25.0          7      933.7          -          -          -
3586.22/3597.33	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.22/3597.33	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.22/3597.33	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.22/3597.33	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.22/3597.33	c   applied globally :       0.00          -          -          0         43      161.9          -          -          0          -          -
3586.22/3597.33	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.22/3597.33	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.22/3597.33	c   cut pool         :       0.57          -         19         19          -          -       3201       5282          -          -          -          -          -    (maximal pool size:       3201)
3586.22/3597.33	c   aggregation      :       1.61       0.00          9          9          0          0       1170       1961          0        340        340          0          0
3586.22/3597.33	c   > cmir           :          -          -          -          -          -          -          -       1240          0        147        147          0          -
3586.22/3597.33	c   > flowcover      :          -          -          -          -          -          -          -        593          0        156        156          0          -
3586.22/3597.33	c   > knapsackcover  :          -          -          -          -          -          -          -        128          0         37         37          0          -
3586.22/3597.33	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   clique           :      20.97       0.00          9          9          0          0         39         53          0         37         37          0          0
3586.22/3597.33	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   gomory           :    2916.47       0.00         10         10          0          0       1899       3161          0        370        370          0          0
3586.22/3597.33	c   > gomorymi       :          -          -          -          -          -          -          -       2267          0        263        263          0          -
3586.22/3597.33	c   > strongcg       :          -          -          -          -          -          -          -        894          0        107        107          0          -
3586.22/3597.33	c   impliedbounds    :       0.18       0.00         10         10          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   mcf              :      39.66       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   multilinear      :       0.00       0.00         10         10          0          0          1          1          0          1          1          0          0
3586.22/3597.33	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3586.22/3597.33	c   zerohalf         :       4.37       0.00          9          9          0          0         92        106          0         73         73          0          0
3586.22/3597.33	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.22/3597.33	c   hybrid           :       2.02       0.00         10         10       1491          0       6240       1491          0       6240
3586.22/3597.33	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.22/3597.33	c   problem variables:       0.00          -          0          0
3586.22/3597.33	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.22/3597.33	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.22/3597.33	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.22/3597.33	c   LP solutions     :       0.00          -          -          0          0
3586.22/3597.33	c   relax solutions  :       0.00          -          -          0          0
3586.22/3597.33	c   pseudo solutions :       0.00          -          -          0          0
3586.22/3597.33	c   strong branching :       0.00          -          -          0          0
3586.22/3597.33	c   actconsdiving    :       0.00       0.00          0          0          0
3586.22/3597.33	c   adaptivediving   :       0.00       0.00          0          0          0
3586.22/3597.33	c   alns             :       0.00       0.00          0          0          0
3586.22/3597.33	c   bound            :       0.00       0.00          0          0          0
3586.22/3597.33	c   clique           :       2.12       0.00          1          0          0
3586.22/3597.33	c   coefdiving       :       0.00       0.00          0          0          0
3586.22/3597.33	c   completesol      :       0.00       0.00          0          0          0
3586.22/3597.33	c   conflictdiving   :       0.00       0.00          0          0          0
3586.22/3597.33	c   crossover        :       0.00       0.00          0          0          0
3586.22/3597.33	c   dins             :       0.00       0.00          0          0          0
3586.22/3597.33	c   distributiondivin:       0.00       0.00          0          0          0
3586.22/3597.33	c   dks              :       0.00       0.00          0          0          0
3586.22/3597.33	c   dps              :       0.00       0.00          0          0          0
3586.22/3597.33	c   dualval          :       0.00       0.00          0          0          0
3586.22/3597.33	c   farkasdiving     :       0.00       0.00          0          0          0
3586.22/3597.33	c   feaspump         :      57.48       0.00          1          0          0
3586.22/3597.33	c   fixandinfer      :       0.00       0.00          0          0          0
3586.22/3597.33	c   fracdiving       :       0.00       0.00          0          0          0
3586.22/3597.33	c   gins             :       0.00       0.00          0          0          0
3586.22/3597.33	c   guideddiving     :       0.00       0.00          0          0          0
3586.22/3597.33	c   indicator        :       0.00       0.00          0          0          0
3586.22/3597.33	c   indicatordiving  :       0.00       0.00          0          0          0
3586.22/3597.33	c   intdiving        :       0.00       0.00          0          0          0
3586.22/3597.33	c   intshifting      :       0.00       0.00          0          0          0
3586.22/3597.33	c   linesearchdiving :       0.00       0.00          0          0          0
3586.22/3597.33	c   localbranching   :       0.00       0.00          0          0          0
3586.22/3597.33	c   locks            :       1.26       0.00          1          0          0
3586.22/3597.33	c   lpface           :       0.00       0.00          0          0          0
3586.22/3597.33	c   mpec             :       0.00       0.00          0          0          0
3586.22/3597.33	c   multistart       :       0.00       0.00          0          0          0
3586.22/3597.33	c   mutation         :       0.00       0.00          0          0          0
3586.22/3597.33	c   nlpdiving        :       0.00       0.00          0          0          0
3586.22/3597.33	c   objpscostdiving  :       0.00       0.00          0          0          0
3586.22/3597.33	c   octane           :       0.00       0.00          0          0          0
3586.22/3597.33	c   ofins            :       0.00       0.00          0          0          0
3586.22/3597.33	c   oneopt           :       0.00       0.00          0          0          0
3586.22/3597.33	c   padm             :       0.00       0.00          0          0          0
3586.22/3597.33	c   proximity        :       0.00       0.00          0          0          0
3586.22/3597.33	c   pscostdiving     :       0.00       0.00          0          0          0
3586.22/3597.33	c   randrounding     :       9.06       0.00         10          0          0
3586.22/3597.33	c   rens             :       0.00       0.00          0          0          0
3586.22/3597.33	c   reoptsols        :       0.00       0.00          0          0          0
3586.22/3597.33	c   repair           :       0.00       0.00          0          0          0
3586.22/3597.33	c   rins             :       0.00       0.00          0          0          0
3586.22/3597.33	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.22/3597.33	c   rounding         :       0.46       0.00         10          0          0
3586.22/3597.33	c   scheduler        :       0.00       0.00          0          0          0
3586.22/3597.33	c   shiftandpropagate:       0.58       0.00          1          0          0
3586.22/3597.33	c   shifting         :       3.71       0.00         10          0          0
3586.22/3597.33	c   simplerounding   :       0.01       0.00          0          0          0
3586.22/3597.33	c   subnlp           :       0.00       0.00          0          0          0
3586.22/3597.33	c   trivial          :       0.19       0.00          2          0          0
3586.22/3597.33	c   trivialnegation  :       0.00       0.00          0          0          0
3586.22/3597.33	c   trustregion      :       0.00       0.00          0          0          0
3586.22/3597.33	c   trysol           :       0.00       0.00          0          0          0
3586.22/3597.33	c   twoopt           :       0.00       0.00          0          0          0
3586.22/3597.33	c   undercover       :       0.00       0.00          1          0          0
3586.22/3597.33	c   vbounds          :       0.51       0.00          0          0          0
3586.22/3597.33	c   veclendiving     :       0.00       0.00          0          0          0
3586.22/3597.33	c   zeroobj          :       0.00       0.00          0          0          0
3586.22/3597.33	c   zirounding       :       0.00       0.00          0          0          0
3586.22/3597.33	c   other solutions  :          -          -          -          0          -
3586.22/3597.33	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.22/3597.33	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.22/3597.33	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
3586.22/3597.33	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.22/3597.33	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3586.22/3597.33	c   dual LP          :     331.39         10      38636    3863.60     116.59       0.00          0
3586.22/3597.33	c   lex dual LP      :       0.00          0          0       0.00          -
3586.22/3597.33	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.22/3597.33	c   resolve instable :       0.00          0          0       0.00          -
3586.22/3597.33	c   diving/probing LP:      64.38          2      21601   10800.50     335.53
3586.22/3597.33	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3586.22/3597.33	c     (at root node) :          -          0          0       0.00          -
3586.22/3597.33	c   conflict analysis:       0.00          0          0       0.00          -
3586.22/3597.33	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3586.22/3597.33	c   benders          :       0.00          0          0          0       0.00          0          0          0
3586.22/3597.33	c B&B Tree           :
3586.22/3597.33	c   number of runs   :          1
3586.22/3597.33	c   nodes            :          1 (0 internal, 1 leaves)
3586.22/3597.33	c   feasible leaves  :          0
3586.22/3597.33	c   infeas. leaves   :          0
3586.22/3597.33	c   objective leaves :          0
3586.22/3597.33	c   nodes (total)    :          1 (0 internal, 1 leaves)
3586.22/3597.33	c   nodes left       :          1
3586.22/3597.33	c   max depth        :          0
3586.22/3597.33	c   max depth (total):          0
3586.22/3597.33	c   backtracks       :          0 (0.0%)
3586.22/3597.33	c   early backtracks :          0 (0.0%)
3586.22/3597.33	c   nodes exc. ref.  :          0 (0.0%)
3586.22/3597.33	c   delayed cutoffs  :          0
3586.22/3597.33	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.22/3597.33	c   avg switch length:       1.00
3586.22/3597.33	c   switching time   :       0.00
3586.22/3597.33	c Root Node          :
3586.22/3597.33	c   First LP value   : +1.00000000000000e+00
3586.22/3597.33	c   First LP Iters   :       2812 (587.59 Iter/sec)
3586.22/3597.33	c   First LP Time    :       4.79
3586.22/3597.33	c   Final Dual Bound : +2.00000000000000e+00
3586.22/3597.33	c   Final Root Iters :      60237
3586.22/3597.33	c   Root LP Estimate :                     -
3586.22/3597.33	c Solution           :
3586.22/3597.33	c   Solutions found  :          0 (0 improvements)
3586.22/3597.33	c   Primal Bound     :          -
3586.22/3597.33	c   Dual Bound       : +2.00000000000000e+00
3586.22/3597.33	c   Gap              :   infinite
3586.22/3597.33	c Integrals          :      Total       Avg%
3586.22/3597.33	c   primal-dual      :  359731.59     100.00
3586.22/3597.33	c   primal-ref       :          -          - (not evaluated)
3586.22/3597.33	c   dual-ref         :          -          - (not evaluated)
3590.81/3601.95	c Time complete (sec):   3590.880

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: 63794 MiB (60926 MiB free)
  memory of node 1: 64507 MiB (63055 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524033-1751606552/watcher-4524033-1751606552 -o /tmp/evaluation-result-4524033-1751606552/solver-4524033-1751606552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751606552-90825 --watchdog 3760 pbsolver -f HOME/instance-4524033-1751606552.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
Starting watchdog thread
solver pid=90883, runsolver pid=90880
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 0.98 1.18 1.91 5/260 90884
/proc/meminfo: memFree=126905832/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=51872 memory=41728 CPUtime=0.1 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 8477 0 0 0 8 2 0 0 20 0 1 0 76335072 53116928 10432 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 12968 10432 2176 2575 0 9875 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51872 KiB
Current children cumulated memory: 41728 KiB

[startup+0.214242 s]*
/proc/loadavg: 0.98 1.18 1.91 5/260 90884
/proc/meminfo: memFree=126869796/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=77412 memory=66944 CPUtime=0.22 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 14779 0 0 0 18 4 0 0 20 0 1 0 76335072 79269888 16736 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 19353 16736 2176 2575 0 16260 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 77412 KiB
Current children cumulated memory: 66944 KiB

[startup+0.314316 s]*
/proc/loadavg: 0.98 1.18 1.91 5/260 90884
/proc/meminfo: memFree=126833948/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=98688 memory=87296 CPUtime=0.31 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 19895 0 0 0 26 5 0 0 20 0 1 0 76335072 101056512 21824 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 24672 21824 2176 2575 0 21579 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98688 KiB
Current children cumulated memory: 87296 KiB

[startup+0.700329 s]
/proc/loadavg: 0.98 1.18 1.91 5/260 90884
/proc/meminfo: memFree=126721556/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=186820 memory=175488 CPUtime=0.68 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 41916 0 0 0 57 11 0 0 20 0 1 0 76335072 191303680 43872 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 46705 43872 2176 2575 0 43612 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 186820 KiB
Current children cumulated memory: 175488 KiB

[startup+1.50029 s]
/proc/loadavg: 0.98 1.18 1.91 5/260 90884
/proc/meminfo: memFree=126576404/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=419416 memory=407584 CPUtime=1.49 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 97397 0 0 0 125 24 0 0 20 0 1 0 76335072 429481984 101896 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 104854 101896 2176 2575 0 101761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 419416 KiB
Current children cumulated memory: 407584 KiB

[startup+3.11328 s]
/proc/loadavg: 1.22 1.23 1.93 5/260 90884
/proc/meminfo: memFree=125882948/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=938848 memory=925380 CPUtime=3.09 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 221709 0 0 0 263 46 0 0 20 0 1 0 76335072 961380352 231313 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 234712 231345 2176 2575 0 231619 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 938848 KiB
Current children cumulated memory: 925380 KiB

[startup+6.3003 s]
/proc/loadavg: 1.22 1.23 1.93 5/260 90884
/proc/meminfo: memFree=124339300/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=2491436 memory=2447892 CPUtime=6.27 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 563915 0 0 0 524 103 0 0 20 0 1 0 76335072 2551230464 611973 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 622859 611973 2432 2575 0 619766 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2491436 KiB
Current children cumulated memory: 2447892 KiB

[startup+12.7003 s]
/proc/loadavg: 1.65 1.32 1.95 5/260 90884
/proc/meminfo: memFree=123238812/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=3587620 memory=3471860 CPUtime=12.65 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 635297 0 0 0 1121 144 0 0 20 0 1 0 76335072 3673722880 867965 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 896905 867965 2496 2575 0 893812 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3587620 KiB
Current children cumulated memory: 3471860 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 1.41 1.97 5/260 90930
/proc/meminfo: memFree=122440832/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=3637096 memory=3521484 CPUtime=25.42 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 637494 0 0 0 2395 147 0 0 20 0 1 0 76335072 3724386304 880371 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 909274 880371 2528 2575 0 906181 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3637096 KiB
Current children cumulated memory: 3521484 KiB

[startup+51.1136 s]
/proc/loadavg: 2.83 1.65 2.04 5/260 90930
/proc/meminfo: memFree=118493012/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=3637096 memory=3521484 CPUtime=50.97 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 637824 0 0 0 4949 148 0 0 20 0 1 0 76335072 3724386304 880371 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 909274 880371 2528 2575 0 906181 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3637096 KiB
Current children cumulated memory: 3521484 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 2.11 2.17 5/260 90932
/proc/meminfo: memFree=116446756/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=3521948 memory=3397032 CPUtime=101.99 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 706660 0 0 0 10027 172 0 0 20 0 1 0 76335072 3606474752 849258 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 880487 849258 2592 2575 0 877394 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3521948 KiB
Current children cumulated memory: 3397032 KiB

[startup+162.3 s]
/proc/loadavg: 4.44 2.61 2.34 5/259 90934
/proc/meminfo: memFree=114396208/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=3521948 memory=3397032 CPUtime=161.75 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 706660 0 0 0 16003 172 0 0 20 0 1 0 76335072 3606474752 849258 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 880487 849258 2592 2575 0 877394 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 3521948 KiB
Current children cumulated memory: 3397032 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 2.88 2.46 5/258 90936
/proc/meminfo: memFree=112148488/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=5391920 memory=5105760 CPUtime=221.53 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 941415 0 0 0 21913 240 0 0 20 0 1 0 76335072 5521326080 1276440 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1347980 1276440 2688 2575 0 1344887 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 5391920 KiB
Current children cumulated memory: 5105760 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.10 2.56 5/251 90940
/proc/meminfo: memFree=111941732/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=5482544 memory=5198872 CPUtime=281.33 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 954156 0 0 0 27889 244 0 0 20 0 1 0 76335072 5614125056 1299718 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1370636 1299718 2688 2575 0 1367543 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 5482544 KiB
Current children cumulated memory: 5198872 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.28 2.66 5/248 90942
/proc/meminfo: memFree=111902508/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=5482544 memory=5198872 CPUtime=341.13 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 954157 0 0 0 33869 244 0 0 20 0 1 0 76335072 5614125056 1299718 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1370636 1299718 2688 2575 0 1367543 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 5482544 KiB
Current children cumulated memory: 5198872 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.45 2.76 5/249 90945
/proc/meminfo: memFree=111662768/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=5747720 memory=5346692 CPUtime=400.93 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 971724 0 0 0 39845 248 0 0 20 0 1 0 76335072 5885665280 1336673 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1436930 1336673 2688 2575 0 1433837 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 5747720 KiB
Current children cumulated memory: 5346692 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.55 2.84 5/249 90947
/proc/meminfo: memFree=111322584/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=6075620 memory=5621412 CPUtime=460.73 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 982201 0 0 0 45813 260 0 0 20 0 1 0 76335072 6221434880 1405353 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1518905 1405353 2688 2575 0 1515812 0
Current children cumulated CPU time: 460.73 s

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

/proc/loadavg: 4.15 4.21 4.09 5/251 91136
/proc/meminfo: memFree=109994164/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=7883352 memory=6693464 CPUtime=3212.28 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1099210 0 0 0 320890 338 0 0 20 0 1 0 76335072 8072552448 1673366 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1970838 1673366 2688 2575 0 1967745 0
Current children cumulated CPU time: 3212.28 s
Current children cumulated vsize: 7883352 KiB
Current children cumulated memory: 6693464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.19 4.09 5/250 91138
/proc/meminfo: memFree=109994488/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=7883352 memory=6693464 CPUtime=3272.11 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1099907 0 0 0 326873 338 0 0 20 0 1 0 76335072 8072552448 1673366 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1970838 1673366 2688 2575 0 1967745 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 7883352 KiB
Current children cumulated memory: 6693464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/250 91142
/proc/meminfo: memFree=110000956/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=7883352 memory=6693464 CPUtime=3331.94 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1100479 0 0 0 332856 338 0 0 20 0 1 0 76335072 8072552448 1673366 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1970838 1673366 2688 2575 0 1967745 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 7883352 KiB
Current children cumulated memory: 6693464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.09 5/249 91144
/proc/meminfo: memFree=109942908/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8051668 memory=6741316 CPUtime=3391.78 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1113590 0 0 0 338833 345 0 0 20 0 1 0 76335072 8244908032 1685329 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2012917 1685329 2688 2575 0 2009824 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 8051668 KiB
Current children cumulated memory: 6741316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/249 91146
/proc/meminfo: memFree=109926840/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8051668 memory=6744388 CPUtime=3451.61 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1115718 0 0 0 344815 346 0 0 20 0 1 0 76335072 8244908032 1686097 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2012917 1686097 2688 2575 0 2009824 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 8051668 KiB
Current children cumulated memory: 6744388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/249 91148
/proc/meminfo: memFree=109947428/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8051668 memory=6744388 CPUtime=3511.44 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1116151 0 0 0 350798 346 0 0 20 0 1 0 76335072 8244908032 1686097 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2012917 1686097 2688 2575 0 2009824 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 8051668 KiB
Current children cumulated memory: 6744388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/250 91155
/proc/meminfo: memFree=109945616/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8051668 memory=6744388 CPUtime=3571.27 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1116267 0 0 0 356781 346 0 0 20 0 1 0 76335072 8244908032 1686097 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2012917 1686097 2688 2575 0 2009824 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 8051668 KiB
Current children cumulated memory: 6744388 KiB

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

# cumulated CPU time of all completed processes:  user=3587.29 s, system=3.60207 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.09 5/250 91155
/proc/meminfo: memFree=109943584/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8051668 memory=6744388 CPUtime=3572.98 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1116267 0 0 0 356952 346 0 0 20 0 1 0 76335072 8244908032 1686097 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2012917 1686097 2688 2575 0 2009824 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 8051668 KiB
Current children cumulated memory: 6744388 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.14 4.09 5/250 91155
/proc/meminfo: memFree=109941760/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8051668 memory=6744388 CPUtime=3579.35 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1116270 0 0 0 357589 346 0 0 20 0 1 0 76335072 8244908032 1686097 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2012917 1686097 2688 2575 0 2009824 0
Current children cumulated CPU time: 3579.35 s
Current children cumulated vsize: 8051668 KiB
Current children cumulated memory: 6744388 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/250 91155
/proc/meminfo: memFree=109939712/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8051668 memory=6744388 CPUtime=3585.73 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1116271 0 0 0 358227 346 0 0 20 0 1 0 76335072 8244908032 1686097 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2012917 1686097 2688 2575 0 2009824 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 8051668 KiB
Current children cumulated memory: 6744388 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.13 4.09 5/247 91190
/proc/meminfo: memFree=110504492/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8092232 memory=6785396 CPUtime=3588.93 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1117821 0 0 0 358541 352 0 0 20 0 1 0 76335072 8286445568 1696349 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2023058 1696349 2688 2575 0 2019965 0
Current children cumulated CPU time: 3588.93 s
Current children cumulated vsize: 8092232 KiB
Current children cumulated memory: 6785396 KiB

[startup+3600.8 s]
/proc/loadavg: 4.10 4.13 4.09 5/247 91190
/proc/meminfo: memFree=110504492/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=8092232 memory=6785396 CPUtime=3589.72 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1117849 0 0 0 358620 352 0 0 20 0 1 0 76335072 8286445568 1696349 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 2023058 1696349 2688 2575 0 2019965 0
Current children cumulated CPU time: 3589.72 s
Current children cumulated vsize: 8092232 KiB
Current children cumulated memory: 6785396 KiB

[startup+3601.6 s]
/proc/loadavg: 4.10 4.13 4.09 5/247 91190
/proc/meminfo: memFree=110252052/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=7302476 memory=6076036 CPUtime=3590.51 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1118023 0 0 0 358697 354 0 0 20 0 1 0 76335072 7477735424 1519009 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1825619 1519009 2688 2575 0 1822526 0
Current children cumulated CPU time: 3590.51 s
Current children cumulated vsize: 7302476 KiB
Current children cumulated memory: 6076036 KiB

[startup+3601.8 s]
/proc/loadavg: 4.10 4.13 4.09 5/247 91190
/proc/meminfo: memFree=110252052/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=7058560 memory=5832120 CPUtime=3590.72 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1118023 0 0 0 358716 356 0 0 20 0 1 0 76335072 7227965440 1458030 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1764640 1458030 2688 2575 0 1761547 0
Current children cumulated CPU time: 3590.72 s
Current children cumulated vsize: 7058560 KiB
Current children cumulated memory: 5832120 KiB

[startup+3601.9 s]
/proc/loadavg: 4.10 4.13 4.09 5/247 91190
/proc/meminfo: memFree=110252052/131382112 swapFree=33010160/33010684
[pid=90883] ppid=90880 vsize=6830840 memory=5605892 CPUtime=3590.81 cores=0,2
/proc/90883/stat : 90883 (pbsolver) R 90880 90883 90815 0 -1 4194304 1118023 0 0 0 358724 357 0 0 20 0 1 0 76335072 6994780160 1401473 18446744073709551615 4198400 14743177 140733225933024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 48308224 140733225941386 140733225941482 140733225941482 140733225947084 0
/proc/90883/statm: 1707710 1401473 2688 2575 0 1704617 0
Current children cumulated CPU time: 3590.81 s
Current children cumulated vsize: 6830840 KiB
Current children cumulated memory: 5605892 KiB

Child status: 0

Real time (s): 3601.97
CPU time (s): 3590.89
CPU user time (s): 3587.29
CPU system time (s): 3.60207
CPU usage (%): 99.6925
Max. virtual memory (cumulated for all children) (KiB): 8159328
Max. memory (cumulated for all children) (KiB): 6807972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.29
system time used= 3.60207
maximum resident set size= 6898396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1118074
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= 51
involuntary context switches= 8058


# summary of solver processes directly reported to runsolver:
#   pid: 90883
#   total CPU time (s): 3590.89
#   total CPU user time (s): 3587.29
#   total CPU system time (s): 3.60207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3972 second user time and 36.3224 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-04 07:22:33
IDJOB=4524033
IDBENCH=180476
IDSOLVER=3366
FILE ID=nodeC009/4524033-1751606552
RUNJOBID= nodeC009-1751606552-90825
SLURM_JOB_ID= 9598895
Free space on /tmp= 431128 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-WordGolf-4-ogd2008-50-0_c24.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524033-1751606552/watcher-4524033-1751606552 -o /tmp/evaluation-result-4524033-1751606552/solver-4524033-1751606552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751606552-90825 --watchdog 3760  pbsolver -f HOME/instance-4524033-1751606552.opb -t 3600 -m 31000

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

MD5SUM BENCH= 7b85ce4cd64937c81c9b69135828a61d
RANDOM SEED=766598428

nodeC009 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	: 0xb00001f
cpu MHz		: 1795.881
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.236
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.686
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.436
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.238
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.210
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.362
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126973804 kB
MemAvailable:   129695840 kB
Buffers:            2144 kB
Cached:          3455628 kB
SwapCached:           24 kB
Active:           928156 kB
Inactive:        2827080 kB
Active(anon):     311216 kB
Inactive(anon):     4188 kB
Active(file):     616940 kB
Inactive(file):  2822892 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            117752 kB
Writeback:             0 kB
AnonPages:        300592 kB
Mapped:           133544 kB
Shmem:             17936 kB
KReclaimable:     243280 kB
Slab:             331020 kB
SReclaimable:     243280 kB
SUnreclaim:        87740 kB
KernelStack:        4192 kB
PageTables:         3276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     659536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 430420 MiB
End job on nodeC009 at 2025-07-04 08:22:35