Trace number 4446135

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? 3585.22 3597.65

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-96.opb
MD5SUM41cda2cdd43cae95a9671374dc621893
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 benchmark97.8949
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 271
Number of bits of the biggest sum of numbers9
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-4446135-1721329697.opb>
0.99/1.05	c original problem has 12587 variables (12587 bin, 0 int, 0 impl, 0 cont) and 283937 constraints
0.99/1.05	c problem read in 1.04
0.99/1.05	c No objective function, only one solution is needed.
1.48/1.55	c presolving:
2.27/2.31	c    (2.3s) running MILP presolver
3.08/3.20	c    (3.2s) MILP presolver found nothing
3.77/3.88	c (round 1, exhaustive) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 283924 upgd conss, 0 impls, 60278 clqs
4.56/4.62	c (round 2, exhaustive) 1 del vars, 3550 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 5318 chg coeffs, 283924 upgd conss, 0 impls, 60278 clqs
6.86/6.92	c    (6.9s) probing: 51/12586 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.86/6.92	c    (6.9s) probing aborted: 50/50 successive totally useless probings
8.55/8.68	c    (8.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
9.15/9.29	c    (9.3s) no symmetry present (symcode time: 0.08)
9.45/9.55	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
9.45/9.55	c  1 deleted vars, 3550 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 5453 changed coefficients
9.45/9.55	c  0 implications, 60278 cliques
9.45/9.55	c presolved problem has 12586 variables (12586 bin, 0 int, 0 impl, 0 cont) and 280387 constraints
9.45/9.55	c   28351 constraints of type <knapsack>
9.45/9.55	c   60278 constraints of type <setppc>
9.45/9.55	c       3 constraints of type <linear>
9.45/9.55	c  191755 constraints of type <logicor>
9.45/9.55	c transformed objective value is always integral (scale: 1)
9.45/9.55	c Presolving Time: 8.00
9.45/9.55	c - non default parameters ----------------------------------------------------------------------
9.45/9.55	c # SCIP version 10.0.0
9.45/9.55	c 
9.45/9.55	c # maximal time in seconds to run
9.45/9.55	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
9.45/9.55	c limits/time = 3596.993045
9.45/9.55	c 
9.45/9.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.45/9.55	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
9.45/9.55	c limits/memory = 27900
9.45/9.55	c 
9.45/9.55	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
9.45/9.55	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
9.45/9.55	c limits/solutions = 1
9.45/9.55	c 
9.45/9.55	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.
9.45/9.55	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
9.45/9.55	c misc/usesymmetry = 3
9.45/9.55	c 
9.45/9.55	c # belongs reading time to solving time?
9.45/9.55	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
9.45/9.55	c timing/reading = TRUE
9.45/9.55	c 
9.45/9.55	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
9.45/9.55	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.45/9.55	c propagating/symmetry/detectdoublelex = FALSE
9.45/9.55	c 
9.45/9.55	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
9.45/9.55	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.45/9.55	c propagating/symmetry/detectsubgroups = FALSE
9.45/9.55	c 
9.45/9.55	c # Type of symmetries that shall be computed?
9.45/9.55	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
9.45/9.55	c propagating/symmetry/symtype = 1
9.45/9.55	c 
9.45/9.55	c # Should components consisting of a single full reflection be handled?
9.45/9.55	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.45/9.55	c propagating/symmetry/usesimplesgncomp = FALSE
9.45/9.55	c 
9.45/9.55	c -----------------------------------------------------------------------------------------------
9.45/9.55	c start solving
9.45/9.56	c 
11.24/11.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
11.24/11.31	c  11.3s|     1 |     0 |  1163 |     - |  1363M |   0 |  12k| 280k| 280k|   0 |  0 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
39.96/40.13	c  40.1s|     1 |     0 |  3256 |     - |  1403M |   0 |  12k| 280k| 280k|   8 |  1 |  84 |   0 | 0.000000e+00 |      --      |    Inf | unknown
65.07/65.39	c  65.4s|     1 |     0 |  3643 |     - |  1429M |   0 |  12k| 280k| 280k|  16 |  2 |  86 |   0 | 0.000000e+00 |      --      |    Inf | unknown
140.29/140.82	c   141s|     1 |     0 |  3865 |     - |  1461M |   0 |  12k| 280k| 280k|  25 |  3 |  88 |   0 | 0.000000e+00 |      --      |    Inf | unknown
221.79/222.68	c   223s|     1 |     0 |  4024 |     - |  1492M |   0 |  12k| 280k| 280k|  33 |  4 |  91 |   0 | 0.000000e+00 |      --      |    Inf | unknown
240.32/241.28	c   241s|     1 |     0 |  4309 |     - |  1523M |   0 |  12k| 280k| 280k|  47 |  5 |  92 |   0 | 0.000000e+00 |      --      |    Inf | unknown
262.05/263.04	c   263s|     1 |     0 |  4371 |     - |  1549M |   0 |  12k| 280k| 280k|  59 |  6 |  93 |   0 | 0.000000e+00 |      --      |    Inf | unknown
303.98/305.12	c   305s|     1 |     0 |  4456 |     - |  1579M |   0 |  12k| 280k| 280k|  69 |  7 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
332.04/333.39	c   333s|     1 |     0 |  4642 |     - |  1612M |   0 |  12k| 280k| 280k|  88 |  8 |  97 |   0 | 0.000000e+00 |      --      |    Inf | unknown
359.25/360.63	c   361s|     1 |     0 |  4748 |     - |  1640M |   0 |  12k| 280k| 280k| 103 |  9 |  99 |   0 | 0.000000e+00 |      --      |    Inf | unknown
372.62/374.04	c   374s|     1 |     0 |  4873 |     - |  1667M |   0 |  12k| 280k| 280k| 122 | 10 |  99 |   0 | 0.000000e+00 |      --      |    Inf | unknown
372.82/374.28	c   374s|     1 |     0 |  4967 |     - |  1694M |   0 |  12k| 280k| 280k| 129 | 11 | 100 |   0 | 0.000000e+00 |      --      |    Inf | unknown
387.86/389.36	c   389s|     1 |     2 | 10479 |     - |  1699M |   0 |  12k| 280k| 280k| 129 | 11 | 103 |  19 | 0.000000e+00 |      --      |    Inf | unknown
738.55/741.20	c   741s|   100 |   101 |175004 |1717.5 |  2120M |  11 |  12k| 281k| 280k|1489 |  1 | 865 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1092.42/1096.25	c  1096s|   200 |   201 |361197 |1790.1 |  2536M |  14 |  12k| 281k| 280k|3682 |  1 |1491 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1244.41/1248.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1244.41/1248.73	c  1249s|   300 |   301 |481750 |1594.6 |  2625M |  14 |  12k| 281k| 280k|6043 |  1 |2334 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1486.93/1492.03	c  1492s|   400 |   401 |651256 |1619.8 |  2777M |  14 |  12k| 281k| 280k|9655 |  1 |2923 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1687.15/1692.90	c  1693s|   500 |   501 |822520 |1638.4 |  2813M |  16 |  12k| 281k| 280k|  12k|  1 |3201 |  19 | 0.000000e+00 |      --      |    Inf | unknown
1978.14/1984.89	c  1985s|   600 |   601 |  1021k|1697.1 |  2914M |  16 |  12k| 281k| 280k|  16k|  1 |3536 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2300.26/2307.98	c  2308s|   700 |   701 |  1222k|1742.2 |  2921M |  16 |  12k| 281k| 280k|  20k|  2 |4002 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2526.32/2534.76	c  2535s|   800 |   801 |  1400k|1746.0 |  2958M |  18 |  12k| 281k| 280k|  22k|  1 |4771 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2818.69/2828.11	c  2828s|   900 |   901 |  1602k|1776.6 |  2995M |  18 |  12k| 282k| 280k|  25k|  1 |5706 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3029.84/3040.03	c  3040s|  1000 |  1001 |  1765k|1762.0 |  3006M |  18 |  12k| 282k| 280k|  28k|  1 |6425 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3090.71/3101.13	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
3090.71/3101.14	c (run 1, node 1049) performing user restart
3090.71/3101.14	c 
3090.71/3101.14	c (restart) converted 34 cuts from the global cut pool into linear constraints
3090.71/3101.14	c 
3090.99/3101.42	c presolving:
3092.19/3102.66	c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
3092.19/3102.66	c  0 deleted vars, 169 deleted constraints, 5 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 172 changed coefficients
3092.19/3102.66	c  0 implications, 60330 cliques
3092.19/3102.66	c presolved problem has 12586 variables (12586 bin, 0 int, 0 impl, 0 cont) and 282050 constraints
3092.19/3102.66	c   28370 constraints of type <knapsack>
3092.19/3102.66	c   60318 constraints of type <setppc>
3092.19/3102.66	c       5 constraints of type <and>
3092.19/3102.66	c       9 constraints of type <linear>
3092.19/3102.66	c  193348 constraints of type <logicor>
3092.19/3102.66	c transformed objective value is always integral (scale: 1)
3092.19/3102.66	c Presolving Time: 9.32
3092.19/3102.67	c 
3092.98/3103.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3092.98/3103.42	c  3103s|     1 |     0 |  1814k|     - |  2992M |   0 |  12k| 282k| 280k|   0 |  0 |6580 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3120.37/3130.92	c  3131s|     1 |     0 |  1814k|     - |  2997M |   0 |  12k| 282k| 280k|  16 |  1 |6582 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3194.97/3205.86	c  3206s|     1 |     0 |  1814k|     - |  3036M |   0 |  12k| 282k| 280k|  29 |  2 |6584 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3322.54/3333.98	c  3334s|     1 |     0 |  1815k|     - |  3066M |   0 |  12k| 282k| 280k|  43 |  3 |6585 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3484.06/3496.14	c  3496s|     1 |     0 |  1815k|     - |  3098M |   0 |  12k| 282k| 280k|  53 |  4 |6586 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3491.72/3503.82	c  3504s|     1 |     0 |  1816k|     - |  3126M |   0 |  12k| 282k| 280k|  75 |  5 |6588 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3512.85/3525.08	c  3525s|     1 |     0 |  1816k|     - |  3155M |   0 |  12k| 282k| 280k|  99 |  6 |6591 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3527.68/3539.95	c  3540s|     1 |     0 |  1817k|     - |  3183M |   0 |  12k| 282k| 280k| 119 |  7 |6593 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3544.41/3556.77	c  3557s|     1 |     0 |  1817k|     - |  3211M |   0 |  12k| 282k| 280k| 142 |  8 |6595 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3565.74/3578.11	c  3578s|     1 |     0 |  1817k|     - |  3244M |   0 |  12k| 282k| 280k| 159 |  9 |6596 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3584.56/3597.01	c  3597s|     1 |     0 |  1817k|     - |  3250M |   0 |  12k| 282k| 280k| 174 | 10 |6598 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3584.56/3597.01	c (node 1) LP solver hit time limit in LP 2341 -- using pseudo solution instead
3584.56/3597.01	c 
3584.56/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3584.56/3597.01	c Solving Time (sec) : 3597.00
3584.56/3597.01	c Solving Nodes      : 1 (total of 1050 nodes in 2 runs)
3584.56/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3584.56/3597.01	c Dual Bound         : +0.00000000000000e+00
3584.56/3597.01	c Gap                : infinite
3584.56/3597.01	s UNKNOWN
3584.56/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3584.56/3597.01	c Total Time         :    3597.00
3584.56/3597.01	c   solving          :    3597.00
3584.56/3597.01	c   presolving       :       9.32 (included in solving)
3584.56/3597.01	c   reading          :       1.04 (included in solving)
3584.56/3597.01	c   copying          :       0.81 (2 #copies) (minimal 0.40, maximal 0.41, average 0.41)
3584.56/3597.01	c Original Problem   :
3584.56/3597.01	c   Problem name     : HOME/instance-4446135-1721329697.opb
3584.56/3597.01	c   Variables        : 12587 (12587 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.56/3597.01	c   Constraints      : 283937 initial, 283937 maximal
3584.56/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.56/3597.01	c Presolved Problem  :
3584.56/3597.01	c   Problem name     : t_HOME/instance-4446135-1721329697.opb
3584.56/3597.01	c   Variables        : 12586 (12586 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.56/3597.01	c   Constraints      : 282050 initial, 282086 maximal
3584.56/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.56/3597.01	c   Nonzeros         : 1091412 constraint, 125255 clique table
3584.56/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.56/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   domcol           :       0.14       0.00      2          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   dualsparsify     :       1.76       0.00      1          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   gateextraction   :       0.50       0.00      3          0          0          0          0          0         15          5          0          0
3584.56/3597.01	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   milp             :       1.32       0.00      1          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   sparsify         :       0.29       0.00      1          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   trivial          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   dualfix          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   probing          :       1.13       0.00      1          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   symmetry         :       0.61       0.00      1          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   vbounds          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   knapsack         :       0.13       0.01      9          0          0          0          0          0          0          0          0         30
3584.56/3597.01	c   setppc           :       0.17       0.01      9          0          0          0          0          0          3          0          0          0
3584.56/3597.01	c   and              :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   linear           :       0.88       0.12      8          0          1          0          0          0         10          0         14          6
3584.56/3597.01	c   logicor          :       1.55       0.48      9          0          0          0          0          0       3691          0          0       5589
3584.56/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   components       :       0.17       0.00      2          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3584.56/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.56/3597.01	c   benderslp        :          0          0          0          0       1049          0          0         16          0          0          0          0          0          0          0
3584.56/3597.01	c   integral         :          0          0          0          0       1049          0          0         16          0          0          0          0          0          0       2098
3584.56/3597.01	c   knapsack         :      28370      28370         21      95733          0          0          0         11       1513         86          4        147         20          0          0
3584.56/3597.01	c   setppc           :      60318+     60322         21      95647          0          0          0          6      28860        733     178016          7          0          0          0
3584.56/3597.01	c   and              :          5          5         10       1651          0          0          0          0          3          0          0          2          0          0          0
3584.56/3597.01	c   linear           :          9          9         21      94830          0          0          0          3          3         10          0          0          0          0          0
3584.56/3597.01	c   logicor          :     193348+    193380         21      59912          0          0          0          0       6903        392        158         69         40          0          0
3584.56/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.56/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   integral         :      11.97       0.00       0.00       0.00      11.97       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   knapsack         :       1.41       0.01       0.43       0.94       0.00       0.00       0.00       0.03       0.00       0.00
3584.56/3597.01	c   setppc           :       2.52       0.01       0.08       2.41       0.00       0.00       0.00       0.00       0.01       0.01
3584.56/3597.01	c   and              :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   linear           :       0.13       0.12       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   logicor          :       4.26       0.48       0.52       3.25       0.00       0.00       0.00       0.00       0.01       0.01
3584.56/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.56/3597.01	c   dualfix          :          2          0          0          0
3584.56/3597.01	c   genvbounds       :          0          0          0          0
3584.56/3597.01	c   nlobbt           :          0          0          0          0
3584.56/3597.01	c   obbt             :          0          0          0          0
3584.56/3597.01	c   probing          :          0          0          0          0
3584.56/3597.01	c   pseudoobj        :          0          0          0          0
3584.56/3597.01	c   redcost          :          0          0          0          0
3584.56/3597.01	c   rootredcost      :          0          0          0          0
3584.56/3597.01	c   symmetry         :          0          0          0          0
3584.56/3597.01	c   vbounds          :      33111          0          0          0
3584.56/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.56/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3584.56/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   probing          :       1.13       0.00       1.13       0.00       0.00       0.00
3584.56/3597.01	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3584.56/3597.01	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3584.56/3597.01	c   symmetry         :       0.62       0.00       0.61       0.01       0.00       0.00
3584.56/3597.01	c   vbounds          :       0.06       0.00       0.01       0.05       0.00       0.00
3584.56/3597.01	c Symmetry           :
3584.56/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.56/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.56/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3584.56/3597.01	c   shadow tree time :       0.00 s
3584.56/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.56/3597.01	c   propagation      :       0.04       1211       1209          -       7321       21.3        234        9.6          -          -          -
3584.56/3597.01	c   infeasible LP    :       0.06         24         24          -        180       35.6          4        6.0         24       40.2          0
3584.56/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.56/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.56/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.56/3597.01	c   applied globally :       0.10          -          -          0       6574       18.2          -          -         24          -          -
3584.56/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3584.56/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.56/3597.01	c   cut pool         :       0.49          -        611         40          -          -       8765     162018          -          -          -          -          -    (maximal pool size:       4406)
3584.56/3597.01	c   aggregation      :       1.93       0.00        113         20          0          0          4         25          0          2          2          0          0
3584.56/3597.01	c   > cmir           :          -          -          -          -          -          -          -          6          0          2          2          0          -
3584.56/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.56/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -         19          0          0          0          0          -
3584.56/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   clique           :       0.47       0.00         20         20          0          0         86       3062          0        893        893          0          0
3584.56/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   gomory           :    1129.32       0.00        113         20          0          0       7762      90272        154       7246       7241          5          0
3584.56/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -      13180         77        170        167          3          -
3584.56/3597.01	c   > strongcg       :          -          -          -          -          -          -          -      77092         77       7076       7074          2          -
3584.56/3597.01	c   impliedbounds    :       0.19       0.00        114         21          0          0         22        632          0        533        533          0          0
3584.56/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   mcf              :       0.28       0.00          2          2          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   multilinear      :       0.00       0.00         57         21          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.56/3597.01	c   rlt              :      81.12       0.00         92         20          0          0          1          1          0          1          1          0          0
3584.56/3597.01	c   zerohalf         :       2.89       0.00        113         20          0          0       1160      68026        116      20066      19981         85          0
3584.56/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.56/3597.01	c   hybrid           :       0.24       0.00        500         21      28801          0     133712        303          0       4210
3584.56/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.56/3597.01	c   problem variables:       0.00          -          0          0
3584.56/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3584.56/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c   relpscost        :      11.97       0.00       1049          0          0          0          0          0          0       2098
3584.56/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3584.56/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3584.56/3597.01	c   LP solutions     :       0.00          -          -          0          0
3584.56/3597.01	c   relax solutions  :       0.00          -          -          0          0
3584.56/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3584.56/3597.01	c   strong branching :       0.00          -          -          0          0
3584.56/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3584.56/3597.01	c   adaptivediving   :      13.61       0.00         11          0          0
3584.56/3597.01	c   alns             :       1.07       0.00          1          0          0
3584.56/3597.01	c   bound            :       0.00       0.00          0          0          0
3584.56/3597.01	c   clique           :       0.49       0.00          1          0          0
3584.56/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3584.56/3597.01	c   completesol      :       0.00       0.00          0          0          0
3584.56/3597.01	c   conflictdiving   :     360.67       0.00         89          0          0
3584.56/3597.01	c   crossover        :       0.00       0.00          0          0          0
3584.56/3597.01	c   dins             :       0.00       0.00          0          0          0
3584.56/3597.01	c   distributiondivin:     211.38       0.00         17          0          0
3584.56/3597.01	c   dps              :       0.00       0.00          0          0          0
3584.56/3597.01	c   dualval          :       0.00       0.00          0          0          0
3584.56/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3584.56/3597.01	c   feasjump         :       0.41       0.00          2          0          0
3584.56/3597.01	c   feaspump         :       1.44       0.00          1          0          0
3584.56/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3584.56/3597.01	c   fracdiving       :     270.43       0.00         61          0          0
3584.56/3597.01	c   gins             :       0.00       0.00          0          0          0
3584.56/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3584.56/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3584.56/3597.01	c   indicator        :       0.00       0.00          0          0          0
3584.56/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3584.56/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3584.56/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3584.56/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3584.56/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3584.56/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3584.56/3597.01	c   linesearchdiving :     160.05       0.00         26          0          0
3584.56/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3584.56/3597.01	c   locks            :       0.17       0.00          1          0          0
3584.56/3597.01	c   lpface           :       0.02       0.00          0          0          0
3584.56/3597.01	c   mpec             :       0.00       0.00          0          0          0
3584.56/3597.01	c   multistart       :       0.00       0.00          0          0          0
3584.56/3597.01	c   mutation         :       0.00       0.00          0          0          0
3584.56/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3584.56/3597.01	c   objpscostdiving  :      91.45       0.00          2          0          0
3584.56/3597.01	c   octane           :       0.00       0.00          0          0          0
3584.56/3597.01	c   ofins            :       0.00       0.00          0          0          0
3584.56/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3584.56/3597.01	c   padm             :       0.00       0.00          0          0          0
3584.56/3597.01	c   proximity        :       0.00       0.00          0          0          0
3584.56/3597.01	c   pscostdiving     :     277.05       0.00         27          0          0
3584.56/3597.01	c   randrounding     :       0.55       0.00         22          0          0
3584.56/3597.01	c   rens             :       1.10       0.00          1          0          0
3584.56/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3584.56/3597.01	c   repair           :       0.00       0.00          0          0          0
3584.56/3597.01	c   rins             :       0.00       0.00          0          0          0
3584.56/3597.01	c   rootsoldiving    :      17.69       0.00          1          0          0
3584.56/3597.01	c   rounding         :       4.17       0.00        504          0          0
3584.56/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3584.56/3597.01	c   shiftandpropagate:       0.57       0.00          2          0          0
3584.56/3597.01	c   shifting         :      17.78       0.00        342          0          0
3584.56/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3584.56/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3584.56/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3584.56/3597.01	c   trivial          :       0.03       0.00          4          0          0
3584.56/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3584.56/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3584.56/3597.01	c   trysol           :       0.00       0.00          0          0          0
3584.56/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3584.56/3597.01	c   undercover       :       0.00       0.00          1          0          0
3584.56/3597.01	c   vbounds          :       0.48       0.00          2          0          0
3584.56/3597.01	c   veclendiving     :     145.07       0.00         31          0          0
3584.56/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3584.56/3597.01	c   zirounding       :       5.20       0.00       1000          0          0
3584.56/3597.01	c   other solutions  :          -          -          -          0          -
3584.56/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	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
3584.56/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3584.56/3597.01	c   primal LP        :       6.45        237          0       0.00       0.00       6.45        237
3584.56/3597.01	c   dual LP          :     724.54       1549    1115381     721.00    1539.43       0.06          2
3584.56/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3584.56/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3584.56/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3584.56/3597.01	c   diving/probing LP:    1516.40        794     702517     884.78     463.28
3584.56/3597.01	c   strong branching :       4.51         19       8184     430.74    1814.44          -          -         10
3584.56/3597.01	c     (at root node) :          -         19       8184     430.74          -
3584.56/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3584.56/3597.01	c B&B Tree           :
3584.56/3597.01	c   number of runs   :          2
3584.56/3597.01	c   nodes            :          1 (0 internal, 1 leaves)
3584.56/3597.01	c   feasible leaves  :          0
3584.56/3597.01	c   infeas. leaves   :          0
3584.56/3597.01	c   objective leaves :          0
3584.56/3597.01	c   nodes (total)    :       1050 (1049 internal, 1 leaves)
3584.56/3597.01	c   nodes left       :          1
3584.56/3597.01	c   max depth        :          0
3584.56/3597.01	c   max depth (total):         18
3584.56/3597.01	c   backtracks       :          0 (0.0%)
3584.56/3597.01	c   early backtracks :          0 (0.0%)
3584.56/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3584.56/3597.01	c   delayed cutoffs  :          0
3584.56/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3584.56/3597.01	c   avg switch length:       1.00
3584.56/3597.01	c   switching time   :      10.86
3584.56/3597.01	c Root Node          :
3584.56/3597.01	c   First LP value   : +0.00000000000000e+00
3584.56/3597.01	c   First LP Iters   :       1163 (5013.86 Iter/sec)
3584.56/3597.01	c   First LP Time    :       0.23
3584.56/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3584.56/3597.01	c   Final Root Iters :       9372
3584.56/3597.01	c   Root LP Estimate :                     -
3584.56/3597.01	c Solution           :
3584.56/3597.01	c   Solutions found  :          0 (0 improvements)
3584.56/3597.01	c   Primal Bound     :          -
3584.56/3597.01	c   Dual Bound       : +0.00000000000000e+00
3584.56/3597.01	c   Gap              :   infinite
3584.56/3597.01	c Integrals          :      Total       Avg%
3584.56/3597.01	c   primal-dual      :  359699.98     100.00
3584.56/3597.01	c   primal-ref       :          -          - (not evaluated)
3584.56/3597.01	c   dual-ref         :          -          - (not evaluated)
3585.15/3597.65	c Time complete: 3585.21.

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=966766, runsolver pid=966763

[startup+0.100624 s]*
/proc/loadavg: 1.18 1.35 2.42 5/226 966770
/proc/meminfo: memFree=124902732/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=67636 memory=27492 CPUtime=0.1 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 3870 0 0 0 9 1 0 0 20 0 1 0 185128955 69259264 6873 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 16909 6873 3280 3540 0 5166 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67636 KiB
Current children cumulated memory: 27492 KiB

[startup+0.213301 s]*
/proc/loadavg: 1.18 1.35 2.42 5/242 966798
/proc/meminfo: memFree=124867572/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=83760 memory=43320 CPUtime=0.21 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 7843 0 0 0 19 2 0 0 20 0 1 0 185128955 85770240 10830 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 20940 10830 3280 3540 0 9197 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 83760 KiB
Current children cumulated memory: 43320 KiB

[startup+0.313419 s]*
/proc/loadavg: 1.18 1.35 2.42 6/242 966798
/proc/meminfo: memFree=124821872/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=96420 memory=55224 CPUtime=0.31 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 10862 0 0 0 28 3 0 0 20 0 1 0 185128955 98734080 13806 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 24105 13806 3280 3540 0 12362 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96420 KiB
Current children cumulated memory: 55224 KiB

[startup+0.700356 s]
/proc/loadavg: 1.18 1.35 2.42 5/242 966798
/proc/meminfo: memFree=124735864/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=152368 memory=111184 CPUtime=0.68 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 24815 0 0 0 62 6 0 0 20 0 1 0 185128955 156024832 27796 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 38092 27796 3280 3540 0 26349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 152368 KiB
Current children cumulated memory: 111184 KiB

[startup+1.50034 s]
/proc/loadavg: 1.48 1.41 2.43 5/242 966798
/proc/meminfo: memFree=124457436/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=434216 memory=389708 CPUtime=1.48 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 94076 0 0 0 128 20 0 0 20 0 1 0 185128955 444637184 97427 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 108554 97427 3567 3540 0 96811 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 434216 KiB
Current children cumulated memory: 389708 KiB

[startup+3.11258 s]
/proc/loadavg: 1.48 1.41 2.43 5/242 966800
/proc/meminfo: memFree=122905980/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=687976 memory=636964 CPUtime=3.08 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 124569 0 0 0 277 31 0 0 20 0 1 0 185128955 704487424 159241 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 171994 159241 3694 3540 0 160251 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 687976 KiB
Current children cumulated memory: 636964 KiB

[startup+6.30032 s]
/proc/loadavg: 1.69 1.46 2.44 5/242 966800
/proc/meminfo: memFree=122797528/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=682264 memory=632908 CPUtime=6.27 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 162795 0 0 0 589 38 0 0 20 0 1 0 185128955 698638336 158227 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 170566 158227 3806 3540 0 158823 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 682264 KiB
Current children cumulated memory: 632908 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 1.50 2.45 5/242 966801
/proc/meminfo: memFree=121223964/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1559236 memory=1439528 CPUtime=12.64 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 241033 0 0 0 1202 62 0 0 20 0 1 0 185128955 1596657664 359882 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 389809 359882 3902 3540 0 378066 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1559236 KiB
Current children cumulated memory: 1439528 KiB

[startup+25.5003 s]
/proc/loadavg: 2.20 1.58 2.47 5/242 966803
/proc/meminfo: memFree=119860044/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1559236 memory=1441380 CPUtime=25.39 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 241324 0 0 0 2477 62 0 0 20 0 1 0 185128955 1596657664 360345 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 389809 360345 3998 3540 0 378066 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1559236 KiB
Current children cumulated memory: 1441380 KiB

[startup+51.1124 s]
/proc/loadavg: 2.96 1.83 2.52 5/242 966806
/proc/meminfo: memFree=119683844/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1646028 memory=1490744 CPUtime=50.92 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 246604 0 0 0 5029 63 0 0 20 0 1 0 185128955 1685532672 372686 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 411507 372686 3998 3540 0 399764 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1646028 KiB
Current children cumulated memory: 1490744 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.17 2.60 5/242 966816
/proc/meminfo: memFree=119643396/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1676696 memory=1495160 CPUtime=101.94 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 247334 0 0 0 10130 64 0 0 20 0 1 0 185128955 1716936704 373790 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 419174 373790 3998 3540 0 407431 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1676696 KiB
Current children cumulated memory: 1495160 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.53 2.70 5/244 966831
/proc/meminfo: memFree=119554172/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1732568 memory=1529740 CPUtime=161.71 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 248844 0 0 0 16106 65 0 0 20 0 1 0 185128955 1774149632 382435 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 433142 382435 3998 3540 0 421399 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1732568 KiB
Current children cumulated memory: 1529740 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.82 2.79 5/244 966841
/proc/meminfo: memFree=119374336/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1732568 memory=1532280 CPUtime=221.49 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 249053 0 0 0 22083 66 0 0 20 0 1 0 185128955 1774149632 383070 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 433142 383070 3998 3540 0 421399 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1732568 KiB
Current children cumulated memory: 1532280 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.05 2.88 5/244 966851
/proc/meminfo: memFree=119191904/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1811444 memory=1534316 CPUtime=281.26 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 249398 0 0 0 28060 66 0 0 20 0 1 0 185128955 1854918656 383579 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 452861 383579 3998 3540 0 441118 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 1811444 KiB
Current children cumulated memory: 1534316 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.24 2.95 5/243 966863
/proc/meminfo: memFree=119182916/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=1864032 memory=1536896 CPUtime=341.01 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 249806 0 0 0 34035 66 0 0 20 0 1 0 185128955 1908768768 384224 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 466008 384224 3998 3540 0 454265 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 1864032 KiB
Current children cumulated memory: 1536896 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.40 3.03 5/243 966873
/proc/meminfo: memFree=118522336/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=2263732 memory=1856236 CPUtime=400.81 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 353960 0 0 0 39998 83 0 0 20 0 1 0 185128955 2318061568 464059 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 565933 464059 4030 3540 0 554190 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 2263732 KiB
Current children cumulated memory: 1856236 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.55 3.11 5/241 966883
/proc/meminfo: memFree=118519596/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=2263732 memory=1856372 CPUtime=460.6 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 354284 0 0 0 45976 84 0 0 20 0 1 0 185128955 2318061568 464093 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 565933 464093 4030 3540 0 554190 0

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

/proc/loadavg: 4.20 4.36 4.25 5/244 968548
/proc/meminfo: memFree=117887424/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3342644 memory=1937812 CPUtime=3151.65 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 382929 0 0 0 315075 90 0 0 20 0 1 0 185128955 3422867456 484453 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 835661 484453 4046 3540 0 823918 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 3342644 KiB
Current children cumulated memory: 1937812 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.31 4.24 5/244 968558
/proc/meminfo: memFree=117886604/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3368936 memory=1937816 CPUtime=3211.41 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 383503 0 0 0 321051 90 0 0 20 0 1 0 185128955 3449790464 484454 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 842234 484454 4046 3540 0 830491 0
Current children cumulated CPU time: 3211.41 s
Current children cumulated vsize: 3368936 KiB
Current children cumulated memory: 1937816 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.27 4.22 5/244 968569
/proc/meminfo: memFree=117885628/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3368936 memory=1937816 CPUtime=3271.16 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 383807 0 0 0 327025 91 0 0 20 0 1 0 185128955 3449790464 484454 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 842234 484454 4046 3540 0 830491 0
Current children cumulated CPU time: 3271.16 s
Current children cumulated vsize: 3368936 KiB
Current children cumulated memory: 1937816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.23 4.21 5/242 968580
/proc/meminfo: memFree=117876352/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3395232 memory=1937820 CPUtime=3330.91 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 384360 0 0 0 333000 91 0 0 20 0 1 0 185128955 3476717568 484455 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 848808 484455 4046 3540 0 837065 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 3395232 KiB
Current children cumulated memory: 1937820 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.20 4.20 5/242 968590
/proc/meminfo: memFree=117862232/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3395232 memory=1937820 CPUtime=3390.66 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 384795 0 0 0 338975 91 0 0 20 0 1 0 185128955 3476717568 484455 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 848808 484455 4046 3540 0 837065 0
Current children cumulated CPU time: 3390.66 s
Current children cumulated vsize: 3395232 KiB
Current children cumulated memory: 1937820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.18 4.19 5/241 968601
/proc/meminfo: memFree=117847380/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3395232 memory=1937820 CPUtime=3450.39 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 385125 0 0 0 344948 91 0 0 20 0 1 0 185128955 3476717568 484455 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 848808 484455 4046 3540 0 837065 0
Current children cumulated CPU time: 3450.39 s
Current children cumulated vsize: 3395232 KiB
Current children cumulated memory: 1937820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/241 968611
/proc/meminfo: memFree=117839684/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3447824 memory=1937828 CPUtime=3510.15 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 385716 0 0 0 350924 91 0 0 20 0 1 0 185128955 3530571776 484457 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 861956 484457 4046 3540 0 850213 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 3447824 KiB
Current children cumulated memory: 1937828 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.18 5/241 968621
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3553032 memory=1937844 CPUtime=3569.91 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386341 0 0 0 356900 91 0 0 20 0 1 0 185128955 3638304768 484461 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 888258 484461 4046 3540 0 876515 0
Current children cumulated CPU time: 3569.91 s
Current children cumulated vsize: 3553032 KiB
Current children cumulated memory: 1937844 KiB

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

# cumulated CPU time of all completed processes:  user=3584.29 s, system=0.926746 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 5/241 968621
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3553032 memory=1937844 CPUtime=3571.62 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386341 0 0 0 357071 91 0 0 20 0 1 0 185128955 3638304768 484461 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 888258 484461 4046 3540 0 876515 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 3553032 KiB
Current children cumulated memory: 1937844 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.18 5/241 968621
/proc/meminfo: memFree=117839020/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3553032 memory=1937844 CPUtime=3577.98 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386409 0 0 0 357707 91 0 0 20 0 1 0 185128955 3638304768 484461 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 888258 484461 4046 3540 0 876515 0
Current children cumulated CPU time: 3577.98 s
Current children cumulated vsize: 3553032 KiB
Current children cumulated memory: 1937844 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.17 4.18 5/241 968623
/proc/meminfo: memFree=117839168/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3553032 memory=1937844 CPUtime=3581.17 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386449 0 0 0 358026 91 0 0 20 0 1 0 185128955 3638304768 484461 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 888258 484461 4046 3540 0 876515 0
Current children cumulated CPU time: 3581.17 s
Current children cumulated vsize: 3553032 KiB
Current children cumulated memory: 1937844 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.17 4.18 5/241 968623
/proc/meminfo: memFree=117839188/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3553032 memory=1937844 CPUtime=3582.76 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386449 0 0 0 358185 91 0 0 20 0 1 0 185128955 3638304768 484461 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 888258 484461 4046 3540 0 876515 0
Current children cumulated CPU time: 3582.76 s
Current children cumulated vsize: 3553032 KiB
Current children cumulated memory: 1937844 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.17 4.18 5/241 968623
/proc/meminfo: memFree=117839056/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3553032 memory=1937844 CPUtime=3584.35 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386449 0 0 0 358344 91 0 0 20 0 1 0 185128955 3638304768 484461 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 888258 484461 4046 3540 0 876515 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 3553032 KiB
Current children cumulated memory: 1937844 KiB

[startup+3597.2 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968623
/proc/meminfo: memFree=117839116/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3553032 memory=1937844 CPUtime=3584.75 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386475 0 0 0 358384 91 0 0 20 0 1 0 185128955 3638304768 484461 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 888258 484461 4046 3540 0 876515 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 3553032 KiB
Current children cumulated memory: 1937844 KiB

[startup+3597.6 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968623
/proc/meminfo: memFree=117839116/131655788 swapFree=131071996/131071996
[pid=966766] ppid=966763 vsize=3468212 memory=1853432 CPUtime=3585.15 cores=0,2
/proc/966766/stat : 966766 (pbscip) R 966763 966766 966724 0 -1 4194304 386537 0 0 0 358424 91 0 0 20 0 1 0 185128955 3551449088 463358 134679101440 4194304 18693293 140732389804384 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43786240 140732389807107 140732389807206 140732389807206 140732389814222 0
/proc/966766/statm: 867053 463358 4046 3540 0 855310 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 3468212 KiB
Current children cumulated memory: 1853432 KiB

Child status: 0

Real time (s): 3597.65
CPU time (s): 3585.22
CPU user time (s): 3584.29
CPU system time (s): 0.926746
CPU usage (%): 99.6543
Max. virtual memory (cumulated for all children) (KiB): 3553032
Max. memory (cumulated for all children) (KiB): 1972624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.29
system time used= 0.926746
maximum resident set size= 1972624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386600
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= 103
involuntary context switches= 25088


# summary of solver processes directly reported to runsolver:
#   pid: 966766
#   total CPU time (s): 3585.22
#   total CPU user time (s): 3584.29
#   total CPU system time (s): 0.926746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.47 second user time and 35.5326 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-18 21:08:28
IDJOB=4446135
IDBENCH=155459
IDSOLVER=3059
FILE ID=nodeC010/4446135-1721329697
RUNJOBID= nodeC010-1721329708-966734
SLURM_JOB_ID= 7542700
Free space on /tmp= 723752 MiB

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

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

MD5SUM BENCH= 41cda2cdd43cae95a9671374dc621893
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		: 3283.385
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.173
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.185
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.194
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.208
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.173
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.173
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.235
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:        124971936 kB
MemAvailable:   129859444 kB
Buffers:          504884 kB
Cached:          5163208 kB
SwapCached:            0 kB
Active:          1011104 kB
Inactive:        4997204 kB
Active(anon):       1348 kB
Inactive(anon):   376600 kB
Active(file):    1009756 kB
Inactive(file):  4620604 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             58216 kB
Writeback:            72 kB
AnonPages:        339952 kB
Mapped:           106320 kB
Shmem:             37704 kB
KReclaimable:     194360 kB
Slab:             308816 kB
SReclaimable:     194360 kB
SUnreclaim:       114456 kB
KernelStack:        3504 kB
PageTables:        10032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     701588 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= 723668 MiB
End job on nodeC010 at 2024-07-18 22:08:26