Trace number 4485011

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.00a1OPT-45 3280.03 3291.93

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUMa3f6b61db250b51897503d5946a188dc
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-45
Best CPU time to get the best result obtained on this benchmark432.391
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
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 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
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 

16.07/16.21	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4485011-1751284451.opb
16.07/16.21	c Solving mode: optimization
16.07/16.21	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
16.07/16.21	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
16.07/16.21	c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
16.07/16.21	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
16.07/16.21	c presolving:
16.07/16.21	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 0 impls, 58245 clqs
16.07/16.21	c    (1.0s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
16.07/16.21	c    (1.0s) probing aborted: 50/50 successive totally useless probings
16.07/16.21	c    (1.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
16.07/16.21	c    (1.6s) no symmetry present (symcode time: 0.01)
16.07/16.21	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
16.07/16.21	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
16.07/16.21	c  0 implications, 58245 cliques
16.07/16.21	c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
16.07/16.21	c   58245 constraints of type <setppc>
16.07/16.21	c transformed objective value is always integral (scale: 1)
16.07/16.21	c Presolving Time: 1.50
16.07/16.21	c transformed 1/1 original solutions to the transformed problem space
16.07/16.21	c 
16.07/16.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.07/16.21	c p 1.8s|     1 |     0 |     0 |     - |  clique|   0 | 945 |  58k|  58k|   0 |  0 |   0 |   0 |-9.450000e+02 |-2.800000e+01 |3275.00%| unknown
16.07/16.21	c p 2.0s|     1 |     0 |     0 |     - | vbounds|   0 | 945 |  58k|  58k|   0 |  0 |   0 |   0 |-9.450000e+02 |-3.100000e+01 |2948.39%| unknown
16.07/16.21	c   2.2s|     1 |     0 |   945 |     - |   318M |   0 | 945 |  58k|  58k|   0 |  0 |   0 |   0 |-4.725000e+02 |-3.100000e+01 |1424.19%| unknown
16.07/16.21	c   2.9s|     1 |     0 |  1144 |     - |   335M |   0 | 945 |  58k|  58k|  11 |  1 |   0 |   0 |-4.405000e+02 |-3.100000e+01 |1320.97%| unknown
16.07/16.21	c   4.2s|     1 |     0 |  1274 |     - |   342M |   0 | 945 |  58k|  58k|  29 |  2 |   0 |   0 |-4.150000e+02 |-3.100000e+01 |1238.71%| unknown
16.07/16.21	c   5.9s|     1 |     0 |  1423 |     - |   348M |   0 | 945 |  58k|  58k|  48 |  3 |   0 |   0 |-3.900000e+02 |-3.100000e+01 |1158.06%| unknown
16.07/16.21	c   8.1s|     1 |     0 |  1609 |     - |   355M |   0 | 945 |  58k|  58k|  73 |  4 |   0 |   0 |-3.625000e+02 |-3.100000e+01 |1069.35%| unknown
16.07/16.21	c   9.0s|     1 |     0 |  2011 |     - |   362M |   0 | 945 |  58k|  58k|  98 |  5 |   0 |   0 |-3.365000e+02 |-3.100000e+01 | 985.48%| unknown
16.07/16.21	c   9.5s|     1 |     0 |  2491 |     - |   368M |   0 | 945 |  58k|  58k| 125 |  6 |   0 |   0 |-3.140000e+02 |-3.100000e+01 | 912.90%| unknown
16.07/16.21	c  10.1s|     1 |     0 |  3095 |     - |   375M |   0 | 945 |  58k|  58k| 150 |  7 |   0 |   0 |-2.867500e+02 |-3.100000e+01 | 825.00%| unknown
16.07/16.21	c  10.6s|     1 |     0 |  3991 |     - |   382M |   0 | 945 |  58k|  58k| 180 |  8 |   0 |   0 |-2.657500e+02 |-3.100000e+01 | 757.26%| unknown
16.07/16.21	c  11.2s|     1 |     0 |  4822 |     - |   390M |   0 | 945 |  58k|  58k| 208 |  9 |   0 |   0 |-2.347500e+02 |-3.100000e+01 | 657.26%| unknown
16.07/16.21	c  11.6s|     1 |     0 |  5457 |     - |   396M |   0 | 945 |  58k|  58k| 245 | 10 |   0 |   0 |-2.112500e+02 |-3.100000e+01 | 581.45%| unknown
16.07/16.21	c  11.9s|     1 |     0 |  6204 |     - |   402M |   0 | 945 |  58k|  58k| 271 | 11 |   0 |   0 |-1.812500e+02 |-3.100000e+01 | 484.68%| unknown
16.07/16.21	c  12.4s|     1 |     0 |  7742 |     - |   408M |   0 | 945 |  58k|  58k| 293 | 12 |   0 |   0 |-1.628333e+02 |-3.100000e+01 | 425.27%| unknown
16.07/16.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.07/16.21	c  12.7s|     1 |     0 |  8417 |     - |   415M |   0 | 945 |  58k|  58k| 321 | 13 |   0 |   0 |-1.460833e+02 |-3.100000e+01 | 371.24%| unknown
16.07/16.21	c  13.0s|     1 |     0 |  9174 |     - |   421M |   0 | 945 |  58k|  58k| 347 | 14 |   0 |   0 |-1.371667e+02 |-3.100000e+01 | 342.47%| unknown
16.07/16.21	c  13.3s|     1 |     0 | 10342 |     - |   426M |   0 | 945 |  58k|  58k| 368 | 15 |   0 |   0 |-1.167917e+02 |-3.100000e+01 | 276.75%| unknown
16.07/16.21	c  13.6s|     1 |     0 | 11019 |     - |   432M |   0 | 945 |  58k|  58k| 385 | 16 |   0 |   0 |-1.025000e+02 |-3.100000e+01 | 230.65%| unknown
16.07/16.21	c  13.7s|     1 |     0 | 11212 |     - |   438M |   0 | 945 |  58k|  58k| 402 | 17 |   0 |   0 |-9.481250e+01 |-3.100000e+01 | 205.85%| unknown
16.07/16.21	c  13.8s|     1 |     0 | 11443 |     - |   444M |   0 | 945 |  58k|  58k| 413 | 18 |   0 |   0 |-8.317241e+01 |-3.100000e+01 | 168.30%| unknown
16.07/16.21	c  13.9s|     1 |     0 | 11668 |     - |   450M |   0 | 945 |  58k|  58k| 426 | 19 |   0 |   0 |-7.458333e+01 |-3.100000e+01 | 140.59%| unknown
16.07/16.21	c  14.1s|     1 |     0 | 12356 |     - |   455M |   0 | 945 |  58k|  58k| 438 | 20 |   0 |   0 |-6.108333e+01 |-3.100000e+01 |  97.04%| unknown
16.07/16.21	c  14.2s|     1 |     0 | 12413 |     - |   455M |   0 | 945 |  58k|  58k| 442 | 21 |   0 |   0 |-5.408333e+01 |-3.100000e+01 |  74.46%| unknown
16.07/16.21	c  14.3s|     1 |     0 | 12457 |     - |   456M |   0 | 945 |  58k|  58k| 445 | 22 |   0 |   0 |-4.800000e+01 |-3.100000e+01 |  54.84%| unknown
16.07/16.21	c  14.3s|     1 |     0 | 12496 |     - |   456M |   0 | 945 |  58k|  58k| 448 | 23 |   0 |   0 |-4.783333e+01 |-3.100000e+01 |  54.30%| unknown
16.07/16.21	c  14.4s|     1 |     0 | 12533 |     - |   456M |   0 | 945 |  58k|  58k| 452 | 24 |   0 |   0 |-4.700000e+01 |-3.100000e+01 |  51.61%| unknown
16.07/16.21	c  14.5s|     1 |     0 | 12572 |     - |   457M |   0 | 945 |  58k|  58k| 456 | 25 |   0 |   0 |-4.700000e+01 |-3.100000e+01 |  51.61%| unknown
16.07/16.21	c  14.5s|     1 |     0 | 12598 |     - |   457M |   0 | 945 |  58k|  58k| 459 | 26 |   0 |   0 |-4.700000e+01 |-3.100000e+01 |  51.61%| unknown
16.07/16.21	c  14.6s|     1 |     0 | 12632 |     - |   458M |   0 | 945 |  58k|  58k| 462 | 27 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
16.07/16.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.07/16.21	c  14.7s|     1 |     0 | 12657 |     - |   458M |   0 | 945 |  58k|  58k| 466 | 28 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
16.07/16.21	c  14.7s|     1 |     0 | 12685 |     - |   459M |   0 | 945 |  58k|  58k| 470 | 29 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
16.07/16.21	c  14.8s|     1 |     0 | 12711 |     - |   459M |   0 | 945 |  58k|  58k| 475 | 30 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
16.07/16.21	c  14.9s|     1 |     0 | 12754 |     - |   459M |   0 | 945 |  58k|  58k| 480 | 31 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
16.07/16.21	c  14.9s|     1 |     0 | 12787 |     - |   460M |   0 | 945 |  58k|  58k| 486 | 32 |   0 |   0 |-4.650000e+01 |-3.100000e+01 |  50.00%| unknown
16.07/16.21	c  15.0s|     1 |     0 | 12833 |     - |   460M |   0 | 945 |  58k|  58k| 495 | 33 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
16.07/16.21	c  15.1s|     1 |     0 | 12866 |     - |   461M |   0 | 945 |  58k|  58k| 499 | 34 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
16.07/16.21	c  15.2s|     1 |     0 | 12926 |     - |   461M |   0 | 945 |  58k|  58k| 504 | 35 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
16.07/16.21	c  15.2s|     1 |     0 | 12994 |     - |   461M |   0 | 945 |  58k|  58k| 512 | 36 |   0 |   0 |-4.550000e+01 |-3.100000e+01 |  46.77%| unknown
16.07/16.21	c  15.3s|     1 |     0 | 13062 |     - |   462M |   0 | 945 |  58k|  58k| 520 | 37 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
16.07/16.21	c  15.4s|     1 |     0 | 13127 |     - |   462M |   0 | 945 |  58k|  58k| 526 | 38 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
16.07/16.21	c  15.5s|     1 |     0 | 13187 |     - |   463M |   0 | 945 |  58k|  58k| 534 | 39 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.12	c  15.6s|     1 |     0 | 13260 |     - |   463M |   0 | 945 |  58k|  58k| 540 | 40 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.12	c  15.7s|     1 |     0 | 13336 |     - |   464M |   0 | 945 |  58k|  58k| 549 | 41 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.12	c  15.8s|     1 |     0 | 13399 |     - |   464M |   0 | 945 |  58k|  58k| 557 | 42 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
416.57/418.12	c  15.9s|     1 |     0 | 13457 |     - |   465M |   0 | 945 |  58k|  58k| 564 | 43 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.12	c  15.9s|     1 |     0 | 13516 |     - |   465M |   0 | 945 |  58k|  58k| 572 | 44 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.12	c  16.0s|     1 |     0 | 13570 |     - |   466M |   0 | 945 |  58k|  58k| 581 | 45 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.12	c  16.1s|     1 |     0 | 13628 |     - |   466M |   0 | 945 |  58k|  58k| 589 | 46 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.13	c  16.2s|     1 |     0 | 13675 |     - |   467M |   0 | 945 |  58k|  58k| 598 | 47 |   0 |   0 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.13	c  20.6s|     1 |     2 | 13685 |     - |   467M |   0 | 945 |  58k|  58k| 598 | 47 |   0 |  21 |-4.533333e+01 |-3.100000e+01 |  46.24%| unknown
416.57/418.13	c d33.5s|    23 |    24 | 15536 |  84.6 |pscostdi|  13 | 945 |  58k|  58k|   0 |  1 |   0 | 194 |-4.533333e+01 |-3.300000e+01 |  37.37%| unknown
416.57/418.13	c d33.5s|    23 |    24 | 15538 |  84.7 |pscostdi|  13 | 945 |  58k|  58k|   0 |  1 |   0 | 194 |-4.533333e+01 |-3.400000e+01 |  33.33%| unknown
416.57/418.13	c d39.7s|    47 |    48 | 17636 |  86.1 |conflict|  13 | 945 |  58k|  58k|   0 |  1 |   3 | 232 |-4.533333e+01 |-3.500000e+01 |  29.52%| unknown
416.57/418.13	c  81.7s|   100 |    93 | 23060 |  94.8 |   582M |  19 | 945 |  58k|  58k| 864 |  4 |   5 |1098 |-4.533333e+01 |-3.500000e+01 |  29.52%| unknown
416.57/418.13	c *82.8s|   105 |    93 | 23261 |  92.2 |    LP  |  21 | 945 |  58k|  58k| 868 |  1 |   5 |1130 |-4.533333e+01 |-3.600000e+01 |  25.93%| unknown
416.57/418.13	c   115s|   200 |   170 | 30030 |  82.2 |   611M |  21 | 945 |  58k|  58k|1037 |  0 |  15 |1714 |-4.533333e+01 |-3.600000e+01 |  25.93%| unknown
416.57/418.13	c   135s|   300 |   250 | 36834 |  77.5 |   626M |  22 | 945 |  58k|  58k|1203 |  1 |  15 |1847 |-4.533333e+01 |-3.600000e+01 |  25.93%| unknown
416.57/418.13	c L 135s|   305 |   217 | 37091 |  77.0 |    rins|  22 | 945 |  58k|  58k|1204 |  2 |  15 |1857 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   152s|   400 |   288 | 43494 |  74.7 |   653M |  22 | 945 |  58k|  58k|1362 |  2 |  30 |1901 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
416.57/418.13	c   155s|   500 |   338 | 47406 |  67.6 |   656M |  30 | 945 |  58k|  58k|1391 |  0 |  30 |1925 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   158s|   600 |   394 | 49501 |  59.8 |   656M |  38 | 945 |  58k|  58k|1401 |  1 |  30 |1939 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   162s|   700 |   432 | 51996 |  54.8 |   657M |  40 | 945 |  58k|  58k|1433 |  1 |  30 |1948 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   172s|   800 |   474 | 55155 |  51.9 |   671M |  46 | 945 |  58k|  58k|1490 |  1 |  30 |1992 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   181s|   900 |   544 | 59670 |  51.2 |   674M |  46 | 945 |  58k|  58k|1577 |  1 |  40 |2040 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   186s|  1000 |   604 | 64650 |  51.0 |   676M |  46 | 945 |  58k|  58k|1603 |  1 |  40 |2082 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   190s|  1100 |   648 | 68036 |  49.5 |   681M |  46 | 945 |  58k|  58k|1644 |  1 |  40 |2101 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   194s|  1200 |   676 | 70485 |  47.4 |   683M |  46 | 945 |  58k|  58k|1662 |  0 |  44 |2120 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   199s|  1300 |   716 | 73726 |  46.2 |   690M |  46 | 945 |  58k|  58k|1686 |  2 |  44 |2148 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   228s|  1400 |   806 | 85937 |  51.7 |   775M |  46 | 945 |  58k|  58k|1945 |  2 |  90 |2166 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   242s|  1500 |   902 | 94468 |  53.9 |   817M |  46 | 945 |  58k|  58k|2155 |  1 | 137 |2177 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   250s|  1600 |  1000 |102950 |  55.8 |   830M |  46 | 945 |  58k|  58k|2299 |  1 | 211 |2187 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   257s|  1700 |  1098 |111222 |  57.4 |   847M |  46 | 945 |  58k|  58k|2424 |  1 | 280 |2191 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   265s|  1800 |  1196 |120678 |  59.5 |   866M |  46 | 945 |  58k|  58k|2550 |  4 | 373 |2194 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   278s|  1900 |  1290 |131796 |  62.2 |   873M |  46 | 945 |  58k|  58k|2751 |  1 | 439 |2266 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
416.57/418.13	c   293s|  2000 |  1390 |143148 |  64.8 |   889M |  46 | 945 |  58k|  58k|2971 |  1 | 495 |2308 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   302s|  2100 |  1488 |151882 |  65.8 |   895M |  46 | 945 |  58k|  58k|3093 |  1 | 538 |2324 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   310s|  2200 |  1588 |162700 |  67.8 |   898M |  46 | 945 |  58k|  58k|3181 |  1 | 586 |2348 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   318s|  2300 |  1686 |172348 |  69.0 |   908M |  46 | 945 |  58k|  58k|3238 |  1 | 653 |2361 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   330s|  2400 |  1786 |184858 |  71.4 |   914M |  46 | 945 |  58k|  58k|3396 |  1 | 691 |2387 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   336s|  2500 |  1884 |195383 |  72.7 |   926M |  46 | 945 |  58k|  58k|3462 |  1 | 728 |2400 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   355s|  2600 |  1972 |205689 |  73.9 |   944M |  46 | 945 |  59k|  58k|3635 |  1 | 778 |2416 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   369s|  2700 |  2062 |215882 |  74.9 |   959M |  46 | 945 |  59k|  58k|3789 |  1 | 830 |2418 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   377s|  2800 |  2158 |225610 |  75.7 |   966M |  46 | 945 |  59k|  58k|3881 |  1 | 876 |2423 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   390s|  2900 |  2252 |235667 |  76.6 |   985M |  46 | 945 |  59k|  58k|4011 |  1 | 926 |2426 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   396s|  3000 |  2346 |244629 |  77.0 |   999M |  46 | 945 |  59k|  58k|4077 |  1 | 981 |2434 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   401s|  3100 |  2440 |252569 |  77.1 |  1002M |  46 | 945 |  59k|  58k|4159 |  1 |1029 |2457 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c   413s|  3200 |  2528 |260746 |  77.2 |  1009M |  46 | 945 |  59k|  58k|4257 |  1 |1081 |2491 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
416.57/418.13	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
416.57/418.13	c (run 1, node 3230) performing user restart
416.57/418.13	c 
416.57/418.13	c (restart) converted 157 cuts from the global cut pool into linear constraints
416.57/418.13	c 
416.57/418.13	c presolving:
416.57/418.13	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 157 upgd conss, 0 impls, 58397 clqs
416.57/418.13	c (round 2, exhaustive) 0 del vars, 36 del conss, 9 add conss, 0 chg bounds, 9 chg sides, 53 chg coeffs, 157 upgd conss, 0 impls, 58403 clqs
416.57/418.13	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
416.57/418.13	c  0 deleted vars, 36 deleted constraints, 9 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 56 changed coefficients
416.57/418.13	c  0 implications, 58403 cliques
416.57/418.13	c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59460 constraints
416.57/418.13	c       2 constraints of type <knapsack>
416.57/418.13	c   58404 constraints of type <setppc>
416.57/418.13	c    1054 constraints of type <logicor>
416.57/418.13	c transformed objective value is always integral (scale: 1)
416.57/418.13	c Presolving Time: 1.91
872.05/875.55	c transformed 91/100 original solutions to the transformed problem space
872.05/875.55	c 
872.05/875.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
872.05/875.55	c   418s|     1 |     0 |265808 |     - |   997M |   0 | 945 |  59k|  58k|   0 |  0 |1091 |2508 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
872.05/875.55	c   419s|     1 |     0 |265865 |     - |   997M |   0 | 945 |  59k|  58k|  10 |  1 |1091 |2508 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
872.05/875.55	c   421s|     1 |     0 |265922 |     - |   997M |   0 | 945 |  59k|  58k|  19 |  2 |1091 |2508 |-4.533333e+01 |-3.800000e+01 |  19.30%| unknown
872.05/875.55	c   423s|     1 |     0 |266008 |     - |   997M |   0 | 945 |  59k|  58k|  34 |  3 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   424s|     1 |     0 |266100 |     - |   998M |   0 | 945 |  59k|  58k|  44 |  4 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   424s|     1 |     0 |266204 |     - |   998M |   0 | 945 |  59k|  58k|  54 |  5 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   425s|     1 |     0 |266255 |     - |  1004M |   0 | 945 |  59k|  58k|  62 |  6 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   427s|     1 |     0 |266319 |     - |  1011M |   0 | 945 |  59k|  58k|  74 |  7 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   427s|     1 |     0 |266388 |     - |  1017M |   0 | 945 |  59k|  58k|  84 |  8 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   428s|     1 |     0 |266457 |     - |  1017M |   0 | 945 |  59k|  58k|  92 |  9 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   429s|     1 |     0 |266501 |     - |  1024M |   0 | 945 |  59k|  58k|  99 | 10 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   429s|     1 |     0 |266556 |     - |  1031M |   0 | 945 |  59k|  58k| 107 | 11 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.55	c   429s|     1 |     0 |266612 |     - |  1031M |   0 | 945 |  59k|  58k| 114 | 12 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   429s|     1 |     0 |266695 |     - |  1031M |   0 | 945 |  59k|  58k| 123 | 13 |1091 |2508 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   432s|     1 |     2 |267276 |     - |  1031M |   0 | 945 |  59k|  58k| 123 | 13 |1102 |2534 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
872.05/875.56	c   449s|   100 |   101 |275169 |  78.0 |  1045M |  32 | 945 |  59k|  58k| 145 |  1 |1135 |3001 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   468s|   200 |   199 |283789 |  78.2 |  1095M |  42 | 945 |  59k|  58k| 238 |  1 |1167 |3156 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   490s|   300 |   297 |293061 |  78.6 |  1145M |  44 | 945 |  59k|  58k| 408 |  1 |1215 |3287 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   499s|   400 |   395 |301532 |  78.8 |  1152M |  44 | 945 |  59k|  58k| 455 |  1 |1239 |3336 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   504s|   500 |   491 |310182 |  79.0 |  1154M |  44 | 945 |  59k|  58k| 478 |  1 |1286 |3390 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   509s|   600 |   587 |318587 |  79.1 |  1154M |  44 | 945 |  59k|  58k| 490 |  1 |1330 |3428 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   514s|   700 |   683 |326241 |  79.1 |  1155M |  44 | 945 |  59k|  58k| 500 |  1 |1365 |3467 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   524s|   800 |   775 |333424 |  78.9 |  1168M |  44 | 945 |  59k|  58k| 553 |  1 |1415 |3507 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   528s|   900 |   853 |337759 |  78.0 |  1169M |  44 | 945 |  59k|  58k| 566 |  1 |1449 |3542 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   547s|  1000 |   933 |345500 |  78.0 |  1192M |  44 | 945 |  59k|  58k| 680 |  1 |1482 |3591 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   557s|  1100 |  1033 |354298 |  78.2 |  1194M |  44 | 945 |  59k|  58k| 733 |  1 |1515 |3623 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   564s|  1200 |  1133 |361845 |  78.2 |  1203M |  44 | 945 |  59k|  58k| 763 |  1 |1539 |3693 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   584s|  1300 |  1227 |370957 |  78.5 |  1214M |  44 | 945 |  59k|  58k| 895 |  1 |1610 |3721 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   597s|  1400 |  1321 |381467 |  79.0 |  1234M |  44 | 945 |  60k|  58k|1097 |  1 |1649 |3790 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   603s|  1500 |  1421 |389998 |  79.2 |  1251M |  44 | 945 |  60k|  58k|1103 |  1 |1674 |3844 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
872.05/875.56	c   607s|  1600 |  1511 |396145 |  78.8 |  1252M |  44 | 945 |  60k|  58k|1112 |  1 |1720 |3867 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   612s|  1700 |  1611 |403121 |  78.6 |  1253M |  44 | 945 |  60k|  58k|1137 |  1 |1751 |3881 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   618s|  1800 |  1707 |411513 |  78.7 |  1255M |  44 | 945 |  60k|  58k|1164 |  1 |1786 |3891 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c   644s|  1900 |  1797 |419914 |  78.8 |  1273M |  44 | 945 |  60k|  58k|1365 |  1 |1805 |3909 |-4.500000e+01 |-3.800000e+01 |  18.42%| unknown
872.05/875.56	c d 651s|  1980 |  1721 |427973 |  79.2 |linesear|  44 | 945 |  60k|  58k|   0 |  1 |1820 |3927 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   652s|  2000 |  1741 |429864 |  79.2 |  1275M |  44 | 945 |  60k|  58k|1410 |  1 |1823 |3932 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   660s|  2100 |  1819 |437180 |  79.1 |  1275M |  45 | 945 |  60k|  58k|1511 |  0 |1864 |3935 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   676s|  2200 |  1897 |443691 |  78.9 |  1276M |  45 | 945 |  60k|  58k|1614 |  1 |1908 |3956 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   681s|  2300 |  1967 |449623 |  78.5 |  1277M |  45 | 945 |  60k|  58k|1655 |  1 |1922 |3975 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   698s|  2400 |  2055 |457891 |  78.6 |  1286M |  45 | 945 |  60k|  58k|1794 |  1 |1979 |3987 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   707s|  2500 |  2135 |464054 |  78.3 |  1307M |  45 | 945 |  60k|  58k|1861 |  1 |2007 |3988 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   712s|  2600 |  2231 |470088 |  78.0 |  1309M |  46 | 945 |  60k|  58k|1867 |  1 |2068 |4027 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   759s|  2700 |  2303 |477615 |  77.9 |  1311M |  46 | 945 |  60k|  58k|2204 |  1 |2090 |4044 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   779s|  2800 |  2383 |485364 |  77.9 |  1324M |  46 | 945 |  60k|  58k|2355 |  1 |2105 |4065 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   782s|  2900 |  2465 |492775 |  77.9 |  1326M |  46 | 945 |  60k|  58k|2356 |  1 |2150 |4081 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
872.05/875.56	c   799s|  3000 |  2551 |501554 |  78.0 |  1349M |  46 | 945 |  60k|  58k|2474 |  1 |2232 |4085 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   814s|  3100 |  2641 |511129 |  78.3 |  1362M |  46 | 945 |  60k|  58k|2649 |  2 |2290 |4103 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   824s|  3200 |  2733 |520356 |  78.5 |  1369M |  46 | 945 |  60k|  58k|2722 |  1 |2329 |4115 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   843s|  3300 |  2821 |528567 |  78.6 |  1370M |  46 | 945 |  60k|  58k|2882 |  1 |2383 |4115 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   854s|  3400 |  2901 |535885 |  78.5 |  1372M |  46 | 945 |  60k|  58k|2964 |  1 |2418 |4120 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
872.05/875.56	c   859s|  3500 |  2981 |542660 |  78.3 |  1373M |  46 | 945 |  60k|  58k|3005 |  1 |2464 |4126 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   875s|  3600 |  3069 |551771 |  78.5 |  1380M |  46 | 945 |  60k|  58k|3095 |  1 |2552 |4138 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   883s|  3700 |  3149 |558130 |  78.3 |  1382M |  46 | 945 |  60k|  58k|3187 |  1 |2579 |4151 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   893s|  3800 |  3243 |566385 |  78.4 |  1383M |  46 | 945 |  60k|  58k|3289 |  1 |2661 |4160 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   907s|  3900 |  3339 |577597 |  78.8 |  1407M |  46 | 945 |  61k|  58k|3394 |  0 |2727 |4170 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   911s|  4000 |  3419 |584893 |  78.8 |  1408M |  46 | 945 |  61k|  58k|3434 |  1 |2773 |4172 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   914s|  4100 |  3505 |592111 |  78.7 |  1410M |  46 | 945 |  61k|  58k|3448 |  0 |2799 |4175 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   917s|  4200 |  3591 |599100 |  78.5 |  1411M |  46 | 945 |  61k|  58k|3472 |  1 |2823 |4175 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   928s|  4300 |  3669 |606166 |  78.4 |  1412M |  46 | 945 |  61k|  58k|3541 |  1 |2844 |4181 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   944s|  4400 |  3753 |613937 |  78.4 |  1441M |  46 | 945 |  61k|  58k|3658 |  1 |2879 |4183 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
996.81/1000.85	c   950s|  4500 |  3839 |620609 |  78.3 |  1442M |  46 | 945 |  61k|  58k|3726 |  0 |2904 |4184 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   954s|  4600 |  3931 |626469 |  78.0 |  1445M |  46 | 945 |  61k|  58k|3734 |  1 |2933 |4200 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   957s|  4700 |  4017 |632635 |  77.8 |  1446M |  46 | 945 |  61k|  58k|3751 |  1 |2985 |4224 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   960s|  4800 |  4075 |637241 |  77.4 |  1447M |  46 | 945 |  61k|  58k|3765 |  1 |3006 |4251 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   966s|  4900 |  4157 |643588 |  77.3 |  1449M |  46 | 945 |  61k|  58k|3797 |  1 |3044 |4280 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   970s|  5000 |  4227 |650773 |  77.2 |  1449M |  46 | 945 |  61k|  58k|3808 |  0 |3083 |4312 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   973s|  5100 |  4301 |656992 |  77.0 |  1450M |  46 | 945 |  61k|  58k|3812 |  1 |3096 |4336 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   979s|  5200 |  4399 |667117 |  77.3 |  1451M |  46 | 945 |  61k|  58k|3834 |  1 |3136 |4389 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c   995s|  5300 |  4491 |676776 |  77.5 |  1454M |  46 | 945 |  61k|  58k|3949 |  1 |3157 |4410 |-4.500000e+01 |-3.900000e+01 |  15.38%| unknown
996.81/1000.85	c 
996.81/1000.85	c SCIP Status        : solving was interrupted [time limit reached]
996.81/1000.85	c Solving Time (sec) : 1000.00
996.81/1000.85	c Solving Nodes      : 5352 (total of 8582 nodes in 2 runs)
996.81/1000.85	c Primal Bound       : -3.90000000000000e+01 (743 solutions)
996.81/1000.85	c Dual Bound         : -4.50000000000000e+01
996.81/1000.85	c Gap                : 15.38 %
996.81/1000.85	c All original constraints are satisfied.
996.81/1000.85	c SCIP's best solution is verified feasible for the original problem.
996.81/1000.85	c ----------------------------------------------------------------------
996.81/1000.85	c dual bound: -44.99999999999999 -> -45
996.81/1000.85	c primal bound: -39.0 -> -39
996.81/1000.85	c scip-goal-lb: -45
996.81/1000.85	c scip-goal-ub: -39
996.81/1000.85	c writing output to: HOME/tmpo2pkdl5x.opb
996.81/1000.85	c appending fixed variable constraints
996.81/1000.85	c scip-fixed vars: 0.00% (0/945)
996.81/1000.85	c ----------------------------------------------------------------------
996.81/1000.85	c executing external solver: HOME/naps-1.03a6
996.81/1000.85	c ----------------------------------------------------------------------
996.81/1000.85	c command: HOME/naps-1.03a6 -goal-lb=-45 -goal-ub=-40 HOME/tmpo2pkdl5x.opb
996.81/1000.88	c NaPS 1.03a6.
996.81/1000.88	c Input file name: HOME/tmpo2pkdl5x.opb
997.68/1001.73	c single stage optimization mode
3279.47/3291.43	o -40
3279.47/3291.43	o -42
3279.47/3291.43	o -44
3279.47/3291.43	o -45
3279.47/3291.43	c _____________________________________________________________________________
3279.47/3291.43	c std/band forms        : 5,0
3279.47/3291.43	c 2cl/3cl ITE-codings   : 0,0
3279.47/3291.43	c BDD/srt/adr Max costs : 0,57995,0
3279.47/3291.43	c BDDraw/bin/mul/srt/adr: 0,0,0,5,0
3279.47/3291.43	c BDD nodes             : 0
3279.47/3291.43	c Es1/CC detections     : 0,0
3279.47/3291.43	c CC sort               : 4
3279.47/3291.43	c SAT/UNSAT calls       : 4,0
3279.47/3291.43	c regenrated variables  : 0
3279.47/3291.43	c eliminated fixed lits : 0
3279.47/3291.43	c goal lit flips        : 0
3279.47/3291.43	c goal stages           : 1
3279.47/3291.43	c goal shrink           : 0
3279.47/3291.43	c goal coeff separations: 0
3279.47/3291.43	c restarts              : 553775
3279.47/3291.43	c conflicts             : 26677697       (11689 /sec)
3279.47/3291.43	c decisions             : 28878074       (12653 /sec)
3279.47/3291.43	c propagations          : 4580591616     (2007016 /sec)
3279.47/3291.43	c inspects              : 0              (0 /sec)
3279.47/3291.43	c CPU time (solving tm) : 2282 s        (2281 s, SAT 2281 s, UNSAT 0 s)
3279.47/3291.43	c Time for Opt-base     : 0.000839 s
3279.47/3291.43	c Steps for Opt-base    : 0
3279.47/3291.43	c Time for BDD coding   : 0 s
3279.47/3291.43	c Time for srt coding   : 0.01582 s
3279.47/3291.43	c _____________________________________________________________________________
3279.47/3291.44	s OPTIMUM FOUND
3279.47/3291.44	v -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	-45

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: 63837 MiB (61408 MiB free)
  memory of node 1: 64465 MiB (62591 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485011-1751284451/watcher-4485011-1751284451 -o /tmp/evaluation-result-4485011-1751284451/solver-4485011-1751284451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40128 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4485011-1751284451.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=40922, runsolver pid=40919
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 4.10 4.23 4.19 5/256 40927
/proc/meminfo: memFree=126952044/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=12272 memory=9600 CPUtime=0.05 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 1380 0 0 0 4 1 0 0 20 0 1 0 44124491 12566528 2400 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 3068 2400 1184 1 0 1280 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 16464 KiB
Current children cumulated memory: 12544 KiB

[startup+0.218284 s]*
/proc/loadavg: 4.10 4.23 4.19 5/256 40927
/proc/meminfo: memFree=126944488/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1185784 memory=30412 CPUtime=0.15 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 3462 0 0 0 13 2 0 0 20 0 1 0 44124491 1214242816 7603 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 296446 7603 4787 1 0 268514 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1189976 KiB
Current children cumulated memory: 33356 KiB

[startup+0.313634 s]*
/proc/loadavg: 4.10 4.23 4.19 5/256 40927
/proc/meminfo: memFree=126928612/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1189792 memory=34764 CPUtime=0.24 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 4331 0 0 0 21 3 0 0 20 0 1 0 44124491 1218347008 8691 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 297448 8691 5043 1 0 269357 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1193984 KiB
Current children cumulated memory: 37708 KiB

[startup+0.700406 s]
/proc/loadavg: 4.10 4.23 4.19 5/256 40927
/proc/meminfo: memFree=126836644/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1252756 memory=104524 CPUtime=0.61 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 19226 0 0 0 54 7 0 0 20 0 1 0 44124491 1282822144 26131 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 313189 26131 7795 1 0 284547 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 1256948 KiB
Current children cumulated memory: 107468 KiB

[startup+1.50045 s]
/proc/loadavg: 4.10 4.23 4.19 5/256 40927
/proc/meminfo: memFree=126731812/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1305184 memory=156364 CPUtime=1.41 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 32115 0 0 0 131 10 0 0 20 0 1 0 44124491 1336508416 39091 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 326296 39091 7891 1 0 297654 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 1309376 KiB
Current children cumulated memory: 159308 KiB

[startup+3.11306 s]
/proc/loadavg: 4.10 4.23 4.19 5/256 40927
/proc/meminfo: memFree=126232584/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1537196 memory=371820 CPUtime=3.01 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 58199 0 0 0 285 16 0 0 20 0 1 0 44124491 1574088704 92955 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 384299 92955 8115 1 0 355657 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1541388 KiB
Current children cumulated memory: 374764 KiB

[startup+6.30039 s]
/proc/loadavg: 4.09 4.23 4.18 5/256 40927
/proc/meminfo: memFree=126199572/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1572164 memory=393708 CPUtime=6.2 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 64162 0 0 0 602 18 0 0 20 0 1 0 44124491 1609895936 98427 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 393041 98427 8115 1 0 364399 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1576356 KiB
Current children cumulated memory: 396652 KiB

[startup+12.7005 s]
/proc/loadavg: 4.09 4.22 4.18 5/256 40927
/proc/meminfo: memFree=126190752/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1634828 memory=402796 CPUtime=12.57 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 66453 0 0 0 1239 18 0 0 20 0 1 0 44124491 1674063872 100699 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 408707 100699 8115 1 0 380065 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 1639020 KiB
Current children cumulated memory: 405740 KiB

[startup+25.5004 s]
/proc/loadavg: 4.07 4.21 4.18 5/256 40927
/proc/meminfo: memFree=126086976/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1758456 memory=484972 CPUtime=25.34 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 87008 0 0 0 2512 22 0 0 20 0 1 0 44124491 1800658944 121243 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 439614 121243 8115 1 0 410972 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1762648 KiB
Current children cumulated memory: 487916 KiB

[startup+51.1135 s]
/proc/loadavg: 4.04 4.19 4.17 5/255 40927
/proc/meminfo: memFree=125991484/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1802064 memory=485228 CPUtime=50.87 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 87052 0 0 0 5065 22 0 0 20 0 1 0 44124491 1845313536 121307 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 450516 121307 8115 1 0 421874 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1806256 KiB
Current children cumulated memory: 488172 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/255 40929
/proc/meminfo: memFree=125920372/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1849240 memory=516564 CPUtime=101.9 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 108600 0 0 0 10165 25 0 0 20 0 1 0 44124491 1893621760 129141 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 462310 129141 8115 1 0 433668 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1853432 KiB
Current children cumulated memory: 519508 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/257 40933
/proc/meminfo: memFree=125795612/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=1941792 memory=602672 CPUtime=161.72 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 127120 0 0 0 16144 28 0 0 20 0 1 0 44124491 1988395008 150668 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 485448 150668 8115 1 0 456806 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1945984 KiB
Current children cumulated memory: 605616 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/257 40985
/proc/meminfo: memFree=126890132/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2002788 memory=641392 CPUtime=221.52 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 132185 0 0 0 22123 29 0 0 20 0 1 0 44124491 2050854912 160348 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 500697 160348 8115 1 0 472055 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2006980 KiB

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


[startup+3162.3 s]
/proc/loadavg: 4.21 4.23 4.16 5/259 41641
/proc/meminfo: memFree=125412580/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=996.87 cores=0,2
/proc/40927/stat : 40927 (python3) S 40922 40922 40118 0 -1 4194304 216892 0 0 0 99642 45 0 0 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
[pid=41083] ppid=40927 vsize=123716 memory=122212 CPUtime=2153.94 cores=0,2
/proc/41083/stat : 41083 (naps-1.03a6) R 40927 41083 41083 0 -1 4194304 70291 0 0 0 215359 35 0 0 20 0 1 0 44224574 126685184 30553 18446744073709551615 4198400 7047149 140724130703856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20307968 140724130707831 140724130707955 140724130707955 140724130713545 0
/proc/41083/statm: 30929 30553 608 696 0 30090 0
Current children cumulated CPU time: 3150.81 s
Current children cumulated vsize: 2807964 KiB
Current children cumulated memory: 1137836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.22 4.16 5/259 41643
/proc/meminfo: memFree=124921744/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=996.87 cores=0,2
/proc/40927/stat : 40927 (python3) S 40922 40922 40118 0 -1 4194304 216892 0 0 0 99642 45 0 0 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
[pid=41083] ppid=40927 vsize=124016 memory=122596 CPUtime=2213.74 cores=0,2
/proc/41083/stat : 41083 (naps-1.03a6) R 40927 41083 41083 0 -1 4194304 70406 0 0 0 221339 35 0 0 20 0 1 0 44224574 126992384 30649 18446744073709551615 4198400 7047149 140724130703856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20307968 140724130707831 140724130707955 140724130707955 140724130713545 0
/proc/41083/statm: 31004 30649 608 696 0 30165 0
Current children cumulated CPU time: 3210.61 s
Current children cumulated vsize: 2808264 KiB
Current children cumulated memory: 1138220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.21 4.16 5/259 41645
/proc/meminfo: memFree=124778012/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=996.87 cores=0,2
/proc/40927/stat : 40927 (python3) S 40922 40922 40118 0 -1 4194304 216892 0 0 0 99642 45 0 0 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
[pid=41083] ppid=40927 vsize=126624 memory=125156 CPUtime=2273.53 cores=0,2
/proc/41083/stat : 41083 (naps-1.03a6) R 40927 41083 41083 0 -1 4194304 71066 0 0 0 227318 35 0 0 20 0 1 0 44224574 129662976 31289 18446744073709551615 4198400 7047149 140724130703856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20307968 140724130707831 140724130707955 140724130707955 140724130713545 0
/proc/41083/statm: 31656 31289 608 696 0 30817 0
Current children cumulated CPU time: 3270.4 s
Current children cumulated vsize: 2810872 KiB
Current children cumulated memory: 1140780 KiB

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

# cumulated CPU time of all completed processes:  user=3279.05 s, system=0.978307 s

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

[startup+3283.2 s]
/proc/loadavg: 4.19 4.21 4.16 5/259 41645
/proc/meminfo: memFree=124778264/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=996.87 cores=0,2
/proc/40927/stat : 40927 (python3) S 40922 40922 40118 0 -1 4194304 216892 0 0 0 99642 45 0 0 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
[pid=41083] ppid=40927 vsize=126624 memory=125156 CPUtime=2274.43 cores=0,2
/proc/41083/stat : 41083 (naps-1.03a6) R 40927 41083 41083 0 -1 4194304 71066 0 0 0 227408 35 0 0 20 0 1 0 44224574 129662976 31289 18446744073709551615 4198400 7047149 140724130703856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20307968 140724130707831 140724130707955 140724130707955 140724130713545 0
/proc/41083/statm: 31656 31289 608 696 0 30817 0
Current children cumulated CPU time: 3271.3 s
Current children cumulated vsize: 2810872 KiB
Current children cumulated memory: 1140780 KiB

[startup+3286.4 s]
/proc/loadavg: 4.17 4.20 4.16 5/259 41645
/proc/meminfo: memFree=124778516/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=996.87 cores=0,2
/proc/40927/stat : 40927 (python3) S 40922 40922 40118 0 -1 4194304 216892 0 0 0 99642 45 0 0 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
[pid=41083] ppid=40927 vsize=126624 memory=125156 CPUtime=2277.61 cores=0,2
/proc/41083/stat : 41083 (naps-1.03a6) R 40927 41083 41083 0 -1 4194304 71066 0 0 0 227726 35 0 0 20 0 1 0 44224574 129662976 31289 18446744073709551615 4198400 7047149 140724130703856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20307968 140724130707831 140724130707955 140724130707955 140724130713545 0
/proc/41083/statm: 31656 31289 608 696 0 30817 0
Current children cumulated CPU time: 3274.48 s
Current children cumulated vsize: 2810872 KiB
Current children cumulated memory: 1140780 KiB

[startup+3289.6 s]
/proc/loadavg: 4.17 4.20 4.16 5/259 41645
/proc/meminfo: memFree=124762732/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=996.87 cores=0,2
/proc/40927/stat : 40927 (python3) S 40922 40922 40118 0 -1 4194304 216892 0 0 0 99642 45 0 0 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
[pid=41083] ppid=40927 vsize=126624 memory=125156 CPUtime=2280.8 cores=0,2
/proc/41083/stat : 41083 (naps-1.03a6) R 40927 41083 41083 0 -1 4194304 71066 0 0 0 228045 35 0 0 20 0 1 0 44224574 129662976 31289 18446744073709551615 4198400 7047149 140724130703856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20307968 140724130707831 140724130707955 140724130707955 140724130713545 0
/proc/41083/statm: 31656 31289 608 696 0 30817 0
Current children cumulated CPU time: 3277.67 s
Current children cumulated vsize: 2810872 KiB
Current children cumulated memory: 1140780 KiB

[startup+3291.2 s]
/proc/loadavg: 4.16 4.20 4.16 5/259 41645
/proc/meminfo: memFree=124648360/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=996.87 cores=0,2
/proc/40927/stat : 40927 (python3) S 40922 40922 40118 0 -1 4194304 216892 0 0 0 99642 45 0 0 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
[pid=41083] ppid=40927 vsize=126624 memory=125156 CPUtime=2282.4 cores=0,2
/proc/41083/stat : 41083 (naps-1.03a6) R 40927 41083 41083 0 -1 4194304 71066 0 0 0 228205 35 0 0 20 0 1 0 44224574 129662976 31289 18446744073709551615 4198400 7047149 140724130703856 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20307968 140724130707831 140724130707955 140724130707955 140724130713545 0
/proc/41083/statm: 31656 31289 608 696 0 30817 0
Current children cumulated CPU time: 3279.27 s
Current children cumulated vsize: 2810872 KiB
Current children cumulated memory: 1140780 KiB

[startup+3291.6 s]
/proc/loadavg: 4.16 4.20 4.16 5/259 41645
/proc/meminfo: memFree=124648360/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=3279.69 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 245281 71068 0 0 99654 50 228229 36 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
Current children cumulated CPU time: 3279.69 s
Current children cumulated vsize: 2684248 KiB
Current children cumulated memory: 1015624 KiB

[startup+3291.8 s]
/proc/loadavg: 4.16 4.20 4.16 5/259 41645
/proc/meminfo: memFree=124648360/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
[pid=40927] ppid=40922 vsize=2680056 memory=1012680 CPUtime=3279.88 cores=0,2
/proc/40927/stat : 40927 (python3) R 40922 40922 40118 0 -1 4194304 260409 71068 0 0 99672 51 228229 36 20 0 1 0 44124491 2744377344 253170 18446744073709551615 94238852198400 94238852198777 140733355821488 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94238852210072 94238852210692 94238855446528 140733355825511 140733355825698 140733355825698 140733355831271 0
/proc/40927/statm: 670014 253170 8275 1 0 641372 0
Current children cumulated CPU time: 3279.88 s
Current children cumulated vsize: 2684248 KiB
Current children cumulated memory: 1015624 KiB

[startup+3291.9 s]
/proc/loadavg: 4.16 4.20 4.16 5/259 41645
/proc/meminfo: memFree=124648360/131382112 swapFree=33010684/33010684
[pid=40922] ppid=40919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40922/stat : 40922 (scip-naps-1.00.) S 40919 40922 40118 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 44124488 4292608 736 18446744073709551615 94529266753536 94529267648069 140731373566688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94529267887120 94529267934864 94529296109568 140731373574561 140731373574658 140731373574658 140731373580260 0
/proc/40922/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3291.93
CPU time (s): 3280.03
CPU user time (s): 3279.05
CPU system time (s): 0.978307
CPU usage (%): 99.6386
Max. virtual memory (cumulated for all children) (KiB): 2825696
Max. memory (cumulated for all children) (KiB): 1155636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3279.05
system time used= 0.978307
maximum resident set size= 1021440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 362
involuntary context switches= 8112


# summary of solver processes directly reported to runsolver:
#   pid: 40922
#   total CPU time (s): 3280.03
#   total CPU user time (s): 3279.05
#   total CPU system time (s): 0.978307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1382 second user time and 33.5009 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-30 13:54:11
IDJOB=4485011
IDBENCH=146684
IDSOLVER=3368
FILE ID=nodeC005/4485011-1751284451
RUNJOBID= nodeC005-1751280833-40128
SLURM_JOB_ID= 9594229
Free space on /tmp= 433032 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485011-1751284451/watcher-4485011-1751284451 -o /tmp/evaluation-result-4485011-1751284451/solver-4485011-1751284451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40128 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4485011-1751284451.opb

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

MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=921318269

nodeC005 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	: 0xb00001f
cpu MHz		: 1795.857
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.515
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.822
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.591
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.812
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.236
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.693
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126980056 kB
MemAvailable:   127186560 kB
Buffers:            3280 kB
Cached:          1008532 kB
SwapCached:            0 kB
Active:          3127300 kB
Inactive:         709728 kB
Active(anon):    2843176 kB
Inactive(anon):        0 kB
Active(file):     284124 kB
Inactive(file):   709728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14672 kB
Writeback:           236 kB
AnonPages:       2822520 kB
Mapped:           130368 kB
Shmem:             17960 kB
KReclaimable:     104560 kB
Slab:             187648 kB
SReclaimable:     104560 kB
SUnreclaim:        83088 kB
KernelStack:        4096 kB
PageTables:         9788 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7305124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432600 MiB
End job on nodeC005 at 2025-06-30 14:49:03