Trace number 4452245

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-07UNSAT 1716.63 1720.83

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-tanglegram6.0.u.opb
MD5SUMb4833b4bfdaca602656a4e797e1582c4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.0437
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9182
Total number of constraints17713
Number of constraints which are clauses17712
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint8856
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 1223
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 10079
Number of bits of the biggest sum of numbers14
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-4452245-1721441233.opb>
0.00/0.04	c original problem has 9182 variables (9182 bin, 0 int, 0 impl, 0 cont) and 17713 constraints
0.00/0.04	c problem read in 0.04
0.00/0.04	c No objective function, only one solution is needed.
0.00/0.08	c presolving:
0.10/0.12	c    (0.1s) running MILP presolver
0.10/0.14	c    (0.1s) MILP presolver found nothing
0.20/0.23	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17635 upgd conss, 0 impls, 0 clqs
0.20/0.25	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17713 upgd conss, 0 impls, 0 clqs
0.29/0.37	c    (0.4s) probing: 51/9182 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.40	c    (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1439.84/1443.34	c    (1443.3s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 14260.0) (symcode time: 1442.91)
1439.94/1443.45	c dynamic symmetry handling statistics:
1439.94/1443.45	c    orbitopal reduction:       no components
1439.94/1443.45	c    orbital reduction:         no components
1439.94/1443.45	c    lexicographic reduction:   no permutations
1439.94/1443.45	c handled 6 out of 6 symmetry components
1439.94/1443.46	c (round 3, exhaustive) 0 del vars, 0 del conss, 1500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17713 upgd conss, 0 impls, 1500 clqs
1439.94/1443.47	c (round 4, exhaustive) 0 del vars, 0 del conss, 1500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 19213 upgd conss, 0 impls, 1500 clqs
1440.04/1443.58	c presolving (5 rounds: 5 fast, 5 medium, 5 exhaustive):
1440.04/1443.58	c  0 deleted vars, 0 deleted constraints, 1500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1440.04/1443.58	c  0 implications, 1500 cliques
1440.04/1443.58	c presolved problem has 9182 variables (9182 bin, 0 int, 0 impl, 0 cont) and 19213 constraints
1440.04/1443.58	c       1 constraints of type <knapsack>
1440.04/1443.58	c    1500 constraints of type <setppc>
1440.04/1443.58	c   17712 constraints of type <logicor>
1440.04/1443.58	c transformed objective value is always integral (scale: 1)
1440.04/1443.58	c Presolving Time: 1443.51
1440.04/1443.58	c - non default parameters ----------------------------------------------------------------------
1440.04/1443.58	c # SCIP version 10.0.0
1440.04/1443.58	c 
1440.04/1443.58	c # maximal time in seconds to run
1440.04/1443.58	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1440.04/1443.58	c limits/time = 3596.998052
1440.04/1443.58	c 
1440.04/1443.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1440.04/1443.58	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1440.04/1443.58	c limits/memory = 27900
1440.04/1443.58	c 
1440.04/1443.58	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
1440.04/1443.58	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
1440.04/1443.58	c limits/solutions = 1
1440.04/1443.58	c 
1440.04/1443.58	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.
1440.04/1443.58	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
1440.04/1443.58	c misc/usesymmetry = 3
1440.04/1443.58	c 
1440.04/1443.58	c # belongs reading time to solving time?
1440.04/1443.58	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1440.04/1443.58	c timing/reading = TRUE
1440.04/1443.58	c 
1440.04/1443.58	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
1440.04/1443.58	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1440.04/1443.58	c propagating/symmetry/detectdoublelex = FALSE
1440.04/1443.58	c 
1440.04/1443.58	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
1440.04/1443.58	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1440.04/1443.58	c propagating/symmetry/detectsubgroups = FALSE
1440.04/1443.58	c 
1440.04/1443.58	c # Type of symmetries that shall be computed?
1440.04/1443.58	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
1440.04/1443.58	c propagating/symmetry/symtype = 1
1440.04/1443.58	c 
1440.04/1443.58	c # Should components consisting of a single full reflection be handled?
1440.04/1443.58	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1440.04/1443.58	c propagating/symmetry/usesimplesgncomp = FALSE
1440.04/1443.58	c 
1440.04/1443.58	c -----------------------------------------------------------------------------------------------
1440.04/1443.58	c start solving
1440.04/1443.58	c 
1441.14/1444.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1441.14/1444.63	c  1445s|     1 |     0 |   204 |     - |   237M |   0 |9182 |  19k|  19k|   0 |  0 | 380 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1441.65/1445.11	c  1445s|     1 |     0 |  5597 |     - |   246M |   0 |9182 |  19k|  19k|   5 |  1 | 389 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1444.24/1447.71	c  1448s|     1 |     0 |  8581 |     - |   248M |   0 |9182 |  19k|  19k|  11 |  2 | 390 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1446.43/1449.92	c  1450s|     1 |     0 |  8753 |     - |   250M |   0 |9182 |  19k|  19k|  19 |  3 | 392 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1448.63/1452.11	c  1452s|     1 |     0 | 10692 |     - |   256M |   0 |9182 |  19k|  19k|  26 |  4 | 393 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1451.52/1455.04	c  1455s|     1 |     0 | 11118 |     - |   259M |   0 |9182 |  19k|  19k|  34 |  5 | 394 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1452.71/1456.27	c  1456s|     1 |     0 | 11297 |     - |   262M |   0 |9182 |  19k|  19k|  39 |  6 | 395 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1456.20/1459.75	c  1460s|     1 |     0 | 11427 |     - |   264M |   0 |9182 |  19k|  19k|  45 |  7 | 405 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1459.60/1463.15	c  1463s|     1 |     0 | 11643 |     - |   266M |   0 |9182 |  19k|  19k|  53 |  8 | 407 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1461.39/1464.99	c  1465s|     1 |     0 | 11937 |     - |   268M |   0 |9182 |  19k|  19k|  58 |  9 | 408 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1463.08/1466.70	c  1467s|     1 |     0 | 12046 |     - |   272M |   0 |9182 |  19k|  19k|  61 | 10 | 409 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1463.49/1467.00	c  1467s|     1 |     0 | 12185 |     - |   274M |   0 |9182 |  19k|  19k|  65 | 11 | 410 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1474.25/1477.84	c  1478s|     1 |     2 | 12578 |     - |   278M |   0 |9182 |  19k|  19k|  65 | 11 | 481 |  31 | 0.000000e+00 |      --      |    Inf | unknown
1716.49/1720.77	c 
1716.49/1720.77	c SCIP Status        : problem is solved [infeasible]
1716.49/1720.77	c Solving Time (sec) : 1720.77
1716.49/1720.77	c Solving Nodes      : 27
1716.49/1720.77	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1716.49/1720.77	c Dual Bound         : +1.00000000000000e+20
1716.49/1720.77	c Gap                : 0.00 %
1716.49/1720.77	s UNSATISFIABLE
1716.49/1720.77	c SCIP Status        : problem is solved [infeasible]
1716.49/1720.77	c Total Time         :    1720.77
1716.49/1720.77	c   solving          :    1720.77
1716.49/1720.77	c   presolving       :    1443.51 (included in solving)
1716.49/1720.77	c   reading          :       0.04 (included in solving)
1716.49/1720.77	c   copying          :       0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
1716.49/1720.77	c Original Problem   :
1716.49/1720.77	c   Problem name     : HOME/instance-4452245-1721441233.opb
1716.49/1720.77	c   Variables        : 9182 (9182 binary, 0 integer, 0 implicit integer, 0 continuous)
1716.49/1720.77	c   Constraints      : 17713 initial, 17713 maximal
1716.49/1720.77	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
1716.49/1720.77	c Presolved Problem  :
1716.49/1720.77	c   Problem name     : t_HOME/instance-4452245-1721441233.opb
1716.49/1720.77	c   Variables        : 9182 (9182 binary, 0 integer, 0 implicit integer, 0 continuous)
1716.49/1720.77	c   Constraints      : 19213 initial, 19593 maximal
1716.49/1720.77	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
1716.49/1720.77	c   Nonzeros         : 64992 constraint, 3026 clique table
1716.49/1720.77	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1716.49/1720.77	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   domcol           :       0.16       0.00      2          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   gateextraction   :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   milp             :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   sparsify         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   trivial          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   dualfix          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   probing          :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   symmetry         :    1443.06       0.00      1          0          0          0          0          0          0       1500          0          0
1716.49/1720.77	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   knapsack         :       0.01       0.00     12          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   setppc           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   linear           :       0.11       0.01      6          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   logicor          :       0.03       0.01     10          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   root node        :          -          -      -          4          -          -          4          -          -          -          -          -
1716.49/1720.77	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
1716.49/1720.77	c   benderslp        :          0          0          0          0         13          0          0          7          0          0          0          0          0          0          0
1716.49/1720.77	c   integral         :          0          0          0          0         13          0          0          7          0          0          0          0          0          0         26
1716.49/1720.77	c   knapsack         :          1          1         11       6879          0          0          0          3         83         14          0          0          0          0          0
1716.49/1720.77	c   setppc           :       1500+      1513         11       6765          0          0          0          1        513         11          0          0          0          0          0
1716.49/1720.77	c   logicor          :      17712+     18092         11       4055          0          0          0          1      65499         42       3149          0          0          0          0
1716.49/1720.77	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
1716.49/1720.77	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   integral         :      10.58       0.00       0.00       0.00      10.58       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   knapsack         :       0.45       0.00       0.29       0.15       0.00       0.00       0.00       0.00       0.01       0.00
1716.49/1720.77	c   setppc           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   logicor          :       0.37       0.01       0.02       0.33       0.00       0.00       0.00       0.00       0.01       0.00
1716.49/1720.77	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1716.49/1720.77	c   dualfix          :          1          0          0          0
1716.49/1720.77	c   genvbounds       :          0          0          0          0
1716.49/1720.77	c   nlobbt           :          0          0          0          0
1716.49/1720.77	c   obbt             :          0          0          0          0
1716.49/1720.77	c   probing          :          0          0          0          0
1716.49/1720.77	c   pseudoobj        :          0          0          0          0
1716.49/1720.77	c   redcost          :          0          0          0          0
1716.49/1720.77	c   rootredcost      :          0          0          0          0
1716.49/1720.77	c   symmetry         :          0          0          0          0
1716.49/1720.77	c   vbounds          :       3205          0          0          0
1716.49/1720.77	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
1716.49/1720.77	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   probing          :       0.02       0.00       0.02       0.00       0.00       0.00
1716.49/1720.77	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c   symmetry         :    1443.06       0.00    1443.06       0.00       0.00       0.00
1716.49/1720.77	c   vbounds          :       0.00       0.00       0.00       0.00       0.00       0.00
1716.49/1720.77	c Symmetry           :
1716.49/1720.77	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
1716.49/1720.77	c   orbital reduction:          0 reductions applied,          0 cutoffs
1716.49/1720.77	c   lexicographic red:          0 reductions applied,          0 cutoffs
1716.49/1720.77	c   shadow tree time :       0.00 s
1716.49/1720.77	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
1716.49/1720.77	c   propagation      :       0.32         67         67          -       2293      975.9          0        0.0          -          -          -
1716.49/1720.77	c   infeasible LP    :       0.05         24         15          -         55       83.7          0        0.0          2     1088.0          0
1716.49/1720.77	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
1716.49/1720.77	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
1716.49/1720.77	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
1716.49/1720.77	c   applied globally :       0.01          -          -          1        543      787.6          -          -          2          -          -
1716.49/1720.77	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
1716.49/1720.77	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
1716.49/1720.77	c   cut pool         :       0.00          -         21         21          -          -       1059       1690          -          -          -          -          -    (maximal pool size:       1059)
1716.49/1720.77	c   aggregation      :       0.06       0.00         11         11          0          0          2          4          0          1          1          0          0
1716.49/1720.77	c   > cmir           :          -          -          -          -          -          -          -          4          0          1          1          0          -
1716.49/1720.77	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
1716.49/1720.77	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
1716.49/1720.77	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   clique           :       0.27       0.00         11         11          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   gomory           :      15.72       0.00         10         10          0          0       1008       1623          0         19         19          0          0
1716.49/1720.77	c   > gomorymi       :          -          -          -          -          -          -          -        756          0         10         10          0          -
1716.49/1720.77	c   > strongcg       :          -          -          -          -          -          -          -        867          0          9          9          0          -
1716.49/1720.77	c   impliedbounds    :       0.00       0.00         11         11          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   mcf              :       0.05       0.00          1          1          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   multilinear      :       0.00       0.00         15         11          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
1716.49/1720.77	c   zerohalf         :       0.54       0.00         11         11          0          0         49         63          0         45         45          0          0
1716.49/1720.77	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
1716.49/1720.77	c   hybrid           :       0.00       0.00         11         11         65          0       1625         65          0       1625
1716.49/1720.77	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1716.49/1720.77	c   problem variables:       0.00          -          0          0
1716.49/1720.77	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
1716.49/1720.77	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c   relpscost        :      10.58       0.00         13          0          0          0          0          0          0         26
1716.49/1720.77	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
1716.49/1720.77	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
1716.49/1720.77	c   LP solutions     :       0.00          -          -          0          0
1716.49/1720.77	c   relax solutions  :       0.00          -          -          0          0
1716.49/1720.77	c   pseudo solutions :       0.00          -          -          0          0
1716.49/1720.77	c   strong branching :       0.00          -          -          0          0
1716.49/1720.77	c   actconsdiving    :       0.00       0.00          0          0          0
1716.49/1720.77	c   adaptivediving   :       1.07       0.00          3          0          0
1716.49/1720.77	c   alns             :       0.08       0.00          1          0          0
1716.49/1720.77	c   bound            :       0.00       0.00          0          0          0
1716.49/1720.77	c   clique           :       0.03       0.00          1          0          0
1716.49/1720.77	c   coefdiving       :       0.00       0.00          0          0          0
1716.49/1720.77	c   completesol      :       0.00       0.00          0          0          0
1716.49/1720.77	c   conflictdiving   :       0.13       0.00          1          0          0
1716.49/1720.77	c   crossover        :       0.00       0.00          0          0          0
1716.49/1720.77	c   dins             :       0.00       0.00          0          0          0
1716.49/1720.77	c   distributiondivin:       1.77       0.00          2          0          0
1716.49/1720.77	c   dps              :       0.00       0.00          0          0          0
1716.49/1720.77	c   dualval          :       0.00       0.00          0          0          0
1716.49/1720.77	c   farkasdiving     :       0.00       0.00          0          0          0
1716.49/1720.77	c   feasjump         :       0.51       0.00          1          0          0
1716.49/1720.77	c   feaspump         :       0.22       0.00          1          0          0
1716.49/1720.77	c   fixandinfer      :       0.00       0.00          0          0          0
1716.49/1720.77	c   fracdiving       :       1.38       0.00          2          0          0
1716.49/1720.77	c   gins             :       0.00       0.00          0          0          0
1716.49/1720.77	c   guideddiving     :       0.00       0.00          0          0          0
1716.49/1720.77	c   indcoefdiving    :       0.00       0.00          0          0          0
1716.49/1720.77	c   indicator        :       0.00       0.00          0          0          0
1716.49/1720.77	c   indicatordiving  :       0.00       0.00          0          0          0
1716.49/1720.77	c   indoneopt        :       0.00       0.00          0          0          0
1716.49/1720.77	c   indrounding      :       0.00       0.00          0          0          0
1716.49/1720.77	c   indtwoopt        :       0.00       0.00          0          0          0
1716.49/1720.77	c   intdiving        :       0.00       0.00          0          0          0
1716.49/1720.77	c   intshifting      :       0.00       0.00          0          0          0
1716.49/1720.77	c   linesearchdiving :       0.00       0.00          0          0          0
1716.49/1720.77	c   localbranching   :       0.00       0.00          0          0          0
1716.49/1720.77	c   locks            :       0.45       0.00          1          0          0
1716.49/1720.77	c   lpface           :       0.00       0.00          0          0          0
1716.49/1720.77	c   mpec             :       0.00       0.00          0          0          0
1716.49/1720.77	c   multistart       :       0.00       0.00          0          0          0
1716.49/1720.77	c   mutation         :       0.00       0.00          0          0          0
1716.49/1720.77	c   nlpdiving        :       0.00       0.00          0          0          0
1716.49/1720.77	c   objpscostdiving  :     185.86       0.00          1          0          0
1716.49/1720.77	c   octane           :       0.00       0.00          0          0          0
1716.49/1720.77	c   ofins            :       0.00       0.00          0          0          0
1716.49/1720.77	c   oneopt           :       0.00       0.00          0          0          0
1716.49/1720.77	c   padm             :       0.00       0.00          0          0          0
1716.49/1720.77	c   proximity        :       0.00       0.00          0          0          0
1716.49/1720.77	c   pscostdiving     :       9.21       0.00          1          0          0
1716.49/1720.77	c   randrounding     :       0.03       0.00         12          0          0
1716.49/1720.77	c   rens             :       0.00       0.00          0          0          0
1716.49/1720.77	c   reoptsols        :       0.00       0.00          0          0          0
1716.49/1720.77	c   repair           :       0.00       0.00          0          0          0
1716.49/1720.77	c   rins             :       0.00       0.00          0          0          0
1716.49/1720.77	c   rootsoldiving    :       0.00       0.00          0          0          0
1716.49/1720.77	c   rounding         :       0.33       0.00         24          0          0
1716.49/1720.77	c   scheduler        :       0.00       0.00          0          0          0
1716.49/1720.77	c   shiftandpropagate:       0.04       0.00          1          0          0
1716.49/1720.77	c   shifting         :       0.60       0.00         12          0          0
1716.49/1720.77	c   simplerounding   :       0.00       0.00          0          0          0
1716.49/1720.77	c   smallcard        :       0.00       0.00          0          0          0
1716.49/1720.77	c   subnlp           :       0.00       0.00          0          0          0
1716.49/1720.77	c   trivial          :       0.00       0.00          2          0          0
1716.49/1720.77	c   trivialnegation  :       0.00       0.00          0          0          0
1716.49/1720.77	c   trustregion      :       0.00       0.00          0          0          0
1716.49/1720.77	c   trysol           :       0.00       0.00          0          0          0
1716.49/1720.77	c   twoopt           :       0.00       0.00          0          0          0
1716.49/1720.77	c   undercover       :       0.00       0.00          0          0          0
1716.49/1720.77	c   vbounds          :       0.00       0.00          0          0          0
1716.49/1720.77	c   veclendiving     :       0.01       0.00          1          0          0
1716.49/1720.77	c   zeroobj          :       0.00       0.00          0          0          0
1716.49/1720.77	c   zirounding       :       0.01       0.00         13          0          0
1716.49/1720.77	c   other solutions  :          -          -          -          0          -
1716.49/1720.77	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	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
1716.49/1720.77	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
1716.49/1720.77	c   primal LP        :       0.03          2          0       0.00       0.00       0.03          2
1716.49/1720.77	c   dual LP          :      47.77         38      88163    2320.08    1845.49       0.00          0
1716.49/1720.77	c   lex dual LP      :       0.00          0          0       0.00          -
1716.49/1720.77	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1716.49/1720.77	c   resolve instable :       0.00          0          0       0.00          -
1716.49/1720.77	c   diving/probing LP:     199.64        736      70220      95.41     351.73
1716.49/1720.77	c   strong branching :       8.53         31      12027     387.97    1409.97          -          -         16
1716.49/1720.77	c     (at root node) :          -         31      12027     387.97          -
1716.49/1720.77	c   conflict analysis:       0.00          0          0       0.00          -
1716.49/1720.77	c B&B Tree           :
1716.49/1720.77	c   number of runs   :          1
1716.49/1720.77	c   nodes            :         27 (13 internal, 14 leaves)
1716.49/1720.77	c   feasible leaves  :          0
1716.49/1720.77	c   infeas. leaves   :         14
1716.49/1720.77	c   objective leaves :          0
1716.49/1720.77	c   nodes (total)    :         27 (13 internal, 14 leaves)
1716.49/1720.77	c   nodes left       :          0
1716.49/1720.77	c   max depth        :          5
1716.49/1720.77	c   max depth (total):          5
1716.49/1720.77	c   backtracks       :         17 (63.0%)
1716.49/1720.77	c   early backtracks :          0 (0.0%)
1716.49/1720.77	c   nodes exc. ref.  :          0 (0.0%)
1716.49/1720.77	c   delayed cutoffs  :          0
1716.49/1720.77	c   repropagations   :          4 (1 domain reductions, 0 cutoffs)
1716.49/1720.77	c   avg switch length:       3.41
1716.49/1720.77	c   switching time   :       0.04
1716.49/1720.77	c Root Node          :
1716.49/1720.77	c   First LP value   : +0.00000000000000e+00
1716.49/1720.77	c   First LP Iters   :        204 (12516.87 Iter/sec)
1716.49/1720.77	c   First LP Time    :       0.02
1716.49/1720.77	c   Final Dual Bound :          -
1716.49/1720.77	c   Final Root Iters :      12185
1716.49/1720.77	c   Root LP Estimate : +2.89801416126688e-03
1716.49/1720.77	c Solution           :
1716.49/1720.77	c   Solutions found  :          0 (0 improvements)
1716.49/1720.77	c   Primal Bound     : infeasible
1716.49/1720.77	c   Dual Bound       :          -
1716.49/1720.77	c   Gap              :       0.00 %
1716.49/1720.77	c Integrals          :      Total       Avg%
1716.49/1720.77	c   primal-dual      :          -          - (problem infeasible)
1716.49/1720.77	c   primal-ref       :          -          - (problem infeasible)
1716.49/1720.77	c   dual-ref         :          -          - (problem infeasible)
1716.59/1720.82	c Time complete: 1716.62.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61647 MiB free)
  memory of node 1: 64473 MiB (60672 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=1040822, runsolver pid=1040819

[startup+0.100093 s]*
/proc/loadavg: 4.10 4.16 4.15 5/254 1040823
/proc/meminfo: memFree=125207316/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=107080 memory=64344 CPUtime=0.1 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 12855 0 0 0 8 2 0 0 20 0 1 0 196288300 109649920 16086 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 26770 16086 3620 3540 0 15027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 107080 KiB
Current children cumulated memory: 64344 KiB

[startup+0.205879 s]*
/proc/loadavg: 4.10 4.16 4.15 5/254 1040823
/proc/meminfo: memFree=125202068/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=111084 memory=69476 CPUtime=0.2 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 18081 0 0 0 17 3 0 0 20 0 1 0 196288300 113750016 17369 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 27771 17369 3731 3540 0 16028 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111084 KiB
Current children cumulated memory: 69476 KiB

[startup+0.305717 s]*
/proc/loadavg: 4.10 4.16 4.15 5/254 1040823
/proc/meminfo: memFree=125183824/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=128444 memory=86548 CPUtime=0.29 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 22276 0 0 0 26 3 0 0 20 0 1 0 196288300 131526656 21637 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 32111 21637 3779 3540 0 20368 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 128444 KiB
Current children cumulated memory: 86548 KiB

[startup+0.700233 s]
/proc/loadavg: 4.10 4.16 4.15 5/254 1040823
/proc/meminfo: memFree=125152516/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=197880 memory=137732 CPUtime=0.68 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 34544 0 0 0 63 5 0 0 20 0 1 0 196288300 202629120 34433 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 49470 34433 3811 3540 0 37727 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197880 KiB
Current children cumulated memory: 137732 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.16 4.15 5/254 1040823
/proc/meminfo: memFree=125110552/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=225928 memory=168816 CPUtime=1.49 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 41800 0 0 0 142 7 0 0 20 0 1 0 196288300 231350272 42204 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 56482 42204 3811 3540 0 44739 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 225928 KiB
Current children cumulated memory: 168816 KiB

[startup+3.10566 s]
/proc/loadavg: 4.10 4.16 4.15 5/254 1040823
/proc/meminfo: memFree=125090920/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=236980 memory=180164 CPUtime=3.08 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 44636 0 0 0 301 7 0 0 20 0 1 0 196288300 242667520 45041 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 59245 45041 3811 3540 0 47502 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 236980 KiB
Current children cumulated memory: 180164 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.16 4.15 5/254 1040824
/proc/meminfo: memFree=125076528/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=251044 memory=194948 CPUtime=6.27 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 48349 0 0 0 619 8 0 0 20 0 1 0 196288300 257069056 48737 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 62761 48737 3811 3540 0 51018 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 251044 KiB
Current children cumulated memory: 194948 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.15 4.15 5/254 1040825
/proc/meminfo: memFree=125059272/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=268124 memory=212636 CPUtime=12.66 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 52771 0 0 0 1257 9 0 0 20 0 1 0 196288300 274558976 53159 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 67031 53159 3811 3540 0 55288 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 268124 KiB
Current children cumulated memory: 212636 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.16 4.16 5/254 1040827
/proc/meminfo: memFree=125033968/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=292232 memory=236924 CPUtime=25.44 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 58866 0 0 0 2533 11 0 0 20 0 1 0 196288300 299245568 59231 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 73058 59231 3811 3540 0 61315 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 292232 KiB
Current children cumulated memory: 236924 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 1040831
/proc/meminfo: memFree=125004028/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321368 memory=265436 CPUtime=50.98 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 65997 0 0 0 5084 14 0 0 20 0 1 0 196288300 329080832 66359 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80342 66359 3811 3540 0 68599 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 321368 KiB
Current children cumulated memory: 265436 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/254 1040840
/proc/meminfo: memFree=125003336/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321376 memory=265436 CPUtime=102.06 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 65999 0 0 0 10190 16 0 0 20 0 1 0 196288300 329089024 66359 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80344 66359 3811 3540 0 68601 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 321376 KiB
Current children cumulated memory: 265436 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/256 1040854
/proc/meminfo: memFree=125002776/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321388 memory=265436 CPUtime=161.92 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 66002 0 0 0 16173 19 0 0 20 0 1 0 196288300 329101312 66359 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80347 66359 3811 3540 0 68604 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 321388 KiB
Current children cumulated memory: 265436 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.15 4.15 5/256 1040866
/proc/meminfo: memFree=125002496/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321396 memory=265436 CPUtime=221.8 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 66004 0 0 0 22158 22 0 0 20 0 1 0 196288300 329109504 66359 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80349 66359 3811 3540 0 68606 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 321396 KiB
Current children cumulated memory: 265436 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.12 4.13 5/256 1040876
/proc/meminfo: memFree=124989448/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321400 memory=265436 CPUtime=281.66 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 66005 0 0 0 28141 25 0 0 20 0 1 0 196288300 329113600 66359 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80350 66359 3811 3540 0 68607 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 321400 KiB
Current children cumulated memory: 265436 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 1040886
/proc/meminfo: memFree=124989068/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321408 memory=265436 CPUtime=341.49 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 66007 0 0 0 34121 28 0 0 20 0 1 0 196288300 329121792 66359 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80352 66359 3811 3540 0 68609 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 321408 KiB
Current children cumulated memory: 265436 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/256 1040897
/proc/meminfo: memFree=124988388/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321412 memory=265672 CPUtime=401.33 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 66520 0 0 0 40102 31 0 0 20 0 1 0 196288300 329125888 66418 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80353 66418 3811 3540 0 68610 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 321412 KiB
Current children cumulated memory: 265672 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/256 1040908
/proc/meminfo: memFree=124986696/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321416 memory=266592 CPUtime=461.16 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 66522 0 0 0 46083 33 0 0 20 0 1 0 196288300 329129984 66648 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80354 66648 3811 3540 0 68611 0

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

/proc/loadavg: 4.40 4.18 4.11 5/257 1041888
/proc/meminfo: memFree=125012556/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321468 memory=277748 CPUtime=1299.21 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 67198 0 0 0 129888 33 0 0 20 0 1 0 196288300 329183232 69437 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80367 69437 3811 3540 0 68624 0
Current children cumulated CPU time: 1299.21 s
Current children cumulated vsize: 321468 KiB
Current children cumulated memory: 277748 KiB

[startup+1362.3 s]
/proc/loadavg: 4.26 4.18 4.11 5/257 1041898
/proc/meminfo: memFree=124869596/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321472 memory=277756 CPUtime=1359.06 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 67256 0 0 0 135873 33 0 0 20 0 1 0 196288300 329187328 69439 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80368 69439 3811 3540 0 68625 0
Current children cumulated CPU time: 1359.06 s
Current children cumulated vsize: 321472 KiB
Current children cumulated memory: 277756 KiB

[startup+1422.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/260 1041969
/proc/meminfo: memFree=124868788/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=321476 memory=277756 CPUtime=1418.9 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 67318 0 0 0 141857 33 0 0 20 0 1 0 196288300 329191424 69439 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 80369 69439 3811 3540 0 68626 0
Current children cumulated CPU time: 1418.9 s
Current children cumulated vsize: 321476 KiB
Current children cumulated memory: 277756 KiB

[startup+1482.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/260 1041980
/proc/meminfo: memFree=124773672/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400156 memory=340184 CPUtime=1478.74 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84084 0 0 0 147839 35 0 0 20 0 1 0 196288300 409759744 85046 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100039 85046 4003 3540 0 88296 0
Current children cumulated CPU time: 1478.74 s
Current children cumulated vsize: 400156 KiB
Current children cumulated memory: 340184 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/261 1041991
/proc/meminfo: memFree=124744580/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340512 CPUtime=1538.57 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84205 0 0 0 153822 35 0 0 20 0 1 0 196288300 409997312 85128 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85128 4019 3540 0 88354 0
Current children cumulated CPU time: 1538.57 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340512 KiB

[startup+1602.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/259 1042002
/proc/meminfo: memFree=124721308/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340524 CPUtime=1598.42 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84250 0 0 0 159807 35 0 0 20 0 1 0 196288300 409997312 85131 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85131 4019 3540 0 88354 0
Current children cumulated CPU time: 1598.42 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340524 KiB

[startup+1662.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/259 1042013
/proc/meminfo: memFree=124704684/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340524 CPUtime=1658.26 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84292 0 0 0 165791 35 0 0 20 0 1 0 196288300 409997312 85131 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85131 4019 3540 0 88354 0
Current children cumulated CPU time: 1658.26 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340524 KiB

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

# cumulated CPU time of all completed processes:  user=1716.27 s, system=0.361973 s

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

[startup+1689.6 s]
/proc/loadavg: 4.15 4.15 4.10 5/259 1042062
/proc/meminfo: memFree=125409968/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340524 CPUtime=1685.49 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84300 0 0 0 168514 35 0 0 20 0 1 0 196288300 409997312 85131 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85131 4019 3540 0 88354 0
Current children cumulated CPU time: 1685.49 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340524 KiB

[startup+1702.4 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 1042065
/proc/meminfo: memFree=125394668/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340524 CPUtime=1698.25 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84317 0 0 0 169790 35 0 0 20 0 1 0 196288300 409997312 85131 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85131 4019 3540 0 88354 0
Current children cumulated CPU time: 1698.25 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340524 KiB

[startup+1708.8 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 1042065
/proc/meminfo: memFree=125391152/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340524 CPUtime=1704.63 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84341 0 0 0 170428 35 0 0 20 0 1 0 196288300 409997312 85131 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85131 4019 3540 0 88354 0
Current children cumulated CPU time: 1704.63 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340524 KiB

[startup+1715.2 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 1042067
/proc/meminfo: memFree=125387740/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340620 CPUtime=1711.01 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84359 0 0 0 171066 35 0 0 20 0 1 0 196288300 409997312 85155 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85155 4019 3540 0 88354 0
Current children cumulated CPU time: 1711.01 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340620 KiB

[startup+1718.4 s]
/proc/loadavg: 4.17 4.15 4.10 5/255 1042067
/proc/meminfo: memFree=125385396/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340620 CPUtime=1714.2 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84384 0 0 0 171385 35 0 0 20 0 1 0 196288300 409997312 85155 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85155 4019 3540 0 88354 0
Current children cumulated CPU time: 1714.2 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340620 KiB

[startup+1720 s]*
/proc/loadavg: 4.15 4.14 4.10 5/255 1042068
/proc/meminfo: memFree=125378432/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340620 CPUtime=1715.8 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84385 0 0 0 171545 35 0 0 20 0 1 0 196288300 409997312 85155 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85155 4019 3540 0 88354 0
Current children cumulated CPU time: 1715.8 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340620 KiB

[startup+1720.4 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 1042068
/proc/meminfo: memFree=125378432/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=400388 memory=340620 CPUtime=1716.2 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84386 0 0 0 171585 35 0 0 20 0 1 0 196288300 409997312 85155 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 100097 85155 4019 3540 0 88354 0
Current children cumulated CPU time: 1716.2 s
Current children cumulated vsize: 400388 KiB
Current children cumulated memory: 340620 KiB

[startup+1720.8 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 1042068
/proc/meminfo: memFree=125378432/131524600 swapFree=131070704/131071996
[pid=1040822] ppid=1040819 vsize=399488 memory=339784 CPUtime=1716.59 cores=1,3
/proc/1040822/stat : 1040822 (pbscip) R 1040819 1040822 1036346 0 -1 4194304 84440 0 0 0 171624 35 0 0 20 0 1 0 196288300 409075712 84946 134679101440 4194304 18693293 140722109969088 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140722109977602 140722109977701 140722109977701 140722109984718 0
/proc/1040822/statm: 99872 84946 4035 3540 0 88129 0
Current children cumulated CPU time: 1716.59 s
Current children cumulated vsize: 399488 KiB
Current children cumulated memory: 339784 KiB

Child status: 0

Real time (s): 1720.83
CPU time (s): 1716.63
CPU user time (s): 1716.27
CPU system time (s): 0.361973
CPU usage (%): 99.7562
Max. virtual memory (cumulated for all children) (KiB): 400388
Max. memory (cumulated for all children) (KiB): 340620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.27
system time used= 0.361973
maximum resident set size= 340684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84455
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= 15
involuntary context switches= 741


# summary of solver processes directly reported to runsolver:
#   pid: 1040822
#   total CPU time (s): 1716.63
#   total CPU user time (s): 1716.27
#   total CPU system time (s): 0.361973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.40381 second user time and 7.39904 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-20 04:07:26
IDJOB=4452245
IDBENCH=164182
IDSOLVER=3059
FILE ID=nodeC023/4452245-1721441233
RUNJOBID= nodeC023-1721434856-1036358
SLURM_JOB_ID= 7545638
Free space on /tmp= 890016 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-tanglegram6.0.u.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-4452245-1721441233/watcher-4452245-1721441233 -o /tmp/evaluation-result-4452245-1721441233/solver-4452245-1721441233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036358 --watchdog 3760  pbscip -f HOME/instance-4452245-1721441233.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= b4833b4bfdaca602656a4e797e1582c4
RANDOM SEED=1299662395

nodeC023.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		: 3668.616
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.61
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		: 3668.391
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.48
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		: 3599.817
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.61
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		: 3665.695
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.48
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		: 3668.589
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.61
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		: 3671.039
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.074
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.61
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.994
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125256480 kB
MemAvailable:   127513972 kB
Buffers:          580780 kB
Cached:          2512864 kB
SwapCached:           80 kB
Active:          1222128 kB
Inactive:        4472792 kB
Active(anon):       1580 kB
Inactive(anon):  2645420 kB
Active(file):    1220548 kB
Inactive(file):  1827372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             19208 kB
Writeback:             0 kB
AnonPages:       2598088 kB
Mapped:           141020 kB
Shmem:             45728 kB
KReclaimable:      98792 kB
Slab:             192888 kB
SReclaimable:      98792 kB
SUnreclaim:        94096 kB
KernelStack:        4096 kB
PageTables:        14776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2981024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2285568 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:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC023 at 2024-07-20 04:36:07