Trace number 4501984

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 2024-07-07? 3587.62 3597.16

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
MD5SUMbe0542d3b59031398d11b8d8792cc86e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22022
Total number of constraints69919
Number of constraints which are clauses69439
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint90
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4501984-1751168386.opb>
0.09/0.15	c original problem has 22022 variables (22022 bin, 0 int, 0 impl, 0 cont) and 69919 constraints
0.09/0.15	c problem read in 0.15
0.09/0.15	c No objective function, only one solution is needed.
0.19/0.27	c presolving:
0.40/0.43	c (round 1, fast)       9426 del vars, 8886 del conss, 0 add conss, 2003 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 28829 clqs
0.40/0.49	c (round 2, fast)       16564 del vars, 34983 del conss, 0 add conss, 2003 chg bounds, 15 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 28049 clqs
0.40/0.50	c (round 3, fast)       16564 del vars, 35763 del conss, 0 add conss, 2003 chg bounds, 15 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 28049 clqs
0.49/0.56	c    (0.5s) running MILP presolver
2.38/2.45	c    (2.4s) MILP presolver (3 rounds): 5 aggregations, 30 fixings, 0 bound changes
2.38/2.46	c (round 4, medium)     16599 del vars, 35763 del conss, 0 add conss, 2003 chg bounds, 15 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 27907 clqs
2.38/2.47	c (round 5, fast)       16614 del vars, 35930 del conss, 0 add conss, 2003 chg bounds, 15 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 27892 clqs
2.48/2.56	c (round 6, exhaustive) 16614 del vars, 35945 del conss, 0 add conss, 2003 chg bounds, 15 chg sides, 10 chg coeffs, 33974 upgd conss, 0 impls, 27892 clqs
2.57/2.69	c (round 7, exhaustive) 16614 del vars, 53491 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27892 clqs
2.67/2.70	c (round 8, fast)       16616 del vars, 53531 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 28344 clqs
2.67/2.71	c (round 9, fast)       16618 del vars, 53663 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 28342 clqs
2.67/2.71	c (round 10, fast)       16619 del vars, 53728 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 28254 clqs
2.67/2.72	c (round 11, fast)       16621 del vars, 53799 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 28165 clqs
2.67/2.73	c (round 12, fast)       16623 del vars, 53875 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 28077 clqs
2.67/2.74	c (round 13, fast)       16625 del vars, 53942 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27989 clqs
2.67/2.74	c (round 14, fast)       16626 del vars, 54005 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27988 clqs
2.67/2.75	c (round 15, fast)       16627 del vars, 54077 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27902 clqs
2.67/2.76	c (round 16, fast)       16629 del vars, 54100 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27815 clqs
2.67/2.76	c (round 17, fast)       16630 del vars, 54173 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27814 clqs
2.67/2.77	c (round 18, fast)       16631 del vars, 54192 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27728 clqs
2.67/2.78	c (round 19, fast)       16632 del vars, 54257 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27727 clqs
2.67/2.78	c (round 20, fast)       16633 del vars, 54326 del conss, 5639 add conss, 2003 chg bounds, 16 chg sides, 22 chg coeffs, 33974 upgd conss, 0 impls, 27643 clqs
2.77/2.80	c (round 21, medium)     16673 del vars, 54419 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 27447 clqs
2.77/2.81	c (round 22, fast)       16680 del vars, 54776 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26921 clqs
2.77/2.81	c (round 23, fast)       16680 del vars, 54945 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26921 clqs
2.77/2.82	c (round 24, fast)       16683 del vars, 55016 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26717 clqs
2.77/2.82	c (round 25, fast)       16686 del vars, 55277 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26530 clqs
2.77/2.83	c (round 26, fast)       16689 del vars, 55403 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26384 clqs
2.77/2.84	c (round 27, fast)       16692 del vars, 55560 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26263 clqs
2.77/2.84	c (round 28, fast)       16696 del vars, 55662 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26128 clqs
2.77/2.85	c (round 29, fast)       16696 del vars, 55738 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26128 clqs
2.77/2.85	c (round 30, fast)       16697 del vars, 55765 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26101 clqs
2.77/2.86	c (round 31, fast)       16702 del vars, 55820 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26021 clqs
2.77/2.86	c (round 32, fast)       16704 del vars, 55846 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26000 clqs
2.77/2.87	c (round 33, fast)       16704 del vars, 55866 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 26000 clqs
2.77/2.88	c (round 34, medium)     16709 del vars, 55886 del conss, 5639 add conss, 2003 chg bounds, 53 chg sides, 59 chg coeffs, 33974 upgd conss, 0 impls, 25974 clqs
7.86/7.98	c    (8.0s) probing: 1000/11670 (8.6%) - 0 fixings, 0 aggregations, 675414 implications, 0 bound changes
7.86/7.99	c    (8.0s) probing: 1001/11670 (8.6%) - 0 fixings, 0 aggregations, 675903 implications, 0 bound changes
7.86/7.99	c    (8.0s) probing aborted: 1000/1000 successive useless probings
7.86/7.99	c    (8.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.97/8.06	c    (8.0s) no symmetry present (symcode time: 0.02)
7.97/8.07	c presolving (35 rounds: 35 fast, 6 medium, 3 exhaustive):
7.97/8.07	c  16710 deleted vars, 55896 deleted constraints, 5639 added constraints, 2003 tightened bounds, 0 added holes, 53 changed sides, 67 changed coefficients
7.97/8.07	c  0 implications, 191775 cliques
7.97/8.07	c presolved problem has 11670 variables (11670 bin, 0 int, 0 impl, 0 cont) and 19661 constraints
7.97/8.07	c     442 constraints of type <knapsack>
7.97/8.07	c   14208 constraints of type <setppc>
7.97/8.07	c    5010 constraints of type <and>
7.97/8.07	c       1 constraints of type <logicor>
7.97/8.07	c transformed objective value is always integral (scale: 1)
7.97/8.07	c Presolving Time: 7.81
7.97/8.07	c - non default parameters ----------------------------------------------------------------------
7.97/8.07	c # SCIP version 10.0.0
7.97/8.07	c 
7.97/8.07	c # maximal time in seconds to run
7.97/8.07	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.97/8.07	c limits/time = 3596.99702
7.97/8.07	c 
7.97/8.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.97/8.07	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.97/8.07	c limits/memory = 27900
7.97/8.07	c 
7.97/8.07	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
7.97/8.07	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
7.97/8.07	c limits/solutions = 1
7.97/8.07	c 
7.97/8.07	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
7.97/8.07	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
7.97/8.07	c misc/usesymmetry = 3
7.97/8.07	c 
7.97/8.07	c # belongs reading time to solving time?
7.97/8.07	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.97/8.07	c timing/reading = TRUE
7.97/8.07	c 
7.97/8.07	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
7.97/8.07	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.07	c propagating/symmetry/detectdoublelex = FALSE
7.97/8.07	c 
7.97/8.07	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
7.97/8.07	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.07	c propagating/symmetry/detectsubgroups = FALSE
7.97/8.07	c 
7.97/8.07	c # Type of symmetries that shall be computed?
7.97/8.07	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
7.97/8.07	c propagating/symmetry/symtype = 1
7.97/8.07	c 
7.97/8.07	c # Should components consisting of a single full reflection be handled?
7.97/8.07	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.07	c propagating/symmetry/usesimplesgncomp = FALSE
7.97/8.07	c 
7.97/8.07	c -----------------------------------------------------------------------------------------------
7.97/8.07	c start solving
7.97/8.08	c 
80.67/80.98	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
80.67/80.98	c  81.0s|     1 |     0 | 31323 |     - |   231M |   0 |  11k|  19k|  24k|   0 |  0 |  32 |   0 | 0.000000e+00 |      --      |    Inf | unknown
220.80/221.45	c   221s|     1 |     0 |162817 |     - |   256M |   0 |  11k|  19k|  24k|  36 |  1 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
267.95/268.71	c   269s|     1 |     0 |179947 |     - |   265M |   0 |  11k|  19k|  24k|  74 |  2 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
318.29/319.24	c   319s|     1 |     0 |197527 |     - |   272M |   0 |  11k|  19k|  24k| 104 |  3 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
348.41/349.47	c   349s|     1 |     0 |209039 |     - |   279M |   0 |  11k|  19k|  24k| 127 |  4 |  48 |   0 | 0.000000e+00 |      --      |    Inf | unknown
369.06/370.15	c   370s|     1 |     0 |218244 |     - |   283M |   0 |  11k|  19k|  24k| 145 |  5 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.20/390.39	c   390s|     1 |     0 |227255 |     - |   287M |   0 |  11k|  19k|  24k| 161 |  6 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
406.96/408.14	c   408s|     1 |     0 |234315 |     - |   290M |   0 |  11k|  19k|  24k| 175 |  7 |  53 |   0 | 0.000000e+00 |      --      |    Inf | unknown
423.21/424.45	c   424s|     1 |     0 |240096 |     - |   296M |   0 |  11k|  19k|  24k| 187 |  8 |  55 |   0 | 0.000000e+00 |      --      |    Inf | unknown
448.64/449.96	c   450s|     1 |     0 |250420 |     - |   300M |   0 |  11k|  19k|  24k| 196 |  9 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
476.57/477.90	c   478s|     1 |     0 |261378 |     - |   303M |   0 |  11k|  19k|  24k| 210 | 10 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
487.04/488.44	c   488s|     1 |     0 |268600 |     - |   306M |   0 |  11k|  19k|  24k| 225 | 11 |  58 |   0 | 0.000000e+00 |      --      |    Inf | unknown
646.63/648.44	c   648s|     1 |     2 |335875 |     - |   308M |   0 |  11k|  19k|  24k| 225 | 11 |  79 |  20 | 0.000000e+00 |      --      |    Inf | unknown
3587.46/3597.01	c 
3587.46/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.46/3597.01	c Solving Time (sec) : 3597.00
3587.46/3597.01	c Solving Nodes      : 28
3587.46/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.46/3597.01	c Dual Bound         : +0.00000000000000e+00
3587.46/3597.01	c Gap                : infinite
3587.46/3597.01	s UNKNOWN
3587.46/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.46/3597.01	c Total Time         :    3597.00
3587.46/3597.01	c   solving          :    3597.00
3587.46/3597.01	c   presolving       :       7.81 (included in solving)
3587.46/3597.01	c   reading          :       0.15 (included in solving)
3587.46/3597.01	c   copying          :       0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3587.46/3597.01	c Original Problem   :
3587.46/3597.01	c   Problem name     : HOME/instance-4501984-1751168386.opb
3587.46/3597.01	c   Variables        : 22022 (22022 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.46/3597.01	c   Constraints      : 69919 initial, 69919 maximal
3587.46/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.46/3597.01	c Presolved Problem  :
3587.46/3597.01	c   Problem name     : t_HOME/instance-4501984-1751168386.opb
3587.46/3597.01	c   Variables        : 11670 (11670 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.46/3597.01	c   Constraints      : 19661 initial, 19819 maximal
3587.46/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.46/3597.01	c   Nonzeros         : 70181 constraint, 384116 clique table
3587.46/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.46/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   gateextraction   :       0.07       0.00      2          0          0          0          0          0      17546       5639          0          0
3587.46/3597.01	c   implics          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   milp             :       1.94       0.00      1         30          5          0          0          0          0          0          0          0
3587.46/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   trivial          :       0.01       0.00     35       6358          0          0          0          0          0          0          0          0
3587.46/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   dualfix          :       0.01       0.00     35          9          0          0          0          0          0          0          0          0
3587.46/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   probing          :       5.06       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   symmetry         :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   vbounds          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   knapsack         :       0.05       0.00     34          0          0          0          0          0          0          0          1         20
3587.46/3597.01	c   setppc           :       0.17       0.00     34         39         48          0          0          0       2405          0         37         37
3587.46/3597.01	c   and              :       0.04       0.00     29          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   linear           :       0.26       0.02      7       2003       1860          0       2003          0      35945          0         15         10
3587.46/3597.01	c   logicor          :       0.01       0.00     34          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   root node        :          -          -      -          1          -          -          1          -          -          -          -          -
3587.46/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.46/3597.01	c   benderslp        :          0          0          0          0         27          0          0          7          0          0          0          0          0          0          0
3587.46/3597.01	c   integral         :          0          0          0          0         27          0          0          7          0          0          0          0          0          0         54
3587.46/3597.01	c   knapsack         :        442        442         11      65949          0          0          0          3        926         10          0         46         14          0          0
3587.46/3597.01	c   setppc           :      14208+     14223         11      65939          0          0          0          1       9969         30       2430          0          0          0          0
3587.46/3597.01	c   and              :       5010       5010         65      65909          0          0          0          0       2816          8       1661       1404       1040          0          0
3587.46/3597.01	c   logicor          :          1+       144         11        265          0          0          0          0         25          0          0          0          0          0          0
3587.46/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.46/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   integral         :      41.48       0.00       0.00       0.00      41.48       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   knapsack         :       0.24       0.00       0.07       0.17       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   setppc           :       1.18       0.00       0.02       1.15       0.00       0.00       0.00       0.00       0.00       0.01
3587.46/3597.01	c   and              :       3.23       0.00       0.12       3.05       0.00       0.00       0.00       0.00       0.00       0.07
3587.46/3597.01	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.46/3597.01	c   dualfix          :          2          0          0          1
3587.46/3597.01	c   genvbounds       :          0          0          0          0
3587.46/3597.01	c   nlobbt           :          0          0          0          0
3587.46/3597.01	c   obbt             :          0          0          0          0
3587.46/3597.01	c   probing          :          0          0          0          0
3587.46/3597.01	c   pseudoobj        :          0          0          0          0
3587.46/3597.01	c   redcost          :          0          0          0          0
3587.46/3597.01	c   rootredcost      :          0          0          0          0
3587.46/3597.01	c   symmetry         :          0          0          0          0
3587.46/3597.01	c   vbounds          :      15403          0          0          0
3587.46/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.46/3597.01	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
3587.46/3597.01	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   probing          :       5.06       0.00       5.06       0.00       0.00       0.00
3587.46/3597.01	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.01	c   symmetry         :       0.07       0.00       0.07       0.00       0.00       0.00
3587.46/3597.01	c   vbounds          :       0.02       0.00       0.01       0.01       0.00       0.00
3587.46/3597.01	c Symmetry           :
3587.46/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.46/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.46/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.46/3597.01	c   shadow tree time :       0.00 s
3587.46/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.46/3597.01	c   propagation      :       0.00         46         46          -        135      146.4          1        8.0          -          -          -
3587.46/3597.01	c   infeasible LP    :       0.06          7          7          -        432      665.4          0        0.0          0        0.0          0
3587.46/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.46/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.46/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.46/3597.01	c   applied globally :       0.00          -          -          0        163      232.7          -          -          0          -          -
3587.46/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.46/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.46/3597.01	c   cut pool         :       0.00          -         33         21          -          -        984       1145          -          -          -          -          -    (maximal pool size:        984)
3587.46/3597.01	c   aggregation      :       0.09       0.00         17         11          0          0         21         55          0         27         27          0          0
3587.46/3597.01	c   > cmir           :          -          -          -          -          -          -          -         54          0         26         26          0          -
3587.46/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.46/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          1          0          1          1          0          -
3587.46/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   clique           :      10.55       0.00         11         11          0          0         49         53          0         15         15          0          0
3587.46/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   gomory           :     101.53       0.00         16         10          0          0        127        180          0         84         84          0          0
3587.46/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.46/3597.01	c   > strongcg       :          -          -          -          -          -          -          -        180          0         84         84          0          -
3587.46/3597.01	c   impliedbounds    :       0.12       0.00         17         11          0          0        642        679          0        223        223          0          0
3587.46/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   mcf              :       0.15       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   multilinear      :       0.00       0.00         15         11          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.01	c   rlt              :       5.19       0.00         13         10          0          0         64         28         38         16         16          0          0
3587.46/3597.01	c   zerohalf         :       7.84       0.00         17         11          0          0        119        150          0         85         85          0          0
3587.46/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.46/3597.01	c   hybrid           :       0.00       0.00         65         11       1504          0       1129        225          0        725
3587.46/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.46/3597.01	c   problem variables:       0.00          -          0          0
3587.46/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.46/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c   relpscost        :      41.48       0.00         27          0          0          0          0          0          0         54
3587.46/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.46/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.46/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.46/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.46/3597.01	c   strong branching :       0.00          -          -          0          0
3587.46/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.46/3597.01	c   adaptivediving   :      52.13       0.00          1          0          0
3587.46/3597.01	c   alns             :       0.12       0.00          1          0          0
3587.46/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.46/3597.01	c   clique           :       0.07       0.00          1          0          0
3587.46/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.46/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.46/3597.01	c   conflictdiving   :     118.41       0.00          1          0          0
3587.46/3597.01	c   crossover        :       0.00       0.00          0          0          0
3587.46/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.46/3597.01	c   distributiondivin:      56.62       0.00          1          0          0
3587.46/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.46/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.46/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.46/3597.01	c   feasjump         :       0.02       0.00          1          0          0
3587.46/3597.01	c   feaspump         :      63.61       0.00          1          0          0
3587.46/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.46/3597.01	c   fracdiving       :      42.03       0.00          1          0          0
3587.46/3597.01	c   gins             :       0.00       0.00          0          0          0
3587.46/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3587.46/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.46/3597.01	c   indicator        :       0.00       0.00          0          0          0
3587.46/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.46/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3587.46/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.46/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.46/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.46/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.46/3597.01	c   linesearchdiving :       0.00       0.00          0          0          0
3587.46/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.46/3597.01	c   locks            :       0.06       0.00          1          0          0
3587.46/3597.01	c   lpface           :       0.00       0.00          0          0          0
3587.46/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.46/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.46/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.46/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.46/3597.01	c   objpscostdiving  :    1212.41       0.00          1          0          0
3587.46/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.46/3597.01	c   ofins            :       0.00       0.00          0          0          0
3587.46/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3587.46/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.46/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.46/3597.01	c   pscostdiving     :      60.56       0.00          1          0          0
3587.46/3597.01	c   randrounding     :       0.10       0.00         12          0          0
3587.46/3597.01	c   rens             :       0.00       0.00          0          0          0
3587.46/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.46/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.46/3597.01	c   rins             :       0.00       0.00          0          0          0
3587.46/3597.01	c   rootsoldiving    :      40.72       0.00          1          0          0
3587.46/3597.01	c   rounding         :       0.33       0.00         92          0          0
3587.46/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.46/3597.01	c   shiftandpropagate:       0.02       0.00          1          0          0
3587.46/3597.01	c   shifting         :       0.54       0.00         21          0          0
3587.46/3597.01	c   simplerounding   :       0.00       0.00         92          0          0
3587.46/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.46/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3587.46/3597.01	c   trivial          :       0.01       0.00          2          0          0
3587.46/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.46/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.46/3597.01	c   trysol           :       0.00       0.00          0          0          0
3587.46/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.46/3597.01	c   undercover       :      15.17       0.00          1          0          0
3587.46/3597.01	c   vbounds          :       0.19       0.00          1          0          0
3587.46/3597.01	c   veclendiving     :      45.12       0.00          1          0          0
3587.46/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.46/3597.01	c   zirounding       :       0.03       0.00         27          0          0
3587.46/3597.01	c   other solutions  :          -          -          -          0          -
3587.46/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	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
3587.46/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.46/3597.01	c   primal LP        :       2.22          4          0       0.00       0.00       2.22          4
3587.46/3597.01	c   dual LP          :    1710.89         93     899284    9669.72     525.62       0.00          0
3587.46/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.46/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.46/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3587.46/3597.01	c   diving/probing LP:    1715.21        942     601794     638.85     350.86
3587.46/3597.01	c   strong branching :      27.02         20      20000    1000.00     740.26          -          -         40
3587.46/3597.01	c     (at root node) :          -         20      20000    1000.00          -
3587.46/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3587.46/3597.01	c B&B Tree           :
3587.46/3597.01	c   number of runs   :          1
3587.46/3597.01	c   nodes            :         28 (27 internal, 1 leaves)
3587.46/3597.01	c   feasible leaves  :          0
3587.46/3597.01	c   infeas. leaves   :          0
3587.46/3597.01	c   objective leaves :          0
3587.46/3597.01	c   nodes (total)    :         28 (27 internal, 1 leaves)
3587.46/3597.01	c   nodes left       :         28
3587.46/3597.01	c   max depth        :         15
3587.46/3597.01	c   max depth (total):         15
3587.46/3597.01	c   backtracks       :          7 (25.0%)
3587.46/3597.01	c   early backtracks :          0 (0.0%)
3587.46/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.46/3597.01	c   delayed cutoffs  :          0
3587.46/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3587.46/3597.01	c   avg switch length:       1.93
3587.46/3597.01	c   switching time   :       2.23
3587.46/3597.01	c Root Node          :
3587.46/3597.01	c   First LP value   : +0.00000000000000e+00
3587.46/3597.01	c   First LP Iters   :      31323 (431.93 Iter/sec)
3587.46/3597.01	c   First LP Time    :      72.52
3587.46/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3587.46/3597.01	c   Final Root Iters :     268600
3587.46/3597.01	c   Root LP Estimate : +3.82444795817642e-03
3587.46/3597.01	c Solution           :
3587.46/3597.01	c   Solutions found  :          0 (0 improvements)
3587.46/3597.01	c   Primal Bound     :          -
3587.46/3597.01	c   Dual Bound       : +0.00000000000000e+00
3587.46/3597.01	c   Gap              :   infinite
3587.46/3597.01	c Integrals          :      Total       Avg%
3587.46/3597.01	c   primal-dual      :  359700.06     100.00
3587.46/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.46/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.56/3597.15	c Time complete: 3587.62.

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: 63665 MiB (63027 MiB free)
  memory of node 1: 64507 MiB (63996 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501984-1751168386/watcher-4501984-1751168386 -o /tmp/evaluation-result-4501984-1751168386/solver-4501984-1751168386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23687 --watchdog 3760 pbscip -f HOME/instance-4501984-1751168386.opb -t 3600 -j 2 -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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23742, runsolver pid=23727

[startup+0.100061 s]*
/proc/loadavg: 1.58 2.08 2.81 6/262 23743
/proc/meminfo: memFree=129913188/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=82360 memory=54528 CPUtime=0.09 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 10719 0 0 0 7 2 0 0 20 0 1 0 32516501 84336640 13632 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 20590 13632 3232 3530 0 12041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82360 KiB
Current children cumulated memory: 54528 KiB

[startup+0.204706 s]*
/proc/loadavg: 1.58 2.08 2.81 6/260 23751
/proc/meminfo: memFree=129777948/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=142692 memory=116136 CPUtime=0.19 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 26155 0 0 0 15 4 0 0 20 0 1 0 32516501 146116608 29034 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 35673 29034 3520 3530 0 27124 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 142692 KiB
Current children cumulated memory: 116136 KiB

[startup+0.305469 s]*
/proc/loadavg: 1.58 2.08 2.81 6/260 23751
/proc/meminfo: memFree=129672864/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=184244 memory=155560 CPUtime=0.29 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 35978 0 0 0 24 5 0 0 20 0 1 0 32516501 188665856 38890 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 46061 38890 3552 3530 0 37512 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 184244 KiB
Current children cumulated memory: 155560 KiB

[startup+0.700182 s]
/proc/loadavg: 1.58 2.08 2.81 6/260 23751
/proc/meminfo: memFree=129652452/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=212456 memory=184656 CPUtime=0.68 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 45635 0 0 0 60 8 0 0 20 0 1 0 32516501 217554944 46164 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 53114 46164 3712 3530 0 44565 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212456 KiB
Current children cumulated memory: 184656 KiB

[startup+1.50014 s]
/proc/loadavg: 1.58 2.08 2.81 5/260 23751
/proc/meminfo: memFree=129590912/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=212456 memory=184656 CPUtime=1.48 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 45635 0 0 0 140 8 0 0 20 0 1 0 32516501 217554944 46164 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 53114 46164 3712 3530 0 44565 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 212456 KiB
Current children cumulated memory: 184656 KiB

[startup+3.10546 s]
/proc/loadavg: 1.58 2.08 2.81 6/264 23833
/proc/meminfo: memFree=129398612/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=209660 memory=180956 CPUtime=3.08 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 49891 0 0 0 299 9 0 0 20 0 1 0 32516501 214691840 45239 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 52415 45239 3744 3530 0 43866 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 209660 KiB
Current children cumulated memory: 180956 KiB

[startup+6.30017 s]
/proc/loadavg: 1.78 2.12 2.82 6/264 23833
/proc/meminfo: memFree=129226908/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=228280 memory=199388 CPUtime=6.27 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 54523 0 0 0 617 10 0 0 20 0 1 0 32516501 233758720 49847 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 57070 49847 3744 3530 0 48521 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 228280 KiB
Current children cumulated memory: 199388 KiB

[startup+12.7001 s]
/proc/loadavg: 1.95 2.15 2.82 6/264 23833
/proc/meminfo: memFree=129138852/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=301600 memory=257488 CPUtime=12.65 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 70922 0 0 0 1252 13 0 0 20 0 1 0 32516501 308838400 64372 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 75400 64372 3936 3530 0 66851 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 301600 KiB
Current children cumulated memory: 257488 KiB

[startup+25.5001 s]
/proc/loadavg: 2.35 2.23 2.84 6/264 23833
/proc/meminfo: memFree=129050540/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=309156 memory=265480 CPUtime=25.42 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 72393 0 0 0 2529 13 0 0 20 0 1 0 32516501 316575744 66370 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 77289 66370 3936 3530 0 68740 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 309156 KiB
Current children cumulated memory: 265480 KiB

[startup+51.1053 s]
/proc/loadavg: 3.00 2.40 2.88 6/264 23834
/proc/meminfo: memFree=129043692/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=309156 memory=265480 CPUtime=50.95 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 72395 0 0 0 5082 13 0 0 20 0 1 0 32516501 316575744 66370 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 77289 66370 3936 3530 0 68740 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 309156 KiB
Current children cumulated memory: 265480 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.66 2.95 6/264 23835
/proc/meminfo: memFree=129032804/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=310088 memory=266504 CPUtime=102.02 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 72647 0 0 0 10189 13 0 0 20 0 1 0 32516501 317530112 66626 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 77522 66626 3936 3530 0 68973 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 310088 KiB
Current children cumulated memory: 266504 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.93 3.02 6/266 23839
/proc/meminfo: memFree=128856384/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=356132 memory=311304 CPUtime=161.88 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 83826 0 0 0 16173 15 0 0 20 0 1 0 32516501 364679168 77826 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 89033 77826 3968 3530 0 80484 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 356132 KiB
Current children cumulated memory: 311304 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.14 3.09 6/266 23841
/proc/meminfo: memFree=128649860/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=394332 memory=350236 CPUtime=221.7 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 84926 0 0 0 22155 15 0 0 20 0 1 0 32516501 403795968 87559 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 98583 87559 3968 3530 0 90034 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 394332 KiB
Current children cumulated memory: 350236 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.31 3.16 6/266 24024
/proc/meminfo: memFree=128682984/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=394332 memory=350620 CPUtime=281.51 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 85028 0 0 0 28136 15 0 0 20 0 1 0 32516501 403795968 87655 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 98583 87655 3968 3530 0 90034 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 394332 KiB
Current children cumulated memory: 350620 KiB

[startup+342.3 s]
/proc/loadavg: 4.33 3.54 3.25 6/266 24033
/proc/meminfo: memFree=128634400/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=402344 memory=361244 CPUtime=341.33 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 86876 0 0 0 34117 16 0 0 20 0 1 0 32516501 412000256 90311 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 100586 90311 3968 3530 0 92037 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 402344 KiB
Current children cumulated memory: 361244 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 3.64 3.30 6/266 24035
/proc/meminfo: memFree=128609084/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=411908 memory=364444 CPUtime=401.17 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 87530 0 0 0 40101 16 0 0 20 0 1 0 32516501 421793792 91111 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 102977 91111 3968 3530 0 94428 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 411908 KiB
Current children cumulated memory: 364444 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.74 3.36 6/265 24038
/proc/meminfo: memFree=128581636/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=425428 memory=381980 CPUtime=461.01 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 89075 0 0 0 46085 16 0 0 20 0 1 0 32516501 435638272 95495 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 106357 95495 3968 3530 0 97808 0
Current children cumulated CPU time: 461.01 s

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

/proc/loadavg: 4.09 4.08 4.04 6/264 24182
/proc/meminfo: memFree=128126552/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3213.7 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104447 0 0 0 321352 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.04 6/263 24184
/proc/meminfo: memFree=128124740/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3273.55 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104447 0 0 0 327337 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.04 6/264 24193
/proc/meminfo: memFree=128124948/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3333.4 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104447 0 0 0 333322 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.04 6/264 24195
/proc/meminfo: memFree=128121188/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3393.25 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104451 0 0 0 339307 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.09 4.04 6/264 24197
/proc/meminfo: memFree=128111500/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3453.1 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104451 0 0 0 345292 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.04 6/264 24200
/proc/meminfo: memFree=128107068/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3512.94 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104489 0 0 0 351276 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.04 6/264 24202
/proc/meminfo: memFree=128106980/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3572.79 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 357261 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

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

# cumulated CPU time of all completed processes:  user=3587.43 s, system=0.19043 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.07 4.04 6/264 24202
/proc/meminfo: memFree=128107060/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3574.49 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 357431 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3574.49 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.09 4.04 6/264 24202
/proc/meminfo: memFree=128107060/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3580.87 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 358069 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3580.87 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.09 4.04 6/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3584.06 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 358388 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.09 4.04 6/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3585.66 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 358548 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.08 4.04 6/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3586.46 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 358628 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.08 4.04 6/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3587.25 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 358707 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3597 s]*
/proc/loadavg: 4.10 4.08 4.04 6/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=475028 memory=437856 CPUtime=3587.46 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104550 0 0 0 358728 18 0 0 20 0 1 0 32516501 486428672 109464 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 118757 109464 3968 3530 0 110208 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 437856 KiB

[startup+3597.11 s]
/proc/loadavg: 4.10 4.08 4.04 6/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23742] ppid=23727 vsize=431716 memory=394720 CPUtime=3587.56 cores=5,7
/proc/23742/stat : 23742 (pbscip) R 23727 23742 23674 0 -1 4194304 104581 0 0 0 358738 18 0 0 20 0 1 0 32516501 442077184 98680 18446744073709551615 4235264 18693293 140736979584784 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44249088 140736979593609 140736979593708 140736979593708 140736979599310 0
/proc/23742/statm: 107929 98680 3968 3530 0 99380 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 431716 KiB
Current children cumulated memory: 394720 KiB

Child status: 0

Real time (s): 3597.16
CPU time (s): 3587.62
CPU user time (s): 3587.43
CPU system time (s): 0.19043
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 486996
Max. memory (cumulated for all children) (KiB): 438044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.43
system time used= 0.19043
maximum resident set size= 438044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104601
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= 104
involuntary context switches= 1099


# summary of solver processes directly reported to runsolver:
#   pid: 23742
#   total CPU time (s): 3587.62
#   total CPU user time (s): 3587.43
#   total CPU system time (s): 0.19043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63564 second user time and 15.4829 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 05:39:46
IDJOB=4501984
IDBENCH=152989
IDSOLVER=3365
FILE ID=nodeC018/4501984-1751168386
RUNJOBID= nodeC018-1751168386-23687
SLURM_JOB_ID= 9587511
Free space on /tmp= 433056 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_10-sat.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501984-1751168386/watcher-4501984-1751168386 -o /tmp/evaluation-result-4501984-1751168386/solver-4501984-1751168386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23687 --watchdog 3760  pbscip -f HOME/instance-4501984-1751168386.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= be0542d3b59031398d11b8d8792cc86e
RANDOM SEED=1180524903

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.835
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.923
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.007
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.062
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.006
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3595.338
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.450
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.823
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130081544 kB
MemAvailable:   129786508 kB
Buffers:            3280 kB
Cached:           515468 kB
SwapCached:            0 kB
Active:           324368 kB
Inactive:         259036 kB
Active(anon):      82744 kB
Inactive(anon):        0 kB
Active(file):     241624 kB
Inactive(file):   259036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             80968 kB
Writeback:             8 kB
AnonPages:         67748 kB
Mapped:           102380 kB
Shmem:             18076 kB
KReclaimable:      86684 kB
Slab:             169960 kB
SReclaimable:      86684 kB
SUnreclaim:        83276 kB
KernelStack:        4048 kB
PageTables:         2776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     332160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC018 at 2025-06-29 06:39:44