Trace number 4545360

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2025-06-13? 3595.56 3606.23

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-1.opb
MD5SUMecd2a3a27adff12226215cdbd4072e2c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark212.659
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100222
Total number of constraints145826
Number of constraints which are clauses32332
Number of constraints which are cardinality constraints (but not clauses)106
Number of constraints which are nor clauses,nor cardinality constraints113388
Minimum length of a constraint1
Maximum length of a constraint2712
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2977
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-4545360-1753236388.opb>
0.98/1.04	c original problem has 100222 variables (100222 bin, 0 int, 0 cont) and 145826 constraints
0.98/1.04	c problem read in 1.032 seconds
0.98/1.04	c problem without objective
1.57/1.69	c presolving:
1.98/2.08	c (round 1, fast)       5401 del vars, 5864 del conss, 20 add conss, 5268 chg bounds, 27898 chg sides, 90978 chg coeffs, 0 upgd conss, 0 impls, 35196 clqs
2.08/2.12	c (round 2, fast)       9528 del vars, 10074 del conss, 20 add conss, 9260 chg bounds, 27898 chg sides, 91718 chg coeffs, 0 upgd conss, 0 impls, 31226 clqs
2.08/2.16	c (round 3, fast)       9597 del vars, 14202 del conss, 20 add conss, 9260 chg bounds, 27898 chg sides, 91718 chg coeffs, 0 upgd conss, 0 impls, 35082 clqs
2.37/2.43	c    (2.4s) running MILP presolver
13.73/13.82	c    (13.8s) MILP presolver (5 rounds): 7366 aggregations, 3834 fixings, 0 bound changes
13.73/13.86	c (round 4, medium)     20798 del vars, 14202 del conss, 20 add conss, 9260 chg bounds, 27898 chg sides, 91718 chg coeffs, 0 upgd conss, 0 impls, 20015 clqs
13.94/14.02	c (round 5, fast)       20798 del vars, 32852 del conss, 40 add conss, 9260 chg bounds, 27910 chg sides, 91770 chg coeffs, 0 upgd conss, 0 impls, 25938 clqs
14.53/14.61	c (round 6, exhaustive) 20811 del vars, 32943 del conss, 40 add conss, 9260 chg bounds, 27910 chg sides, 92456 chg coeffs, 0 upgd conss, 0 impls, 25915 clqs
15.43/15.55	c (round 7, exhaustive) 20811 del vars, 32943 del conss, 40 add conss, 9260 chg bounds, 27910 chg sides, 92456 chg coeffs, 112865 upgd conss, 0 impls, 25915 clqs
15.53/15.66	c (round 8, fast)       20811 del vars, 32943 del conss, 40 add conss, 9260 chg bounds, 31989 chg sides, 123451 chg coeffs, 112865 upgd conss, 0 impls, 25915 clqs
16.72/16.83	c (round 9, medium)     20812 del vars, 101266 del conss, 158436 add conss, 9260 chg bounds, 61311 chg sides, 184845 chg coeffs, 112865 upgd conss, 0 impls, 171045 clqs
16.82/16.95	c (round 10, fast)       20812 del vars, 106209 del conss, 163373 add conss, 9260 chg bounds, 71449 chg sides, 236135 chg coeffs, 112865 upgd conss, 0 impls, 171045 clqs
17.43/17.53	c (round 11, exhaustive) 20812 del vars, 152215 del conss, 177127 add conss, 9260 chg bounds, 71449 chg sides, 236135 chg coeffs, 112865 upgd conss, 0 impls, 171045 clqs
18.52/18.64	c (round 12, exhaustive) 22000 del vars, 153404 del conss, 177127 add conss, 9260 chg bounds, 71449 chg sides, 256915 chg coeffs, 112865 upgd conss, 0 impls, 168667 clqs
19.82/20.01	c (round 13, exhaustive) 22000 del vars, 153533 del conss, 177134 add conss, 9260 chg bounds, 71456 chg sides, 266539 chg coeffs, 112885 upgd conss, 0 impls, 168668 clqs
25.29/25.47	c (round 14, exhaustive) 22083 del vars, 153562 del conss, 177134 add conss, 9260 chg bounds, 71460 chg sides, 266554 chg coeffs, 112885 upgd conss, 0 impls, 351579 clqs
25.39/25.58	c (round 15, fast)       22083 del vars, 153699 del conss, 177154 add conss, 9260 chg bounds, 71464 chg sides, 266641 chg coeffs, 112895 upgd conss, 0 impls, 351579 clqs
34.27/34.44	c (round 16, exhaustive) 22150 del vars, 153722 del conss, 177156 add conss, 9260 chg bounds, 71464 chg sides, 291629 chg coeffs, 112915 upgd conss, 0 impls, 665060 clqs
34.47/34.62	c (round 17, fast)       22150 del vars, 153855 del conss, 177175 add conss, 9260 chg bounds, 71464 chg sides, 291696 chg coeffs, 112915 upgd conss, 0 impls, 665060 clqs
50.62/50.89	c    (50.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
51.32/51.53	c    (51.5s) symmetry computation finished: 42 generators found (max: 819, log10 of symmetry group size: 3217.58) (symcode time: 0.37)
51.32/51.54	c dynamic symmetry handling statistics:
51.32/51.54	c    orbitopal reduction:        3 components: 2x3, 2x3, 2x3
51.32/51.54	c    orbital reduction:         no components
51.32/51.54	c    lexicographic reduction:   35 permutations with support sizes 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4
51.32/51.54	c handled 39 out of 39 symmetry components
51.52/51.70	c presolving (18 rounds: 18 fast, 10 medium, 8 exhaustive):
51.52/51.70	c  22209 deleted vars, 153873 deleted constraints, 177176 added constraints, 9260 tightened bounds, 0 added holes, 71481 changed sides, 332013 changed coefficients
51.52/51.70	c  0 implications, 665073 cliques
51.52/51.70	c presolved problem has 78082 variables (78082 bin, 0 int, 0 cont) and 169128 constraints
51.52/51.70	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
51.52/51.70	c   27949 constraints of type <knapsack>
51.52/51.70	c  123069 constraints of type <setppc>
51.52/51.70	c   12080 constraints of type <and>
51.52/51.70	c      41 constraints of type <linear>
51.52/51.70	c    5989 constraints of type <logicor>
51.52/51.70	c transformed objective value is always integral (scale: 1)
51.52/51.70	c Presolving Time: 50.06
51.52/51.70	c 
51.52/51.70	c - non default parameters ----------------------------------------------------------------------
51.52/51.70	c 
51.52/51.70	c # SCIP version 10.0.0
51.52/51.70	c 
51.52/51.70	c # maximal time in seconds to run
51.52/51.70	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
51.52/51.70	c limits/time = 3596.995331
51.52/51.70	c 
51.52/51.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
51.52/51.70	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
51.52/51.70	c limits/memory = 27900
51.52/51.70	c 
51.52/51.70	c # belongs reading time to solving time?
51.52/51.70	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
51.52/51.70	c timing/reading = TRUE
51.52/51.70	c 
51.52/51.70	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
51.52/51.70	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
51.52/51.70	c reading/opbreader/maxintsize = 47
51.52/51.70	c 
51.52/51.70	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
51.52/51.70	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
51.52/51.70	c propagating/genvbounds/timingmask = 0
51.52/51.70	c 
51.52/51.70	c -----------------------------------------------------------------------------------------------
51.52/51.72	c 
264.47/265.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
264.47/265.32	c   265s|     1 |     0 | 77322 |     - |  1182M |   0 |  78k| 169k| 181k|   0 |  0 |  93 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1206.63/1210.89	c  1211s|     1 |     0 |267099 |     - |  1207M |   0 |  78k| 169k| 183k|2000 |  1 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1235.60/1239.98	c  1240s|     1 |     0 |276766 |     - |  1208M |   0 |  78k| 169k| 185k|4000 |  2 |  96 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1258.71/1263.11	c  1263s|     1 |     0 |284059 |     - |  1208M |   0 |  78k| 169k| 187k|6000 |  3 |  97 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1327.38/1332.02	c  1332s|     1 |     0 |291151 |     - |  1244M |   0 |  78k| 169k| 188k|7917 |  4 |  98 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1341.71/1346.43	c  1346s|     1 |     0 |295647 |     - |  1243M |   0 |  78k| 169k| 189k|8872 |  5 |  99 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1419.88/1424.85	c  1425s|     1 |     0 |300981 |     - |  1282M |   0 |  78k| 168k| 190k|9383 |  6 | 100 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1491.88/1497.08	c  1497s|     1 |     0 |304522 |     - |  1368M |   0 |  78k| 169k| 190k|9791 |  7 | 103 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1562.15/1567.52	c  1568s|     1 |     0 |308398 |     - |  1422M |   0 |  78k| 169k| 191k|  10k|  8 | 104 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1634.66/1640.26	c  1640s|     1 |     0 |311985 |     - |  1466M |   0 |  78k| 169k| 191k|  10k|  9 | 105 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1696.88/1702.60	c  1703s|     1 |     0 |315387 |     - |  1572M |   0 |  78k| 169k| 191k|  10k| 10 | 106 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1912.55/1918.97	c  1919s|     1 |     0 |318553 |     - |  1596M |   0 |  78k| 169k| 191k|  10k| 11 | 107 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1913.45/1919.89	c  1920s|     1 |     0 |318553 |     - |  1596M |   0 |  78k| 169k| 191k|  10k| 11 | 108 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1971.60/1978.16	c  1978s|     1 |     0 |321456 |     - |  1633M |   0 |  78k| 169k| 192k|  11k| 12 | 108 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2034.53/2041.28	c  2041s|     1 |     0 |324431 |     - |  1710M |   0 |  78k| 169k| 192k|  11k| 13 | 109 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2093.37/2100.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2093.37/2100.22	c  2100s|     1 |     0 |326506 |     - |  1748M |   0 |  78k| 169k| 192k|  11k| 14 | 110 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2143.74/2150.76	c  2151s|     1 |     0 |328367 |     - |  1770M |   0 |  78k| 169k| 192k|  11k| 15 | 113 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2194.31/2201.43	c  2201s|     1 |     0 |330038 |     - |  1788M |   0 |  78k| 169k| 193k|  12k| 16 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2244.58/2251.88	c  2252s|     1 |     0 |331589 |     - |  1807M |   0 |  78k| 169k| 192k|  12k| 17 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2293.96/2301.39	c  2301s|     1 |     0 |332743 |     - |  1826M |   0 |  78k| 169k| 192k|  12k| 18 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2345.64/2353.19	c  2353s|     1 |     0 |334410 |     - |  1844M |   0 |  78k| 169k| 192k|  12k| 19 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2400.70/2408.37	c  2408s|     1 |     0 |336732 |     - |  1863M |   0 |  78k| 169k| 192k|  12k| 20 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2454.86/2462.64	c  2463s|     1 |     0 |338868 |     - |  1881M |   0 |  78k| 169k| 192k|  12k| 21 | 124 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2505.15/2513.01	c  2513s|     1 |     0 |340250 |     - |  1900M |   0 |  78k| 169k| 192k|  13k| 22 | 125 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3594.52/3605.21	c  3605s|     1 |     2 |415120 |     - |  1907M |   0 |  78k| 169k| 192k|  13k| 22 | 180 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3594.52/3605.21	c 
3594.52/3605.21	c SCIP Status        : solving was interrupted [time limit reached]
3594.52/3605.21	c Solving Time (sec) : 3605.21
3594.52/3605.21	c Solving Nodes      : 1
3594.52/3605.21	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3594.52/3605.21	c Dual Bound         : +0.00000000000000e+00
3594.52/3605.21	c Gap                : infinite
3594.52/3605.21	s UNKNOWN
3594.52/3605.21	c SCIP Status        : solving was interrupted [time limit reached]
3594.52/3605.21	c Total Time         :    3605.21
3594.52/3605.21	c   solving          :    3605.21
3594.52/3605.21	c   presolving       :      50.06 (included in solving)
3594.52/3605.21	c   reading          :       1.03 (included in solving)
3594.52/3605.21	c   copying          :       1.02 (3 #copies) (minimal 0.33, maximal 0.36, average 0.34)
3594.52/3605.21	c Original Problem   :
3594.52/3605.21	c   Problem name     : HOME/instance-4545360-1753236388.opb
3594.52/3605.21	c   Variables        : 100222 (100222 binary, 0 integer, 0 continuous)
3594.52/3605.21	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3594.52/3605.21	c   Constraints      : 145826 initial, 145826 maximal
3594.52/3605.21	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3594.52/3605.21	c Presolved Problem  :
3594.52/3605.21	c   Problem name     : t_HOME/instance-4545360-1753236388.opb
3594.52/3605.21	c   Variables        : 78082 (78082 binary, 0 integer, 0 continuous)
3594.52/3605.21	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3594.52/3605.21	c   Constraints      : 169128 initial, 169128 maximal
3594.52/3605.22	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3594.52/3605.22	c   Nonzeros         : 649093 constraint, 1340207 clique table
3594.52/3605.22	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3594.52/3605.22	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   domcol           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   gateextraction   :       0.69       0.00      6          0          0          0          0          0      46006      13754          0          0
3594.52/3605.22	c   implics          :       0.01       0.00     10          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   milp             :      11.64       0.00      1       3834       7366          0          0          0          0          0          0          0
3594.52/3605.22	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   trivial          :       0.06       0.00     18         69          0          0          0          0          0          0          0          0
3594.52/3605.22	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   dualfix          :       0.05       0.00     18          1          0          0          0          0          0          0          0          0
3594.52/3605.22	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   probing          :      15.08       0.00      3        205          1          0          0          0          0          0          0          0
3594.52/3605.22	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   symmetry         :       0.66       0.00      1          0          0          0          0          0          0          1          0          0
3594.52/3605.22	c   vbounds          :       0.37       0.00      5          0         14          0          0          0          0          0          0          0
3594.52/3605.22	c   knapsack         :      16.52       0.01     23          0          0          0          0          0      67737     163342      43554     238041
3594.52/3605.22	c   setppc           :       1.49       0.01     23          0          6          0          0          0       5819          0          0          0
3594.52/3605.22	c   and              :       0.25       0.00     12          0       1186          0          0          0       1186          0          0         11
3594.52/3605.22	c   linear           :       2.02       0.12     24       9260        198          0       9260          0      32943         79      27927      93825
3594.52/3605.22	c   logicor          :       0.78       0.01     22          0          0          0          0          0        182          0          0        136
3594.52/3605.22	c   components       :       0.10       0.00      1          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   root node        :          -          -      -         52          -          -         52          -          -          -          -          -
3594.52/3605.22	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3594.52/3605.22	c   integral         :          0          0          0          0          1          0          0          7          0          0          0          0          0          0          2
3594.52/3605.22	c   knapsack         :      27949      27949         18      15822          0          0          0          3       5062         31          0       3608         61          0          0
3594.52/3605.22	c   setppc           :     123069     123069         18      15791          0          0          0          0      22783          8          0         12         10          0          0
3594.52/3605.22	c   and              :      12080      12080         22      15783          0          0          0          0       7302         18          0      27235       6708          0          0
3594.52/3605.22	c   linear           :         41+        43         18      15765          0          0          0          3       1036          6          0          0          0          0          0
3594.52/3605.22	c   logicor          :       5989+      6115         18       1583          0          0          0          0         52         24          0         12          6          0          0
3594.52/3605.22	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3594.52/3605.22	c   integral         :      88.82       0.00       0.00       0.00      88.82       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   knapsack         :       4.46       0.01       0.12       4.32       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   setppc           :       2.80       0.01       0.14       2.64       0.00       0.00       0.00       0.00       0.01       0.00
3594.52/3605.22	c   and              :       2.40       0.00       0.16       2.21       0.00       0.00       0.00       0.00       0.01       0.02
3594.52/3605.22	c   linear           :       0.26       0.12       0.00       0.15       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   logicor          :       0.20       0.01       0.02       0.16       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3594.52/3605.22	c   dualfix          :          3          0          0          0
3594.52/3605.22	c   genvbounds       :          0          0          0          0
3594.52/3605.22	c   nlobbt           :          0          0          0          0
3594.52/3605.22	c   obbt             :          0          0          0          0
3594.52/3605.22	c   probing          :          0          0          0          0
3594.52/3605.22	c   pseudoobj        :          0          0          0          0
3594.52/3605.22	c   redcost          :          0          0          0          0
3594.52/3605.22	c   rootredcost      :          0          0          0          0
3594.52/3605.22	c   symmetry         :          0          0          0          0
3594.52/3605.22	c   vbounds          :       1830          0          0          0
3594.52/3605.22	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3594.52/3605.22	c   dualfix          :       0.06       0.00       0.05       0.01       0.00       0.00
3594.52/3605.22	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   probing          :      15.08       0.00      15.08       0.00       0.00       0.00
3594.52/3605.22	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3594.52/3605.22	c   symmetry         :       0.66       0.00       0.66       0.01       0.00       0.00
3594.52/3605.22	c   vbounds          :       0.42       0.00       0.37       0.05       0.00       0.00
3594.52/3605.22	c Symmetry           :
3594.52/3605.22	c   #affected vars   :        160 (160 bin, 0 int, 0 cont)
3594.52/3605.22	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3594.52/3605.22	c   orbital reduction:          0 reductions applied,          0 cutoffs
3594.52/3605.22	c   lexicographic red:          0 reductions applied,          0 cutoffs
3594.52/3605.22	c   shadow tree time :       0.00 s
3594.52/3605.22	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3594.52/3605.22	c   propagation      :       0.04         70         66          -        336      604.5         17       18.8          -          -          -
3594.52/3605.22	c   infeasible LP    :       0.03          2          2          -         41      142.2          4        4.2          2      229.0          0
3594.52/3605.22	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3594.52/3605.22	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3594.52/3605.22	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3594.52/3605.22	c   applied globally :       0.04          -          -          0        178      148.2          -          -          2          -          -
3594.52/3605.22	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3594.52/3605.22	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3594.52/3605.22	c   cut pool         :       0.32          -         36         36          -          -      13398      47987          -          -          -          -          -    (maximal pool size:      13398)
3594.52/3605.22	c   aggregation      :       1.18       0.00         18         18          0          0          2          3          0          0          0          0          0
3594.52/3605.22	c   > cmir           :          -          -          -          -          -          -          -          3          0          0          0          0          -
3594.52/3605.22	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3594.52/3605.22	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3594.52/3605.22	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   clique           :     766.42       0.00         18         18          0          0        105        368          0         65         65          0          0
3594.52/3605.22	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   gomory           :     252.59       0.00         10         10          0          0       2004       8480          0        243        243          0          0
3594.52/3605.22	c   > gomorymi       :          -          -          -          -          -          -          -       4492          0         65         65          0          -
3594.52/3605.22	c   > strongcg       :          -          -          -          -          -          -          -       3988          0        178        178          0          -
3594.52/3605.22	c   impliedbounds    :       1.29       0.00         18         18          0         49      10988      38633          0       5724       5724          0          0
3594.52/3605.22	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   mcf              :       0.27       0.00          1          1          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   multilinear      :       0.01       0.00         22         22          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3594.52/3605.22	c   zerohalf         :      17.17       0.00         18         18          0          0        299        503          0        267        267          0          0
3594.52/3605.22	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3594.52/3605.22	c   hybrid           :       1.83       0.00         22         22      13084          0      65770      13084          0      65770
3594.52/3605.22	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3594.52/3605.22	c   problem variables:       0.00          -          0          0
3594.52/3605.22	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3594.52/3605.22	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c   relpscost        :      88.82       0.00          1          0          0          0          0          0          0          2
3594.52/3605.22	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3594.52/3605.22	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3594.52/3605.22	c   LP solutions     :       0.00          -          -          0          0
3594.52/3605.22	c   relax solutions  :       0.00          -          -          0          0
3594.52/3605.22	c   pseudo solutions :       0.00          -          -          0          0
3594.52/3605.22	c   strong branching :       0.00          -          -          0          0
3594.52/3605.22	c   actconsdiving    :       0.00       0.00          0          0          0
3594.52/3605.22	c   adaptivediving   :       0.00       0.00          0          0          0
3594.52/3605.22	c   alns             :       0.92       0.00          1          0          0
3594.52/3605.22	c   bound            :       0.00       0.00          0          0          0
3594.52/3605.22	c   clique           :     106.37       0.00          1          0          0
3594.52/3605.22	c   coefdiving       :       0.00       0.00          0          0          0
3594.52/3605.22	c   completesol      :       0.00       0.00          0          0          0
3594.52/3605.22	c   conflictdiving   :     999.88       0.00          1          0          0
3594.52/3605.22	c   crossover        :       0.00       0.00          0          0          0
3594.52/3605.22	c   dins             :       0.00       0.00          0          0          0
3594.52/3605.22	c   distributiondivin:       0.00       0.00          0          0          0
3594.52/3605.22	c   dks              :       0.00       0.00          0          0          0
3594.52/3605.22	c   dps              :       0.00       0.00          0          0          0
3594.52/3605.22	c   dualval          :       0.00       0.00          0          0          0
3594.52/3605.22	c   farkasdiving     :       0.00       0.00          0          0          0
3594.52/3605.22	c   feaspump         :     924.98       0.00          1          0          0
3594.52/3605.22	c   fixandinfer      :       0.00       0.00          0          0          0
3594.52/3605.22	c   fracdiving       :       0.00       0.00          0          0          0
3594.52/3605.22	c   gins             :       0.00       0.00          0          0          0
3594.52/3605.22	c   guideddiving     :       0.00       0.00          0          0          0
3594.52/3605.22	c   indicator        :       0.00       0.00          0          0          0
3594.52/3605.22	c   indicatordiving  :       0.00       0.00          0          0          0
3594.52/3605.22	c   intdiving        :       0.00       0.00          0          0          0
3594.52/3605.22	c   intshifting      :       0.00       0.00          0          0          0
3594.52/3605.22	c   linesearchdiving :       0.00       0.00          0          0          0
3594.52/3605.22	c   localbranching   :       0.00       0.00          0          0          0
3594.52/3605.22	c   locks            :       0.19       0.00          1          0          0
3594.52/3605.22	c   lpface           :       0.00       0.00          0          0          0
3594.52/3605.22	c   mpec             :       0.00       0.00          0          0          0
3594.52/3605.22	c   multistart       :       0.00       0.00          0          0          0
3594.52/3605.22	c   mutation         :       0.00       0.00          0          0          0
3594.52/3605.22	c   nlpdiving        :       0.00       0.00          0          0          0
3594.52/3605.22	c   objpscostdiving  :       0.00       0.00          0          0          0
3594.52/3605.22	c   octane           :       0.00       0.00          0          0          0
3594.52/3605.22	c   ofins            :       0.00       0.00          0          0          0
3594.52/3605.22	c   oneopt           :       0.00       0.00          0          0          0
3594.52/3605.22	c   padm             :       0.00       0.00          0          0          0
3594.52/3605.22	c   proximity        :       0.00       0.00          0          0          0
3594.52/3605.22	c   pscostdiving     :       0.00       0.00          0          0          0
3594.52/3605.22	c   randrounding     :       1.61       0.00         23          0          0
3594.52/3605.22	c   rens             :       1.70       0.00          1          0          0
3594.52/3605.22	c   reoptsols        :       0.00       0.00          0          0          0
3594.52/3605.22	c   repair           :       0.00       0.00          0          0          0
3594.52/3605.22	c   rins             :       0.00       0.00          0          0          0
3594.52/3605.22	c   rootsoldiving    :       0.00       0.00          0          0          0
3594.52/3605.22	c   rounding         :       0.30       0.00         23          0          0
3594.52/3605.22	c   scheduler        :       0.00       0.00          0          0          0
3594.52/3605.22	c   shiftandpropagate:       0.58       0.00          1          0          0
3594.52/3605.22	c   shifting         :      20.54       0.00         23          0          0
3594.52/3605.22	c   simplerounding   :       0.00       0.00          0          0          0
3594.52/3605.22	c   subnlp           :       0.00       0.00          0          0          0
3594.52/3605.22	c   trivial          :       0.07       0.00          2          0          0
3594.52/3605.22	c   trivialnegation  :       0.00       0.00          0          0          0
3594.52/3605.22	c   trustregion      :       0.00       0.00          0          0          0
3594.52/3605.22	c   trysol           :       0.00       0.00          0          0          0
3594.52/3605.22	c   twoopt           :       0.00       0.00          0          0          0
3594.52/3605.22	c   undercover       :       0.00       0.00          1          0          0
3594.52/3605.22	c   vbounds          :       1.89       0.00          1          0          0
3594.52/3605.22	c   veclendiving     :       0.00       0.00          0          0          0
3594.52/3605.22	c   zeroobj          :       0.00       0.00          0          0          0
3594.52/3605.22	c   zirounding       :       0.01       0.00          1          0          0
3594.52/3605.22	c   other solutions  :          -          -          -          0          -
3594.52/3605.22	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3594.52/3605.22	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3594.52/3605.22	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3594.52/3605.22	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3594.52/3605.22	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3594.52/3605.22	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3594.52/3605.22	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3594.52/3605.22	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3594.52/3605.22	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3594.52/3605.22	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
3594.52/3605.22	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3594.52/3605.22	c   primal LP        :       0.08          2          0       0.00       0.00       0.08          2
3594.52/3605.22	c   dual LP          :     363.06         25     121133    5266.65     333.65       0.19          2
3594.52/3605.22	c   lex dual LP      :       0.00          0          0       0.00          -
3594.52/3605.22	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3594.52/3605.22	c   resolve instable :       0.00          0          0       0.00          -
3594.52/3605.22	c   diving/probing LP:    2052.91         11     293987   26726.09     143.20
3594.52/3605.22	c   strong branching :      63.45         19      17435     917.63     274.79          -          -         32
3594.52/3605.22	c     (at root node) :          -         19      17435     917.63          -
3594.52/3605.22	c   conflict analysis:       0.00          0          0       0.00          -
3594.52/3605.22	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3594.52/3605.22	c   benders          :       0.00          0          0          0       0.00          0          0          0
3594.52/3605.22	c B&B Tree           :
3594.52/3605.22	c   number of runs   :          1
3594.52/3605.22	c   nodes            :          1 (1 internal, 0 leaves)
3594.52/3605.22	c   feasible leaves  :          0
3594.52/3605.22	c   infeas. leaves   :          0
3594.52/3605.22	c   objective leaves :          0
3594.52/3605.22	c   nodes (total)    :          1 (1 internal, 0 leaves)
3594.52/3605.22	c   nodes left       :          2
3594.52/3605.22	c   max depth        :          0
3594.52/3605.22	c   max depth (total):          0
3594.52/3605.22	c   backtracks       :          0 (0.0%)
3594.52/3605.22	c   early backtracks :          0 (0.0%)
3594.52/3605.22	c   nodes exc. ref.  :          0 (0.0%)
3594.52/3605.22	c   delayed cutoffs  :          0
3594.52/3605.22	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3594.52/3605.22	c   avg switch length:       1.00
3594.52/3605.22	c   switching time   :       0.00
3594.52/3605.22	c Root Node          :
3594.52/3605.22	c   First LP value   : +0.00000000000000e+00
3594.52/3605.22	c   First LP Iters   :      39856 (381.46 Iter/sec)
3594.52/3605.22	c   First LP Time    :     104.48
3594.52/3605.22	c   Final Dual Bound : +0.00000000000000e+00
3594.52/3605.22	c   Final Root Iters :     302784
3594.52/3605.22	c   Root LP Estimate : +1.59427511898048e-03
3594.52/3605.22	c Solution           :
3594.52/3605.22	c   Solutions found  :          0 (0 improvements)
3594.52/3605.22	c   Primal Bound     :          -
3594.52/3605.22	c   Dual Bound       : +0.00000000000000e+00
3594.52/3605.22	c   Gap              :   infinite
3594.52/3605.22	c Integrals          :      Total       Avg%
3594.52/3605.22	c   primal-dual      :  360520.77     100.00
3594.52/3605.22	c   primal-ref       :          -          - (not evaluated)
3594.52/3605.22	c   dual-ref         :          -          - (not evaluated)
3595.52/3606.20	c Time complete (sec):   3595.529

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545360-1753236388/watcher-4545360-1753236388 -o /tmp/evaluation-result-4545360-1753236388/solver-4545360-1753236388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753236388-162917 --watchdog 3760 pbsolver -f HOME/instance-4545360-1753236388.opb -t 3600 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=162975, runsolver pid=162963

[startup+0.100071 s]*
/proc/loadavg: 1.10 1.25 2.18 7/256 162980
/proc/meminfo: memFree=105581244/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=42868 memory=32768 CPUtime=0.1 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 6227 0 0 0 8 2 0 0 20 0 1 0 239318273 43896832 8192 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 10717 8192 2176 2575 0 7624 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42868 KiB
Current children cumulated memory: 32768 KiB

[startup+0.217198 s]*
/proc/loadavg: 1.10 1.25 2.18 7/256 162980
/proc/meminfo: memFree=105509172/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=66052 memory=55424 CPUtime=0.21 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 11940 0 0 0 17 4 0 0 20 0 1 0 239318273 67637248 13856 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 16513 13856 2176 2575 0 13420 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 66052 KiB
Current children cumulated memory: 55424 KiB

[startup+0.31311 s]*
/proc/loadavg: 1.10 1.25 2.18 7/256 162980
/proc/meminfo: memFree=105409128/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=84492 memory=73856 CPUtime=0.3 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 16539 0 0 0 25 5 0 0 20 0 1 0 239318273 86519808 18464 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 21123 18464 2176 2575 0 18030 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84492 KiB
Current children cumulated memory: 73856 KiB

[startup+0.700287 s]
/proc/loadavg: 1.10 1.25 2.18 7/256 162980
/proc/meminfo: memFree=105272040/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=140496 memory=129920 CPUtime=0.67 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 30570 0 0 0 57 10 0 0 20 0 1 0 239318273 143867904 32480 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 35124 32480 2176 2575 0 32031 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 140496 KiB
Current children cumulated memory: 129920 KiB

[startup+1.50033 s]
/proc/loadavg: 1.41 1.31 2.19 7/256 162981
/proc/meminfo: memFree=105050088/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=377616 memory=367612 CPUtime=1.47 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 90550 0 0 0 118 29 0 0 20 0 1 0 239318273 386678784 91903 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 94404 91903 2368 2575 0 91311 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 377616 KiB
Current children cumulated memory: 367612 KiB

[startup+3.11326 s]
/proc/loadavg: 1.41 1.31 2.19 7/256 162981
/proc/meminfo: memFree=104103832/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=641360 memory=619292 CPUtime=3.08 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 136576 0 0 0 265 43 0 0 20 0 1 0 239318273 656752640 154823 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 160340 154823 2528 2575 0 157247 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 641360 KiB
Current children cumulated memory: 619292 KiB

[startup+6.30029 s]
/proc/loadavg: 1.62 1.36 2.20 7/256 162981
/proc/meminfo: memFree=103901448/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=641360 memory=619292 CPUtime=6.25 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 136606 0 0 0 582 43 0 0 20 0 1 0 239318273 656752640 154823 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 160340 154823 2528 2575 0 157247 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 641360 KiB
Current children cumulated memory: 619292 KiB

[startup+12.7003 s]
/proc/loadavg: 1.81 1.40 2.21 7/256 162981
/proc/meminfo: memFree=103600380/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=641360 memory=619292 CPUtime=12.63 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 136606 0 0 0 1220 43 0 0 20 0 1 0 239318273 656752640 154823 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 160340 154823 2528 2575 0 157247 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 641360 KiB
Current children cumulated memory: 619292 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 1.49 2.23 7/256 162981
/proc/meminfo: memFree=103232520/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=798084 memory=771816 CPUtime=25.39 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 195231 0 0 0 2486 53 0 0 20 0 1 0 239318273 817238016 192954 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 199521 192954 2624 2575 0 196428 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 798084 KiB
Current children cumulated memory: 771816 KiB

[startup+51.1133 s]
/proc/loadavg: 2.95 1.75 2.29 7/256 162981
/proc/meminfo: memFree=103185084/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1007836 memory=869496 CPUtime=50.94 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 211057 0 0 0 5037 57 0 0 20 0 1 0 239318273 1032024064 217374 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 251959 217374 2624 2575 0 248866 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1007836 KiB
Current children cumulated memory: 869496 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.13 2.40 7/256 162983
/proc/meminfo: memFree=102529028/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1323828 memory=1179940 CPUtime=102 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 268555 0 0 0 10132 68 0 0 20 0 1 0 239318273 1355599872 294985 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 330957 294985 2688 2575 0 327864 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1323828 KiB
Current children cumulated memory: 1179940 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.49 2.51 7/257 162992
/proc/meminfo: memFree=101970460/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1763972 memory=1608640 CPUtime=161.82 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 375587 0 0 0 16099 83 0 0 20 0 1 0 239318273 1806307328 402160 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 440993 402160 2688 2575 0 437900 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1763972 KiB
Current children cumulated memory: 1608640 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.80 2.61 7/258 162995
/proc/meminfo: memFree=101868916/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1763972 memory=1609408 CPUtime=221.6 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 375806 0 0 0 22076 84 0 0 20 0 1 0 239318273 1806307328 402352 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 440993 402352 2688 2575 0 437900 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1763972 KiB
Current children cumulated memory: 1609408 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.03 2.71 7/258 162997
/proc/meminfo: memFree=101855452/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1763972 memory=1609920 CPUtime=281.42 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 375958 0 0 0 28058 84 0 0 20 0 1 0 239318273 1806307328 402480 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 440993 402480 2688 2575 0 437900 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1763972 KiB
Current children cumulated memory: 1609920 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.23 2.80 7/252 162999
/proc/meminfo: memFree=101505824/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1763972 memory=1609920 CPUtime=341.23 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 375961 0 0 0 34039 84 0 0 20 0 1 0 239318273 1806307328 402480 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 440993 402480 2688 2575 0 437900 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1763972 KiB
Current children cumulated memory: 1609920 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.40 2.88 7/251 163001
/proc/meminfo: memFree=101442356/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1763972 memory=1610176 CPUtime=400.97 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 376033 0 0 0 40013 84 0 0 20 0 1 0 239318273 1806307328 402544 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 440993 402544 2688 2575 0 437900 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1763972 KiB
Current children cumulated memory: 1610176 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.53 2.96 7/250 163003
/proc/meminfo: memFree=101370044/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=1763972 memory=1610176 CPUtime=460.73 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 376033 0 0 0 45989 84 0 0 20 0 1 0 239318273 1806307328 402544 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 440993 402544 2688 2575 0 437900 0

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

/proc/loadavg: 4.11 4.09 4.03 7/251 163131
/proc/meminfo: memFree=99278948/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2178540 memory=1945000 CPUtime=3152.77 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 410457 0 0 0 315179 98 0 0 20 0 1 0 239318273 2230824960 486250 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 544635 486250 2688 2575 0 541542 0
Current children cumulated CPU time: 3152.77 s
Current children cumulated vsize: 2178540 KiB
Current children cumulated memory: 1945000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 7/251 163133
/proc/meminfo: memFree=99269048/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2178540 memory=1945000 CPUtime=3212.62 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 410522 0 0 0 321164 98 0 0 20 0 1 0 239318273 2230824960 486250 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 544635 486250 2688 2575 0 541542 0
Current children cumulated CPU time: 3212.62 s
Current children cumulated vsize: 2178540 KiB
Current children cumulated memory: 1945000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.04 7/252 163148
/proc/meminfo: memFree=99246344/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2178540 memory=1945000 CPUtime=3272.47 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 410667 0 0 0 327149 98 0 0 20 0 1 0 239318273 2230824960 486250 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 544635 486250 2688 2575 0 541542 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 2178540 KiB
Current children cumulated memory: 1945000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.04 7/252 163150
/proc/meminfo: memFree=99231604/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2178540 memory=1945000 CPUtime=3332.31 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 410667 0 0 0 333133 98 0 0 20 0 1 0 239318273 2230824960 486250 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 544635 486250 2688 2575 0 541542 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 2178540 KiB
Current children cumulated memory: 1945000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.04 7/251 163152
/proc/meminfo: memFree=99217508/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2178540 memory=1945000 CPUtime=3392.15 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 410667 0 0 0 339117 98 0 0 20 0 1 0 239318273 2230824960 486250 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 544635 486250 2688 2575 0 541542 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 2178540 KiB
Current children cumulated memory: 1945000 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.04 7/251 163154
/proc/meminfo: memFree=99204988/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2178540 memory=1945000 CPUtime=3452 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 410667 0 0 0 345102 98 0 0 20 0 1 0 239318273 2230824960 486250 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 544635 486250 2688 2575 0 541542 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 2178540 KiB
Current children cumulated memory: 1945000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 7/251 163156
/proc/meminfo: memFree=98799500/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2603792 memory=2367492 CPUtime=3511.84 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 516185 0 0 0 351070 114 0 0 20 0 1 0 239318273 2666283008 591873 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 650948 591873 2688 2575 0 647855 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 2603792 KiB
Current children cumulated memory: 2367492 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.05 7/249 163158
/proc/meminfo: memFree=98790400/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2604308 memory=2367748 CPUtime=3571.68 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 516381 0 0 0 357054 114 0 0 20 0 1 0 239318273 2666811392 591937 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 651077 591937 2688 2575 0 647984 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 2604308 KiB
Current children cumulated memory: 2367748 KiB

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

# cumulated CPU time of all completed processes:  user=3594.38 s, system=1.18116 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.05 7/249 163158
/proc/meminfo: memFree=98790400/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2604308 memory=2367748 CPUtime=3573.38 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 516381 0 0 0 357224 114 0 0 20 0 1 0 239318273 2666811392 591937 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 651077 591937 2688 2575 0 647984 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 2604308 KiB
Current children cumulated memory: 2367748 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.05 7/249 163158
/proc/meminfo: memFree=98782368/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2604308 memory=2367748 CPUtime=3586.14 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 516397 0 0 0 358500 114 0 0 20 0 1 0 239318273 2666811392 591937 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 651077 591937 2688 2575 0 647984 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 2604308 KiB
Current children cumulated memory: 2367748 KiB

[startup+3603.2 s]
/proc/loadavg: 3.94 4.06 4.03 3/237 163220
/proc/meminfo: memFree=101543008/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2604308 memory=2367748 CPUtime=3592.52 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 516417 0 0 0 359138 114 0 0 20 0 1 0 239318273 2666811392 591937 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 651077 591937 2688 2575 0 647984 0
Current children cumulated CPU time: 3592.52 s
Current children cumulated vsize: 2604308 KiB
Current children cumulated memory: 2367748 KiB

[startup+3604.8 s]
/proc/loadavg: 3.94 4.06 4.03 3/237 163220
/proc/meminfo: memFree=101543240/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2604308 memory=2367748 CPUtime=3594.12 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 516418 0 0 0 359298 114 0 0 20 0 1 0 239318273 2666811392 591937 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 651077 591937 2688 2575 0 647984 0
Current children cumulated CPU time: 3594.12 s
Current children cumulated vsize: 2604308 KiB
Current children cumulated memory: 2367748 KiB

[startup+3605.6 s]
/proc/loadavg: 3.94 4.06 4.03 3/237 163220
/proc/meminfo: memFree=101543240/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2604824 memory=2368132 CPUtime=3594.92 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 516942 0 0 0 359378 114 0 0 20 0 1 0 239318273 2667339776 592033 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 651206 592033 2688 2575 0 648113 0
Current children cumulated CPU time: 3594.92 s
Current children cumulated vsize: 2604824 KiB
Current children cumulated memory: 2368132 KiB

[startup+3606 s]*
/proc/loadavg: 3.94 4.06 4.03 3/237 163220
/proc/meminfo: memFree=101543240/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2602996 memory=2366588 CPUtime=3595.33 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 517009 0 0 0 359419 114 0 0 20 0 1 0 239318273 2665467904 591647 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 650749 591647 2688 2575 0 647656 0
Current children cumulated CPU time: 3595.33 s
Current children cumulated vsize: 2602996 KiB
Current children cumulated memory: 2366588 KiB

[startup+3606.2 s]
/proc/loadavg: 3.94 4.06 4.03 3/237 163220
/proc/meminfo: memFree=101543240/131382112 swapFree=33001664/33010684
[pid=162975] ppid=162963 vsize=2408560 memory=2173016 CPUtime=3595.52 cores=5,7
/proc/162975/stat : 162975 (pbsolver) R 162963 162975 162904 0 -1 4194304 517043 0 0 0 359437 115 0 0 20 0 1 0 239318273 2466365440 543254 18446744073709551615 4198400 14743177 140735229964272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 48504832 140735229970824 140735229970920 140735229970920 140735229976524 0
/proc/162975/statm: 602140 543254 2688 2575 0 599047 0
Current children cumulated CPU time: 3595.52 s
Current children cumulated vsize: 2408560 KiB
Current children cumulated memory: 2173016 KiB

Child status: 0

Real time (s): 3606.23
CPU time (s): 3595.56
CPU user time (s): 3594.38
CPU system time (s): 1.18116
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 2604824
Max. memory (cumulated for all children) (KiB): 2368132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.38
system time used= 1.18116
maximum resident set size= 2368132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517095
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= 24
involuntary context switches= 1778


# summary of solver processes directly reported to runsolver:
#   pid: 162975
#   total CPU time (s): 3595.56
#   total CPU user time (s): 3594.38
#   total CPU system time (s): 1.18116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.401 second user time and 33.7379 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-23 04:06:29
IDJOB=4545360
IDBENCH=180847
IDSOLVER=3366
FILE ID=nodeC005/4545360-1753236388
RUNJOBID= nodeC005-1753236388-162917
SLURM_JOB_ID= 9687870
Free space on /tmp= 433000 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-dec2-3-3-1.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545360-1753236388/watcher-4545360-1753236388 -o /tmp/evaluation-result-4545360-1753236388/solver-4545360-1753236388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753236388-162917 --watchdog 3760  pbsolver -f HOME/instance-4545360-1753236388.opb -t 3600 -m 31000

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

MD5SUM BENCH= ecd2a3a27adff12226215cdbd4072e2c
RANDOM SEED=14364691

nodeC005 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.267
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.90
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.188
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.90
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.237
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.90
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.235
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.90
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.244
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.90
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.242
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.90
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.321
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.90
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.378
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        105652800 kB
MemAvailable:   129815260 kB
Buffers:              12 kB
Cached:         24933872 kB
SwapCached:          776 kB
Active:           479352 kB
Inactive:       24519064 kB
Active(anon):      46728 kB
Inactive(anon):    38384 kB
Active(file):     432624 kB
Inactive(file): 24480680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33001664 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81120 kB
Writeback:             8 kB
AnonPages:         66892 kB
Mapped:           102776 kB
Shmem:             20564 kB
KReclaimable:     177564 kB
Slab:             268800 kB
SReclaimable:     177564 kB
SUnreclaim:        91236 kB
KernelStack:        3856 kB
PageTables:         2768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     350208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC005 at 2025-07-23 05:06:35