Trace number 4443975

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.92 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 benchmark28.564
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.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-4443975-1721300520.opb>
0.88/0.94	c original problem has 3750 variables (3750 bin, 0 int, 0 impl, 0 cont) and 467625 constraints
0.88/0.94	c problem read in 0.94
0.88/0.94	c No objective function, only one solution is needed.
1.68/1.70	c presolving:
2.88/2.94	c    (2.9s) running MILP presolver
3.38/3.48	c    (3.5s) MILP presolver found nothing
4.58/4.63	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.37/6.41	c    (6.4s) probing: 51/3750 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.37/6.41	c    (6.4s) probing aborted: 50/50 successive totally useless probings
8.67/8.75	c    (8.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.07/11.15	c    (11.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 1.43)
11.07/11.15	c dynamic symmetry handling statistics:
11.07/11.15	c    orbitopal reduction:       no components
11.07/11.15	c    orbital reduction:         no components
11.07/11.15	c    lexicographic reduction:   no permutations
11.07/11.15	c handled 1 out of 1 symmetry components
11.07/11.16	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.17/11.27	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.46/11.51	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.66/11.75	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.26/12.38	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.66/12.78	c    (12.8s) probing: 56/3750 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
12.66/12.78	c    (12.8s) probing aborted: 50/50 successive totally useless probings
14.06/14.14	c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
14.06/14.14	c  13 deleted vars, 2678 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 249 changed coefficients
14.06/14.14	c  0 implications, 748 cliques
14.06/14.14	c presolved problem has 3738 variables (3738 bin, 0 int, 0 impl, 0 cont) and 464951 constraints
14.06/14.14	c     748 constraints of type <setppc>
14.06/14.14	c       4 constraints of type <orbitope>
14.06/14.14	c  464199 constraints of type <logicor>
14.06/14.14	c transformed objective value is always integral (scale: 1)
14.06/14.14	c Presolving Time: 12.47
14.06/14.14	c - non default parameters ----------------------------------------------------------------------
14.06/14.14	c # SCIP version 10.0.0
14.06/14.14	c 
14.06/14.14	c # maximal time in seconds to run
14.06/14.14	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
14.06/14.14	c limits/time = 3596.997009
14.06/14.14	c 
14.06/14.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.06/14.14	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
14.06/14.14	c limits/memory = 27900
14.06/14.14	c 
14.06/14.14	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
14.06/14.14	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
14.06/14.14	c limits/solutions = 1
14.06/14.14	c 
14.06/14.14	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.06/14.14	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
14.06/14.14	c misc/usesymmetry = 3
14.06/14.14	c 
14.06/14.14	c # belongs reading time to solving time?
14.06/14.14	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
14.06/14.14	c timing/reading = TRUE
14.06/14.14	c 
14.06/14.14	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
14.06/14.14	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.06/14.14	c propagating/symmetry/detectdoublelex = FALSE
14.06/14.14	c 
14.06/14.14	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
14.06/14.14	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.06/14.14	c propagating/symmetry/detectsubgroups = FALSE
14.06/14.14	c 
14.06/14.14	c # Type of symmetries that shall be computed?
14.06/14.14	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
14.06/14.14	c propagating/symmetry/symtype = 1
14.06/14.14	c 
14.06/14.14	c # Should components consisting of a single full reflection be handled?
14.06/14.14	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
14.06/14.14	c propagating/symmetry/usesimplesgncomp = FALSE
14.06/14.14	c 
14.06/14.14	c -----------------------------------------------------------------------------------------------
14.06/14.14	c start solving
14.06/14.14	c 
21.24/21.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
21.24/21.31	c  21.3s|     1 |     0 |  1856 |     - |  2515M |   0 |3738 | 465k| 464k|   0 |  0 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
147.80/148.25	c   148s|     1 |     0 | 22304 |     - |  2676M |   0 |3738 | 465k| 464k|   7 |  1 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
155.89/156.37	c   156s|     1 |     0 | 22672 |     - |  2754M |   0 |3738 | 465k| 464k|  12 |  2 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
163.17/163.62	c   164s|     1 |     0 | 22834 |     - |  2813M |   0 |3738 | 465k| 464k|  15 |  3 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
171.74/172.29	c   172s|     1 |     0 | 23100 |     - |  2861M |   0 |3738 | 465k| 464k|  21 |  4 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
178.83/179.33	c   179s|     1 |     0 | 23192 |     - |  2920M |   0 |3738 | 465k| 464k|  27 |  5 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
188.40/188.93	c   189s|     1 |     0 | 23447 |     - |  2991M |   0 |3738 | 464k| 464k|  32 |  6 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
196.19/196.70	c   197s|     1 |     0 | 23829 |     - |  3049M |   0 |3738 | 464k| 464k|  37 |  7 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
205.75/206.37	c   206s|     1 |     0 | 24318 |     - |  3115M |   0 |3738 | 464k| 464k|  44 |  8 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
213.74/214.32	c   214s|     1 |     0 | 24557 |     - |  3163M |   0 |3738 | 464k| 464k|  49 |  9 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
224.31/224.91	c   225s|     1 |     0 | 25358 |     - |  3232M |   0 |3738 | 464k| 465k|  56 | 10 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
231.29/231.98	c   232s|     1 |     0 | 25594 |     - |  3278M |   0 |3738 | 464k| 465k|  60 | 11 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1119.42/1122.42	c LP solution value is below SCIP's -infinity value
1197.44/1200.79	c  1201s|     1 |     2 | 68843 |     - |  3281M |   0 |3738 | 464k| 465k|  60 | 11 |  76 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3587.87/3597.03	c 
3587.87/3597.03	c SCIP Status        : solving was interrupted [time limit reached]
3587.87/3597.03	c Solving Time (sec) : 3597.03
3587.87/3597.03	c Solving Nodes      : 43
3587.87/3597.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.87/3597.03	c Dual Bound         : +0.00000000000000e+00
3587.87/3597.03	c Gap                : infinite
3587.87/3597.03	s UNKNOWN
3587.87/3597.03	c SCIP Status        : solving was interrupted [time limit reached]
3587.87/3597.03	c Total Time         :    3597.03
3587.87/3597.03	c   solving          :    3597.03
3587.87/3597.03	c   presolving       :      12.47 (included in solving)
3587.87/3597.03	c   reading          :       0.94 (included in solving)
3587.87/3597.03	c   copying          :       0.64 (1 #copies) (minimal 0.64, maximal 0.64, average 0.64)
3587.87/3597.03	c Original Problem   :
3587.87/3597.03	c   Problem name     : HOME/instance-4443975-1721300520.opb
3587.87/3597.03	c   Variables        : 3750 (3750 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.87/3597.03	c   Constraints      : 467625 initial, 467625 maximal
3587.87/3597.03	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.87/3597.03	c Presolved Problem  :
3587.87/3597.03	c   Problem name     : t_HOME/instance-4443975-1721300520.opb
3587.87/3597.03	c   Variables        : 3738 (3738 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.87/3597.03	c   Constraints      : 464951 initial, 465027 maximal
3587.87/3597.03	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.87/3597.03	c   Nonzeros         : 1866284 constraint, 3737 clique table
3587.87/3597.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.87/3597.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   domcol           :       0.24       0.00      2          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   dualsparsify     :       2.34       0.00      1          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   gateextraction   :       0.35       0.00      3          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   implics          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   milp             :       1.36       0.00      1          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   sparsify         :       0.45       0.00      1          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   trivial          :       0.00       0.00      7          1          0          0          0          0          0          0          0          0
3587.87/3597.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   probing          :       0.17       0.00      2          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   symmetry         :       2.40       0.00      1          4          0          0          0          0          0          4          0          0
3587.87/3597.03	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   setppc           :       0.01       0.00     14          0          1          0          0          0          2          0          0          0
3587.87/3597.03	c   linear           :       1.28       0.28      2          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   orbitope         :       0.00       0.00      4          6          0          0          0          0          0          0          0          0
3587.87/3597.03	c   logicor          :       2.20       1.17     14          0          0          0          0          0       2676          0          0        249
3587.87/3597.03	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   components       :       0.17       0.00      1          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.87/3597.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.87/3597.03	c   benderslp        :          0          0          0          0         43          0          0         18          0          0          0          0          0          0          0
3587.87/3597.03	c   integral         :          0          0          0          0         43          0          0         18          0          0          0          0          0          0         86
3587.87/3597.03	c   setppc           :        748        748         11      14499          0          0          0         15       1352         16         95          0          0          0          0
3587.87/3597.03	c   orbitope         :          4          4          0      14383          0          0          0          0          8          0          0          0          0          0          0
3587.87/3597.03	c   logicor          :     464199+    464275         11       5887          0          0          0          0       2373          7          0          0          0          0          0
3587.87/3597.03	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.87/3597.03	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   integral         :      65.95       0.00       0.00       0.00      65.95       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   setppc           :       0.11       0.00       0.00       0.11       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   orbitope         :       0.44       0.00       0.00       0.43       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   logicor          :       4.29       1.17       1.48       1.59       0.00       0.00       0.00       0.00       0.00       0.04
3587.87/3597.03	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.87/3597.03	c   dualfix          :          1          0          0          0
3587.87/3597.03	c   genvbounds       :          0          0          0          0
3587.87/3597.03	c   nlobbt           :          0          0          0          0
3587.87/3597.03	c   obbt             :          0          0          0          0
3587.87/3597.03	c   probing          :          0          0          0          0
3587.87/3597.03	c   pseudoobj        :          0          0          0          0
3587.87/3597.03	c   redcost          :          0          0          0          0
3587.87/3597.03	c   rootredcost      :          0          0          0          0
3587.87/3597.03	c   symmetry         :          0          0          0          0
3587.87/3597.03	c   vbounds          :       5734          0          0          0
3587.87/3597.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.87/3597.03	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   probing          :       0.17       0.00       0.17       0.00       0.00       0.00
3587.87/3597.03	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c   symmetry         :       2.40       0.00       2.40       0.00       0.00       0.00
3587.87/3597.03	c   vbounds          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.87/3597.03	c Symmetry           :
3587.87/3597.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.87/3597.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.87/3597.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.87/3597.03	c   shadow tree time :       0.00 s
3587.87/3597.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.87/3597.03	c   propagation      :       0.02         18         18          -        680      281.4          0        0.0          -          -          -
3587.87/3597.03	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.87/3597.03	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.87/3597.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.87/3597.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.87/3597.03	c   applied globally :       0.00          -          -          0         76      110.1          -          -          0          -          -
3587.87/3597.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.87/3597.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.87/3597.03	c   cut pool         :       0.03          -         29         21          -          -       2276       2546          -          -          -          -          -    (maximal pool size:       2276)
3587.87/3597.03	c   aggregation      :       1.08       0.00         15         11          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.87/3597.03	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.87/3597.03	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.87/3597.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   clique           :       0.08       0.00         11         11          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   gomory           :       2.01       0.00         14         10          0          0       2203       2461          0         13         13          0          0
3587.87/3597.03	c   > gomorymi       :          -          -          -          -          -          -          -       1244          0         13         13          0          -
3587.87/3597.03	c   > strongcg       :          -          -          -          -          -          -          -       1217          0          0          0          0          -
3587.87/3597.03	c   impliedbounds    :       0.00       0.00         15         11          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   mcf              :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   multilinear      :       0.00       0.00         17         11          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   rlt              :       0.00       0.00         12         10          0          0          0          0          0          0          0          0          0
3587.87/3597.03	c   zerohalf         :      68.85       0.00         15         11          0          0         73         85          0         82         82          0          0
3587.87/3597.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.87/3597.03	c   hybrid           :       0.04       0.00         15         11         95          0       2451         60          0       2249
3587.87/3597.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.87/3597.03	c   problem variables:       0.00          -          0          0
3587.87/3597.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.87/3597.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c   relpscost        :      65.95       0.00         43          0          0          0          0          0          0         86
3587.87/3597.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.87/3597.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.87/3597.03	c   LP solutions     :       0.00          -          -          0          0
3587.87/3597.03	c   relax solutions  :       0.00          -          -          0          0
3587.87/3597.03	c   pseudo solutions :       0.00          -          -          0          0
3587.87/3597.03	c   strong branching :       0.00          -          -          0          0
3587.87/3597.03	c   actconsdiving    :       0.00       0.00          0          0          0
3587.87/3597.03	c   adaptivediving   :     154.52       0.00          1          0          0
3587.87/3597.03	c   alns             :       0.00       0.00          0          0          0
3587.87/3597.03	c   bound            :       0.00       0.00          0          0          0
3587.87/3597.03	c   clique           :       0.95       0.00          1          0          0
3587.87/3597.03	c   coefdiving       :       0.00       0.00          0          0          0
3587.87/3597.03	c   completesol      :       0.00       0.00          0          0          0
3587.87/3597.03	c   conflictdiving   :    1047.37       0.00          2          0          0
3587.87/3597.03	c   crossover        :       0.00       0.00          0          0          0
3587.87/3597.03	c   dins             :       0.00       0.00          0          0          0
3587.87/3597.03	c   distributiondivin:     275.22       0.00          1          0          0
3587.87/3597.03	c   dps              :       0.00       0.00          0          0          0
3587.87/3597.03	c   dualval          :       0.00       0.00          0          0          0
3587.87/3597.03	c   farkasdiving     :       0.00       0.00          0          0          0
3587.87/3597.03	c   feasjump         :       0.69       0.00          1          0          0
3587.87/3597.03	c   feaspump         :     118.28       0.00          1          0          0
3587.87/3597.03	c   fixandinfer      :       0.00       0.00          0          0          0
3587.87/3597.03	c   fracdiving       :     329.01       0.00          2          0          0
3587.87/3597.03	c   gins             :       0.00       0.00          0          0          0
3587.87/3597.03	c   guideddiving     :       0.00       0.00          0          0          0
3587.87/3597.03	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.87/3597.03	c   indicator        :       0.00       0.00          0          0          0
3587.87/3597.03	c   indicatordiving  :       0.00       0.00          0          0          0
3587.87/3597.03	c   indoneopt        :       0.00       0.00          0          0          0
3587.87/3597.03	c   indrounding      :       0.00       0.00          0          0          0
3587.87/3597.03	c   indtwoopt        :       0.00       0.00          0          0          0
3587.87/3597.03	c   intdiving        :       0.00       0.00          0          0          0
3587.87/3597.03	c   intshifting      :       0.00       0.00          0          0          0
3587.87/3597.03	c   linesearchdiving :     367.65       0.00          1          0          0
3587.87/3597.03	c   localbranching   :       0.00       0.00          0          0          0
3587.87/3597.03	c   locks            :       0.30       0.00          1          0          0
3587.87/3597.03	c   lpface           :       0.00       0.00          0          0          0
3587.87/3597.03	c   mpec             :       0.00       0.00          0          0          0
3587.87/3597.03	c   multistart       :       0.00       0.00          0          0          0
3587.87/3597.03	c   mutation         :       0.00       0.00          0          0          0
3587.87/3597.03	c   nlpdiving        :       0.00       0.00          0          0          0
3587.87/3597.03	c   objpscostdiving  :      52.29       0.00          1          0          0
3587.87/3597.03	c   octane           :       0.00       0.00          0          0          0
3587.87/3597.03	c   ofins            :       0.00       0.00          0          0          0
3587.87/3597.03	c   oneopt           :       0.00       0.00          0          0          0
3587.87/3597.03	c   padm             :       0.00       0.00          0          0          0
3587.87/3597.03	c   proximity        :       0.00       0.00          0          0          0
3587.87/3597.03	c   pscostdiving     :     420.02       0.00          2          0          0
3587.87/3597.03	c   randrounding     :       1.59       0.00         12          0          0
3587.87/3597.03	c   rens             :       2.96       0.00          1          0          0
3587.87/3597.03	c   reoptsols        :       0.00       0.00          0          0          0
3587.87/3597.03	c   repair           :       0.00       0.00          0          0          0
3587.87/3597.03	c   rins             :       0.00       0.00          0          0          0
3587.87/3597.03	c   rootsoldiving    :      57.09       0.00          1          0          0
3587.87/3597.03	c   rounding         :       1.98       0.00         58          0          0
3587.87/3597.03	c   scheduler        :       0.00       0.00          0          0          0
3587.87/3597.03	c   shiftandpropagate:       0.38       0.00          1          0          0
3587.87/3597.03	c   shifting         :       3.35       0.00         18          0          0
3587.87/3597.03	c   simplerounding   :       0.00       0.00          0          0          0
3587.87/3597.03	c   smallcard        :       0.00       0.00          0          0          0
3587.87/3597.03	c   subnlp           :       0.00       0.00          0          0          0
3587.87/3597.03	c   trivial          :       0.03       0.00          2          0          0
3587.87/3597.03	c   trivialnegation  :       0.00       0.00          0          0          0
3587.87/3597.03	c   trustregion      :       0.00       0.00          0          0          0
3587.87/3597.03	c   trysol           :       0.00       0.00          0          0          0
3587.87/3597.03	c   twoopt           :       0.00       0.00          0          0          0
3587.87/3597.03	c   undercover       :       0.00       0.00          0          0          0
3587.87/3597.03	c   vbounds          :       0.95       0.00          1          0          0
3587.87/3597.03	c   veclendiving     :     267.92       0.00          1          0          0
3587.87/3597.03	c   zeroobj          :       0.00       0.00          0          0          0
3587.87/3597.03	c   zirounding       :       0.50       0.00         42          0          0
3587.87/3597.03	c   other solutions  :          -          -          -          0          -
3587.87/3597.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.87/3597.03	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.87/3597.03	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.87/3597.03	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.87/3597.03	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.87/3597.03	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.87/3597.03	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.87/3597.03	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.87/3597.03	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.87/3597.03	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.87/3597.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.87/3597.03	c   primal LP        :       0.15          3          0       0.00       0.00       0.15          3
3587.87/3597.03	c   dual LP          :     337.40         58      41956     723.38     124.35       0.00          0
3587.87/3597.03	c   lex dual LP      :       0.00          0          0       0.00          -
3587.87/3597.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.87/3597.03	c   resolve instable :       0.00          0          0       0.00          -
3587.87/3597.03	c   diving/probing LP:    3093.10         84     199074    2369.93      64.36
3587.87/3597.03	c   strong branching :      58.18         19       6657     350.37     114.43          -          -         13
3587.87/3597.03	c     (at root node) :          -         19       6657     350.37          -
3587.87/3597.03	c   conflict analysis:       0.00          0          0       0.00          -
3587.87/3597.03	c B&B Tree           :
3587.87/3597.03	c   number of runs   :          1
3587.87/3597.03	c   nodes            :         43 (43 internal, 0 leaves)
3587.87/3597.03	c   feasible leaves  :          0
3587.87/3597.03	c   infeas. leaves   :          0
3587.87/3597.03	c   objective leaves :          0
3587.87/3597.03	c   nodes (total)    :         43 (43 internal, 0 leaves)
3587.87/3597.03	c   nodes left       :         44
3587.87/3597.03	c   max depth        :         15
3587.87/3597.03	c   max depth (total):         15
3587.87/3597.03	c   backtracks       :         16 (37.2%)
3587.87/3597.03	c   early backtracks :          0 (0.0%)
3587.87/3597.03	c   nodes exc. ref.  :          0 (0.0%)
3587.87/3597.03	c   delayed cutoffs  :          0
3587.87/3597.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3587.87/3597.03	c   avg switch length:       2.23
3587.87/3597.03	c   switching time   :       0.28
3587.87/3597.03	c Root Node          :
3587.87/3597.03	c   First LP value   : +0.00000000000000e+00
3587.87/3597.03	c   First LP Iters   :       1856 (476.90 Iter/sec)
3587.87/3597.03	c   First LP Time    :       3.89
3587.87/3597.03	c   Final Dual Bound : +0.00000000000000e+00
3587.87/3597.03	c   Final Root Iters :      25594
3587.87/3597.03	c   Root LP Estimate : +2.89499999999995e-03
3587.87/3597.03	c Solution           :
3587.87/3597.03	c   Solutions found  :          0 (0 improvements)
3587.87/3597.03	c   Primal Bound     :          -
3587.87/3597.03	c   Dual Bound       : +0.00000000000000e+00
3587.87/3597.03	c   Gap              :   infinite
3587.87/3597.03	c Integrals          :      Total       Avg%
3587.87/3597.03	c   primal-dual      :  359702.72     100.00
3587.87/3597.03	c   primal-ref       :          -          - (not evaluated)
3587.87/3597.03	c   dual-ref         :          -          - (not evaluated)
3588.86/3598.03	c Time complete: 3588.91.

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: 63968 MiB (60945 MiB free)
  memory of node 1: 64473 MiB (62412 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443975-1721300520/watcher-4443975-1721300520 -o /tmp/evaluation-result-4443975-1721300520/solver-4443975-1721300520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967152 --watchdog 3760 pbscip -f HOME/instance-4443975-1721300520.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=971914, runsolver pid=971911
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.16 4.12 4.09 6/258 971915
/proc/meminfo: memFree=126285568/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=87304 memory=46556 CPUtime=0.09 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 8723 0 0 0 9 0 0 0 20 0 1 0 182214431 89399296 11639 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 21826 11639 3252 3540 0 10083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87304 KiB
Current children cumulated memory: 46556 KiB

[startup+0.205752 s]*
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126257336/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=115136 memory=74012 CPUtime=0.2 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 15538 0 0 0 19 1 0 0 20 0 1 0 182214431 117899264 18503 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 28784 18503 3252 3540 0 17041 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115136 KiB
Current children cumulated memory: 74012 KiB

[startup+0.305634 s]*
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126231464/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=139812 memory=98548 CPUtime=0.3 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 21714 0 0 0 29 1 0 0 20 0 1 0 182214431 143167488 24637 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 34953 24637 3252 3540 0 23210 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 139812 KiB
Current children cumulated memory: 98548 KiB

[startup+0.700216 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126180148/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=237064 memory=195508 CPUtime=0.69 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 45417 0 0 0 65 4 0 0 20 0 1 0 182214431 242753536 48877 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 59266 48877 3252 3540 0 47523 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 237064 KiB
Current children cumulated memory: 195508 KiB

[startup+1.50022 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=126042864/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=632432 memory=591976 CPUtime=1.48 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 144745 0 0 0 130 18 0 0 20 0 1 0 182214431 647610368 147994 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 158108 147994 3540 3540 0 146365 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 632432 KiB
Current children cumulated memory: 591976 KiB

[startup+3.1058 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 971915
/proc/meminfo: memFree=125280756/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=1074836 memory=1026900 CPUtime=3.08 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 196712 0 0 0 273 35 0 0 20 0 1 0 182214431 1100632064 256725 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 268709 256725 3667 3540 0 256966 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1074836 KiB
Current children cumulated memory: 1026900 KiB

[startup+6.30021 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 971917
/proc/meminfo: memFree=125295912/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=1082016 memory=1033800 CPUtime=6.27 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 253333 0 0 0 583 44 0 0 20 0 1 0 182214431 1107984384 258450 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 270504 258450 3731 3540 0 258761 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1082016 KiB
Current children cumulated memory: 1033800 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 971917
/proc/meminfo: memFree=124231704/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2267984 memory=2094332 CPUtime=12.66 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 306313 0 0 0 1192 74 0 0 20 0 1 0 182214431 2322415616 523583 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 566996 523583 3795 3540 0 555253 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2267984 KiB
Current children cumulated memory: 2094332 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 971918
/proc/meminfo: memFree=123735708/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2778200 memory=2588124 CPUtime=25.43 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 403538 0 0 0 2449 94 0 0 20 0 1 0 182214431 2844876800 647031 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 694550 647031 3987 3540 0 682807 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2778200 KiB
Current children cumulated memory: 2588124 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 971923
/proc/meminfo: memFree=123691160/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2787592 memory=2589812 CPUtime=50.96 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 404086 0 0 0 5000 96 0 0 20 0 1 0 182214431 2854494208 647453 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 696898 647453 3987 3540 0 685155 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2787592 KiB
Current children cumulated memory: 2589812 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 971932
/proc/meminfo: memFree=123673368/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=2787592 memory=2590364 CPUtime=102.02 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 404395 0 0 0 10104 98 0 0 20 0 1 0 182214431 2854494208 647591 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 696898 647591 3987 3540 0 685155 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2787592 KiB
Current children cumulated memory: 2590364 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 971944
/proc/meminfo: memFree=123467928/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3138856 memory=2803300 CPUtime=161.87 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 437128 0 0 0 16081 106 0 0 20 0 1 0 182214431 3214188544 700825 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 784714 700825 3987 3540 0 772971 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 3138856 KiB
Current children cumulated memory: 2803300 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 971954
/proc/meminfo: memFree=123294964/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3556148 memory=2915980 CPUtime=221.72 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 450114 0 0 0 22063 109 0 0 20 0 1 0 182214431 3641495552 728995 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 889037 728995 3987 3540 0 877294 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 3556148 KiB
Current children cumulated memory: 2915980 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 971964
/proc/meminfo: memFree=123225076/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3644112 memory=2959092 CPUtime=281.56 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 452929 0 0 0 28044 112 0 0 20 0 1 0 182214431 3731570688 739773 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 911028 739773 3987 3540 0 899285 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 3644112 KiB
Current children cumulated memory: 2959092 KiB

[startup+342.3 s]
/proc/loadavg: 4.42 4.18 4.12 5/254 971975
/proc/meminfo: memFree=123148876/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3689128 memory=3005844 CPUtime=341.42 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 456168 0 0 0 34027 115 0 0 20 0 1 0 182214431 3777667072 751461 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 922282 751461 3987 3540 0 910539 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 3689128 KiB
Current children cumulated memory: 3005844 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/254 971985
/proc/meminfo: memFree=122966332/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3835616 memory=3101000 CPUtime=401.27 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 461915 0 0 0 40007 120 0 0 20 0 1 0 182214431 3927670784 775250 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 958904 775250 4003 3540 0 947161 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 3835616 KiB
Current children cumulated memory: 3101000 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/255 971996
/proc/meminfo: memFree=122932924/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3845844 memory=3111228 CPUtime=461.12 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 464631 0 0 0 45990 122 0 0 20 0 1 0 182214431 3938144256 777807 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 961461 777807 4003 3540 0 949718 0

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

/proc/loadavg: 4.08 4.11 4.15 5/257 974758
/proc/meminfo: memFree=118414332/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4278640 memory=3568224 CPUtime=3154.22 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 748317 0 0 0 315217 205 0 0 20 0 1 0 182214431 4381327360 892056 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1069660 892056 4035 3540 0 1057917 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 4278640 KiB
Current children cumulated memory: 3568224 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/257 975151
/proc/meminfo: memFree=118355792/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4300828 memory=3590408 CPUtime=3214.07 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 756614 0 0 0 321200 207 0 0 20 0 1 0 182214431 4404047872 897602 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1075207 897602 4035 3540 0 1063464 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 4300828 KiB
Current children cumulated memory: 3590408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/257 975161
/proc/meminfo: memFree=118305724/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4311296 memory=3600856 CPUtime=3273.94 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 759528 0 0 0 327185 209 0 0 20 0 1 0 182214431 4414767104 900214 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077824 900214 4035 3540 0 1066081 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 4311296 KiB
Current children cumulated memory: 3600856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/256 975172
/proc/meminfo: memFree=118276840/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4277668 memory=3567224 CPUtime=3333.79 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 762120 0 0 0 333169 210 0 0 20 0 1 0 182214431 4380332032 891806 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1069417 891806 4035 3540 0 1057674 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 4277668 KiB
Current children cumulated memory: 3567224 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/258 975352
/proc/meminfo: memFree=118190544/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4285784 memory=3575128 CPUtime=3393.64 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 766612 0 0 0 339152 212 0 0 20 0 1 0 182214431 4388642816 893782 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1071446 893782 4035 3540 0 1059703 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 4285784 KiB
Current children cumulated memory: 3575128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/258 975362
/proc/meminfo: memFree=118091376/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4308716 memory=3598300 CPUtime=3453.49 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 772597 0 0 0 345135 214 0 0 20 0 1 0 182214431 4412125184 899575 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077179 899575 4035 3540 0 1065436 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 4308716 KiB
Current children cumulated memory: 3598300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/256 975376
/proc/meminfo: memFree=117992948/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4315932 memory=3605516 CPUtime=3513.34 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 774635 0 0 0 351119 215 0 0 20 0 1 0 182214431 4419514368 901379 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1078983 901379 4035 3540 0 1067240 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 4315932 KiB
Current children cumulated memory: 3605516 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/256 975397
/proc/meminfo: memFree=117941500/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4306776 memory=3596196 CPUtime=3573.2 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 784468 0 0 0 357102 218 0 0 20 0 1 0 182214431 4410138624 899049 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1076694 899049 4035 3540 0 1064951 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 4306776 KiB
Current children cumulated memory: 3596196 KiB

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

# cumulated CPU time of all completed processes:  user=3586.69 s, system=2.2261 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.12 5/256 975397
/proc/meminfo: memFree=117938832/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4307988 memory=3597488 CPUtime=3574.9 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 784772 0 0 0 357272 218 0 0 20 0 1 0 182214431 4411379712 899372 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1076997 899372 4035 3540 0 1065254 0
Current children cumulated CPU time: 3574.9 s
Current children cumulated vsize: 4307988 KiB
Current children cumulated memory: 3597488 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.12 5/256 975399
/proc/meminfo: memFree=117933672/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4308800 memory=3598192 CPUtime=3581.28 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 784996 0 0 0 357909 219 0 0 20 0 1 0 182214431 4412211200 899548 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077200 899548 4035 3540 0 1065457 0
Current children cumulated CPU time: 3581.28 s
Current children cumulated vsize: 4308800 KiB
Current children cumulated memory: 3598192 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.11 4.13 5/256 975399
/proc/meminfo: memFree=117927764/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310756 memory=3600304 CPUtime=3584.48 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785486 0 0 0 358229 219 0 0 20 0 1 0 182214431 4414214144 900076 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077689 900076 4035 3540 0 1065946 0
Current children cumulated CPU time: 3584.48 s
Current children cumulated vsize: 4310756 KiB
Current children cumulated memory: 3600304 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.11 4.13 5/256 975400
/proc/meminfo: memFree=117925840/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310780 memory=3600304 CPUtime=3586.07 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785495 0 0 0 358388 219 0 0 20 0 1 0 182214431 4414238720 900076 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077695 900076 4035 3540 0 1065952 0
Current children cumulated CPU time: 3586.07 s
Current children cumulated vsize: 4310780 KiB
Current children cumulated memory: 3600304 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.11 4.13 5/256 975401
/proc/meminfo: memFree=117925668/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310780 memory=3600304 CPUtime=3587.67 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785495 0 0 0 358548 219 0 0 20 0 1 0 182214431 4414238720 900076 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077695 900076 4035 3540 0 1065952 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 4310780 KiB
Current children cumulated memory: 3600304 KiB

[startup+3597.6 s]
/proc/loadavg: 4.15 4.11 4.13 5/256 975401
/proc/meminfo: memFree=117922424/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=4310780 memory=3600364 CPUtime=3588.47 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785985 0 0 0 358628 219 0 0 20 0 1 0 182214431 4414238720 900091 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 1077695 900091 4035 3540 0 1065952 0
Current children cumulated CPU time: 3588.47 s
Current children cumulated vsize: 4310780 KiB
Current children cumulated memory: 3600364 KiB

[startup+3598 s]*
/proc/loadavg: 4.15 4.11 4.13 5/256 975401
/proc/meminfo: memFree=118288692/131524600 swapFree=131071216/131071996
[pid=971914] ppid=971911 vsize=3894000 memory=3233152 CPUtime=3588.86 cores=5,7
/proc/971914/stat : 971914 (pbscip) R 971911 971914 967139 0 -1 4194304 785996 0 0 0 358666 220 0 0 20 0 1 0 182214431 3987456000 808288 134679101440 4194304 18693293 140735867888592 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29868032 140735867896835 140735867896934 140735867896934 140735867903950 0
/proc/971914/statm: 973500 808288 4035 3540 0 961757 0
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 3894000 KiB
Current children cumulated memory: 3233152 KiB

Child status: 0

Real time (s): 3598.05
CPU time (s): 3588.92
CPU user time (s): 3586.69
CPU system time (s): 2.2261
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 4464356
Max. memory (cumulated for all children) (KiB): 3728824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.69
system time used= 2.2261
maximum resident set size= 3728824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786111
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= 18
involuntary context switches= 2025


# summary of solver processes directly reported to runsolver:
#   pid: 971914
#   total CPU time (s): 3588.92
#   total CPU user time (s): 3586.69
#   total CPU system time (s): 2.2261

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77238 second user time and 18.0379 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-18 13:02:12
IDJOB=4443975
IDBENCH=147892
IDSOLVER=3059
FILE ID=nodeC018/4443975-1721300520
RUNJOBID= nodeC018-1721294195-967152
SLURM_JOB_ID= 7542613
Free space on /tmp= 890004 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 --file-size-limit 102400 -w /tmp/evaluation-result-4443975-1721300520/watcher-4443975-1721300520 -o /tmp/evaluation-result-4443975-1721300520/solver-4443975-1721300520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967152 --watchdog 3760  pbscip -f HOME/instance-4443975-1721300520.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1331469188

nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3672.731
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3681.666
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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.121
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.243
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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		: 3672.755
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3663.519
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.911
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3683.718
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126317880 kB
MemAvailable:   128204492 kB
Buffers:          468008 kB
Cached:          2249748 kB
SwapCached:          148 kB
Active:           971160 kB
Inactive:        3645936 kB
Active(anon):       1580 kB
Inactive(anon):  1943584 kB
Active(file):     969580 kB
Inactive(file):  1702352 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             38248 kB
Writeback:             0 kB
AnonPages:       1888508 kB
Mapped:           142804 kB
Shmem:             45784 kB
KReclaimable:     109004 kB
Slab:             205960 kB
SReclaimable:     109004 kB
SUnreclaim:        96956 kB
KernelStack:        4124 kB
PageTables:        13496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2207280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1517568 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262868 kB
DirectMap2M:    24676352 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 889920 MiB
End job on nodeC018 at 2024-07-18 14:02:10