Trace number 4503358

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3588.83 3600.6

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-192.opb
MD5SUM7ac327da8fefd7cd3f39afa8bfb7af2c
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 benchmark106.066
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15414
Total number of constraints395824
Number of constraints which are clauses358980
Number of constraints which are cardinality constraints (but not clauses)907
Number of constraints which are nor clauses,nor cardinality constraints35937
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-4503358-1751171985.opb>
0.77/0.81	c original problem has 15414 variables (15414 bin, 0 int, 0 impl, 0 cont) and 395824 constraints
0.77/0.81	c problem read in 0.80
0.77/0.81	c No objective function, only one solution is needed.
1.27/1.37	c presolving:
2.27/2.35	c    (2.3s) running MILP presolver
3.46/3.52	c    (3.5s) MILP presolver found nothing
4.36/4.45	c (round 1, exhaustive) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 395809 upgd conss, 0 impls, 94795 clqs
5.36/5.43	c (round 2, exhaustive) 1 del vars, 3558 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 5326 chg coeffs, 395809 upgd conss, 0 impls, 94795 clqs
8.55/8.65	c    (8.6s) probing: 51/15413 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.55/8.65	c    (8.6s) probing aborted: 50/50 successive totally useless probings
10.44/10.54	c    (10.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.24/11.36	c    (11.3s) no symmetry present (symcode time: 0.11)
11.64/11.70	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
11.64/11.70	c  1 deleted vars, 3558 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 5611 changed coefficients
11.64/11.70	c  0 implications, 94795 cliques
11.64/11.70	c presolved problem has 15413 variables (15413 bin, 0 int, 0 impl, 0 cont) and 392266 constraints
11.64/11.70	c   36379 constraints of type <knapsack>
11.64/11.70	c   94795 constraints of type <setppc>
11.64/11.70	c       5 constraints of type <linear>
11.64/11.70	c  261087 constraints of type <logicor>
11.64/11.70	c transformed objective value is always integral (scale: 1)
11.64/11.70	c Presolving Time: 10.34
11.64/11.70	c - non default parameters ----------------------------------------------------------------------
11.64/11.70	c # SCIP version 10.0.0
11.64/11.70	c 
11.64/11.70	c # maximal time in seconds to run
11.64/11.70	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
11.64/11.70	c limits/time = 3596.998007
11.64/11.70	c 
11.64/11.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.64/11.70	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
11.64/11.70	c limits/memory = 27900
11.64/11.70	c 
11.64/11.70	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
11.64/11.70	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
11.64/11.70	c limits/solutions = 1
11.64/11.70	c 
11.64/11.70	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.
11.64/11.70	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
11.64/11.70	c misc/usesymmetry = 3
11.64/11.70	c 
11.64/11.70	c # belongs reading time to solving time?
11.64/11.70	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
11.64/11.70	c timing/reading = TRUE
11.64/11.70	c 
11.64/11.70	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
11.64/11.70	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.64/11.70	c propagating/symmetry/detectdoublelex = FALSE
11.64/11.70	c 
11.64/11.70	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
11.64/11.70	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.64/11.70	c propagating/symmetry/detectsubgroups = FALSE
11.64/11.70	c 
11.64/11.70	c # Type of symmetries that shall be computed?
11.64/11.70	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
11.64/11.70	c propagating/symmetry/symtype = 1
11.64/11.70	c 
11.64/11.70	c # Should components consisting of a single full reflection be handled?
11.64/11.70	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
11.64/11.70	c propagating/symmetry/usesimplesgncomp = FALSE
11.64/11.70	c 
11.64/11.70	c -----------------------------------------------------------------------------------------------
11.64/11.70	c start solving
11.64/11.71	c 
13.83/13.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
13.83/13.94	c  13.9s|     1 |     0 |   732 |     - |  1721M |   0 |  15k| 392k| 392k|   0 |  0 |  99 |   0 | 0.000000e+00 |      --      |    Inf | unknown
62.98/63.28	c  63.3s|     1 |     0 |  3836 |     - |  1776M |   0 |  15k| 392k| 392k|   7 |  1 | 100 |   0 | 0.000000e+00 |      --      |    Inf | unknown
133.55/134.04	c   134s|     1 |     0 |  4035 |     - |  1814M |   0 |  15k| 392k| 392k|  12 |  2 | 102 |   0 | 0.000000e+00 |      --      |    Inf | unknown
265.56/266.51	c   266s|     1 |     0 |  4340 |     - |  1855M |   0 |  15k| 392k| 392k|  22 |  3 | 105 |   0 | 0.000000e+00 |      --      |    Inf | unknown
373.95/375.21	c   375s|     1 |     0 |  4483 |     - |  1896M |   0 |  15k| 392k| 392k|  32 |  4 | 107 |   0 | 0.000000e+00 |      --      |    Inf | unknown
528.38/530.26	c   530s|     1 |     0 |  4550 |     - |  1943M |   0 |  15k| 392k| 392k|  41 |  5 | 109 |   0 | 0.000000e+00 |      --      |    Inf | unknown
605.33/607.45	c   607s|     1 |     0 |  4632 |     - |  1984M |   0 |  15k| 392k| 392k|  46 |  6 | 112 |   0 | 0.000000e+00 |      --      |    Inf | unknown
805.37/808.15	c   808s|     1 |     0 |  4685 |     - |  2029M |   0 |  15k| 392k| 392k|  51 |  7 | 114 |   0 | 0.000000e+00 |      --      |    Inf | unknown
971.22/974.53	c   975s|     1 |     0 |  4713 |     - |  2074M |   0 |  15k| 392k| 392k|  59 |  8 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1087.13/1090.81	c  1091s|     1 |     0 |  4760 |     - |  2116M |   0 |  15k| 392k| 392k|  62 |  9 | 130 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1205.55/1209.66	c  1210s|     1 |     0 |  4833 |     - |  2157M |   0 |  15k| 392k| 392k|  65 | 10 | 132 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1205.95/1210.07	c  1210s|     1 |     0 |  4865 |     - |  2198M |   0 |  15k| 392k| 392k|  69 | 11 | 133 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1206.25/1210.38	c  1210s|     1 |     0 |  4920 |     - |  2239M |   0 |  15k| 392k| 392k|  73 | 12 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1206.65/1210.79	c  1211s|     1 |     0 |  4950 |     - |  2280M |   0 |  15k| 392k| 392k|  79 | 13 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1207.14/1211.23	c  1211s|     1 |     0 |  5140 |     - |  2321M |   0 |  15k| 392k| 392k|  83 | 14 | 137 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1207.64/1211.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1207.64/1211.71	c  1212s|     1 |     0 |  5195 |     - |  2363M |   0 |  15k| 392k| 392k|  90 | 15 | 139 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1208.14/1212.22	c  1212s|     1 |     0 |  5304 |     - |  2363M |   0 |  15k| 392k| 392k|  99 | 16 | 140 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1208.54/1212.61	c  1213s|     1 |     0 |  5376 |     - |  2401M |   0 |  15k| 392k| 392k| 105 | 17 | 141 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1222.40/1226.59	c  1227s|     1 |     2 |  9636 |     - |  2407M |   0 |  15k| 392k| 392k| 105 | 17 | 150 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1679.69/1685.23	c  1685s|   100 |   101 |181500 |1779.0 |  2604M |  27 |  15k| 392k| 392k| 210 |  1 | 622 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2057.35/2064.07	c  2064s|   200 |   201 |378887 |1876.9 |  2667M |  27 |  15k| 393k| 392k| 351 |  1 |1257 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2509.40/2517.51	c  2518s|   300 |   301 |530634 |1756.7 |  3021M |  28 |  15k| 393k| 392k|1084 |  1 |1740 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2760.46/2769.43	c  2769s|   400 |   401 |693711 |1725.2 |  3153M |  28 |  15k| 393k| 392k|2237 |  1 |1978 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3028.87/3038.70	c  3039s|   500 |   501 |871021 |1734.8 |  3404M |  29 |  15k| 393k| 392k|3607 |  1 |2420 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3267.26/3277.92	c  3278s|   600 |   601 |  1024k|1701.7 |  3536M |  29 |  15k| 393k| 392k|5145 |  1 |2804 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3587.93/3599.70	c 
3587.93/3599.70	c SCIP Status        : solving was interrupted [time limit reached]
3587.93/3599.70	c Solving Time (sec) : 3599.69
3587.93/3599.70	c Solving Nodes      : 664
3587.93/3599.70	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.93/3599.70	c Dual Bound         : +0.00000000000000e+00
3587.93/3599.70	c Gap                : infinite
3587.93/3599.70	s UNKNOWN
3587.93/3599.70	c SCIP Status        : solving was interrupted [time limit reached]
3587.93/3599.70	c Total Time         :    3599.69
3587.93/3599.70	c   solving          :    3599.69
3587.93/3599.70	c   presolving       :      10.34 (included in solving)
3587.93/3599.70	c   reading          :       0.80 (included in solving)
3587.93/3599.70	c   copying          :       2.61 (5 #copies) (minimal 0.51, maximal 0.53, average 0.52)
3587.93/3599.70	c Original Problem   :
3587.93/3599.70	c   Problem name     : HOME/instance-4503358-1751171985.opb
3587.93/3599.70	c   Variables        : 15414 (15414 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.93/3599.70	c   Constraints      : 395824 initial, 395824 maximal
3587.93/3599.70	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.93/3599.70	c Presolved Problem  :
3587.93/3599.70	c   Problem name     : t_HOME/instance-4503358-1751171985.opb
3587.93/3599.70	c   Variables        : 15413 (15413 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.93/3599.70	c   Constraints      : 392266 initial, 393698 maximal
3587.93/3599.70	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.93/3599.70	c   Nonzeros         : 1452472 constraint, 195672 clique table
3587.93/3599.70	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.93/3599.70	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   domcol           :       0.19       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   dualsparsify     :       1.89       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   gateextraction   :       0.42       0.00      2          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   milp             :       1.72       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   sparsify         :       0.40       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   trivial          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   dualfix          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   probing          :       1.55       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   symmetry         :       0.82       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   vbounds          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   knapsack         :       0.11       0.00      6          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   setppc           :       0.18       0.00      6          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   linear           :       1.18       0.14      6          0          1          0          0          0         10          0          9          0
3587.93/3599.70	c   logicor          :       1.34       0.21      6          0          0          0          0          0       3548          0          0       5611
3587.93/3599.70	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   components       :       0.11       0.00      1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.93/3599.70	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.93/3599.70	c   benderslp        :          0          0          0          0        664          0          0        153          0          0          0          0          0          0          0
3587.93/3599.70	c   integral         :          0          0          0          0        664          0          0        153          0          0          0          0          0          0       1328
3587.93/3599.70	c   knapsack         :      36379+     36380         17      55191          0          0          0        149        925         60          4         46          2          0          0
3587.93/3599.70	c   setppc           :      94795+     94849         17      55131          0          0          0          6      15635        339     157354          0          0          0          0
3587.93/3599.70	c   linear           :          5+         9         17      54792          0          0          0          3          9         50          0          0          0          0          0
3587.93/3599.70	c   logicor          :     261087+    262461         17      30331          0          0          0          0       4022        203        315          9          1          0          0
3587.93/3599.70	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.93/3599.70	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   integral         :      15.13       0.00       0.00       0.00      15.13       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   knapsack         :       1.17       0.00       0.40       0.63       0.00       0.00       0.00       0.14       0.00       0.00
3587.93/3599.70	c   setppc           :       2.24       0.00       0.09       2.12       0.00       0.00       0.00       0.00       0.01       0.01
3587.93/3599.70	c   linear           :       0.14       0.14       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   logicor          :       3.27       0.21       0.54       2.51       0.00       0.00       0.00       0.00       0.00       0.01
3587.93/3599.70	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.93/3599.70	c   dualfix          :          1          0          0          0
3587.93/3599.70	c   genvbounds       :          0          0          0          0
3587.93/3599.70	c   nlobbt           :          0          0          0          0
3587.93/3599.70	c   obbt             :          0          0          0          0
3587.93/3599.70	c   probing          :          0          0          0          0
3587.93/3599.70	c   pseudoobj        :          0          0          0          0
3587.93/3599.70	c   redcost          :          0          0          0          0
3587.93/3599.70	c   rootredcost      :          0          0          0          0
3587.93/3599.70	c   symmetry         :          0          0          0          0
3587.93/3599.70	c   vbounds          :      16835          0          0          0
3587.93/3599.70	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.93/3599.70	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   probing          :       1.55       0.00       1.55       0.00       0.00       0.00
3587.93/3599.70	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3587.93/3599.70	c   symmetry         :       0.82       0.00       0.82       0.01       0.00       0.00
3587.93/3599.70	c   vbounds          :       0.06       0.00       0.01       0.06       0.00       0.00
3587.93/3599.70	c Symmetry           :
3587.93/3599.70	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.93/3599.70	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.93/3599.70	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.93/3599.70	c   shadow tree time :       0.00 s
3587.93/3599.70	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.93/3599.70	c   propagation      :       0.02        644        644          -       3372       21.1         87       11.6          -          -          -
3587.93/3599.70	c   infeasible LP    :       0.03          9          9          -         74       30.5          2       12.5          9       37.9          0
3587.93/3599.70	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.93/3599.70	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.93/3599.70	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.93/3599.70	c   applied globally :       0.03          -          -          0       3074       17.2          -          -          9          -          -
3587.93/3599.70	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.93/3599.70	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.93/3599.70	c   cut pool         :       0.26          -        274         33          -          -       4026      30027          -          -          -          -          -    (maximal pool size:       2204)
3587.93/3599.70	c   aggregation      :       1.43       0.00         65         17          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.93/3599.70	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.93/3599.70	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.93/3599.70	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   clique           :       0.45       0.00         17         17          0          0         64       1605          0        357        357          0          0
3587.93/3599.70	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   gomory           :    1920.80       0.00         58         10          0          0       3479      18758         38       1837       1837          0          0
3587.93/3599.70	c   > gomorymi       :          -          -          -          -          -          -          -       4722         19        145        145          0          -
3587.93/3599.70	c   > strongcg       :          -          -          -          -          -          -          -      14036         19       1692       1692          0          -
3587.93/3599.70	c   impliedbounds    :       0.17       0.00         65         17          0          0         32        265          0        218        218          0          0
3587.93/3599.70	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   mcf              :       0.24       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   multilinear      :       0.00       0.00         54         17          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   rlt              :       0.00       0.00         44         10          0          0          0          0          0          0          0          0          0
3587.93/3599.70	c   zerohalf         :       2.18       0.00         65         17          0          0        525       9399         36       4026       4003         23          0
3587.93/3599.70	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.93/3599.70	c   hybrid           :       0.06       0.00        205         17       6441          0      23715        105          0       1948
3587.93/3599.70	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.93/3599.70	c   problem variables:       0.00          -          0          0
3587.93/3599.70	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.93/3599.70	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c   relpscost        :      15.13       0.00        664          0          0          0          0          0          0       1328
3587.93/3599.70	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.93/3599.70	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.93/3599.70	c   LP solutions     :       0.00          -          -          0          0
3587.93/3599.70	c   relax solutions  :       0.00          -          -          0          0
3587.93/3599.70	c   pseudo solutions :       0.00          -          -          0          0
3587.93/3599.70	c   strong branching :       0.00          -          -          0          0
3587.93/3599.70	c   actconsdiving    :       0.00       0.00          0          0          0
3587.93/3599.70	c   adaptivediving   :      10.08       0.00          5          0          0
3587.93/3599.70	c   alns             :      42.30       0.00          4          0          0
3587.93/3599.70	c   bound            :       0.00       0.00          0          0          0
3587.93/3599.70	c   clique           :       0.66       0.00          1          0          0
3587.93/3599.70	c   coefdiving       :       0.00       0.00          0          0          0
3587.93/3599.70	c   completesol      :       0.00       0.00          0          0          0
3587.93/3599.70	c   conflictdiving   :     294.95       0.00         39          0          0
3587.93/3599.70	c   crossover        :       0.00       0.00          0          0          0
3587.93/3599.70	c   dins             :       0.00       0.00          0          0          0
3587.93/3599.70	c   distributiondivin:     105.07       0.00         13          0          0
3587.93/3599.70	c   dps              :       0.00       0.00          0          0          0
3587.93/3599.70	c   dualval          :       0.00       0.00          0          0          0
3587.93/3599.70	c   farkasdiving     :       0.00       0.00          0          0          0
3587.93/3599.70	c   feasjump         :       0.25       0.00          1          0          0
3587.93/3599.70	c   feaspump         :      34.89       0.00          5          0          0
3587.93/3599.70	c   fixandinfer      :       0.00       0.00          0          0          0
3587.93/3599.70	c   fracdiving       :      75.97       0.00         24          0          0
3587.93/3599.70	c   gins             :       0.00       0.00          0          0          0
3587.93/3599.70	c   guideddiving     :       0.00       0.00          0          0          0
3587.93/3599.70	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.93/3599.70	c   indicator        :       0.00       0.00          0          0          0
3587.93/3599.70	c   indicatordiving  :       0.00       0.00          0          0          0
3587.93/3599.70	c   indoneopt        :       0.00       0.00          0          0          0
3587.93/3599.70	c   indrounding      :       0.00       0.00          0          0          0
3587.93/3599.70	c   indtwoopt        :       0.00       0.00          0          0          0
3587.93/3599.70	c   intdiving        :       0.00       0.00          0          0          0
3587.93/3599.70	c   intshifting      :       0.00       0.00          0          0          0
3587.93/3599.70	c   linesearchdiving :      86.85       0.00         13          0          0
3587.93/3599.70	c   localbranching   :       0.00       0.00          0          0          0
3587.93/3599.70	c   locks            :       0.23       0.00          1          0          0
3587.93/3599.70	c   lpface           :       0.02       0.00          0          0          0
3587.93/3599.70	c   mpec             :       0.00       0.00          0          0          0
3587.93/3599.70	c   multistart       :       0.00       0.00          0          0          0
3587.93/3599.70	c   mutation         :       0.00       0.00          0          0          0
3587.93/3599.70	c   nlpdiving        :       0.00       0.00          0          0          0
3587.93/3599.70	c   objpscostdiving  :     191.29       0.00          4          0          0
3587.93/3599.70	c   octane           :       0.00       0.00          0          0          0
3587.93/3599.70	c   ofins            :       0.00       0.00          0          0          0
3587.93/3599.70	c   oneopt           :       0.00       0.00          0          0          0
3587.93/3599.70	c   padm             :       0.00       0.00          0          0          0
3587.93/3599.70	c   proximity        :       0.00       0.00          0          0          0
3587.93/3599.70	c   pscostdiving     :     217.72       0.00         14          0          0
3587.93/3599.70	c   randrounding     :       0.83       0.00        163          0          0
3587.93/3599.70	c   rens             :       1.42       0.00          1          0          0
3587.93/3599.70	c   reoptsols        :       0.00       0.00          0          0          0
3587.93/3599.70	c   repair           :       0.00       0.00          0          0          0
3587.93/3599.70	c   rins             :       0.00       0.00          0          0          0
3587.93/3599.70	c   rootsoldiving    :      47.19       0.00          3          0          0
3587.93/3599.70	c   rounding         :       4.47       0.00        361          0          0
3587.93/3599.70	c   scheduler        :       0.00       0.00          0          0          0
3587.93/3599.70	c   shiftandpropagate:       0.15       0.00          1          0          0
3587.93/3599.70	c   shifting         :      16.27       0.00        201          0          0
3587.93/3599.70	c   simplerounding   :       0.00       0.00          0          0          0
3587.93/3599.70	c   smallcard        :       0.00       0.00          0          0          0
3587.93/3599.70	c   subnlp           :       0.00       0.00          0          0          0
3587.93/3599.70	c   trivial          :       0.02       0.00          2          0          0
3587.93/3599.70	c   trivialnegation  :       0.00       0.00          0          0          0
3587.93/3599.70	c   trustregion      :       0.00       0.00          0          0          0
3587.93/3599.70	c   trysol           :       0.00       0.00          0          0          0
3587.93/3599.70	c   twoopt           :       0.00       0.00          0          0          0
3587.93/3599.70	c   undercover       :       0.00       0.00          0          0          0
3587.93/3599.70	c   vbounds          :       0.69       0.00          1          0          0
3587.93/3599.70	c   veclendiving     :      82.04       0.00         17          0          0
3587.93/3599.70	c   zeroobj          :       0.00       0.00          0          0          0
3587.93/3599.70	c   zirounding       :       3.76       0.00        663          0          0
3587.93/3599.70	c   other solutions  :          -          -          -          0          -
3587.93/3599.70	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.93/3599.70	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
3587.93/3599.70	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
3587.93/3599.70	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
3587.93/3599.70	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
3587.93/3599.70	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
3587.93/3599.70	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
3587.93/3599.70	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
3587.93/3599.70	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
3587.93/3599.70	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.93/3599.70	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.93/3599.70	c   primal LP        :       3.10         84          0       0.00       0.00       3.10         84
3587.93/3599.70	c   dual LP          :     392.12        869     610213     703.01    1556.18       0.04          1
3587.93/3599.70	c   lex dual LP      :       0.00          0          0       0.00          -
3587.93/3599.70	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.93/3599.70	c   resolve instable :       0.00          0          0       0.00          -
3587.93/3599.70	c   diving/probing LP:    1121.45        542     559938    1033.10     499.30
3587.93/3599.70	c   strong branching :       7.80         22       6126     278.45     785.86          -          -          2
3587.93/3599.70	c     (at root node) :          -         22       6126     278.45          -
3587.93/3599.70	c   conflict analysis:       0.00          0          0       0.00          -
3587.93/3599.70	c B&B Tree           :
3587.93/3599.70	c   number of runs   :          1
3587.93/3599.70	c   nodes            :        664 (664 internal, 0 leaves)
3587.93/3599.70	c   feasible leaves  :          0
3587.93/3599.70	c   infeas. leaves   :          0
3587.93/3599.70	c   objective leaves :          0
3587.93/3599.70	c   nodes (total)    :        664 (664 internal, 0 leaves)
3587.93/3599.70	c   nodes left       :        665
3587.93/3599.70	c   max depth        :         29
3587.93/3599.70	c   max depth (total):         29
3587.93/3599.70	c   backtracks       :        190 (28.6%)
3587.93/3599.70	c   early backtracks :          0 (0.0%)
3587.93/3599.70	c   nodes exc. ref.  :          0 (0.0%)
3587.93/3599.70	c   delayed cutoffs  :          0
3587.93/3599.70	c   repropagations   :        174 (129 domain reductions, 0 cutoffs)
3587.93/3599.70	c   avg switch length:       4.19
3587.93/3599.70	c   switching time   :       6.20
3587.93/3599.70	c Root Node          :
3587.93/3599.70	c   First LP value   : +0.00000000000000e+00
3587.93/3599.70	c   First LP Iters   :        732 (3190.11 Iter/sec)
3587.93/3599.70	c   First LP Time    :       0.23
3587.93/3599.70	c   Final Dual Bound : +0.00000000000000e+00
3587.93/3599.70	c   Final Root Iters :       5376
3587.93/3599.70	c   Root LP Estimate : +2.86012342079735e-02
3587.93/3599.70	c Solution           :
3587.93/3599.70	c   Solutions found  :          0 (0 improvements)
3587.93/3599.70	c   Primal Bound     :          -
3587.93/3599.70	c   Dual Bound       : +0.00000000000000e+00
3587.93/3599.70	c   Gap              :   infinite
3587.93/3599.70	c Integrals          :      Total       Avg%
3587.93/3599.70	c   primal-dual      :  359968.83     100.00
3587.93/3599.70	c   primal-ref       :          -          - (not evaluated)
3587.93/3599.70	c   dual-ref         :          -          - (not evaluated)
3588.73/3600.54	c Time complete: 3588.78.

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: 63665 MiB (62297 MiB free)
  memory of node 1: 64507 MiB (63610 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503358-1751171985/watcher-4503358-1751171985 -o /tmp/evaluation-result-4503358-1751171985/solver-4503358-1751171985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23687 --watchdog 3760 pbscip -f HOME/instance-4503358-1751171985.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24291, runsolver pid=24288

[startup+0.100061 s]*
/proc/loadavg: 4.10 4.08 4.04 5/264 24292
/proc/meminfo: memFree=128898076/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=70896 memory=42880 CPUtime=0.09 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 7817 0 0 0 8 1 0 0 20 0 1 0 32876365 72597504 10720 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 17724 10720 3200 3530 0 9175 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70896 KiB
Current children cumulated memory: 42880 KiB

[startup+0.205476 s]*
/proc/loadavg: 4.10 4.08 4.04 5/264 24292
/proc/meminfo: memFree=128846176/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=99296 memory=70656 CPUtime=0.18 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 14779 0 0 0 17 1 0 0 20 0 1 0 32876365 101679104 17664 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 24824 17664 3200 3530 0 16275 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 99296 KiB
Current children cumulated memory: 70656 KiB

[startup+0.30552 s]*
/proc/loadavg: 4.10 4.08 4.04 5/264 24292
/proc/meminfo: memFree=128822236/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=125460 memory=96640 CPUtime=0.29 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 21286 0 0 0 27 2 0 0 20 0 1 0 32876365 128471040 24160 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 31365 24160 3200 3530 0 22816 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 125460 KiB
Current children cumulated memory: 96640 KiB

[startup+0.700127 s]
/proc/loadavg: 4.10 4.08 4.04 5/264 24292
/proc/meminfo: memFree=128748904/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=231448 memory=202368 CPUtime=0.67 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 47207 0 0 0 61 6 0 0 20 0 1 0 32876365 237002752 50592 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 57862 50592 3200 3530 0 49313 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 231448 KiB
Current children cumulated memory: 202368 KiB

[startup+1.50013 s]
/proc/loadavg: 4.10 4.08 4.04 5/264 24292
/proc/meminfo: memFree=128563684/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=599220 memory=566592 CPUtime=1.47 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 138325 0 0 0 126 21 0 0 20 0 1 0 32876365 613601280 141648 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 149805 141648 3552 3530 0 141256 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 599220 KiB
Current children cumulated memory: 566592 KiB

[startup+3.10545 s]
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128472100/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=865244 memory=829312 CPUtime=3.07 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 162512 0 0 0 276 31 0 0 20 0 1 0 32876365 886009856 207328 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 216311 207328 3648 3530 0 207762 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 865244 KiB
Current children cumulated memory: 829312 KiB

[startup+6.30012 s]
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128133104/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=888320 memory=849684 CPUtime=6.26 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 215858 0 0 0 585 41 0 0 20 0 1 0 32876365 909639680 212421 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 222080 212421 3680 3530 0 213531 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 888320 KiB
Current children cumulated memory: 849684 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.07 4.03 5/264 24338
/proc/meminfo: memFree=127347092/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=1909776 memory=1781396 CPUtime=12.63 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 306343 0 0 0 1194 69 0 0 20 0 1 0 32876365 1955610624 445349 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 477444 445349 3776 3530 0 468895 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1909776 KiB
Current children cumulated memory: 1781396 KiB

[startup+25.5001 s]
/proc/loadavg: 4.01 4.06 4.03 5/264 24338
/proc/meminfo: memFree=126881544/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=1953968 memory=1825288 CPUtime=25.39 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 314761 0 0 0 2468 71 0 0 20 0 1 0 32876365 2000863232 456322 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 488492 456322 3904 3530 0 479943 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1953968 KiB
Current children cumulated memory: 1825288 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.09 4.04 5/264 24338
/proc/meminfo: memFree=126872436/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=1953968 memory=1825288 CPUtime=50.92 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 314761 0 0 0 5021 71 0 0 20 0 1 0 32876365 2000863232 456322 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 488492 456322 3904 3530 0 479943 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1953968 KiB
Current children cumulated memory: 1825288 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 24341
/proc/meminfo: memFree=126736508/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=2085788 memory=1904932 CPUtime=101.95 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 320396 0 0 0 10122 73 0 0 20 0 1 0 32876365 2135846912 476233 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 521447 476233 3904 3530 0 512898 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2085788 KiB
Current children cumulated memory: 1904932 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/265 24388
/proc/meminfo: memFree=126398532/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=2122564 memory=1904932 CPUtime=161.74 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 320470 0 0 0 16101 73 0 0 20 0 1 0 32876365 2173505536 476233 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 530641 476233 3904 3530 0 522092 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2122564 KiB
Current children cumulated memory: 1904932 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.04 5/265 24390
/proc/meminfo: memFree=126361216/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=2122564 memory=1904932 CPUtime=221.52 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 320475 0 0 0 22079 73 0 0 20 0 1 0 32876365 2173505536 476233 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 530641 476233 3904 3530 0 522092 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2122564 KiB
Current children cumulated memory: 1904932 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/265 24438
/proc/meminfo: memFree=125293256/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=2175332 memory=1927628 CPUtime=281.31 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 321951 0 0 0 28057 74 0 0 20 0 1 0 32876365 2227539968 481907 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 543833 481907 3904 3530 0 535284 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 2175332 KiB
Current children cumulated memory: 1927628 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/265 24440
/proc/meminfo: memFree=125320624/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=2175332 memory=1927628 CPUtime=341.14 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 321958 0 0 0 34040 74 0 0 20 0 1 0 32876365 2227539968 481907 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 543833 481907 3904 3530 0 535284 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 2175332 KiB
Current children cumulated memory: 1927628 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.04 5/265 24450
/proc/meminfo: memFree=123732788/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=2218244 memory=1927628 CPUtime=400.95 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 321990 0 0 0 40021 74 0 0 20 0 1 0 32876365 2271481856 481907 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 554561 481907 3904 3530 0 546012 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 2218244 KiB
Current children cumulated memory: 1927628 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/265 24452
/proc/meminfo: memFree=123686680/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=2218244 memory=1927628 CPUtime=460.72 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 322050 0 0 0 45998 74 0 0 20 0 1 0 32876365 2271481856 481907 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 554561 481907 3904 3530 0 546012 0

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

/proc/loadavg: 4.07 4.08 4.09 5/263 24596
/proc/meminfo: memFree=120713804/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4196332 memory=2771784 CPUtime=3211.83 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572445 0 0 0 321064 119 0 0 20 0 1 0 32876365 4297043968 692946 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1049083 692946 3936 3530 0 1040534 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 4196332 KiB
Current children cumulated memory: 2771784 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 24598
/proc/meminfo: memFree=120700080/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4233116 memory=2771784 CPUtime=3271.64 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572511 0 0 0 327045 119 0 0 20 0 1 0 32876365 4334710784 692946 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1058279 692946 3936 3530 0 1049730 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 4233116 KiB
Current children cumulated memory: 2771784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 24600
/proc/meminfo: memFree=120674712/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771784 CPUtime=3331.41 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572617 0 0 0 333022 119 0 0 20 0 1 0 32876365 4410048512 692946 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692946 3936 3530 0 1068123 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 24609
/proc/meminfo: memFree=120626680/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771784 CPUtime=3391.21 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572621 0 0 0 339002 119 0 0 20 0 1 0 32876365 4410048512 692946 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692946 3936 3530 0 1068123 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771784 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 24611
/proc/meminfo: memFree=120617852/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771784 CPUtime=3451.02 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572621 0 0 0 344983 119 0 0 20 0 1 0 32876365 4410048512 692946 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692946 3936 3530 0 1068123 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 24614
/proc/meminfo: memFree=120213008/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3510.82 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572665 0 0 0 350963 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3510.82 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 24616
/proc/meminfo: memFree=120151464/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3570.59 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572789 0 0 0 356940 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

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

# cumulated CPU time of all completed processes:  user=3587.57 s, system=1.2581 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 24616
/proc/meminfo: memFree=120151716/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3572.29 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572793 0 0 0 357110 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 24616
/proc/meminfo: memFree=120123424/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3578.66 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572793 0 0 0 357747 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3578.66 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120123424/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3585.04 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572794 0 0 0 358385 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

[startup+3598.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120121368/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3586.64 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572794 0 0 0 358545 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

[startup+3599.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120121368/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3587.43 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572794 0 0 0 358624 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

[startup+3600 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120121368/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4306688 memory=2771912 CPUtime=3588.24 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572823 0 0 0 358705 119 0 0 20 0 1 0 32876365 4410048512 692978 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1076672 692978 3936 3530 0 1068123 0
Current children cumulated CPU time: 3588.24 s
Current children cumulated vsize: 4306688 KiB
Current children cumulated memory: 2771912 KiB

[startup+3600.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120121368/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4209384 memory=2686960 CPUtime=3588.63 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572827 0 0 0 358744 119 0 0 20 0 1 0 32876365 4310409216 671740 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1052346 671740 3936 3530 0 1043797 0
Current children cumulated CPU time: 3588.63 s
Current children cumulated vsize: 4209384 KiB
Current children cumulated memory: 2686960 KiB

[startup+3600.5 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120121368/131250000 swapFree=33010684/33010684
[pid=24291] ppid=24288 vsize=4091184 memory=2568760 CPUtime=3588.73 cores=5,7
/proc/24291/stat : 24291 (pbscip) R 24288 24291 23674 0 -1 4194304 572827 0 0 0 358753 120 0 0 20 0 1 0 32876365 4189372416 642190 18446744073709551615 4235264 18693293 140728878638320 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39743488 140728878647689 140728878647788 140728878647788 140728878653390 0
/proc/24291/statm: 1022796 642190 3936 3530 0 1014247 0
Current children cumulated CPU time: 3588.73 s
Current children cumulated vsize: 4091184 KiB
Current children cumulated memory: 2568760 KiB

Child status: 0

Real time (s): 3600.6
CPU time (s): 3588.83
CPU user time (s): 3587.57
CPU system time (s): 1.2581
CPU usage (%): 99.6733
Max. virtual memory (cumulated for all children) (KiB): 4306688
Max. memory (cumulated for all children) (KiB): 2771912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.58
system time used= 1.2581
maximum resident set size= 2771912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572852
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= 99
involuntary context switches= 1348


# summary of solver processes directly reported to runsolver:
#   pid: 24291
#   total CPU time (s): 3588.83
#   total CPU user time (s): 3587.57
#   total CPU system time (s): 1.2581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1642 second user time and 15.6597 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 06:39:45
IDJOB=4503358
IDBENCH=155426
IDSOLVER=3365
FILE ID=nodeC018/4503358-1751171985
RUNJOBID= nodeC018-1751168386-23687
SLURM_JOB_ID= 9587511
Free space on /tmp= 432984 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-192.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503358-1751171985/watcher-4503358-1751171985 -o /tmp/evaluation-result-4503358-1751171985/solver-4503358-1751171985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23687 --watchdog 3760  pbscip -f HOME/instance-4503358-1751171985.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 7ac327da8fefd7cd3f39afa8bfb7af2c
RANDOM SEED=645580872

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3601.031
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.830
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.825
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3573.633
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.832
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3688.359
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3466.480
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.834
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128945892 kB
MemAvailable:   128671880 kB
Buffers:            3280 kB
Cached:           536472 kB
SwapCached:            0 kB
Active:          1431576 kB
Inactive:         279260 kB
Active(anon):    1189204 kB
Inactive(anon):        0 kB
Active(file):     242372 kB
Inactive(file):   279260 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             53872 kB
Writeback:             0 kB
AnonPages:       1169160 kB
Mapped:           135400 kB
Shmem:             18076 kB
KReclaimable:      86788 kB
Slab:             169840 kB
SReclaimable:      86788 kB
SUnreclaim:        83052 kB
KernelStack:        4212 kB
PageTables:         5256 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1559688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    980992 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432940 MiB
End job on nodeC018 at 2025-06-29 07:39:46