Trace number 4486389

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? 3586.68 3597.14

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUMaa9fde9a58805e0fa430d773484bcae7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark288
Best CPU time to get the best result obtained on this benchmark72000.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
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-4486389-1751317373.opb>
0.21/0.31	c original problem has 2700 variables (2700 bin, 0 int, 0 cont) and 42620 constraints
0.21/0.31	c problem read in 0.304 seconds
0.41/0.47	c presolving:
0.79/0.85	c    (0.8s) running MILP presolver
0.89/0.95	c    (0.9s) MILP presolver found nothing
1.09/1.17	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
1.29/1.38	c (round 2, medium)     0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 43200 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
1.59/1.63	c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
2.28/2.33	c    (2.3s) probing: 51/2700 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.28/2.33	c    (2.3s) probing aborted: 50/50 successive totally useless probings
2.58/2.67	c    (2.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.88/2.92	c    (2.9s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 1.30) (symcode time: 0.18)
2.88/2.92	c dynamic symmetry handling statistics:
2.88/2.92	c    orbitopal reduction:       no components
2.88/2.92	c    orbital reduction:          1 components of sizes 2
2.88/2.92	c    lexicographic reduction:    2 permutations with support sizes 2624, 2700
2.88/2.92	c handled 1 out of 1 symmetry components
2.88/2.95	c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
2.88/2.95	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
2.88/2.95	c  0 implications, 3960 cliques
2.88/2.95	c presolved problem has 2700 variables (2700 bin, 0 int, 0 cont) and 42620 constraints
2.88/2.95	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.88/2.95	c   21770 constraints of type <knapsack>
2.88/2.95	c    3960 constraints of type <setppc>
2.88/2.95	c   16890 constraints of type <logicor>
2.88/2.95	c transformed objective value is always integral (scale: 1)
2.88/2.95	c Presolving Time: 2.48
2.88/2.95	c 
2.88/2.95	c - non default parameters ----------------------------------------------------------------------
2.88/2.95	c 
2.88/2.95	c # SCIP version 10.0.0
2.88/2.95	c 
2.88/2.95	c # maximal time in seconds to run
2.88/2.95	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.88/2.95	c limits/time = 3596.995057
2.88/2.95	c 
2.88/2.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.88/2.95	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.88/2.96	c limits/memory = 27900
2.88/2.96	c 
2.88/2.96	c # belongs reading time to solving time?
2.88/2.96	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.88/2.96	c timing/reading = TRUE
2.88/2.96	c 
2.88/2.96	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
2.88/2.96	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.88/2.96	c reading/opbreader/maxintsize = 47
2.88/2.96	c 
2.88/2.96	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.88/2.96	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.88/2.96	c propagating/genvbounds/timingmask = 0
2.88/2.96	c 
2.88/2.96	c -----------------------------------------------------------------------------------------------
2.88/2.96	c 
9.76/9.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.76/9.85	c   9.8s|     1 |     0 |  8135 |     - |   413M |   0 |2700 |  42k|  42k|   0 |  0 | 102 |   0 | 1.400000e+02 |      --      |    Inf | unknown
45.77/45.90	c  45.9s|     1 |     0 | 49451 |     - |   419M |   0 |2700 |  42k|  42k|  12 |  1 | 107 |   0 | 1.400000e+02 |      --      |    Inf | unknown
56.24/56.41	c  56.4s|     1 |     0 | 54221 |     - |   424M |   0 |2700 |  42k|  42k|  22 |  2 | 109 |   0 | 1.400000e+02 |      --      |    Inf | unknown
66.51/66.74	c  66.7s|     1 |     0 | 58836 |     - |   429M |   0 |2700 |  42k|  42k|  34 |  3 | 113 |   0 | 1.400000e+02 |      --      |    Inf | unknown
79.09/79.31	c  79.3s|     1 |     0 | 65366 |     - |   433M |   0 |2700 |  42k|  42k|  46 |  4 | 115 |   0 | 1.400000e+02 |      --      |    Inf | unknown
91.55/91.84	c  91.8s|     1 |     0 | 71340 |     - |   437M |   0 |2700 |  42k|  42k|  56 |  5 | 118 |   0 | 1.400000e+02 |      --      |    Inf | unknown
103.42/103.76	c   104s|     1 |     0 | 77348 |     - |   441M |   0 |2700 |  42k|  42k|  70 |  6 | 119 |   0 | 1.400000e+02 |      --      |    Inf | unknown
115.99/116.31	c   116s|     1 |     0 | 83524 |     - |   445M |   0 |2700 |  42k|  42k|  84 |  7 | 129 |   0 | 1.400000e+02 |      --      |    Inf | unknown
129.46/129.81	c   130s|     1 |     0 | 90455 |     - |   449M |   0 |2700 |  42k|  42k|  96 |  8 | 137 |   0 | 1.400000e+02 |      --      |    Inf | unknown
140.83/141.21	c   141s|     1 |     0 | 97639 |     - |   454M |   0 |2700 |  42k|  42k| 106 |  9 | 141 |   0 | 1.400000e+02 |      --      |    Inf | unknown
154.89/155.32	c   155s|     1 |     0 |105047 |     - |   458M |   0 |2700 |  42k|  42k| 117 | 10 | 143 |   0 | 1.400000e+02 |      --      |    Inf | unknown
163.07/163.57	c   164s|     1 |     0 |112222 |     - |   462M |   0 |2700 |  42k|  42k| 128 | 11 | 145 |   0 | 1.400000e+02 |      --      |    Inf | unknown
294.84/295.64	c   296s|     1 |     2 |200022 |     - |   464M |   0 |2700 |  42k|  42k| 128 | 11 | 208 |  20 | 1.400000e+02 |      --      |    Inf | unknown
934.66/937.11	c   937s|   100 |    99 |560220 |4525.2 |   481M |  30 |2700 |  42k|  42k| 201 |  2 | 286 | 366 | 1.400000e+02 |      --      |    Inf |  50.00%
1336.22/1339.93	c  1340s|   200 |   197 |902798 |3972.7 |   493M |  37 |2700 |  42k|  42k| 239 |  1 | 373 | 525 | 1.400000e+02 |      --      |    Inf |  50.00%
1717.08/1722.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1717.08/1722.01	c  1722s|   300 |   297 |  1223k|3718.0 |   540M |  40 |2700 |  42k|  42k| 358 |  1 | 418 | 686 | 1.400000e+02 |      --      |    Inf |  50.00%
2335.42/2342.12	c  2342s|   400 |   397 |  1730k|4056.5 |   579M |  40 |2700 |  43k|  42k| 526 |  1 | 568 | 891 | 1.400000e+02 |      --      |    Inf |  50.00%
2997.11/3005.81	c  3006s|   500 |   497 |  2212k|4208.7 |   616M |  40 |2700 |  43k|  42k| 747 |  1 | 685 |1119 | 1.400000e+02 |      --      |    Inf |  50.00%
3586.43/3597.00	c 
3586.43/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.43/3597.00	c Solving Time (sec) : 3597.00
3586.43/3597.00	c Solving Nodes      : 582
3586.43/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.43/3597.00	c Dual Bound         : +1.40000000000000e+02
3586.43/3597.00	c Gap                : infinite
3586.43/3597.00	s UNKNOWN
3586.43/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.43/3597.00	c Total Time         :    3597.00
3586.43/3597.00	c   solving          :    3597.00
3586.43/3597.00	c   presolving       :       2.48 (included in solving)
3586.43/3597.00	c   reading          :       0.30 (included in solving)
3586.43/3597.00	c   copying          :       0.21 (4 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3586.43/3597.00	c Original Problem   :
3586.43/3597.00	c   Problem name     : HOME/instance-4486389-1751317373.opb
3586.43/3597.00	c   Variables        : 2700 (2700 binary, 0 integer, 0 continuous)
3586.43/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.43/3597.00	c   Constraints      : 42620 initial, 42620 maximal
3586.43/3597.00	c   Objective        : minimize, 900 non-zeros (abs.min = 1, abs.max = 5)
3586.43/3597.00	c Presolved Problem  :
3586.43/3597.00	c   Problem name     : t_HOME/instance-4486389-1751317373.opb
3586.43/3597.00	c   Variables        : 2700 (2700 binary, 0 integer, 0 continuous)
3586.43/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.43/3597.00	c   Constraints      : 42620 initial, 43108 maximal
3586.43/3597.00	c   Objective        : minimize, 900 non-zeros (abs.min = 1, abs.max = 5)
3586.43/3597.00	c   Nonzeros         : 328920 constraint, 13220 clique table
3586.43/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.43/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   domcol           :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   dualsparsify     :       0.34       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   gateextraction   :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   milp             :       0.31       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   sparsify         :       0.15       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   trivial          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   dualfix          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   probing          :       0.23       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   symmetry         :       0.25       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   knapsack         :       0.68       0.00      8          0          0          0          0          0          0          0      43200      64800
3586.43/3597.00	c   setppc           :       0.01       0.00      7          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   linear           :       0.34       0.06      2          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   logicor          :       0.05       0.01      7          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   components       :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   root node        :          -          -      -         10          -          -         10          -          -          -          -          -
3586.43/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.43/3597.00	c   integral         :          0          0          0          0        581          0          0         97          0          0          6          0          0         28       1158
3586.43/3597.00	c   knapsack         :      21770+     21774         11      16356          0          0          0         93       1444         16       1822          0          0          0          0
3586.43/3597.00	c   setppc           :       3960       3960         11      16340          0          0          0          1       7582         74      19068          0          0          0          0
3586.43/3597.00	c   linear           :          0+         5          0       9166          0          0          0          3          0          4          0          0          0          0          0
3586.43/3597.00	c   logicor          :      16890+     17410         11       8193          0          0          0          0       1309         12        970          2          1          0          0
3586.43/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.43/3597.00	c   integral         :    1123.37       0.00       0.00       0.00    1123.37       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   knapsack         :       2.12       0.00       0.52       0.85       0.00       0.00       0.00       0.00       0.00       0.73
3586.43/3597.00	c   setppc           :       1.26       0.00       0.00       0.62       0.00       0.00       0.00       0.00       0.00       0.63
3586.43/3597.00	c   linear           :       0.07       0.06       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   logicor          :       0.35       0.01       0.04       0.14       0.00       0.00       0.00       0.00       0.00       0.16
3586.43/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.43/3597.00	c   dualfix          :          1          0          0          0
3586.43/3597.00	c   genvbounds       :          0          0          0          0
3586.43/3597.00	c   nlobbt           :          0          0          0          0
3586.43/3597.00	c   obbt             :          0          0          0          0
3586.43/3597.00	c   probing          :          0          0          0          0
3586.43/3597.00	c   pseudoobj        :       2291          0          0          0
3586.43/3597.00	c   redcost          :         14          0          0          0
3586.43/3597.00	c   rootredcost      :          1          0          0          0
3586.43/3597.00	c   symmetry         :      11321          0          0        100
3586.43/3597.00	c   vbounds          :       8106          0          0          0
3586.43/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.43/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   probing          :       0.23       0.00       0.23       0.00       0.00       0.00
3586.43/3597.00	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3586.43/3597.00	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c   symmetry         :       0.42       0.00       0.25       0.11       0.00       0.06
3586.43/3597.00	c   vbounds          :       0.01       0.00       0.00       0.00       0.00       0.00
3586.43/3597.00	c Symmetry           :
3586.43/3597.00	c   #affected vars   :       2700 (2700 bin, 0 int, 0 cont)
3586.43/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.43/3597.00	c   orbital reduction:         90 reductions applied,          0 cutoffs
3586.43/3597.00	c   lexicographic red:         47 reductions applied,          0 cutoffs
3586.43/3597.00	c   shadow tree time :       0.00 s
3586.43/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.43/3597.00	c   propagation      :       0.01         97         95          -        958       42.1         56       11.7          -          -          -
3586.43/3597.00	c   infeasible LP    :       0.02         18         18          -        434      175.0          5       10.6         16      156.9          0
3586.43/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.43/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.43/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.43/3597.00	c   applied globally :       0.01          -          -          0        706       31.2          -          -         16          -          -
3586.43/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.43/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.43/3597.00	c   cut pool         :       0.07          -        212         21          -          -       2487       5580          -          -          -          -          -    (maximal pool size:       1614)
3586.43/3597.00	c   aggregation      :       0.38       0.00         71         11          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.43/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.43/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.43/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   clique           :       0.07       0.00         11         11          0          0         65        274          0        242        242          0          0
3586.43/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   gomory           :     238.49       0.00         65         10          0          0       2151       4593          0        199        199          0          0
3586.43/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -       1421          0         64         64          0          -
3586.43/3597.00	c   > strongcg       :          -          -          -          -          -          -          -       3172          0        135        135          0          -
3586.43/3597.00	c   impliedbounds    :       0.01       0.00         71         11          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   mcf              :       0.02       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   multilinear      :       0.00       0.00         43         11          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3586.43/3597.00	c   zerohalf         :       1.33       0.00         66         11          0          0        271        713          0        536        536          0          0
3586.43/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.43/3597.00	c   hybrid           :       0.01       0.00        128         11        978          0       4604        128          0        515
3586.43/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.43/3597.00	c   problem variables:       0.00          -          0          0
3586.43/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.43/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c   relpscost        :    1123.37       0.00        581          0          0          0          6          0         28       1158
3586.43/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.43/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.43/3597.00	c   LP solutions     :       0.00          -          -          0          0
3586.43/3597.00	c   relax solutions  :       0.00          -          -          0          0
3586.43/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3586.43/3597.00	c   strong branching :       0.00          -          -          0          0
3586.43/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3586.43/3597.00	c   adaptivediving   :      11.07       0.00          5          0          0
3586.43/3597.00	c   alns             :       0.66       0.00          3          0          0
3586.43/3597.00	c   bound            :       0.00       0.00          0          0          0
3586.43/3597.00	c   clique           :       0.16       0.00          1          0          0
3586.43/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3586.43/3597.00	c   completesol      :       0.00       0.00          0          0          0
3586.43/3597.00	c   conflictdiving   :      30.46       0.00          3          0          0
3586.43/3597.00	c   crossover        :       0.00       0.00          0          0          0
3586.43/3597.00	c   dins             :       0.00       0.00          0          0          0
3586.43/3597.00	c   distributiondivin:       8.31       0.00          3          0          0
3586.43/3597.00	c   dks              :       0.00       0.00          0          0          0
3586.43/3597.00	c   dps              :       0.00       0.00          0          0          0
3586.43/3597.00	c   dualval          :       0.00       0.00          0          0          0
3586.43/3597.00	c   farkasdiving     :      93.81       0.00          1          0          0
3586.43/3597.00	c   feaspump         :      51.78       0.00          2          0          0
3586.43/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3586.43/3597.00	c   fracdiving       :       5.57       0.00          3          0          0
3586.43/3597.00	c   gins             :       0.00       0.00          0          0          0
3586.43/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3586.43/3597.00	c   indicator        :       0.00       0.00          0          0          0
3586.43/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3586.43/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3586.43/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3586.43/3597.00	c   linesearchdiving :       2.91       0.00          3          0          0
3586.43/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3586.43/3597.00	c   locks            :       0.05       0.00          1          0          0
3586.43/3597.00	c   lpface           :       1.23       0.00          1          0          0
3586.43/3597.00	c   mpec             :       0.00       0.00          0          0          0
3586.43/3597.00	c   multistart       :       0.00       0.00          0          0          0
3586.43/3597.00	c   mutation         :       0.00       0.00          0          0          0
3586.43/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3586.43/3597.00	c   objpscostdiving  :      61.47       0.00          2          0          0
3586.43/3597.00	c   octane           :       0.00       0.00          0          0          0
3586.43/3597.00	c   ofins            :       0.00       0.00          0          0          0
3586.43/3597.00	c   oneopt           :       0.00       0.00          0          0          0
3586.43/3597.00	c   padm             :       0.00       0.00          0          0          0
3586.43/3597.00	c   proximity        :       0.00       0.00          0          0          0
3586.43/3597.00	c   pscostdiving     :      12.10       0.00          3          0          0
3586.43/3597.00	c   randrounding     :       0.49       0.00        102          0          0
3586.43/3597.00	c   rens             :       0.23       0.00          1          0          0
3586.43/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3586.43/3597.00	c   repair           :       0.00       0.00          0          0          0
3586.43/3597.00	c   rins             :       0.00       0.00          0          0          0
3586.43/3597.00	c   rootsoldiving    :      30.62       0.00          2          0          0
3586.43/3597.00	c   rounding         :       0.49       0.00        321          0          0
3586.43/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3586.43/3597.00	c   shiftandpropagate:       0.06       0.00          1          0          0
3586.43/3597.00	c   shifting         :       0.59       0.00        133          0          0
3586.43/3597.00	c   simplerounding   :       0.00       0.00          0          0          0
3586.43/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3586.43/3597.00	c   trivial          :       0.00       0.00          2          0          0
3586.43/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3586.43/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3586.43/3597.00	c   trysol           :       0.00       0.00          0          0          0
3586.43/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3586.43/3597.00	c   undercover       :       0.00       0.00          0          0          0
3586.43/3597.00	c   vbounds          :       0.14       0.00          1          0          0
3586.43/3597.00	c   veclendiving     :      10.95       0.00          3          0          0
3586.43/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3586.43/3597.00	c   zirounding       :       0.68       0.00        579          0          0
3586.43/3597.00	c   other solutions  :          -          -          -          0          -
3586.43/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.43/3597.00	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.43/3597.00	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.43/3597.00	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.43/3597.00	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.43/3597.00	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.43/3597.00	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.43/3597.00	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.43/3597.00	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.43/3597.00	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.43/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.43/3597.00	c   primal LP        :       0.36         55          0       0.00       0.00       0.36         55
3586.43/3597.00	c   dual LP          :    1901.90        710    2229790    3140.55    1172.40       0.00          0
3586.43/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3586.43/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.43/3597.00	c   resolve instable :       0.00          0          0       0.00          -
3586.43/3597.00	c   diving/probing LP:     364.90        721     424180     588.32    1162.46
3586.43/3597.00	c   strong branching :    1069.28       1320    1254008     950.01    1172.76          -          -       2389
3586.43/3597.00	c     (at root node) :          -         20      20000    1000.00          -
3586.43/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3586.43/3597.00	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3586.43/3597.00	c   benders          :       0.00          0          0          0       0.00          0          0          0
3586.43/3597.00	c B&B Tree           :
3586.43/3597.00	c   number of runs   :          1
3586.43/3597.00	c   nodes            :        582 (579 internal, 3 leaves)
3586.43/3597.00	c   feasible leaves  :          0
3586.43/3597.00	c   infeas. leaves   :          2
3586.43/3597.00	c   objective leaves :          0
3586.43/3597.00	c   nodes (total)    :        582 (579 internal, 3 leaves)
3586.43/3597.00	c   nodes left       :        578
3586.43/3597.00	c   max depth        :         40
3586.43/3597.00	c   max depth (total):         40
3586.43/3597.00	c   backtracks       :         29 (5.0%)
3586.43/3597.00	c   early backtracks :          0 (0.0%)
3586.43/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3586.43/3597.00	c   delayed cutoffs  :          0
3586.43/3597.00	c   repropagations   :          5 (1 domain reductions, 0 cutoffs)
3586.43/3597.00	c   avg switch length:       2.11
3586.43/3597.00	c   switching time   :       0.67
3586.43/3597.00	c Root Node          :
3586.43/3597.00	c   First LP value   : +1.40000000000000e+02
3586.43/3597.00	c   First LP Iters   :       8135 (1255.65 Iter/sec)
3586.43/3597.00	c   First LP Time    :       6.48
3586.43/3597.00	c   Final Dual Bound : +1.40000000000000e+02
3586.43/3597.00	c   Final Root Iters :     112222
3586.43/3597.00	c   Root LP Estimate : +1.58609982762041e+02
3586.43/3597.00	c Solution           :
3586.43/3597.00	c   Solutions found  :          0 (0 improvements)
3586.43/3597.00	c   Primal Bound     :          -
3586.43/3597.00	c   Dual Bound       : +1.40000000000000e+02
3586.43/3597.00	c   Gap              :   infinite
3586.43/3597.00	c Integrals          :      Total       Avg%
3586.43/3597.00	c   primal-dual      :  359699.62     100.00
3586.43/3597.00	c   primal-ref       :          -          - (not evaluated)
3586.43/3597.00	c   dual-ref         :          -          - (not evaluated)
3586.64/3597.13	c Time complete (sec):   3586.674

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486389-1751317373/watcher-4486389-1751317373 -o /tmp/evaluation-result-4486389-1751317373/solver-4486389-1751317373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751313774-39781 --watchdog 3760 pbsolver -f HOME/instance-4486389-1751317373.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=40321, runsolver pid=40316
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 4.04 4.07 4.08 5/246 40325
/proc/meminfo: memFree=129163108/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=35912 memory=25728 CPUtime=0.1 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 4457 0 0 0 9 1 0 0 20 0 1 0 47416161 36773888 6432 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 8978 6432 2176 2575 0 5885 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35912 KiB
Current children cumulated memory: 25728 KiB

[startup+0.213213 s]*
/proc/loadavg: 4.04 4.07 4.08 4/249 40329
/proc/meminfo: memFree=129155392/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=45764 memory=35328 CPUtime=0.21 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 6857 0 0 0 19 2 0 0 20 0 1 0 47416161 46862336 8832 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 11441 8832 2176 2575 0 8348 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45764 KiB
Current children cumulated memory: 35328 KiB

[startup+0.313551 s]*
/proc/loadavg: 4.04 4.07 4.08 5/251 40334
/proc/meminfo: memFree=129138076/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=54148 memory=45280 CPUtime=0.31 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 9363 0 0 0 28 3 0 0 20 0 1 0 47416161 55447552 11320 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 13537 11320 2368 2575 0 10444 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54148 KiB
Current children cumulated memory: 45280 KiB

[startup+0.700347 s]
/proc/loadavg: 4.04 4.07 4.08 5/251 40334
/proc/meminfo: memFree=129073816/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=134256 memory=114916 CPUtime=0.69 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 25713 0 0 0 60 9 0 0 20 0 1 0 47416161 137478144 28729 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 33564 28729 2432 2575 0 30471 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134256 KiB
Current children cumulated memory: 114916 KiB

[startup+1.50036 s]
/proc/loadavg: 4.04 4.07 4.08 5/251 40334
/proc/meminfo: memFree=129015352/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=164808 memory=153220 CPUtime=1.49 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 46694 0 0 0 133 16 0 0 20 0 1 0 47416161 168763392 38305 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 41202 38305 2560 2575 0 38109 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 164808 KiB
Current children cumulated memory: 153220 KiB

[startup+3.11268 s]
/proc/loadavg: 4.04 4.07 4.08 5/247 40367
/proc/meminfo: memFree=129207408/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=455680 memory=400908 CPUtime=3.09 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 82056 0 0 0 285 24 0 0 20 0 1 0 47416161 466616320 100227 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 113920 100227 2624 2575 0 110827 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 455680 KiB
Current children cumulated memory: 400908 KiB

[startup+6.30029 s]
/proc/loadavg: 4.20 4.10 4.10 5/251 40424
/proc/meminfo: memFree=129111012/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=458840 memory=406028 CPUtime=6.26 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 83837 0 0 0 602 24 0 0 20 0 1 0 47416161 469852160 101507 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 114710 101507 2656 2575 0 111617 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 458840 KiB
Current children cumulated memory: 406028 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.10 4.09 5/251 40424
/proc/meminfo: memFree=129047048/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=458840 memory=406028 CPUtime=12.66 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 83856 0 0 0 1241 25 0 0 20 0 1 0 47416161 469852160 101507 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 114710 101507 2656 2575 0 111617 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 458840 KiB
Current children cumulated memory: 406028 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 40424
/proc/meminfo: memFree=128901392/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=459956 memory=406796 CPUtime=25.42 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 84031 0 0 0 2517 25 0 0 20 0 1 0 47416161 470994944 101699 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 114989 101699 2656 2575 0 111896 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 459956 KiB
Current children cumulated memory: 406796 KiB

[startup+51.1122 s]
/proc/loadavg: 4.17 4.10 4.09 5/251 40424
/proc/meminfo: memFree=128862460/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=475388 memory=418292 CPUtime=50.97 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 85862 0 0 0 5072 25 0 0 20 0 1 0 47416161 486797312 104573 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 118847 104573 2688 2575 0 115754 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 475388 KiB
Current children cumulated memory: 418292 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 40426
/proc/meminfo: memFree=128822828/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=512252 memory=436960 CPUtime=102.03 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 88985 0 0 0 10177 26 0 0 20 0 1 0 47416161 524546048 109240 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 128063 109240 2688 2575 0 124970 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 512252 KiB
Current children cumulated memory: 436960 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.11 4.10 6/251 40428
/proc/meminfo: memFree=128759076/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=543268 memory=447604 CPUtime=161.87 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 90653 0 0 0 16161 26 0 0 20 0 1 0 47416161 556306432 111901 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 135817 111901 2688 2575 0 132724 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 543268 KiB
Current children cumulated memory: 447604 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/251 40430
/proc/meminfo: memFree=128753076/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=543268 memory=447604 CPUtime=221.72 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 90653 0 0 0 22146 26 0 0 20 0 1 0 47416161 556306432 111901 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 135817 111901 2688 2575 0 132724 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 543268 KiB
Current children cumulated memory: 447604 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/250 40432
/proc/meminfo: memFree=128571236/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=602260 memory=507976 CPUtime=281.58 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 105234 0 0 0 28130 28 0 0 20 0 1 0 47416161 616714240 126994 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 150565 126994 2688 2575 0 147472 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 602260 KiB
Current children cumulated memory: 507976 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 40479
/proc/meminfo: memFree=128878536/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=602260 memory=507976 CPUtime=341.43 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 105240 0 0 0 34115 28 0 0 20 0 1 0 47416161 616714240 126994 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 150565 126994 2688 2575 0 147472 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 602260 KiB
Current children cumulated memory: 507976 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 40481
/proc/meminfo: memFree=128839708/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=602260 memory=509512 CPUtime=401.27 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 105266 0 0 0 40099 28 0 0 20 0 1 0 47416161 616714240 127378 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 150565 127378 2688 2575 0 147472 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 602260 KiB
Current children cumulated memory: 509512 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 40484
/proc/meminfo: memFree=128754840/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=666744 memory=577616 CPUtime=461.13 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 115687 0 0 0 46082 31 0 0 20 0 1 0 47416161 682745856 144404 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 166686 144404 2688 2575 0 163593 0

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

/proc/loadavg: 4.12 4.13 4.13 5/251 40629
/proc/meminfo: memFree=127788036/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=721684 memory=599568 CPUtime=3212.96 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 119328 0 0 0 321265 31 0 0 20 0 1 0 47416161 739004416 149892 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 180421 149892 2688 2575 0 177328 0
Current children cumulated CPU time: 3212.96 s
Current children cumulated vsize: 721684 KiB
Current children cumulated memory: 599568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/251 40631
/proc/meminfo: memFree=127763060/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=721684 memory=599568 CPUtime=3272.78 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 119471 0 0 0 327247 31 0 0 20 0 1 0 47416161 739004416 149892 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 180421 149892 2688 2575 0 177328 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 721684 KiB
Current children cumulated memory: 599568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/250 40633
/proc/meminfo: memFree=127740388/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=722532 memory=599568 CPUtime=3332.6 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 119483 0 0 0 333229 31 0 0 20 0 1 0 47416161 739872768 149892 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 180633 149892 2688 2575 0 177540 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 722532 KiB
Current children cumulated memory: 599568 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/251 40636
/proc/meminfo: memFree=127734340/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=602128 CPUtime=3392.42 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120129 0 0 0 339211 31 0 0 20 0 1 0 47416161 749142016 150532 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 150532 2688 2575 0 179803 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 602128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/252 40649
/proc/meminfo: memFree=127727008/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=602128 CPUtime=3452.24 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120129 0 0 0 345193 31 0 0 20 0 1 0 47416161 749142016 150532 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 150532 2688 2575 0 179803 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 602128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/252 40666
/proc/meminfo: memFree=127725200/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=602128 CPUtime=3512.05 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120131 0 0 0 351174 31 0 0 20 0 1 0 47416161 749142016 150532 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 150532 2688 2575 0 179803 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 602128 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/252 40668
/proc/meminfo: memFree=127683120/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=614800 CPUtime=3571.87 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120340 0 0 0 357156 31 0 0 20 0 1 0 47416161 749142016 153700 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 153700 2688 2575 0 179803 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 614800 KiB

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

# cumulated CPU time of all completed processes:  user=3586.35 s, system=0.323789 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.10 4.10 5/252 40671
/proc/meminfo: memFree=127684480/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=614800 CPUtime=3573.58 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120341 0 0 0 357327 31 0 0 20 0 1 0 47416161 749142016 153700 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 153700 2688 2575 0 179803 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 614800 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 40671
/proc/meminfo: memFree=127671704/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=622480 CPUtime=3579.95 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120378 0 0 0 357964 31 0 0 20 0 1 0 47416161 749142016 155620 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 155620 2688 2575 0 179803 0
Current children cumulated CPU time: 3579.95 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 622480 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 40671
/proc/meminfo: memFree=127679768/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=622480 CPUtime=3583.14 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120378 0 0 0 358283 31 0 0 20 0 1 0 47416161 749142016 155620 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 155620 2688 2575 0 179803 0
Current children cumulated CPU time: 3583.14 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 622480 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/252 40671
/proc/meminfo: memFree=127671328/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=629392 CPUtime=3584.74 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120378 0 0 0 358443 31 0 0 20 0 1 0 47416161 749142016 157348 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 157348 2688 2575 0 179803 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 629392 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.10 4.09 5/252 40671
/proc/meminfo: memFree=127671328/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=629392 CPUtime=3585.54 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120378 0 0 0 358523 31 0 0 20 0 1 0 47416161 749142016 157348 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 157348 2688 2575 0 179803 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 629392 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/252 40671
/proc/meminfo: memFree=127671328/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=629392 CPUtime=3586.33 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120379 0 0 0 358602 31 0 0 20 0 1 0 47416161 749142016 157348 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 157348 2688 2575 0 179803 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 629392 KiB

[startup+3597 s]*
/proc/loadavg: 4.11 4.10 4.09 5/252 40671
/proc/meminfo: memFree=127671080/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=731584 memory=629392 CPUtime=3586.54 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120382 0 0 0 358623 31 0 0 20 0 1 0 47416161 749142016 157348 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 182896 157348 2688 2575 0 179803 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 731584 KiB
Current children cumulated memory: 629392 KiB

[startup+3597.11 s]
/proc/loadavg: 4.11 4.10 4.09 5/252 40671
/proc/meminfo: memFree=127671080/131382120 swapFree=33010416/33010684
[pid=40321] ppid=40316 vsize=724932 memory=622840 CPUtime=3586.64 cores=4,6
/proc/40321/stat : 40321 (pbsolver) R 40316 40321 39770 0 -1 4194304 120399 0 0 0 358633 31 0 0 20 0 1 0 47416161 742330368 155710 18446744073709551615 4198400 14743177 140727896273440 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 48721920 140727896275338 140727896275434 140727896275434 140727896281036 0
/proc/40321/statm: 181233 155710 2688 2575 0 178140 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 724932 KiB
Current children cumulated memory: 622840 KiB

Child status: 0

Real time (s): 3597.14
CPU time (s): 3586.68
CPU user time (s): 3586.35
CPU system time (s): 0.323789
CPU usage (%): 99.7092
Max. virtual memory (cumulated for all children) (KiB): 731584
Max. memory (cumulated for all children) (KiB): 629392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.35
system time used= 0.323789
maximum resident set size= 629392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120476
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= 1429


# summary of solver processes directly reported to runsolver:
#   pid: 40321
#   total CPU time (s): 3586.68
#   total CPU user time (s): 3586.35
#   total CPU system time (s): 0.323789

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7168 second user time and 34.4563 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-30 23:02:53
IDJOB=4486389
IDBENCH=147019
IDSOLVER=3366
FILE ID=nodeC002/4486389-1751317373
RUNJOBID= nodeC002-1751313774-39781
SLURM_JOB_ID= 9594319
Free space on /tmp= 433008 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486389-1751317373/watcher-4486389-1751317373 -o /tmp/evaluation-result-4486389-1751317373/solver-4486389-1751317373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751313774-39781 --watchdog 3760  pbsolver -f HOME/instance-4486389-1751317373.opb -t 3600 -m 31000

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

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=1194908043

nodeC002 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		: 1197.177
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.81
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		: 3591.644
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.81
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.389
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.81
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.215
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.81
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.246
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.81
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		: 3591.675
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.81
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.224
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.81
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		: 1197.586
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129166316 kB
MemAvailable:   128812724 kB
Buffers:            2128 kB
Cached:           453372 kB
SwapCached:           28 kB
Active:          1460676 kB
Inactive:         162368 kB
Active(anon):    1179068 kB
Inactive(anon):     6408 kB
Active(file):     281608 kB
Inactive(file):   155960 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18252 kB
Writeback:            84 kB
AnonPages:       1169584 kB
Mapped:           125584 kB
Shmem:             17932 kB
KReclaimable:      91128 kB
Slab:             174344 kB
SReclaimable:      91128 kB
SUnreclaim:        83216 kB
KernelStack:        4000 kB
PageTables:         5212 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1510784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1058816 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC002 at 2025-07-01 00:02:51