Trace number 4489289

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.00a1SAT (TO)187 3600.22 3610.25

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
MD5SUMc9dbdd12375057f4b915bf781d219fad
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark3585.96
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables468
Total number of constraints468
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints468
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 468
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 468
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 468
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

44.19/44.47	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4489289-1751334009.opb
44.19/44.47	c Solving mode: optimization
44.19/44.47	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
44.19/44.47	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
44.19/44.47	c original problem has 468 variables (468 bin, 0 int, 0 impl, 0 cont) and 468 constraints
44.19/44.47	c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.680000e+02
44.19/44.47	c presolving:
44.19/44.47	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 19 chg sides, 99 chg coeffs, 0 upgd conss, 0 impls, 118 clqs
44.19/44.47	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 19 chg sides, 99 chg coeffs, 468 upgd conss, 0 impls, 118 clqs
44.19/44.47	c (round 3, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 127 chg sides, 402 chg coeffs, 468 upgd conss, 0 impls, 118 clqs
44.19/44.47	c (round 4, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 128 chg sides, 403 chg coeffs, 468 upgd conss, 0 impls, 118 clqs
44.19/44.47	c (round 5, medium)     0 del vars, 131 del conss, 236 add conss, 0 chg bounds, 341 chg sides, 808 chg coeffs, 468 upgd conss, 0 impls, 118 clqs
44.19/44.47	c (round 6, fast)       0 del vars, 165 del conss, 253 add conss, 0 chg bounds, 410 chg sides, 1161 chg coeffs, 468 upgd conss, 0 impls, 118 clqs
44.19/44.47	c (round 7, fast)       0 del vars, 165 del conss, 253 add conss, 0 chg bounds, 410 chg sides, 1165 chg coeffs, 468 upgd conss, 0 impls, 118 clqs
44.19/44.47	c    (0.0s) probing: 51/468 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
44.19/44.47	c    (0.0s) probing aborted: 50/50 successive totally useless probings
44.19/44.47	c    (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
44.19/44.47	c    (0.0s) no symmetry present (symcode time: 0.00)
44.19/44.47	c presolving (8 rounds: 8 fast, 3 medium, 2 exhaustive):
44.19/44.47	c  0 deleted vars, 165 deleted constraints, 253 added constraints, 0 tightened bounds, 0 added holes, 410 changed sides, 1166 changed coefficients
44.19/44.47	c  0 implications, 118 cliques
44.19/44.47	c presolved problem has 468 variables (468 bin, 0 int, 0 impl, 0 cont) and 556 constraints
44.19/44.47	c     417 constraints of type <knapsack>
44.19/44.47	c     118 constraints of type <setppc>
44.19/44.47	c      21 constraints of type <logicor>
44.19/44.47	c transformed objective value is always integral (scale: 1)
44.19/44.47	c Presolving Time: 0.02
44.19/44.47	c transformed 1/1 original solutions to the transformed problem space
44.19/44.47	c 
44.19/44.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
44.19/44.47	c p 0.0s|     1 |     0 |     0 |     - |   locks|   0 | 468 | 556 | 556 |   0 |  0 |   0 |   0 | 0.000000e+00 | 2.200000e+02 |    Inf | unknown
44.19/44.47	c i 0.0s|     1 |     0 |     0 |     - |  oneopt|   0 | 468 | 556 | 556 |   0 |  0 |   0 |   0 | 0.000000e+00 | 2.060000e+02 |    Inf | unknown
44.19/44.47	c   0.6s|     1 |     0 | 10234 |     - |  7428k |   0 | 468 | 556 | 556 |   0 |  0 |   0 |   0 | 1.476562e+02 | 2.060000e+02 |  39.51%| unknown
44.19/44.47	c   0.7s|     1 |     0 | 11113 |     - |    23M |   0 | 468 | 556 | 624 |  68 |  1 |   0 |   0 | 1.532765e+02 | 2.060000e+02 |  34.40%| unknown
44.19/44.47	c   0.9s|     1 |     0 | 11698 |     - |    37M |   0 | 468 | 556 | 680 | 124 |  2 |   0 |   0 | 1.548738e+02 | 2.060000e+02 |  33.01%| unknown
44.19/44.47	c   1.0s|     1 |     0 | 12304 |     - |    52M |   0 | 468 | 556 | 735 | 179 |  3 |   0 |   0 | 1.563638e+02 | 2.060000e+02 |  31.74%| unknown
44.19/44.47	c   1.2s|     1 |     0 | 12785 |     - |    63M |   0 | 468 | 556 | 784 | 228 |  4 |   0 |   0 | 1.574785e+02 | 2.060000e+02 |  30.81%| unknown
44.19/44.47	c   1.3s|     1 |     0 | 13303 |     - |    72M |   0 | 468 | 556 | 831 | 275 |  5 |   0 |   0 | 1.583171e+02 | 2.060000e+02 |  30.12%| unknown
44.19/44.47	c   1.4s|     1 |     0 | 13688 |     - |    86M |   0 | 468 | 556 | 877 | 321 |  6 |   0 |   0 | 1.589317e+02 | 2.060000e+02 |  29.62%| unknown
44.19/44.47	c   1.5s|     1 |     0 | 14136 |     - |    97M |   0 | 468 | 556 | 914 | 358 |  7 |   0 |   0 | 1.593902e+02 | 2.060000e+02 |  29.24%| unknown
44.19/44.47	c   1.7s|     1 |     0 | 14501 |     - |   100M |   0 | 468 | 556 | 950 | 394 |  8 |   0 |   0 | 1.597267e+02 | 2.060000e+02 |  28.97%| unknown
44.19/44.47	c   1.8s|     1 |     0 | 14763 |     - |   114M |   0 | 468 | 556 | 983 | 427 |  9 |   0 |   0 | 1.599705e+02 | 2.060000e+02 |  28.77%| unknown
44.19/44.47	c   1.9s|     1 |     0 | 15044 |     - |   133M |   0 | 468 | 556 |1010 | 454 | 10 |   0 |   0 | 1.601405e+02 | 2.060000e+02 |  28.64%| unknown
44.19/44.47	c   2.0s|     1 |     0 | 15311 |     - |   134M |   0 | 468 | 556 |1043 | 488 | 11 |   0 |   0 | 1.602684e+02 | 2.060000e+02 |  28.53%| unknown
44.19/44.47	c   2.1s|     1 |     0 | 15587 |     - |   134M |   0 | 468 | 556 |1073 | 518 | 12 |   0 |   0 | 1.603897e+02 | 2.060000e+02 |  28.44%| unknown
44.19/44.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
44.19/44.47	c   2.1s|     1 |     0 | 15852 |     - |   134M |   0 | 468 | 556 |1099 | 544 | 13 |   0 |   0 | 1.605031e+02 | 2.060000e+02 |  28.35%| unknown
44.19/44.47	c   2.2s|     1 |     0 | 16021 |     - |   134M |   0 | 468 | 556 |1121 | 566 | 14 |   0 |   0 | 1.605431e+02 | 2.060000e+02 |  28.31%| unknown
44.19/44.47	c   2.2s|     1 |     0 | 16182 |     - |   134M |   0 | 468 | 556 |1134 | 579 | 15 |   0 |   0 | 1.605978e+02 | 2.060000e+02 |  28.27%| unknown
44.19/44.47	c   2.3s|     1 |     0 | 16271 |     - |   134M |   0 | 468 | 556 |1145 | 590 | 16 |   0 |   0 | 1.606140e+02 | 2.060000e+02 |  28.26%| unknown
44.19/44.47	c   2.3s|     1 |     0 | 16311 |     - |   134M |   0 | 468 | 556 |1082 | 598 | 17 |   0 |   0 | 1.606165e+02 | 2.060000e+02 |  28.26%| unknown
44.19/44.47	c   2.4s|     1 |     0 | 16338 |     - |   134M |   0 | 468 | 556 |1085 | 601 | 18 |   0 |   0 | 1.606192e+02 | 2.060000e+02 |  28.25%| unknown
44.19/44.47	c   2.4s|     1 |     0 | 16361 |     - |   135M |   0 | 468 | 556 |1087 | 603 | 19 |   0 |   0 | 1.606266e+02 | 2.060000e+02 |  28.25%| unknown
44.19/44.47	c   2.4s|     1 |     0 | 16363 |     - |   135M |   0 | 468 | 556 |1088 | 604 | 20 |   0 |   0 | 1.606266e+02 | 2.060000e+02 |  28.25%| unknown
44.19/44.47	c   5.4s|     1 |     2 | 16364 |     - |   135M |   0 | 468 | 556 |1088 | 604 | 21 |   0 |  50 | 1.609600e+02 | 2.060000e+02 |  27.98%| unknown
44.19/44.47	c d17.1s|    45 |    46 | 29738 | 304.0 |pscostdi|  44 | 468 | 556 |1119 |   0 |  1 |   0 | 339 | 1.610392e+02 | 2.020000e+02 |  25.44%| unknown
44.19/44.47	c d17.1s|    45 |    46 | 29744 | 304.1 |pscostdi|  44 | 468 | 556 |1119 |   0 |  1 |   0 | 339 | 1.610392e+02 | 1.990000e+02 |  23.57%| unknown
44.19/44.47	c i17.1s|    46 |    45 | 29759 | 297.7 |  oneopt|  44 | 468 | 556 |1084 | 927 |  0 |   0 | 339 | 1.610392e+02 | 1.980000e+02 |  22.95%| unknown
44.19/44.47	c  20.2s|   100 |   101 | 46871 | 308.2 |   220M |  44 | 468 | 556 | 994 |1310 |  1 |   0 | 351 | 1.612223e+02 | 1.980000e+02 |  22.81%| unknown
44.19/44.47	c o21.5s|   120 |   121 | 61279 | 377.4 |objpscos|  44 | 468 | 556 |1136 |1436 |  1 |   0 | 358 | 1.612223e+02 | 1.970000e+02 |  22.19%| unknown
44.19/44.47	c o21.5s|   120 |   121 | 61304 | 377.7 |objpscos|  44 | 468 | 556 |1136 |1436 |  1 |   0 | 358 | 1.612223e+02 | 1.960000e+02 |  21.57%| unknown
44.19/44.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
44.19/44.47	c i21.6s|   120 |   121 | 61387 | 378.4 |  oneopt|  44 | 468 | 556 |1136 |1436 |  1 |   0 | 358 | 1.612223e+02 | 1.950000e+02 |  20.95%| unknown
44.19/44.47	c  25.5s|   200 |   201 | 92212 | 381.2 |   238M |  44 | 468 | 556 |1100 |2026 |  1 |   1 | 384 | 1.612993e+02 | 1.950000e+02 |  20.89%| unknown
44.19/44.47	c  29.8s|   300 |   301 |120469 | 348.2 |   245M |  55 | 468 | 556 |1105 |2568 |  1 |   3 | 422 | 1.613230e+02 | 1.950000e+02 |  20.88%| unknown
44.19/44.47	c L32.4s|   320 |   321 |141041 | 390.8 |    rins|  55 | 468 | 556 |1107 |2688 |  1 |   4 | 432 | 1.613230e+02 | 1.920000e+02 |  19.02%| unknown
44.19/44.47	c  36.4s|   400 |   401 |173426 | 393.6 |   246M |  55 | 468 | 556 |1049 |3086 |  1 |   7 | 465 | 1.613230e+02 | 1.920000e+02 |  19.02%| unknown
44.19/44.47	c  43.0s|   500 |   501 |232699 | 433.5 |   249M |  55 | 468 | 559 |1219 |4089 |  7 |  11 | 508 | 1.613230e+02 | 1.920000e+02 |  19.02%| unknown
172.72/173.33	c L44.3s|   520 |   521 |242296 | 435.3 |crossove|  55 | 468 | 559 |1092 |4253 |  1 |  11 | 516 | 1.613230e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c  50.4s|   600 |   601 |290017 | 456.9 |   251M |  55 | 468 | 559 |1161 |4941 |  1 |  17 | 557 | 1.613230e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c  60.1s|   700 |   701 |370538 | 506.7 |   258M |  55 | 468 | 559 |1186 |6088 |  1 |  22 | 616 | 1.613230e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c  73.4s|   800 |   801 |502700 | 608.7 |   260M |  55 | 468 | 561 |1104 |6896 |  5 |  29 | 647 | 1.613230e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c  86.1s|   900 |   901 |639442 | 693.1 |   262M |  55 | 468 | 562 |1153 |7980 |  1 |  34 | 660 | 1.613230e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c  96.8s|  1000 |  1001 |748488 | 732.9 |   263M |  62 | 468 | 565 |1192 |8904 |  1 |  45 | 663 | 1.613230e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
172.72/173.33	c (run 1, node 1049) performing user restart
172.72/173.33	c 
172.72/173.33	c (restart) converted 395 cuts from the global cut pool into linear constraints
172.72/173.33	c 
172.72/173.33	c presolving:
172.72/173.33	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 118 clqs
172.72/173.33	c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 118 clqs
172.72/173.33	c (round 3, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 28 chg coeffs, 394 upgd conss, 0 impls, 118 clqs
172.72/173.33	c (round 4, fast)       0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 33 chg coeffs, 394 upgd conss, 0 impls, 118 clqs
172.72/173.33	c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
172.72/173.33	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 36 changed coefficients
172.72/173.33	c  0 implications, 118 cliques
172.72/173.33	c presolved problem has 468 variables (468 bin, 0 int, 0 impl, 0 cont) and 959 constraints
172.72/173.33	c     699 constraints of type <knapsack>
172.72/173.33	c     118 constraints of type <setppc>
172.72/173.33	c     142 constraints of type <logicor>
172.72/173.33	c transformed objective value is always integral (scale: 1)
172.72/173.33	c Presolving Time: 0.03
172.72/173.33	c transformed 99/100 original solutions to the transformed problem space
172.72/173.33	c 
172.72/173.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
172.72/173.33	c   103s|     1 |     0 |815763 |     - |   239M |   0 | 468 | 959 | 950 |   0 |  0 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   104s|     1 |     0 |816904 |     - |   239M |   0 | 468 | 959 | 990 |  40 |  1 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   104s|     1 |     0 |817864 |     - |   240M |   0 | 468 | 959 |1020 |  70 |  2 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   104s|     1 |     0 |818369 |     - |   237M |   0 | 468 | 959 |1046 |  96 |  3 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   104s|     1 |     0 |818703 |     - |   244M |   0 | 468 | 959 |1067 | 117 |  4 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   104s|     1 |     0 |818863 |     - |   248M |   0 | 468 | 959 |1084 | 134 |  5 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   104s|     1 |     0 |819145 |     - |   255M |   0 | 468 | 959 |1096 | 146 |  6 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   104s|     1 |     0 |819453 |     - |   256M |   0 | 468 | 959 |1107 | 157 |  7 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |819656 |     - |   258M |   0 | 468 | 959 |1119 | 169 |  8 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |819848 |     - |   256M |   0 | 468 | 959 |1125 | 175 |  9 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |820060 |     - |   257M |   0 | 468 | 959 |1133 | 183 | 10 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |820137 |     - |   258M |   0 | 468 | 959 |1043 | 190 | 11 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |820167 |     - |   258M |   0 | 468 | 959 |1047 | 194 | 12 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |820308 |     - |   258M |   0 | 468 | 959 |1050 | 197 | 13 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |820341 |     - |   258M |   0 | 468 | 959 |1055 | 202 | 14 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
172.72/173.33	c   105s|     1 |     0 |820486 |     - |   258M |   0 | 468 | 959 |1057 | 204 | 15 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |820585 |     - |   258M |   0 | 468 | 959 |1060 | 207 | 16 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   105s|     1 |     0 |820601 |     - |   258M |   0 | 468 | 959 | 991 | 209 | 17 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   106s|     1 |     0 |820634 |     - |   258M |   0 | 468 | 959 | 993 | 211 | 18 |  48 | 674 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   110s|     1 |     2 |827018 |     - |   258M |   0 | 468 | 959 | 993 | 211 | 18 |  49 | 713 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   133s|   100 |   101 |952837 | 804.7 |   276M |  64 | 468 | 959 |1054 | 642 |  1 |  49 | 860 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   135s|   200 |   201 |978063 | 760.5 |   276M |  97 | 468 | 959 |1069 | 694 |  1 |  49 | 887 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   138s|   300 |   285 |994762 | 716.4 |   275M | 130 | 468 | 959 |1074 | 794 |  1 |  49 | 898 | 1.613238e+02 | 1.910000e+02 |  18.40%| unknown
172.72/173.33	c   140s|   400 |   333 |  1009k| 676.9 |   267M | 131 | 468 | 959 |1076 | 862 |  1 |  50 | 927 | 1.613636e+02 | 1.910000e+02 |  18.37%| unknown
172.72/173.33	c   142s|   500 |   373 |  1022k| 641.5 |   267M | 133 | 468 | 959 |1079 | 925 |  1 |  51 | 950 | 1.613636e+02 | 1.910000e+02 |  18.37%| unknown
172.72/173.33	c   145s|   600 |   423 |  1041k| 614.5 |   268M | 133 | 468 | 959 | 965 |1064 |  1 |  51 | 983 | 1.614895e+02 | 1.910000e+02 |  18.27%| unknown
172.72/173.33	c   146s|   700 |   471 |  1051k| 585.0 |   268M | 133 | 468 | 959 |1075 |1072 |  2 |  53 | 983 | 1.614895e+02 | 1.910000e+02 |  18.27%| unknown
172.72/173.33	c   149s|   800 |   483 |  1082k| 569.9 |   268M | 133 | 468 | 959 |1074 |1128 |  1 |  54 | 989 | 1.614930e+02 | 1.910000e+02 |  18.27%| unknown
172.72/173.33	c   151s|   900 |   491 |  1096k| 548.3 |   268M | 133 | 468 | 959 |1078 |1187 |  1 |  55 |1006 | 1.615199e+02 | 1.910000e+02 |  18.25%| unknown
172.72/173.33	c   156s|  1000 |   553 |  1124k| 535.1 |   268M | 133 | 468 | 959 |1075 |1377 |  1 |  58 |1027 | 1.615610e+02 | 1.910000e+02 |  18.22%| unknown
172.72/173.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
172.72/173.33	c   156s|  1100 |   621 |  1132k| 513.8 |   268M | 133 | 468 | 959 |1077 |1404 |  2 |  60 |1053 | 1.615610e+02 | 1.910000e+02 |  18.22%| unknown
172.72/173.33	c   158s|  1200 |   673 |  1148k| 497.8 |   269M | 133 | 468 | 959 |1076 |1501 |  1 |  61 |1065 | 1.615620e+02 | 1.910000e+02 |  18.22%| unknown
172.72/173.33	c   163s|  1300 |   725 |  1172k| 487.0 |   269M | 133 | 468 | 959 |1076 |1686 |  2 |  63 |1085 | 1.615762e+02 | 1.910000e+02 |  18.21%| unknown
172.72/173.33	c   163s|  1400 |   735 |  1177k| 469.2 |   269M | 133 | 468 | 959 |1076 |1694 |  3 |  65 |1087 | 1.615762e+02 | 1.910000e+02 |  18.21%| unknown
172.72/173.33	c   166s|  1500 |   763 |  1191k| 456.1 |   269M | 133 | 468 | 959 |1079 |1778 |  1 |  71 |1100 | 1.615792e+02 | 1.910000e+02 |  18.21%| unknown
172.72/173.33	c   169s|  1600 |   797 |  1210k| 446.1 |   269M | 133 | 468 | 959 | 959 |1903 |  1 |  74 |1112 | 1.616206e+02 | 1.910000e+02 |  18.18%| unknown
172.72/173.33	c   170s|  1700 |   865 |  1224k| 434.9 |   269M | 133 | 468 | 959 |1076 |1919 |  1 |  76 |1124 | 1.616206e+02 | 1.910000e+02 |  18.18%| unknown
329.09/330.18	c   173s|  1800 |   929 |  1244k| 426.8 |   269M | 133 | 468 | 959 |1077 |1991 |  2 |  85 |1143 | 1.616369e+02 | 1.910000e+02 |  18.17%| unknown
329.09/330.18	c   175s|  1900 |   977 |  1263k| 418.7 |   270M | 133 | 468 | 959 |1078 |2075 |  2 |  91 |1151 | 1.616369e+02 | 1.910000e+02 |  18.17%| unknown
329.09/330.18	c   181s|  2000 |  1045 |  1316k| 422.5 |   270M | 133 | 468 | 959 |1073 |2303 |  1 |  98 |1160 | 1.616825e+02 | 1.910000e+02 |  18.13%| unknown
329.09/330.18	c   183s|  2100 |  1117 |  1337k| 415.8 |   270M | 133 | 468 | 959 |1075 |2424 |  1 | 102 |1163 | 1.616827e+02 | 1.910000e+02 |  18.13%| unknown
329.09/330.18	c   184s|  2200 |  1139 |  1346k| 405.6 |   270M | 133 | 468 | 959 |1076 |2429 |  2 | 108 |1164 | 1.616827e+02 | 1.910000e+02 |  18.13%| unknown
329.09/330.18	c L 184s|  2254 |  1069 |  1349k| 400.0 |    rins| 133 | 468 | 959 |1076 |2434 |  2 | 111 |1164 | 1.616827e+02 | 1.900000e+02 |  17.51%| unknown
329.09/330.18	c i 184s|  2255 |   830 |  1349k| 399.9 |  oneopt| 133 | 468 | 959 |1076 |2434 |  0 | 111 |1164 | 1.616827e+02 | 1.890000e+02 |  16.90%| unknown
329.09/330.18	c   184s|  2300 |   837 |  1354k| 395.9 |   270M | 133 | 468 | 959 |1077 |2441 |  2 | 117 |1164 | 1.616827e+02 | 1.890000e+02 |  16.90%| unknown
329.09/330.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
329.09/330.18	c   187s|  2400 |   871 |  1381k| 392.2 |   270M | 133 | 468 | 959 |1077 |2590 |  1 | 123 |1167 | 1.616986e+02 | 1.890000e+02 |  16.88%| unknown
329.09/330.18	c L 189s|  2458 |   633 |  1394k| 389.6 |    rins| 133 | 468 | 959 |1075 |2660 |  1 | 123 |1169 | 1.617305e+02 | 1.870000e+02 |  15.62%| unknown
329.09/330.18	c   190s|  2500 |   645 |  1403k| 387.4 |   270M | 133 | 468 | 959 |1074 |2719 |  1 | 125 |1172 | 1.617381e+02 | 1.870000e+02 |  15.62%| unknown
329.09/330.18	c   195s|  2600 |   671 |  1437k| 386.1 |   270M | 133 | 468 | 959 |1074 |2966 |  1 | 132 |1174 | 1.617753e+02 | 1.870000e+02 |  15.59%| unknown
329.09/330.18	c   195s|  2700 |   663 |  1447k| 378.4 |   270M | 133 | 468 | 959 |1075 |2971 |  1 | 141 |1174 | 1.617753e+02 | 1.870000e+02 |  15.59%| unknown
329.09/330.18	c   202s|  2800 |   715 |  1509k| 384.8 |   270M | 133 | 468 | 959 |1075 |3282 |  1 | 149 |1181 | 1.618577e+02 | 1.870000e+02 |  15.53%| unknown
329.09/330.18	c   206s|  2900 |   719 |  1541k| 383.2 |   270M | 133 | 468 | 959 |1075 |3433 |  2 | 155 |1182 | 1.618751e+02 | 1.870000e+02 |  15.52%| unknown
329.09/330.18	c   209s|  3000 |   739 |  1566k| 379.8 |   271M | 133 | 468 | 959 | 977 |3603 |  1 | 171 |1182 | 1.619096e+02 | 1.870000e+02 |  15.50%| unknown
329.09/330.18	c   213s|  3100 |   791 |  1595k| 377.7 |   271M | 133 | 468 | 959 | 962 |3754 |  1 | 180 |1186 | 1.619284e+02 | 1.870000e+02 |  15.48%| unknown
329.09/330.18	c   216s|  3200 |   843 |  1629k| 376.9 |   271M | 133 | 468 | 959 |1076 |3982 |  3 | 186 |1186 | 1.619384e+02 | 1.870000e+02 |  15.48%| unknown
329.09/330.18	c   217s|  3300 |   885 |  1643k| 371.4 |   271M | 133 | 468 | 959 |1067 |4010 |  1 | 198 |1187 | 1.619384e+02 | 1.870000e+02 |  15.48%| unknown
329.09/330.18	c   221s|  3400 |   957 |  1674k| 370.0 |   271M | 133 | 468 | 959 |1072 |4212 |  1 | 205 |1188 | 1.619404e+02 | 1.870000e+02 |  15.47%| unknown
329.09/330.18	c   225s|  3500 |  1015 |  1716k| 371.1 |   271M | 133 | 468 | 959 |1075 |4351 |  1 | 216 |1211 | 1.619447e+02 | 1.870000e+02 |  15.47%| unknown
329.09/330.18	c   231s|  3600 |  1055 |  1755k| 371.5 |   271M | 133 | 468 | 958 |1075 |4640 |  1 | 233 |1231 | 1.619769e+02 | 1.870000e+02 |  15.45%| unknown
329.09/330.18	c   233s|  3700 |  1127 |  1774k| 367.6 |   271M | 133 | 468 | 957 | 974 |4750 |  1 | 239 |1251 | 1.619825e+02 | 1.870000e+02 |  15.44%| unknown
329.09/330.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
329.09/330.18	c   235s|  3800 |  1201 |  1797k| 364.8 |   271M | 133 | 468 | 957 |1070 |4849 |  1 | 247 |1252 | 1.619825e+02 | 1.870000e+02 |  15.44%| unknown
329.09/330.18	c   237s|  3900 |  1259 |  1821k| 362.2 |   271M | 133 | 468 | 957 |1077 |4985 |  2 | 258 |1262 | 1.619839e+02 | 1.870000e+02 |  15.44%| unknown
329.09/330.18	c   241s|  4000 |  1337 |  1851k| 361.0 |   271M | 133 | 468 | 955 |1079 |5214 |  2 | 262 |1276 | 1.619952e+02 | 1.870000e+02 |  15.44%| unknown
329.09/330.18	c   244s|  4100 |  1395 |  1875k| 358.6 |   271M | 133 | 468 | 955 |1078 |5336 |  1 | 270 |1276 | 1.620010e+02 | 1.870000e+02 |  15.43%| unknown
329.09/330.18	c   246s|  4200 |  1429 |  1913k| 359.1 |   271M | 133 | 468 | 955 |1077 |5437 |  2 | 282 |1280 | 1.620044e+02 | 1.870000e+02 |  15.43%| unknown
329.09/330.18	c   247s|  4300 |  1449 |  1925k| 354.7 |   272M | 133 | 468 | 955 |1080 |5443 |  2 | 292 |1281 | 1.620044e+02 | 1.870000e+02 |  15.43%| unknown
329.09/330.18	c   250s|  4400 |  1475 |  1947k| 352.2 |   272M | 133 | 468 | 955 | 980 |5610 |  1 | 296 |1285 | 1.620239e+02 | 1.870000e+02 |  15.42%| unknown
329.09/330.18	c   255s|  4500 |  1523 |  1993k| 354.2 |   272M | 133 | 468 | 956 |1081 |5909 |  2 | 304 |1289 | 1.620554e+02 | 1.870000e+02 |  15.39%| unknown
329.09/330.18	c   260s|  4600 |  1573 |  2027k| 353.8 |   272M | 133 | 468 | 956 | 970 |6171 |  1 | 313 |1292 | 1.620653e+02 | 1.870000e+02 |  15.39%| unknown
329.09/330.18	c   263s|  4700 |  1605 |  2054k| 352.4 |   272M | 133 | 468 | 956 |1080 |6264 |  1 | 323 |1292 | 1.620655e+02 | 1.870000e+02 |  15.39%| unknown
329.09/330.18	c   265s|  4800 |  1621 |  2077k| 350.3 |   272M | 133 | 468 | 958 |1080 |6342 |  1 | 336 |1292 | 1.620726e+02 | 1.870000e+02 |  15.38%| unknown
329.09/330.18	c   269s|  4900 |  1647 |  2123k| 352.1 |   272M | 133 | 468 | 958 |1082 |6501 |  1 | 349 |1293 | 1.620893e+02 | 1.870000e+02 |  15.37%| unknown
329.09/330.18	c   273s|  5000 |  1695 |  2159k| 352.3 |   272M | 133 | 468 | 958 |1081 |6823 |  0 | 357 |1293 | 1.620988e+02 | 1.870000e+02 |  15.36%| unknown
329.09/330.18	c   277s|  5100 |  1727 |  2195k| 352.3 |   272M | 133 | 468 | 958 |1080 |7025 |  1 | 372 |1293 | 1.621085e+02 | 1.870000e+02 |  15.35%| unknown
329.09/330.18	c   278s|  5200 |  1771 |  2211k| 349.3 |   272M | 133 | 468 | 958 |1076 |7075 |  1 | 382 |1293 | 1.621085e+02 | 1.870000e+02 |  15.35%| unknown
329.09/330.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
329.09/330.18	c   283s|  5300 |  1827 |  2251k| 350.1 |   273M | 133 | 468 | 958 |1067 |7350 |  1 | 390 |1304 | 1.621287e+02 | 1.870000e+02 |  15.34%| unknown
329.09/330.18	c   287s|  5400 |  1905 |  2283k| 349.6 |   273M | 133 | 468 | 962 |1083 |7591 |  1 | 399 |1318 | 1.621304e+02 | 1.870000e+02 |  15.34%| unknown
329.09/330.18	c   290s|  5500 |  1941 |  2309k| 348.2 |   273M | 133 | 468 | 961 | 988 |7758 |  1 | 411 |1331 | 1.621507e+02 | 1.870000e+02 |  15.32%| unknown
329.09/330.18	c   294s|  5600 |  1971 |  2337k| 347.3 |   273M | 133 | 468 | 960 | 974 |7969 |  1 | 425 |1352 | 1.621508e+02 | 1.870000e+02 |  15.32%| unknown
329.09/330.18	c   297s|  5700 |  2001 |  2361k| 345.6 |   273M | 133 | 468 | 960 |1084 |8078 |  0 | 436 |1358 | 1.621517e+02 | 1.870000e+02 |  15.32%| unknown
329.09/330.18	c   299s|  5800 |  2021 |  2382k| 343.6 |   273M | 133 | 468 | 965 |1086 |8194 |  1 | 454 |1371 | 1.621534e+02 | 1.870000e+02 |  15.32%| unknown
329.09/330.18	c   305s|  5900 |  2061 |  2437k| 346.7 |   273M | 133 | 468 | 964 |1086 |8483 |  1 | 461 |1378 | 1.621747e+02 | 1.870000e+02 |  15.31%| unknown
329.09/330.18	c   309s|  6000 |  2105 |  2467k| 346.1 |   274M | 133 | 468 | 964 |1082 |8696 |  1 | 466 |1384 | 1.621882e+02 | 1.870000e+02 |  15.30%| unknown
329.09/330.18	c   312s|  6100 |  2135 |  2498k| 345.5 |   274M | 133 | 468 | 964 |1083 |8817 |  1 | 474 |1388 | 1.621932e+02 | 1.870000e+02 |  15.29%| unknown
329.09/330.18	c   316s|  6200 |  2193 |  2534k| 345.7 |   274M | 133 | 468 | 965 |1077 |9067 |  1 | 484 |1389 | 1.621989e+02 | 1.870000e+02 |  15.29%| unknown
329.09/330.18	c   319s|  6300 |  2249 |  2557k| 344.1 |   274M | 133 | 468 | 965 |1081 |9201 |  2 | 489 |1395 | 1.622059e+02 | 1.870000e+02 |  15.29%| unknown
329.09/330.18	c   319s|  6400 |  2257 |  2570k| 341.3 |   274M | 133 | 468 | 963 |1081 |9212 |  2 | 503 |1395 | 1.622059e+02 | 1.870000e+02 |  15.29%| unknown
329.09/330.18	c   320s|  6500 |  2305 |  2585k| 338.7 |   274M | 133 | 468 | 963 |1073 |9280 |  1 | 515 |1396 | 1.622059e+02 | 1.870000e+02 |  15.29%| unknown
329.09/330.18	c   321s|  6600 |  2373 |  2597k| 335.9 |   274M | 133 | 468 | 963 |1093 |9328 |  1 | 524 |1399 | 1.622059e+02 | 1.870000e+02 |  15.29%| unknown
329.09/330.18	c   326s|  6700 |  2417 |  2646k| 337.9 |   274M | 133 | 468 | 963 | 984 |9551 |  1 | 530 |1403 | 1.622162e+02 | 1.870000e+02 |  15.28%| unknown
476.80/478.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.80/478.21	c   330s|  6800 |  2465 |  2685k| 338.5 |   274M | 133 | 468 | 962 | 978 |9859 |  1 | 540 |1404 | 1.622215e+02 | 1.870000e+02 |  15.27%| unknown
476.80/478.21	c   334s|  6900 |  2525 |  2722k| 338.9 |   274M | 133 | 468 | 961 |1078 |  10k|  1 | 548 |1404 | 1.622424e+02 | 1.870000e+02 |  15.26%| unknown
476.80/478.21	c   338s|  7000 |  2563 |  2758k| 339.2 |   274M | 133 | 468 | 964 |1086 |  10k|  2 | 559 |1405 | 1.622451e+02 | 1.870000e+02 |  15.26%| unknown
476.80/478.21	c   341s|  7100 |  2603 |  2792k| 339.1 |   274M | 133 | 468 | 964 |1089 |  10k|  1 | 568 |1405 | 1.622571e+02 | 1.870000e+02 |  15.25%| unknown
476.80/478.21	c   343s|  7200 |  2619 |  2813k| 337.6 |   274M | 133 | 468 | 964 |1086 |  10k|  1 | 578 |1406 | 1.622589e+02 | 1.870000e+02 |  15.25%| unknown
476.80/478.21	c   346s|  7300 |  2637 |  2836k| 336.3 |   274M | 133 | 468 | 964 |1086 |  10k|  1 | 594 |1406 | 1.622597e+02 | 1.870000e+02 |  15.25%| unknown
476.80/478.21	c   350s|  7400 |  2669 |  2868k| 336.2 |   274M | 133 | 468 | 968 |1086 |  11k|  1 | 613 |1419 | 1.622612e+02 | 1.870000e+02 |  15.25%| unknown
476.80/478.21	c   354s|  7500 |  2701 |  2899k| 335.8 |   274M | 133 | 468 | 968 |1083 |  11k|  2 | 633 |1437 | 1.622635e+02 | 1.870000e+02 |  15.24%| unknown
476.80/478.21	c   357s|  7600 |  2755 |  2923k| 334.7 |   274M | 133 | 468 | 968 |1089 |  11k|  0 | 645 |1454 | 1.622657e+02 | 1.870000e+02 |  15.24%| unknown
476.80/478.21	c   361s|  7700 |  2801 |  2954k| 334.4 |   274M | 133 | 468 | 968 |1074 |  11k|  1 | 653 |1464 | 1.622684e+02 | 1.870000e+02 |  15.24%| unknown
476.80/478.21	c   364s|  7800 |  2831 |  2982k| 333.9 |   274M | 133 | 468 | 968 | 980 |  11k|  1 | 665 |1473 | 1.622744e+02 | 1.870000e+02 |  15.24%| unknown
476.80/478.21	c   369s|  7900 |  2869 |  3034k| 335.9 |   274M | 133 | 468 | 968 | 973 |  12k|  1 | 683 |1493 | 1.622768e+02 | 1.870000e+02 |  15.24%| unknown
476.80/478.21	c   373s|  8000 |  2897 |  3066k| 335.7 |   275M | 133 | 468 | 968 |1082 |  12k|  1 | 703 |1496 | 1.622867e+02 | 1.870000e+02 |  15.23%| unknown
476.80/478.21	c   376s|  8100 |  2931 |  3092k| 334.9 |   275M | 133 | 468 | 967 | 978 |  12k|  1 | 719 |1500 | 1.622902e+02 | 1.870000e+02 |  15.23%| unknown
476.80/478.21	c   377s|  8200 |  2941 |  3112k| 333.4 |   275M | 133 | 468 | 967 |1078 |  12k|  1 | 734 |1503 | 1.622902e+02 | 1.870000e+02 |  15.23%| unknown
476.80/478.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.80/478.21	c   379s|  8300 |  2985 |  3135k| 332.4 |   275M | 133 | 468 | 967 |1086 |  12k|  1 | 742 |1504 | 1.622933e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   382s|  8400 |  3019 |  3164k| 331.9 |   275M | 133 | 468 | 967 |1080 |  12k|  1 | 754 |1505 | 1.622982e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   384s|  8500 |  3045 |  3187k| 330.8 |   275M | 133 | 468 | 967 |1089 |  13k|  1 | 766 |1507 | 1.622987e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   387s|  8600 |  3073 |  3211k| 329.8 |   275M | 133 | 468 | 967 |1072 |  13k|  1 | 777 |1507 | 1.622991e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   389s|  8700 |  3135 |  3237k| 329.1 |   275M | 133 | 468 | 967 |1088 |  13k|  1 | 785 |1507 | 1.622995e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   390s|  8800 |  3159 |  3249k| 327.0 |   275M | 133 | 468 | 967 |1087 |  13k|  1 | 806 |1507 | 1.622995e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   391s|  8900 |  3171 |  3261k| 325.0 |   275M | 133 | 468 | 967 |1088 |  13k|  1 | 824 |1507 | 1.622995e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   391s|  9000 |  3185 |  3275k| 323.1 |   275M | 133 | 468 | 967 |1089 |  13k|  2 | 840 |1507 | 1.622995e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   392s|  9100 |  3217 |  3287k| 321.1 |   275M | 133 | 468 | 967 |1086 |  13k|  1 | 852 |1508 | 1.622995e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   394s|  9200 |  3247 |  3307k| 319.9 |   275M | 133 | 468 | 966 |1085 |  13k|  0 | 868 |1509 | 1.622999e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   396s|  9300 |  3269 |  3329k| 318.9 |   276M | 133 | 468 | 966 |1084 |  13k|  1 | 881 |1510 | 1.623033e+02 | 1.870000e+02 |  15.22%| unknown
476.80/478.21	c   398s|  9400 |  3291 |  3350k| 317.9 |   276M | 133 | 468 | 966 |1086 |  13k|  1 | 894 |1512 | 1.623070e+02 | 1.870000e+02 |  15.21%| unknown
476.80/478.21	c   401s|  9500 |  3321 |  3379k| 317.7 |   276M | 133 | 468 | 966 |1085 |  13k|  2 | 906 |1514 | 1.623112e+02 | 1.870000e+02 |  15.21%| unknown
476.80/478.21	c   403s|  9600 |  3343 |  3401k| 316.8 |   276M | 133 | 468 | 966 |1087 |  13k|  0 | 923 |1515 | 1.623131e+02 | 1.870000e+02 |  15.21%| unknown
476.80/478.21	c   406s|  9700 |  3375 |  3430k| 316.5 |   276M | 133 | 468 | 966 |1087 |  14k|  1 | 939 |1517 | 1.623160e+02 | 1.870000e+02 |  15.21%| unknown
476.80/478.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.80/478.21	c   409s|  9800 |  3403 |  3466k| 316.8 |   276M | 133 | 468 | 966 |1087 |  14k|  2 | 954 |1517 | 1.623185e+02 | 1.870000e+02 |  15.21%| unknown
476.80/478.21	c   411s|  9900 |  3423 |  3489k| 316.1 |   276M | 133 | 468 | 966 |1087 |  14k|  1 | 971 |1517 | 1.623216e+02 | 1.870000e+02 |  15.20%| unknown
476.80/478.21	c   413s| 10000 |  3441 |  3510k| 315.1 |   276M | 133 | 468 | 965 |1091 |  14k|  2 | 983 |1518 | 1.623253e+02 | 1.870000e+02 |  15.20%| unknown
476.80/478.21	c   415s| 10100 |  3467 |  3532k| 314.2 |   276M | 133 | 468 | 965 |1088 |  14k|  1 | 997 |1521 | 1.623264e+02 | 1.870000e+02 |  15.20%| unknown
476.80/478.21	c   417s| 10200 |  3481 |  3552k| 313.3 |   276M | 133 | 468 | 965 |1088 |  14k|  1 |1010 |1521 | 1.623269e+02 | 1.870000e+02 |  15.20%| unknown
476.80/478.21	c   420s| 10300 |  3511 |  3579k| 312.9 |   276M | 133 | 468 | 965 |1090 |  14k|  2 |1018 |1521 | 1.623276e+02 | 1.870000e+02 |  15.20%| unknown
476.80/478.21	c   424s| 10400 |  3537 |  3613k| 313.1 |   276M | 133 | 468 | 967 |1088 |  14k|  2 |1035 |1522 | 1.623391e+02 | 1.870000e+02 |  15.19%| unknown
476.80/478.21	c   428s| 10500 |  3563 |  3646k| 313.2 |   276M | 133 | 468 | 967 |1085 |  14k|  0 |1057 |1523 | 1.623450e+02 | 1.870000e+02 |  15.19%| unknown
476.80/478.21	c   431s| 10600 |  3587 |  3676k| 313.2 |   276M | 133 | 468 | 967 |1089 |  15k|  4 |1070 |1524 | 1.623458e+02 | 1.870000e+02 |  15.19%| unknown
476.80/478.21	c   435s| 10700 |  3615 |  3709k| 313.3 |   276M | 133 | 468 | 967 |1087 |  15k|  2 |1077 |1526 | 1.623530e+02 | 1.870000e+02 |  15.18%| unknown
476.80/478.21	c   437s| 10800 |  3633 |  3733k| 312.7 |   276M | 133 | 468 | 967 |1085 |  15k|  2 |1088 |1526 | 1.623544e+02 | 1.870000e+02 |  15.18%| unknown
476.80/478.21	c   442s| 10900 |  3687 |  3783k| 314.3 |   276M | 133 | 468 | 969 | 977 |  15k|  1 |1099 |1526 | 1.623550e+02 | 1.870000e+02 |  15.18%| unknown
476.80/478.21	c   447s| 11000 |  3725 |  3823k| 314.9 |   277M | 133 | 468 | 969 | 969 |  15k|  1 |1110 |1526 | 1.623640e+02 | 1.870000e+02 |  15.17%| unknown
476.80/478.21	c   452s| 11100 |  3779 |  3868k| 316.0 |   277M | 133 | 468 | 969 |1087 |  16k|  1 |1116 |1526 | 1.623729e+02 | 1.870000e+02 |  15.17%| unknown
476.80/478.21	c   453s| 11200 |  3807 |  3880k| 314.5 |   277M | 133 | 468 | 968 |1083 |  16k|  1 |1126 |1526 | 1.623729e+02 | 1.870000e+02 |  15.17%| unknown
476.80/478.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
476.80/478.21	c   455s| 11300 |  3837 |  3905k| 314.0 |   277M | 133 | 468 | 969 |1090 |  16k|  1 |1138 |1527 | 1.623747e+02 | 1.870000e+02 |  15.17%| unknown
476.80/478.21	c   461s| 11400 |  3875 |  3943k| 314.5 |   277M | 133 | 468 | 968 | 983 |  16k|  1 |1144 |1540 | 1.623884e+02 | 1.870000e+02 |  15.16%| unknown
476.80/478.21	c   463s| 11500 |  3911 |  3970k| 314.2 |   277M | 133 | 468 | 968 |1086 |  16k|  2 |1156 |1546 | 1.623895e+02 | 1.870000e+02 |  15.16%| unknown
476.80/478.21	c   466s| 11600 |  3925 |  3992k| 313.4 |   277M | 133 | 468 | 969 |1086 |  17k|  2 |1166 |1560 | 1.623931e+02 | 1.870000e+02 |  15.15%| unknown
476.80/478.21	c   468s| 11700 |  3943 |  4014k| 312.7 |   277M | 133 | 468 | 969 |1086 |  17k|  2 |1182 |1569 | 1.623939e+02 | 1.870000e+02 |  15.15%| unknown
476.80/478.21	c   471s| 11800 |  3963 |  4054k| 313.3 |   277M | 133 | 468 | 969 |1087 |  17k|  4 |1197 |1585 | 1.623991e+02 | 1.870000e+02 |  15.15%| unknown
476.80/478.21	c   475s| 11900 |  4009 |  4088k| 313.5 |   277M | 133 | 468 | 969 | 990 |  17k|  1 |1206 |1591 | 1.624068e+02 | 1.870000e+02 |  15.14%| unknown
647.76/649.60	c   478s| 12000 |  4035 |  4117k| 313.3 |   277M | 133 | 468 | 969 |1086 |  17k|  1 |1224 |1592 | 1.624082e+02 | 1.870000e+02 |  15.14%| unknown
647.76/649.60	c   479s| 12100 |  4033 |  4131k| 312.0 |   277M | 133 | 468 | 969 |1092 |  17k|  5 |1241 |1593 | 1.624082e+02 | 1.870000e+02 |  15.14%| unknown
647.76/649.60	c   485s| 12200 |  4099 |  4182k| 313.5 |   277M | 133 | 468 | 972 |1086 |  17k|  1 |1251 |1596 | 1.624160e+02 | 1.870000e+02 |  15.14%| unknown
647.76/649.60	c   489s| 12300 |  4135 |  4216k| 313.7 |   277M | 133 | 468 | 972 | 983 |  18k|  1 |1262 |1598 | 1.624258e+02 | 1.870000e+02 |  15.13%| unknown
647.76/649.60	c   491s| 12400 |  4159 |  4237k| 312.9 |   278M | 133 | 468 | 972 | 970 |  18k|  1 |1277 |1599 | 1.624263e+02 | 1.870000e+02 |  15.13%| unknown
647.76/649.60	c   495s| 12500 |  4217 |  4271k| 313.2 |   278M | 133 | 468 | 972 | 979 |  18k|  1 |1288 |1599 | 1.624385e+02 | 1.870000e+02 |  15.12%| unknown
647.76/649.60	c   498s| 12600 |  4253 |  4316k| 314.2 |   278M | 133 | 468 | 972 |1087 |  18k|  1 |1309 |1599 | 1.624424e+02 | 1.870000e+02 |  15.12%| unknown
647.76/649.60	c   502s| 12700 |  4301 |  4351k| 314.4 |   279M | 133 | 468 | 972 |1089 |  18k|  2 |1321 |1602 | 1.624471e+02 | 1.870000e+02 |  15.11%| unknown
647.76/649.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
647.76/649.60	c   504s| 12800 |  4315 |  4372k| 313.6 |   279M | 133 | 468 | 972 |1070 |  18k|  1 |1336 |1604 | 1.624478e+02 | 1.870000e+02 |  15.11%| unknown
647.76/649.60	c   507s| 12900 |  4359 |  4403k| 313.6 |   279M | 133 | 468 | 972 |1094 |  19k|  2 |1350 |1604 | 1.624489e+02 | 1.870000e+02 |  15.11%| unknown
647.76/649.60	c   509s| 13000 |  4371 |  4428k| 313.2 |   279M | 133 | 468 | 974 |1087 |  19k|  1 |1366 |1604 | 1.624510e+02 | 1.870000e+02 |  15.11%| unknown
647.76/649.60	c   513s| 13100 |  4433 |  4464k| 313.5 |   279M | 133 | 468 | 974 |1085 |  19k|  0 |1373 |1605 | 1.624541e+02 | 1.870000e+02 |  15.11%| unknown
647.76/649.60	c   516s| 13200 |  4497 |  4495k| 313.5 |   279M | 133 | 468 | 974 |1090 |  19k|  1 |1381 |1607 | 1.624679e+02 | 1.870000e+02 |  15.10%| unknown
647.76/649.60	c   518s| 13300 |  4511 |  4515k| 312.7 |   279M | 133 | 468 | 974 |1086 |  19k|  1 |1394 |1607 | 1.624738e+02 | 1.870000e+02 |  15.10%| unknown
647.76/649.60	c   521s| 13400 |  4561 |  4541k| 312.4 |   279M | 133 | 468 | 974 | 985 |  19k|  1 |1405 |1607 | 1.624817e+02 | 1.870000e+02 |  15.09%| unknown
647.76/649.60	c   525s| 13500 |  4601 |  4579k| 312.8 |   279M | 133 | 468 | 976 |1087 |  20k|  1 |1422 |1614 | 1.624855e+02 | 1.870000e+02 |  15.09%| unknown
647.76/649.60	c   526s| 13600 |  4607 |  4593k| 311.6 |   279M | 133 | 468 | 976 |1088 |  20k|  1 |1433 |1622 | 1.624855e+02 | 1.870000e+02 |  15.09%| unknown
647.76/649.60	c   530s| 13700 |  4625 |  4635k| 312.4 |   280M | 133 | 468 | 976 |1088 |  20k|  2 |1443 |1633 | 1.624871e+02 | 1.870000e+02 |  15.09%| unknown
647.76/649.60	c   532s| 13800 |  4651 |  4659k| 311.8 |   280M | 133 | 468 | 976 |1089 |  20k|  2 |1456 |1644 | 1.624885e+02 | 1.870000e+02 |  15.09%| unknown
647.76/649.60	c   535s| 13900 |  4673 |  4682k| 311.3 |   280M | 133 | 468 | 976 |1094 |  20k|  2 |1463 |1655 | 1.624903e+02 | 1.870000e+02 |  15.08%| unknown
647.76/649.60	c   537s| 14000 |  4693 |  4705k| 310.8 |   280M | 133 | 468 | 976 |1089 |  20k|  1 |1476 |1662 | 1.624917e+02 | 1.870000e+02 |  15.08%| unknown
647.76/649.60	c   538s| 14100 |  4693 |  4720k| 309.7 |   280M | 133 | 468 | 976 |1090 |  20k|  0 |1486 |1665 | 1.624917e+02 | 1.870000e+02 |  15.08%| unknown
647.76/649.60	c   541s| 14200 |  4717 |  4745k| 309.3 |   280M | 133 | 468 | 976 |1089 |  20k|  1 |1493 |1672 | 1.624952e+02 | 1.870000e+02 |  15.08%| unknown
647.76/649.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
647.76/649.60	c   544s| 14300 |  4737 |  4773k| 309.1 |   280M | 133 | 468 | 976 | 969 |  20k|  1 |1506 |1674 | 1.624989e+02 | 1.870000e+02 |  15.08%| unknown
647.76/649.60	c   548s| 14400 |  4773 |  4802k| 309.0 |   280M | 133 | 468 | 976 | 976 |  21k|  1 |1518 |1680 | 1.625062e+02 | 1.870000e+02 |  15.07%| unknown
647.76/649.60	c   553s| 14500 |  4827 |  4844k| 309.7 |   280M | 133 | 468 | 975 |1090 |  21k|  1 |1531 |1683 | 1.625082e+02 | 1.870000e+02 |  15.07%| unknown
647.76/649.60	c   556s| 14600 |  4855 |  4872k| 309.5 |   280M | 133 | 468 | 975 | 988 |  21k|  1 |1542 |1684 | 1.625126e+02 | 1.870000e+02 |  15.07%| unknown
647.76/649.60	c   560s| 14700 |  4899 |  4906k| 309.7 |   280M | 133 | 468 | 973 |1090 |  21k|  2 |1547 |1691 | 1.625144e+02 | 1.870000e+02 |  15.07%| unknown
647.76/649.60	c   566s| 14800 |  4961 |  4952k| 310.7 |   280M | 133 | 468 | 972 | 974 |  22k|  1 |1553 |1691 | 1.625180e+02 | 1.870000e+02 |  15.06%| unknown
647.76/649.60	c   571s| 14900 |  5001 |  5015k| 312.7 |   280M | 133 | 468 | 971 |1091 |  22k|  1 |1565 |1693 | 1.625303e+02 | 1.870000e+02 |  15.06%| unknown
647.76/649.60	c   575s| 15000 |  5023 |  5049k| 312.8 |   280M | 133 | 468 | 970 |1092 |  22k|  2 |1576 |1696 | 1.625317e+02 | 1.870000e+02 |  15.05%| unknown
647.76/649.60	c   577s| 15100 |  5033 |  5072k| 312.4 |   280M | 133 | 468 | 970 |1095 |  22k|  0 |1588 |1697 | 1.625317e+02 | 1.870000e+02 |  15.05%| unknown
647.76/649.60	c   581s| 15200 |  5075 |  5112k| 312.8 |   280M | 133 | 468 | 972 |1090 |  22k|  3 |1601 |1699 | 1.625376e+02 | 1.870000e+02 |  15.05%| unknown
647.76/649.60	c   583s| 15300 |  5091 |  5135k| 312.4 |   280M | 133 | 468 | 972 |1094 |  22k|  1 |1608 |1699 | 1.625398e+02 | 1.870000e+02 |  15.05%| unknown
647.76/649.60	c   586s| 15400 |  5107 |  5159k| 311.9 |   280M | 133 | 468 | 972 |1089 |  23k|  2 |1617 |1699 | 1.625422e+02 | 1.870000e+02 |  15.05%| unknown
647.76/649.60	c   588s| 15500 |  5129 |  5186k| 311.7 |   280M | 133 | 468 | 972 | 974 |  23k|  1 |1627 |1699 | 1.625453e+02 | 1.870000e+02 |  15.04%| unknown
647.76/649.60	c   590s| 15600 |  5135 |  5207k| 311.1 |   280M | 133 | 468 | 972 |1088 |  23k|  2 |1638 |1699 | 1.625453e+02 | 1.870000e+02 |  15.04%| unknown
647.76/649.60	c   593s| 15700 |  5149 |  5235k| 310.9 |   280M | 133 | 468 | 972 | 985 |  23k|  1 |1654 |1700 | 1.625494e+02 | 1.870000e+02 |  15.04%| unknown
647.76/649.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
647.76/649.60	c   599s| 15800 |  5187 |  5292k| 312.4 |   281M | 133 | 468 | 972 |1091 |  23k|  1 |1664 |1711 | 1.625551e+02 | 1.870000e+02 |  15.04%| unknown
647.76/649.60	c   604s| 15900 |  5223 |  5334k| 313.1 |   281M | 133 | 468 | 971 |1092 |  23k|  2 |1678 |1725 | 1.625654e+02 | 1.870000e+02 |  15.03%| unknown
647.76/649.60	c   608s| 16000 |  5253 |  5368k| 313.2 |   281M | 133 | 468 | 971 |1088 |  24k|  1 |1690 |1732 | 1.625662e+02 | 1.870000e+02 |  15.03%| unknown
647.76/649.60	c   611s| 16100 |  5285 |  5400k| 313.3 |   281M | 133 | 468 | 971 |1091 |  24k|  1 |1699 |1736 | 1.625729e+02 | 1.870000e+02 |  15.03%| unknown
647.76/649.60	c   612s| 16200 |  5291 |  5416k| 312.3 |   281M | 133 | 468 | 971 |1091 |  24k|  1 |1712 |1738 | 1.625729e+02 | 1.870000e+02 |  15.03%| unknown
647.76/649.60	c   614s| 16300 |  5319 |  5438k| 311.8 |   281M | 133 | 468 | 971 |1092 |  24k|  0 |1721 |1740 | 1.625758e+02 | 1.870000e+02 |  15.02%| unknown
647.76/649.60	c   617s| 16400 |  5339 |  5465k| 311.6 |   281M | 133 | 468 | 971 |1093 |  24k|  1 |1739 |1743 | 1.625809e+02 | 1.870000e+02 |  15.02%| unknown
647.76/649.60	c   620s| 16500 |  5363 |  5497k| 311.6 |   281M | 133 | 468 | 971 |1095 |  24k|  1 |1751 |1749 | 1.625826e+02 | 1.870000e+02 |  15.02%| unknown
647.76/649.60	c   625s| 16600 |  5407 |  5536k| 312.1 |   281M | 133 | 468 | 971 |1092 |  25k|  1 |1758 |1754 | 1.625847e+02 | 1.870000e+02 |  15.02%| unknown
647.76/649.60	c   630s| 16700 |  5449 |  5591k| 313.4 |   281M | 133 | 468 | 971 |1094 |  25k|  1 |1764 |1758 | 1.625861e+02 | 1.870000e+02 |  15.02%| unknown
647.76/649.60	c   632s| 16800 |  5457 |  5621k| 313.3 |   281M | 133 | 468 | 971 |1095 |  25k|  1 |1782 |1761 | 1.625876e+02 | 1.870000e+02 |  15.01%| unknown
647.76/649.60	c   637s| 16900 |  5493 |  5663k| 313.9 |   281M | 133 | 468 | 971 |1097 |  25k|  1 |1794 |1764 | 1.625903e+02 | 1.870000e+02 |  15.01%| unknown
647.76/649.60	c   642s| 17000 |  5543 |  5708k| 314.7 |   281M | 133 | 468 | 971 |1092 |  26k|  3 |1804 |1769 | 1.625933e+02 | 1.870000e+02 |  15.01%| unknown
647.76/649.60	c   645s| 17100 |  5567 |  5732k| 314.3 |   281M | 133 | 468 | 971 | 975 |  26k|  1 |1816 |1774 | 1.625960e+02 | 1.870000e+02 |  15.01%| unknown
647.76/649.60	c   647s| 17200 |  5571 |  5754k| 313.8 |   281M | 133 | 468 | 971 |1092 |  26k|  3 |1836 |1775 | 1.625960e+02 | 1.870000e+02 |  15.01%| unknown
798.28/800.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
798.28/800.58	c   649s| 17300 |  5595 |  5780k| 313.4 |   281M | 133 | 468 | 971 | 974 |  26k|  1 |1848 |1776 | 1.625978e+02 | 1.870000e+02 |  15.01%| unknown
798.28/800.58	c   654s| 17400 |  5635 |  5821k| 314.0 |   282M | 133 | 468 | 971 | 991 |  26k|  1 |1857 |1776 | 1.626011e+02 | 1.870000e+02 |  15.01%| unknown
798.28/800.58	c   657s| 17500 |  5659 |  5854k| 314.1 |   282M | 133 | 468 | 971 | 988 |  26k|  1 |1871 |1776 | 1.626043e+02 | 1.870000e+02 |  15.00%| unknown
798.28/800.58	c   661s| 17600 |  5701 |  5894k| 314.5 |   283M | 133 | 468 | 969 |1092 |  26k|  1 |1887 |1779 | 1.626122e+02 | 1.870000e+02 |  15.00%| unknown
798.28/800.58	c   664s| 17700 |  5717 |  5920k| 314.2 |   283M | 133 | 468 | 969 |1091 |  27k|  2 |1902 |1779 | 1.626129e+02 | 1.870000e+02 |  15.00%| unknown
798.28/800.58	c   665s| 17800 |  5723 |  5936k| 313.4 |   283M | 133 | 468 | 969 |1091 |  27k|  1 |1916 |1781 | 1.626129e+02 | 1.870000e+02 |  15.00%| unknown
798.28/800.58	c   667s| 17900 |  5751 |  5969k| 313.5 |   283M | 133 | 468 | 967 |1089 |  27k|  3 |1924 |1782 | 1.626137e+02 | 1.870000e+02 |  15.00%| unknown
798.28/800.58	c   668s| 18000 |  5777 |  5985k| 312.7 |   283M | 133 | 468 | 967 |1097 |  27k|  2 |1940 |1782 | 1.626137e+02 | 1.870000e+02 |  15.00%| unknown
798.28/800.58	c   673s| 18100 |  5833 |  6031k| 313.5 |   283M | 133 | 468 | 967 |1097 |  27k|  2 |1948 |1795 | 1.626213e+02 | 1.870000e+02 |  14.99%| unknown
798.28/800.58	c   678s| 18200 |  5873 |  6085k| 314.6 |   283M | 133 | 468 | 968 |1085 |  27k|  2 |1959 |1807 | 1.626283e+02 | 1.870000e+02 |  14.99%| unknown
798.28/800.58	c   682s| 18300 |  5905 |  6119k| 314.8 |   283M | 133 | 468 | 967 |1078 |  27k|  1 |1969 |1813 | 1.626293e+02 | 1.870000e+02 |  14.99%| unknown
798.28/800.58	c   685s| 18400 |  5939 |  6145k| 314.5 |   283M | 133 | 468 | 967 |1090 |  28k|  2 |1981 |1816 | 1.626315e+02 | 1.870000e+02 |  14.98%| unknown
798.28/800.58	c   687s| 18500 |  5949 |  6168k| 314.1 |   283M | 133 | 468 | 967 |1088 |  28k|  1 |1989 |1817 | 1.626335e+02 | 1.870000e+02 |  14.98%| unknown
798.28/800.58	c   690s| 18600 |  5981 |  6193k| 313.8 |   283M | 133 | 468 | 967 | 975 |  28k|  1 |2006 |1824 | 1.626394e+02 | 1.870000e+02 |  14.98%| unknown
798.28/800.58	c   695s| 18700 |  6033 |  6233k| 314.2 |   283M | 133 | 468 | 967 |1092 |  28k|  2 |2016 |1831 | 1.626465e+02 | 1.870000e+02 |  14.97%| unknown
798.28/800.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
798.28/800.58	c   698s| 18800 |  6077 |  6268k| 314.4 |   283M | 133 | 468 | 967 |1099 |  28k|  3 |2028 |1835 | 1.626519e+02 | 1.870000e+02 |  14.97%| unknown
798.28/800.58	c   699s| 18900 |  6099 |  6284k| 313.6 |   283M | 133 | 468 | 967 |1093 |  28k|  1 |2043 |1835 | 1.626519e+02 | 1.870000e+02 |  14.97%| unknown
798.28/800.58	c   704s| 19000 |  6149 |  6320k| 313.8 |   283M | 133 | 468 | 966 |1084 |  29k|  2 |2052 |1835 | 1.626534e+02 | 1.870000e+02 |  14.97%| unknown
798.28/800.58	c   707s| 19100 |  6183 |  6362k| 314.3 |   283M | 133 | 468 | 965 |1086 |  29k|  1 |2069 |1835 | 1.626534e+02 | 1.870000e+02 |  14.97%| unknown
798.28/800.58	c   709s| 19200 |  6229 |  6384k| 313.9 |   283M | 133 | 468 | 965 |1088 |  29k|  2 |2081 |1837 | 1.626565e+02 | 1.870000e+02 |  14.97%| unknown
798.28/800.58	c   711s| 19300 |  6267 |  6405k| 313.4 |   284M | 133 | 468 | 964 |1090 |  29k|  0 |2091 |1837 | 1.626571e+02 | 1.870000e+02 |  14.97%| unknown
798.28/800.58	c   715s| 19400 |  6309 |  6439k| 313.5 |   284M | 133 | 468 | 963 | 983 |  29k|  1 |2101 |1839 | 1.626582e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   716s| 19500 |  6327 |  6459k| 313.0 |   284M | 133 | 468 | 963 |1089 |  29k|  3 |2110 |1839 | 1.626582e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   720s| 19600 |  6355 |  6491k| 313.0 |   284M | 133 | 468 | 963 |1087 |  30k|  1 |2120 |1841 | 1.626622e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   721s| 19700 |  6367 |  6507k| 312.3 |   284M | 133 | 468 | 963 |1088 |  30k|  1 |2135 |1842 | 1.626622e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   721s| 19800 |  6369 |  6521k| 311.4 |   284M | 133 | 468 | 963 |1090 |  30k|  1 |2155 |1842 | 1.626622e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   724s| 19900 |  6389 |  6544k| 311.0 |   284M | 133 | 468 | 963 |1091 |  30k|  2 |2171 |1843 | 1.626643e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   726s| 20000 |  6411 |  6567k| 310.7 |   284M | 133 | 468 | 963 |1091 |  30k|  1 |2183 |1843 | 1.626665e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   730s| 20100 |  6431 |  6611k| 311.2 |   284M | 133 | 468 | 963 | 970 |  30k|  1 |2199 |1846 | 1.626673e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   733s| 20200 |  6449 |  6641k| 311.2 |   284M | 133 | 468 | 963 |1087 |  30k|  4 |2221 |1846 | 1.626695e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
798.28/800.58	c   735s| 20300 |  6481 |  6663k| 310.8 |   284M | 133 | 468 | 963 |1092 |  30k|  0 |2233 |1846 | 1.626705e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   737s| 20400 |  6493 |  6684k| 310.3 |   284M | 133 | 468 | 963 |1091 |  30k|  1 |2241 |1847 | 1.626708e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   739s| 20500 |  6519 |  6707k| 309.9 |   284M | 133 | 468 | 963 |1088 |  30k|  1 |2255 |1847 | 1.626723e+02 | 1.870000e+02 |  14.96%| unknown
798.28/800.58	c   744s| 20600 |  6563 |  6748k| 310.4 |   284M | 133 | 468 | 963 |1088 |  31k|  1 |2266 |1856 | 1.626783e+02 | 1.870000e+02 |  14.95%| unknown
798.28/800.58	c   746s| 20700 |  6577 |  6773k| 310.1 |   284M | 133 | 468 | 963 |1090 |  31k|  0 |2282 |1857 | 1.626794e+02 | 1.870000e+02 |  14.95%| unknown
798.28/800.58	c   750s| 20800 |  6607 |  6802k| 310.0 |   284M | 133 | 468 | 962 |1089 |  31k|  1 |2297 |1863 | 1.626818e+02 | 1.870000e+02 |  14.95%| unknown
798.28/800.58	c   754s| 20900 |  6649 |  6839k| 310.3 |   284M | 133 | 468 | 962 |1089 |  31k|  3 |2308 |1878 | 1.626861e+02 | 1.870000e+02 |  14.95%| unknown
798.28/800.58	c   757s| 21000 |  6675 |  6865k| 310.1 |   284M | 133 | 468 | 962 |1088 |  31k|  0 |2324 |1888 | 1.626891e+02 | 1.870000e+02 |  14.94%| unknown
798.28/800.58	c   761s| 21100 |  6715 |  6897k| 310.1 |   284M | 133 | 468 | 961 |1090 |  31k|  1 |2339 |1899 | 1.627020e+02 | 1.870000e+02 |  14.93%| unknown
798.28/800.58	c   764s| 21200 |  6735 |  6927k| 310.1 |   284M | 133 | 468 | 960 |1091 |  32k|  0 |2351 |1900 | 1.627058e+02 | 1.870000e+02 |  14.93%| unknown
798.28/800.58	c   768s| 21300 |  6795 |  6967k| 310.5 |   284M | 133 | 468 | 960 |1084 |  32k|  1 |2361 |1905 | 1.627063e+02 | 1.870000e+02 |  14.93%| unknown
798.28/800.58	c   770s| 21400 |  6825 |  6989k| 310.1 |   284M | 133 | 468 | 961 |1088 |  32k|  3 |2371 |1905 | 1.627083e+02 | 1.870000e+02 |  14.93%| unknown
798.28/800.58	c   774s| 21500 |  6859 |  7037k| 310.8 |   284M | 133 | 468 | 961 |1084 |  32k|  1 |2384 |1914 | 1.627174e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c   779s| 21600 |  6899 |  7079k| 311.3 |   284M | 133 | 468 | 961 |1084 |  32k|  1 |2395 |1916 | 1.627218e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c   783s| 21700 |  6981 |  7115k| 311.5 |   284M | 133 | 468 | 960 | 978 |  33k|  1 |2396 |1924 | 1.627236e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
798.28/800.58	c   785s| 21800 |  7031 |  7137k| 311.1 |   284M | 133 | 468 | 960 |1089 |  33k|  1 |2407 |1926 | 1.627236e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c   786s| 21900 |  7027 |  7152k| 310.4 |   284M | 133 | 468 | 960 |1085 |  33k|  1 |2426 |1932 | 1.627236e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c   787s| 22000 |  7065 |  7170k| 309.8 |   284M | 133 | 468 | 960 |1090 |  33k|  1 |2435 |1932 | 1.627236e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c   788s| 22100 |  7099 |  7189k| 309.3 |   284M | 133 | 468 | 960 | 968 |  33k|  1 |2447 |1932 | 1.627251e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c   792s| 22200 |  7141 |  7226k| 309.6 |   285M | 133 | 468 | 960 | 976 |  33k|  1 |2458 |1934 | 1.627289e+02 | 1.870000e+02 |  14.92%| unknown
798.28/800.58	c   796s| 22300 |  7189 |  7259k| 309.7 |   285M | 133 | 468 | 960 | 969 |  33k|  1 |2473 |1934 | 1.627320e+02 | 1.870000e+02 |  14.91%| unknown
798.28/800.58	c   800s| 22400 |  7245 |  7295k| 309.9 |   285M | 133 | 468 | 959 |1088 |  33k|  1 |2489 |1938 | 1.627332e+02 | 1.870000e+02 |  14.91%| unknown
972.59/975.32	c   800s| 22500 |  7265 |  7308k| 309.1 |   285M | 133 | 468 | 959 |1090 |  33k|  1 |2496 |1938 | 1.627332e+02 | 1.870000e+02 |  14.91%| unknown
972.59/975.32	c   803s| 22600 |  7287 |  7335k| 309.0 |   285M | 133 | 468 | 959 |1091 |  34k|  2 |2498 |1940 | 1.627353e+02 | 1.870000e+02 |  14.91%| unknown
972.59/975.32	c   807s| 22700 |  7327 |  7366k| 309.0 |   285M | 133 | 468 | 961 | 983 |  34k|  1 |2502 |1941 | 1.627425e+02 | 1.870000e+02 |  14.91%| unknown
972.59/975.32	c   812s| 22800 |  7367 |  7422k| 310.0 |   285M | 133 | 468 | 960 |1091 |  34k|  2 |2511 |1943 | 1.627430e+02 | 1.870000e+02 |  14.91%| unknown
972.59/975.32	c   814s| 22900 |  7387 |  7447k| 309.8 |   286M | 133 | 468 | 960 |1096 |  34k|  4 |2528 |1950 | 1.627457e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c   816s| 23000 |  7439 |  7468k| 309.4 |   286M | 133 | 468 | 959 |1091 |  34k|  1 |2539 |1950 | 1.627476e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c   818s| 23100 |  7471 |  7490k| 309.0 |   286M | 133 | 468 | 959 |1093 |  34k|  2 |2550 |1953 | 1.627478e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c   820s| 23200 |  7501 |  7516k| 308.8 |   286M | 133 | 468 | 961 |1084 |  34k|  1 |2565 |1953 | 1.627480e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
972.59/975.32	c   822s| 23300 |  7545 |  7539k| 308.4 |   286M | 133 | 468 | 961 |1092 |  34k|  1 |2572 |1953 | 1.627487e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c   827s| 23400 |  7609 |  7580k| 308.9 |   286M | 133 | 468 | 961 |1082 |  35k|  1 |2575 |1955 | 1.627532e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c   829s| 23500 |  7647 |  7604k| 308.6 |   286M | 133 | 468 | 961 |1083 |  35k|  1 |2587 |1956 | 1.627542e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c   834s| 23600 |  7701 |  7646k| 309.1 |   287M | 133 | 468 | 961 |1085 |  35k|  0 |2592 |1965 | 1.627568e+02 | 1.870000e+02 |  14.90%| unknown
972.59/975.32	c   838s| 23700 |  7741 |  7678k| 309.1 |   287M | 133 | 468 | 961 |1085 |  35k|  1 |2601 |1975 | 1.627584e+02 | 1.870000e+02 |  14.89%| unknown
972.59/975.32	c   842s| 23800 |  7777 |  7710k| 309.1 |   287M | 133 | 468 | 961 |1088 |  36k|  1 |2609 |1983 | 1.627631e+02 | 1.870000e+02 |  14.89%| unknown
972.59/975.32	c   845s| 23900 |  7811 |  7740k| 309.1 |   287M | 133 | 468 | 961 |1091 |  36k|  1 |2616 |1993 | 1.627637e+02 | 1.870000e+02 |  14.89%| unknown
972.59/975.32	c   851s| 24000 |  7851 |  7780k| 309.5 |   287M | 133 | 468 | 961 | 982 |  36k|  1 |2621 |1998 | 1.627670e+02 | 1.870000e+02 |  14.89%| unknown
972.59/975.32	c   852s| 24100 |  7861 |  7801k| 309.1 |   287M | 133 | 468 | 961 |1088 |  36k|  1 |2638 |2004 | 1.627670e+02 | 1.870000e+02 |  14.89%| unknown
972.59/975.32	c   854s| 24200 |  7893 |  7822k| 308.7 |   287M | 133 | 468 | 960 |1089 |  36k|  1 |2646 |2008 | 1.627679e+02 | 1.870000e+02 |  14.89%| unknown
972.59/975.32	c   859s| 24300 |  7935 |  7882k| 309.8 |   287M | 133 | 468 | 960 |1089 |  36k|  2 |2650 |2011 | 1.627732e+02 | 1.870000e+02 |  14.88%| unknown
972.59/975.32	c   863s| 24400 |  7961 |  7913k| 309.8 |   287M | 133 | 468 | 960 |1089 |  37k|  1 |2659 |2017 | 1.627746e+02 | 1.870000e+02 |  14.88%| unknown
972.59/975.32	c   865s| 24500 |  7979 |  7934k| 309.4 |   288M | 133 | 468 | 959 |1092 |  37k|  1 |2671 |2017 | 1.627746e+02 | 1.870000e+02 |  14.88%| unknown
972.59/975.32	c   869s| 24600 |  8019 |  7970k| 309.6 |   288M | 133 | 468 | 959 | 979 |  37k|  1 |2678 |2022 | 1.627771e+02 | 1.870000e+02 |  14.88%| unknown
972.59/975.32	c   872s| 24700 |  8031 |  8000k| 309.6 |   288M | 133 | 468 | 959 |1093 |  37k|  1 |2694 |2026 | 1.627774e+02 | 1.870000e+02 |  14.88%| unknown
972.59/975.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
972.59/975.32	c   877s| 24800 |  8069 |  8039k| 309.9 |   288M | 133 | 468 | 959 | 976 |  37k|  1 |2706 |2030 | 1.627797e+02 | 1.870000e+02 |  14.88%| unknown
972.59/975.32	c   881s| 24900 |  8101 |  8075k| 310.1 |   288M | 133 | 468 | 959 |1095 |  38k|  2 |2714 |2035 | 1.627822e+02 | 1.870000e+02 |  14.88%| unknown
972.59/975.32	c   885s| 25000 |  8141 |  8107k| 310.2 |   288M | 133 | 468 | 959 |1089 |  38k|  1 |2724 |2039 | 1.627862e+02 | 1.870000e+02 |  14.87%| unknown
972.59/975.32	c   885s| 25100 |  8147 |  8119k| 309.4 |   288M | 133 | 468 | 959 |1090 |  38k|  3 |2734 |2039 | 1.627862e+02 | 1.870000e+02 |  14.87%| unknown
972.59/975.32	c   889s| 25200 |  8171 |  8151k| 309.5 |   288M | 133 | 468 | 959 |1091 |  38k|  1 |2741 |2039 | 1.627936e+02 | 1.870000e+02 |  14.87%| unknown
972.59/975.32	c   893s| 25300 |  8213 |  8192k| 309.8 |   289M | 133 | 468 | 960 |1095 |  38k|  3 |2748 |2040 | 1.627968e+02 | 1.870000e+02 |  14.87%| unknown
972.59/975.32	c   895s| 25400 |  8241 |  8216k| 309.6 |   289M | 133 | 468 | 960 |1091 |  38k|  2 |2764 |2041 | 1.627984e+02 | 1.870000e+02 |  14.87%| unknown
972.59/975.32	c   899s| 25500 |  8283 |  8253k| 309.8 |   289M | 133 | 468 | 960 |1091 |  39k|  1 |2775 |2041 | 1.628020e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c   901s| 25600 |  8299 |  8275k| 309.5 |   289M | 133 | 468 | 960 |1095 |  39k|  1 |2788 |2042 | 1.628037e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c   903s| 25700 |  8321 |  8302k| 309.3 |   289M | 133 | 468 | 960 |1085 |  39k|  1 |2809 |2042 | 1.628053e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c   904s| 25800 |  8353 |  8320k| 308.8 |   289M | 133 | 468 | 960 |1092 |  39k|  1 |2817 |2042 | 1.628053e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c   908s| 25900 |  8381 |  8352k| 308.9 |   289M | 133 | 468 | 963 |1093 |  39k|  1 |2830 |2043 | 1.628055e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c   909s| 26000 |  8377 |  8368k| 308.3 |   289M | 133 | 468 | 963 |1093 |  39k|  1 |2839 |2044 | 1.628055e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c   913s| 26100 |  8413 |  8421k| 309.1 |   289M | 133 | 468 | 963 |1093 |  39k|  1 |2850 |2047 | 1.628073e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c   917s| 26200 |  8439 |  8457k| 309.3 |   289M | 133 | 468 | 963 |1094 |  40k|  2 |2862 |2047 | 1.628104e+02 | 1.870000e+02 |  14.86%| unknown
972.59/975.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
972.59/975.32	c   921s| 26300 |  8489 |  8494k| 309.5 |   289M | 133 | 468 | 963 | 979 |  40k|  1 |2865 |2054 | 1.628193e+02 | 1.870000e+02 |  14.85%| unknown
972.59/975.32	c   924s| 26400 |  8505 |  8526k| 309.6 |   289M | 133 | 468 | 964 |1094 |  40k|  3 |2875 |2058 | 1.628202e+02 | 1.870000e+02 |  14.85%| unknown
972.59/975.32	c   928s| 26500 |  8551 |  8567k| 309.9 |   289M | 133 | 468 | 964 |1097 |  40k|  1 |2884 |2069 | 1.628265e+02 | 1.870000e+02 |  14.85%| unknown
972.59/975.32	c   930s| 26600 |  8565 |  8588k| 309.6 |   289M | 133 | 468 | 964 |1091 |  40k|  0 |2892 |2077 | 1.628290e+02 | 1.870000e+02 |  14.84%| unknown
972.59/975.32	c   935s| 26700 |  8615 |  8630k| 310.0 |   290M | 133 | 468 | 964 |1092 |  41k|  1 |2899 |2084 | 1.628410e+02 | 1.870000e+02 |  14.84%| unknown
972.59/975.32	c   939s| 26800 |  8631 |  8659k| 309.9 |   290M | 133 | 468 | 966 | 984 |  41k|  1 |2909 |2088 | 1.628439e+02 | 1.870000e+02 |  14.83%| unknown
972.59/975.32	c   941s| 26900 |  8659 |  8683k| 309.7 |   290M | 133 | 468 | 966 |1093 |  41k|  1 |2922 |2092 | 1.628468e+02 | 1.870000e+02 |  14.83%| unknown
972.59/975.32	c   945s| 27000 |  8695 |  8721k| 309.9 |   290M | 133 | 468 | 965 |1092 |  41k|  1 |2940 |2096 | 1.628477e+02 | 1.870000e+02 |  14.83%| unknown
972.59/975.32	c   947s| 27100 |  8713 |  8745k| 309.7 |   290M | 133 | 468 | 965 |1094 |  41k|  1 |2957 |2098 | 1.628478e+02 | 1.870000e+02 |  14.83%| unknown
972.59/975.32	c   950s| 27200 |  8745 |  8782k| 309.9 |   290M | 133 | 468 | 964 |1012 |  41k|  1 |2976 |2098 | 1.628490e+02 | 1.870000e+02 |  14.83%| unknown
972.59/975.32	c   956s| 27300 |  8807 |  8833k| 310.6 |   290M | 133 | 468 | 964 | 981 |  42k|  1 |2985 |2105 | 1.628511e+02 | 1.870000e+02 |  14.83%| unknown
972.59/975.32	c   961s| 27400 |  8843 |  8890k| 311.5 |   290M | 133 | 468 | 963 |1092 |  42k|  2 |3004 |2108 | 1.628544e+02 | 1.870000e+02 |  14.83%| unknown
972.59/975.32	c   966s| 27500 |  8887 |  8930k| 311.8 |   290M | 133 | 468 | 963 |1097 |  42k|  1 |3012 |2110 | 1.628594e+02 | 1.870000e+02 |  14.82%| unknown
972.59/975.32	c   970s| 27600 |  8925 |  8966k| 312.0 |   290M | 133 | 468 | 961 | 977 |  43k|  1 |3027 |2117 | 1.628635e+02 | 1.870000e+02 |  14.82%| unknown
972.59/975.32	c   972s| 27700 |  8961 |  8991k| 311.8 |   290M | 133 | 468 | 961 |1098 |  43k|  2 |3033 |2121 | 1.628638e+02 | 1.870000e+02 |  14.82%| unknown
997.32/1000.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.32/1000.19	c   975s| 27800 |  8993 |  9023k| 311.8 |   290M | 133 | 468 | 961 |1094 |  43k|  1 |3045 |2124 | 1.628671e+02 | 1.870000e+02 |  14.82%| unknown
997.32/1000.19	c   978s| 27900 |  9031 |  9058k| 311.9 |   290M | 133 | 468 | 961 |1094 |  43k|  1 |3059 |2124 | 1.628684e+02 | 1.870000e+02 |  14.82%| unknown
997.32/1000.19	c   979s| 28000 |  9041 |  9074k| 311.4 |   290M | 133 | 468 | 961 |1090 |  43k|  1 |3067 |2125 | 1.628684e+02 | 1.870000e+02 |  14.82%| unknown
997.32/1000.19	c   982s| 28100 |  9061 |  9099k| 311.2 |   290M | 133 | 468 | 960 |1093 |  43k|  2 |3071 |2125 | 1.628692e+02 | 1.870000e+02 |  14.82%| unknown
997.32/1000.19	c   986s| 28200 |  9097 |  9141k| 311.6 |   290M | 133 | 468 | 960 |1095 |  44k|  2 |3074 |2125 | 1.628723e+02 | 1.870000e+02 |  14.81%| unknown
997.32/1000.19	c   990s| 28300 |  9141 |  9182k| 311.9 |   291M | 133 | 468 | 960 |1090 |  44k|  1 |3081 |2126 | 1.628767e+02 | 1.870000e+02 |  14.81%| unknown
997.32/1000.19	c   995s| 28400 |  9179 |  9220k| 312.1 |   291M | 133 | 468 | 960 |1093 |  44k|  1 |3095 |2127 | 1.628790e+02 | 1.870000e+02 |  14.81%| unknown
997.32/1000.19	c   997s| 28500 |  9213 |  9245k| 311.9 |   291M | 133 | 468 | 960 |1093 |  44k|  1 |3108 |2128 | 1.628791e+02 | 1.870000e+02 |  14.81%| unknown
997.32/1000.19	c 
997.32/1000.19	c SCIP Status        : solving was interrupted [time limit reached]
997.32/1000.19	c Solving Time (sec) : 1000.00
997.32/1000.19	c Solving Nodes      : 28584 (total of 29633 nodes in 2 runs)
997.32/1000.19	c Primal Bound       : +1.87000000000000e+02 (1060 solutions)
997.32/1000.19	c Dual Bound         : +1.62879538620940e+02
997.32/1000.19	c Gap                : 14.81 %
997.32/1000.19	c All original constraints are satisfied.
997.32/1000.19	c SCIP's best solution is verified feasible for the original problem.
997.32/1000.19	c ----------------------------------------------------------------------
997.32/1000.19	c dual bound: 162.87953862093974 -> 163
997.32/1000.19	c primal bound: 187.0 -> 187
997.32/1000.19	c scip-goal-lb: 163
997.32/1000.19	c scip-goal-ub: 187
997.32/1000.19	c writing output to: HOME/tmpeqnpsage.opb
997.32/1000.19	c appending fixed variable constraints
997.32/1000.19	c scip-fixed vars: 0.00% (0/468)
997.32/1000.19	c ----------------------------------------------------------------------
997.32/1000.19	c executing external solver: HOME/naps-1.03a6
997.32/1000.19	c ----------------------------------------------------------------------
997.32/1000.19	c command: HOME/naps-1.03a6 -goal-lb=163 -goal-ub=186 HOME/tmpeqnpsage.opb
997.41/1000.20	c NaPS 1.03a6.
997.41/1000.20	c Input file name: HOME/tmpeqnpsage.opb
997.41/1000.32	c single stage optimization mode
3600.07/3610.10	c
3600.07/3610.10	c *** TERMINATED *** by signal 15
3600.07/3610.10	c _____________________________________________________________________________
3600.07/3610.10	c std/band forms        : 466,0
3600.07/3610.10	c 2cl/3cl ITE-codings   : 12741,0
3600.07/3610.10	c BDD/srt/adr Max costs : 231,23543,0
3600.07/3610.10	c BDDraw/bin/mul/srt/adr: 335,0,129,2,0
3600.07/3610.10	c BDD nodes             : 21517
3600.07/3610.10	c Es1/CC detections     : 0,0
3600.07/3610.10	c CC sort               : 1
3600.07/3610.10	c SAT/UNSAT calls       : 0,0
3600.07/3610.10	c regenrated variables  : 0
3600.07/3610.10	c eliminated fixed lits : 0
3600.07/3610.10	c goal lit flips        : 0
3600.07/3610.10	c goal stages           : 1
3600.07/3610.10	c goal shrink           : 0
3600.07/3610.10	c goal coeff separations: 0
3600.07/3610.10	c restarts              : 0
3600.07/3610.10	c conflicts             : 0              (0 /sec)
3600.07/3610.10	c decisions             : 0              (0 /sec)
3600.07/3610.10	c propagations          : 0              (0 /sec)
3600.07/3610.10	c inspects              : 0              (0 /sec)
3600.07/3610.10	c CPU time (solving tm) : 2602 s        (2602 s, SAT 0 s, UNSAT 0 s)
3600.07/3610.10	c Time for Opt-base     : 0.01595 s
3600.07/3610.10	c Steps for Opt-base    : 44219
3600.07/3610.10	c Time for BDD coding   : 0.06977 s
3600.07/3610.10	c Time for srt coding   : 0.002585 s
3600.07/3610.10	c _____________________________________________________________________________
3600.07/3610.10	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 x13 x14 -x15 -x16 -x17 -x18 x19 x20 x21 -x22 x23 x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 x62 x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 x73 x74 x75 x76 -x77 x78 x79 -x80 -x81 x82 -x83 -x84 x85 x86 x87 x88 x89 -x90 x91 -x92 x93 x94 x95 -x96 x97 x98 x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 x133 x134 x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 x158 x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 x173 x174 -x175 x176 x177 x178 x179 -x180 -x181 x182 x183 x184 x185 -x186 x187 -x188 -x189 x190 x191 x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 x211 -x212 x213 -x214 -x215 x216 -x217 x218 -x219 -x220 x221 -x222 -x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 x237 x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 -x247 x248 -x249 x250 -x251 x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 x264 -x265 x266 x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 x282 x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 x297 -x298 x299 x300 x301 x302 -x303 x304 x305 x306 -x307 -x308 x309 -x310 x311 -x312 -x313 x314 x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 x325 x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 x335 x336 x337 -x338 -x339 x340 x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 -x369 -x370 x371 -x372 x373 x374 x375
3600.07/3610.10	v -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 x384 x385 x386 x387 -x388 x389 -x390 x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 x406 -x407 x408 x409 x410 -x411 x412 -x413 -x414 -x415 -x416 x417 x418 x419 x420 -x421 -x422 x423 -x424 x425 -x426 x427 x428 -x429 x430 -x431 -x432 -x433 x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 x442 x443 x444 -x445 x446 -x447 -x448 x449 -x450 -x451 x452 x453 x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 x463 -x464 x465 x466 -x467 -x468
3600.07/3610.10	o 187
3600.07/3610.10	s SATISFIABLE
3600.19/3610.22	c received SIGTERM, forwarding to pbsolver...
3600.19/3610.22	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

Verifier Data 

OK	187

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: 63708 MiB (62118 MiB free)
  memory of node 1: 64465 MiB (62808 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489289-1751334009/watcher-4489289-1751334009 -o /tmp/evaluation-result-4489289-1751334009/solver-4489289-1751334009 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751326494-44950 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4489289-1751334009.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=47374, runsolver pid=47371
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.40 4.21 4.13 5/271 47379
/proc/meminfo: memFree=127926112/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=59784 memory=21760 CPUtime=0.03 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 2546 0 0 0 3 0 0 0 20 0 1 0 49078484 61218816 5440 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 14946 5440 3296 1 0 3666 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 63976 KiB
Current children cumulated memory: 24832 KiB

[startup+0.205723 s]*
/proc/loadavg: 4.40 4.21 4.13 5/271 47379
/proc/meminfo: memFree=127915276/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1203816 memory=56160 CPUtime=0.13 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 6937 0 0 0 12 1 0 0 20 0 1 0 49078484 1232707584 14040 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 300954 14040 7994 1 0 272312 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 1208008 KiB
Current children cumulated memory: 59232 KiB

[startup+0.305694 s]*
/proc/loadavg: 4.40 4.21 4.13 5/271 47379
/proc/meminfo: memFree=127907212/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1206032 memory=58720 CPUtime=0.23 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 7485 0 0 0 22 1 0 0 20 0 1 0 49078484 1234976768 14680 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 301508 14680 8090 1 0 272866 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1210224 KiB
Current children cumulated memory: 61792 KiB

[startup+0.700256 s]
/proc/loadavg: 4.40 4.21 4.13 5/271 47379
/proc/meminfo: memFree=127907212/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1206348 memory=58848 CPUtime=0.62 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 7541 0 0 0 61 1 0 0 20 0 1 0 49078484 1235300352 14712 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 301587 14712 8090 1 0 272945 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 1210540 KiB
Current children cumulated memory: 61920 KiB

[startup+1.50021 s]
/proc/loadavg: 4.40 4.21 4.13 5/271 47379
/proc/meminfo: memFree=127874956/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1271896 memory=124256 CPUtime=1.42 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 23860 0 0 0 138 4 0 0 20 0 1 0 49078484 1302421504 31064 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 317974 31064 8122 1 0 289332 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 1276088 KiB
Current children cumulated memory: 127328 KiB

[startup+3.1055 s]
/proc/loadavg: 4.40 4.21 4.13 5/271 47379
/proc/meminfo: memFree=127794260/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1333360 memory=183084 CPUtime=3.02 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 38849 0 0 0 295 7 0 0 20 0 1 0 49078484 1365360640 45771 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 333340 45771 8122 1 0 304698 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1337552 KiB
Current children cumulated memory: 186156 KiB

[startup+6.30021 s]
/proc/loadavg: 4.37 4.21 4.13 5/271 47379
/proc/meminfo: memFree=127802684/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1333360 memory=183084 CPUtime=6.21 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 38854 0 0 0 614 7 0 0 20 0 1 0 49078484 1365360640 45771 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 333340 45771 8122 1 0 304698 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1337552 KiB
Current children cumulated memory: 186156 KiB

[startup+12.7002 s]
/proc/loadavg: 4.34 4.20 4.13 5/271 47379
/proc/meminfo: memFree=127785548/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1338324 memory=188076 CPUtime=12.59 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 40099 0 0 0 1252 7 0 0 20 0 1 0 49078484 1370443776 47019 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 334581 47019 8122 1 0 305939 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1342516 KiB
Current children cumulated memory: 191148 KiB

[startup+25.5002 s]
/proc/loadavg: 4.33 4.21 4.13 5/271 47380
/proc/meminfo: memFree=127692036/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1442196 memory=289620 CPUtime=25.35 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 65928 0 0 0 2524 11 0 0 20 0 1 0 49078484 1476808704 72405 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 360549 72405 8122 1 0 331907 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1446388 KiB
Current children cumulated memory: 292692 KiB

[startup+51.1057 s]
/proc/loadavg: 4.22 4.19 4.12 5/271 47380
/proc/meminfo: memFree=127653868/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1450752 memory=298196 CPUtime=50.88 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 68091 0 0 0 5077 11 0 0 20 0 1 0 49078484 1485570048 74549 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 362688 74549 8122 1 0 334046 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1454944 KiB
Current children cumulated memory: 301268 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.19 4.13 5/270 47382
/proc/meminfo: memFree=127612016/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1467272 memory=314964 CPUtime=101.92 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 72277 0 0 0 10180 12 0 0 20 0 1 0 49078484 1502486528 78741 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 366818 78741 8122 1 0 338176 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1471464 KiB
Current children cumulated memory: 318036 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/271 47389
/proc/meminfo: memFree=127593088/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1503420 memory=354388 CPUtime=161.75 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 81679 0 0 0 16161 14 0 0 20 0 1 0 49078484 1539502080 88597 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 375855 88597 8122 1 0 347213 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1507612 KiB
Current children cumulated memory: 357460 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/271 47391
/proc/meminfo: memFree=127589112/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1503420 memory=355028 CPUtime=221.57 cores=0,2
/proc/47379/stat : 47379 (python3) R 47374 47374 44940 0 -1 4194304 81867 0 0 0 22143 14 0 0 20 0 1 0 49078484 1539502080 88757 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 375855 88757 8122 1 0 347213 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1507612 KiB

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

/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=144688 memory=143136 CPUtime=2215.94 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 56683 0 0 0 221566 28 0 0 20 0 1 0 49178500 148160512 35784 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 36172 35784 640 696 0 35333 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 1654252 KiB
Current children cumulated memory: 506612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/272 47649
/proc/meminfo: memFree=127440572/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=195948 memory=194380 CPUtime=2275.79 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 59020 0 0 0 227548 31 0 0 20 0 1 0 49178500 200650752 48595 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 48987 48595 640 696 0 48148 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 1705512 KiB
Current children cumulated memory: 557856 KiB

[startup+3342.3 s]
/proc/loadavg: 3.98 4.12 4.11 4/264 47682
/proc/meminfo: memFree=128007564/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=145532 memory=143824 CPUtime=2335.63 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 60417 0 0 0 233530 33 0 0 20 0 1 0 49178500 149024768 35956 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 36383 35956 640 696 0 35544 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 1655096 KiB
Current children cumulated memory: 507300 KiB

[startup+3402.3 s]
/proc/loadavg: 3.41 3.93 4.04 4/264 47685
/proc/meminfo: memFree=128005428/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=149492 memory=147924 CPUtime=2395.46 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 62129 0 0 0 239511 35 0 0 20 0 1 0 49178500 153079808 36981 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 37373 36981 640 696 0 36534 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 1659056 KiB
Current children cumulated memory: 511400 KiB

[startup+3462.3 s]
/proc/loadavg: 3.26 3.79 3.98 4/265 47688
/proc/meminfo: memFree=127940128/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=208024 memory=206456 CPUtime=2455.28 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 64013 0 0 0 245490 38 0 0 20 0 1 0 49178500 213016576 51614 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 52006 51614 640 696 0 51167 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 1717588 KiB
Current children cumulated memory: 569932 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.66 3.92 4/265 47690
/proc/meminfo: memFree=127929304/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=216176 memory=214608 CPUtime=2515.1 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 65551 0 0 0 251469 41 0 0 20 0 1 0 49178500 221364224 53652 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 54044 53652 640 696 0 53205 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 1725740 KiB
Current children cumulated memory: 578084 KiB

[startup+3582.3 s]
/proc/loadavg: 3.10 3.55 3.87 4/265 47691
/proc/meminfo: memFree=127871052/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=211652 memory=210084 CPUtime=2574.93 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 67008 0 0 0 257448 45 0 0 20 0 1 0 49178500 216731648 52521 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 52913 52521 640 696 0 52074 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 1721216 KiB
Current children cumulated memory: 573560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 3.12 3.51 3.85 4/265 47692
/proc/meminfo: memFree=127866900/131249988 swapFree=33010684/33010684
[pid=47374] ppid=47371 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47374/stat : 47374 (scip-naps-1.00.) S 47371 47374 44940 0 -1 4194304 257 329 0 0 0 0 0 0 20 0 1 0 49078480 4292608 768 18446744073709551615 94431260635136 94431261529669 140722288831856 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431261768720 94431261816464 94431289372672 140722288839073 140722288839170 140722288839170 140722288844772 0
/proc/47374/statm: 1048 768 704 219 0 110 0
[pid=47379] ppid=47374 vsize=1505372 memory=360404 CPUtime=997.41 cores=0,2
/proc/47379/stat : 47379 (python3) S 47374 47374 44940 0 -1 4194304 84221 0 0 0 99726 15 0 0 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
[pid=47528] ppid=47379 vsize=215324 memory=213756 CPUtime=2602.66 cores=0,2
/proc/47528/stat : 47528 (naps-1.03a6) R 47379 47528 47528 0 -1 4194304 68469 0 0 0 260218 48 0 0 20 0 1 0 49178500 220491776 53439 18446744073709551615 4198400 7047149 140724062992640 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20197376 140724062996855 140724062996979 140724062996979 140724063002569 0
/proc/47528/statm: 53831 53439 640 696 0 52992 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1724888 KiB
Current children cumulated memory: 577232 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.12 s]
# the end of solver process 47374 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001655 s, system=0.003896 s

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

# cumulated CPU time of all completed processes:  user=3599.58 s, system=0.644137 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.22 s]*
/proc/loadavg: 3.12 3.51 3.85 4/263 47692
/proc/meminfo: memFree=128083924/131249988 swapFree=33010684/33010684
[pid=47379] ppid=47371 vsize=1505372 memory=360404 CPUtime=3600.18 cores=0,2
/proc/47379/stat : 47379 (python3) R 47371 47374 44940 0 -1 4194304 84612 68470 0 0 99737 15 260218 48 20 0 1 0 49078484 1541500928 90101 18446744073709551615 93872267304960 93872267305337 140726499346192 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93872267316632 93872267317252 93872299208704 140726499354983 140726499355170 140726499355170 140726499360743 0
/proc/47379/statm: 376343 90101 8186 1 0 347701 0
Current cumulated CPU time of completed processes: 0.005551 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1505372 KiB
Current children cumulated memory: 360404 KiB

Child status: 0

Real time (s): 3610.25
CPU time (s): 3600.22
CPU user time (s): 3599.58
CPU system time (s): 0.644137
CPU usage (%): 99.7223
Max. virtual memory (cumulated for all children) (KiB): 1793120
Max. memory (cumulated for all children) (KiB): 641724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.58
system time used= 0.644137
maximum resident set size= 360404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 408
involuntary context switches= 4739


# summary of solver processes directly reported to runsolver:
#   pid: 47374,47379
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3599.58
#   total CPU system time (s): 0.644137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.81553 second user time and 17.3585 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 03:40:09
IDJOB=4489289
IDBENCH=147544
IDSOLVER=3368
FILE ID=nodeC020/4489289-1751334009
RUNJOBID= nodeC020-1751326494-44950
SLURM_JOB_ID= 9594363
Free space on /tmp= 432932 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489289-1751334009/watcher-4489289-1751334009 -o /tmp/evaluation-result-4489289-1751334009/solver-4489289-1751334009 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751326494-44950 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4489289-1751334009.opb

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

MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=2131203936

nodeC020 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		: 3600.120
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.496
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.669
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.79
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		: 3555.903
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.79
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.899
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.79
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		: 3599.893
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.79
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		: 3603.545
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.79
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		: 3594.774
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127926048 kB
MemAvailable:   128231184 kB
Buffers:            3280 kB
Cached:          1109784 kB
SwapCached:            0 kB
Active:          1852284 kB
Inactive:         801832 kB
Active(anon):    1559120 kB
Inactive(anon):        0 kB
Active(file):     293164 kB
Inactive(file):   801832 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5512 kB
Writeback:             0 kB
AnonPages:       1544200 kB
Mapped:           131440 kB
Shmem:             18056 kB
KReclaimable:      98760 kB
Slab:             186756 kB
SReclaimable:      98760 kB
SUnreclaim:        87996 kB
KernelStack:        4368 kB
PageTables:         6704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    5075436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1243136 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432932 MiB
End job on nodeC020 at 2025-07-01 04:40:20