Trace number 4501948

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.69 3597.13

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_3-sat.opb
MD5SUM69f6f997ce8de3d1a51b1c8599cc504d
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 variables19838
Total number of constraints62894
Number of constraints which are clauses62462
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints432
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 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 554
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.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4501948-1751154488.opb>
0.08/0.14	c original problem has 19838 variables (19838 bin, 0 int, 0 impl, 0 cont) and 62894 constraints
0.08/0.14	c problem read in 0.13
0.08/0.14	c No objective function, only one solution is needed.
0.19/0.25	c presolving:
0.29/0.40	c (round 1, fast)       10319 del vars, 9130 del conss, 0 add conss, 2297 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 19730 clqs
0.39/0.48	c (round 2, fast)       17988 del vars, 38580 del conss, 0 add conss, 2297 chg bounds, 4 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 19027 clqs
0.39/0.49	c (round 3, fast)       17988 del vars, 39283 del conss, 0 add conss, 2297 chg bounds, 4 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 19027 clqs
0.50/0.52	c    (0.5s) running MILP presolver
1.08/1.15	c    (1.1s) MILP presolver (2 rounds): 0 aggregations, 11 fixings, 0 bound changes
1.08/1.16	c (round 4, medium)     17999 del vars, 39283 del conss, 0 add conss, 2297 chg bounds, 4 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 18992 clqs
1.08/1.16	c (round 5, fast)       18000 del vars, 39324 del conss, 0 add conss, 2297 chg bounds, 4 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 18991 clqs
1.18/1.23	c (round 6, exhaustive) 18000 del vars, 39325 del conss, 0 add conss, 2297 chg bounds, 4 chg sides, 4 chg coeffs, 23569 upgd conss, 0 impls, 18991 clqs
1.28/1.31	c (round 7, exhaustive) 18000 del vars, 52305 del conss, 4164 add conss, 2297 chg bounds, 6 chg sides, 18 chg coeffs, 23569 upgd conss, 0 impls, 18991 clqs
1.28/1.33	c (round 8, medium)     18031 del vars, 52351 del conss, 4164 add conss, 2297 chg bounds, 31 chg sides, 43 chg coeffs, 23569 upgd conss, 0 impls, 19350 clqs
1.28/1.33	c (round 9, fast)       18035 del vars, 52400 del conss, 4164 add conss, 2297 chg bounds, 31 chg sides, 43 chg coeffs, 23569 upgd conss, 0 impls, 19228 clqs
1.28/1.33	c (round 10, fast)       18040 del vars, 52521 del conss, 4165 add conss, 2297 chg bounds, 31 chg sides, 43 chg coeffs, 23569 upgd conss, 0 impls, 19128 clqs
1.28/1.34	c (round 11, fast)       18058 del vars, 52731 del conss, 4165 add conss, 2297 chg bounds, 32 chg sides, 45 chg coeffs, 23569 upgd conss, 0 impls, 18771 clqs
1.28/1.34	c (round 12, fast)       18061 del vars, 52928 del conss, 4165 add conss, 2297 chg bounds, 32 chg sides, 45 chg coeffs, 23569 upgd conss, 0 impls, 18754 clqs
1.28/1.34	c (round 13, fast)       18064 del vars, 52947 del conss, 4165 add conss, 2297 chg bounds, 32 chg sides, 45 chg coeffs, 23569 upgd conss, 0 impls, 18744 clqs
4.37/4.45	c    (4.4s) probing: 1000/8736 (11.4%) - 0 fixings, 0 aggregations, 360034 implications, 0 bound changes
4.37/4.45	c    (4.4s) probing: 1001/8736 (11.5%) - 0 fixings, 0 aggregations, 360394 implications, 0 bound changes
4.37/4.45	c    (4.4s) probing aborted: 1000/1000 successive useless probings
4.37/4.45	c    (4.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.47/4.50	c    (4.5s) no symmetry present (symcode time: 0.01)
4.47/4.51	c presolving (14 rounds: 14 fast, 5 medium, 3 exhaustive):
4.47/4.51	c  18068 deleted vars, 52949 deleted constraints, 4165 added constraints, 2297 tightened bounds, 0 added holes, 32 changed sides, 53 changed coefficients
4.47/4.51	c  0 implications, 172484 cliques
4.47/4.51	c presolved problem has 8736 variables (8736 bin, 0 int, 0 impl, 0 cont) and 14110 constraints
4.47/4.51	c     411 constraints of type <knapsack>
4.47/4.51	c   10022 constraints of type <setppc>
4.47/4.51	c    3676 constraints of type <and>
4.47/4.51	c       1 constraints of type <logicor>
4.47/4.51	c transformed objective value is always integral (scale: 1)
4.47/4.51	c Presolving Time: 4.26
4.47/4.51	c - non default parameters ----------------------------------------------------------------------
4.47/4.51	c # SCIP version 10.0.0
4.47/4.51	c 
4.47/4.51	c # maximal time in seconds to run
4.47/4.51	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.47/4.51	c limits/time = 3596.998009
4.47/4.51	c 
4.47/4.51	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.47/4.51	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.47/4.51	c limits/memory = 27900
4.47/4.51	c 
4.47/4.51	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
4.47/4.51	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
4.47/4.51	c limits/solutions = 1
4.47/4.51	c 
4.47/4.51	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.
4.47/4.51	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
4.47/4.51	c misc/usesymmetry = 3
4.47/4.51	c 
4.47/4.51	c # belongs reading time to solving time?
4.47/4.51	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.47/4.51	c timing/reading = TRUE
4.47/4.51	c 
4.47/4.51	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
4.47/4.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.47/4.51	c propagating/symmetry/detectdoublelex = FALSE
4.47/4.51	c 
4.47/4.51	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
4.47/4.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.47/4.51	c propagating/symmetry/detectsubgroups = FALSE
4.47/4.51	c 
4.47/4.51	c # Type of symmetries that shall be computed?
4.47/4.51	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
4.47/4.51	c propagating/symmetry/symtype = 1
4.47/4.51	c 
4.47/4.51	c # Should components consisting of a single full reflection be handled?
4.47/4.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.47/4.51	c propagating/symmetry/usesimplesgncomp = FALSE
4.47/4.51	c 
4.47/4.51	c -----------------------------------------------------------------------------------------------
4.47/4.51	c start solving
4.47/4.51	c 
37.57/37.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
37.57/37.71	c  37.7s|     1 |     0 | 22237 |     - |   205M |   0 |8736 |  14k|  17k|   0 |  0 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
100.90/101.24	c   101s|     1 |     0 |107203 |     - |   224M |   0 |8736 |  14k|  17k|  65 |  1 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
111.47/111.85	c   112s|     1 |     0 |114481 |     - |   235M |   0 |8736 |  14k|  17k| 107 |  2 |  78 |   0 | 0.000000e+00 |      --      |    Inf | unknown
121.44/121.80	c   122s|     1 |     0 |120430 |     - |   237M |   0 |8736 |  14k|  17k| 134 |  3 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
133.10/133.57	c   134s|     1 |     0 |128287 |     - |   239M |   0 |8736 |  14k|  17k| 155 |  4 |  82 |   0 | 0.000000e+00 |      --      |    Inf | unknown
143.58/144.04	c   144s|     1 |     0 |134883 |     - |   241M |   0 |8736 |  14k|  17k| 181 |  5 |  84 |   0 | 0.000000e+00 |      --      |    Inf | unknown
151.56/152.09	c   152s|     1 |     0 |138524 |     - |   244M |   0 |8736 |  14k|  17k| 197 |  6 |  86 |   0 | 0.000000e+00 |      --      |    Inf | unknown
160.03/160.55	c   161s|     1 |     0 |142632 |     - |   246M |   0 |8736 |  14k|  17k| 210 |  7 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
168.20/168.72	c   169s|     1 |     0 |146639 |     - |   247M |   0 |8736 |  14k|  18k| 222 |  8 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
175.49/176.08	c   176s|     1 |     0 |149462 |     - |   249M |   0 |8736 |  14k|  18k| 238 |  9 |  90 |   0 | 0.000000e+00 |      --      |    Inf | unknown
184.26/184.80	c   185s|     1 |     0 |153543 |     - |   252M |   0 |8736 |  14k|  18k| 255 | 10 |  92 |   0 | 0.000000e+00 |      --      |    Inf | unknown
189.74/190.38	c   190s|     1 |     0 |158675 |     - |   254M |   0 |8736 |  14k|  18k| 268 | 11 |  94 |   0 | 0.000000e+00 |      --      |    Inf | unknown
257.85/258.60	c   259s|     1 |     2 |198472 |     - |   255M |   0 |8736 |  14k|  18k| 268 | 11 | 116 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1785.52/1790.78	c  1791s|   100 |    85 |  1793k|16513.0 |   294M |  34 |8736 |  14k|  18k|2070 |  0 | 625 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1928.68/1934.23	c  1934s|   200 |   126 |  2045k|9479.7 |   317M |  43 |8736 |  14k|  18k|2213 |  1 | 889 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2232.63/2239.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2232.63/2239.03	c  2239s|   300 |   133 |  2484k|7779.4 |   334M |  49 |8736 |  15k|  18k|2532 |  2 |1218 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2398.82/2405.62	c  2406s|   400 |   128 |  2785k|6584.1 |   338M |  49 |8736 |  15k|  18k|2715 |  0 |1675 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2755.62/2763.27	c  2763s|   500 |   141 |  3303k|6302.1 |   346M |  49 |8736 |  16k|  18k|3380 |  0 |2079 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3148.24/3156.78	c  3157s|   600 |   145 |  3857k|6175.7 |   355M |  49 |8736 |  16k|  18k|3936 |  0 |2476 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3526.78/3536.13	c  3536s|   700 |   171 |  4387k|6049.8 |   371M |  49 |8736 |  16k|  18k|4302 |  0 |2864 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3587.55/3597.00	c 
3587.55/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.55/3597.00	c Solving Time (sec) : 3597.00
3587.55/3597.00	c Solving Nodes      : 714
3587.55/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.55/3597.00	c Dual Bound         : +0.00000000000000e+00
3587.55/3597.00	c Gap                : infinite
3587.55/3597.00	s UNKNOWN
3587.55/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.55/3597.00	c Total Time         :    3597.00
3587.55/3597.00	c   solving          :    3597.00
3587.55/3597.00	c   presolving       :       4.26 (included in solving)
3587.55/3597.00	c   reading          :       0.13 (included in solving)
3587.55/3597.00	c   copying          :       0.15 (4 #copies) (minimal 0.03, maximal 0.04, average 0.04)
3587.55/3597.00	c Original Problem   :
3587.55/3597.00	c   Problem name     : HOME/instance-4501948-1751154488.opb
3587.55/3597.00	c   Variables        : 19838 (19838 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.55/3597.00	c   Constraints      : 62894 initial, 62894 maximal
3587.55/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.55/3597.00	c Presolved Problem  :
3587.55/3597.00	c   Problem name     : t_HOME/instance-4501948-1751154488.opb
3587.55/3597.00	c   Variables        : 8736 (8736 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.55/3597.00	c   Constraints      : 14110 initial, 16633 maximal
3587.55/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.55/3597.00	c   Nonzeros         : 51785 constraint, 345422 clique table
3587.55/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.55/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   gateextraction   :       0.05       0.00      2          0          0          0          0          0      12980       4164          0          0
3587.55/3597.00	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.00	c   milp             :       0.67       0.00      1         11          0          0          0          0          0          0          0          0
3587.55/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   trivial          :       0.01       0.00     14       6966          0          0          0          0          0          0          0          0
3587.55/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   dualfix          :       0.00       0.00     14          4          0          0          0          0          0          0          0          0
3587.55/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   probing          :       3.07       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   symmetry         :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   vbounds          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   knapsack         :       0.03       0.00     12          0          0          0          0          0          3          1          3         24
3587.55/3597.01	c   setppc           :       0.05       0.00     12         31         33          0          0          0        641          0         25         25
3587.55/3597.01	c   and              :       0.01       0.00      8          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   linear           :       0.23       0.02      7       2297       1760          0       2297          0      39325          0          4          4
3587.55/3597.01	c   logicor          :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.55/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.55/3597.01	c   benderslp        :          0          0          0          0        446          0          0         54          0          0          0          0          0          0          0
3587.55/3597.01	c   integral         :          0          0          0          0        446          0          0         54          0          0          0          0          0          0        892
3587.55/3597.01	c   knapsack         :        411        411         11     100435          0          0          0         50      57522         24       6364         54         23          0          0
3587.55/3597.01	c   setppc           :      10022+     10050         11     100411          0          0          0          1     236979         59      27883          0          0          0          0
3587.55/3597.01	c   and              :       3676       3676        778     100352          0          0          0          0      38046         21      17287       3549       3072          0          0
3587.55/3597.01	c   linear           :          0+         1          0       7197          0          0          0          3          0          1          0          0          0          0          0
3587.55/3597.01	c   logicor          :          1+      2496         11       2268          0          0          0          0       1150         11        249          0          0          0          0
3587.55/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.55/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.55/3597.01	c   integral         :      19.16       0.00       0.00       0.00      19.16       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   knapsack         :       0.28       0.00       0.05       0.20       0.00       0.00       0.00       0.00       0.02       0.00
3587.55/3597.01	c   setppc           :       0.96       0.00       0.01       0.87       0.00       0.00       0.00       0.00       0.07       0.01
3587.55/3597.01	c   and              :       3.48       0.00       0.56       2.88       0.00       0.00       0.00       0.00       0.02       0.03
3587.55/3597.01	c   linear           :       0.02       0.02       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   logicor          :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.01       0.00
3587.55/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.55/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.55/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.55/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.55/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.55/3597.01	c   dualfix          :          1          0          0          0
3587.55/3597.01	c   genvbounds       :          0          0          0          0
3587.55/3597.01	c   nlobbt           :          0          0          0          0
3587.55/3597.01	c   obbt             :          0          0          0          0
3587.55/3597.01	c   probing          :          0          0          0          0
3587.55/3597.01	c   pseudoobj        :          0          0          0          0
3587.55/3597.01	c   redcost          :          0          0          0          0
3587.55/3597.01	c   rootredcost      :          0          0          0          0
3587.55/3597.01	c   symmetry         :          0          0          0          0
3587.55/3597.01	c   vbounds          :      52783          0          0          0
3587.55/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.55/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3587.55/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   probing          :       3.07       0.00       3.07       0.00       0.00       0.00
3587.55/3597.01	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3587.55/3597.01	c   symmetry         :       0.06       0.00       0.05       0.01       0.00       0.00
3587.55/3597.01	c   vbounds          :       0.52       0.00       0.01       0.52       0.00       0.00
3587.55/3597.01	c Symmetry           :
3587.55/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.55/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.55/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.55/3597.01	c   shadow tree time :       0.00 s
3587.55/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.55/3597.01	c   propagation      :       0.01        111        111          -        623       42.3          8        9.6          -          -          -
3587.55/3597.01	c   infeasible LP    :       1.26        323        267          -       9766      412.4          0        0.0          1     1158.0          0
3587.55/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.55/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.55/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.55/3597.01	c   applied globally :       0.08          -          -          0       2923      299.3          -          -          1          -          -
3587.55/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.55/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.55/3597.01	c   cut pool         :       0.03          -        154         21          -          -       2224       7365          -          -          -          -          -    (maximal pool size:       1988)
3587.55/3597.01	c   aggregation      :       0.17       0.00         58         11          0          0         13         30          0         21         21          0          0
3587.55/3597.01	c   > cmir           :          -          -          -          -          -          -          -         29          0         20         20          0          -
3587.55/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.55/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          1          0          1          1          0          -
3587.55/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   clique           :       5.61       0.00         11         11          0          0         61        105          0         21         21          0          0
3587.55/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   gomory           :      88.70       0.00         57         10          0          0        778       5464         10        441        440          1          0
3587.55/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       2481          5        222        221          1          -
3587.55/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       2983          5        219        219          0          -
3587.55/3597.01	c   impliedbounds    :       0.36       0.00         58         11          0          0       1208       1327          0        383        383          0          0
3587.55/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   mcf              :       0.09       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   multilinear      :       0.00       0.00         35         11          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.55/3597.01	c   rlt              :       3.54       0.00         39         10          0          0         76         33         43         42         28         14          0
3587.55/3597.01	c   zerohalf         :       5.82       0.00         58         11          0          0        256        406        115        305        210         95          0
3587.55/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.55/3597.01	c   hybrid           :       0.01       0.00        474         11       4308          0       6828        268          0        778
3587.55/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.55/3597.01	c   problem variables:       0.00          -          0          0
3587.55/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.55/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c   relpscost        :      19.16       0.00        446          0          0          0          0          0          0        892
3587.55/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.55/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.55/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.55/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.55/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.55/3597.01	c   strong branching :       0.00          -          -          0          0
3587.55/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.55/3597.01	c   adaptivediving   :      86.63       0.00          3          0          0
3587.55/3597.01	c   alns             :       0.50       0.00          4          0          0
3587.55/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.55/3597.01	c   clique           :       0.06       0.00          1          0          0
3587.55/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.55/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.55/3597.01	c   conflictdiving   :     103.84       0.00          6          0          0
3587.55/3597.01	c   crossover        :       0.00       0.00          0          0          0
3587.55/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.55/3597.01	c   distributiondivin:     149.99       0.00          6          0          0
3587.55/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.55/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.55/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.55/3597.01	c   feasjump         :       0.02       0.00          1          0          0
3587.55/3597.01	c   feaspump         :      49.12       0.00          3          0          0
3587.55/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.55/3597.01	c   fracdiving       :     102.61       0.00          6          0          0
3587.55/3597.01	c   gins             :       0.00       0.00          0          0          0
3587.55/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3587.55/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.55/3597.01	c   indicator        :       0.00       0.00          0          0          0
3587.55/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.55/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3587.55/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.55/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.55/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.55/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.55/3597.01	c   linesearchdiving :     110.27       0.00          6          0          0
3587.55/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.55/3597.01	c   locks            :       0.04       0.00          1          0          0
3587.55/3597.01	c   lpface           :       0.01       0.00          0          0          0
3587.55/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.55/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.55/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.55/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.55/3597.01	c   objpscostdiving  :     260.42       0.00          1          0          0
3587.55/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.55/3597.01	c   ofins            :       0.00       0.00          0          0          0
3587.55/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3587.55/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.55/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.55/3597.01	c   pscostdiving     :     120.51       0.00          7          0          0
3587.55/3597.01	c   randrounding     :       0.11       0.00         59          0          0
3587.55/3597.01	c   rens             :       0.00       0.00          0          0          0
3587.55/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.55/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.55/3597.01	c   rins             :       0.00       0.00          0          0          0
3587.55/3597.01	c   rootsoldiving    :      54.31       0.00          3          0          0
3587.55/3597.01	c   rounding         :       0.58       0.00        386          0          0
3587.55/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.55/3597.01	c   shiftandpropagate:       0.07       0.00          1          0          0
3587.55/3597.01	c   shifting         :       0.73       0.00        120          0          0
3587.55/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3587.55/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.55/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3587.55/3597.01	c   trivial          :       0.01       0.00          2          0          0
3587.55/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.55/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.55/3597.01	c   trysol           :       0.00       0.00          0          0          0
3587.55/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.55/3597.01	c   undercover       :      12.72       0.00          1          0          0
3587.55/3597.01	c   vbounds          :       0.18       0.00          1          0          0
3587.55/3597.01	c   veclendiving     :     148.31       0.00          6          0          0
3587.55/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.55/3597.01	c   zirounding       :       0.15       0.00        446          0          0
3587.55/3597.01	c   other solutions  :          -          -          -          0          -
3587.55/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.55/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.55/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.55/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.55/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.55/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.55/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.55/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.55/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.55/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.55/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.55/3597.01	c   primal LP        :      40.77         51      43520   43520.00    1067.38       0.18         50
3587.55/3597.01	c   dual LP          :    2221.25       1226    3121941    2610.32    1405.49       0.06         30
3587.55/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.55/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.55/3597.01	c   resolve instable :     161.25         12     218799   18233.25    1356.90
3587.55/3597.01	c   diving/probing LP:    1194.29        725    1297519    1789.68    1086.43
3587.55/3597.01	c   strong branching :      17.20         19      18861     992.68    1096.83          -          -         36
3587.55/3597.01	c     (at root node) :          -         19      18861     992.68          -
3587.55/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3587.55/3597.01	c B&B Tree           :
3587.55/3597.01	c   number of runs   :          1
3587.55/3597.01	c   nodes            :        714 (446 internal, 268 leaves)
3587.55/3597.01	c   feasible leaves  :          0
3587.55/3597.01	c   infeas. leaves   :        267
3587.55/3597.01	c   objective leaves :          0
3587.55/3597.01	c   nodes (total)    :        714 (446 internal, 268 leaves)
3587.55/3597.01	c   nodes left       :        168
3587.55/3597.01	c   max depth        :         49
3587.55/3597.01	c   max depth (total):         49
3587.55/3597.01	c   backtracks       :        197 (27.6%)
3587.55/3597.01	c   early backtracks :          0 (0.0%)
3587.55/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.55/3597.01	c   delayed cutoffs  :         12
3587.55/3597.01	c   repropagations   :        453 (7470 domain reductions, 5 cutoffs)
3587.55/3597.01	c   avg switch length:       4.27
3587.55/3597.01	c   switching time   :       0.45
3587.55/3597.01	c Root Node          :
3587.55/3597.01	c   First LP value   : +0.00000000000000e+00
3587.55/3597.01	c   First LP Iters   :      22237 (677.32 Iter/sec)
3587.55/3597.01	c   First LP Time    :      32.83
3587.55/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3587.55/3597.01	c   Final Root Iters :     158675
3587.55/3597.01	c   Root LP Estimate : +7.62392644184316e-02
3587.55/3597.01	c Solution           :
3587.55/3597.01	c   Solutions found  :          0 (0 improvements)
3587.55/3597.01	c   Primal Bound     :          -
3587.55/3597.01	c   Dual Bound       : +0.00000000000000e+00
3587.55/3597.01	c   Gap              :   infinite
3587.55/3597.01	c Integrals          :      Total       Avg%
3587.55/3597.01	c   primal-dual      :  359699.87     100.00
3587.55/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.55/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.65/3597.13	c Time complete: 3587.69.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61580 MiB free)
  memory of node 1: 64465 MiB (63036 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501948-1751154488/watcher-4501948-1751154488 -o /tmp/evaluation-result-4501948-1751154488/solver-4501948-1751154488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14143 --watchdog 3760 pbscip -f HOME/instance-4501948-1751154488.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=18311, runsolver pid=18308

[startup+0.100063 s]*
/proc/loadavg: 4.07 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127583540/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=85864 memory=58112 CPUtime=0.08 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 11602 0 0 0 7 1 0 0 20 0 1 0 31125399 87924736 14528 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 21466 14528 3264 3530 0 12917 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85864 KiB
Current children cumulated memory: 58112 KiB

[startup+0.205438 s]*
/proc/loadavg: 4.07 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127581776/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=141688 memory=115332 CPUtime=0.19 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 25924 0 0 0 15 4 0 0 20 0 1 0 31125399 145088512 28833 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 35422 28833 3552 3530 0 26873 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 141688 KiB
Current children cumulated memory: 115332 KiB

[startup+0.30535 s]*
/proc/loadavg: 4.07 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127543472/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=173572 memory=145284 CPUtime=0.29 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 33400 0 0 0 24 5 0 0 20 0 1 0 31125399 177737728 36321 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 43393 36321 3584 3530 0 34844 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 173572 KiB
Current children cumulated memory: 145284 KiB

[startup+0.700185 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127543472/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=193564 memory=166260 CPUtime=0.68 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 39773 0 0 0 62 6 0 0 20 0 1 0 31125399 198209536 41565 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 48391 41565 3744 3530 0 39842 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193564 KiB
Current children cumulated memory: 166260 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127527344/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=195632 memory=167772 CPUtime=1.48 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 44201 0 0 0 141 7 0 0 20 0 1 0 31125399 200327168 41943 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 48908 41943 3776 3530 0 40359 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195632 KiB
Current children cumulated memory: 167772 KiB

[startup+3.10535 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127503168/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=213880 memory=185436 CPUtime=3.08 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 48619 0 0 0 300 8 0 0 20 0 1 0 31125399 219013120 46359 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 53470 46359 3776 3530 0 44921 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 213880 KiB
Current children cumulated memory: 185436 KiB

[startup+6.30015 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127469668/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=268368 memory=227316 CPUtime=6.26 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 61767 0 0 0 616 10 0 0 20 0 1 0 31125399 274808832 56829 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 67092 56829 3968 3530 0 58543 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 268368 KiB
Current children cumulated memory: 227316 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 18312
/proc/meminfo: memFree=127455308/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=274316 memory=232052 CPUtime=12.65 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 62922 0 0 0 1254 11 0 0 20 0 1 0 31125399 280899584 58013 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 68579 58013 4000 3530 0 60030 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 274316 KiB
Current children cumulated memory: 232052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/265 18313
/proc/meminfo: memFree=127417664/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=274316 memory=232180 CPUtime=25.41 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 62937 0 0 0 2530 11 0 0 20 0 1 0 31125399 280899584 58045 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 68579 58045 4000 3530 0 60030 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 274316 KiB
Current children cumulated memory: 232180 KiB

[startup+51.1052 s]
/proc/loadavg: 4.03 4.09 4.09 5/264 18313
/proc/meminfo: memFree=127396684/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=274720 memory=232436 CPUtime=50.94 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 63000 0 0 0 5083 11 0 0 20 0 1 0 31125399 281313280 58109 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 68680 58109 4000 3530 0 60131 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 274720 KiB
Current children cumulated memory: 232436 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 18315
/proc/meminfo: memFree=127300708/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=334104 memory=291360 CPUtime=101.99 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 72649 0 0 0 10186 13 0 0 20 0 1 0 31125399 342122496 72840 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 83526 72840 4000 3530 0 74977 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 334104 KiB
Current children cumulated memory: 291360 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 18318
/proc/meminfo: memFree=127255908/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=341240 memory=292512 CPUtime=161.82 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 72965 0 0 0 16169 13 0 0 20 0 1 0 31125399 349429760 73128 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 85310 73128 4000 3530 0 76761 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 341240 KiB
Current children cumulated memory: 292512 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 18325
/proc/meminfo: memFree=127195888/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=350260 memory=294304 CPUtime=221.65 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 73387 0 0 0 22152 13 0 0 20 0 1 0 31125399 358666240 73576 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 87565 73576 4000 3530 0 79016 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 350260 KiB
Current children cumulated memory: 294304 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 18327
/proc/meminfo: memFree=127123384/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=378812 memory=323644 CPUtime=281.48 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 83788 0 0 0 28133 15 0 0 20 0 1 0 31125399 387903488 80911 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 94703 80911 4000 3530 0 86154 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 378812 KiB
Current children cumulated memory: 323644 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/265 18330
/proc/meminfo: memFree=127041664/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=378812 memory=323772 CPUtime=341.3 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 83802 0 0 0 34115 15 0 0 20 0 1 0 31125399 387903488 80943 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 94703 80943 4000 3530 0 86154 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 378812 KiB
Current children cumulated memory: 323772 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 18333
/proc/meminfo: memFree=127023516/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=378812 memory=323772 CPUtime=401.13 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 83807 0 0 0 40097 16 0 0 20 0 1 0 31125399 387903488 80943 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 94703 80943 4000 3530 0 86154 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 378812 KiB
Current children cumulated memory: 323772 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 18335
/proc/meminfo: memFree=126985656/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=378812 memory=323772 CPUtime=460.95 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 83807 0 0 0 46079 16 0 0 20 0 1 0 31125399 387903488 80943 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 94703 80943 4000 3530 0 86154 0

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

/proc/loadavg: 1.07 1.15 1.75 2/247 18579
/proc/meminfo: memFree=129708880/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432196 CPUtime=3213.69 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103688 0 0 0 321346 23 0 0 20 0 1 0 31125399 475205632 108049 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108049 4160 3530 0 107468 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432196 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.15 1.71 2/247 18581
/proc/meminfo: memFree=129709912/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432196 CPUtime=3273.55 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103688 0 0 0 327332 23 0 0 20 0 1 0 31125399 475205632 108049 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108049 4160 3530 0 107468 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432196 KiB

[startup+3342.3 s]
/proc/loadavg: 1.04 1.12 1.67 2/247 18583
/proc/meminfo: memFree=129706144/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432196 CPUtime=3333.42 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103689 0 0 0 333319 23 0 0 20 0 1 0 31125399 475205632 108049 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108049 4160 3530 0 107468 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432196 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.13 1.63 2/246 18585
/proc/meminfo: memFree=129704744/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432196 CPUtime=3393.28 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103690 0 0 0 339305 23 0 0 20 0 1 0 31125399 475205632 108049 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108049 4160 3530 0 107468 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432196 KiB

[startup+3462.3 s]
/proc/loadavg: 1.39 1.20 1.63 2/246 18586
/proc/meminfo: memFree=129706072/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3453.15 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103697 0 0 0 345292 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3522.3 s]
/proc/loadavg: 1.19 1.17 1.59 2/245 18590
/proc/meminfo: memFree=129705692/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3513.01 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103697 0 0 0 351278 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.15 1.56 2/246 18593
/proc/meminfo: memFree=129706064/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3572.88 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103698 0 0 0 357265 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

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

# cumulated CPU time of all completed processes:  user=3587.45 s, system=0.241711 s

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

[startup+3584 s]*
/proc/loadavg: 1.13 1.15 1.56 2/246 18593
/proc/meminfo: memFree=129706064/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3574.58 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103698 0 0 0 357435 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3574.58 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3590.4 s]
/proc/loadavg: 1.11 1.15 1.55 2/246 18594
/proc/meminfo: memFree=129706316/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3580.96 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103705 0 0 0 358073 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3580.96 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3593.6 s]
/proc/loadavg: 1.11 1.15 1.55 2/246 18594
/proc/meminfo: memFree=129706316/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3584.15 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103705 0 0 0 358392 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3584.15 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3595.2 s]
/proc/loadavg: 1.10 1.15 1.55 2/246 18594
/proc/meminfo: memFree=129706316/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3585.75 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103705 0 0 0 358552 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3596 s]*
/proc/loadavg: 1.10 1.15 1.55 2/246 18594
/proc/meminfo: memFree=129706316/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3586.55 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103705 0 0 0 358632 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3596.8 s]
/proc/loadavg: 1.10 1.15 1.55 2/246 18594
/proc/meminfo: memFree=129706316/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3587.34 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103705 0 0 0 358711 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3587.34 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3597 s]*
/proc/loadavg: 1.10 1.15 1.55 2/246 18594
/proc/meminfo: memFree=129706316/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=464068 memory=432324 CPUtime=3587.55 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103705 0 0 0 358732 23 0 0 20 0 1 0 31125399 475205632 108081 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 116017 108081 4160 3530 0 107468 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 464068 KiB
Current children cumulated memory: 432324 KiB

