Trace number 4446315

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? 3583.95 3597.48

General information on the benchmark

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

Solver Data 

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4446315-1721332013.opb>
0.79/0.89	c original problem has 10086 variables (10086 bin, 0 int, 0 impl, 0 cont) and 226240 constraints
0.79/0.89	c problem read in 0.88
0.79/0.89	c No objective function, only one solution is needed.
1.28/1.31	c presolving:
1.88/1.97	c    (2.0s) running MILP presolver
2.67/2.76	c    (2.7s) MILP presolver found nothing
3.27/3.36	c (round 1, exhaustive) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 226228 upgd conss, 0 impls, 48174 clqs
3.87/3.97	c (round 2, exhaustive) 1 del vars, 2826 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 4234 chg coeffs, 226228 upgd conss, 0 impls, 48174 clqs
5.86/5.92	c    (5.9s) probing: 51/10085 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.86/5.92	c    (5.9s) probing aborted: 50/50 successive totally useless probings
7.35/7.41	c    (7.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.85/7.90	c    (7.9s) no symmetry present (symcode time: 0.07)
7.97/8.10	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
7.97/8.10	c  1 deleted vars, 2826 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 4324 changed coefficients
7.97/8.10	c  0 implications, 48174 cliques
7.97/8.10	c presolved problem has 10085 variables (10085 bin, 0 int, 0 impl, 0 cont) and 223414 constraints
7.97/8.10	c   22570 constraints of type <knapsack>
7.97/8.10	c   48174 constraints of type <setppc>
7.97/8.10	c       2 constraints of type <linear>
7.97/8.10	c  152668 constraints of type <logicor>
7.97/8.10	c transformed objective value is always integral (scale: 1)
7.97/8.10	c Presolving Time: 6.79
7.97/8.10	c - non default parameters ----------------------------------------------------------------------
7.97/8.10	c # SCIP version 10.0.0
7.97/8.10	c 
7.97/8.10	c # maximal time in seconds to run
7.97/8.10	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.97/8.10	c limits/time = 3596.993175
7.97/8.10	c 
7.97/8.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.97/8.10	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.97/8.10	c limits/memory = 27900
7.97/8.10	c 
7.97/8.10	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
7.97/8.10	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
7.97/8.10	c limits/solutions = 1
7.97/8.10	c 
7.97/8.10	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.
7.97/8.10	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
7.97/8.10	c misc/usesymmetry = 3
7.97/8.10	c 
7.97/8.10	c # belongs reading time to solving time?
7.97/8.10	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.97/8.10	c timing/reading = TRUE
7.97/8.10	c 
7.97/8.10	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
7.97/8.10	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.10	c propagating/symmetry/detectdoublelex = FALSE
7.97/8.10	c 
7.97/8.10	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
7.97/8.10	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.10	c propagating/symmetry/detectsubgroups = FALSE
7.97/8.10	c 
7.97/8.10	c # Type of symmetries that shall be computed?
7.97/8.10	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
7.97/8.10	c propagating/symmetry/symtype = 1
7.97/8.10	c 
7.97/8.10	c # Should components consisting of a single full reflection be handled?
7.97/8.10	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.97/8.10	c propagating/symmetry/usesimplesgncomp = FALSE
7.97/8.10	c 
7.97/8.10	c -----------------------------------------------------------------------------------------------
7.97/8.10	c start solving
7.97/8.10	c 
9.44/9.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.44/9.54	c   9.5s|     1 |     0 |   587 |     - |  1114M |   0 |  10k| 223k| 223k|   0 |  0 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
28.88/29.03	c  29.0s|     1 |     0 |  2797 |     - |  1148M |   0 |  10k| 223k| 223k|  11 |  1 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
43.82/44.11	c  44.1s|     1 |     0 |  2908 |     - |  1171M |   0 |  10k| 223k| 223k|  25 |  2 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
71.59/71.97	c  72.0s|     1 |     0 |  3066 |     - |  1194M |   0 |  10k| 223k| 223k|  33 |  3 |  78 |   0 | 0.000000e+00 |      --      |    Inf | unknown
105.73/106.28	c   106s|     1 |     0 |  3172 |     - |  1217M |   0 |  10k| 223k| 223k|  42 |  4 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
123.06/123.64	c   124s|     1 |     0 |  3416 |     - |  1244M |   0 |  10k| 223k| 223k|  49 |  5 |  83 |   0 | 0.000000e+00 |      --      |    Inf | unknown
167.57/168.31	c   168s|     1 |     0 |  3568 |     - |  1266M |   0 |  10k| 223k| 223k|  55 |  6 |  83 |   0 | 0.000000e+00 |      --      |    Inf | unknown
201.82/202.78	c   203s|     1 |     0 |  3765 |     - |  1288M |   0 |  10k| 223k| 223k|  68 |  7 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
227.70/228.73	c   229s|     1 |     0 |  3989 |     - |  1315M |   0 |  10k| 223k| 223k|  76 |  8 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
229.29/230.34	c   230s|     1 |     0 |  4206 |     - |  1344M |   0 |  10k| 223k| 223k|  87 |  9 |  99 |   0 | 0.000000e+00 |      --      |    Inf | unknown
230.88/231.97	c   232s|     1 |     0 |  4402 |     - |  1367M |   0 |  10k| 223k| 223k|  95 | 10 | 101 |   0 | 0.000000e+00 |      --      |    Inf | unknown
231.48/232.58	c   233s|     1 |     0 |  4763 |     - |  1388M |   0 |  10k| 223k| 223k| 108 | 11 | 103 |   0 | 0.000000e+00 |      --      |    Inf | unknown
251.80/252.90	c   253s|     1 |     2 | 17445 |     - |  1391M |   0 |  10k| 223k| 223k| 108 | 11 | 111 |  19 | 0.000000e+00 |      --      |    Inf | unknown
441.60/443.50	c   443s|   100 |    96 |155072 |1518.3 |  1689M |  12 |  10k| 223k| 223k|1777 |  2 | 366 |  19 | 0.000000e+00 |      --      |    Inf |   7.81%
706.87/709.90	c   710s|   200 |   194 |349051 |1730.1 |  1810M |  13 |  10k| 224k| 223k|4302 |  1 | 988 |  19 | 0.000000e+00 |      --      |    Inf |   8.98%
922.51/926.52	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
922.51/926.52	c   927s|   300 |   293 |535974 |1776.6 |  1903M |  13 |  10k| 224k| 223k|6383 |  1 |1567 |  19 | 0.000000e+00 |      --      |    Inf |  10.55%
1117.66/1122.46	c  1122s|   400 |   393 |721481 |1796.3 |  2109M |  14 |  10k| 224k| 223k|9366 |  1 |1902 |  19 | 0.000000e+00 |      --      |    Inf |  10.55%
1306.40/1311.96	c  1312s|   500 |   493 |894471 |1783.0 |  2139M |  14 |  10k| 224k| 223k|  11k|  1 |2378 |  19 | 0.000000e+00 |      --      |    Inf |  10.55%
1546.14/1552.60	c  1553s|   600 |   592 |  1088k|1810.0 |  2260M |  16 |  10k| 225k| 223k|  14k|  1 |3026 |  19 | 0.000000e+00 |      --      |    Inf |  10.60%
1852.53/1860.21	c  1860s|   700 |   691 |  1323k|1886.5 |  2288M |  20 |  10k| 225k| 223k|  16k|  1 |3748 |  19 | 0.000000e+00 |      --      |    Inf |  10.64%
2087.18/2095.84	c  2096s|   800 |   791 |  1522k|1900.0 |  2321M |  20 |  10k| 225k| 223k|  19k|  1 |4255 |  19 | 0.000000e+00 |      --      |    Inf |  10.64%
2303.65/2313.16	c  2313s|   900 |   891 |  1697k|1882.4 |  2373M |  20 |  10k| 225k| 223k|  21k|  1 |4675 |  19 | 0.000000e+00 |      --      |    Inf |  10.64%
2615.98/2626.59	c  2627s|  1000 |   991 |  1937k|1934.9 |  2426M |  21 |  10k| 225k| 223k|  24k|  1 |5292 |  19 | 0.000000e+00 |      --      |    Inf |  10.64%
2864.81/2876.14	c  2876s|  1100 |  1089 |  2140k|1943.6 |  2459M |  21 |  10k| 225k| 223k|  26k|  1 |5847 |  19 | 0.000000e+00 |      --      |    Inf |  10.89%
3115.41/3127.56	c  3128s|  1200 |  1189 |  2343k|1950.9 |  2492M |  21 |  10k| 225k| 223k|  27k|  1 |6206 |  19 | 0.000000e+00 |      --      |    Inf |  10.89%
3281.19/3293.81	c  3294s|  1300 |  1289 |  2508k|1927.3 |  2506M |  21 |  10k| 225k| 223k|  28k|  1 |6842 |  19 | 0.000000e+00 |      --      |    Inf |  10.89%
3555.75/3569.21	c  3569s|  1400 |  1387 |  2725k|1944.8 |  2516M |  21 |  10k| 225k| 223k|  29k|  2 |7501 |  19 | 0.000000e+00 |      --      |    Inf |  10.89%
3583.47/3597.01	c 
3583.47/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3583.47/3597.01	c Solving Time (sec) : 3597.00
3583.47/3597.01	c Solving Nodes      : 1404
3583.47/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3583.47/3597.01	c Dual Bound         : +0.00000000000000e+00
3583.47/3597.01	c Gap                : infinite
3583.47/3597.01	s UNKNOWN
3583.47/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3583.47/3597.01	c Total Time         :    3597.00
3583.47/3597.01	c   solving          :    3597.00
3583.47/3597.01	c   presolving       :       6.79 (included in solving)
3583.47/3597.01	c   reading          :       0.88 (included in solving)
3583.47/3597.01	c   copying          :       1.22 (4 #copies) (minimal 0.29, maximal 0.32, average 0.30)
3583.47/3597.01	c Original Problem   :
3583.47/3597.01	c   Problem name     : HOME/instance-4446315-1721332013.opb
3583.47/3597.01	c   Variables        : 10086 (10086 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.47/3597.01	c   Constraints      : 226240 initial, 226240 maximal
3583.47/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.47/3597.01	c Presolved Problem  :
3583.47/3597.01	c   Problem name     : t_HOME/instance-4446315-1721332013.opb
3583.47/3597.01	c   Variables        : 10085 (10085 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.47/3597.01	c   Constraints      : 223414 initial, 225694 maximal
3583.47/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.47/3597.01	c   Nonzeros         : 852105 constraint, 100132 clique table
3583.47/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3583.47/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   domcol           :       0.12       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   dualsparsify     :       1.49       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   gateextraction   :       0.26       0.00      2          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   implics          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   milp             :       1.15       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   sparsify         :       0.24       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   trivial          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   dualfix          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   probing          :       1.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   symmetry         :       0.49       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   knapsack         :       0.07       0.00      6          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   setppc           :       0.10       0.00      6          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   linear           :       0.79       0.10      6          0          1          0          0          0         10          0          9          0
3583.47/3597.01	c   logicor          :       0.76       0.12      6          0          0          0          0          0       2816          0          0       4324
3583.47/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   components       :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3583.47/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3583.47/3597.01	c   benderslp        :          0          0          0          0       1400          0          0         22          0          0          0          0          0          0          0
3583.47/3597.01	c   integral         :          0          0          0          0       1400          0          0         22          0          0          0          0          0          0       2800
3583.47/3597.01	c   knapsack         :      22570+     22571         11     109963          0          0          0         18       1700        132         77         52          9          0          0
3583.47/3597.01	c   setppc           :      48174+     48275         11     109831          0          0          0          3      30904        917     206864          0          0          0          0
3583.47/3597.01	c   linear           :          2+         6         11     108819          0          0          0          3          3         10          0          0          0          0          0
3583.47/3597.01	c   logicor          :     152668+    154842         11      68773          0          0          0          0       8342        450       1894         20          3          0          0
3583.47/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3583.47/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   integral         :      14.90       0.00       0.00       0.00      14.90       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   knapsack         :       1.21       0.00       0.19       1.00       0.00       0.00       0.00       0.01       0.00       0.00
3583.47/3597.01	c   setppc           :       2.50       0.00       0.04       2.43       0.00       0.00       0.00       0.00       0.01       0.01
3583.47/3597.01	c   linear           :       0.11       0.10       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   logicor          :       4.06       0.12       0.25       3.67       0.00       0.00       0.00       0.00       0.01       0.01
3583.47/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3583.47/3597.01	c   dualfix          :          1          0          0          0
3583.47/3597.01	c   genvbounds       :          0          0          0          0
3583.47/3597.01	c   nlobbt           :          0          0          0          0
3583.47/3597.01	c   obbt             :          0          0          0          0
3583.47/3597.01	c   probing          :          0          0          0          0
3583.47/3597.01	c   pseudoobj        :          0          0          0          0
3583.47/3597.01	c   redcost          :          0          0          0          0
3583.47/3597.01	c   rootredcost      :          0          0          0          0
3583.47/3597.01	c   symmetry         :          0          0          0          0
3583.47/3597.01	c   vbounds          :      31377          0          0          0
3583.47/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3583.47/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3583.47/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   probing          :       1.00       0.00       1.00       0.00       0.00       0.00
3583.47/3597.01	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3583.47/3597.01	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3583.47/3597.01	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3583.47/3597.01	c   symmetry         :       0.50       0.00       0.49       0.01       0.00       0.00
3583.47/3597.01	c   vbounds          :       0.05       0.00       0.00       0.04       0.00       0.00
3583.47/3597.01	c Symmetry           :
3583.47/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3583.47/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3583.47/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3583.47/3597.01	c   shadow tree time :       0.00 s
3583.47/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3583.47/3597.01	c   propagation      :       0.05       1504       1501          -       8144       20.1        286        9.2          -          -          -
3583.47/3597.01	c   infeasible LP    :       0.03         16         16          -        127       26.8          3        7.3         16       24.1          0
3583.47/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3583.47/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3583.47/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3583.47/3597.01	c   applied globally :       0.09          -          -          0       7485       16.8          -          -         16          -          -
3583.47/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3583.47/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3583.47/3597.01	c   cut pool         :       0.53          -        612         21          -          -       7535     165604          -          -          -          -          -    (maximal pool size:       3578)
3583.47/3597.01	c   aggregation      :       1.60       0.00        107         11          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.47/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.47/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.47/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   clique           :       0.16       0.00         11         11          0          0         54       3277          0        682        682          0          0
3583.47/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   gomory           :     295.16       0.00        106         10          0          0       6208      87484          8       6855       6855          0          0
3583.47/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -      20350          4        265        265          0          -
3583.47/3597.01	c   > strongcg       :          -          -          -          -          -          -          -      67134          4       6590       6590          0          -
3583.47/3597.01	c   impliedbounds    :       0.14       0.00        107         11          0          0         37       1932          0       1417       1417          0          0
3583.47/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   mcf              :       0.12       0.00          1          1          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   multilinear      :       0.00       0.00         71         11          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   rlt              :       0.00       0.00         92         10          0          0          0          0          0          0          0          0          0
3583.47/3597.01	c   zerohalf         :       2.86       0.00        107         11          0          0       1402      72911        158      21102      21004         98          0
3583.47/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3583.47/3597.01	c   hybrid           :       0.23       0.00        510         11      30068          0     135774        108          0       2384
3583.47/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3583.47/3597.01	c   problem variables:       0.00          -          0          0
3583.47/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3583.47/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c   relpscost        :      14.89       0.00       1400          0          0          0          0          0          0       2800
3583.47/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3583.47/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3583.47/3597.01	c   LP solutions     :       0.00          -          -          0          0
3583.47/3597.01	c   relax solutions  :       0.00          -          -          0          0
3583.47/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3583.47/3597.01	c   strong branching :       0.00          -          -          0          0
3583.47/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3583.47/3597.01	c   adaptivediving   :      38.28       0.00         12          0          0
3583.47/3597.01	c   alns             :       2.96       0.00          3          0          0
3583.47/3597.01	c   bound            :       0.00       0.00          0          0          0
3583.47/3597.01	c   clique           :       0.42       0.00          1          0          0
3583.47/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3583.47/3597.01	c   completesol      :       0.00       0.00          0          0          0
3583.47/3597.01	c   conflictdiving   :     626.71       0.00         94          0          0
3583.47/3597.01	c   crossover        :       0.00       0.00          0          0          0
3583.47/3597.01	c   dins             :       0.00       0.00          0          0          0
3583.47/3597.01	c   distributiondivin:     225.83       0.00         26          0          0
3583.47/3597.01	c   dps              :       0.00       0.00          0          0          0
3583.47/3597.01	c   dualval          :       0.00       0.00          0          0          0
3583.47/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3583.47/3597.01	c   feasjump         :       0.24       0.00          1          0          0
3583.47/3597.01	c   feaspump         :     101.05       0.00          5          0          0
3583.47/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3583.47/3597.01	c   fracdiving       :     274.32       0.00         91          0          0
3583.47/3597.01	c   gins             :       0.00       0.00          0          0          0
3583.47/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3583.47/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3583.47/3597.01	c   indicator        :       0.00       0.00          0          0          0
3583.47/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3583.47/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3583.47/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3583.47/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3583.47/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3583.47/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3583.47/3597.01	c   linesearchdiving :     230.57       0.00         44          0          0
3583.47/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3583.47/3597.01	c   locks            :       0.13       0.00          1          0          0
3583.47/3597.01	c   lpface           :       0.03       0.00          0          0          0
3583.47/3597.01	c   mpec             :       0.00       0.00          0          0          0
3583.47/3597.01	c   multistart       :       0.00       0.00          0          0          0
3583.47/3597.01	c   mutation         :       0.00       0.00          0          0          0
3583.47/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3583.47/3597.01	c   objpscostdiving  :      29.71       0.00          2          0          0
3583.47/3597.01	c   octane           :       0.00       0.00          0          0          0
3583.47/3597.01	c   ofins            :       0.00       0.00          0          0          0
3583.47/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3583.47/3597.01	c   padm             :       0.00       0.00          0          0          0
3583.47/3597.01	c   proximity        :       0.00       0.00          0          0          0
3583.47/3597.01	c   pscostdiving     :     486.62       0.00         40          0          0
3583.47/3597.01	c   randrounding     :       0.29       0.00         25          0          0
3583.47/3597.01	c   rens             :       0.77       0.00          1          0          0
3583.47/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3583.47/3597.01	c   repair           :       0.00       0.00          0          0          0
3583.47/3597.01	c   rins             :       0.00       0.00          0          0          0
3583.47/3597.01	c   rootsoldiving    :      27.38       0.00          2          0          0
3583.47/3597.01	c   rounding         :       4.52       0.00        583          0          0
3583.47/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3583.47/3597.01	c   shiftandpropagate:       0.11       0.00          1          0          0
3583.47/3597.01	c   shifting         :      26.90       0.00        374          0          0
3583.47/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3583.47/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3583.47/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3583.47/3597.01	c   trivial          :       0.01       0.00          2          0          0
3583.47/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3583.47/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3583.47/3597.01	c   trysol           :       0.00       0.00          0          0          0
3583.47/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3583.47/3597.01	c   undercover       :       0.00       0.00          0          0          0
3583.47/3597.01	c   vbounds          :       0.39       0.00          1          0          0
3583.47/3597.01	c   veclendiving     :     139.34       0.00         46          0          0
3583.47/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3583.47/3597.01	c   zirounding       :       4.40       0.00       1000          0          0
3583.47/3597.01	c   other solutions  :          -          -          -          0          -
3583.47/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3583.47/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.47/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.47/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.47/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.47/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.47/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.47/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.47/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3583.47/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3583.47/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3583.47/3597.01	c   primal LP        :       5.69        249          0       0.00       0.00       5.69        249
3583.47/3597.01	c   dual LP          :    1000.63       1911    1694243     886.57    1693.18       0.00          0
3583.47/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3583.47/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3583.47/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3583.47/3597.01	c   diving/probing LP:    2145.61        858    1055315    1229.97     491.85
3583.47/3597.01	c   strong branching :       6.32         19       8245     433.95    1303.82          -          -          6
3583.47/3597.01	c     (at root node) :          -         19       8245     433.95          -
3583.47/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3583.47/3597.01	c B&B Tree           :
3583.47/3597.01	c   number of runs   :          1
3583.47/3597.01	c   nodes            :       1404 (1400 internal, 4 leaves)
3583.47/3597.01	c   feasible leaves  :          0
3583.47/3597.01	c   infeas. leaves   :          3
3583.47/3597.01	c   objective leaves :          0
3583.47/3597.01	c   nodes (total)    :       1404 (1400 internal, 4 leaves)
3583.47/3597.01	c   nodes left       :       1390
3583.47/3597.01	c   max depth        :         21
3583.47/3597.01	c   max depth (total):         21
3583.47/3597.01	c   backtracks       :        501 (35.7%)
3583.47/3597.01	c   early backtracks :          0 (0.0%)
3583.47/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3583.47/3597.01	c   delayed cutoffs  :          8
3583.47/3597.01	c   repropagations   :         77 (547 domain reductions, 2 cutoffs)
3583.47/3597.01	c   avg switch length:       5.42
3583.47/3597.01	c   switching time   :      10.38
3583.47/3597.01	c Root Node          :
3583.47/3597.01	c   First LP value   : +0.00000000000000e+00
3583.47/3597.01	c   First LP Iters   :        587 (4305.44 Iter/sec)
3583.47/3597.01	c   First LP Time    :       0.14
3583.47/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3583.47/3597.01	c   Final Root Iters :       4763
3583.47/3597.01	c   Root LP Estimate : +2.26158575472131e-02
3583.47/3597.01	c Solution           :
3583.47/3597.01	c   Solutions found  :          0 (0 improvements)
3583.47/3597.01	c   Primal Bound     :          -
3583.47/3597.01	c   Dual Bound       : +0.00000000000000e+00
3583.47/3597.01	c   Gap              :   infinite
3583.47/3597.01	c Integrals          :      Total       Avg%
3583.47/3597.01	c   primal-dual      :  359699.70     100.00
3583.47/3597.01	c   primal-ref       :          -          - (not evaluated)
3583.47/3597.01	c   dual-ref         :          -          - (not evaluated)
3583.86/3597.45	c Time complete: 3583.92.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (57651 MiB free)
  memory of node 1: 64510 MiB (54049 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=967436, runsolver pid=967433

[startup+0.100747 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114368596/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=67744 memory=27216 CPUtime=0.09 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 3876 0 0 0 9 0 0 0 20 0 1 0 185357988 69369856 6804 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 16936 6804 3217 3540 0 5193 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 27216 KiB

[startup+0.213015 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114354456/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=83464 memory=42304 CPUtime=0.2 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 7653 0 0 0 19 1 0 0 20 0 1 0 185357988 85467136 10510 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 20866 10510 3217 3540 0 9123 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83464 KiB
Current children cumulated memory: 42304 KiB

[startup+0.312824 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114340232/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=95416 memory=53944 CPUtime=0.31 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 10635 0 0 0 29 2 0 0 20 0 1 0 185357988 97705984 13486 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 23854 13486 3217 3540 0 12111 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95416 KiB
Current children cumulated memory: 53944 KiB

[startup+0.700347 s]
/proc/loadavg: 4.29 4.41 4.29 5/242 967437
/proc/meminfo: memFree=114315228/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=151240 memory=109612 CPUtime=0.68 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 24546 0 0 0 63 5 0 0 20 0 1 0 185357988 154869760 27403 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 37810 27403 3217 3540 0 26067 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151240 KiB
Current children cumulated memory: 109612 KiB

[startup+1.50033 s]
/proc/loadavg: 4.27 4.40 4.29 5/242 967437
/proc/meminfo: memFree=114207880/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=383808 memory=339348 CPUtime=1.48 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 82342 0 0 0 133 15 0 0 20 0 1 0 185357988 393019392 84837 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 95952 84837 3569 3540 0 84209 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 383808 KiB
Current children cumulated memory: 339348 KiB

[startup+3.11279 s]
/proc/loadavg: 4.27 4.40 4.29 5/242 967437
/proc/meminfo: memFree=113975636/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=504200 memory=456516 CPUtime=3.08 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 121408 0 0 0 283 25 0 0 20 0 1 0 185357988 516300800 114129 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 126050 114129 3712 3540 0 114307 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 504200 KiB
Current children cumulated memory: 456516 KiB

[startup+6.30032 s]
/proc/loadavg: 4.25 4.39 4.28 5/242 967437
/proc/meminfo: memFree=113893536/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=768496 memory=668824 CPUtime=6.26 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 135182 0 0 0 595 31 0 0 20 0 1 0 185357988 786939904 167206 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 192124 167206 3760 3540 0 180381 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 768496 KiB
Current children cumulated memory: 668824 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.39 4.28 5/242 967439
/proc/meminfo: memFree=113208416/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1282728 memory=1185052 CPUtime=12.63 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 195914 0 0 0 1217 46 0 0 20 0 1 0 185357988 1313513472 296263 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 320682 296263 3952 3540 0 308939 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1282728 KiB
Current children cumulated memory: 1185052 KiB

[startup+25.5004 s]
/proc/loadavg: 4.19 4.37 4.28 5/242 967440
/proc/meminfo: memFree=113208296/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1282728 memory=1185256 CPUtime=25.38 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 195962 0 0 0 2491 47 0 0 20 0 1 0 185357988 1313513472 296314 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 320682 296314 3952 3540 0 308939 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1282728 KiB
Current children cumulated memory: 1185256 KiB

[startup+51.1128 s]
/proc/loadavg: 4.11 4.34 4.27 5/242 967445
/proc/meminfo: memFree=113159008/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1380056 memory=1234072 CPUtime=50.88 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 200603 0 0 0 5039 49 0 0 20 0 1 0 185357988 1413177344 308518 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 345014 308518 3952 3540 0 333271 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1380056 KiB
Current children cumulated memory: 1234072 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.31 4.26 5/242 967453
/proc/meminfo: memFree=113140164/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1419268 memory=1252532 CPUtime=101.85 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 201688 0 0 0 10135 50 0 0 20 0 1 0 185357988 1453330432 313133 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 354817 313133 3952 3540 0 343074 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 1419268 KiB
Current children cumulated memory: 1252532 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.27 4.25 5/242 967464
/proc/meminfo: memFree=113139708/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1461168 memory=1252620 CPUtime=161.59 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 201794 0 0 0 16109 50 0 0 20 0 1 0 185357988 1496236032 313155 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 365292 313155 3952 3540 0 353549 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 1461168 KiB
Current children cumulated memory: 1252620 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.23 4.24 5/243 967477
/proc/meminfo: memFree=113139080/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1503068 memory=1252860 CPUtime=221.33 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 201936 0 0 0 22082 51 0 0 20 0 1 0 185357988 1539141632 313215 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 375767 313215 3952 3540 0 364024 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 1503068 KiB
Current children cumulated memory: 1252860 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.20 4.23 5/243 967487
/proc/meminfo: memFree=112905536/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1823516 memory=1485728 CPUtime=281.08 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 278876 0 0 0 28045 63 0 0 20 0 1 0 185357988 1867280384 371432 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 455879 371432 3999 3540 0 444136 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 1823516 KiB
Current children cumulated memory: 1485728 KiB

[startup+342.3 s]
/proc/loadavg: 4.83 4.37 4.28 5/243 967498
/proc/meminfo: memFree=112901136/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1823516 memory=1485896 CPUtime=340.83 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 278958 0 0 0 34019 64 0 0 20 0 1 0 185357988 1867280384 371474 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 455879 371474 3999 3540 0 444136 0
Current children cumulated CPU time: 340.83 s
Current children cumulated vsize: 1823516 KiB
Current children cumulated memory: 1485896 KiB

[startup+402.3 s]
/proc/loadavg: 4.71 4.45 4.32 5/243 967508
/proc/meminfo: memFree=112889048/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1860032 memory=1485928 CPUtime=400.58 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 279076 0 0 0 39994 64 0 0 20 0 1 0 185357988 1904672768 371482 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 465008 371482 3999 3540 0 453265 0
Current children cumulated CPU time: 400.58 s
Current children cumulated vsize: 1860032 KiB
Current children cumulated memory: 1485928 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 4.38 4.30 5/243 967518
/proc/meminfo: memFree=112861904/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=1985764 memory=1487992 CPUtime=460.32 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 279146 0 0 0 45967 65 0 0 20 0 1 0 185357988 2033422336 371998 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 496441 371998 3999 3540 0 484698 0

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

/proc/loadavg: 4.23 4.15 4.14 5/242 969311
/proc/meminfo: memFree=124241348/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1778748 CPUtime=3150.1 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 361677 0 0 0 314918 92 0 0 20 0 1 0 185357988 2948063232 444687 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444687 4015 3540 0 707999 0
Current children cumulated CPU time: 3150.1 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1778748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.86 4.34 4.21 5/245 969326
/proc/meminfo: memFree=124235432/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3209.91 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 362092 0 0 0 320899 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3209.91 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.36 4.29 4.20 5/245 969336
/proc/meminfo: memFree=124230396/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3269.72 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 362438 0 0 0 326880 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3269.72 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.25 4.19 5/245 969348
/proc/meminfo: memFree=124226376/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3329.53 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 362767 0 0 0 332861 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3329.53 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.22 4.18 5/245 969358
/proc/meminfo: memFree=124221048/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779012 CPUtime=3389.35 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 363125 0 0 0 338843 92 0 0 20 0 1 0 185357988 2948063232 444753 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444753 4015 3540 0 707999 0
Current children cumulated CPU time: 3389.35 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/246 969371
/proc/meminfo: memFree=124206020/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779016 CPUtime=3449.17 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 363482 0 0 0 344824 93 0 0 20 0 1 0 185357988 2948063232 444754 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444754 4015 3540 0 707999 0
Current children cumulated CPU time: 3449.17 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779016 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.17 4.17 5/245 969383
/proc/meminfo: memFree=124201268/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2878968 memory=1779016 CPUtime=3508.99 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 363825 0 0 0 350806 93 0 0 20 0 1 0 185357988 2948063232 444754 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 719742 444754 4015 3540 0 707999 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 2878968 KiB
Current children cumulated memory: 1779016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.15 4.16 5/245 969394
/proc/meminfo: memFree=124071264/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903528 CPUtime=3568.81 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394829 0 0 0 356783 98 0 0 20 0 1 0 185357988 3081207808 475882 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475882 4015 3540 0 740505 0
Current children cumulated CPU time: 3568.81 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903528 KiB

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

# cumulated CPU time of all completed processes:  user=3582.94 s, system=1.0122 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.15 4.16 5/245 969394
/proc/meminfo: memFree=124071272/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3570.51 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394830 0 0 0 356953 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3576.88 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394866 0 0 0 357590 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3576.88 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004392/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3580.07 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394870 0 0 0 357909 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3580.07 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004392/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3581.67 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394873 0 0 0 358069 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3581.67 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3583.26 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394874 0 0 0 358228 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3583.26 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB

[startup+3597.2 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=3008992 memory=1903712 CPUtime=3583.66 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394888 0 0 0 358268 98 0 0 20 0 1 0 185357988 3081207808 475928 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 752248 475928 4015 3540 0 740505 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 3008992 KiB
Current children cumulated memory: 1903712 KiB

[startup+3597.4 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 969395
/proc/meminfo: memFree=124004400/131655788 swapFree=131071996/131071996
[pid=967436] ppid=967433 vsize=2982500 memory=1877280 CPUtime=3583.86 cores=0,2
/proc/967436/stat : 967436 (pbscip) R 967433 967436 963708 0 -1 4194304 394892 0 0 0 358288 98 0 0 20 0 1 0 185357988 3054080000 469320 134679101440 4194304 18693293 140732746009024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 26681344 140732746011651 140732746011750 140732746011750 140732746018766 0
/proc/967436/statm: 745625 469320 4015 3540 0 733882 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 2982500 KiB
Current children cumulated memory: 1877280 KiB

Child status: 0

Real time (s): 3597.48
CPU time (s): 3583.95
CPU user time (s): 3582.94
CPU system time (s): 1.0122
CPU usage (%): 99.6239
Max. virtual memory (cumulated for all children) (KiB): 3008992
Max. memory (cumulated for all children) (KiB): 1903712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.94
system time used= 1.0122
maximum resident set size= 1903712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395438
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= 34
involuntary context switches= 25091


# summary of solver processes directly reported to runsolver:
#   pid: 967436
#   total CPU time (s): 3583.95
#   total CPU user time (s): 3582.94
#   total CPU system time (s): 1.0122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0774 second user time and 35.3284 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-18 21:47:06
IDJOB=4446315
IDBENCH=155555
IDSOLVER=3059
FILE ID=nodeC007/4446315-1721332013
RUNJOBID= nodeC007-1721327100-963756
SLURM_JOB_ID= 7542682
Free space on /tmp= 723612 MiB

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

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

MD5SUM BENCH= 71fdab66bbdfc1c9c6ce1eef27fb98d4
RANDOM SEED=2130766838

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114381464 kB
MemAvailable:   117283500 kB
Buffers:          506820 kB
Cached:          3225928 kB
SwapCached:            0 kB
Active:          1162972 kB
Inactive:       15523192 kB
Active(anon):       1460 kB
Inactive(anon): 12989692 kB
Active(file):    1161512 kB
Inactive(file):  2533500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28148 kB
Writeback:             0 kB
AnonPages:      12949696 kB
Mapped:           140716 kB
Shmem:             37704 kB
KReclaimable:      94112 kB
Slab:             196740 kB
SReclaimable:      94112 kB
SUnreclaim:       102628 kB
KernelStack:        3888 kB
PageTables:        35176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   14881748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58240 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6682624 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC007 at 2024-07-18 22:47:03