Trace number 4530203

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-NaPS 1.00a2OPT-50 1981.37 1987.19

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUM79c0a8033bde71aac2f7ead78fdb13b7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark593.296
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

30.65/30.87	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530203-1752251563.opb
30.65/30.87	c Solving mode: optimization
30.65/30.87	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
30.65/30.87	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
30.65/30.87	c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80258 constraints
30.65/30.87	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
30.65/30.87	c presolving:
30.65/30.87	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80258 upgd conss, 0 impls, 80258 clqs
30.65/30.87	c    (0.8s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
30.65/30.87	c    (0.8s) probing aborted: 50/50 successive totally useless probings
30.65/30.87	c    (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
30.65/30.87	c    (1.4s) no symmetry present (symcode time: 0.01)
30.65/30.87	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
30.65/30.87	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
30.65/30.87	c  0 implications, 80258 cliques
30.65/30.87	c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80258 constraints
30.65/30.87	c   80258 constraints of type <setppc>
30.65/30.87	c transformed objective value is always integral (scale: 1)
30.65/30.87	c Presolving Time: 1.34
30.65/30.87	c transformed 1/1 original solutions to the transformed problem space
30.65/30.87	c 
30.65/30.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.65/30.87	c p 1.6s|     1 |     0 |     0 |     - |  clique|   0 |1150 |  80k|  80k|   0 |  0 |   0 |   0 |-1.150000e+03 |-3.200000e+01 |3493.75%| unknown
30.65/30.87	c   2.5s|     1 |     0 |  1508 |     - |   406M |   0 |1150 |  80k|  80k|   0 |  0 |   0 |   0 |-5.750000e+02 |-3.200000e+01 |1696.88%| unknown
30.65/30.87	c   3.4s|     1 |     0 |  1922 |     - |   427M |   0 |1150 |  80k|  80k|  10 |  1 |   0 |   0 |-5.405000e+02 |-3.200000e+01 |1589.06%| unknown
30.65/30.87	c   5.3s|     1 |     0 |  2119 |     - |   434M |   0 |1150 |  80k|  80k|  36 |  2 |   0 |   0 |-5.095000e+02 |-3.200000e+01 |1492.19%| unknown
30.65/30.87	c   8.8s|     1 |     0 |  2443 |     - |   443M |   0 |1150 |  80k|  80k|  48 |  3 |   0 |   0 |-4.855000e+02 |-3.200000e+01 |1417.19%| unknown
30.65/30.87	c  12.6s|     1 |     0 |  2807 |     - |   452M |   0 |1150 |  80k|  80k|  74 |  4 |   0 |   0 |-4.555000e+02 |-3.200000e+01 |1323.44%| unknown
30.65/30.87	c  17.4s|     1 |     0 |  3189 |     - |   461M |   0 |1150 |  80k|  80k|  98 |  5 |   0 |   0 |-4.285000e+02 |-3.200000e+01 |1239.06%| unknown
30.65/30.87	c  18.6s|     1 |     0 |  4082 |     - |   471M |   0 |1150 |  80k|  80k| 116 |  6 |   0 |   0 |-3.937500e+02 |-3.200000e+01 |1130.47%| unknown
30.65/30.87	c  19.7s|     1 |     0 |  4894 |     - |   480M |   0 |1150 |  80k|  80k| 148 |  7 |   0 |   0 |-3.652500e+02 |-3.200000e+01 |1041.41%| unknown
30.65/30.87	c  20.4s|     1 |     0 |  5373 |     - |   488M |   0 |1150 |  80k|  80k| 184 |  8 |   0 |   0 |-3.265000e+02 |-3.200000e+01 | 920.31%| unknown
30.65/30.87	c  21.3s|     1 |     0 |  6360 |     - |   498M |   0 |1150 |  80k|  80k| 218 |  9 |   0 |   0 |-3.127500e+02 |-3.200000e+01 | 877.34%| unknown
30.65/30.87	c  22.2s|     1 |     0 |  7474 |     - |   506M |   0 |1150 |  80k|  80k| 265 | 10 |   0 |   0 |-2.982500e+02 |-3.200000e+01 | 832.03%| unknown
30.65/30.87	c  23.0s|     1 |     0 |  8599 |     - |   515M |   0 |1150 |  80k|  80k| 279 | 11 |   0 |   0 |-2.702500e+02 |-3.200000e+01 | 744.53%| unknown
30.65/30.87	c  23.4s|     1 |     0 |  9351 |     - |   522M |   0 |1150 |  80k|  80k| 301 | 12 |   0 |   0 |-2.541250e+02 |-3.200000e+01 | 694.14%| unknown
30.65/30.87	c  24.0s|     1 |     0 | 10575 |     - |   531M |   0 |1150 |  80k|  80k| 317 | 13 |   0 |   0 |-2.331250e+02 |-3.200000e+01 | 628.52%| unknown
30.65/30.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.65/30.87	c  24.6s|     1 |     0 | 11723 |     - |   539M |   0 |1150 |  80k|  80k| 341 | 14 |   0 |   0 |-2.147500e+02 |-3.200000e+01 | 571.09%| unknown
30.65/30.87	c  25.0s|     1 |     0 | 12478 |     - |   547M |   0 |1150 |  80k|  80k| 369 | 15 |   0 |   0 |-1.962500e+02 |-3.200000e+01 | 513.28%| unknown
30.65/30.87	c  25.7s|     1 |     0 | 14095 |     - |   555M |   0 |1150 |  80k|  80k| 393 | 16 |   0 |   0 |-1.730000e+02 |-3.200000e+01 | 440.62%| unknown
30.65/30.87	c  26.2s|     1 |     0 | 15129 |     - |   563M |   0 |1150 |  80k|  80k| 415 | 17 |   0 |   0 |-1.552500e+02 |-3.200000e+01 | 385.16%| unknown
30.65/30.87	c  26.6s|     1 |     0 | 15979 |     - |   571M |   0 |1150 |  80k|  80k| 446 | 18 |   0 |   0 |-1.457500e+02 |-3.200000e+01 | 355.47%| unknown
30.65/30.87	c  26.9s|     1 |     0 | 16670 |     - |   579M |   0 |1150 |  80k|  80k| 466 | 19 |   0 |   0 |-1.282500e+02 |-3.200000e+01 | 300.78%| unknown
30.65/30.87	c  27.3s|     1 |     0 | 17599 |     - |   586M |   0 |1150 |  80k|  80k| 490 | 20 |   0 |   0 |-1.192500e+02 |-3.200000e+01 | 272.66%| unknown
30.65/30.87	c  27.7s|     1 |     0 | 18546 |     - |   587M |   0 |1150 |  80k|  80k| 494 | 21 |   0 |   0 |-1.057500e+02 |-3.200000e+01 | 230.47%| unknown
30.65/30.87	c  27.9s|     1 |     0 | 18711 |     - |   587M |   0 |1150 |  80k|  80k| 497 | 22 |   0 |   0 |-9.675000e+01 |-3.200000e+01 | 202.34%| unknown
30.65/30.87	c  28.0s|     1 |     0 | 18972 |     - |   587M |   0 |1150 |  80k|  80k| 499 | 23 |   0 |   0 |-9.087500e+01 |-3.200000e+01 | 183.98%| unknown
30.65/30.87	c  28.2s|     1 |     0 | 19476 |     - |   587M |   0 |1150 |  80k|  80k| 501 | 24 |   0 |   0 |-8.187500e+01 |-3.200000e+01 | 155.86%| unknown
30.65/30.87	c  28.4s|     1 |     0 | 19823 |     - |   587M |   0 |1150 |  80k|  80k| 506 | 25 |   0 |   0 |-6.687500e+01 |-3.200000e+01 | 108.98%| unknown
30.65/30.87	c  28.5s|     1 |     0 | 19861 |     - |   587M |   0 |1150 |  80k|  80k| 510 | 26 |   0 |   0 |-6.100000e+01 |-3.200000e+01 |  90.62%| unknown
30.65/30.87	c  28.6s|     1 |     0 | 20026 |     - |   588M |   0 |1150 |  80k|  80k| 512 | 27 |   0 |   0 |-5.700000e+01 |-3.200000e+01 |  78.12%| unknown
30.65/30.87	c  29.0s|     1 |     0 | 21224 |     - |   589M |   0 |1150 |  80k|  80k| 515 | 28 |   0 |   0 |-5.260000e+01 |-3.200000e+01 |  64.38%| unknown
30.65/30.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.65/30.87	c  29.1s|     1 |     0 | 21374 |     - |   589M |   0 |1150 |  80k|  80k| 520 | 29 |   0 |   0 |-5.133333e+01 |-3.200000e+01 |  60.42%| unknown
30.65/30.87	c  29.2s|     1 |     0 | 21400 |     - |   589M |   0 |1150 |  80k|  80k| 524 | 30 |   0 |   0 |-5.100000e+01 |-3.200000e+01 |  59.38%| unknown
30.65/30.87	c  29.3s|     1 |     0 | 21515 |     - |   589M |   0 |1150 |  80k|  80k| 529 | 31 |   0 |   0 |-5.100000e+01 |-3.200000e+01 |  59.38%| unknown
30.65/30.87	c  29.4s|     1 |     0 | 21604 |     - |   589M |   0 |1150 |  80k|  80k| 533 | 32 |   0 |   0 |-5.100000e+01 |-3.200000e+01 |  59.38%| unknown
30.65/30.87	c  29.5s|     1 |     0 | 21686 |     - |   590M |   0 |1150 |  80k|  80k| 538 | 33 |   0 |   0 |-5.100000e+01 |-3.200000e+01 |  59.38%| unknown
30.65/30.87	c  29.7s|     1 |     0 | 21771 |     - |   591M |   0 |1150 |  80k|  80k| 547 | 34 |   0 |   0 |-5.100000e+01 |-3.200000e+01 |  59.38%| unknown
30.65/30.87	c  29.8s|     1 |     0 | 21828 |     - |   591M |   0 |1150 |  80k|  80k| 552 | 35 |   0 |   0 |-5.086667e+01 |-3.200000e+01 |  58.96%| unknown
30.65/30.87	c  29.9s|     1 |     0 | 21943 |     - |   591M |   0 |1150 |  80k|  80k| 560 | 36 |   0 |   0 |-5.066667e+01 |-3.200000e+01 |  58.33%| unknown
30.65/30.87	c  30.1s|     1 |     0 | 22030 |     - |   591M |   0 |1150 |  80k|  80k| 569 | 37 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
30.65/30.87	c  30.2s|     1 |     0 | 22096 |     - |   592M |   0 |1150 |  80k|  80k| 574 | 38 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
30.65/30.87	c  30.3s|     1 |     0 | 22162 |     - |   593M |   0 |1150 |  80k|  80k| 579 | 39 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
30.65/30.87	c  30.5s|     1 |     0 | 22236 |     - |   593M |   0 |1150 |  80k|  80k| 585 | 40 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c  30.6s|     1 |     0 | 22279 |     - |   593M |   0 |1150 |  80k|  80k| 592 | 41 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c  30.7s|     1 |     0 | 22339 |     - |   594M |   0 |1150 |  80k|  80k| 601 | 42 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c  30.8s|     1 |     0 | 22397 |     - |   595M |   0 |1150 |  80k|  80k| 607 | 43 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
392.90/394.19	c  31.0s|     1 |     0 | 22453 |     - |   596M |   0 |1150 |  80k|  80k| 613 | 44 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c  31.1s|     1 |     0 | 22513 |     - |   596M |   0 |1150 |  80k|  80k| 619 | 45 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c  31.2s|     1 |     0 | 22572 |     - |   597M |   0 |1150 |  80k|  80k| 625 | 46 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c  31.3s|     1 |     0 | 22626 |     - |   597M |   0 |1150 |  80k|  80k| 630 | 47 |   0 |   0 |-5.000000e+01 |-3.200000e+01 |  56.25%| unknown
392.90/394.19	c L36.2s|     1 |     0 | 22626 |     - |    rens|   0 |1150 |  80k|  80k| 630 | 47 |   0 |   0 |-5.000000e+01 |-3.300000e+01 |  51.52%| unknown
392.90/394.19	c  36.5s|     1 |     0 | 22626 |     - |   598M |   0 |1150 |  80k|  80k| 630 | 47 |   0 |   0 |-5.000000e+01 |-3.300000e+01 |  51.52%| unknown
392.90/394.19	c i36.6s|     1 |     0 | 22626 |     - |  oneopt|   0 |1150 |  80k|  80k| 630 | 47 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
392.90/394.19	c  36.6s|     1 |     0 | 22680 |     - |   598M |   0 |1150 |  80k|  80k| 639 | 48 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
392.90/394.19	c  36.7s|     1 |     0 | 22702 |     - |   598M |   0 |1150 |  80k|  80k| 643 | 49 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
392.90/394.19	c  40.3s|     1 |     2 | 22759 |     - |   600M |   0 |1150 |  80k|  80k| 643 | 49 |   0 |  26 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
392.90/394.19	c d57.8s|    28 |    29 | 26445 | 151.9 |pscostdi|  13 |1150 |  80k|  80k|   0 |  1 |   0 | 225 |-5.000000e+01 |-3.800000e+01 |  31.58%| unknown
392.90/394.19	c *94.1s|    84 |    80 | 32795 | 125.9 |    LP  |  22 |1150 |  80k|  80k| 785 |  4 |   1 | 803 |-5.000000e+01 |-3.900000e+01 |  28.21%| unknown
392.90/394.19	c   104s|   100 |    92 | 34150 | 119.3 |   711M |  29 |1150 |  80k|  80k| 785 |  1 |   1 |1063 |-5.000000e+01 |-3.900000e+01 |  28.21%| unknown
392.90/394.19	c * 128s|   192 |   149 | 39320 |  88.9 |strongbr|  31 |1150 |  80k|  80k| 844 |  1 |   4 |1416 |-5.000000e+01 |-4.000000e+01 |  25.00%| unknown
392.90/394.19	c   138s|   200 |   157 | 40066 |  89.1 |   759M |  31 |1150 |  80k|  80k| 898 |  1 |   4 |1435 |-5.000000e+01 |-4.000000e+01 |  25.00%| unknown
392.90/394.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
392.90/394.19	c   156s|   300 |   231 | 45994 |  79.1 |   778M |  32 |1150 |  80k|  80k| 957 |  1 |  11 |1711 |-5.000000e+01 |-4.000000e+01 |  25.00%| unknown
392.90/394.19	c   182s|   400 |   319 | 55030 |  81.9 |   811M |  32 |1150 |  80k|  80k|1088 |  1 |  17 |1850 |-5.000000e+01 |-4.000000e+01 |  25.00%| unknown
392.90/394.19	c   189s|   500 |   399 | 62251 |  80.0 |   815M |  32 |1150 |  80k|  80k|1120 |  1 |  27 |1883 |-5.000000e+01 |-4.000000e+01 |  25.00%| unknown
392.90/394.19	c   193s|   600 |   483 | 68301 |  76.7 |   829M |  34 |1150 |  80k|  80k|1154 |  1 |  27 |1898 |-5.000000e+01 |-4.000000e+01 |  25.00%| unknown
392.90/394.19	c   201s|   700 |   567 | 74023 |  73.9 |   832M |  39 |1150 |  80k|  80k|1190 |  1 |  35 |1933 |-5.000000e+01 |-4.000000e+01 |  25.00%| unknown
392.90/394.19	c d 207s|   789 |   594 | 85156 |  79.7 |pscostdi|  40 |1150 |  80k|  80k|   0 |  1 |  77 |1943 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
392.90/394.19	c   213s|   800 |   605 | 86812 |  80.7 |   881M |  42 |1150 |  80k|  80k|1273 |  1 |  83 |1943 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
392.90/394.19	c   224s|   900 |   703 |100184 |  86.6 |   933M |  44 |1150 |  80k|  80k|1400 |  2 | 139 |1944 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
392.90/394.19	c   240s|  1000 |   803 |113794 |  91.5 |   952M |  44 |1150 |  80k|  80k|1497 |  1 | 182 |1946 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
392.90/394.19	c   259s|  1100 |   899 |126380 |  94.7 |   971M |  47 |1150 |  80k|  80k|1681 |  2 | 212 |1947 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
392.90/394.19	c   285s|  1200 |   997 |137361 |  95.9 |  1014M |  47 |1150 |  80k|  80k|1859 |  1 | 246 |1952 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
392.90/394.19	c   301s|  1300 |  1097 |150107 |  98.4 |  1022M |  47 |1150 |  80k|  80k|2024 |  1 | 280 |1970 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
392.90/394.19	c d 313s|  1379 |  1121 |160205 | 100.0 |pscostdi|  47 |1150 |  80k|  80k|   0 |  1 | 298 |1999 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
392.90/394.19	c   316s|  1400 |  1142 |162195 | 100.0 |  1038M |  47 |1150 |  80k|  80k|2132 |  1 | 318 |2000 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
392.90/394.19	c   337s|  1500 |  1242 |174520 | 101.5 |  1050M |  47 |1150 |  80k|  80k|2284 |  2 | 380 |2164 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
392.90/394.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
392.90/394.19	c   370s|  1600 |  1342 |183947 | 101.1 |  1080M |  47 |1150 |  80k|  80k|2467 |  1 | 394 |2312 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
392.90/394.19	c d 371s|  1615 |  1191 |185020 | 100.8 |pscostdi|  47 |1150 |  80k|  80k|   0 |  1 | 394 |2316 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
392.90/394.19	c (run 1, node 1655) performing user restart
392.90/394.19	c 
392.90/394.19	c (restart) converted 123 cuts from the global cut pool into linear constraints
392.90/394.19	c 
392.90/394.19	c presolving:
392.90/394.19	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 123 upgd conss, 0 impls, 80381 clqs
392.90/394.19	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
392.90/394.19	c  0 deleted vars, 5 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
392.90/394.19	c  0 implications, 80381 cliques
392.90/394.19	c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80785 constraints
392.90/394.19	c   80381 constraints of type <setppc>
392.90/394.19	c     404 constraints of type <logicor>
392.90/394.19	c transformed objective value is always integral (scale: 1)
392.90/394.19	c Presolving Time: 1.64
392.90/394.19	c transformed 98/100 original solutions to the transformed problem space
392.90/394.19	c 
392.90/394.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
392.90/394.19	c   381s|     1 |     0 |191099 |     - |  1068M |   0 |1150 |  80k|  80k|   0 |  0 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   383s|     1 |     0 |191185 |     - |  1068M |   0 |1150 |  80k|  80k|   9 |  1 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   385s|     1 |     0 |191283 |     - |  1069M |   0 |1150 |  80k|  80k|  23 |  2 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   387s|     1 |     0 |191365 |     - |  1076M |   0 |1150 |  80k|  80k|  32 |  3 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   389s|     1 |     0 |191427 |     - |  1077M |   0 |1150 |  80k|  80k|  42 |  4 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   390s|     1 |     0 |191483 |     - |  1078M |   0 |1150 |  80k|  80k|  49 |  5 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   391s|     1 |     0 |191561 |     - |  1086M |   0 |1150 |  80k|  80k|  57 |  6 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   391s|     1 |     0 |191626 |     - |  1095M |   0 |1150 |  80k|  80k|  64 |  7 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   392s|     1 |     0 |191700 |     - |  1105M |   0 |1150 |  80k|  80k|  72 |  8 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   393s|     1 |     0 |191782 |     - |  1113M |   0 |1150 |  80k|  80k|  83 |  9 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
392.90/394.19	c   394s|     1 |     0 |191840 |     - |  1122M |   0 |1150 |  80k|  80k|  90 | 10 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   394s|     1 |     0 |191901 |     - |  1131M |   0 |1150 |  80k|  80k|  99 | 11 | 413 |2319 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   398s|     1 |     2 |192771 |     - |  1131M |   0 |1150 |  80k|  80k|  99 | 11 | 421 |2341 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   420s|   100 |    99 |202386 | 101.5 |  1162M |  42 |1150 |  80k|  80k| 158 |  1 | 513 |2569 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   436s|   200 |   195 |213796 | 102.2 |  1171M |  54 |1150 |  81k|  80k| 246 |  2 | 674 |2632 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.53/1000.59	c   441s|   300 |   277 |221159 | 100.7 |  1171M |  56 |1150 |  81k|  80k| 266 |  1 | 714 |2669 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   445s|   400 |   327 |226071 |  98.2 |  1171M |  68 |1150 |  81k|  80k| 282 |  1 | 773 |2705 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   461s|   500 |   385 |231747 |  96.3 |  1172M |  68 |1150 |  81k|  80k| 373 |  1 | 815 |2764 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   495s|   600 |   461 |239949 |  95.7 |  1211M |  68 |1150 |  81k|  80k| 633 |  2 | 897 |2831 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   501s|   700 |   555 |247467 |  94.8 |  1215M |  68 |1150 |  81k|  80k| 656 |  1 | 962 |2867 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   515s|   800 |   625 |254043 |  93.6 |  1248M |  68 |1150 |  81k|  80k| 747 |  1 | 994 |2905 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   522s|   900 |   707 |259993 |  92.3 |  1250M |  68 |1150 |  81k|  80k| 784 |  1 |1045 |2942 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   551s|  1000 |   767 |266724 |  91.3 |  1257M |  68 |1150 |  81k|  80k| 909 |  1 |1141 |2993 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   562s|  1100 |   843 |274608 |  90.9 |  1259M |  68 |1150 |  81k|  80k|1015 |  1 |1216 |3050 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   581s|  1200 |   935 |282169 |  90.3 |  1279M |  68 |1150 |  81k|  80k|1105 |  1 |1292 |3091 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   615s|  1300 |  1025 |290416 |  90.1 |  1287M |  68 |1150 |  81k|  80k|1379 |  1 |1358 |3149 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   658s|  1400 |  1103 |299327 |  90.0 |  1310M |  68 |1150 |  81k|  80k|1796 |  0 |1393 |3216 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   680s|  1500 |  1171 |308404 |  90.1 |  1321M |  68 |1150 |  81k|  80k|2039 |  2 |1431 |3274 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   692s|  1600 |  1245 |314191 |  89.1 |  1346M |  68 |1150 |  81k|  80k|2160 |  1 |1465 |3322 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   717s|  1700 |  1313 |320276 |  88.2 |  1348M |  68 |1150 |  81k|  80k|2390 |  2 |1478 |3369 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.53/1000.59	c   731s|  1800 |  1393 |327729 |  87.8 |  1350M |  68 |1150 |  81k|  80k|2616 |  1 |1502 |3409 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   762s|  1900 |  1467 |335634 |  87.6 |  1351M |  68 |1150 |  81k|  80k|2885 |  1 |1524 |3452 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   782s|  2000 |  1543 |342919 |  87.2 |  1354M |  68 |1150 |  81k|  80k|3135 |  1 |1575 |3504 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   805s|  2100 |  1621 |349541 |  86.6 |  1358M |  68 |1150 |  81k|  80k|3272 |  1 |1644 |3558 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   840s|  2200 |  1697 |359335 |  86.9 |  1405M |  68 |1150 |  82k|  80k|3501 |  1 |1692 |3609 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   863s|  2300 |  1765 |366112 |  86.4 |  1406M |  68 |1150 |  82k|  80k|3678 |  1 |1789 |3669 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   881s|  2400 |  1837 |373971 |  86.2 |  1415M |  71 |1150 |  82k|  80k|3855 |  1 |1830 |3722 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   888s|  2500 |  1891 |378934 |  85.4 |  1419M |  71 |1150 |  82k|  80k|3930 |  1 |1872 |3743 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   910s|  2600 |  1961 |385129 |  84.8 |  1428M |  71 |1150 |  82k|  80k|4076 |  1 |1908 |3830 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   934s|  2700 |  2017 |391569 |  84.3 |  1440M |  71 |1150 |  82k|  80k|4236 |  1 |1933 |3834 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   958s|  2800 |  2073 |398544 |  84.0 |  1441M |  71 |1150 |  82k|  80k|4427 |  1 |1943 |3917 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   963s|  2900 |  2147 |404053 |  83.4 |  1451M |  71 |1150 |  82k|  80k|4449 |  1 |1994 |3965 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   966s|  3000 |  2183 |406704 |  82.2 |  1453M |  71 |1150 |  82k|  80k|4453 |  1 |2022 |3983 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   969s|  3100 |  2231 |410545 |  81.2 |  1475M |  71 |1150 |  82k|  80k|4457 |  1 |2055 |4004 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   981s|  3200 |  2260 |413634 |  80.2 |  1484M |  71 |1150 |  82k|  80k|4488 |  0 |2082 |4013 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.53/1000.59	c   983s|  3300 |  2294 |416716 |  79.2 |  1485M |  71 |1150 |  82k|  80k|4504 |  2 |2087 |4018 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c   994s|  3400 |  2340 |420506 |  78.4 |  1485M |  71 |1150 |  82k|  80k|4559 |  1 |2094 |4034 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
997.53/1000.59	c 
997.53/1000.59	c SCIP Status        : solving was interrupted [time limit reached]
997.53/1000.59	c Solving Time (sec) : 1000.00
997.53/1000.59	c Solving Nodes      : 3475 (total of 5130 nodes in 2 runs)
997.53/1000.59	c Primal Bound       : -4.40000000000000e+01 (751 solutions)
997.53/1000.59	c Dual Bound         : -5.00000000000000e+01
997.53/1000.59	c Gap                : 13.64 %
997.53/1000.59	c All original constraints are satisfied.
997.53/1000.59	c SCIP's best solution is verified feasible for the original problem.
997.53/1000.59	c ----------------------------------------------------------------------
997.53/1000.59	c dual bound: -49.99999999999997 -> -50
997.53/1000.59	c primal bound: -44.0 -> -44
997.53/1000.59	c scip-goal-lb: -50
997.53/1000.59	c scip-goal-ub: -44
997.53/1000.59	c writing output to: HOME/tmp38g96z92.opb
997.53/1000.59	c appending fixed variable constraints
997.53/1000.59	c scip-fixed vars: 0.00% (0/1150)
997.53/1000.59	c ----------------------------------------------------------------------
997.53/1000.59	c executing external solver: HOME/naps-1.03a6
997.53/1000.59	c ----------------------------------------------------------------------
997.53/1000.59	c command: HOME/naps-1.03a6 -goal-lb=-50 -goal-ub=-45 HOME/tmp38g96z92.opb
997.63/1000.61	c NaPS 1.03a6.
997.63/1000.61	c Input file name: HOME/tmp38g96z92.opb
998.03/1001.05	c single stage optimization mode
1981.07/1986.96	o -45
1981.07/1986.96	o -47
1981.07/1986.96	o -49
1981.07/1986.96	o -50
1981.07/1986.96	c s OPTIMUM FOUND
1981.07/1986.96	c _____________________________________________________________________________
1981.07/1986.96	c std/band forms        : 5,0
1981.07/1986.96	c 2cl/3cl ITE-codings   : 0,0
1981.07/1986.96	c BDD/srt/adr Max costs : 0,76315,0
1981.07/1986.96	c BDDraw/bin/mul/srt/adr: 0,0,0,5,0
1981.07/1986.96	c BDD nodes             : 0
1981.07/1986.96	c Es1/CC detections     : 0,0
1981.07/1986.96	c CC sort               : 4
1981.07/1986.96	c SAT/UNSAT calls       : 4,0
1981.07/1986.96	c regenrated variables  : 1
1981.07/1986.96	c eliminated fixed lits : 0
1981.07/1986.96	c goal lit flips        : 0
1981.07/1986.96	c goal stages           : 1
1981.07/1986.96	c goal shrink           : 0
1981.07/1986.96	c goal coeff separations: 0
1981.07/1986.96	c restarts              : 219212
1981.07/1986.96	c conflicts             : 11620715       (11819 /sec)
1981.07/1986.96	c decisions             : 13785844       (14021 /sec)
1981.07/1986.96	c propagations          : 2559168660     (2602753 /sec)
1981.07/1986.96	c inspects              : 0              (0 /sec)
1981.07/1986.96	c CPU time (solving tm) : 983.3 s        (982.8 s, SAT 982.8 s, UNSAT 0 s)
1981.07/1986.96	c Time for Opt-base     : 0.000988 s
1981.07/1986.96	c Steps for Opt-base    : 0
1981.07/1986.96	c Time for BDD coding   : 0 s
1981.07/1986.96	c Time for srt coding   : 0.01971 s
1981.07/1986.96	c _____________________________________________________________________________
1981.07/1986.96	c v -x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1981.07/1986.96	s OPTIMUM FOUND
1981.07/1986.96	v -x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-50

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (52746 MiB free)
  memory of node 1: 64507 MiB (63070 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530203-1752251563/watcher-4530203-1752251563 -o /tmp/evaluation-result-4530203-1752251563/solver-4530203-1752251563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752251563-133003 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530203-1752251563.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100064 s]*
/proc/loadavg: 4.08 4.10 4.09 6/269 133076
/proc/meminfo: memFree=118551272/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1186292 memory=30844 CPUtime=0.05 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 3551 0 0 0 4 1 0 0 20 0 1 0 140836559 1214763008 7711 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 296573 7711 4806 1 0 268595 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1190484 KiB
Current children cumulated memory: 33916 KiB

[startup+0.205483 s]*
/proc/loadavg: 4.08 4.10 4.09 6/269 133076
/proc/meminfo: memFree=118445684/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1216440 memory=67964 CPUtime=0.16 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 10262 0 0 0 14 2 0 0 20 0 1 0 140836559 1245634560 16991 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 304110 16991 7590 1 0 275468 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1220632 KiB
Current children cumulated memory: 71036 KiB

[startup+0.305591 s]*
/proc/loadavg: 4.08 4.10 4.09 6/269 133076
/proc/meminfo: memFree=118316828/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1248472 memory=100988 CPUtime=0.25 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 18336 0 0 0 22 3 0 0 20 0 1 0 140836559 1278435328 25247 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 312118 25247 7782 1 0 283476 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1252664 KiB
Current children cumulated memory: 104060 KiB

[startup+0.700217 s]
/proc/loadavg: 4.08 4.10 4.09 6/269 133076
/proc/meminfo: memFree=118136144/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1343804 memory=194940 CPUtime=0.64 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 41793 0 0 0 57 7 0 0 20 0 1 0 140836559 1376055296 48735 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 335951 48735 7846 1 0 307309 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1347996 KiB
Current children cumulated memory: 198012 KiB

[startup+1.50016 s]
/proc/loadavg: 4.08 4.10 4.09 6/269 133076
/proc/meminfo: memFree=117959104/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1497036 memory=320688 CPUtime=1.45 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 48639 0 0 0 135 10 0 0 20 0 1 0 140836559 1532964864 80172 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 374259 80172 7910 1 0 345617 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1501228 KiB
Current children cumulated memory: 323760 KiB

[startup+3.10483 s]
/proc/loadavg: 4.15 4.12 4.09 6/269 133076
/proc/meminfo: memFree=117242980/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1636536 memory=456936 CPUtime=3.04 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 74941 0 0 0 289 15 0 0 20 0 1 0 140836559 1675812864 114234 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 409134 114234 8102 1 0 380492 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1640728 KiB
Current children cumulated memory: 460008 KiB

[startup+6.30012 s]
/proc/loadavg: 4.15 4.12 4.09 6/269 133076
/proc/meminfo: memFree=117192712/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1679720 memory=478572 CPUtime=6.23 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 82030 0 0 0 606 17 0 0 20 0 1 0 140836559 1720033280 119643 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 419930 119643 8102 1 0 391288 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1683912 KiB
Current children cumulated memory: 481644 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 6/269 133076
/proc/meminfo: memFree=117140488/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1694160 memory=478572 CPUtime=12.61 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 82036 0 0 0 1244 17 0 0 20 0 1 0 140836559 1734819840 119643 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 423540 119643 8102 1 0 394898 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1698352 KiB
Current children cumulated memory: 481644 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 6/269 133076
/proc/meminfo: memFree=116987784/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1795740 memory=493540 CPUtime=25.37 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 85271 0 0 0 2520 17 0 0 20 0 1 0 140836559 1838837760 123385 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 448935 123385 8102 1 0 420293 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1799932 KiB
Current children cumulated memory: 496612 KiB

[startup+51.1052 s]
/proc/loadavg: 4.15 4.12 4.09 6/270 133078
/proc/meminfo: memFree=116754008/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1925672 memory=596984 CPUtime=50.9 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 110633 0 0 0 5069 21 0 0 20 0 1 0 140836559 1971888128 149246 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 481418 149246 8102 1 0 452776 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1929864 KiB
Current children cumulated memory: 600056 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/270 133079
/proc/meminfo: memFree=116635268/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=1969136 memory=597876 CPUtime=101.94 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 123836 0 0 0 10170 24 0 0 20 0 1 0 140836559 2016395264 149469 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 492284 149469 8102 1 0 463642 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1973328 KiB
Current children cumulated memory: 600948 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/269 133081
/proc/meminfo: memFree=116394192/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2053936 memory=673580 CPUtime=161.77 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 154738 0 0 0 16148 29 0 0 20 0 1 0 140836559 2103230464 168395 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 513484 168395 8102 1 0 484842 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2058128 KiB
Current children cumulated memory: 676652 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/268 133083
/proc/meminfo: memFree=116079164/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2215956 memory=748972 CPUtime=221.59 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 173659 0 0 0 22127 32 0 0 20 0 1 0 140836559 2269138944 187243 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 553989 187243 8102 1 0 525347 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2220148 KiB

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

/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=130264 memory=127872 CPUtime=899.07 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 55135 0 0 0 89885 22 0 0 20 0 1 0 140936616 133390336 31968 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 32566 31968 608 696 0 31727 0
Current children cumulated CPU time: 1896.71 s
Current children cumulated vsize: 2917052 KiB
Current children cumulated memory: 1434232 KiB

[startup+1962.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/273 133237
/proc/meminfo: memFree=114513208/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=131548 memory=129152 CPUtime=958.89 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 55456 0 0 0 95867 22 0 0 20 0 1 0 140936616 134705152 32288 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 32887 32288 608 696 0 32048 0
Current children cumulated CPU time: 1956.53 s
Current children cumulated vsize: 2918336 KiB
Current children cumulated memory: 1435512 KiB

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

# cumulated CPU time of all completed processes:  user=1980.57 s, system=0.792082 s

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

[startup+1971.2 s]
/proc/loadavg: 4.08 4.08 4.09 6/273 133237
/proc/meminfo: memFree=114523972/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=80588 memory=78696 CPUtime=967.77 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 55532 0 0 0 96755 22 0 0 20 0 1 0 140936616 82522112 19674 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 20147 19674 608 696 0 19308 0
Current children cumulated CPU time: 1965.41 s
Current children cumulated vsize: 2867376 KiB
Current children cumulated memory: 1385056 KiB

[startup+1977.6 s]
/proc/loadavg: 4.07 4.08 4.09 6/273 133238
/proc/meminfo: memFree=114516240/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=101460 memory=99504 CPUtime=974.15 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 55640 0 0 0 97392 23 0 0 20 0 1 0 140936616 103895040 24876 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 25365 24876 608 696 0 24526 0
Current children cumulated CPU time: 1971.79 s
Current children cumulated vsize: 2888248 KiB
Current children cumulated memory: 1405864 KiB

[startup+1984 s]*
/proc/loadavg: 4.15 4.10 4.09 6/273 133238
/proc/meminfo: memFree=114499992/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=101836 memory=99944 CPUtime=980.54 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 56731 0 0 0 98030 24 0 0 20 0 1 0 140936616 104280064 24986 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 25459 24986 608 696 0 24620 0
Current children cumulated CPU time: 1978.18 s
Current children cumulated vsize: 2888624 KiB
Current children cumulated memory: 1406304 KiB

[startup+1985.6 s]
/proc/loadavg: 4.15 4.10 4.09 6/273 133238
/proc/meminfo: memFree=114500056/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=101836 memory=99944 CPUtime=982.13 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 56731 0 0 0 98189 24 0 0 20 0 1 0 140936616 104280064 24986 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 25459 24986 608 696 0 24620 0
Current children cumulated CPU time: 1979.77 s
Current children cumulated vsize: 2888624 KiB
Current children cumulated memory: 1406304 KiB

[startup+1986.4 s]
/proc/loadavg: 4.15 4.10 4.09 6/273 133238
/proc/meminfo: memFree=114499808/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=101836 memory=99944 CPUtime=982.93 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 56731 0 0 0 98269 24 0 0 20 0 1 0 140936616 104280064 24986 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 25459 24986 608 696 0 24620 0
Current children cumulated CPU time: 1980.57 s
Current children cumulated vsize: 2888624 KiB
Current children cumulated memory: 1406304 KiB

[startup+1986.8 s]
/proc/loadavg: 4.15 4.10 4.09 6/273 133238
/proc/meminfo: memFree=114499808/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=997.64 cores=5,7
/proc/133075/stat : 133075 (python3) S 133063 133063 120181 0 -1 4194304 272144 0 0 0 99713 51 0 0 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
[pid=133125] ppid=133075 vsize=101836 memory=99944 CPUtime=983.33 cores=5,7
/proc/133125/stat : 133125 (naps-1.03a6) R 133075 133125 133125 0 -1 4194304 56731 0 0 0 98309 24 0 0 20 0 1 0 140936616 104280064 24986 18446744073709551615 4198400 7047149 140733977874768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17874944 140733977880949 140733977881073 140733977881073 140733977886665 0
/proc/133125/statm: 25459 24986 608 696 0 24620 0
Current children cumulated CPU time: 1980.97 s
Current children cumulated vsize: 2888624 KiB
Current children cumulated memory: 1406304 KiB

[startup+1987 s]*
/proc/loadavg: 4.13 4.10 4.09 6/272 133238
/proc/meminfo: memFree=114599736/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=1981.16 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 273566 56732 0 0 99716 51 98325 24 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
Current children cumulated CPU time: 1981.16 s
Current children cumulated vsize: 2786788 KiB
Current children cumulated memory: 1306360 KiB

[startup+1987.11 s]
/proc/loadavg: 4.13 4.10 4.09 6/272 133238
/proc/meminfo: memFree=114599736/131250000 swapFree=33008868/33010684
[pid=133063] ppid=133050 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/133063/stat : 133063 (scip-naps-1.00a) S 133050 133063 120181 0 -1 4194304 259 343 0 0 0 0 0 0 20 0 1 0 140836556 4292608 768 18446744073709551615 94601681371136 94601682265669 140724749916816 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94601682504720 94601682552464 94601691230208 140724749920667 140724749920766 140724749920766 140724749926370 0
/proc/133063/statm: 1048 768 704 219 0 110 0
[pid=133075] ppid=133063 vsize=2782596 memory=1303288 CPUtime=1981.25 cores=5,7
/proc/133075/stat : 133075 (python3) R 133063 133063 120181 0 -1 4194304 276862 56732 0 0 99725 51 98325 24 20 0 1 0 140836559 2849378304 325822 18446744073709551615 94708364193792 94708364194169 140725819131888 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94708364205464 94708364206084 94708379156480 140725819136350 140725819136544 140725819136544 140725819142119 0
/proc/133075/statm: 695649 325822 8294 1 0 667007 0
Current children cumulated CPU time: 1981.25 s
Current children cumulated vsize: 2786788 KiB
Current children cumulated memory: 1306360 KiB

Child status: 0

Real time (s): 1987.19
CPU time (s): 1981.37
CPU user time (s): 1980.57
CPU system time (s): 0.792082
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 2918336
Max. memory (cumulated for all children) (KiB): 1435512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1980.57
system time used= 0.792082
maximum resident set size= 1303288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337375
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 520
involuntary context switches= 1183


# summary of solver processes directly reported to runsolver:
#   pid: 133063
#   total CPU time (s): 1981.37
#   total CPU user time (s): 1980.57
#   total CPU system time (s): 0.792082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.13568 second user time and 8.80582 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-11 18:32:43
IDJOB=4530203
IDBENCH=146675
IDSOLVER=3388
FILE ID=nodeC013/4530203-1752251563
RUNJOBID= nodeC013-1752251563-133003
SLURM_JOB_ID= 9682559
Free space on /tmp= 432244 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530203-1752251563/watcher-4530203-1752251563 -o /tmp/evaluation-result-4530203-1752251563/solver-4530203-1752251563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752251563-133003 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530203-1752251563.opb

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

MD5SUM BENCH= 79c0a8033bde71aac2f7ead78fdb13b7
RANDOM SEED=1521290398

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118601440 kB
MemAvailable:   129702592 kB
Buffers:            1668 kB
Cached:         11847548 kB
SwapCached:          164 kB
Active:           512180 kB
Inactive:       11405856 kB
Active(anon):      85256 kB
Inactive(anon):     4868 kB
Active(file):     426924 kB
Inactive(file): 11400988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27512 kB
Writeback:             8 kB
AnonPages:         72092 kB
Mapped:           101232 kB
Shmem:             21304 kB
KReclaimable:     224560 kB
Slab:             319696 kB
SReclaimable:     224560 kB
SUnreclaim:        95136 kB
KernelStack:        4096 kB
PageTables:         2864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432216 MiB
End job on nodeC013 at 2025-07-11 19:05:50