Trace number 4432935

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? 3588.16 3598.22

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
MD5SUM56678f8f787569ff6bace689e56ab709
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark2000.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables180608
Total number of constraints3078
Number of constraints which are clauses1410
Number of constraints which are cardinality constraints (but not clauses)1410
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1411
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 495101
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1113385
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432935-1721168407.opb>
0.30/0.36	c original problem has 180608 variables (180608 bin, 0 int, 0 impl, 0 cont) and 3078 constraints
0.30/0.36	c problem read in 0.36
0.69/0.74	c presolving:
1.09/1.14	c (round 1, fast)       639 del vars, 0 del conss, 0 add conss, 639 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26365 clqs
1.38/1.48	c    (1.5s) running MILP presolver
2.29/2.31	c    (2.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
2.39/2.41	c (round 2, medium)     639 del vars, 3078 del conss, 1668 add conss, 639 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26365 clqs
2.79/2.86	c (round 3, exhaustive) 639 del vars, 3078 del conss, 1668 add conss, 639 chg bounds, 1 chg sides, 0 chg coeffs, 1668 upgd conss, 0 impls, 26365 clqs
3.38/3.49	c (round 4, medium)     639 del vars, 3080 del conss, 1669 add conss, 639 chg bounds, 2 chg sides, 120 chg coeffs, 1668 upgd conss, 0 impls, 148648 clqs
28.81/28.98	c    (29.0s) probing: 1000/179969 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
28.92/29.01	c    (29.0s) probing: 1001/179969 (0.6%) - 0 fixings, 0 aggregations, 329 implications, 0 bound changes
28.92/29.01	c    (29.0s) probing aborted: 1000/1000 successive useless probings
29.02/29.16	c    (29.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
242.85/243.54	c    (243.5s) symmetry computation finished: 355 generators found (max: 355, log10 of symmetry group size: 1600.0) (symcode time: 214.11)
243.65/244.39	c dynamic symmetry handling statistics:
243.65/244.39	c    orbitopal reduction:       no components
243.65/244.39	c    orbital reduction:          1 components of sizes 355
243.65/244.39	c    lexicographic reduction:  355 permutations with support sizes 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 2820, 2820, 2820, 2820, 2820, 2820, 2820, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 254, 252, 252, 252, 252, 252, 252, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 252, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, c 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 252, 252, 252, 252, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256
243.65/244.39	c handled 1 out of 1 symmetry components
243.86/244.54	c presolving (5 rounds: 5 fast, 4 medium, 2 exhaustive):
243.86/244.54	c  639 deleted vars, 3080 deleted constraints, 1669 added constraints, 639 tightened bounds, 0 added holes, 2 changed sides, 120 changed coefficients
243.86/244.54	c  0 implications, 148977 cliques
243.86/244.54	c presolved problem has 179969 variables (179969 bin, 0 int, 0 impl, 0 cont) and 1667 constraints
243.86/244.54	c     256 constraints of type <knapsack>
243.86/244.54	c    1411 constraints of type <setppc>
243.86/244.54	c transformed objective value is always integral (scale: 1)
243.86/244.54	c Presolving Time: 243.86
243.86/244.54	c - non default parameters ----------------------------------------------------------------------
243.86/244.54	c # SCIP version 10.0.0
243.86/244.54	c 
243.86/244.54	c # maximal time in seconds to run
243.86/244.54	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
243.86/244.54	c limits/time = 3596.997058
243.86/244.54	c 
243.86/244.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
243.86/244.54	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
243.86/244.54	c limits/memory = 27900
243.86/244.54	c 
243.86/244.54	c # belongs reading time to solving time?
243.86/244.54	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
243.86/244.54	c timing/reading = TRUE
243.86/244.54	c 
243.86/244.54	c -----------------------------------------------------------------------------------------------
243.86/244.54	c start solving
243.86/244.58	c 
266.40/267.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
266.40/267.15	c   267s|     1 |     0 | 11168 |     - |  1777M |   0 | 179k|1826 |1667 |   0 |  0 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
287.82/288.62	c   289s|     1 |     0 | 18919 |     - |  1888M |   0 | 179k|1826 |1799 | 132 |  1 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
299.09/299.92	c   300s|     1 |     0 | 22888 |     - |  1935M |   0 | 179k|1825 |1935 | 268 |  2 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
311.65/312.53	c   313s|     1 |     0 | 26343 |     - |  1982M |   0 | 179k|1825 |2069 | 402 |  3 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
322.13/323.06	c   323s|     1 |     0 | 29212 |     - |  2020M |   0 | 179k|1825 |2205 | 538 |  4 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
328.90/329.81	c   330s|     1 |     0 | 31536 |     - |  2060M |   0 | 179k|1823 |2340 | 673 |  5 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
341.17/342.12	c   342s|     1 |     0 | 33423 |     - |  2095M |   0 | 179k|1823 |2476 | 809 |  6 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
354.43/355.44	c   355s|     1 |     0 | 35708 |     - |  2134M |   0 | 179k|1823 |2609 | 942 |  7 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
369.29/370.32	c   370s|     1 |     0 | 38400 |     - |  2161M |   0 | 179k|1812 |2738 |1071 |  8 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
388.35/389.43	c   389s|     1 |     0 | 40955 |     - |  2201M |   0 | 179k|1812 |2867 |1200 |  9 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
407.89/409.03	c   409s|     1 |     0 | 43512 |     - |  2236M |   0 | 179k|1812 |3002 |1335 | 10 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
426.24/427.48	c   427s|     1 |     0 | 47337 |     - |  2241M |   0 | 179k|1812 |3133 |1466 | 11 | 268 |   0 | 1.270000e+02 |      --      |    Inf | unknown
573.05/574.68	c   575s|     1 |     2 | 67971 |     - |  2244M |   0 | 179k|1801 |3133 |1466 | 11 | 268 |  22 | 1.270000e+02 |      --      |    Inf | unknown
2012.24/2017.80	c  2018s|   100 |   101 |400083 |3563.6 |  2296M |  20 | 179k|1797 |1862 |4155 |  1 | 279 |  22 | 1.270000e+02 |      --      |    Inf | unknown
3034.89/3043.35	c  3043s|   200 |   201 |648268 |3020.0 |  2299M |  21 | 179k|1809 |1839 |8480 |  1 | 293 |  22 | 1.270000e+02 |      --      |    Inf | unknown
3476.85/3486.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3476.85/3486.62	c  3487s|   300 |   301 |757105 |2374.0 |  2311M |  79 | 179k|1806 |2003 |9625 |  1 | 293 |  22 | 1.270000e+02 |      --      |    Inf | unknown
3587.05/3597.18	c 
3587.05/3597.18	c SCIP Status        : solving was interrupted [time limit reached]
3587.05/3597.18	c Solving Time (sec) : 3597.18
3587.05/3597.18	c Solving Nodes      : 341
3587.05/3597.18	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.05/3597.18	c Dual Bound         : +1.27000000000000e+02
3587.05/3597.18	c Gap                : infinite
3587.05/3597.18	s UNKNOWN
3587.05/3597.18	c SCIP Status        : solving was interrupted [time limit reached]
3587.05/3597.18	c Total Time         :    3597.18
3587.05/3597.18	c   solving          :    3597.18
3587.05/3597.18	c   presolving       :     243.86 (included in solving)
3587.05/3597.18	c   reading          :       0.36 (included in solving)
3587.05/3597.18	c   copying          :       1.14 (4 #copies) (minimal 0.27, maximal 0.30, average 0.29)
3587.05/3597.18	c Original Problem   :
3587.05/3597.18	c   Problem name     : HOME/instance-4432935-1721168407.opb
3587.05/3597.18	c   Variables        : 180608 (180608 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.05/3597.18	c   Constraints      : 3078 initial, 3078 maximal
3587.05/3597.18	c   Objective        : minimize, 128 non-zeros (abs.min = 1, abs.max = 1)
3587.05/3597.18	c Presolved Problem  :
3587.05/3597.18	c   Problem name     : t_HOME/instance-4432935-1721168407.opb
3587.05/3597.18	c   Variables        : 179969 (179969 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.05/3597.18	c   Constraints      : 1667 initial, 1827 maximal
3587.05/3597.19	c   Objective        : minimize, 120 non-zeros (abs.min = 1, abs.max = 1)
3587.05/3597.19	c   Nonzeros         : 538243 constraint, 1115725 clique table
3587.05/3597.19	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.05/3597.19	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   domcol           :       0.31       0.00      1          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   dualsparsify     :       0.15       0.00      1          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   implics          :       0.01       0.00      4          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   milp             :       1.14       0.00      1          0          0          0          0          0       3078       1668          0          0
3587.05/3597.19	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   sparsify         :       0.71       0.00      1          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   trivial          :       0.03       0.00      5          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   dualfix          :       0.03       0.00      5          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   probing          :      24.43       0.01      1          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   symmetry         :     215.23       0.00      1          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   vbounds          :       0.21       0.00      2          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   knapsack         :       0.45       0.02      5          0          0          0          0          0          1          1          1        120
3587.05/3597.19	c   setppc           :       0.11       0.01      5          0          0          0          0          0          1          0          0          0
3587.05/3597.19	c   linear           :       0.77       0.07      4        639          0          0        639          0          0          0          1          0
3587.05/3597.19	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   components       :       0.11       0.00      1          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.05/3597.19	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.05/3597.19	c   benderslp        :          0          0          0          0        340          0          0         55          0          0          0          0          0          0          0
3587.05/3597.19	c   integral         :          0          0          0          0        340          0          0         55          0          0          0          0          0          0        680
3587.05/3597.19	c   knapsack         :        256        256         11     334378          0          0          0         51      59946         32      54684       2225         80          0          0
3587.05/3597.19	c   setppc           :       1411       1411         11     334346          0          0          0          2       1026          0      31550          0          0          0          0
3587.05/3597.19	c   linear           :          0+         2          0      15969          0          0          0          3          0          2          0          0          0          0          0
3587.05/3597.19	c   logicor          :          0+       159         11        202          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.05/3597.19	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   integral         :     103.50       0.00       0.00       0.00     103.50       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   knapsack         :       3.31       0.02       0.28       2.80       0.00       0.00       0.00       0.04       0.17       0.01
3587.05/3597.19	c   setppc           :       1.45       0.01       0.04       1.39       0.00       0.00       0.00       0.00       0.02       0.01
3587.05/3597.19	c   linear           :       0.10       0.07       0.00       0.01       0.00       0.00       0.00       0.01       0.00       0.00
3587.05/3597.19	c   logicor          :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.05/3597.19	c   dualfix          :          1          0          0          0
3587.05/3597.19	c   genvbounds       :          0          0          0          0
3587.05/3597.19	c   nlobbt           :          0          0          0          0
3587.05/3597.19	c   obbt             :          0          0          0          0
3587.05/3597.19	c   probing          :          0          0          0          0
3587.05/3597.19	c   pseudoobj        :        979          0          0          0
3587.05/3597.19	c   redcost          :         13          0          0          0
3587.05/3597.19	c   rootredcost      :          0          0          0          0
3587.05/3597.19	c   symmetry         :      10491          0          0         67
3587.05/3597.19	c   vbounds          :      10401          0          0          0
3587.05/3597.19	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.05/3597.19	c   dualfix          :       0.03       0.00       0.03       0.01       0.00       0.00
3587.05/3597.19	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3587.05/3597.19	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.05/3597.19	c   probing          :      24.44       0.01      24.43       0.00       0.00       0.00
3587.05/3597.19	c   pseudoobj        :       4.42       0.00       0.00       4.42       0.00       0.00
3587.05/3597.19	c   redcost          :       0.13       0.00       0.00       0.13       0.00       0.00
3587.05/3597.19	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3587.05/3597.19	c   symmetry         :     229.81       0.00     215.23      14.58       0.00       0.00
3587.05/3597.19	c   vbounds          :       0.27       0.00       0.21       0.07       0.00       0.00
3587.05/3597.19	c Symmetry           :
3587.05/3597.19	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.05/3597.19	c   orbital reduction:         67 reductions applied,          0 cutoffs
3587.05/3597.19	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.05/3597.19	c   shadow tree time :       0.00 s
3587.05/3597.19	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.05/3597.19	c   propagation      :       1.03         28         28          -       3888     1664.6          0        0.0          -          -          -
3587.05/3597.19	c   infeasible LP    :       0.33          4          4          -        422     2149.3          0        0.0          4     4758.0          0
3587.05/3597.19	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.05/3597.19	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.05/3597.19	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.05/3597.19	c   applied globally :       0.01          -          -          0        289      800.5          -          -          4          -          -
3587.05/3597.19	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.05/3597.19	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.05/3597.19	c   cut pool         :       5.76          -        154         21          -          -       8638      58929          -          -          -          -          -    (maximal pool size:       7974)
3587.05/3597.19	c   aggregation      :       3.94       0.00         21         11          0          0       5857      41963          0       8085       8085          0          0
3587.05/3597.19	c   > cmir           :          -          -          -          -          -          -          -      29186          0       4691       4691          0          -
3587.05/3597.19	c   > flowcover      :          -          -          -          -          -          -          -      11896          0       3155       3155          0          -
3587.05/3597.19	c   > knapsackcover  :          -          -          -          -          -          -          -        881          0        239        239          0          -
3587.05/3597.19	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   clique           :       1.39       0.00         11         11          0          0         45        674          0        250        250          0          0
3587.05/3597.19	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   gomory           :      10.27       0.00         20         10          0          0       2504      15496          0       1284       1284          0          0
3587.05/3597.19	c   > gomorymi       :          -          -          -          -          -          -          -      11680          0        904        904          0          -
3587.05/3597.19	c   > strongcg       :          -          -          -          -          -          -          -       3816          0        380        380          0          -
3587.05/3597.19	c   impliedbounds    :       0.35       0.00         21         11          0          0        218        749          0         77         77          0          0
3587.05/3597.19	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   mcf              :       0.04       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   multilinear      :       0.00       0.00         23         11          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   rlt              :       0.00       0.00         18         10          0          0          0          0          0          0          0          0          0
3587.05/3597.19	c   zerohalf         :       1.62       0.00         21         11          0          0         25         47         11         11          3          8          0
3587.05/3597.19	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.05/3597.19	c   hybrid           :       2.12       0.00        135         11       9787          0      51378       1466          0      12901
3587.05/3597.19	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.05/3597.19	c   problem variables:       0.00          -          0          0
3587.05/3597.19	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.05/3597.19	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c   relpscost        :     103.50       0.00        340          0          0          0          0          0          0        680
3587.05/3597.19	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.05/3597.19	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.05/3597.19	c   LP solutions     :       0.00          -          -          0          0
3587.05/3597.19	c   relax solutions  :       0.00          -          -          0          0
3587.05/3597.19	c   pseudo solutions :       0.00          -          -          0          0
3587.05/3597.19	c   strong branching :       0.00          -          -          0          0
3587.05/3597.19	c   actconsdiving    :       0.00       0.00          0          0          0
3587.05/3597.19	c   adaptivediving   :      55.84       0.00          3          0          0
3587.05/3597.19	c   alns             :      30.96       0.00          3          0          0
3587.05/3597.19	c   bound            :       0.00       0.00          0          0          0
3587.05/3597.19	c   clique           :       1.68       0.00          1          0          0
3587.05/3597.19	c   coefdiving       :       0.00       0.00          0          0          0
3587.05/3597.19	c   completesol      :       0.00       0.00          0          0          0
3587.05/3597.19	c   conflictdiving   :     294.10       0.00          5          0          0
3587.05/3597.19	c   crossover        :       0.00       0.00          0          0          0
3587.05/3597.19	c   dins             :       0.00       0.00          0          0          0
3587.05/3597.19	c   distributiondivin:     201.60       0.00          4          0          0
3587.05/3597.19	c   dps              :       0.00       0.00          0          0          0
3587.05/3597.19	c   dualval          :       0.00       0.00          0          0          0
3587.05/3597.19	c   farkasdiving     :       0.00       0.00          0          0          0
3587.05/3597.19	c   feasjump         :       0.42       0.00          1          0          0
3587.05/3597.19	c   feaspump         :      12.62       0.00          2          0          0
3587.05/3597.19	c   fixandinfer      :       0.00       0.00          0          0          0
3587.05/3597.19	c   fracdiving       :      89.74       0.00          4          0          0
3587.05/3597.19	c   gins             :       0.00       0.00          0          0          0
3587.05/3597.19	c   guideddiving     :       0.00       0.00          0          0          0
3587.05/3597.19	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.05/3597.19	c   indicator        :       0.00       0.00          0          0          0
3587.05/3597.19	c   indicatordiving  :       0.00       0.00          0          0          0
3587.05/3597.19	c   indoneopt        :       0.00       0.00          0          0          0
3587.05/3597.19	c   indrounding      :       0.00       0.00          0          0          0
3587.05/3597.19	c   indtwoopt        :       0.00       0.00          0          0          0
3587.05/3597.19	c   intdiving        :       0.00       0.00          0          0          0
3587.05/3597.19	c   intshifting      :       0.00       0.00          0          0          0
3587.05/3597.19	c   linesearchdiving :     141.36       0.00          4          0          0
3587.05/3597.19	c   localbranching   :       0.00       0.00          0          0          0
3587.05/3597.19	c   locks            :       0.74       0.00          1          0          0
3587.05/3597.19	c   lpface           :       0.09       0.00          0          0          0
3587.05/3597.19	c   mpec             :       0.00       0.00          0          0          0
3587.05/3597.19	c   multistart       :       0.00       0.00          0          0          0
3587.05/3597.19	c   mutation         :       0.00       0.00          0          0          0
3587.05/3597.19	c   nlpdiving        :       0.00       0.00          0          0          0
3587.05/3597.19	c   objpscostdiving  :      47.38       0.00          3          0          0
3587.05/3597.19	c   octane           :       0.00       0.00          0          0          0
3587.05/3597.19	c   ofins            :       0.00       0.00          0          0          0
3587.05/3597.19	c   oneopt           :       0.00       0.00          0          0          0
3587.05/3597.19	c   padm             :       0.00       0.00          0          0          0
3587.05/3597.19	c   proximity        :       0.00       0.00          0          0          0
3587.05/3597.19	c   pscostdiving     :     207.94       0.00         11          0          0
3587.05/3597.19	c   randrounding     :       0.91       0.00         48          0          0
3587.05/3597.19	c   rens             :       0.82       0.00          1          0          0
3587.05/3597.19	c   reoptsols        :       0.00       0.00          0          0          0
3587.05/3597.19	c   repair           :       0.00       0.00          0          0          0
3587.05/3597.19	c   rins             :       0.00       0.00          0          0          0
3587.05/3597.19	c   rootsoldiving    :      44.04       0.00          2          0          0
3587.05/3597.19	c   rounding         :       0.17       0.00        259          0          0
3587.05/3597.19	c   scheduler        :       0.00       0.00          0          0          0
3587.05/3597.19	c   shiftandpropagate:       0.48       0.00          1          0          0
3587.05/3597.19	c   shifting         :      23.15       0.00        163          0          0
3587.05/3597.19	c   simplerounding   :       0.00       0.00        475          0          0
3587.05/3597.19	c   smallcard        :       0.00       0.00          0          0          0
3587.05/3597.19	c   subnlp           :       0.00       0.00          0          0          0
3587.05/3597.19	c   trivial          :       0.11       0.00          2          0          0
3587.05/3597.19	c   trivialnegation  :       0.00       0.00          0          0          0
3587.05/3597.19	c   trustregion      :       0.00       0.00          0          0          0
3587.05/3597.19	c   trysol           :       0.00       0.00          0          0          0
3587.05/3597.19	c   twoopt           :       0.00       0.00          0          0          0
3587.05/3597.19	c   undercover       :       0.00       0.00          0          0          0
3587.05/3597.19	c   vbounds          :       2.93       0.00          1          0          0
3587.05/3597.19	c   veclendiving     :     157.66       0.00          4          0          0
3587.05/3597.19	c   zeroobj          :       0.00       0.00          0          0          0
3587.05/3597.19	c   zirounding       :       0.26       0.00        340          0          0
3587.05/3597.19	c   other solutions  :          -          -          -          0          -
3587.05/3597.19	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.05/3597.19	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.05/3597.19	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.05/3597.19	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.05/3597.19	c   primal LP        :       1.19         68          0       0.00       0.00       1.19         68
3587.05/3597.19	c   dual LP          :    1873.98        476     372506     782.58     198.78       0.00          0
3587.05/3597.19	c   lex dual LP      :       0.00          0          0       0.00          -
3587.05/3597.19	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.05/3597.19	c   resolve instable :       0.21          1         29      29.00     139.95
3587.05/3597.19	c   diving/probing LP:    1185.65       1187     401809     338.51     338.89
3587.05/3597.19	c   strong branching :     101.27         22       6167     280.32      60.90          -          -          2
3587.05/3597.19	c     (at root node) :          -         22       6167     280.32          -
3587.05/3597.19	c   conflict analysis:       0.00          0          0       0.00          -
3587.05/3597.19	c B&B Tree           :
3587.05/3597.19	c   number of runs   :          1
3587.05/3597.19	c   nodes            :        341 (340 internal, 1 leaves)
3587.05/3597.19	c   feasible leaves  :          0
3587.05/3597.19	c   infeas. leaves   :          0
3587.05/3597.19	c   objective leaves :          0
3587.05/3597.19	c   nodes (total)    :        341 (340 internal, 1 leaves)
3587.05/3597.19	c   nodes left       :        341
3587.05/3597.19	c   max depth        :         82
3587.05/3597.19	c   max depth (total):         82
3587.05/3597.19	c   backtracks       :         46 (13.5%)
3587.05/3597.19	c   early backtracks :          0 (0.0%)
3587.05/3597.19	c   nodes exc. ref.  :          0 (0.0%)
3587.05/3597.19	c   delayed cutoffs  :          0
3587.05/3597.19	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3587.05/3597.19	c   avg switch length:       2.42
3587.05/3597.19	c   switching time   :       1.87
3587.05/3597.19	c Root Node          :
3587.05/3597.19	c   First LP value   : +1.27000000000000e+02
3587.05/3597.19	c   First LP Iters   :      11114 (946.64 Iter/sec)
3587.05/3597.19	c   First LP Time    :      11.74
3587.05/3597.19	c   Final Dual Bound : +1.27000000000000e+02
3587.05/3597.19	c   Final Root Iters :      47283
3587.05/3597.19	c   Root LP Estimate : +1.27011463235049e+02
3587.05/3597.19	c Solution           :
3587.05/3597.19	c   Solutions found  :          0 (0 improvements)
3587.05/3597.19	c   Primal Bound     :          -
3587.05/3597.19	c   Dual Bound       : +1.27000000000000e+02
3587.05/3597.19	c   Gap              :   infinite
3587.05/3597.19	c Integrals          :      Total       Avg%
3587.05/3597.19	c   primal-dual      :  359717.78     100.00
3587.05/3597.19	c   primal-ref       :          -          - (not evaluated)
3587.05/3597.19	c   dual-ref         :          -          - (not evaluated)
3588.04/3598.17	c Time complete: 3588.12.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60759 MiB free)
  memory of node 1: 64510 MiB (59586 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10009 s]*
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=123125480/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=167796 memory=126064 CPUtime=0.09 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 28527 0 0 0 6 3 0 0 20 0 1 0 169002535 171823104 31516 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 41949 31516 3282 3540 0 30206 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 167796 KiB
Current children cumulated memory: 126064 KiB

[startup+0.205608 s]*
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122992760/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=237136 memory=194900 CPUtime=0.2 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 45772 0 0 0 14 6 0 0 20 0 1 0 169002535 242827264 48725 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 59284 48725 3282 3540 0 47541 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 237136 KiB
Current children cumulated memory: 194900 KiB

[startup+0.305601 s]*
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122928584/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=243356 memory=201500 CPUtime=0.3 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 47376 0 0 0 24 6 0 0 20 0 1 0 169002535 249196544 50375 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 60839 50375 3282 3540 0 49096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 243356 KiB
Current children cumulated memory: 201500 KiB

[startup+0.700237 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122747292/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=507752 memory=462580 CPUtime=0.69 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 113132 0 0 0 55 14 0 0 20 0 1 0 169002535 519938048 115645 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 126938 115645 3617 3540 0 115195 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 507752 KiB
Current children cumulated memory: 462580 KiB

[startup+1.50021 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122609504/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=672976 memory=625600 CPUtime=1.49 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 138154 0 0 0 130 19 0 0 20 0 1 0 169002535 689127424 156400 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 168244 156400 3728 3540 0 156501 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 672976 KiB
Current children cumulated memory: 625600 KiB

[startup+3.1056 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 904215
/proc/meminfo: memFree=122487688/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=730724 memory=685532 CPUtime=3.08 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 163443 0 0 0 286 22 0 0 20 0 1 0 169002535 748261376 171383 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 182681 171383 3824 3540 0 170938 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 730724 KiB
Current children cumulated memory: 685532 KiB

[startup+6.3002 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 904215
/proc/meminfo: memFree=122073996/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1084644 memory=1003884 CPUtime=6.27 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 199679 0 0 0 596 31 0 0 20 0 1 0 169002535 1110675456 250971 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 271161 250971 3824 3540 0 259418 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1084644 KiB
Current children cumulated memory: 1003884 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 904215
/proc/meminfo: memFree=122039484/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1084644 memory=1004016 CPUtime=12.66 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 199702 0 0 0 1234 32 0 0 20 0 1 0 169002535 1110675456 251004 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 271161 251004 3824 3540 0 259418 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1084644 KiB
Current children cumulated memory: 1004016 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 904218
/proc/meminfo: memFree=121788400/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1085668 memory=1004964 CPUtime=25.42 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 200020 0 0 0 2510 32 0 0 20 0 1 0 169002535 1111724032 251241 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 271417 251241 3824 3540 0 259674 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1085668 KiB
Current children cumulated memory: 1004964 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904222
/proc/meminfo: memFree=121179200/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552168 memory=1387212 CPUtime=50.97 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 283499 0 0 0 5051 46 0 0 20 0 1 0 169002535 1589420032 346803 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388042 346803 3840 3540 0 376299 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1552168 KiB
Current children cumulated memory: 1387212 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 904231
/proc/meminfo: memFree=120964924/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552176 memory=1389044 CPUtime=102.02 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 283999 0 0 0 10156 46 0 0 20 0 1 0 169002535 1589428224 347261 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388044 347261 3840 3540 0 376301 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1552176 KiB
Current children cumulated memory: 1389044 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 904241
/proc/meminfo: memFree=120308048/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552180 memory=1389044 CPUtime=161.87 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 284008 0 0 0 16140 47 0 0 20 0 1 0 169002535 1589432320 347261 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388045 347261 3840 3540 0 376302 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1552180 KiB
Current children cumulated memory: 1389044 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 904253
/proc/meminfo: memFree=119927692/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552184 memory=1389220 CPUtime=221.71 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 284038 0 0 0 22124 47 0 0 20 0 1 0 169002535 1589436416 347305 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388046 347305 3840 3540 0 376303 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1552184 KiB
Current children cumulated memory: 1389220 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 904264
/proc/meminfo: memFree=118991096/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2063988 memory=1844204 CPUtime=281.54 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 380412 0 0 0 28092 62 0 0 20 0 1 0 169002535 2113523712 461051 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 515997 461051 4016 3540 0 504254 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2063988 KiB
Current children cumulated memory: 1844204 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 904658
/proc/meminfo: memFree=118659496/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2263656 memory=2034556 CPUtime=341.36 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 423008 0 0 0 34067 69 0 0 20 0 1 0 169002535 2317983744 508639 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 565914 508639 4016 3540 0 554171 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2263656 KiB
Current children cumulated memory: 2034556 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/256 904668
/proc/meminfo: memFree=118458344/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2407948 memory=2184960 CPUtime=401.2 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 453538 0 0 0 40045 75 0 0 20 0 1 0 169002535 2465738752 546240 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 601987 546240 4016 3540 0 590244 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2407948 KiB
Current children cumulated memory: 2184960 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 904680
/proc/meminfo: memFree=118342232/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2413068 memory=2190676 CPUtime=461.03 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 454533 0 0 0 46027 76 0 0 20 0 1 0 169002535 2470981632 547669 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 603267 547669 4016 3540 0 591524 0

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

Current children cumulated memory: 2797836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/256 906022
/proc/meminfo: memFree=117011720/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2797836 CPUtime=3153.48 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 763291 0 0 0 315190 158 0 0 20 0 1 0 169002535 3081912320 699459 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 699459 4048 3540 0 740677 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2797836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/256 906034
/proc/meminfo: memFree=116826664/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2797836 CPUtime=3213.29 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 763732 0 0 0 321170 159 0 0 20 0 1 0 169002535 3081912320 699459 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 699459 4048 3540 0 740677 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2797836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.16 4.15 5/256 906045
/proc/meminfo: memFree=116511608/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803384 CPUtime=3273.11 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 764315 0 0 0 327151 160 0 0 20 0 1 0 169002535 3081912320 700846 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700846 4048 3540 0 740677 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803384 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/254 906055
/proc/meminfo: memFree=116340560/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803536 CPUtime=3332.94 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 764731 0 0 0 333134 160 0 0 20 0 1 0 169002535 3081912320 700884 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700884 4048 3540 0 740677 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/254 906065
/proc/meminfo: memFree=116264184/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803536 CPUtime=3392.77 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 765226 0 0 0 339116 161 0 0 20 0 1 0 169002535 3081912320 700884 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700884 4048 3540 0 740677 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/255 906077
/proc/meminfo: memFree=116129584/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803536 CPUtime=3452.61 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 765453 0 0 0 345100 161 0 0 20 0 1 0 169002535 3081912320 700884 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700884 4048 3540 0 740677 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/255 906088
/proc/meminfo: memFree=116065412/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805104 CPUtime=3512.45 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766113 0 0 0 351083 162 0 0 20 0 1 0 169002535 3081912320 701276 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701276 4048 3540 0 740677 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.50 4.21 4.16 5/255 906098
/proc/meminfo: memFree=116064952/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3572.27 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766664 0 0 0 357065 162 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB

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

# cumulated CPU time of all completed processes:  user=3586.48 s, system=1.68298 s

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

[startup+3584 s]*
/proc/loadavg: 4.54 4.23 4.16 5/255 906100
/proc/meminfo: memFree=116064980/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3573.97 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766664 0 0 0 357235 162 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB

[startup+3590.4 s]
/proc/loadavg: 4.50 4.22 4.16 5/252 906160
/proc/meminfo: memFree=117569804/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3580.36 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766672 0 0 0 357873 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3580.36 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB

[startup+3593.6 s]
/proc/loadavg: 4.50 4.22 4.16 5/257 906197
/proc/meminfo: memFree=117262844/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3583.55 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766676 0 0 0 358192 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3583.55 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB

[startup+3596.8 s]
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=119361440/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3586.74 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766794 0 0 0 358511 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB

[startup+3597.6 s]
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=119279156/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3587.54 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766832 0 0 0 358591 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB

[startup+3598 s]*
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=119255356/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3587.94 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766932 0 0 0 358631 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB

[startup+3598.2 s]*
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=121593520/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3598.22
CPU time (s): 3588.16
CPU user time (s): 3586.48
CPU system time (s): 1.68298
CPU usage (%): 99.7206
Max. virtual memory (cumulated for all children) (KiB): 3009680
Max. memory (cumulated for all children) (KiB): 2805340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.48
system time used= 1.68298
maximum resident set size= 2805340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767434
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= 22
involuntary context switches= 1450


# summary of solver processes directly reported to runsolver:
#   pid: 904212
#   total CPU time (s): 3588.16
#   total CPU user time (s): 3586.48
#   total CPU system time (s): 1.68298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.5274 second user time and 17.4857 second system time

The end

Launcher Data

Begin job on nodeC017 at 2024-07-17 00:20:19
IDJOB=4432935
IDBENCH=158605
IDSOLVER=3059
FILE ID=nodeC017/4432935-1721168407
RUNJOBID= nodeC017-1721164808-900915
SLURM_JOB_ID= 7505785
Free space on /tmp= 890012 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.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-4432935-1721168407/watcher-4432935-1721168407 -o /tmp/evaluation-result-4432935-1721168407/solver-4432935-1721168407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900915 --watchdog 3760  pbscip -f HOME/instance-4432935-1721168407.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=817372733

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.379
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.069
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.793
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.325
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.411
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.291
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.023
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.704
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123234008 kB
MemAvailable:   127928576 kB
Buffers:          440212 kB
Cached:          5042480 kB
SwapCached:            0 kB
Active:          1016836 kB
Inactive:        6566828 kB
Active(anon):       1568 kB
Inactive(anon):  2137444 kB
Active(file):    1015268 kB
Inactive(file):  4429384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             50892 kB
Writeback:             0 kB
AnonPages:       2101356 kB
Mapped:           138848 kB
Shmem:             37720 kB
KReclaimable:     179128 kB
Slab:             295472 kB
SReclaimable:     179128 kB
SUnreclaim:       116344 kB
KernelStack:        4124 kB
PageTables:        13436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2407068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62880 kB
HardwareCorrupted:     0 kB
AnonHugePages:    382976 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:      246484 kB
DirectMap2M:    33081344 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC017 at 2024-07-17 01:20:18