Trace number 4446105

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3588.93 3601.77

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-20.opb
MD5SUMce92e16bf0ab8af5c50df3c37225d359
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark14.7404
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9342
Total number of constraints199352
Number of constraints which are clauses178530
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4446105-1721329697.opb>
0.79/0.86	c original problem has 9342 variables (9342 bin, 0 int, 0 impl, 0 cont) and 199352 constraints
0.79/0.86	c problem read in 0.86
0.79/0.87	c No objective function, only one solution is needed.
1.19/1.25	c presolving:
1.78/1.87	c    (1.9s) running MILP presolver
2.48/2.57	c    (2.6s) MILP presolver found nothing
2.98/3.08	c (round 1, exhaustive) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 199340 upgd conss, 0 impls, 40318 clqs
3.47/3.58	c (round 2, exhaustive) 1 del vars, 2826 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 4234 chg coeffs, 199340 upgd conss, 0 impls, 40318 clqs
17.11/17.21	c    (17.2s) probing: 817/9341 (8.7%) - 0 fixings, 0 aggregations, 25819 implications, 0 bound changes
17.11/17.21	c    (17.2s) probing aborted: 50/50 successive totally useless probings
18.41/18.52	c    (18.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
18.81/18.95	c    (18.9s) no symmetry present (symcode time: 0.06)
19.02/19.14	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
19.02/19.14	c  1 deleted vars, 2826 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 4316 changed coefficients
19.02/19.14	c  0 implications, 66137 cliques
19.02/19.14	c presolved problem has 9341 variables (9341 bin, 0 int, 0 impl, 0 cont) and 196526 constraints
19.02/19.14	c   20454 constraints of type <knapsack>
19.02/19.14	c   40318 constraints of type <setppc>
19.02/19.14	c       2 constraints of type <linear>
19.02/19.14	c  135752 constraints of type <logicor>
19.02/19.14	c transformed objective value is always integral (scale: 1)
19.02/19.14	c Presolving Time: 17.89
19.02/19.14	c - non default parameters ----------------------------------------------------------------------
19.02/19.14	c # SCIP version 10.0.0
19.02/19.14	c 
19.02/19.14	c # maximal time in seconds to run
19.02/19.14	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
19.02/19.14	c limits/time = 3596.993086
19.02/19.14	c 
19.02/19.14	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.02/19.14	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
19.02/19.14	c limits/memory = 27900
19.02/19.14	c 
19.02/19.14	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
19.02/19.14	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
19.02/19.14	c limits/solutions = 1
19.02/19.14	c 
19.02/19.14	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
19.02/19.14	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
19.02/19.14	c misc/usesymmetry = 3
19.02/19.14	c 
19.02/19.14	c # belongs reading time to solving time?
19.02/19.14	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
19.02/19.14	c timing/reading = TRUE
19.02/19.14	c 
19.02/19.14	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
19.02/19.14	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
19.02/19.14	c propagating/symmetry/detectdoublelex = FALSE
19.02/19.14	c 
19.02/19.14	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
19.02/19.14	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
19.02/19.14	c propagating/symmetry/detectsubgroups = FALSE
19.02/19.14	c 
19.02/19.14	c # Type of symmetries that shall be computed?
19.02/19.14	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
19.02/19.14	c propagating/symmetry/symtype = 1
19.02/19.14	c 
19.02/19.14	c # Should components consisting of a single full reflection be handled?
19.02/19.14	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
19.02/19.14	c propagating/symmetry/usesimplesgncomp = FALSE
19.02/19.14	c 
19.02/19.14	c -----------------------------------------------------------------------------------------------
19.02/19.14	c start solving
19.02/19.14	c 
20.10/20.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
20.10/20.21	c  20.2s|     1 |     0 |   576 |     - |  1068M |   0 |9341 | 196k| 196k|   0 |  0 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
35.75/35.91	c  35.9s|     1 |     0 |  3233 |     - |  1095M |   0 |9341 | 196k| 196k|  10 |  1 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
53.81/54.02	c  54.0s|     1 |     0 |  3324 |     - |  1114M |   0 |9341 | 196k| 196k|  24 |  2 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
87.80/88.15	c  88.1s|     1 |     0 |  3353 |     - |  1136M |   0 |9341 | 196k| 196k|  31 |  3 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
107.74/108.13	c   108s|     1 |     0 |  3445 |     - |  1156M |   0 |9341 | 196k| 196k|  52 |  4 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
128.96/129.46	c   129s|     1 |     0 |  3714 |     - |  1185M |   0 |9341 | 196k| 196k|  67 |  5 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
141.02/141.57	c   142s|     1 |     0 |  3822 |     - |  1211M |   0 |9341 | 196k| 196k|  85 |  6 |  79 |   0 | 0.000000e+00 |      --      |    Inf | unknown
162.04/162.68	c   163s|     1 |     0 |  4028 |     - |  1234M |   0 |9341 | 196k| 196k|  98 |  7 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
170.91/171.59	c   172s|     1 |     0 |  4170 |     - |  1253M |   0 |9341 | 196k| 196k| 111 |  8 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
184.66/185.38	c   185s|     1 |     0 |  4888 |     - |  1273M |   0 |9341 | 196k| 196k| 130 |  9 |  84 |   0 | 0.000000e+00 |      --      |    Inf | unknown
191.63/192.32	c   192s|     1 |     0 |  7605 |     - |  1302M |   0 |9341 | 196k| 196k| 158 | 10 |  86 |   0 | 0.000000e+00 |      --      |    Inf | unknown
193.92/194.61	c   195s|     1 |     0 | 11213 |     - |  1321M |   0 |9341 | 196k| 196k| 201 | 11 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
197.42/198.14	c   198s|     1 |     0 | 15822 |     - |  1341M |   0 |9341 | 196k| 196k| 237 | 12 |  97 |   0 | 0.000000e+00 |      --      |    Inf | unknown
199.90/200.61	c   201s|     1 |     0 | 18777 |     - |  1362M |   0 |9341 | 196k| 196k| 270 | 13 | 105 |   0 | 0.000000e+00 |      --      |    Inf | unknown
268.65/269.61	c   270s|     1 |     2 | 31974 |     - |  1364M |   0 |9341 | 196k| 196k| 270 | 13 | 130 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1299.87/1304.39	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1299.87/1304.39	c  1304s|   100 |   101 |301404 |2854.8 |  1442M |  11 |9341 | 197k| 196k| 401 |  1 | 540 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1823.64/1830.14	c  1830s|   200 |   201 |611578 |2978.9 |  1678M |  12 |9341 | 197k| 196k|2580 |  1 |1184 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2475.98/2485.04	c  2485s|   300 |   301 |963216 |3158.7 |  1761M |  12 |9341 | 197k| 196k|5698 |  1 |2164 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3194.94/3206.69	c  3207s|   400 |   399 |  1440k|3562.6 |  1830M |  13 |9341 | 198k| 196k|  11k|  1 |3114 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3588.45/3601.34	c 
3588.45/3601.34	c SCIP Status        : solving was interrupted [time limit reached]
3588.45/3601.34	c Solving Time (sec) : 3601.33
3588.45/3601.34	c Solving Nodes      : 456
3588.45/3601.34	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3588.45/3601.34	c Dual Bound         : +0.00000000000000e+00
3588.45/3601.34	c Gap                : infinite
3588.45/3601.34	s UNKNOWN
3588.45/3601.34	c SCIP Status        : solving was interrupted [time limit reached]
3588.45/3601.34	c Total Time         :    3601.33
3588.45/3601.34	c   solving          :    3601.33
3588.45/3601.34	c   presolving       :      17.89 (included in solving)
3588.45/3601.34	c   reading          :       0.86 (included in solving)
3588.45/3601.34	c   copying          :       0.55 (2 #copies) (minimal 0.27, maximal 0.28, average 0.27)
3588.45/3601.34	c Original Problem   :
3588.45/3601.34	c   Problem name     : HOME/instance-4446105-1721329697.opb
3588.45/3601.34	c   Variables        : 9342 (9342 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.45/3601.34	c   Constraints      : 199352 initial, 199352 maximal
3588.45/3601.34	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.45/3601.34	c Presolved Problem  :
3588.45/3601.34	c   Problem name     : t_HOME/instance-4446105-1721329697.opb
3588.45/3601.34	c   Variables        : 9341 (9341 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.45/3601.34	c   Constraints      : 196526 initial, 198306 maximal
3588.45/3601.34	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.45/3601.34	c   Nonzeros         : 757777 constraint, 135600 clique table
3588.45/3601.34	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.45/3601.34	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   domcol           :       0.10       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   dualsparsify     :       1.31       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   gateextraction   :       0.21       0.00      2          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   milp             :       1.03       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   sparsify         :       0.21       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   trivial          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   dualfix          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   probing          :      12.86       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   symmetry         :       0.43       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   knapsack         :       0.06       0.00      6          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   setppc           :       0.08       0.00      6          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   linear           :       0.69       0.10      6          0          1          0          0          0         10          0          9          0
3588.45/3601.34	c   logicor          :       0.60       0.10      6          0          0          0          0          0       2816          0          0       4316
3588.45/3601.34	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   components       :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.45/3601.34	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.45/3601.34	c   benderslp        :          0          0          0          0        455          0          0          9          0          0          0          0          0          0          0
3588.45/3601.34	c   integral         :          0          0          0          0        455          0          0          9          0          0          0          0          0          0        910
3588.45/3601.34	c   knapsack         :      20454+     20467         13      29953          0          0          0          5        565         69         96        240         30          0          0
3588.45/3601.34	c   setppc           :      40318+     40356         13      29884          0          0          0          3      17282        263      48695          5          0          0          0
3588.45/3601.34	c   linear           :          2+         8         13      29514          0          0          0          3         26         12          0          0          0          0          0
3588.45/3601.34	c   logicor          :     135752+    137486         13      18499          0          0          0          0       3229        170        335          9          2          0          0
3588.45/3601.34	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.34	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.45/3601.34	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.34	c   integral         :      14.72       0.00       0.00       0.00      14.72       0.00       0.00       0.00       0.00       0.00
3588.45/3601.34	c   knapsack         :       2.49       0.00       0.18       2.30       0.00       0.00       0.00       0.01       0.00       0.00
3588.45/3601.34	c   setppc           :       3.42       0.00       0.03       3.37       0.00       0.00       0.00       0.00       0.01       0.01
3588.45/3601.34	c   linear           :       0.10       0.10       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.34	c   logicor          :       1.75       0.10       0.21       1.42       0.00       0.00       0.00       0.00       0.00       0.01
3588.45/3601.35	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.45/3601.35	c   dualfix          :          1          0          0          0
3588.45/3601.35	c   genvbounds       :          0          0          0          0
3588.45/3601.35	c   nlobbt           :          0          0          0          0
3588.45/3601.35	c   obbt             :          0          0          0          0
3588.45/3601.35	c   probing          :          0          0          0          0
3588.45/3601.35	c   pseudoobj        :          0          0          0          0
3588.45/3601.35	c   redcost          :          0          0          0          0
3588.45/3601.35	c   rootredcost      :          0          0          0          0
3588.45/3601.35	c   symmetry         :          0          0          0          0
3588.45/3601.35	c   vbounds          :      10981          0          0          0
3588.45/3601.35	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.45/3601.35	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   probing          :      12.86       0.00      12.86       0.00       0.00       0.00
3588.45/3601.35	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3588.45/3601.35	c   symmetry         :       0.44       0.00       0.43       0.00       0.00       0.00
3588.45/3601.35	c   vbounds          :       0.01       0.00       0.00       0.01       0.00       0.00
3588.45/3601.35	c Symmetry           :
3588.45/3601.35	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3588.45/3601.35	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.45/3601.35	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.45/3601.35	c   shadow tree time :       0.00 s
3588.45/3601.35	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.45/3601.35	c   propagation      :       0.02        503        503          -       3871       26.3         65       16.1          -          -          -
3588.45/3601.35	c   infeasible LP    :       0.11         48         48          -        422       29.3         11        7.3         48       75.8          0
3588.45/3601.35	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.45/3601.35	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.45/3601.35	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.45/3601.35	c   applied globally :       0.18          -          -          0       3409       19.4          -          -         48          -          -
3588.45/3601.35	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3588.45/3601.35	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.45/3601.35	c   cut pool         :       0.24          -        276         25          -          -       4669      70979          -          -          -          -          -    (maximal pool size:       3867)
3588.45/3601.35	c   aggregation      :       0.91       0.00         55         13          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.45/3601.35	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.45/3601.35	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.45/3601.35	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   clique           :       0.33       0.00         13         13          0          0        103       6342          0       1228       1228          0          0
3588.45/3601.35	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   gomory           :     181.99       0.00         52         10          0          0       3636      37897         18       3148       3148          0          0
3588.45/3601.35	c   > gomorymi       :          -          -          -          -          -          -          -       5926          9        114        114          0          -
3588.45/3601.35	c   > strongcg       :          -          -          -          -          -          -          -      31971          9       3034       3034          0          -
3588.45/3601.35	c   impliedbounds    :       0.12       0.00         55         13          0          0        203       1635          0       1398       1398          0          0
3588.45/3601.35	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   mcf              :       0.19       0.00          1          1          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   multilinear      :       0.00       0.00         22         13          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   rlt              :       0.00       0.00         46         10          0          0          0          0          0          0          0          0          0
3588.45/3601.35	c   zerohalf         :       2.17       0.00         55         13          0          0        880      25105        135       7893       7791        102          0
3588.45/3601.35	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.45/3601.35	c   hybrid           :       0.09       0.00        223         13      13699          0      57687        270          0       2283
3588.45/3601.35	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.45/3601.35	c   problem variables:       0.00          -          0          0
3588.45/3601.35	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.45/3601.35	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c   relpscost        :      14.72       0.00        455          0          0          0          0          0          0        910
3588.45/3601.35	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.45/3601.35	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.45/3601.35	c   LP solutions     :       0.00          -          -          0          0
3588.45/3601.35	c   relax solutions  :       0.00          -          -          0          0
3588.45/3601.35	c   pseudo solutions :       0.00          -          -          0          0
3588.45/3601.35	c   strong branching :       0.00          -          -          0          0
3588.45/3601.35	c   actconsdiving    :       0.00       0.00          0          0          0
3588.45/3601.35	c   adaptivediving   :      21.81       0.00         10          0          0
3588.45/3601.35	c   alns             :       0.63       0.00          1          0          0
3588.45/3601.35	c   bound            :       0.00       0.00          0          0          0
3588.45/3601.35	c   clique           :       0.35       0.00          1          0          0
3588.45/3601.35	c   coefdiving       :       0.00       0.00          0          0          0
3588.45/3601.35	c   completesol      :       0.00       0.00          0          0          0
3588.45/3601.35	c   conflictdiving   :     892.36       0.00         84          0          0
3588.45/3601.35	c   crossover        :       0.00       0.00          0          0          0
3588.45/3601.35	c   dins             :       0.00       0.00          0          0          0
3588.45/3601.35	c   distributiondivin:      64.10       0.00          4          0          0
3588.45/3601.35	c   dps              :       0.00       0.00          0          0          0
3588.45/3601.35	c   dualval          :       0.00       0.00          0          0          0
3588.45/3601.35	c   farkasdiving     :       0.00       0.00          0          0          0
3588.45/3601.35	c   feasjump         :       0.15       0.00          1          0          0
3588.45/3601.35	c   feaspump         :       1.28       0.00          1          0          0
3588.45/3601.35	c   fixandinfer      :       0.00       0.00          0          0          0
3588.45/3601.35	c   fracdiving       :      25.16       0.00          4          0          0
3588.45/3601.35	c   gins             :       0.00       0.00          0          0          0
3588.45/3601.35	c   guideddiving     :       0.00       0.00          0          0          0
3588.45/3601.35	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.45/3601.35	c   indicator        :       0.00       0.00          0          0          0
3588.45/3601.35	c   indicatordiving  :       0.00       0.00          0          0          0
3588.45/3601.35	c   indoneopt        :       0.00       0.00          0          0          0
3588.45/3601.35	c   indrounding      :       0.00       0.00          0          0          0
3588.45/3601.35	c   indtwoopt        :       0.00       0.00          0          0          0
3588.45/3601.35	c   intdiving        :       0.00       0.00          0          0          0
3588.45/3601.35	c   intshifting      :       0.00       0.00          0          0          0
3588.45/3601.35	c   linesearchdiving :     175.23       0.00         18          0          0
3588.45/3601.35	c   localbranching   :       0.00       0.00          0          0          0
3588.45/3601.35	c   locks            :       0.10       0.00          1          0          0
3588.45/3601.35	c   lpface           :       0.00       0.00          0          0          0
3588.45/3601.35	c   mpec             :       0.00       0.00          0          0          0
3588.45/3601.35	c   multistart       :       0.00       0.00          0          0          0
3588.45/3601.35	c   mutation         :       0.00       0.00          0          0          0
3588.45/3601.35	c   nlpdiving        :       0.00       0.00          0          0          0
3588.45/3601.35	c   objpscostdiving  :     679.58       0.00          1          0          0
3588.45/3601.35	c   octane           :       0.00       0.00          0          0          0
3588.45/3601.35	c   ofins            :       0.00       0.00          0          0          0
3588.45/3601.35	c   oneopt           :       0.00       0.00          0          0          0
3588.45/3601.35	c   padm             :       0.00       0.00          0          0          0
3588.45/3601.35	c   proximity        :       0.00       0.00          0          0          0
3588.45/3601.35	c   pscostdiving     :     208.17       0.00         11          0          0
3588.45/3601.35	c   randrounding     :       0.21       0.00         14          0          0
3588.45/3601.35	c   rens             :       0.78       0.00          1          0          0
3588.45/3601.35	c   reoptsols        :       0.00       0.00          0          0          0
3588.45/3601.35	c   repair           :       0.00       0.00          0          0          0
3588.45/3601.35	c   rins             :       0.00       0.00          0          0          0
3588.45/3601.35	c   rootsoldiving    :      19.19       0.00          2          0          0
3588.45/3601.35	c   rounding         :       2.31       0.00        305          0          0
3588.45/3601.35	c   scheduler        :       0.00       0.00          0          0          0
3588.45/3601.35	c   shiftandpropagate:       0.07       0.00          1          0          0
3588.45/3601.35	c   shifting         :      28.66       0.00        221          0          0
3588.45/3601.35	c   simplerounding   :       0.00       0.00          0          0          0
3588.45/3601.35	c   smallcard        :       0.00       0.00          0          0          0
3588.45/3601.35	c   subnlp           :       0.00       0.00          0          0          0
3588.45/3601.35	c   trivial          :       0.01       0.00          2          0          0
3588.45/3601.35	c   trivialnegation  :       0.00       0.00          0          0          0
3588.45/3601.35	c   trustregion      :       0.00       0.00          0          0          0
3588.45/3601.35	c   trysol           :       0.00       0.00          0          0          0
3588.45/3601.35	c   twoopt           :       0.00       0.00          0          0          0
3588.45/3601.35	c   undercover       :       0.00       0.00          0          0          0
3588.45/3601.35	c   vbounds          :       0.27       0.00          1          0          0
3588.45/3601.35	c   veclendiving     :      45.13       0.00          3          0          0
3588.45/3601.35	c   zeroobj          :       0.00       0.00          0          0          0
3588.45/3601.35	c   zirounding       :       2.90       0.00        454          0          0
3588.45/3601.35	c   other solutions  :          -          -          -          0          -
3588.45/3601.35	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	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
3588.45/3601.35	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.45/3601.35	c   primal LP        :       2.36        105          0       0.00       0.00       2.36        105
3588.45/3601.35	c   dual LP          :    1196.09        679    1211836    1784.74    1013.17       0.00          0
3588.45/3601.35	c   lex dual LP      :       0.00          0          0       0.00          -
3588.45/3601.35	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.45/3601.35	c   resolve instable :       0.00          0          0       0.00          -
3588.45/3601.35	c   diving/probing LP:    2116.44       1008     455783     452.17     215.35
3588.45/3601.35	c   strong branching :      10.29         19      12527     659.32    1217.54          -          -         21
3588.45/3601.35	c     (at root node) :          -         19      12527     659.32          -
3588.45/3601.35	c   conflict analysis:       0.00          0          0       0.00          -
3588.45/3601.35	c B&B Tree           :
3588.45/3601.35	c   number of runs   :          1
3588.45/3601.35	c   nodes            :        456 (455 internal, 1 leaves)
3588.45/3601.35	c   feasible leaves  :          0
3588.45/3601.35	c   infeas. leaves   :          1
3588.45/3601.35	c   objective leaves :          0
3588.45/3601.35	c   nodes (total)    :        456 (455 internal, 1 leaves)
3588.45/3601.35	c   nodes left       :        455
3588.45/3601.35	c   max depth        :         13
3588.45/3601.35	c   max depth (total):         13
3588.45/3601.35	c   backtracks       :        239 (52.4%)
3588.45/3601.35	c   early backtracks :          0 (0.0%)
3588.45/3601.35	c   nodes exc. ref.  :          0 (0.0%)
3588.45/3601.35	c   delayed cutoffs  :          0
3588.45/3601.35	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.45/3601.35	c   avg switch length:       4.95
3588.45/3601.35	c   switching time   :       3.68
3588.45/3601.35	c Root Node          :
3588.45/3601.35	c   First LP value   : +0.00000000000000e+00
3588.45/3601.35	c   First LP Iters   :        576 (4755.89 Iter/sec)
3588.45/3601.35	c   First LP Time    :       0.12
3588.45/3601.35	c   Final Dual Bound : +0.00000000000000e+00
3588.45/3601.35	c   Final Root Iters :      18777
3588.45/3601.35	c   Root LP Estimate : +1.55630211681678e-02
3588.45/3601.35	c Solution           :
3588.45/3601.35	c   Solutions found  :          0 (0 improvements)
3588.45/3601.35	c   Primal Bound     :          -
3588.45/3601.35	c   Dual Bound       : +0.00000000000000e+00
3588.45/3601.35	c   Gap              :   infinite
3588.45/3601.35	c Integrals          :      Total       Avg%
3588.45/3601.35	c   primal-dual      :  360133.27     100.00
3588.45/3601.35	c   primal-ref       :          -          - (not evaluated)
3588.45/3601.35	c   dual-ref         :          -          - (not evaluated)
3588.85/3601.76	c Time complete: 3588.92.

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: 64059 MiB (61747 MiB free)
  memory of node 1: 64510 MiB (60220 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=966786, runsolver pid=966780

[startup+0.1001 s]*
/proc/loadavg: 1.18 1.35 2.42 6/242 966798
/proc/meminfo: memFree=124851080/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=68624 memory=27960 CPUtime=0.1 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 4096 0 0 0 9 1 0 0 20 0 1 0 185128970 70270976 6990 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 17156 6990 3204 3540 0 5413 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68624 KiB
Current children cumulated memory: 27960 KiB

[startup+0.214258 s]*
/proc/loadavg: 1.18 1.35 2.42 6/242 966798
/proc/meminfo: memFree=124800160/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=78440 memory=37508 CPUtime=0.21 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 6529 0 0 0 19 2 0 0 20 0 1 0 185128970 80322560 9377 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 19610 9377 3204 3540 0 7867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78440 KiB
Current children cumulated memory: 37508 KiB

[startup+0.314584 s]*
/proc/loadavg: 1.18 1.35 2.42 6/242 966798
/proc/meminfo: memFree=124757436/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=88656 memory=47728 CPUtime=0.32 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 9080 0 0 0 29 3 0 0 20 0 1 0 185128970 90783744 11932 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 22164 11932 3204 3540 0 10421 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 88656 KiB
Current children cumulated memory: 47728 KiB

[startup+0.700379 s]
/proc/loadavg: 1.48 1.41 2.43 6/242 966798
/proc/meminfo: memFree=124651872/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=143660 memory=102280 CPUtime=0.69 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 22700 0 0 0 61 8 0 0 20 0 1 0 185128970 147107840 25570 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 35915 25570 3204 3540 0 24172 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 143660 KiB
Current children cumulated memory: 102280 KiB

[startup+1.50029 s]
/proc/loadavg: 1.48 1.41 2.43 6/242 966798
/proc/meminfo: memFree=124274296/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=348992 memory=304288 CPUtime=1.48 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 73544 0 0 0 130 18 0 0 20 0 1 0 185128970 357367808 76072 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 87248 76072 3555 3540 0 75505 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 348992 KiB
Current children cumulated memory: 304288 KiB

[startup+3.11293 s]
/proc/loadavg: 1.48 1.41 2.43 6/242 966800
/proc/meminfo: memFree=122812212/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=501140 memory=451568 CPUtime=3.09 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 118268 0 0 0 279 30 0 0 20 0 1 0 185128970 513167360 112892 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 125285 112892 3698 3540 0 113542 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 501140 KiB
Current children cumulated memory: 451568 KiB

[startup+6.30027 s]
/proc/loadavg: 1.69 1.46 2.44 6/242 966800
/proc/meminfo: memFree=122797528/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=501140 memory=452512 CPUtime=6.26 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 118527 0 0 0 595 31 0 0 20 0 1 0 185128970 513167360 113128 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 125285 113128 3746 3540 0 113542 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 501140 KiB
Current children cumulated memory: 452512 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 1.50 2.45 6/242 966801
/proc/meminfo: memFree=121220280/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=501140 memory=452776 CPUtime=12.63 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 118530 0 0 0 1231 32 0 0 20 0 1 0 185128970 513167360 113194 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 125285 113194 3746 3540 0 113542 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 501140 KiB
Current children cumulated memory: 452776 KiB

[startup+25.5003 s]
/proc/loadavg: 2.20 1.58 2.47 6/242 966803
/proc/meminfo: memFree=119860044/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1226564 memory=1110308 CPUtime=25.38 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 186138 0 0 0 2486 52 0 0 20 0 1 0 185128970 1256001536 277577 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 306641 277577 3938 3540 0 294898 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1226564 KiB
Current children cumulated memory: 1110308 KiB

[startup+51.1122 s]
/proc/loadavg: 2.96 1.83 2.52 6/242 966806
/proc/meminfo: memFree=119683844/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1283432 memory=1149596 CPUtime=50.92 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 189907 0 0 0 5037 55 0 0 20 0 1 0 185128970 1314234368 287399 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 320858 287399 3938 3540 0 309115 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1283432 KiB
Current children cumulated memory: 1149596 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.17 2.60 6/242 966816
/proc/meminfo: memFree=119643396/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1325656 memory=1158060 CPUtime=101.94 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 191314 0 0 0 10138 56 0 0 20 0 1 0 185128970 1357471744 289515 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 331414 289515 3938 3540 0 319671 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1325656 KiB
Current children cumulated memory: 1158060 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.53 2.70 6/244 966831
/proc/meminfo: memFree=119554172/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1396808 memory=1174180 CPUtime=161.74 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 194915 0 0 0 16117 57 0 0 20 0 1 0 185128970 1430331392 293545 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 349202 293545 3938 3540 0 337459 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1396808 KiB
Current children cumulated memory: 1174180 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.82 2.79 6/244 966841
/proc/meminfo: memFree=119374336/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1548196 memory=1202852 CPUtime=221.51 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 199607 0 0 0 22093 58 0 0 20 0 1 0 185128970 1585352704 300713 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 387049 300713 3938 3540 0 375306 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1548196 KiB
Current children cumulated memory: 1202852 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.05 2.88 6/244 966851
/proc/meminfo: memFree=119191904/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1727608 memory=1382532 CPUtime=281.31 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 258847 0 0 0 28062 69 0 0 20 0 1 0 185128970 1769070592 345633 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 431902 345633 3985 3540 0 420159 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1727608 KiB
Current children cumulated memory: 1382532 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.24 2.95 6/243 966863
/proc/meminfo: memFree=119182888/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1735100 memory=1388584 CPUtime=341.12 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 260025 0 0 0 34042 70 0 0 20 0 1 0 185128970 1776742400 347146 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 433775 347146 3985 3540 0 422032 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1735100 KiB
Current children cumulated memory: 1388584 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.40 3.03 6/243 966873
/proc/meminfo: memFree=118522336/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1735100 memory=1388616 CPUtime=400.92 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 260086 0 0 0 40021 71 0 0 20 0 1 0 185128970 1776742400 347154 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 433775 347154 3985 3540 0 422032 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 1735100 KiB
Current children cumulated memory: 1388616 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.55 3.11 6/241 966883
/proc/meminfo: memFree=118519596/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=1735100 memory=1388616 CPUtime=460.73 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 260152 0 0 0 46002 71 0 0 20 0 1 0 185128970 1776742400 347154 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 433775 347154 3985 3540 0 422032 0

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

/proc/loadavg: 4.13 4.31 4.24 6/244 968558
/proc/meminfo: memFree=117886604/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2029388 memory=1406096 CPUtime=3210.59 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 264838 0 0 0 320951 108 0 0 20 0 1 0 185128970 2078093312 351524 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 507347 351524 3985 3540 0 495604 0
Current children cumulated CPU time: 3210.59 s
Current children cumulated vsize: 2029388 KiB
Current children cumulated memory: 1406096 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.27 4.22 6/244 968569
/proc/meminfo: memFree=117885628/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2029388 memory=1406620 CPUtime=3270.4 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 265102 0 0 0 326932 108 0 0 20 0 1 0 185128970 2078093312 351655 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 507347 351655 3985 3540 0 495604 0
Current children cumulated CPU time: 3270.4 s
Current children cumulated vsize: 2029388 KiB
Current children cumulated memory: 1406620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.23 4.21 6/242 968580
/proc/meminfo: memFree=117876352/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2029388 memory=1415280 CPUtime=3330.21 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 265361 0 0 0 332913 108 0 0 20 0 1 0 185128970 2078093312 353820 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 507347 353820 3985 3540 0 495604 0
Current children cumulated CPU time: 3330.21 s
Current children cumulated vsize: 2029388 KiB
Current children cumulated memory: 1415280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.20 4.20 6/242 968590
/proc/meminfo: memFree=117862232/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2029388 memory=1428012 CPUtime=3390.03 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 265751 0 0 0 338894 109 0 0 20 0 1 0 185128970 2078093312 357003 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 507347 357003 4001 3540 0 495604 0
Current children cumulated CPU time: 3390.03 s
Current children cumulated vsize: 2029388 KiB
Current children cumulated memory: 1428012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.18 4.19 6/241 968601
/proc/meminfo: memFree=117847380/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2029388 memory=1443356 CPUtime=3449.86 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266172 0 0 0 344876 110 0 0 20 0 1 0 185128970 2078093312 360839 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 507347 360839 4001 3540 0 495604 0
Current children cumulated CPU time: 3449.86 s
Current children cumulated vsize: 2029388 KiB
Current children cumulated memory: 1443356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.18 6/241 968611
/proc/meminfo: memFree=117839684/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449512 CPUtime=3509.67 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266518 0 0 0 350857 110 0 0 20 0 1 0 185128970 2096975872 362378 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362378 4001 3540 0 500214 0
Current children cumulated CPU time: 3509.67 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449512 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.18 6/241 968621
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3569.5 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266788 0 0 0 356840 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3569.5 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

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

# cumulated CPU time of all completed processes:  user=3587.81 s, system=1.12067 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.18 6/241 968621
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3571.21 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266830 0 0 0 357011 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.18 6/241 968621
/proc/meminfo: memFree=117839020/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3577.58 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266937 0 0 0 357648 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3577.58 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.17 4.18 6/241 968623
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3583.96 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266959 0 0 0 358286 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

[startup+3600 s]*
/proc/loadavg: 4.16 4.16 4.18 6/241 968715
/proc/meminfo: memFree=121333756/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3587.16 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266959 0 0 0 358606 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

[startup+3600.8 s]
/proc/loadavg: 4.16 4.16 4.18 6/241 968715
/proc/meminfo: memFree=121333756/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3587.95 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266959 0 0 0 358685 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

[startup+3601.2 s]
/proc/loadavg: 4.16 4.16 4.18 6/241 968715
/proc/meminfo: memFree=121328336/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3588.35 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 266959 0 0 0 358725 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3588.35 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

[startup+3601.6 s]
/proc/loadavg: 4.16 4.16 4.18 6/241 968715
/proc/meminfo: memFree=121328336/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2047828 memory=1449796 CPUtime=3588.75 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 267079 0 0 0 358765 110 0 0 20 0 1 0 185128970 2096975872 362449 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 511957 362449 4001 3540 0 500214 0
Current children cumulated CPU time: 3588.75 s
Current children cumulated vsize: 2047828 KiB
Current children cumulated memory: 1449796 KiB

[startup+3601.7 s]
/proc/loadavg: 4.16 4.16 4.18 6/241 968715
/proc/meminfo: memFree=121328336/131655788 swapFree=131071996/131071996
[pid=966786] ppid=966780 vsize=2031744 memory=1433980 CPUtime=3588.85 cores=5,7
/proc/966786/stat : 966786 (pbscip) R 966780 966786 966724 0 -1 4194304 267081 0 0 0 358775 110 0 0 20 0 1 0 185128970 2080505856 358495 134679101440 4194304 18693293 140726629322944 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53243904 140726629331971 140726629332070 140726629332070 140726629339086 0
/proc/966786/statm: 507936 358495 4001 3540 0 496193 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 2031744 KiB
Current children cumulated memory: 1433980 KiB

Child status: 0

Real time (s): 3601.77
CPU time (s): 3588.93
CPU user time (s): 3587.81
CPU system time (s): 1.12067
CPU usage (%): 99.6435
Max. virtual memory (cumulated for all children) (KiB): 2047828
Max. memory (cumulated for all children) (KiB): 1449796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.81
system time used= 1.12068
maximum resident set size= 1449796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267116
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= 38
involuntary context switches= 1399


# summary of solver processes directly reported to runsolver:
#   pid: 966786
#   total CPU time (s): 3588.93
#   total CPU user time (s): 3587.81
#   total CPU system time (s): 1.12067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3751 second user time and 35.3116 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-18 21:08:29
IDJOB=4446105
IDBENCH=155450
IDSOLVER=3059
FILE ID=nodeC010/4446105-1721329697
RUNJOBID= nodeC010-1721329708-966737
SLURM_JOB_ID= 7542700
Free space on /tmp= 723724 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-20.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-4446105-1721329697/watcher-4446105-1721329697 -o /tmp/evaluation-result-4446105-1721329697/solver-4446105-1721329697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966737 --watchdog 3760  pbscip -f HOME/instance-4446105-1721329697.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= ce92e16bf0ab8af5c50df3c37225d359
RANDOM SEED=628793548

nodeC010.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	: 0xb00001f
cpu MHz		: 3066.645
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1197.184
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.173
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1197.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.185
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1197.175
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.51
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	: 0xb00001f
cpu MHz		: 1197.185
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124902732 kB
MemAvailable:   129845908 kB
Buffers:          504884 kB
Cached:          5218880 kB
SwapCached:            0 kB
Active:          1011484 kB
Inactive:        5065156 kB
Active(anon):       1348 kB
Inactive(anon):   389264 kB
Active(file):    1010136 kB
Inactive(file):  4675892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114224 kB
Writeback:            72 kB
AnonPages:        352348 kB
Mapped:           115200 kB
Shmem:             37704 kB
KReclaimable:     194360 kB
Slab:             308928 kB
SReclaimable:     194360 kB
SUnreclaim:       114568 kB
KernelStack:        3632 kB
PageTables:        10308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     766272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58560 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC010 at 2024-07-18 22:08:31