Trace number 4432880

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? 3590.38 3601.15

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_1_mh_ic.opb
MD5SUMc67f7d2b84b900287505153e75597a80
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4279450
Best CPU time to get the best result obtained on this benchmark3600.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 107171875
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 77582822106
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 107171875
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 77582822106
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432880-1721140053.opb>
2.28/2.36	c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
2.28/2.36	c problem read in 2.36
4.38/4.44	c presolving:
5.77/5.88	c (round 1, fast)       11275 del vars, 7354 del conss, 0 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 0 impls, 356526 clqs
7.27/7.37	c    (7.4s) running MILP presolver
12.85/12.94	c    (12.9s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
15.44/15.50	c (round 2, exhaustive) 11275 del vars, 8579 del conss, 0 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 0 impls, 356526 clqs
19.23/19.35	c (round 3, exhaustive) 11275 del vars, 8579 del conss, 0 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 356526 clqs
24.21/24.32	c (round 4, medium)     11275 del vars, 248679 del conss, 705600 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 1062126 clqs
28.20/28.32	c (round 5, exhaustive) 11275 del vars, 1194379 del conss, 945700 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 1062126 clqs
31.00/31.19	c (round 6, exhaustive) 70075 del vars, 1253179 del conss, 945700 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 885726 clqs
32.49/32.63	c (round 7, exhaustive) 70075 del vars, 1254404 del conss, 945700 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 885726 clqs
156.08/156.62	c    (156.6s) probing: 1000/300225 (0.3%) - 0 fixings, 0 aggregations, 383616 implications, 0 bound changes
156.18/156.74	c    (156.7s) probing: 1001/300225 (0.3%) - 0 fixings, 0 aggregations, 384000 implications, 0 bound changes
156.18/156.74	c    (156.7s) probing aborted: 1000/1000 successive useless probings
156.18/156.74	c    (156.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
157.08/157.67	c    (157.7s) no symmetry present (symcode time: 0.36)
157.47/158.03	c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
157.47/158.03	c  70075 deleted vars, 1254404 deleted constraints, 945700 added constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 6125 changed coefficients
157.47/158.03	c  0 implications, 1269726 cliques
157.47/158.03	c presolved problem has 300225 variables (300225 bin, 0 int, 0 impl, 0 cont) and 539254 constraints
157.47/158.03	c    1375 constraints of type <knapsack>
157.47/158.03	c  356526 constraints of type <setppc>
157.47/158.03	c  180075 constraints of type <and>
157.47/158.03	c       3 constraints of type <linear>
157.47/158.03	c    1275 constraints of type <logicor>
157.47/158.03	c transformed objective value is always integral (scale: 1)
157.47/158.03	c Presolving Time: 153.71
157.47/158.03	c - non default parameters ----------------------------------------------------------------------
157.47/158.03	c # SCIP version 10.0.0
157.47/158.03	c 
157.47/158.03	c # maximal time in seconds to run
157.47/158.03	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
157.47/158.03	c limits/time = 3596.997059
157.47/158.03	c 
157.47/158.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
157.47/158.03	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
157.47/158.03	c limits/memory = 27900
157.47/158.03	c 
157.47/158.03	c # belongs reading time to solving time?
157.47/158.03	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
157.47/158.03	c timing/reading = TRUE
157.47/158.03	c 
157.47/158.03	c -----------------------------------------------------------------------------------------------
157.47/158.03	c start solving
157.57/158.10	c 
860.38/862.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
860.38/862.96	c   863s|     1 |     0 |  7864 |     - |  4071M |   0 | 300k| 539k| 719k|   0 |  0 | 305 |   0 | 4.657579e+05 |      --      |    Inf | unknown
1140.64/1144.04	c  1144s|     1 |     0 | 32110 |     - |  4314M |   0 | 300k| 539k| 719k|  36 |  1 | 337 |   0 | 4.988293e+05 |      --      |    Inf | unknown
1185.04/1188.55	c  1189s|     1 |     0 | 33388 |     - |  4445M |   0 | 300k| 539k| 719k|  82 |  2 | 340 |   0 | 5.222530e+05 |      --      |    Inf | unknown
1236.42/1240.10	c  1240s|     1 |     0 | 34417 |     - |  4562M |   0 | 300k| 539k| 719k| 120 |  3 | 342 |   0 | 5.357502e+05 |      --      |    Inf | unknown
1301.46/1305.20	c  1305s|     1 |     0 | 34852 |     - |  4690M |   0 | 300k| 539k| 719k| 151 |  4 | 344 |   0 | 5.388949e+05 |      --      |    Inf | unknown
1361.60/1365.53	c  1366s|     1 |     0 | 35334 |     - |  4802M |   0 | 300k| 539k| 719k| 176 |  5 | 345 |   0 | 5.404307e+05 |      --      |    Inf | unknown
1415.77/1419.88	c  1420s|     1 |     0 | 36168 |     - |  4925M |   0 | 300k| 539k| 719k| 208 |  6 | 347 |   0 | 5.487662e+05 |      --      |    Inf | unknown
1466.15/1470.38	c  1470s|     1 |     0 | 36691 |     - |  5053M |   0 | 300k| 539k| 719k| 236 |  7 | 351 |   0 | 5.516017e+05 |      --      |    Inf | unknown
1517.22/1521.52	c  1522s|     1 |     0 | 37537 |     - |  5185M |   0 | 300k| 539k| 719k| 267 |  8 | 352 |   0 | 5.628573e+05 |      --      |    Inf | unknown
1566.90/1571.30	c  1571s|     1 |     0 | 38524 |     - |  5304M |   0 | 300k| 539k| 719k| 370 |  9 | 353 |   0 | 5.749209e+05 |      --      |    Inf | unknown
1635.83/1640.44	c  1640s|     1 |     0 | 38931 |     - |  5435M |   0 | 300k| 539k| 719k| 388 | 10 | 356 |   0 | 5.782554e+05 |      --      |    Inf | unknown
1645.11/1649.73	c  1650s|     1 |     0 | 39472 |     - |  5527M |   0 | 300k| 539k| 719k| 405 | 11 | 356 |   0 | 5.822650e+05 |      --      |    Inf | unknown
1653.89/1658.55	c  1659s|     1 |     0 | 40026 |     - |  5604M |   0 | 300k| 539k| 719k| 413 | 12 | 357 |   0 | 5.879949e+05 |      --      |    Inf | unknown
1661.76/1666.44	c  1666s|     1 |     0 | 40328 |     - |  5684M |   0 | 300k| 539k| 719k| 422 | 13 | 358 |   0 | 5.897295e+05 |      --      |    Inf | unknown
1668.54/1673.23	c  1673s|     1 |     0 | 40423 |     - |  5761M |   0 | 300k| 539k| 719k| 427 | 14 | 358 |   0 | 5.907460e+05 |      --      |    Inf | unknown
1675.33/1680.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1675.33/1680.03	c  1680s|     1 |     0 | 40592 |     - |  5839M |   0 | 300k| 539k| 719k| 434 | 15 | 359 |   0 | 5.914457e+05 |      --      |    Inf | unknown
1682.61/1687.38	c  1687s|     1 |     0 | 40812 |     - |  5916M |   0 | 300k| 539k| 719k| 443 | 16 | 362 |   0 | 5.933105e+05 |      --      |    Inf | unknown
1688.70/1693.47	c  1693s|     1 |     0 | 40879 |     - |  5985M |   0 | 300k| 539k| 719k| 454 | 17 | 366 |   0 | 5.934889e+05 |      --      |    Inf | unknown
1695.98/1700.75	c  1701s|     1 |     0 | 41123 |     - |  6062M |   0 | 300k| 539k| 719k| 462 | 18 | 366 |   0 | 5.948314e+05 |      --      |    Inf | unknown
1703.17/1707.90	c  1708s|     1 |     0 | 41373 |     - |  6140M |   0 | 300k| 539k| 719k| 471 | 19 | 369 |   0 | 5.959320e+05 |      --      |    Inf | unknown
1711.85/1716.68	c  1717s|     1 |     0 | 41796 |     - |  6218M |   0 | 300k| 539k| 719k| 482 | 20 | 372 |   0 | 5.976544e+05 |      --      |    Inf | unknown
1719.23/1724.09	c  1724s|     1 |     0 | 41927 |     - |  6226M |   0 | 300k| 539k| 719k| 489 | 21 | 373 |   0 | 5.981367e+05 |      --      |    Inf | unknown
1725.11/1729.92	c  1730s|     1 |     0 | 41946 |     - |  6235M |   0 | 300k| 539k| 719k| 497 | 22 | 376 |   0 | 5.981536e+05 |      --      |    Inf | unknown
1730.99/1735.85	c  1736s|     1 |     0 | 41990 |     - |  6235M |   0 | 300k| 539k| 719k| 503 | 23 | 380 |   0 | 5.983392e+05 |      --      |    Inf | unknown
1737.98/1742.89	c  1743s|     1 |     0 | 42059 |     - |  6243M |   0 | 300k| 539k| 719k| 507 | 24 | 385 |   0 | 5.985569e+05 |      --      |    Inf | unknown
1744.06/1748.92	c  1749s|     1 |     0 | 42104 |     - |  6252M |   0 | 300k| 539k| 719k| 509 | 25 | 387 |   0 | 5.986029e+05 |      --      |    Inf | unknown
1750.54/1755.43	c  1755s|     1 |     0 | 42245 |     - |  6260M |   0 | 300k| 539k| 719k| 510 | 26 | 390 |   0 | 5.987146e+05 |      --      |    Inf | unknown
1755.93/1760.86	c  1761s|     1 |     0 | 42248 |     - |  6268M |   0 | 300k| 539k| 719k| 512 | 27 | 392 |   0 | 5.987146e+05 |      --      |    Inf | unknown
2101.72/2107.75	c  2108s|     1 |     2 | 71528 |     - |  6306M |   0 | 300k| 539k| 719k| 512 | 28 | 394 |  44 | 6.174159e+05 |      --      |    Inf | unknown
3586.24/3597.05	c 
3586.24/3597.05	c SCIP Status        : solving was interrupted [time limit reached]
3586.24/3597.05	c Solving Time (sec) : 3597.03
3586.24/3597.05	c Solving Nodes      : 16
3586.24/3597.05	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.24/3597.05	c Dual Bound         : +6.31728524418694e+05
3586.24/3597.05	c Gap                : infinite
3586.24/3597.05	s UNKNOWN
3586.24/3597.05	c SCIP Status        : solving was interrupted [time limit reached]
3586.24/3597.05	c Total Time         :    3597.03
3586.24/3597.05	c   solving          :    3597.03
3586.24/3597.05	c   presolving       :     153.71 (included in solving)
3586.24/3597.05	c   reading          :       2.36 (included in solving)
3586.24/3597.05	c   copying          :       2.44 (2 #copies) (minimal 1.17, maximal 1.27, average 1.22)
3586.24/3597.05	c Original Problem   :
3586.24/3597.05	c   Problem name     : HOME/instance-4432880-1721140053.opb
3586.24/3597.05	c   Variables        : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.24/3597.05	c   Constraints      : 847958 initial, 847958 maximal
3586.24/3597.06	c   Objective        : minimize, 132350 non-zeros (abs.min = 1, abs.max = 1.07172e+08)
3586.24/3597.06	c Presolved Problem  :
3586.24/3597.06	c   Problem name     : t_HOME/instance-4432880-1721140053.opb
3586.24/3597.06	c   Variables        : 300225 (300225 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.24/3597.06	c   Constraints      : 539254 initial, 539442 maximal
3586.24/3597.06	c   Objective        : minimize, 123725 non-zeros (abs.min = 6, abs.max = 2.14344e+08)
3586.24/3597.06	c   Nonzeros         : 1567225 constraint, 2539592 clique table
3586.24/3597.06	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.24/3597.06	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   gateextraction   :       4.15       0.00      4          0          0          0          0          0     945700     240100          0          0
3586.24/3597.06	c   implics          :       0.04       0.00      7          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   milp             :       6.94       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   trivial          :       0.09       0.00      8          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   dualfix          :       0.09       0.00      8       7400          0          0          0          0          0          0          0          0
3586.24/3597.06	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   probing          :     122.56       0.01      1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   symmetry         :       0.93       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   vbounds          :       0.49       0.00      2          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   knapsack         :       3.12       0.01     13          0          0          0          0          0     240100     705600          0          0
3586.24/3597.06	c   setppc           :       2.95       0.03     13          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   and              :       2.91       0.00      6          0      58800          0          0          0      60025          0          0          0
3586.24/3597.06	c   linear           :       7.03       0.41     11        200       3675          0        200          0       8579          0       1225       6125
3586.24/3597.06	c   logicor          :       0.74       0.01     11          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   components       :       0.27       0.00      1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.24/3597.06	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.24/3597.06	c   benderslp        :          0          0          0          0         16          0          0          9          0          0          0          0          0          0          0
3586.24/3597.06	c   integral         :          0          0          0          0         16          0          0          9          0          0        388          0          0          0         28
3586.24/3597.06	c   knapsack         :       1375+      1376         28     280288          0          0          0          5       3442          5          4        195         36          0          0
3586.24/3597.06	c   setppc           :     356526+    356572         28     279683          0          0          0          1      71636         87      14259         31          0          0          0
3586.24/3597.06	c   and              :     180075     180075         61     280196          0          0          0          0       9531         25      15070        297        117          0          0
3586.24/3597.06	c   linear           :          3+         5         28     280171          0          0          0          3       6051          7          0          0          0          0          0
3586.24/3597.06	c   logicor          :       1275+      1463         28       3865          0          0          0          0      27582         50          0          1          1          0          0
3586.24/3597.06	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.24/3597.06	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c   integral         :    1185.46       0.00       0.00       0.00    1185.46       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c   knapsack         :       2.48       0.01       0.24       2.19       0.00       0.00       0.00       0.02       0.00       0.02
3586.24/3597.06	c   setppc           :      17.58       0.03       0.44      16.77       0.00       0.00       0.00       0.00       0.02       0.32
3586.24/3597.06	c   and              :     680.64       0.00       5.54     670.44       0.00       0.00       0.00       0.00       0.07       4.59
3586.24/3597.06	c   linear           :       2.67       0.41       0.41       1.70       0.00       0.00       0.00       0.00       0.14       0.01
3586.24/3597.06	c   logicor          :       0.48       0.01       0.01       0.45       0.00       0.00       0.00       0.00       0.01       0.01
3586.24/3597.06	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c   fixedvar         :       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c   components       :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.24/3597.06	c   dualfix          :          1          0          0          0
3586.24/3597.06	c   genvbounds       :          0          0          0          0
3586.24/3597.06	c   nlobbt           :          0          0          0          0
3586.24/3597.06	c   obbt             :          0          0          0          0
3586.24/3597.06	c   probing          :          0          0          0          0
3586.24/3597.06	c   pseudoobj        :         73          0          0          0
3586.24/3597.06	c   redcost          :         29          0          0          0
3586.24/3597.06	c   rootredcost      :          1          0          0          0
3586.24/3597.06	c   symmetry         :          0          0          0          0
3586.24/3597.06	c   vbounds          :      22083          0          0          0
3586.24/3597.06	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.24/3597.06	c   dualfix          :       0.10       0.00       0.09       0.01       0.00       0.00
3586.24/3597.06	c   genvbounds       :       0.05       0.00       0.00       0.05       0.00       0.00
3586.24/3597.06	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.24/3597.06	c   probing          :     122.57       0.01     122.56       0.00       0.00       0.00
3586.24/3597.06	c   pseudoobj        :       0.18       0.00       0.00       0.18       0.00       0.00
3586.24/3597.06	c   redcost          :       0.64       0.00       0.00       0.64       0.00       0.00
3586.24/3597.06	c   rootredcost      :       0.18       0.00       0.00       0.18       0.00       0.00
3586.24/3597.06	c   symmetry         :       1.02       0.00       0.93       0.09       0.00       0.00
3586.24/3597.06	c   vbounds          :       0.67       0.00       0.49       0.17       0.00       0.00
3586.24/3597.06	c Symmetry           :
3586.24/3597.06	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.24/3597.06	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.24/3597.06	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.24/3597.06	c   shadow tree time :       0.00 s
3586.24/3597.06	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.24/3597.06	c   propagation      :       0.48        159        159          -       3730      588.4         31        2.1          -          -          -
3586.24/3597.06	c   infeasible LP    :       0.21          4          4          -         15      202.5          0        0.0          4     1373.8          0
3586.24/3597.06	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.24/3597.06	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.24/3597.06	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.24/3597.06	c   applied globally :       0.62          -          -          0        391      552.7          -          -          4          -          -
3586.24/3597.06	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.24/3597.06	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.24/3597.06	c   cut pool         :       0.47          -         54         54          -          -       2513       5518          -          -          -          -          -    (maximal pool size:       2513)
3586.24/3597.06	c   aggregation      :      10.77       0.00         28         28          0          0         13         13          0          0          0          0          0
3586.24/3597.06	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.24/3597.06	c   > flowcover      :          -          -          -          -          -          -          -         13          0          0          0          0          -
3586.24/3597.06	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.24/3597.06	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   clique           :     107.31       0.00         28         28          0          0         15         15          0         14         14          0          0
3586.24/3597.06	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   gomory           :     157.59       0.00         10         10          0          0       2003       4937          0         33         33          0          0
3586.24/3597.06	c   > gomorymi       :          -          -          -          -          -          -          -       3839          0         23         23          0          -
3586.24/3597.06	c   > strongcg       :          -          -          -          -          -          -          -       1098          0         10         10          0          -
3586.24/3597.06	c   impliedbounds    :       3.45       0.00         28         28          0          0        139        167          0         92         92          0          0
3586.24/3597.06	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   mcf              :       0.44       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   multilinear      :       0.21       0.00         38         28          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.24/3597.06	c   rlt              :     283.01       0.00         10         10          0          0        265        270          0        265        265          0          0
3586.24/3597.06	c   zerohalf         :       3.52       0.00         20         20          0          0         78        116          0         71         71          0          0
3586.24/3597.06	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.24/3597.06	c   hybrid           :       0.20       0.00         51         27        629          0       5413        512          0       5369
3586.24/3597.06	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.24/3597.06	c   problem variables:       0.00          -          0          0
3586.24/3597.06	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.24/3597.06	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c   relpscost        :    1185.46       0.00         16          0          0          0        388          0          0         28
3586.24/3597.06	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.24/3597.06	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.24/3597.06	c   LP solutions     :       0.00          -          -          0          0
3586.24/3597.06	c   relax solutions  :       0.00          -          -          0          0
3586.24/3597.06	c   pseudo solutions :       0.00          -          -          0          0
3586.24/3597.06	c   strong branching :       0.00          -          -          0          0
3586.24/3597.06	c   actconsdiving    :       0.00       0.00          0          0          0
3586.24/3597.06	c   adaptivediving   :       0.00       0.00          0          0          0
3586.24/3597.06	c   alns             :       3.73       0.00          1          0          0
3586.24/3597.06	c   bound            :       0.00       0.00          0          0          0
3586.24/3597.06	c   clique           :      49.58       0.00          1          0          0
3586.24/3597.06	c   coefdiving       :       0.00       0.00          0          0          0
3586.24/3597.06	c   completesol      :       0.00       0.00          0          0          0
3586.24/3597.06	c   conflictdiving   :      20.46       0.00          1          0          0
3586.24/3597.06	c   crossover        :       0.00       0.00          0          0          0
3586.24/3597.06	c   dins             :       0.00       0.00          0          0          0
3586.24/3597.06	c   distributiondivin:       0.16       0.00          0          0          0
3586.24/3597.06	c   dps              :       0.00       0.00          0          0          0
3586.24/3597.06	c   dualval          :       0.00       0.00          0          0          0
3586.24/3597.06	c   farkasdiving     :      72.91       0.00          1          0          0
3586.24/3597.06	c   feasjump         :       0.54       0.00          1          0          0
3586.24/3597.06	c   feaspump         :     195.95       0.00          1          0          0
3586.24/3597.06	c   fixandinfer      :       0.00       0.00          0          0          0
3586.24/3597.06	c   fracdiving       :       0.00       0.00          0          0          0
3586.24/3597.06	c   gins             :       0.00       0.00          0          0          0
3586.24/3597.06	c   guideddiving     :       0.00       0.00          0          0          0
3586.24/3597.06	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.24/3597.06	c   indicator        :       0.00       0.00          0          0          0
3586.24/3597.06	c   indicatordiving  :       0.00       0.00          0          0          0
3586.24/3597.06	c   indoneopt        :       0.00       0.00          0          0          0
3586.24/3597.06	c   indrounding      :       0.00       0.00          0          0          0
3586.24/3597.06	c   indtwoopt        :       0.00       0.00          0          0          0
3586.24/3597.06	c   intdiving        :       0.00       0.00          0          0          0
3586.24/3597.06	c   intshifting      :       0.00       0.00          0          0          0
3586.24/3597.06	c   linesearchdiving :       0.00       0.00          0          0          0
3586.24/3597.06	c   localbranching   :       0.00       0.00          0          0          0
3586.24/3597.06	c   locks            :       3.23       0.00          1          0          0
3586.24/3597.06	c   lpface           :       0.00       0.00          0          0          0
3586.24/3597.06	c   mpec             :       0.00       0.00          0          0          0
3586.24/3597.06	c   multistart       :       0.00       0.00          0          0          0
3586.24/3597.06	c   mutation         :       0.00       0.00          0          0          0
3586.24/3597.06	c   nlpdiving        :       0.00       0.00          0          0          0
3586.24/3597.06	c   objpscostdiving  :       0.00       0.00          0          0          0
3586.24/3597.06	c   octane           :       0.00       0.00          0          0          0
3586.24/3597.06	c   ofins            :       0.00       0.00          0          0          0
3586.24/3597.06	c   oneopt           :       0.00       0.00          0          0          0
3586.24/3597.06	c   padm             :       0.00       0.00          0          0          0
3586.24/3597.06	c   proximity        :       0.00       0.00          0          0          0
3586.24/3597.06	c   pscostdiving     :      89.57       0.00          1          0          0
3586.24/3597.06	c   randrounding     :      11.58       0.00         28          0          0
3586.24/3597.06	c   rens             :       4.08       0.00          1          0          0
3586.24/3597.06	c   reoptsols        :       0.00       0.00          0          0          0
3586.24/3597.06	c   repair           :       0.00       0.00          0          0          0
3586.24/3597.06	c   rins             :       0.00       0.00          0          0          0
3586.24/3597.06	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.24/3597.06	c   rounding         :       1.72       0.00         68          0          0
3586.24/3597.06	c   scheduler        :       0.00       0.00          0          0          0
3586.24/3597.06	c   shiftandpropagate:       7.47       0.00          1          0          0
3586.24/3597.06	c   shifting         :       2.27       0.00         28          0          0
3586.24/3597.06	c   simplerounding   :       0.01       0.00          0          0          0
3586.24/3597.06	c   smallcard        :       0.00       0.00          0          0          0
3586.24/3597.06	c   subnlp           :       0.00       0.00          0          0          0
3586.24/3597.06	c   trivial          :       0.19       0.00          2          0          0
3586.24/3597.06	c   trivialnegation  :       0.00       0.00          0          0          0
3586.24/3597.06	c   trustregion      :       0.00       0.00          0          0          0
3586.24/3597.06	c   trysol           :       0.00       0.00          0          0          0
3586.24/3597.06	c   twoopt           :       0.00       0.00          0          0          0
3586.24/3597.06	c   undercover       :      43.94       0.00          1          0          0
3586.24/3597.06	c   vbounds          :     620.73       0.00          1          0          0
3586.24/3597.06	c   veclendiving     :       0.00       0.00          0          0          0
3586.24/3597.06	c   zeroobj          :       0.00       0.00          0          0          0
3586.24/3597.06	c   zirounding       :       0.16       0.00         14          0          0
3586.24/3597.06	c   other solutions  :          -          -          -          0          -
3586.24/3597.06	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.24/3597.06	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.24/3597.06	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
3586.24/3597.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.24/3597.06	c   primal LP        :       0.27          3          0       0.00       0.00       0.27          3
3586.24/3597.06	c   dual LP          :     534.35         69      94694    1413.34     177.21       0.26          2
3586.24/3597.06	c   lex dual LP      :       0.00          0          0       0.00          -
3586.24/3597.06	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.24/3597.06	c   resolve instable :       0.00          0          0       0.00          -
3586.24/3597.06	c   diving/probing LP:     373.18         72      91677    1273.29     245.66
3586.24/3597.06	c   strong branching :    1141.87        274     190571     695.51     166.89          -          -        294
3586.24/3597.06	c     (at root node) :          -         44      31966     726.50          -
3586.24/3597.06	c   conflict analysis:       0.00          0          0       0.00          -
3586.24/3597.06	c B&B Tree           :
3586.24/3597.06	c   number of runs   :          1
3586.24/3597.06	c   nodes            :         16 (14 internal, 2 leaves)
3586.24/3597.06	c   feasible leaves  :          0
3586.24/3597.06	c   infeas. leaves   :          1
3586.24/3597.06	c   objective leaves :          0
3586.24/3597.06	c   nodes (total)    :         16 (14 internal, 2 leaves)
3586.24/3597.06	c   nodes left       :         14
3586.24/3597.06	c   max depth        :          5
3586.24/3597.06	c   max depth (total):          5
3586.24/3597.06	c   backtracks       :          3 (18.8%)
3586.24/3597.06	c   early backtracks :          0 (0.0%)
3586.24/3597.06	c   nodes exc. ref.  :          0 (0.0%)
3586.24/3597.06	c   delayed cutoffs  :          0
3586.24/3597.06	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.24/3597.06	c   avg switch length:       2.00
3586.24/3597.06	c   switching time   :       0.26
3586.24/3597.06	c Root Node          :
3586.24/3597.06	c   First LP value   : +4.65757931694950e+05
3586.24/3597.06	c   First LP Iters   :       6782 (298.51 Iter/sec)
3586.24/3597.06	c   First LP Time    :      22.72
3586.24/3597.06	c   Final Dual Bound : +6.17415873731269e+05
3586.24/3597.06	c   Final Root Iters :      41166
3586.24/3597.06	c   Root LP Estimate : +1.14888961653740e+07
3586.24/3597.06	c Solution           :
3586.24/3597.06	c   Solutions found  :          0 (0 improvements)
3586.24/3597.06	c   Primal Bound     :          -
3586.24/3597.06	c   Dual Bound       : +6.31728524418694e+05
3586.24/3597.06	c   Gap              :   infinite
3586.24/3597.06	c Integrals          :      Total       Avg%
3586.24/3597.06	c   primal-dual      :  359703.48     100.00
3586.24/3597.06	c   primal-ref       :          -          - (not evaluated)
3586.24/3597.06	c   dual-ref         :          -          - (not evaluated)
3590.23/3601.05	c Time complete: 3590.28.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100092 s]*
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=123149084/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=173364 memory=128800 CPUtime=0.09 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 29326 0 0 0 5 4 0 0 20 0 1 0 166165528 177524736 32200 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 43341 32200 3188 3540 0 31598 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 173364 KiB
Current children cumulated memory: 128800 KiB

[startup+0.205858 s]*
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122984192/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=218672 memory=174500 CPUtime=0.2 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 40696 0 0 0 14 6 0 0 20 0 1 0 166165528 223920128 43625 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 54668 43625 3204 3540 0 42925 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 218672 KiB
Current children cumulated memory: 174500 KiB

[startup+0.305665 s]*
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122845116/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=270992 memory=225724 CPUtime=0.3 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 53558 0 0 0 22 8 0 0 20 0 1 0 166165528 277495808 56431 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 67748 56431 3204 3540 0 56005 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 270992 KiB
Current children cumulated memory: 225724 KiB

[startup+0.700236 s]
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122588784/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=424876 memory=380216 CPUtime=0.69 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 91644 0 0 0 56 13 0 0 20 0 1 0 166165528 435073024 95054 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 106219 95054 3204 3540 0 94476 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 424876 KiB
Current children cumulated memory: 380216 KiB

[startup+1.50022 s]
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122052872/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=593988 memory=549208 CPUtime=1.49 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 131326 0 0 0 130 19 0 0 20 0 1 0 166165528 608243712 137302 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 148497 137302 3204 3540 0 136754 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 593988 KiB
Current children cumulated memory: 549208 KiB

[startup+3.10573 s]
/proc/loadavg: 1.48 2.64 3.50 5/257 857154
/proc/meminfo: memFree=119826828/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=1346868 memory=1303768 CPUtime=3.09 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 326516 0 0 0 261 48 0 0 20 0 1 0 166165528 1379192832 325942 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 336717 325942 3508 3540 0 324974 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1346868 KiB
Current children cumulated memory: 1303768 KiB

[startup+6.30021 s]
/proc/loadavg: 1.48 2.64 3.50 5/257 857154
/proc/meminfo: memFree=117622812/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=2252344 memory=2102552 CPUtime=6.27 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 501120 0 0 0 552 75 0 0 20 0 1 0 166165528 2306400256 525638 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 563086 525638 3588 3540 0 551343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2252344 KiB
Current children cumulated memory: 2102552 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 2.69 3.50 5/257 857156
/proc/meminfo: memFree=116072568/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=2690340 memory=2620512 CPUtime=12.65 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 532260 0 0 0 1168 97 0 0 20 0 1 0 166165528 2754908160 655128 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 672585 655128 3731 3540 0 660842 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2690340 KiB
Current children cumulated memory: 2620512 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 2.73 3.51 5/258 857326
/proc/meminfo: memFree=115360224/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=2982880 memory=2907180 CPUtime=25.41 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 679221 0 0 0 2418 123 0 0 20 0 1 0 166165528 3054469120 726795 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 745720 726795 3779 3540 0 733977 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2982880 KiB
Current children cumulated memory: 2907180 KiB

[startup+51.1063 s]
/proc/loadavg: 2.95 2.87 3.53 5/259 857332
/proc/meminfo: memFree=114965228/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=3113152 memory=3039172 CPUtime=50.93 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 685245 0 0 0 4965 128 0 0 20 0 1 0 166165528 3187867648 759793 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 778288 759793 3779 3540 0 766545 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3113152 KiB
Current children cumulated memory: 3039172 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 3.09 3.58 5/259 857341
/proc/meminfo: memFree=113836188/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=3113152 memory=3039172 CPUtime=101.95 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 685362 0 0 0 10066 129 0 0 20 0 1 0 166165528 3187867648 759793 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 778288 759793 3779 3540 0 766545 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 3113152 KiB
Current children cumulated memory: 3039172 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 3.40 3.66 5/259 857409
/proc/meminfo: memFree=111668952/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4246940 memory=4048832 CPUtime=161.76 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 874787 0 0 0 16009 167 0 0 20 0 1 0 166165528 4348866560 1012208 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1061735 1012208 3843 3540 0 1049992 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 4246940 KiB
Current children cumulated memory: 4048832 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 3.54 3.69 5/259 857420
/proc/meminfo: memFree=111191880/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4459544 memory=4231948 CPUtime=221.56 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 898716 0 0 0 21984 172 0 0 20 0 1 0 166165528 4566573056 1057987 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1114886 1057987 3939 3540 0 1103143 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 4459544 KiB
Current children cumulated memory: 4231948 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.65 3.72 5/259 857430
/proc/meminfo: memFree=110552124/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4466772 memory=4239040 CPUtime=281.37 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 900577 0 0 0 27964 173 0 0 20 0 1 0 166165528 4573974528 1059760 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1116693 1059760 3939 3540 0 1104950 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 4466772 KiB
Current children cumulated memory: 4239040 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.73 3.74 5/257 857440
/proc/meminfo: memFree=110536752/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4473812 memory=4245812 CPUtime=341.19 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 902344 0 0 0 33944 175 0 0 20 0 1 0 166165528 4581183488 1061453 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1118453 1061453 3939 3540 0 1106710 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 4473812 KiB
Current children cumulated memory: 4245812 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.80 3.77 5/256 857452
/proc/meminfo: memFree=110524608/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4478804 memory=4251044 CPUtime=401.01 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 903748 0 0 0 39925 176 0 0 20 0 1 0 166165528 4586295296 1062761 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1119701 1062761 3939 3540 0 1107958 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 4478804 KiB
Current children cumulated memory: 4251044 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.85 3.79 5/255 857463
/proc/meminfo: memFree=110510716/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4486352 memory=4258092 CPUtime=460.85 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 905597 0 0 0 45907 178 0 0 20 0 1 0 166165528 4594024448 1064523 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1121588 1064523 3939 3540 0 1109845 0

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

Current children cumulated memory: 7486016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 858549
/proc/meminfo: memFree=102631844/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486016 CPUtime=3212.78 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1696857 0 0 0 320911 367 0 0 20 0 1 0 166165528 8714485760 1871504 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871504 4002 3540 0 2115817 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486016 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/256 858559
/proc/meminfo: memFree=102620684/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486016 CPUtime=3272.59 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1698826 0 0 0 326891 368 0 0 20 0 1 0 166165528 8714485760 1871504 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871504 4002 3540 0 2115817 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486016 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 858569
/proc/meminfo: memFree=102615172/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486016 CPUtime=3332.35 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1700302 0 0 0 332865 370 0 0 20 0 1 0 166165528 8714485760 1871504 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871504 4002 3540 0 2115817 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486016 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 858582
/proc/meminfo: memFree=102601920/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486924 CPUtime=3392.14 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1702244 0 0 0 338843 371 0 0 20 0 1 0 166165528 8714485760 1871731 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871731 4002 3540 0 2115817 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.65 4.25 4.14 5/256 858975
/proc/meminfo: memFree=102588708/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7487396 CPUtime=3451.95 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1703892 0 0 0 344822 373 0 0 20 0 1 0 166165528 8714485760 1871849 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871849 4002 3540 0 2115817 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7487396 KiB

[startup+3522.3 s]
/proc/loadavg: 4.67 4.33 4.17 5/256 858986
/proc/meminfo: memFree=102555508/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7488432 CPUtime=3511.76 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1705886 0 0 0 350801 375 0 0 20 0 1 0 166165528 8714485760 1872108 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1872108 4002 3540 0 2115817 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7488432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.53 4.36 4.19 5/256 858997
/proc/meminfo: memFree=102539572/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498616 CPUtime=3571.58 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1707828 0 0 0 356782 376 0 0 20 0 1 0 166165528 8714485760 1874654 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874654 4002 3540 0 2115817 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498616 KiB

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

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

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

[startup+3584 s]*
/proc/loadavg: 4.49 4.35 4.19 5/256 858997
/proc/meminfo: memFree=102539620/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498616 CPUtime=3573.28 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1707829 0 0 0 356952 376 0 0 20 0 1 0 166165528 8714485760 1874654 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874654 4002 3540 0 2115817 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498616 KiB

[startup+3590.4 s]
/proc/loadavg: 4.45 4.35 4.19 5/256 858998
/proc/meminfo: memFree=102539220/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498988 CPUtime=3579.65 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1707852 0 0 0 357589 376 0 0 20 0 1 0 166165528 8714485760 1874747 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874747 4002 3540 0 2115817 0
Current children cumulated CPU time: 3579.65 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498988 KiB

[startup+3596.8 s]
/proc/loadavg: 4.41 4.34 4.19 5/256 858998
/proc/meminfo: memFree=102539248/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498988 CPUtime=3586.04 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1708096 0 0 0 358227 377 0 0 20 0 1 0 166165528 8714485760 1874747 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874747 4002 3540 0 2115817 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498988 KiB

[startup+3598.4 s]
/proc/loadavg: 4.38 4.33 4.18 5/256 859000
/proc/meminfo: memFree=102688456/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7504036 CPUtime=3587.63 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1708686 0 0 0 358386 377 0 0 20 0 1 0 166165528 8714485760 1876009 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1876009 4002 3540 0 2115817 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7504036 KiB

[startup+3600 s]*
/proc/loadavg: 4.38 4.33 4.18 5/252 859035
/proc/meminfo: memFree=105455260/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8498944 memory=7493840 CPUtime=3589.23 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1708856 0 0 0 358546 377 0 0 20 0 1 0 166165528 8702918656 1873460 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2124736 1873460 4002 3540 0 2112993 0
Current children cumulated CPU time: 3589.23 s
Current children cumulated vsize: 8498944 KiB
Current children cumulated memory: 7493840 KiB

[startup+3600.8 s]
/proc/loadavg: 4.38 4.33 4.18 5/252 859035
/proc/meminfo: memFree=105455260/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8244208 memory=7237304 CPUtime=3590.02 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1709917 0 0 0 358624 378 0 0 20 0 1 0 166165528 8442068992 1809551 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2060827 1809326 4002 3540 0 2049084 0
Current children cumulated CPU time: 3590.02 s
Current children cumulated vsize: 8244208 KiB
Current children cumulated memory: 7237304 KiB

[startup+3601 s]*
/proc/loadavg: 4.38 4.33 4.18 5/254 859060
/proc/meminfo: memFree=108618184/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=7855444 memory=6851560 CPUtime=3590.23 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1710225 0 0 0 358644 379 0 0 20 0 1 0 166165528 8043974656 1712890 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1963861 1712890 4002 3540 0 1952118 0
Current children cumulated CPU time: 3590.23 s
Current children cumulated vsize: 7855444 KiB
Current children cumulated memory: 6851560 KiB

[startup+3601.11 s]*
/proc/loadavg: 4.38 4.33 4.18 5/254 859060
/proc/meminfo: memFree=114006528/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3601.15
CPU time (s): 3590.38
CPU user time (s): 3586.48
CPU system time (s): 3.89869
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 8574320
Max. memory (cumulated for all children) (KiB): 7534308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.48
system time used= 3.89869
maximum resident set size= 7534308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1710879
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= 45
involuntary context switches= 2134


# summary of solver processes directly reported to runsolver:
#   pid: 857102
#   total CPU time (s): 3590.38
#   total CPU user time (s): 3586.48
#   total CPU system time (s): 3.89869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01956 second user time and 17.4566 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-16 16:27:45
IDJOB=4432880
IDBENCH=155706
IDSOLVER=3059
FILE ID=nodeC015/4432880-1721140053
RUNJOBID= nodeC015-1721140065-857045
SLURM_JOB_ID= 7505720
Free space on /tmp= 889960 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_1_mh_ic.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-4432880-1721140053/watcher-4432880-1721140053 -o /tmp/evaluation-result-4432880-1721140053/solver-4432880-1721140053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857045 --watchdog 3760  pbscip -f HOME/instance-4432880-1721140053.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= c67f7d2b84b900287505153e75597a80
RANDOM SEED=498121180

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123441888 kB
MemAvailable:   129496424 kB
Buffers:          404692 kB
Cached:          6470264 kB
SwapCached:            0 kB
Active:          1333656 kB
Inactive:        6116408 kB
Active(anon):       1428 kB
Inactive(anon):   611392 kB
Active(file):    1332228 kB
Inactive(file):  5505016 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            163248 kB
Writeback:             0 kB
AnonPages:        573820 kB
Mapped:           122844 kB
Shmem:             37720 kB
KReclaimable:     113880 kB
Slab:             223144 kB
SReclaimable:     113880 kB
SUnreclaim:       109264 kB
KernelStack:        4036 kB
PageTables:        10364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     813588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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:      258772 kB
DirectMap2M:    37263360 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 889828 MiB
End job on nodeC015 at 2024-07-16 17:27:47