Trace number 4494498

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? 3588.72 3598.05

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
MD5SUMd1359993160bf2f1506844981afa3acf
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark27.7832
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3750
Total number of constraints467625
Number of constraints which are clauses466875
Number of constraints which are cardinality constraints (but not clauses)750
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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-4494498-1751148684.opb>
0.87/0.97	c original problem has 3750 variables (3750 bin, 0 int, 0 impl, 0 cont) and 467625 constraints
0.87/0.97	c problem read in 0.96
0.87/0.97	c No objective function, only one solution is needed.
1.67/1.75	c presolving:
2.86/3.00	c    (3.0s) running MILP presolver
3.47/3.53	c    (3.5s) MILP presolver found nothing
4.66/4.70	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 467625 upgd conss, 0 impls, 750 clqs
6.46/6.52	c    (6.5s) probing: 51/3750 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.46/6.52	c    (6.5s) probing aborted: 50/50 successive totally useless probings
8.85/8.90	c    (8.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.24/11.37	c    (11.4s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 1.47)
11.24/11.37	c dynamic symmetry handling statistics:
11.24/11.37	c    orbitopal reduction:       no components
11.24/11.37	c    orbital reduction:         no components
11.24/11.37	c    lexicographic reduction:   no permutations
11.24/11.37	c handled 1 out of 1 symmetry components
11.24/11.37	c (round 2, exhaustive) 5 del vars, 0 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 467625 upgd conss, 0 impls, 749 clqs
11.35/11.49	c (round 3, fast)       6 del vars, 997 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 749 clqs
11.65/11.73	c (round 4, medium)     9 del vars, 1744 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 749 clqs
11.85/11.96	c (round 5, medium)     12 del vars, 2243 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 748 clqs
12.45/12.59	c (round 6, exhaustive) 13 del vars, 2678 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 249 chg coeffs, 467625 upgd conss, 0 impls, 748 clqs
12.85/13.00	c    (13.0s) probing: 56/3750 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
12.85/13.00	c    (13.0s) probing aborted: 50/50 successive totally useless probings
14.24/14.39	c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
14.24/14.39	c  13 deleted vars, 2678 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 249 changed coefficients
14.24/14.39	c  0 implications, 748 cliques
14.24/14.39	c presolved problem has 3738 variables (3738 bin, 0 int, 0 impl, 0 cont) and 464951 constraints
14.24/14.39	c     748 constraints of type <setppc>
14.24/14.39	c       4 constraints of type <orbitope>
14.24/14.39	c  464199 constraints of type <logicor>
14.24/14.39	c transformed objective value is always integral (scale: 1)
14.24/14.39	c Presolving Time: 12.67
14.24/14.39	c - non default parameters ----------------------------------------------------------------------
14.24/14.39	c # SCIP version 10.0.0
14.24/14.39	c 
14.24/14.39	c # maximal time in seconds to run
14.24/14.39	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
14.24/14.39	c limits/time = 3596.997046
14.24/14.39	c 
14.24/14.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.24/14.39	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
14.24/14.39	c limits/memory = 27900
14.24/14.39	c 
14.24/14.39	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
14.24/14.39	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
14.24/14.39	c limits/solutions = 1
14.24/14.39	c 
14.24/14.39	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.
14.24/14.39	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
14.24/14.39	c misc/usesymmetry = 3
14.24/14.39	c 
14.24/14.39	c # belongs reading time to solving time?
14.24/14.39	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
14.24/14.39	c timing/reading = TRUE
14.24/14.39	c 
14.24/14.39	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
14.24/14.39	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.24/14.39	c propagating/symmetry/detectdoublelex = FALSE
14.24/14.39	c 
14.24/14.39	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
14.24/14.39	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.24/14.39	c propagating/symmetry/detectsubgroups = FALSE
14.24/14.39	c 
14.24/14.39	c # Type of symmetries that shall be computed?
14.24/14.39	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
14.24/14.39	c propagating/symmetry/symtype = 1
14.24/14.39	c 
14.24/14.39	c # Should components consisting of a single full reflection be handled?
14.24/14.39	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.24/14.39	c propagating/symmetry/usesimplesgncomp = FALSE
14.24/14.39	c 
14.24/14.39	c -----------------------------------------------------------------------------------------------
14.24/14.39	c start solving
14.24/14.39	c 
21.62/21.77	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
21.62/21.77	c  21.8s|     1 |     0 |  1856 |     - |  2515M |   0 |3738 | 465k| 464k|   0 |  0 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
150.74/151.29	c   151s|     1 |     0 | 22304 |     - |  2676M |   0 |3738 | 465k| 464k|   7 |  1 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
159.22/159.74	c   160s|     1 |     0 | 22672 |     - |  2753M |   0 |3738 | 465k| 464k|  12 |  2 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
166.50/167.08	c   167s|     1 |     0 | 22834 |     - |  2814M |   0 |3738 | 465k| 464k|  15 |  3 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
175.28/175.83	c   176s|     1 |     0 | 23100 |     - |  2862M |   0 |3738 | 465k| 464k|  21 |  4 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
182.36/182.99	c   183s|     1 |     0 | 23192 |     - |  2920M |   0 |3738 | 465k| 464k|  27 |  5 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
192.13/192.72	c   193s|     1 |     0 | 23447 |     - |  2989M |   0 |3738 | 464k| 464k|  32 |  6 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
199.92/200.59	c   201s|     1 |     0 | 23829 |     - |  3049M |   0 |3738 | 464k| 464k|  37 |  7 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
209.68/210.33	c   210s|     1 |     0 | 24318 |     - |  3115M |   0 |3738 | 464k| 464k|  44 |  8 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
217.67/218.32	c   218s|     1 |     0 | 24557 |     - |  3162M |   0 |3738 | 464k| 464k|  49 |  9 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
228.34/229.02	c   229s|     1 |     0 | 25358 |     - |  3233M |   0 |3738 | 464k| 465k|  56 | 10 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
235.52/236.22	c   236s|     1 |     0 | 25594 |     - |  3278M |   0 |3738 | 464k| 465k|  60 | 11 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1126.73/1129.89	c LP solution value is below SCIP's -infinity value
1203.82/1207.17	c  1207s|     1 |     2 | 68843 |     - |  3281M |   0 |3738 | 464k| 465k|  60 | 11 |  76 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3587.66/3597.04	c 
3587.66/3597.04	c SCIP Status        : solving was interrupted [time limit reached]
3587.66/3597.04	c Solving Time (sec) : 3597.03
3587.66/3597.04	c Solving Nodes      : 43
3587.66/3597.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.66/3597.04	c Dual Bound         : +0.00000000000000e+00
3587.66/3597.04	c Gap                : infinite
3587.66/3597.04	s UNKNOWN
3587.66/3597.04	c SCIP Status        : solving was interrupted [time limit reached]
3587.66/3597.04	c Total Time         :    3597.03
3587.66/3597.04	c   solving          :    3597.03
3587.66/3597.04	c   presolving       :      12.67 (included in solving)
3587.66/3597.04	c   reading          :       0.96 (included in solving)
3587.66/3597.04	c   copying          :       0.66 (1 #copies) (minimal 0.66, maximal 0.66, average 0.66)
3587.66/3597.04	c Original Problem   :
3587.66/3597.04	c   Problem name     : HOME/instance-4494498-1751148684.opb
3587.66/3597.04	c   Variables        : 3750 (3750 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.66/3597.04	c   Constraints      : 467625 initial, 467625 maximal
3587.66/3597.04	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.66/3597.04	c Presolved Problem  :
3587.66/3597.04	c   Problem name     : t_HOME/instance-4494498-1751148684.opb
3587.66/3597.04	c   Variables        : 3738 (3738 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.66/3597.04	c   Constraints      : 464951 initial, 465027 maximal
3587.66/3597.04	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.66/3597.04	c   Nonzeros         : 1866284 constraint, 3737 clique table
3587.66/3597.04	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.66/3597.04	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   domcol           :       0.24       0.00      2          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   dualsparsify     :       2.38       0.00      1          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   gateextraction   :       0.39       0.00      3          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   implics          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   milp             :       1.35       0.00      1          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   sparsify         :       0.46       0.00      1          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   trivial          :       0.00       0.00      7          1          0          0          0          0          0          0          0          0
3587.66/3597.04	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   probing          :       0.17       0.00      2          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   symmetry         :       2.46       0.00      1          4          0          0          0          0          0          4          0          0
3587.66/3597.04	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   setppc           :       0.01       0.00     14          0          1          0          0          0          2          0          0          0
3587.66/3597.04	c   linear           :       1.32       0.28      2          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   orbitope         :       0.00       0.00      4          6          0          0          0          0          0          0          0          0
3587.66/3597.04	c   logicor          :       2.19       1.20     14          0          0          0          0          0       2676          0          0        249
3587.66/3597.04	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   components       :       0.17       0.00      1          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.66/3597.04	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.66/3597.04	c   benderslp        :          0          0          0          0         43          0          0         18          0          0          0          0          0          0          0
3587.66/3597.04	c   integral         :          0          0          0          0         43          0          0         18          0          0          0          0          0          0         86
3587.66/3597.04	c   setppc           :        748        748         11      14499          0          0          0         15       1352         16         95          0          0          0          0
3587.66/3597.04	c   orbitope         :          4          4          0      14383          0          0          0          0          8          0          0          0          0          0          0
3587.66/3597.04	c   logicor          :     464199+    464275         11       5887          0          0          0          0       2373          7          0          0          0          0          0
3587.66/3597.04	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.66/3597.04	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   integral         :      64.82       0.00       0.00       0.00      64.82       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   setppc           :       0.12       0.00       0.00       0.11       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   orbitope         :       0.43       0.00       0.00       0.43       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   logicor          :       4.27       1.20       1.46       1.56       0.00       0.00       0.00       0.00       0.00       0.04
3587.66/3597.04	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.66/3597.04	c   dualfix          :          1          0          0          0
3587.66/3597.04	c   genvbounds       :          0          0          0          0
3587.66/3597.04	c   nlobbt           :          0          0          0          0
3587.66/3597.04	c   obbt             :          0          0          0          0
3587.66/3597.04	c   probing          :          0          0          0          0
3587.66/3597.04	c   pseudoobj        :          0          0          0          0
3587.66/3597.04	c   redcost          :          0          0          0          0
3587.66/3597.04	c   rootredcost      :          0          0          0          0
3587.66/3597.04	c   symmetry         :          0          0          0          0
3587.66/3597.04	c   vbounds          :       5734          0          0          0
3587.66/3597.04	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.66/3597.04	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   probing          :       0.17       0.00       0.17       0.00       0.00       0.00
3587.66/3597.04	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c   symmetry         :       2.47       0.00       2.46       0.00       0.00       0.00
3587.66/3597.04	c   vbounds          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.66/3597.04	c Symmetry           :
3587.66/3597.04	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.66/3597.04	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.66/3597.04	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.66/3597.04	c   shadow tree time :       0.00 s
3587.66/3597.04	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.66/3597.04	c   propagation      :       0.02         18         18          -        680      281.4          0        0.0          -          -          -
3587.66/3597.04	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.66/3597.04	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.66/3597.04	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.66/3597.04	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.66/3597.04	c   applied globally :       0.00          -          -          0         76      110.1          -          -          0          -          -
3587.66/3597.04	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.66/3597.04	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.66/3597.04	c   cut pool         :       0.03          -         29         21          -          -       2276       2546          -          -          -          -          -    (maximal pool size:       2276)
3587.66/3597.04	c   aggregation      :       1.10       0.00         15         11          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.66/3597.04	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.66/3597.04	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.66/3597.04	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   clique           :       0.09       0.00         11         11          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   gomory           :       2.01       0.00         14         10          0          0       2203       2461          0         13         13          0          0
3587.66/3597.04	c   > gomorymi       :          -          -          -          -          -          -          -       1244          0         13         13          0          -
3587.66/3597.04	c   > strongcg       :          -          -          -          -          -          -          -       1217          0          0          0          0          -
3587.66/3597.04	c   impliedbounds    :       0.00       0.00         15         11          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   multilinear      :       0.00       0.00         17         11          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   rlt              :       0.00       0.00         12         10          0          0          0          0          0          0          0          0          0
3587.66/3597.04	c   zerohalf         :      70.54       0.00         15         11          0          0         73         85          0         82         82          0          0
3587.66/3597.04	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.66/3597.04	c   hybrid           :       0.04       0.00         15         11         95          0       2451         60          0       2249
3587.66/3597.04	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.66/3597.04	c   problem variables:       0.00          -          0          0
3587.66/3597.04	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.66/3597.04	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c   relpscost        :      64.82       0.00         43          0          0          0          0          0          0         86
3587.66/3597.04	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.66/3597.04	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.66/3597.04	c   LP solutions     :       0.00          -          -          0          0
3587.66/3597.04	c   relax solutions  :       0.00          -          -          0          0
3587.66/3597.04	c   pseudo solutions :       0.00          -          -          0          0
3587.66/3597.04	c   strong branching :       0.00          -          -          0          0
3587.66/3597.04	c   actconsdiving    :       0.00       0.00          0          0          0
3587.66/3597.04	c   adaptivediving   :     155.99       0.00          1          0          0
3587.66/3597.04	c   alns             :       0.00       0.00          0          0          0
3587.66/3597.04	c   bound            :       0.00       0.00          0          0          0
3587.66/3597.04	c   clique           :       0.96       0.00          1          0          0
3587.66/3597.04	c   coefdiving       :       0.00       0.00          0          0          0
3587.66/3597.04	c   completesol      :       0.00       0.00          0          0          0
3587.66/3597.04	c   conflictdiving   :    1052.79       0.00          2          0          0
3587.66/3597.04	c   crossover        :       0.00       0.00          0          0          0
3587.66/3597.04	c   dins             :       0.00       0.00          0          0          0
3587.66/3597.04	c   distributiondivin:     279.83       0.00          1          0          0
3587.66/3597.04	c   dps              :       0.00       0.00          0          0          0
3587.66/3597.04	c   dualval          :       0.00       0.00          0          0          0
3587.66/3597.04	c   farkasdiving     :       0.00       0.00          0          0          0
3587.66/3597.04	c   feasjump         :       0.72       0.00          1          0          0
3587.66/3597.04	c   feaspump         :     120.58       0.00          1          0          0
3587.66/3597.04	c   fixandinfer      :       0.00       0.00          0          0          0
3587.66/3597.04	c   fracdiving       :     300.12       0.00          2          0          0
3587.66/3597.04	c   gins             :       0.00       0.00          0          0          0
3587.66/3597.04	c   guideddiving     :       0.00       0.00          0          0          0
3587.66/3597.04	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.66/3597.04	c   indicator        :       0.00       0.00          0          0          0
3587.66/3597.04	c   indicatordiving  :       0.00       0.00          0          0          0
3587.66/3597.04	c   indoneopt        :       0.00       0.00          0          0          0
3587.66/3597.04	c   indrounding      :       0.00       0.00          0          0          0
3587.66/3597.04	c   indtwoopt        :       0.00       0.00          0          0          0
3587.66/3597.04	c   intdiving        :       0.00       0.00          0          0          0
3587.66/3597.04	c   intshifting      :       0.00       0.00          0          0          0
3587.66/3597.04	c   linesearchdiving :     370.21       0.00          1          0          0
3587.66/3597.04	c   localbranching   :       0.00       0.00          0          0          0
3587.66/3597.04	c   locks            :       0.30       0.00          1          0          0
3587.66/3597.04	c   lpface           :       0.00       0.00          0          0          0
3587.66/3597.04	c   mpec             :       0.00       0.00          0          0          0
3587.66/3597.04	c   multistart       :       0.00       0.00          0          0          0
3587.66/3597.04	c   mutation         :       0.00       0.00          0          0          0
3587.66/3597.04	c   nlpdiving        :       0.00       0.00          0          0          0
3587.66/3597.04	c   objpscostdiving  :      53.26       0.00          1          0          0
3587.66/3597.04	c   octane           :       0.00       0.00          0          0          0
3587.66/3597.04	c   ofins            :       0.00       0.00          0          0          0
3587.66/3597.04	c   oneopt           :       0.00       0.00          0          0          0
3587.66/3597.04	c   padm             :       0.00       0.00          0          0          0
3587.66/3597.04	c   proximity        :       0.00       0.00          0          0          0
3587.66/3597.04	c   pscostdiving     :     423.79       0.00          2          0          0
3587.66/3597.04	c   randrounding     :       1.57       0.00         12          0          0
3587.66/3597.04	c   rens             :       2.99       0.00          1          0          0
3587.66/3597.04	c   reoptsols        :       0.00       0.00          0          0          0
3587.66/3597.04	c   repair           :       0.00       0.00          0          0          0
3587.66/3597.04	c   rins             :       0.00       0.00          0          0          0
3587.66/3597.04	c   rootsoldiving    :      58.00       0.00          1          0          0
3587.66/3597.04	c   rounding         :       1.83       0.00         58          0          0
3587.66/3597.04	c   scheduler        :       0.00       0.00          0          0          0
3587.66/3597.04	c   shiftandpropagate:       0.40       0.00          1          0          0
3587.66/3597.04	c   shifting         :       3.41       0.00         18          0          0
3587.66/3597.04	c   simplerounding   :       0.00       0.00          0          0          0
3587.66/3597.04	c   smallcard        :       0.00       0.00          0          0          0
3587.66/3597.04	c   subnlp           :       0.00       0.00          0          0          0
3587.66/3597.04	c   trivial          :       0.03       0.00          2          0          0
3587.66/3597.04	c   trivialnegation  :       0.00       0.00          0          0          0
3587.66/3597.04	c   trustregion      :       0.00       0.00          0          0          0
3587.66/3597.04	c   trysol           :       0.00       0.00          0          0          0
3587.66/3597.04	c   twoopt           :       0.00       0.00          0          0          0
3587.66/3597.04	c   undercover       :       0.00       0.00          0          0          0
3587.66/3597.04	c   vbounds          :       0.95       0.00          1          0          0
3587.66/3597.04	c   veclendiving     :     272.88       0.00          1          0          0
3587.66/3597.04	c   zeroobj          :       0.00       0.00          0          0          0
3587.66/3597.04	c   zirounding       :       0.49       0.00         42          0          0
3587.66/3597.04	c   other solutions  :          -          -          -          0          -
3587.66/3597.04	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.66/3597.04	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.66/3597.04	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.66/3597.04	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.66/3597.04	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.66/3597.04	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.66/3597.04	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.66/3597.04	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.66/3597.04	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.66/3597.04	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.66/3597.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.66/3597.04	c   primal LP        :       0.15          3          0       0.00       0.00       0.15          3
3587.66/3597.04	c   dual LP          :     338.62         58      41956     723.38     123.90       0.00          0
3587.66/3597.04	c   lex dual LP      :       0.00          0          0       0.00          -
3587.66/3597.04	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.66/3597.04	c   resolve instable :       0.00          0          0       0.00          -
3587.66/3597.04	c   diving/probing LP:    3091.20         84     197088    2346.29      63.76
3587.66/3597.04	c   strong branching :      57.00         19       6657     350.37     116.78          -          -         13
3587.66/3597.04	c     (at root node) :          -         19       6657     350.37          -
3587.66/3597.04	c   conflict analysis:       0.00          0          0       0.00          -
3587.66/3597.04	c B&B Tree           :
3587.66/3597.04	c   number of runs   :          1
3587.66/3597.04	c   nodes            :         43 (43 internal, 0 leaves)
3587.66/3597.04	c   feasible leaves  :          0
3587.66/3597.04	c   infeas. leaves   :          0
3587.66/3597.04	c   objective leaves :          0
3587.66/3597.04	c   nodes (total)    :         43 (43 internal, 0 leaves)
3587.66/3597.04	c   nodes left       :         44
3587.66/3597.04	c   max depth        :         15
3587.66/3597.04	c   max depth (total):         15
3587.66/3597.04	c   backtracks       :         16 (37.2%)
3587.66/3597.04	c   early backtracks :          0 (0.0%)
3587.66/3597.04	c   nodes exc. ref.  :          0 (0.0%)
3587.66/3597.04	c   delayed cutoffs  :          0
3587.66/3597.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3587.66/3597.04	c   avg switch length:       2.23
3587.66/3597.04	c   switching time   :       0.28
3587.66/3597.04	c Root Node          :
3587.66/3597.04	c   First LP value   : +0.00000000000000e+00
3587.66/3597.04	c   First LP Iters   :       1856 (459.29 Iter/sec)
3587.66/3597.04	c   First LP Time    :       4.04
3587.66/3597.04	c   Final Dual Bound : +0.00000000000000e+00
3587.66/3597.04	c   Final Root Iters :      25594
3587.66/3597.04	c   Root LP Estimate : +2.89499999999995e-03
3587.66/3597.04	c Solution           :
3587.66/3597.04	c   Solutions found  :          0 (0 improvements)
3587.66/3597.04	c   Primal Bound     :          -
3587.66/3597.04	c   Dual Bound       : +0.00000000000000e+00
3587.66/3597.04	c   Gap              :   infinite
3587.66/3597.04	c Integrals          :      Total       Avg%
3587.66/3597.04	c   primal-dual      :  359703.13     100.00
3587.66/3597.04	c   primal-ref       :          -          - (not evaluated)
3587.66/3597.04	c   dual-ref         :          -          - (not evaluated)
3588.67/3598.02	c Time complete: 3588.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: 63665 MiB (62329 MiB free)
  memory of node 1: 64507 MiB (56587 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.17 4.14 4.10 5/265 16358
/proc/meminfo: memFree=121646192/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=71208 memory=43136 CPUtime=0.09 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 7891 0 0 0 8 1 0 0 20 0 1 0 30546368 72916992 10784 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 17802 10784 3200 3530 0 9253 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71208 KiB
Current children cumulated memory: 43136 KiB

[startup+0.205451 s]*
/proc/loadavg: 4.17 4.14 4.10 5/265 16358
/proc/meminfo: memFree=121533296/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=97364 memory=68608 CPUtime=0.19 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 14290 0 0 0 17 2 0 0 20 0 1 0 30546368 99700736 17152 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 24341 17152 3200 3530 0 15792 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 97364 KiB
Current children cumulated memory: 68608 KiB

[startup+0.305422 s]*
/proc/loadavg: 4.17 4.14 4.10 5/265 16358
/proc/meminfo: memFree=121432368/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=123456 memory=94720 CPUtime=0.28 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 20808 0 0 0 26 2 0 0 20 0 1 0 30546368 126418944 23680 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 30864 23680 3200 3530 0 22315 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 123456 KiB
Current children cumulated memory: 94720 KiB

[startup+0.700162 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 16358
/proc/meminfo: memFree=121234480/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=217864 memory=189200 CPUtime=0.68 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 43928 0 0 0 62 6 0 0 20 0 1 0 30546368 223092736 47300 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 54466 47300 3200 3530 0 45917 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 217864 KiB
Current children cumulated memory: 189200 KiB

[startup+1.50017 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 16358
/proc/meminfo: memFree=121060024/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=584892 memory=556932 CPUtime=1.48 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 135553 0 0 0 130 18 0 0 20 0 1 0 30546368 598929408 139233 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 146223 139233 3488 3530 0 137674 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 584892 KiB
Current children cumulated memory: 556932 KiB

[startup+3.10541 s]
/proc/loadavg: 4.15 4.14 4.10 4/265 16358
/proc/meminfo: memFree=119307044/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=1062280 memory=1027308 CPUtime=3.07 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 195920 0 0 0 273 34 0 0 20 0 1 0 30546368 1087774720 256827 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 265570 256827 3616 3530 0 257021 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1062280 KiB
Current children cumulated memory: 1027308 KiB

[startup+6.30016 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 16358
/proc/meminfo: memFree=119106208/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=1069396 memory=1034140 CPUtime=6.26 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 253492 0 0 0 583 43 0 0 20 0 1 0 30546368 1095061504 258535 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 267349 258535 3680 3530 0 258800 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1069396 KiB
Current children cumulated memory: 1034140 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.10 5/264 16372
/proc/meminfo: memFree=127001412/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=2258292 memory=2097120 CPUtime=12.65 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 307868 0 0 0 1195 70 0 0 20 0 1 0 30546368 2312491008 524280 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 564573 524280 3712 3530 0 556024 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2258292 KiB
Current children cumulated memory: 2097120 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 16403
/proc/meminfo: memFree=126385324/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=2765476 memory=2590072 CPUtime=25.4 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 403875 0 0 0 2451 89 0 0 20 0 1 0 30546368 2831847424 647518 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 691369 647518 3904 3530 0 682820 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2765476 KiB
Current children cumulated memory: 2590072 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.14 4.10 6/265 16404
/proc/meminfo: memFree=126332252/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=2774432 memory=2593596 CPUtime=50.93 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 404200 0 0 0 5004 89 0 0 20 0 1 0 30546368 2841018368 648399 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 693608 648399 3904 3530 0 685059 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2774432 KiB
Current children cumulated memory: 2593596 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 16411
/proc/meminfo: memFree=126186784/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=2774432 memory=2594492 CPUtime=101.97 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 404363 0 0 0 10108 89 0 0 20 0 1 0 30546368 2841018368 648623 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 693608 648623 3904 3530 0 685059 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2774432 KiB
Current children cumulated memory: 2594492 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 16413
/proc/meminfo: memFree=125972048/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=3117124 memory=2788756 CPUtime=161.81 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 435294 0 0 0 16086 95 0 0 20 0 1 0 30546368 3191934976 697189 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 779281 697189 3904 3530 0 770732 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 3117124 KiB
Current children cumulated memory: 2788756 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 16417
/proc/meminfo: memFree=125848516/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=3539900 memory=2913524 CPUtime=221.66 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 447761 0 0 0 22067 99 0 0 20 0 1 0 30546368 3624857600 728381 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 884975 728381 3904 3530 0 876426 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 3539900 KiB
Current children cumulated memory: 2913524 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 16419
/proc/meminfo: memFree=125774264/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=3654856 memory=2985260 CPUtime=281.49 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 451910 0 0 0 28048 101 0 0 20 0 1 0 30546368 3742572544 746315 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 913714 746315 3904 3530 0 905165 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 3654856 KiB
Current children cumulated memory: 2985260 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 16421
/proc/meminfo: memFree=125740032/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=3664468 memory=2997164 CPUtime=341.33 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 454440 0 0 0 34032 101 0 0 20 0 1 0 30546368 3752415232 749291 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 916117 749291 3904 3530 0 907568 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 3664468 KiB
Current children cumulated memory: 2997164 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 16423
/proc/meminfo: memFree=125595020/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=3819364 memory=3100560 CPUtime=401.18 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 460594 0 0 0 40007 111 0 0 20 0 1 0 30546368 3911028736 775140 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 954841 775140 3936 3530 0 946292 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 3819364 KiB
Current children cumulated memory: 3100560 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 16426
/proc/meminfo: memFree=125541800/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=3829592 memory=3111184 CPUtime=461.02 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 463161 0 0 0 45955 147 0 0 20 0 1 0 30546368 3921502208 777796 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 957398 777796 3936 3530 0 948849 0

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

/proc/loadavg: 4.11 4.14 4.12 5/265 16581
/proc/meminfo: memFree=123836320/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4266224 memory=3564232 CPUtime=3154.12 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 737148 0 0 0 315170 242 0 0 20 0 1 0 30546368 4368613376 891058 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1066556 891058 3936 3530 0 1058007 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 4266224 KiB
Current children cumulated memory: 3564232 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/266 16632
/proc/meminfo: memFree=124545300/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4271456 memory=3569480 CPUtime=3213.96 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 740512 0 0 0 321151 245 0 0 20 0 1 0 30546368 4373970944 892370 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1067864 892370 3936 3530 0 1059315 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 4271456 KiB
Current children cumulated memory: 3569480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/267 16994
/proc/meminfo: memFree=125314608/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4296440 memory=3594440 CPUtime=3273.76 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 746833 0 0 0 327125 251 0 0 20 0 1 0 30546368 4399554560 898610 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1074110 898610 3936 3530 0 1065561 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 4296440 KiB
Current children cumulated memory: 3594440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.10 4/263 17318
/proc/meminfo: memFree=125449944/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4298880 memory=3596872 CPUtime=3333.56 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 747504 0 0 0 333096 260 0 0 20 0 1 0 30546368 4402053120 899218 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1074720 899218 3936 3530 0 1066171 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 4298880 KiB
Current children cumulated memory: 3596872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.01 4.09 4.09 5/267 17401
/proc/meminfo: memFree=125426072/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4265252 memory=3563208 CPUtime=3393.4 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 749783 0 0 0 339078 262 0 0 20 0 1 0 30546368 4367618048 890802 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1066313 890802 3936 3530 0 1057764 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 4265252 KiB
Current children cumulated memory: 3563208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 17403
/proc/meminfo: memFree=125298616/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4288268 memory=3586248 CPUtime=3453.26 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 757354 0 0 0 345062 264 0 0 20 0 1 0 30546368 4391186432 896562 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1072067 896562 3936 3530 0 1063518 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 4288268 KiB
Current children cumulated memory: 3586248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 17405
/proc/meminfo: memFree=125214816/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4299312 memory=3597256 CPUtime=3513.13 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 760116 0 0 0 351048 265 0 0 20 0 1 0 30546368 4402495488 899314 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1074828 899314 3936 3530 0 1066279 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 4299312 KiB
Current children cumulated memory: 3597256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 17408
/proc/meminfo: memFree=125175048/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4270844 memory=3568840 CPUtime=3573 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 764937 0 0 0 357033 267 0 0 20 0 1 0 30546368 4373344256 892210 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1067711 892210 3936 3530 0 1059162 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 4270844 KiB
Current children cumulated memory: 3568840 KiB

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

# cumulated CPU time of all completed processes:  user=3585.99 s, system=2.72562 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 17408
/proc/meminfo: memFree=125166436/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4274444 memory=3572424 CPUtime=3574.7 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 765837 0 0 0 357203 267 0 0 20 0 1 0 30546368 4377030656 893106 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1068611 893106 3936 3530 0 1060062 0
Current children cumulated CPU time: 3574.7 s
Current children cumulated vsize: 4274444 KiB
Current children cumulated memory: 3572424 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 17408
/proc/meminfo: memFree=125163412/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4277504 memory=3575496 CPUtime=3581.08 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 766603 0 0 0 357841 267 0 0 20 0 1 0 30546368 4380164096 893874 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1069376 893874 3936 3530 0 1060827 0
Current children cumulated CPU time: 3581.08 s
Current children cumulated vsize: 4277504 KiB
Current children cumulated memory: 3575496 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 17408
/proc/meminfo: memFree=125151316/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4278456 memory=3576392 CPUtime=3584.27 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 766841 0 0 0 358160 267 0 0 20 0 1 0 30546368 4381138944 894098 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1069614 894098 3936 3530 0 1061065 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 4278456 KiB
Current children cumulated memory: 3576392 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 17408
/proc/meminfo: memFree=125151316/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4281140 memory=3579080 CPUtime=3585.86 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 767512 0 0 0 358319 267 0 0 20 0 1 0 30546368 4383887360 894770 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1070285 894770 3936 3530 0 1061736 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 4281140 KiB
Current children cumulated memory: 3579080 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 17408
/proc/meminfo: memFree=125151316/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4281140 memory=3579080 CPUtime=3587.46 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 767512 0 0 0 358479 267 0 0 20 0 1 0 30546368 4383887360 894770 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1070285 894770 3936 3530 0 1061736 0
Current children cumulated CPU time: 3587.46 s
Current children cumulated vsize: 4281140 KiB
Current children cumulated memory: 3579080 KiB

[startup+3597.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 17408
/proc/meminfo: memFree=125151316/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=4281140 memory=3579080 CPUtime=3588.26 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 767547 0 0 0 358559 267 0 0 20 0 1 0 30546368 4383887360 894770 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 1070285 894770 3936 3530 0 1061736 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 4281140 KiB
Current children cumulated memory: 3579080 KiB

[startup+3598 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 17408
/proc/meminfo: memFree=125500692/131249996 swapFree=33010684/33010684
[pid=16357] ppid=16354 vsize=3861552 memory=3209112 CPUtime=3588.67 cores=4,6
/proc/16357/stat : 16357 (pbscip) R 16354 16357 14915 0 -1 4194304 767560 0 0 0 358598 269 0 0 20 0 1 0 30546368 3954229248 802278 18446744073709551615 4235264 18693293 140733014576976 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27930624 140733014579593 140733014579692 140733014579692 140733014585294 0
/proc/16357/statm: 965388 802278 3936 3530 0 956839 0
Current children cumulated CPU time: 3588.67 s
Current children cumulated vsize: 3861552 KiB
Current children cumulated memory: 3209112 KiB

Child status: 0

Real time (s): 3598.05
CPU time (s): 3588.72
CPU user time (s): 3585.99
CPU system time (s): 2.72562
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 4451952
Max. memory (cumulated for all children) (KiB): 3744928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.99
system time used= 2.72562
maximum resident set size= 3744928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767682
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= 96
involuntary context switches= 2035


# summary of solver processes directly reported to runsolver:
#   pid: 16357
#   total CPU time (s): 3588.72
#   total CPU user time (s): 3585.99
#   total CPU system time (s): 2.72562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64291 second user time and 15.9292 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 00:11:25
IDJOB=4494498
IDBENCH=147892
IDSOLVER=3365
FILE ID=nodeC024/4494498-1751148684
RUNJOBID= nodeC024-1751144686-14926
SLURM_JOB_ID= 9587443
Free space on /tmp= 432900 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494498-1751148684/watcher-4494498-1751148684 -o /tmp/evaluation-result-4494498-1751148684/solver-4494498-1751148684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14926 --watchdog 3760  pbscip -f HOME/instance-4494498-1751148684.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=784058803

nodeC024 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.650
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.36
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.691
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.36
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		: 3601.301
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.36
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		: 3700.000
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.36
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		: 3599.662
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.36
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		: 3599.670
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.36
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		: 3601.755
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.36
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.325
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121803492 kB
MemAvailable:   121532480 kB
Buffers:            3280 kB
Cached:           540284 kB
SwapCached:            0 kB
Active:          7873316 kB
Inactive:         332548 kB
Active(anon):    7680364 kB
Inactive(anon):        0 kB
Active(file):     192952 kB
Inactive(file):   332548 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             38116 kB
Writeback:             0 kB
AnonPages:       7664512 kB
Mapped:           136812 kB
Shmem:             18064 kB
KReclaimable:      85056 kB
Slab:             167624 kB
SReclaimable:      85056 kB
SUnreclaim:        82568 kB
KernelStack:        4316 kB
PageTables:        18220 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8319948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3182592 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432956 MiB
End job on nodeC024 at 2025-06-29 01:11:23