Trace number 4432912

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 NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? 3589.54 3597.11

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
MD5SUM481101aa5750e702617a44583ed063de
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark204
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27552
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432912-1721162029.opb>
0.00/0.06	c original problem has 9632 variables (9632 bin, 0 int, 0 impl, 0 cont) and 29620 constraints
0.00/0.06	c problem read in 0.06
0.10/0.11	c presolving:
0.10/0.15	c (round 1, fast)       56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs
0.10/0.15	c (round 2, fast)       71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs
0.10/0.20	c    (0.2s) running MILP presolver
0.20/0.23	c    (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.26	c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs
0.30/0.35	c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs
0.40/0.42	c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs
2.28/2.39	c    (2.4s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
2.28/2.40	c    (2.4s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
2.28/2.40	c    (2.4s) probing aborted: 1000/1000 successive useless probings
2.38/2.44	c    (2.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.48/2.54	c    (2.5s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.07)
2.48/2.56	c dynamic symmetry handling statistics:
2.48/2.56	c    orbitopal reduction:        4 components: 342x6, 342x6, 341x11, 341x4
2.48/2.56	c    orbital reduction:         no components
2.48/2.56	c    lexicographic reduction:   no permutations
2.48/2.56	c handled 4 out of 4 symmetry components
2.48/2.57	c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
2.48/2.57	c  71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1736 changed sides, 2604 changed coefficients
2.48/2.57	c  0 implications, 20763 cliques
2.48/2.57	c presolved problem has 9561 variables (9561 bin, 0 int, 0 impl, 0 cont) and 27419 constraints
2.48/2.57	c    1144 constraints of type <knapsack>
2.48/2.57	c   16027 constraints of type <setppc>
2.48/2.57	c      28 constraints of type <linear>
2.48/2.57	c   10220 constraints of type <logicor>
2.48/2.57	c transformed objective value is always integral (scale: 1)
2.48/2.57	c Presolving Time: 2.46
2.48/2.57	c - non default parameters ----------------------------------------------------------------------
2.48/2.57	c # SCIP version 10.0.0
2.48/2.57	c 
2.48/2.57	c # maximal time in seconds to run
2.48/2.57	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.48/2.57	c limits/time = 3596.998041
2.48/2.57	c 
2.48/2.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.48/2.57	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.48/2.57	c limits/memory = 27900
2.48/2.57	c 
2.48/2.57	c # belongs reading time to solving time?
2.48/2.57	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.48/2.57	c timing/reading = TRUE
2.48/2.57	c 
2.48/2.57	c -----------------------------------------------------------------------------------------------
2.48/2.57	c start solving
2.48/2.58	c 
32.60/32.77	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
32.60/32.77	c  32.8s|     1 |     0 | 34302 |     - |   209M |   0 |9561 |  27k|  27k|   0 |  0 |  76 |   0 | 5.168497e+01 |      --      |    Inf | unknown
81.06/81.37	c  81.4s|     1 |     0 |142437 |     - |   221M |   0 |9561 |  27k|  27k| 220 |  1 |  77 |   0 | 6.050000e+01 |      --      |    Inf | unknown
84.86/85.15	c  85.1s|     1 |     0 |147832 |     - |   226M |   0 |9561 |  27k|  27k| 441 |  2 |  79 |   0 | 7.400000e+01 |      --      |    Inf | unknown
95.02/95.38	c  95.4s|     1 |     0 |158909 |     - |   229M |   0 |9561 |  27k|  28k| 634 |  3 |  80 |   0 | 8.500000e+01 |      --      |    Inf | unknown
100.00/100.33	c   100s|     1 |     0 |166115 |     - |   234M |   0 |9561 |  27k|  28k| 883 |  4 |  81 |   0 | 8.800000e+01 |      --      |    Inf | unknown
112.06/112.43	c   112s|     1 |     0 |178709 |     - |   236M |   0 |9561 |  27k|  28k|1108 |  5 |  83 |   0 | 9.342588e+01 |      --      |    Inf | unknown
116.25/116.63	c   117s|     1 |     0 |184546 |     - |   241M |   0 |9561 |  27k|  28k|1374 |  6 |  85 |   0 | 9.467775e+01 |      --      |    Inf | unknown
127.91/128.33	c   128s|     1 |     0 |196100 |     - |   244M |   0 |9561 |  27k|  29k|1602 |  7 |  87 |   0 | 1.010000e+02 |      --      |    Inf | unknown
134.09/134.52	c   135s|     1 |     0 |202844 |     - |   247M |   0 |9561 |  27k|  29k|1797 |  8 |  89 |   0 | 1.010000e+02 |      --      |    Inf | unknown
140.47/140.99	c   141s|     1 |     0 |210133 |     - |   250M |   0 |9561 |  27k|  29k|1987 |  9 |  91 |   0 | 1.010000e+02 |      --      |    Inf | unknown
148.24/148.75	c   149s|     1 |     0 |218123 |     - |   253M |   0 |9561 |  27k|  29k|2171 | 10 |  92 |   0 | 1.010000e+02 |      --      |    Inf | unknown
153.13/153.61	c   154s|     1 |     0 |224135 |     - |   256M |   0 |9561 |  27k|  29k|2305 | 11 |  94 |   0 | 1.010000e+02 |      --      |    Inf | unknown
158.92/159.44	c   159s|     1 |     0 |231107 |     - |   260M |   0 |9561 |  27k|  29k|2428 | 12 |  96 |   0 | 1.010000e+02 |      --      |    Inf | unknown
165.20/165.77	c   166s|     1 |     0 |238750 |     - |   264M |   0 |9561 |  27k|  29k|2535 | 13 |  97 |   0 | 1.010000e+02 |      --      |    Inf | unknown
170.88/171.42	c   171s|     1 |     0 |245187 |     - |   267M |   0 |9561 |  27k|  30k|2649 | 14 |  99 |   0 | 1.010000e+02 |      --      |    Inf | unknown
176.26/176.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
176.26/176.80	c   177s|     1 |     0 |251724 |     - |   270M |   0 |9561 |  27k|  30k|2760 | 15 | 101 |   0 | 1.110000e+02 |      --      |    Inf | unknown
180.05/180.60	c   181s|     1 |     0 |256198 |     - |   273M |   0 |9561 |  27k|  30k|2872 | 16 | 103 |   0 | 1.110000e+02 |      --      |    Inf | unknown
183.24/183.86	c   184s|     1 |     0 |259892 |     - |   275M |   0 |9561 |  27k|  30k|2976 | 17 | 105 |   0 | 1.110000e+02 |      --      |    Inf | unknown
186.82/187.45	c   187s|     1 |     0 |263787 |     - |   278M |   0 |9561 |  27k|  30k|3079 | 18 | 106 |   0 | 1.110000e+02 |      --      |    Inf | unknown
189.42/190.01	c   190s|     1 |     0 |266432 |     - |   281M |   0 |9561 |  27k|  30k|3161 | 19 | 108 |   0 | 1.110000e+02 |      --      |    Inf | unknown
191.81/192.47	c   192s|     1 |     0 |269059 |     - |   284M |   0 |9561 |  27k|  30k|3251 | 20 | 109 |   0 | 1.110000e+02 |      --      |    Inf | unknown
193.51/194.11	c   194s|     1 |     0 |270690 |     - |   284M |   0 |9561 |  27k|  30k|3263 | 21 | 111 |   0 | 1.110000e+02 |      --      |    Inf | unknown
194.20/194.82	c   195s|     1 |     0 |271179 |     - |   284M |   0 |9561 |  27k|  30k|3268 | 22 | 112 |   0 | 1.110000e+02 |      --      |    Inf | unknown
195.00/195.65	c   196s|     1 |     0 |271756 |     - |   284M |   0 |9561 |  27k|  30k|3275 | 23 | 113 |   0 | 1.110000e+02 |      --      |    Inf | unknown
195.69/196.38	c   196s|     1 |     0 |272216 |     - |   284M |   0 |9561 |  27k|  30k|3282 | 24 | 115 |   0 | 1.110000e+02 |      --      |    Inf | unknown
196.89/197.53	c   198s|     1 |     0 |273186 |     - |   284M |   0 |9561 |  27k|  29k|3289 | 25 | 116 |   0 | 1.110000e+02 |      --      |    Inf | unknown
1649.61/1653.56	c  1654s|     1 |     2 |476524 |     - |   290M |   0 |9561 |  27k|  29k|3289 | 25 | 172 |  29 | 1.110000e+02 |      --      |    Inf | unknown
3589.43/3597.02	c 
3589.43/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3589.43/3597.02	c Solving Time (sec) : 3597.02
3589.43/3597.02	c Solving Nodes      : 14
3589.43/3597.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3589.43/3597.02	c Dual Bound         : +1.12666666666667e+02
3589.43/3597.02	c Gap                : infinite
3589.43/3597.02	s UNKNOWN
3589.43/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3589.43/3597.02	c Total Time         :    3597.02
3589.43/3597.02	c   solving          :    3597.02
3589.43/3597.02	c   presolving       :       2.46 (included in solving)
3589.43/3597.02	c   reading          :       0.06 (included in solving)
3589.43/3597.02	c   copying          :       0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3589.43/3597.02	c Original Problem   :
3589.43/3597.02	c   Problem name     : HOME/instance-4432912-1721162029.opb
3589.43/3597.02	c   Variables        : 9632 (9632 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.43/3597.02	c   Constraints      : 29620 initial, 29620 maximal
3589.43/3597.02	c   Objective        : minimize, 26 non-zeros (abs.min = 2, abs.max = 20)
3589.43/3597.02	c Presolved Problem  :
3589.43/3597.02	c   Problem name     : t_HOME/instance-4432912-1721162029.opb
3589.43/3597.02	c   Variables        : 9561 (9561 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.43/3597.02	c   Constraints      : 27419 initial, 27721 maximal
3589.43/3597.02	c   Objective        : minimize, 13 non-zeros (abs.min = 7, abs.max = 22)
3589.43/3597.02	c   Nonzeros         : 93850 constraint, 41620 clique table
3589.43/3597.02	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3589.43/3597.02	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   domcol           :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   dualsparsify     :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   gateextraction   :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   milp             :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   sparsify         :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   trivial          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   dualfix          :       0.00       0.00      6         58          0          0          0          0          0          0          0          0
3589.43/3597.02	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   probing          :       1.90       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   symmetry         :       0.12       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   knapsack         :       0.02       0.00      6          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   setppc           :       0.02       0.00      6          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   linear           :       0.14       0.01     10          0         13          0          0          0       1333          0       1736       2604
3589.43/3597.02	c   logicor          :       0.03       0.00      6          0          0          0          0          0        868          0          0          0
3589.43/3597.02	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3589.43/3597.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3589.43/3597.02	c   benderslp        :          0          0          0          0         14          0          0          7          0          0          0          0          0          0          0
3589.43/3597.02	c   integral         :          0          0          0          0         14          0          0          7          0          0          0          0          0          0         28
3589.43/3597.02	c   knapsack         :       1144+      1152         25      28995          0          0          0          3        340         23         14         20          7          0          0
3589.43/3597.02	c   setppc           :      16027+     16080         25      28972          0          0          0          0       1760         44        103          3          0          0          0
3589.43/3597.02	c   linear           :         28+        36         25      28928          0          0          0          3         15         13          0          0          0          0          0
3589.43/3597.02	c   logicor          :      10220+     10453         25      21283          0          0          0          0        154         67          9          5          4          0          0
3589.43/3597.02	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3589.43/3597.02	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   integral         :      31.24       0.00       0.00       0.00      31.24       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   knapsack         :       0.85       0.00       0.41       0.45       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   setppc           :       0.46       0.00       0.02       0.43       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   linear           :       0.02       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   logicor          :       0.06       0.00       0.02       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3589.43/3597.02	c   dualfix          :          1          0          0          0
3589.43/3597.02	c   genvbounds       :          0          0          0          0
3589.43/3597.02	c   nlobbt           :          0          0          0          0
3589.43/3597.02	c   obbt             :          0          0          0          0
3589.43/3597.02	c   probing          :          0          0          0          0
3589.43/3597.02	c   pseudoobj        :         76          0          0          0
3589.43/3597.02	c   redcost          :         29          0          0          0
3589.43/3597.02	c   rootredcost      :          1          0          0          0
3589.43/3597.02	c   symmetry         :         35          0          0         20
3589.43/3597.02	c   vbounds          :      12633          0          0          0
3589.43/3597.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3589.43/3597.02	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   probing          :       1.90       0.00       1.90       0.00       0.00       0.00
3589.43/3597.02	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
3589.43/3597.02	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3589.43/3597.02	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3589.43/3597.02	c   symmetry         :       0.12       0.00       0.12       0.00       0.00       0.00
3589.43/3597.02	c   vbounds          :       0.01       0.00       0.00       0.01       0.00       0.00
3589.43/3597.02	c Symmetry           :
3589.43/3597.02	c   orbitopal red.   :         20 reductions applied,          0 cutoffs
3589.43/3597.02	c   orbital reduction:          0 reductions applied,          0 cutoffs
3589.43/3597.02	c   lexicographic red:          0 reductions applied,          0 cutoffs
3589.43/3597.02	c   shadow tree time :       0.00 s
3589.43/3597.02	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3589.43/3597.02	c   propagation      :       0.00        123        123          -        564       19.5          0        0.0          -          -          -
3589.43/3597.02	c   infeasible LP    :       0.01         16         16          -         70       15.1          0        0.0         16       18.4          0
3589.43/3597.02	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3589.43/3597.02	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3589.43/3597.02	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3589.43/3597.02	c   applied globally :       0.00          -          -          0        287       15.3          -          -         16          -          -
3589.43/3597.02	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3589.43/3597.02	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3589.43/3597.02	c   cut pool         :       0.01          -         49         49          -          -       4087       4815          -          -          -          -          -    (maximal pool size:       4087)
3589.43/3597.02	c   aggregation      :       0.22       0.00         25         25          0          0          8          8          0          4          4          0          0
3589.43/3597.02	c   > cmir           :          -          -          -          -          -          -          -          8          0          4          4          0          -
3589.43/3597.02	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3589.43/3597.02	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3589.43/3597.02	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   clique           :       4.51       0.00         25         25          0          0        133        172          0        110        110          0          0
3589.43/3597.02	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   gomory           :       4.83       0.00         10         10          0          0       2002       2454          0       1340       1340          0          0
3589.43/3597.02	c   > gomorymi       :          -          -          -          -          -          -          -        171          0          7          7          0          -
3589.43/3597.02	c   > strongcg       :          -          -          -          -          -          -          -       2283          0       1333       1333          0          -
3589.43/3597.02	c   impliedbounds    :       0.02       0.00         25         25          0          0          3          3          0          3          3          0          0
3589.43/3597.02	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   multilinear      :       0.00       0.00         28         25          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3589.43/3597.02	c   zerohalf         :       2.04       0.00         20         20          0          0       1941       2178          0       1821       1821          0          0
3589.43/3597.02	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3589.43/3597.02	c   hybrid           :       0.01       0.00         25         25       3289          0       1554       3289          0       1554
3589.43/3597.02	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3589.43/3597.02	c   problem variables:       0.00          -          0          0
3589.43/3597.02	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3589.43/3597.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c   relpscost        :      31.24       0.00         14          0          0          0          0          0          0         28
3589.43/3597.02	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3589.43/3597.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3589.43/3597.02	c   LP solutions     :       0.00          -          -          0          0
3589.43/3597.02	c   relax solutions  :       0.00          -          -          0          0
3589.43/3597.02	c   pseudo solutions :       0.00          -          -          0          0
3589.43/3597.02	c   strong branching :       0.00          -          -          0          0
3589.43/3597.02	c   actconsdiving    :       0.00       0.00          0          0          0
3589.43/3597.02	c   adaptivediving   :      13.47       0.00          1          0          0
3589.43/3597.02	c   alns             :       0.00       0.00          0          0          0
3589.43/3597.02	c   bound            :       0.00       0.00          0          0          0
3589.43/3597.02	c   clique           :       0.06       0.00          1          0          0
3589.43/3597.02	c   coefdiving       :       0.00       0.00          0          0          0
3589.43/3597.02	c   completesol      :       0.00       0.00          0          0          0
3589.43/3597.02	c   conflictdiving   :       0.01       0.00          1          0          0
3589.43/3597.02	c   crossover        :       0.00       0.00          0          0          0
3589.43/3597.02	c   dins             :       0.00       0.00          0          0          0
3589.43/3597.02	c   distributiondivin:      15.48       0.00          1          0          0
3589.43/3597.02	c   dps              :       0.00       0.00          0          0          0
3589.43/3597.02	c   dualval          :       0.00       0.00          0          0          0
3589.43/3597.02	c   farkasdiving     :    1165.67       0.00          1          0          0
3589.43/3597.02	c   feasjump         :       0.03       0.00          1          0          0
3589.43/3597.02	c   feaspump         :      35.34       0.00          1          0          0
3589.43/3597.02	c   fixandinfer      :       0.00       0.00          0          0          0
3589.43/3597.02	c   fracdiving       :      20.82       0.00          1          0          0
3589.43/3597.02	c   gins             :       0.00       0.00          0          0          0
3589.43/3597.02	c   guideddiving     :       0.00       0.00          0          0          0
3589.43/3597.02	c   indcoefdiving    :       0.00       0.00          0          0          0
3589.43/3597.02	c   indicator        :       0.00       0.00          0          0          0
3589.43/3597.02	c   indicatordiving  :       0.00       0.00          0          0          0
3589.43/3597.02	c   indoneopt        :       0.00       0.00          0          0          0
3589.43/3597.02	c   indrounding      :       0.00       0.00          0          0          0
3589.43/3597.02	c   indtwoopt        :       0.00       0.00          0          0          0
3589.43/3597.02	c   intdiving        :       0.00       0.00          0          0          0
3589.43/3597.02	c   intshifting      :       0.00       0.00          0          0          0
3589.43/3597.02	c   linesearchdiving :       0.00       0.00          0          0          0
3589.43/3597.02	c   localbranching   :       0.00       0.00          0          0          0
3589.43/3597.02	c   locks            :       0.00       0.00          1          0          0
3589.43/3597.02	c   lpface           :       0.00       0.00          0          0          0
3589.43/3597.02	c   mpec             :       0.00       0.00          0          0          0
3589.43/3597.02	c   multistart       :       0.00       0.00          0          0          0
3589.43/3597.02	c   mutation         :       0.00       0.00          0          0          0
3589.43/3597.02	c   nlpdiving        :       0.00       0.00          0          0          0
3589.43/3597.02	c   objpscostdiving  :    1828.88       0.00          1          0          0
3589.43/3597.02	c   octane           :       0.00       0.00          0          0          0
3589.43/3597.02	c   ofins            :       0.00       0.00          0          0          0
3589.43/3597.02	c   oneopt           :       0.00       0.00          0          0          0
3589.43/3597.02	c   padm             :       0.00       0.00          0          0          0
3589.43/3597.02	c   proximity        :       0.00       0.00          0          0          0
3589.43/3597.02	c   pscostdiving     :      20.37       0.00          1          0          0
3589.43/3597.02	c   randrounding     :       0.14       0.00         26          0          0
3589.43/3597.02	c   rens             :     259.09       0.00          1          0          0
3589.43/3597.02	c   reoptsols        :       0.00       0.00          0          0          0
3589.43/3597.02	c   repair           :       0.00       0.00          0          0          0
3589.43/3597.02	c   rins             :       0.00       0.00          0          0          0
3589.43/3597.02	c   rootsoldiving    :       0.00       0.00          0          0          0
3589.43/3597.02	c   rounding         :       0.07       0.00         39          0          0
3589.43/3597.02	c   scheduler        :       0.00       0.00          0          0          0
3589.43/3597.02	c   shiftandpropagate:       0.04       0.00          1          0          0
3589.43/3597.02	c   shifting         :       0.48       0.00         26          0          0
3589.43/3597.02	c   simplerounding   :       0.00       0.00         39          0          0
3589.43/3597.02	c   smallcard        :       0.00       0.00          0          0          0
3589.43/3597.02	c   subnlp           :       0.00       0.00          0          0          0
3589.43/3597.02	c   trivial          :       0.00       0.00          2          0          0
3589.43/3597.02	c   trivialnegation  :       0.00       0.00          0          0          0
3589.43/3597.02	c   trustregion      :       0.00       0.00          0          0          0
3589.43/3597.02	c   trysol           :       0.00       0.00          0          0          0
3589.43/3597.02	c   twoopt           :       0.00       0.00          0          0          0
3589.43/3597.02	c   undercover       :       0.00       0.00          0          0          0
3589.43/3597.02	c   vbounds          :       0.04       0.00          1          0          0
3589.43/3597.02	c   veclendiving     :      18.07       0.00          1          0          0
3589.43/3597.02	c   zeroobj          :       0.00       0.00          0          0          0
3589.43/3597.02	c   zirounding       :       0.03       0.00         13          0          0
3589.43/3597.02	c   other solutions  :          -          -          -          0          -
3589.43/3597.02	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3589.43/3597.02	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3589.43/3597.02	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
3589.43/3597.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3589.43/3597.02	c   primal LP        :       0.03          4          0       0.00       0.00       0.03          4
3589.43/3597.02	c   dual LP          :     172.75         39     218911    5613.10    1267.18       0.00          0
3589.43/3597.02	c   lex dual LP      :       0.00          0          0       0.00          -
3589.43/3597.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3589.43/3597.02	c   resolve instable :       0.00          0          0       0.00          -
3589.43/3597.02	c   diving/probing LP:    3121.56       2497    1389110     556.31     445.01
3589.43/3597.02	c   strong branching :      20.08         29      24488     844.41    1219.60          -          -         40
3589.43/3597.02	c     (at root node) :          -         29      24488     844.41          -
3589.43/3597.02	c   conflict analysis:       0.00          0          0       0.00          -
3589.43/3597.02	c B&B Tree           :
3589.43/3597.02	c   number of runs   :          1
3589.43/3597.02	c   nodes            :         14 (14 internal, 0 leaves)
3589.43/3597.02	c   feasible leaves  :          0
3589.43/3597.02	c   infeas. leaves   :          0
3589.43/3597.02	c   objective leaves :          0
3589.43/3597.02	c   nodes (total)    :         14 (14 internal, 0 leaves)
3589.43/3597.02	c   nodes left       :         15
3589.43/3597.02	c   max depth        :          8
3589.43/3597.02	c   max depth (total):          8
3589.43/3597.02	c   backtracks       :          5 (35.7%)
3589.43/3597.02	c   early backtracks :          0 (0.0%)
3589.43/3597.02	c   nodes exc. ref.  :          0 (0.0%)
3589.43/3597.02	c   delayed cutoffs  :          0
3589.43/3597.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3589.43/3597.02	c   avg switch length:       2.79
3589.43/3597.02	c   switching time   :       0.01
3589.43/3597.02	c Root Node          :
3589.43/3597.02	c   First LP value   : +5.16849710982659e+01
3589.43/3597.02	c   First LP Iters   :      34302 (1143.61 Iter/sec)
3589.43/3597.02	c   First LP Time    :      29.99
3589.43/3597.02	c   Final Dual Bound : +1.11000000000000e+02
3589.43/3597.02	c   Final Root Iters :     273186
3589.43/3597.02	c   Root LP Estimate : +1.17603778366690e+02
3589.43/3597.02	c Solution           :
3589.43/3597.02	c   Solutions found  :          0 (0 improvements)
3589.43/3597.02	c   Primal Bound     :          -
3589.43/3597.02	c   Dual Bound       : +1.12666666666667e+02
3589.43/3597.02	c   Gap              :   infinite
3589.43/3597.02	c Integrals          :      Total       Avg%
3589.43/3597.02	c   primal-dual      :  359701.60     100.00
3589.43/3597.02	c   primal-ref       :          -          - (not evaluated)
3589.43/3597.02	c   dual-ref         :          -          - (not evaluated)
3589.53/3597.10	c Time complete: 3589.54.

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: 63931 MiB (60869 MiB free)
  memory of node 1: 64510 MiB (60963 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432912-1721162029/watcher-4432912-1721162029 -o /tmp/evaluation-result-4432912-1721162029/solver-4432912-1721162029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721152754-871684 --watchdog 3760 pbscip -f HOME/instance-4432912-1721162029.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=876924, runsolver pid=876921

[startup+0.100139 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124702264/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=110492 memory=70724 CPUtime=0.1 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 14550 0 0 0 8 2 0 0 20 0 1 0 168362039 113143808 17681 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 27623 17681 3606 3540 0 15880 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110492 KiB
Current children cumulated memory: 70724 KiB

[startup+0.205639 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124666308/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=145620 memory=105268 CPUtime=0.2 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 24446 0 0 0 17 3 0 0 20 0 1 0 168362039 149114880 26317 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 36405 26317 3749 3540 0 24662 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145620 KiB
Current children cumulated memory: 105268 KiB

[startup+0.305542 s]*
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124666204/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=145548 memory=105820 CPUtime=0.3 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 28180 0 0 0 26 4 0 0 20 0 1 0 168362039 149041152 26455 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 36387 26455 3813 3540 0 24644 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145548 KiB
Current children cumulated memory: 105820 KiB

[startup+0.700193 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124656612/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=153420 memory=113048 CPUtime=0.68 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 30744 0 0 0 64 4 0 0 20 0 1 0 168362039 157102080 28262 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 38355 28262 3861 3540 0 26612 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153420 KiB
Current children cumulated memory: 113048 KiB

[startup+1.50019 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 876925
/proc/meminfo: memFree=124655240/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=155124 memory=114896 CPUtime=1.48 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 31165 0 0 0 144 4 0 0 20 0 1 0 168362039 158846976 28724 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 38781 28724 3861 3540 0 27038 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155124 KiB
Current children cumulated memory: 114896 KiB

[startup+3.10554 s]
/proc/loadavg: 4.21 4.16 4.11 6/258 876928
/proc/meminfo: memFree=124554764/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=281804 memory=214448 CPUtime=3.08 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 55804 0 0 0 300 8 0 0 20 0 1 0 168362039 288567296 53612 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 70451 53612 4021 3540 0 58708 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 281804 KiB
Current children cumulated memory: 214448 KiB

[startup+6.30016 s]
/proc/loadavg: 4.21 4.16 4.11 5/256 876928
/proc/meminfo: memFree=124546852/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=286056 memory=219788 CPUtime=6.28 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57089 0 0 0 619 9 0 0 20 0 1 0 168362039 292921344 54947 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 71514 54947 4037 3540 0 59771 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 286056 KiB
Current children cumulated memory: 219788 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 876930
/proc/meminfo: memFree=124546424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=287332 memory=221108 CPUtime=12.65 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57418 0 0 0 1256 9 0 0 20 0 1 0 168362039 294227968 55277 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 71833 55277 4037 3540 0 60090 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 287332 KiB
Current children cumulated memory: 221108 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.16 4.11 5/257 876933
/proc/meminfo: memFree=124538904/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=289416 memory=222164 CPUtime=25.43 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57732 0 0 0 2532 11 0 0 20 0 1 0 168362039 296361984 55541 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 72354 55541 4037 3540 0 60611 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 289416 KiB
Current children cumulated memory: 222164 KiB

[startup+51.1053 s]
/proc/loadavg: 4.22 4.16 4.11 5/257 876936
/proc/meminfo: memFree=124533888/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=289416 memory=222692 CPUtime=50.97 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 57835 0 0 0 5084 13 0 0 20 0 1 0 168362039 296361984 55673 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 72354 55673 4037 3540 0 60611 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 289416 KiB
Current children cumulated memory: 222692 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 876945
/proc/meminfo: memFree=124379396/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=338452 memory=258564 CPUtime=102 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 62909 0 0 0 10185 15 0 0 20 0 1 0 168362039 346574848 64641 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 84613 64641 4037 3540 0 72870 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 338452 KiB
Current children cumulated memory: 258564 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/255 876955
/proc/meminfo: memFree=124360128/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=366396 memory=266772 CPUtime=161.81 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 64511 0 0 0 16165 16 0 0 20 0 1 0 168362039 375189504 66693 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 91599 66693 4037 3540 0 79856 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 366396 KiB
Current children cumulated memory: 266772 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/255 876967
/proc/meminfo: memFree=124351608/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=271656 CPUtime=221.61 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 64883 0 0 0 22145 16 0 0 20 0 1 0 168362039 396820480 67914 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 67914 4037 3540 0 85137 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 271656 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 876977
/proc/meminfo: memFree=124334920/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=286692 CPUtime=281.42 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 64914 0 0 0 28126 16 0 0 20 0 1 0 168362039 396820480 71673 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 71673 4037 3540 0 85137 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 286692 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 876988
/proc/meminfo: memFree=124312268/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=308572 CPUtime=341.28 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 65041 0 0 0 34112 16 0 0 20 0 1 0 168362039 396820480 77143 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 77143 4037 3540 0 85137 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 308572 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 877002
/proc/meminfo: memFree=124297488/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=321980 CPUtime=401.14 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 65181 0 0 0 40098 16 0 0 20 0 1 0 168362039 396820480 80495 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 80495 4037 3540 0 85137 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 387520 KiB
Current children cumulated memory: 321980 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 877013
/proc/meminfo: memFree=124296848/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=387520 memory=321980 CPUtime=461.01 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 65267 0 0 0 46085 16 0 0 20 0 1 0 168362039 396820480 80495 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 96880 80495 4037 3540 0 85137 0

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

/proc/loadavg: 1.14 1.35 2.03 2/236 878570
/proc/meminfo: memFree=125486476/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3215.45 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 90859 0 0 0 321525 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3215.45 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3282.3 s]
/proc/loadavg: 1.16 1.32 1.98 2/238 878751
/proc/meminfo: memFree=125485244/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3275.33 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 90946 0 0 0 327513 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3275.33 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3342.3 s]
/proc/loadavg: 1.16 1.29 1.92 2/239 878762
/proc/meminfo: memFree=125484872/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3335.22 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91032 0 0 0 333502 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3335.22 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3402.3 s]
/proc/loadavg: 1.06 1.23 1.86 2/240 878829
/proc/meminfo: memFree=125484496/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3395.1 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91116 0 0 0 339490 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3395.1 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.22 1.82 2/238 878841
/proc/meminfo: memFree=125483996/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3454.98 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91201 0 0 0 345478 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3454.98 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.19 1.77 2/238 878851
/proc/meminfo: memFree=125483836/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3514.87 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91286 0 0 0 351467 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3514.87 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.17 1.72 2/236 878861
/proc/meminfo: memFree=125483604/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3574.75 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 357455 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3574.75 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

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

# cumulated CPU time of all completed processes:  user=3589.33 s, system=0.208412 s

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

[startup+3584 s]*
/proc/loadavg: 1.08 1.17 1.72 2/236 878862
/proc/meminfo: memFree=125483508/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3576.45 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 357625 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3576.45 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3590.4 s]
/proc/loadavg: 1.07 1.17 1.72 2/236 878862
/proc/meminfo: memFree=125483508/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3582.84 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358264 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3582.84 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3593.6 s]
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483508/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3586.03 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358583 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3595.2 s]
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3587.63 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358743 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3596 s]*
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3588.43 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358823 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3588.43 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3596.8 s]
/proc/loadavg: 1.07 1.16 1.72 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3589.22 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358902 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3589.22 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3597 s]*
/proc/loadavg: 1.06 1.16 1.71 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=480244 memory=416424 CPUtime=3589.43 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91371 0 0 0 358923 20 0 0 20 0 1 0 168362039 491769856 104106 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 120061 104106 4069 3540 0 108318 0
Current children cumulated CPU time: 3589.43 s
Current children cumulated vsize: 480244 KiB
Current children cumulated memory: 416424 KiB

[startup+3597.1 s]
/proc/loadavg: 1.06 1.16 1.71 2/236 878864
/proc/meminfo: memFree=125483424/131524600 swapFree=130797080/131071996
[pid=876924] ppid=876921 vsize=433684 memory=370392 CPUtime=3589.53 cores=1,3
/proc/876924/stat : 876924 (pbscip) R 876921 876924 871672 0 -1 4194304 91425 0 0 0 358933 20 0 0 20 0 1 0 168362039 444092416 92598 134679101440 4194304 18693293 140721143108048 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31723520 140721143116804 140721143116903 140721143116903 140721143123918 0
/proc/876924/statm: 108421 92598 4069 3540 0 96678 0
Current children cumulated CPU time: 3589.53 s
Current children cumulated vsize: 433684 KiB
Current children cumulated memory: 370392 KiB

Child status: 0

Real time (s): 3597.11
CPU time (s): 3589.54
CPU user time (s): 3589.33
CPU system time (s): 0.208412
CPU usage (%): 99.7896
Max. virtual memory (cumulated for all children) (KiB): 480244
Max. memory (cumulated for all children) (KiB): 416424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.33
system time used= 0.208412
maximum resident set size= 416424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91444
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= 39
involuntary context switches= 1551


# summary of solver processes directly reported to runsolver:
#   pid: 876924
#   total CPU time (s): 3589.54
#   total CPU user time (s): 3589.33
#   total CPU system time (s): 0.208412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46082 second user time and 13.6461 second system time

The end

Launcher Data

Begin job on nodeC014 at 2024-07-16 22:34:01
IDJOB=4432912
IDBENCH=158396
IDSOLVER=3059
FILE ID=nodeC014/4432912-1721162029
RUNJOBID= nodeC014-1721152754-871684
SLURM_JOB_ID= 7505755
Free space on /tmp= 890024 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.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-4432912-1721162029/watcher-4432912-1721162029 -o /tmp/evaluation-result-4432912-1721162029/solver-4432912-1721162029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721152754-871684 --watchdog 3760  pbscip -f HOME/instance-4432912-1721162029.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=1806102046

nodeC014.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		: 3673.580
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.32
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.462
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.96
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.706
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.32
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		: 3663.754
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.96
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		: 3673.586
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.32
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		: 3678.572
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.96
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.941
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.32
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		: 3616.648
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124756676 kB
MemAvailable:   128901920 kB
Buffers:          365976 kB
Cached:          4568192 kB
SwapCached:        12976 kB
Active:          1193624 kB
Inactive:        4968252 kB
Active(anon):       9444 kB
Inactive(anon):  1236604 kB
Active(file):    1184180 kB
Inactive(file):  3731648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130797080 kB
Dirty:             19528 kB
Writeback:             0 kB
AnonPages:       1218516 kB
Mapped:            82364 kB
Shmem:             18616 kB
KReclaimable:     138124 kB
Slab:             236476 kB
SReclaimable:     138124 kB
SUnreclaim:        98352 kB
KernelStack:        4192 kB
PageTables:        12396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1813832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            30752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    919552 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:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC014 at 2024-07-16 23:33:59