[startup+3597.1 s]
/proc/loadavg: 1.10 1.15 1.55 2/246 18594
/proc/meminfo: memFree=129706316/131250000 swapFree=33010684/33010684
[pid=18311] ppid=18308 vsize=429212 memory=397476 CPUtime=3587.65 cores=0,2
/proc/18311/stat : 18311 (pbscip) R 18308 18311 14133 0 -1 4194304 103706 0 0 0 358742 23 0 0 20 0 1 0 31125399 439513088 99369 18446744073709551615 4235264 18693293 140733341456464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52674560 140733341460873 140733341460972 140733341460972 140733341466574 0
/proc/18311/statm: 107303 99369 4160 3530 0 98754 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 429212 KiB
Current children cumulated memory: 397476 KiB

Child status: 0

Real time (s): 3597.13
CPU time (s): 3587.69
CPU user time (s): 3587.45
CPU system time (s): 0.241711
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 464068
Max. memory (cumulated for all children) (KiB): 432324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.45
system time used= 0.241711
maximum resident set size= 432324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103716
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= 111
involuntary context switches= 4582


# summary of solver processes directly reported to runsolver:
#   pid: 18311
#   total CPU time (s): 3587.69
#   total CPU user time (s): 3587.45
#   total CPU system time (s): 0.241711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11371 second user time and 13.203 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-06-29 01:48:08
IDJOB=4501948
IDBENCH=152982
IDSOLVER=3365
FILE ID=nodeC014/4501948-1751154488
RUNJOBID= nodeC014-1751144686-14143
SLURM_JOB_ID= 9587442
Free space on /tmp= 432896 MiB

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

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

MD5SUM BENCH= 69f6f997ce8de3d1a51b1c8599cc504d
RANDOM SEED=1204476416

nodeC014 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.318
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	: 7000.23
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		: 3600.118
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	: 7000.23
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.131
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	: 7000.23
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		: 3599.523
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	: 7000.23
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.114
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	: 7000.23
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		: 3600.102
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	: 7000.23
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		: 3600.240
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	: 7000.23
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		: 3598.584
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127607480 kB
MemAvailable:   127332652 kB
Buffers:            3280 kB
Cached:           536408 kB
SwapCached:            0 kB
Active:          2658684 kB
Inactive:         326896 kB
Active(anon):    2464004 kB
Inactive(anon):        0 kB
Active(file):     194680 kB
Inactive(file):   326896 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21416 kB
Writeback:             4 kB
AnonPages:       2449052 kB
Mapped:           138104 kB
Shmem:             18068 kB
KReclaimable:      85672 kB
Slab:             168604 kB
SReclaimable:      85672 kB
SUnreclaim:        82932 kB
KernelStack:        4272 kB
PageTables:         8100 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2880264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC014 at 2025-06-29 02:48:05