Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | -45 | 3586.71 | 3597.28 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
| MD5SUM | 79c0a8033bde71aac2f7ead78fdb13b7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -50 |
| Best CPU time to get the best result obtained on this benchmark | 593.296 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1150 |
| Total number of constraints | 80258 |
| Number of constraints which are clauses | 80258 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1150 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4484917-1751305296.opb>
0.10/0.11 c original problem has 1150 variables (1150 bin, 0 int, 0 cont) and 80258 constraints
0.10/0.11 c problem read in 0.109 seconds
0.10/0.20 o 0
0.10/0.20 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.10/0.20 c presolving:
0.30/0.37 c (0.4s) running MILP presolver
0.40/0.46 c (0.5s) MILP presolver found nothing
0.50/0.60 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80258 upgd conss, 0 impls, 80258 clqs
1.00/1.05 c (1.1s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.05 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.58/1.62 c (1.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.58/1.65 c (1.7s) no symmetry present (symcode time: 0.01)
1.58/1.67 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.58/1.67 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.58/1.67 c 0 implications, 80258 cliques
1.58/1.67 c presolved problem has 1150 variables (1150 bin, 0 int, 0 cont) and 80258 constraints
1.58/1.67 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.58/1.67 c 80258 constraints of type <setppc>
1.58/1.67 c transformed objective value is always integral (scale: 1)
1.58/1.67 c Presolving Time: 1.47
1.58/1.67 c
1.58/1.67 c - non default parameters ----------------------------------------------------------------------
1.58/1.67 c
1.58/1.67 c # SCIP version 10.0.0
1.58/1.67 c
1.58/1.67 c # maximal time in seconds to run
1.58/1.67 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.58/1.67 c limits/time = 3596.99801
1.58/1.67 c
1.58/1.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.58/1.67 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.58/1.67 c limits/memory = 27900
1.58/1.67 c
1.58/1.67 c # belongs reading time to solving time?
1.58/1.67 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.58/1.67 c timing/reading = TRUE
1.58/1.67 c
1.58/1.67 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
1.58/1.67 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.58/1.67 c reading/opbreader/maxintsize = 47
1.58/1.67 c
1.58/1.67 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.58/1.67 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.58/1.67 c propagating/genvbounds/timingmask = 0
1.58/1.67 c
1.58/1.67 c -----------------------------------------------------------------------------------------------
1.58/1.67 c transformed 1/1 original solutions to the transformed problem space
1.58/1.67 c
1.78/1.84 o -32
1.78/1.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.78/1.84 c p 1.8s| 1 | 0 | 0 | - | clique| 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-1.150000e+03 |-3.200000e+01 |3493.75%| unknown
2.59/2.69 c 2.7s| 1 | 0 | 1508 | - | 408M | 0 |1150 | 80k| 80k| 0 | 0 | 0 | 0 |-5.750000e+02 |-3.200000e+01 |1696.88%| unknown
3.58/3.66 c 3.7s| 1 | 0 | 1922 | - | 429M | 0 |1150 | 80k| 80k| 10 | 1 | 0 | 0 |-5.405000e+02 |-3.200000e+01 |1589.06%| unknown
5.48/5.56 c 5.6s| 1 | 0 | 2119 | - | 437M | 0 |1150 | 80k| 80k| 36 | 2 | 0 | 0 |-5.095000e+02 |-3.200000e+01 |1492.19%| unknown
9.27/9.33 c 9.3s| 1 | 0 | 2443 | - | 446M | 0 |1150 | 80k| 80k| 48 | 3 | 0 | 0 |-4.855000e+02 |-3.200000e+01 |1417.19%| unknown
13.16/13.21 c 13.2s| 1 | 0 | 2807 | - | 455M | 0 |1150 | 80k| 80k| 74 | 4 | 0 | 0 |-4.555000e+02 |-3.200000e+01 |1323.44%| unknown
18.05/18.13 c 18.1s| 1 | 0 | 3189 | - | 464M | 0 |1150 | 80k| 80k| 98 | 5 | 0 | 0 |-4.285000e+02 |-3.200000e+01 |1239.06%| unknown
19.34/19.41 c 19.4s| 1 | 0 | 4082 | - | 474M | 0 |1150 | 80k| 80k| 116 | 6 | 0 | 0 |-3.937500e+02 |-3.200000e+01 |1130.47%| unknown
20.44/20.58 c 20.6s| 1 | 0 | 4894 | - | 482M | 0 |1150 | 80k| 80k| 148 | 7 | 0 | 0 |-3.652500e+02 |-3.200000e+01 |1041.41%| unknown
21.14/21.29 c 21.3s| 1 | 0 | 5373 | - | 490M | 0 |1150 | 80k| 80k| 184 | 8 | 0 | 0 |-3.265000e+02 |-3.200000e+01 | 920.31%| unknown
22.14/22.21 c 22.2s| 1 | 0 | 6360 | - | 499M | 0 |1150 | 80k| 80k| 218 | 9 | 0 | 0 |-3.127500e+02 |-3.200000e+01 | 877.34%| unknown
23.04/23.11 c 23.1s| 1 | 0 | 7474 | - | 508M | 0 |1150 | 80k| 80k| 265 | 10 | 0 | 0 |-2.982500e+02 |-3.200000e+01 | 832.03%| unknown
23.73/23.81 c 23.8s| 1 | 0 | 8599 | - | 516M | 0 |1150 | 80k| 80k| 279 | 11 | 0 | 0 |-2.702500e+02 |-3.200000e+01 | 744.53%| unknown
24.13/24.26 c 24.3s| 1 | 0 | 9351 | - | 524M | 0 |1150 | 80k| 80k| 301 | 12 | 0 | 0 |-2.541250e+02 |-3.200000e+01 | 694.14%| unknown
24.73/24.84 c 24.8s| 1 | 0 | 10575 | - | 532M | 0 |1150 | 80k| 80k| 317 | 13 | 0 | 0 |-2.331250e+02 |-3.200000e+01 | 628.52%| unknown
25.23/25.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.23/25.35 c 25.4s| 1 | 0 | 11723 | - | 541M | 0 |1150 | 80k| 80k| 341 | 14 | 0 | 0 |-2.147500e+02 |-3.200000e+01 | 571.09%| unknown
25.62/25.71 c 25.7s| 1 | 0 | 12478 | - | 549M | 0 |1150 | 80k| 80k| 369 | 15 | 0 | 0 |-1.962500e+02 |-3.200000e+01 | 513.28%| unknown
26.32/26.43 c 26.4s| 1 | 0 | 14095 | - | 557M | 0 |1150 | 80k| 80k| 393 | 16 | 0 | 0 |-1.730000e+02 |-3.200000e+01 | 440.62%| unknown
26.72/26.88 c 26.9s| 1 | 0 | 15129 | - | 565M | 0 |1150 | 80k| 80k| 415 | 17 | 0 | 0 |-1.552500e+02 |-3.200000e+01 | 385.16%| unknown
27.12/27.23 c 27.2s| 1 | 0 | 15979 | - | 573M | 0 |1150 | 80k| 80k| 446 | 18 | 0 | 0 |-1.457500e+02 |-3.200000e+01 | 355.47%| unknown
27.42/27.55 c 27.6s| 1 | 0 | 16670 | - | 581M | 0 |1150 | 80k| 80k| 466 | 19 | 0 | 0 |-1.282500e+02 |-3.200000e+01 | 300.78%| unknown
27.82/27.91 c 27.9s| 1 | 0 | 17599 | - | 589M | 0 |1150 | 80k| 80k| 490 | 20 | 0 | 0 |-1.192500e+02 |-3.200000e+01 | 272.66%| unknown
28.12/28.29 c 28.3s| 1 | 0 | 18546 | - | 589M | 0 |1150 | 80k| 80k| 494 | 21 | 0 | 0 |-1.057500e+02 |-3.200000e+01 | 230.47%| unknown
28.32/28.43 c 28.4s| 1 | 0 | 18711 | - | 589M | 0 |1150 | 80k| 80k| 497 | 22 | 0 | 0 |-9.675000e+01 |-3.200000e+01 | 202.34%| unknown
28.42/28.57 c 28.6s| 1 | 0 | 18972 | - | 589M | 0 |1150 | 80k| 80k| 499 | 23 | 0 | 0 |-9.087500e+01 |-3.200000e+01 | 183.98%| unknown
28.62/28.75 c 28.7s| 1 | 0 | 19476 | - | 589M | 0 |1150 | 80k| 80k| 501 | 24 | 0 | 0 |-8.187500e+01 |-3.200000e+01 | 155.86%| unknown
28.71/28.89 c 28.9s| 1 | 0 | 19823 | - | 589M | 0 |1150 | 80k| 80k| 506 | 25 | 0 | 0 |-6.687500e+01 |-3.200000e+01 | 108.98%| unknown
28.81/28.97 c 29.0s| 1 | 0 | 19861 | - | 589M | 0 |1150 | 80k| 80k| 510 | 26 | 0 | 0 |-6.100000e+01 |-3.200000e+01 | 90.62%| unknown
28.92/29.09 c 29.1s| 1 | 0 | 20026 | - | 590M | 0 |1150 | 80k| 80k| 512 | 27 | 0 | 0 |-5.700000e+01 |-3.200000e+01 | 78.12%| unknown
29.31/29.43 c 29.4s| 1 | 0 | 21224 | - | 590M | 0 |1150 | 80k| 80k| 515 | 28 | 0 | 0 |-5.260000e+01 |-3.200000e+01 | 64.38%| unknown
29.41/29.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.41/29.55 c 29.6s| 1 | 0 | 21374 | - | 590M | 0 |1150 | 80k| 80k| 520 | 29 | 0 | 0 |-5.133333e+01 |-3.200000e+01 | 60.42%| unknown
29.51/29.64 c 29.6s| 1 | 0 | 21400 | - | 591M | 0 |1150 | 80k| 80k| 524 | 30 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 59.38%| unknown
29.61/29.77 c 29.8s| 1 | 0 | 21515 | - | 591M | 0 |1150 | 80k| 80k| 529 | 31 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 59.38%| unknown
29.71/29.88 c 29.9s| 1 | 0 | 21604 | - | 591M | 0 |1150 | 80k| 80k| 533 | 32 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 59.38%| unknown
29.81/29.99 c 30.0s| 1 | 0 | 21686 | - | 592M | 0 |1150 | 80k| 80k| 538 | 33 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 59.38%| unknown
30.01/30.10 c 30.1s| 1 | 0 | 21771 | - | 593M | 0 |1150 | 80k| 80k| 547 | 34 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 59.38%| unknown
30.11/30.20 c 30.2s| 1 | 0 | 21828 | - | 593M | 0 |1150 | 80k| 80k| 552 | 35 | 0 | 0 |-5.086667e+01 |-3.200000e+01 | 58.96%| unknown
30.21/30.32 c 30.3s| 1 | 0 | 21943 | - | 594M | 0 |1150 | 80k| 80k| 560 | 36 | 0 | 0 |-5.066667e+01 |-3.200000e+01 | 58.33%| unknown
30.31/30.44 c 30.4s| 1 | 0 | 22030 | - | 594M | 0 |1150 | 80k| 80k| 569 | 37 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
30.41/30.54 c 30.5s| 1 | 0 | 22096 | - | 594M | 0 |1150 | 80k| 80k| 574 | 38 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
30.51/30.65 c 30.6s| 1 | 0 | 22162 | - | 595M | 0 |1150 | 80k| 80k| 579 | 39 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
30.61/30.77 c 30.8s| 1 | 0 | 22236 | - | 595M | 0 |1150 | 80k| 80k| 585 | 40 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
30.71/30.87 c 30.9s| 1 | 0 | 22279 | - | 595M | 0 |1150 | 80k| 80k| 592 | 41 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
30.81/30.98 c 31.0s| 1 | 0 | 22339 | - | 596M | 0 |1150 | 80k| 80k| 601 | 42 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
30.91/31.08 c 31.1s| 1 | 0 | 22397 | - | 597M | 0 |1150 | 80k| 80k| 607 | 43 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
31.10/31.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.10/31.20 c 31.2s| 1 | 0 | 22453 | - | 597M | 0 |1150 | 80k| 80k| 613 | 44 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
31.20/31.31 c 31.3s| 1 | 0 | 22513 | - | 598M | 0 |1150 | 80k| 80k| 619 | 45 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
31.30/31.43 c 31.4s| 1 | 0 | 22572 | - | 599M | 0 |1150 | 80k| 80k| 625 | 46 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
31.40/31.54 c 31.5s| 1 | 0 | 22626 | - | 599M | 0 |1150 | 80k| 80k| 630 | 47 | 0 | 0 |-5.000000e+01 |-3.200000e+01 | 56.25%| unknown
35.80/35.97 o -33
35.80/35.97 c L36.0s| 1 | 0 | 22626 | - | rens| 0 |1150 | 80k| 80k| 630 | 47 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%| unknown
36.10/36.25 c 36.2s| 1 | 0 | 22626 | - | 600M | 0 |1150 | 80k| 80k| 630 | 47 | 0 | 0 |-5.000000e+01 |-3.300000e+01 | 51.52%| unknown
36.10/36.25 o -37
36.10/36.25 c i36.3s| 1 | 0 | 22626 | - | oneopt| 0 |1150 | 80k| 80k| 630 | 47 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
36.20/36.31 c 36.3s| 1 | 0 | 22680 | - | 600M | 0 |1150 | 80k| 80k| 639 | 48 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
36.20/36.39 c 36.4s| 1 | 0 | 22702 | - | 600M | 0 |1150 | 80k| 80k| 643 | 49 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
39.59/39.77 c 39.8s| 1 | 2 | 22759 | - | 602M | 0 |1150 | 80k| 80k| 643 | 49 | 0 | 26 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
57.44/57.66 o -38
57.44/57.66 c d57.7s| 22 | 23 | 26486 | 197.2 |pscostdi| 13 |1150 | 80k| 80k| 0 | 1 | 0 | 230 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown
85.25/85.56 c 85.6s| 100 | 101 | 32820 | 105.8 | 709M | 23 |1150 | 80k| 80k| 799 | 1 | 0 | 678 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown
89.64/89.91 o -42
89.64/89.91 c *89.9s| 108 | 107 | 33361 | 103.0 |strongbr| 25 |1150 | 80k| 80k| 800 | 1 | 0 | 787 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
107.18/107.55 o -43
107.18/107.55 c * 108s| 156 | 126 | 36356 | 90.4 |strongbr| 32 |1150 | 80k| 80k| 821 | 1 | 52 |1291 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
115.76/116.10 c 116s| 200 | 142 | 38616 | 81.8 | 723M | 32 |1150 | 80k| 80k| 825 | 1 | 142 |1523 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
135.20/135.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
135.20/135.66 c 136s| 300 | 200 | 43817 | 71.8 | 744M | 32 |1150 | 80k| 80k| 884 | 1 | 184 |1753 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
140.09/140.51 c 141s| 400 | 248 | 47620 | 63.3 | 745M | 32 |1150 | 80k| 80k| 890 | 1 | 184 |1781 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
143.58/144.08 c 144s| 500 | 294 | 50915 | 57.3 | 746M | 35 |1150 | 80k| 80k| 895 | 1 | 190 |1810 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
149.86/150.36 c 150s| 600 | 350 | 56288 | 56.7 | 759M | 35 |1150 | 80k| 80k| 919 | 1 | 207 |1885 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
154.05/154.55 c 155s| 700 | 402 | 60572 | 54.7 | 763M | 35 |1150 | 80k| 80k| 933 | 1 | 221 |1927 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
157.73/158.28 c 158s| 800 | 458 | 65898 | 54.5 | 764M | 35 |1150 | 80k| 80k| 947 | 0 | 237 |1952 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
165.21/165.72 c 166s| 900 | 516 | 71314 | 54.5 | 768M | 38 |1150 | 80k| 80k| 972 | 1 | 237 |1977 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
169.80/170.31 c 170s| 1000 | 548 | 74761 | 52.5 | 769M | 40 |1150 | 80k| 80k| 997 | 0 | 237 |1978 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
178.48/179.02 c 179s| 1100 | 634 | 82865 | 55.1 | 776M | 40 |1150 | 80k| 80k|1052 | 1 | 301 |1992 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
194.93/195.50 c 196s| 1200 | 730 | 91923 | 58.0 | 810M | 40 |1150 | 80k| 80k|1183 | 1 | 368 |2034 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
215.18/215.80 c 216s| 1300 | 826 |100153 | 59.9 | 846M | 41 |1150 | 80k| 80k|1297 | 1 | 400 |2047 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
233.43/234.13 c 234s| 1400 | 926 |111865 | 64.0 | 849M | 41 |1150 | 80k| 80k|1403 | 1 | 445 |2125 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
240.70/241.42 c 241s| 1500 | 1024 |121703 | 66.3 | 870M | 41 |1150 | 80k| 80k|1477 | 1 | 545 |2133 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
246.78/247.59 c 248s| 1600 | 1124 |133200 | 69.3 | 875M | 41 |1150 | 80k| 80k|1515 | 1 | 626 |2150 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
251.57/252.38 c 252s| 1700 | 1222 |143660 | 71.4 | 878M | 41 |1150 | 80k| 80k|1543 | 1 | 715 |2152 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
265.63/266.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
265.63/266.44 c 266s| 1800 | 1318 |154792 | 73.6 | 882M | 41 |1150 | 81k| 80k|1634 | 1 | 795 |2155 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
277.90/278.78 c 279s| 1900 | 1416 |166341 | 75.8 | 915M | 42 |1150 | 81k| 80k|1691 | 1 | 897 |2166 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
292.75/293.63 c 294s| 2000 | 1508 |176136 | 76.9 | 923M | 42 |1150 | 81k| 80k|1762 | 1 | 960 |2224 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
304.02/304.94 c 305s| 2100 | 1606 |188021 | 78.9 | 930M | 42 |1150 | 81k| 80k|1858 | 1 |1050 |2247 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
318.38/319.33 c 319s| 2200 | 1702 |198123 | 79.9 | 940M | 42 |1150 | 81k| 80k|1933 | 1 |1096 |2249 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
332.54/333.53 c 334s| 2300 | 1794 |206492 | 80.1 | 982M | 42 |1150 | 81k| 80k|2011 | 1 |1170 |2253 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
342.32/343.30 c 343s| 2400 | 1892 |215764 | 80.6 | 985M | 42 |1150 | 81k| 80k|2070 | 2 |1233 |2257 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
347.70/348.70 c 349s| 2500 | 1988 |227109 | 81.9 | 986M | 42 |1150 | 81k| 80k|2115 | 1 |1316 |2257 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
352.48/353.51 c 354s| 2600 | 2088 |236666 | 82.5 | 988M | 42 |1150 | 81k| 80k|2127 | 1 |1406 |2257 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
360.76/361.82 c 362s| 2700 | 2182 |246325 | 83.0 | 989M | 42 |1150 | 81k| 80k|2204 | 2 |1485 |2259 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
368.43/369.50 c 370s| 2800 | 2276 |255734 | 83.4 | 1001M | 42 |1150 | 81k| 80k|2246 | 1 |1613 |2290 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
377.60/378.73 c 379s| 2900 | 2376 |265436 | 83.9 | 1003M | 42 |1150 | 81k| 80k|2314 | 1 |1709 |2322 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
390.56/391.79 c 392s| 3000 | 2470 |276409 | 84.7 | 1014M | 42 |1150 | 82k| 80k|2419 | 1 |1785 |2356 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
407.51/408.70 c 409s| 3100 | 2562 |287165 | 85.5 | 1035M | 42 |1150 | 82k| 80k|2567 | 1 |1844 |2415 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
413.69/414.91 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
413.69/414.91 c (run 1, node 3132) performing user restart
413.69/414.91 c
413.69/414.92 c (restart) converted 122 cuts from the global cut pool into linear constraints
413.69/414.92 c
413.80/415.01 c presolving:
413.89/415.18 c (round 1, exhaustive) 0 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 122 upgd conss, 0 impls, 80380 clqs
413.99/415.28 c (round 2, exhaustive) 0 del vars, 107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 122 upgd conss, 0 impls, 80380 clqs
414.19/415.48 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
414.19/415.48 c 0 deleted vars, 107 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 176 changed coefficients
414.19/415.48 c 0 implications, 80380 cliques
414.19/415.48 c presolved problem has 1150 variables (1150 bin, 0 int, 0 cont) and 82119 constraints
414.19/415.48 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
414.19/415.48 c 1 constraints of type <knapsack>
414.19/415.48 c 80380 constraints of type <setppc>
414.19/415.48 c 1738 constraints of type <logicor>
414.19/415.48 c transformed objective value is always integral (scale: 1)
414.19/415.48 c Presolving Time: 1.95
414.49/415.73 c transformed 98/100 original solutions to the transformed problem space
414.49/415.73 c
414.80/416.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
414.80/416.01 c 416s| 1 | 0 |291751 | - | 1016M | 0 |1150 | 82k| 80k| 0 | 0 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
417.79/419.01 c 419s| 1 | 0 |291810 | - | 1016M | 0 |1150 | 82k| 80k| 9 | 1 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
420.78/422.02 c 422s| 1 | 0 |291879 | - | 1016M | 0 |1150 | 82k| 80k| 21 | 2 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
423.27/424.50 c 425s| 1 | 0 |291959 | - | 1024M | 0 |1150 | 82k| 80k| 33 | 3 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
425.47/426.72 c 427s| 1 | 0 |292037 | - | 1032M | 0 |1150 | 82k| 80k| 46 | 4 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
428.96/430.29 c 430s| 1 | 0 |292186 | - | 1032M | 0 |1150 | 82k| 80k| 58 | 5 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
433.54/434.80 c 435s| 1 | 0 |292252 | - | 1040M | 0 |1150 | 82k| 80k| 67 | 6 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
434.14/435.44 c 435s| 1 | 0 |292326 | - | 1049M | 0 |1150 | 82k| 80k| 77 | 7 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
436.04/437.30 c 437s| 1 | 0 |292385 | - | 1060M | 0 |1150 | 82k| 80k| 87 | 8 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
436.63/437.91 c 438s| 1 | 0 |292463 | - | 1068M | 0 |1150 | 82k| 80k| 96 | 9 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
437.23/438.53 c 439s| 1 | 0 |292532 | - | 1069M | 0 |1150 | 82k| 80k| 108 | 10 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
437.33/438.65 c 439s| 1 | 0 |292607 | - | 1069M | 0 |1150 | 82k| 80k| 116 | 11 |1863 |2421 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
441.52/442.85 c 443s| 1 | 2 |293315 | - | 1070M | 0 |1150 | 82k| 80k| 116 | 11 |1885 |2454 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
463.43/464.82 c 465s| 100 | 101 |300816 | 85.5 | 1099M | 38 |1150 | 82k| 80k| 176 | 1 |1941 |2888 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
475.49/476.99 c 477s| 200 | 201 |309185 | 85.5 | 1101M | 39 |1150 | 82k| 80k| 177 | 1 |2006 |3121 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
539.62/541.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
539.62/541.21 c 541s| 300 | 299 |324368 | 87.4 | 1208M | 44 |1150 | 82k| 80k| 655 | 1 |2084 |3191 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
585.60/587.33 c 587s| 400 | 399 |335420 | 88.1 | 1241M | 45 |1150 | 82k| 80k| 982 | 1 |2152 |3270 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
605.43/607.26 c 607s| 500 | 497 |346832 | 88.8 | 1266M | 45 |1150 | 82k| 80k|1240 | 1 |2234 |3364 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
625.47/627.37 c 627s| 600 | 595 |359847 | 89.9 | 1269M | 51 |1150 | 82k| 80k|1509 | 1 |2325 |3411 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
630.66/632.51 c 633s| 700 | 687 |367383 | 89.5 | 1278M | 63 |1150 | 82k| 80k|1590 | 1 |2331 |3437 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
660.98/662.96 c 663s| 800 | 773 |376153 | 89.5 | 1304M | 63 |1150 | 82k| 80k|1807 | 1 |2379 |3463 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
707.75/709.81 c 710s| 900 | 873 |386418 | 89.8 | 1370M | 63 |1150 | 82k| 80k|2190 | 2 |2414 |3468 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
722.11/724.24 c 724s| 1000 | 971 |394911 | 89.7 | 1375M | 63 |1150 | 82k| 80k|2383 | 1 |2469 |3472 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
753.32/755.50 c 756s| 1100 | 1057 |402192 | 89.3 | 1395M | 63 |1150 | 82k| 80k|2656 | 3 |2512 |3478 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
798.72/801.00 c 801s| 1200 | 1141 |410811 | 89.2 | 1435M | 63 |1150 | 82k| 80k|3070 | 1 |2544 |3478 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
827.23/829.61 c 830s| 1300 | 1237 |418390 | 88.9 | 1438M | 63 |1150 | 82k| 80k|3287 | 1 |2586 |3483 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
831.42/833.81 c 834s| 1400 | 1321 |425830 | 88.6 | 1440M | 63 |1150 | 82k| 80k|3381 | 1 |2607 |3488 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
866.82/869.33 c 869s| 1500 | 1407 |434327 | 88.5 | 1451M | 63 |1150 | 82k| 80k|3621 | 1 |2635 |3543 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
899.44/902.02 c 902s| 1600 | 1495 |442731 | 88.4 | 1470M | 64 |1150 | 82k| 80k|3928 | 1 |2659 |3632 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
914.09/916.71 c 917s| 1700 | 1589 |451486 | 88.4 | 1491M | 64 |1150 | 82k| 80k|3945 | 1 |2702 |3910 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
968.75/971.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
968.75/971.53 c 972s| 1800 | 1673 |460931 | 88.5 | 1492M | 64 |1150 | 82k| 80k|4185 | 4 |2719 |3983 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1018.91/1021.88 c 1022s| 1900 | 1761 |471130 | 88.8 | 1506M | 64 |1150 | 82k| 80k|4528 | 1 |2740 |3998 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1048.24/1051.28 c 1051s| 2000 | 1859 |481502 | 89.1 | 1530M | 64 |1150 | 82k| 80k|4889 | 1 |2782 |4031 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1082.75/1085.89 c 1086s| 2100 | 1933 |490521 | 89.1 | 1534M | 64 |1150 | 82k| 80k|5125 | 0 |2793 |4070 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1095.92/1099.04 c 1099s| 2200 | 2019 |498179 | 88.9 | 1535M | 64 |1150 | 82k| 80k|5220 | 1 |2807 |4116 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1146.37/1149.65 c 1150s| 2300 | 2097 |505673 | 88.6 | 1550M | 64 |1150 | 83k| 80k|5469 | 1 |2828 |4137 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1172.81/1176.18 c 1176s| 2400 | 2189 |516634 | 89.0 | 1581M | 64 |1150 | 83k| 80k|5710 | 1 |2847 |4141 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1208.02/1211.40 c 1211s| 2500 | 2281 |525014 | 88.9 | 1600M | 64 |1150 | 83k| 80k|5941 | 1 |2863 |4162 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1238.83/1242.39 c 1242s| 2600 | 2377 |536596 | 89.4 | 1627M | 64 |1150 | 83k| 80k|6273 | 1 |2900 |4174 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1281.62/1285.23 c 1285s| 2700 | 2461 |546109 | 89.5 | 1629M | 64 |1150 | 83k| 80k|6614 | 1 |2911 |4182 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1304.26/1307.99 c 1308s| 2800 | 2539 |555177 | 89.5 | 1648M | 64 |1150 | 83k| 80k|6835 | 0 |2926 |4182 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1346.15/1349.98 c 1350s| 2900 | 2603 |562741 | 89.3 | 1683M | 64 |1150 | 83k| 80k|7089 | 1 |2938 |4182 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1361.11/1364.98 c 1365s| 3000 | 2683 |569419 | 88.9 | 1686M | 64 |1150 | 83k| 80k|7125 | 1 |2965 |4313 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1364.30/1368.17 c 1368s| 3100 | 2757 |573274 | 88.1 | 1688M | 64 |1150 | 83k| 80k|7125 | 1 |2968 |4327 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1383.24/1387.13 c 1387s| 3200 | 2843 |580923 | 87.9 | 1690M | 64 |1150 | 83k| 80k|7282 | 0 |3008 |4336 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1414.75/1418.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1414.75/1418.74 c 1419s| 3300 | 2931 |589596 | 87.9 | 1700M | 64 |1150 | 83k| 80k|7485 | 0 |3031 |4350 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1471.41/1475.53 c 1476s| 3400 | 3023 |599605 | 88.1 | 1714M | 64 |1150 | 83k| 80k|7892 | 1 |3064 |4356 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1504.22/1508.43 c 1508s| 3500 | 3115 |609539 | 88.2 | 1724M | 64 |1150 | 83k| 80k|8216 | 1 |3092 |4358 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1541.42/1545.71 c 1546s| 3600 | 3197 |617268 | 88.1 | 1733M | 64 |1150 | 83k| 80k|8527 | 1 |3099 |4364 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1569.23/1573.67 c 1574s| 3700 | 3273 |625236 | 87.9 | 1791M | 64 |1150 | 83k| 80k|8777 | 3 |3109 |4379 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1605.91/1610.49 c 1610s| 3800 | 3361 |634529 | 88.0 | 1794M | 64 |1150 | 83k| 80k|9037 | 0 |3131 |4394 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1609.60/1614.13 c 1614s| 3900 | 3443 |640929 | 87.7 | 1796M | 64 |1150 | 83k| 80k|9041 | 1 |3131 |4400 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1638.00/1642.66 c 1643s| 4000 | 3527 |649696 | 87.7 | 1799M | 64 |1150 | 83k| 80k|9230 | 0 |3169 |4405 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1673.89/1678.66 c 1679s| 4100 | 3605 |660000 | 87.9 | 1802M | 64 |1150 | 83k| 80k|9422 | 0 |3180 |4408 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1714.77/1719.65 c 1720s| 4200 | 3677 |667067 | 87.7 | 1804M | 64 |1150 | 83k| 80k|9591 | 1 |3183 |4414 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1752.84/1757.86 c 1758s| 4300 | 3757 |675590 | 87.6 | 1816M | 64 |1150 | 83k| 80k|9798 | 1 |3191 |4420 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1792.93/1798.09 c 1798s| 4400 | 3843 |685658 | 87.8 | 1853M | 64 |1150 | 83k| 80k| 10k| 1 |3221 |4420 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1825.31/1830.59 c 1831s| 4500 | 3923 |696064 | 88.0 | 1902M | 64 |1150 | 83k| 80k| 10k| 1 |3273 |4426 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1872.47/1877.85 c 1878s| 4600 | 4013 |706318 | 88.2 | 1904M | 64 |1150 | 83k| 80k| 10k| 3 |3299 |4463 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1876.05/1881.46 o -45
1876.05/1881.47 c d1881s| 4692 | 2925 |711507 | 87.8 |linesear| 64 |1150 | 83k| 80k| 0 | 1 |3317 |4472 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1876.25/1881.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1876.25/1881.66 c 1882s| 4700 | 2929 |711711 | 87.8 | 1905M | 64 |1150 | 83k| 80k| 10k| 1 |3317 |4472 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1886.32/1891.71 c 1892s| 4800 | 2969 |714738 | 87.0 | 1905M | 64 |1150 | 83k| 80k| 10k| 1 |3346 |4504 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1914.03/1919.57 c 1920s| 4900 | 3029 |721399 | 86.8 | 1906M | 64 |1150 | 83k| 80k| 10k| 1 |3381 |4538 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1925.69/1931.29 c 1931s| 5000 | 3083 |726813 | 86.4 | 1907M | 64 |1150 | 83k| 80k| 10k| 2 |3392 |4556 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1952.41/1958.08 c 1958s| 5100 | 3135 |732353 | 86.0 | 1907M | 64 |1150 | 83k| 80k| 11k| 1 |3417 |4582 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1966.85/1972.59 c 1973s| 5200 | 3187 |738053 | 85.7 | 1907M | 64 |1150 | 83k| 80k| 11k| 2 |3428 |4612 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1973.34/1979.03 c 1979s| 5300 | 3255 |744411 | 85.4 | 1907M | 64 |1150 | 83k| 80k| 11k| 2 |3472 |4635 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1978.32/1984.06 c 1984s| 5400 | 3315 |751150 | 85.2 | 1907M | 64 |1150 | 83k| 80k| 11k| 2 |3511 |4666 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1992.96/1998.71 c 1999s| 5500 | 3367 |756428 | 84.8 | 1908M | 64 |1150 | 83k| 80k| 11k| 1 |3562 |4707 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2002.34/2008.11 c 2008s| 5600 | 3431 |761552 | 84.4 | 1908M | 64 |1150 | 83k| 80k| 11k| 2 |3599 |4748 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2017.98/2023.89 c 2024s| 5700 | 3491 |767958 | 84.2 | 1909M | 64 |1150 | 83k| 80k| 11k| 2 |3606 |4767 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2040.30/2046.29 c 2046s| 5800 | 3539 |774877 | 84.0 | 1909M | 64 |1150 | 83k| 80k| 11k| 1 |3632 |4810 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2051.97/2057.93 c 2058s| 5900 | 3599 |781125 | 83.8 | 1909M | 64 |1150 | 83k| 80k| 11k| 1 |3649 |4827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2058.05/2064.01 c 2064s| 6000 | 3669 |788140 | 83.6 | 1912M | 64 |1150 | 83k| 80k| 11k| 1 |3698 |4863 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2061.43/2067.41 c 2067s| 6100 | 3705 |793341 | 83.3 | 1914M | 64 |1150 | 83k| 80k| 11k| 1 |3698 |4881 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2066.91/2072.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2066.91/2072.95 c 2073s| 6200 | 3751 |800691 | 83.2 | 1915M | 64 |1150 | 83k| 80k| 11k| 1 |3735 |4913 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2083.55/2089.68 c 2090s| 6300 | 3799 |807480 | 83.0 | 1915M | 64 |1150 | 83k| 80k| 12k| 1 |3754 |4933 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2093.62/2099.78 c 2100s| 6400 | 3869 |813328 | 82.8 | 1916M | 64 |1150 | 83k| 80k| 12k| 1 |3798 |4978 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2107.67/2113.80 c 2114s| 6500 | 3929 |819567 | 82.6 | 1944M | 64 |1150 | 83k| 80k| 12k| 0 |3853 |5011 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2121.62/2127.85 c 2128s| 6600 | 4009 |825667 | 82.3 | 1946M | 64 |1150 | 83k| 80k| 12k| 1 |3905 |5020 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2152.02/2158.35 c 2158s| 6700 | 4065 |832214 | 82.2 | 1948M | 64 |1150 | 83k| 80k| 12k| 1 |3968 |5056 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2186.31/2192.79 c 2193s| 6800 | 4121 |839333 | 82.1 | 1951M | 64 |1150 | 83k| 80k| 12k| 1 |4022 |5092 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2204.05/2210.57 c 2211s| 6900 | 4181 |845681 | 81.9 | 1952M | 64 |1150 | 83k| 80k| 12k| 0 |4032 |5124 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2217.62/2224.13 c 2224s| 7000 | 4229 |850319 | 81.5 | 1955M | 64 |1150 | 84k| 80k| 12k| 0 |4100 |5152 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2235.56/2242.16 c 2242s| 7100 | 4275 |854616 | 81.1 | 1956M | 64 |1150 | 84k| 80k| 12k| 1 |4118 |5194 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2248.52/2255.13 c 2255s| 7200 | 4339 |861129 | 81.0 | 2012M | 64 |1150 | 84k| 80k| 12k| 2 |4152 |5222 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2280.61/2287.35 c 2287s| 7300 | 4405 |867920 | 80.9 | 2023M | 64 |1150 | 84k| 80k| 13k| 2 |4161 |5262 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2303.74/2310.51 c 2311s| 7400 | 4465 |874109 | 80.7 | 2024M | 64 |1150 | 84k| 80k| 13k| 1 |4215 |5271 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2328.36/2335.22 c 2335s| 7500 | 4531 |880798 | 80.6 | 2035M | 64 |1150 | 84k| 80k| 13k| 1 |4260 |5292 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2341.31/2348.27 c 2348s| 7600 | 4593 |886899 | 80.4 | 2038M | 64 |1150 | 84k| 80k| 13k| 1 |4314 |5327 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2361.06/2368.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2361.06/2368.09 c 2368s| 7700 | 4635 |892606 | 80.2 | 2039M | 64 |1150 | 84k| 80k| 13k| 1 |4329 |5344 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2370.92/2378.00 c 2378s| 7800 | 4699 |899154 | 80.0 | 2041M | 64 |1150 | 84k| 80k| 13k| 1 |4360 |5363 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2381.99/2389.06 c 2389s| 7900 | 4759 |904642 | 79.8 | 2041M | 64 |1150 | 84k| 80k| 13k| 0 |4389 |5391 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2386.27/2393.36 c 2393s| 8000 | 4817 |912885 | 79.8 | 2043M | 64 |1150 | 84k| 80k| 13k| 1 |4435 |5419 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2393.65/2400.73 c 2401s| 8100 | 4873 |919283 | 79.7 | 2044M | 64 |1150 | 84k| 80k| 13k| 2 |4445 |5425 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2441.40/2448.68 c 2449s| 8200 | 4925 |926736 | 79.6 | 2047M | 64 |1150 | 84k| 80k| 13k| 1 |4468 |5426 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2445.09/2452.31 c 2452s| 8300 | 4963 |931518 | 79.4 | 2048M | 64 |1150 | 84k| 80k| 13k| 0 |4468 |5435 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2458.05/2465.38 c 2465s| 8400 | 5013 |937702 | 79.2 | 2051M | 64 |1150 | 84k| 80k| 14k| 4 |4512 |5439 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2467.41/2474.76 c 2475s| 8500 | 5073 |944721 | 79.1 | 2086M | 64 |1150 | 84k| 80k| 14k| 1 |4533 |5447 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2471.89/2479.25 c 2479s| 8600 | 5147 |954324 | 79.3 | 2087M | 64 |1150 | 84k| 80k| 14k| 1 |4556 |5460 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2481.26/2488.65 c 2489s| 8700 | 5211 |962635 | 79.3 | 2089M | 64 |1150 | 84k| 80k| 14k| 1 |4580 |5460 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2494.22/2501.66 c 2502s| 8800 | 5259 |971330 | 79.4 | 2091M | 64 |1150 | 84k| 80k| 14k| 0 |4594 |5460 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2508.77/2516.23 c 2516s| 8900 | 5303 |978961 | 79.3 | 2095M | 64 |1150 | 84k| 80k| 14k| 1 |4606 |5461 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2530.91/2538.47 c 2538s| 9000 | 5359 |987285 | 79.4 | 2105M | 64 |1150 | 84k| 80k| 14k| 1 |4653 |5469 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2548.55/2556.10 c 2556s| 9100 | 5413 |996106 | 79.4 | 2106M | 64 |1150 | 84k| 80k| 14k| 1 |4688 |5474 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2557.82/2565.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2557.82/2565.48 c 2565s| 9200 | 5475 | 1002k| 79.3 | 2107M | 64 |1150 | 84k| 80k| 14k| 1 |4739 |5475 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2579.54/2587.21 c 2587s| 9300 | 5519 | 1008k| 79.2 | 2110M | 64 |1150 | 84k| 80k| 14k| 0 |4767 |5475 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2602.27/2610.05 c 2610s| 9400 | 5557 | 1016k| 79.2 | 2111M | 64 |1150 | 84k| 80k| 15k| 1 |4767 |5477 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2617.01/2624.87 c 2625s| 9500 | 5601 | 1022k| 79.0 | 2187M | 64 |1150 | 84k| 80k| 15k| 1 |4802 |5479 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2637.45/2645.37 c 2645s| 9600 | 5631 | 1029k| 78.9 | 2190M | 64 |1150 | 84k| 80k| 15k| 0 |4812 |5480 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2667.35/2675.39 c 2675s| 9700 | 5675 | 1036k| 78.9 | 2192M | 64 |1150 | 84k| 80k| 15k| 1 |4823 |5492 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2694.86/2702.95 c 2703s| 9800 | 5715 | 1046k| 79.0 | 2193M | 64 |1150 | 84k| 80k| 15k| 1 |4858 |5493 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2728.46/2736.60 c 2737s| 9900 | 5779 | 1054k| 79.1 | 2196M | 64 |1150 | 84k| 80k| 16k| 2 |4875 |5494 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2754.07/2762.33 c 2762s| 10000 | 5817 | 1060k| 78.9 | 2197M | 64 |1150 | 84k| 80k| 16k| 0 |4885 |5495 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2756.87/2765.14 c 2765s| 10100 | 5877 | 1064k| 78.6 | 2198M | 64 |1150 | 84k| 80k| 16k| 1 |4920 |5502 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2762.64/2770.94 c 2771s| 10200 | 5935 | 1069k| 78.4 | 2200M | 64 |1150 | 84k| 80k| 16k| 2 |4955 |5502 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2765.23/2773.54 c 2774s| 10300 | 5993 | 1074k| 78.2 | 2201M | 64 |1150 | 84k| 80k| 16k| 1 |4989 |5502 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2771.21/2779.52 c 2780s| 10400 | 6033 | 1078k| 77.9 | 2203M | 64 |1150 | 84k| 80k| 16k| 1 |4989 |5503 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2786.86/2795.21 c 2795s| 10500 | 6111 | 1086k| 77.9 | 2205M | 64 |1150 | 84k| 80k| 16k| 1 |5005 |5512 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2805.20/2813.68 c 2814s| 10600 | 6181 | 1093k| 77.9 | 2207M | 64 |1150 | 84k| 80k| 16k| 1 |5025 |5514 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2850.36/2858.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2850.36/2858.97 c 2859s| 10700 | 6239 | 1102k| 77.9 | 2211M | 64 |1150 | 84k| 80k| 16k| 0 |5035 |5514 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2853.74/2862.37 c 2862s| 10800 | 6313 | 1108k| 77.8 | 2213M | 64 |1150 | 84k| 80k| 16k| 2 |5057 |5514 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2863.61/2872.27 c 2872s| 10900 | 6375 | 1114k| 77.7 | 2214M | 64 |1150 | 84k| 80k| 17k| 1 |5060 |5514 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2888.23/2896.92 c 2897s| 11000 | 6435 | 1122k| 77.7 | 2215M | 64 |1150 | 84k| 80k| 17k| 1 |5076 |5514 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2908.46/2917.21 c 2917s| 11100 | 6483 | 1127k| 77.5 | 2215M | 64 |1150 | 84k| 80k| 17k| 1 |5085 |5534 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2943.55/2952.40 c 2952s| 11200 | 6523 | 1132k| 77.3 | 2216M | 64 |1150 | 84k| 80k| 17k| 1 |5100 |5566 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2967.18/2976.16 c 2976s| 11300 | 6565 | 1138k| 77.2 | 2223M | 64 |1150 | 84k| 80k| 17k| 1 |5104 |5569 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3010.35/3019.41 c 3019s| 11400 | 6611 | 1145k| 77.2 | 2266M | 64 |1150 | 84k| 80k| 18k| 1 |5113 |5622 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3037.67/3046.88 c 3047s| 11500 | 6671 | 1153k| 77.2 | 2268M | 64 |1150 | 84k| 80k| 18k| 3 |5120 |5652 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3052.53/3061.74 c 3062s| 11600 | 6731 | 1159k| 77.1 | 2269M | 64 |1150 | 84k| 80k| 18k| 1 |5144 |5670 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3076.87/3086.16 c 3086s| 11700 | 6777 | 1167k| 77.1 | 2270M | 64 |1150 | 84k| 80k| 18k| 1 |5163 |5718 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3083.44/3092.70 c 3093s| 11800 | 6843 | 1174k| 77.0 | 2272M | 64 |1150 | 84k| 80k| 18k| 1 |5183 |5734 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3088.62/3097.91 c 3098s| 11900 | 6933 | 1183k| 77.1 | 2273M | 64 |1150 | 84k| 80k| 18k| 1 |5284 |5768 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3130.02/3139.48 c 3139s| 12000 | 6981 | 1191k| 77.1 | 2275M | 64 |1150 | 84k| 80k| 19k| 1 |5320 |5812 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3169.41/3178.92 c 3179s| 12100 | 7023 | 1199k| 77.2 | 2276M | 64 |1150 | 84k| 80k| 19k| 1 |5333 |5839 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3182.77/3192.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3182.77/3192.35 c 3192s| 12200 | 7089 | 1208k| 77.2 | 2360M | 64 |1150 | 84k| 80k| 19k| 1 |5370 |5869 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3207.60/3217.24 c 3217s| 12300 | 7157 | 1218k| 77.4 | 2363M | 64 |1150 | 84k| 80k| 19k| 1 |5390 |5905 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3237.12/3246.85 c 3247s| 12400 | 7221 | 1227k| 77.4 | 2365M | 64 |1150 | 84k| 80k| 20k| 1 |5426 |5939 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3264.45/3274.29 c 3274s| 12500 | 7279 | 1235k| 77.5 | 2366M | 64 |1150 | 84k| 80k| 20k| 1 |5456 |5978 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3276.83/3286.60 c 3287s| 12600 | 7343 | 1241k| 77.4 | 2367M | 64 |1150 | 84k| 80k| 20k| 1 |5522 |6017 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3300.86/3310.80 c 3311s| 12700 | 7403 | 1247k| 77.3 | 2375M | 64 |1150 | 84k| 80k| 20k| 1 |5574 |6056 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3315.42/3325.34 c 3325s| 12800 | 7457 | 1252k| 77.1 | 2377M | 64 |1150 | 84k| 80k| 20k| 1 |5581 |6085 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3333.57/3343.54 c 3344s| 12900 | 7502 | 1258k| 77.0 | 2377M | 64 |1150 | 84k| 80k| 20k| 0 |5655 |6122 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3356.01/3366.02 c 3366s| 13000 | 7548 | 1264k| 76.9 | 2378M | 64 |1150 | 85k| 80k| 20k| 1 |5734 |6157 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3375.86/3385.90 c 3386s| 13100 | 7608 | 1271k| 76.9 | 2380M | 64 |1150 | 85k| 80k| 20k| 1 |5796 |6191 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3381.94/3392.05 c 3392s| 13200 | 7654 | 1276k| 76.7 | 2384M | 64 |1150 | 85k| 80k| 20k| 1 |5844 |6215 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3387.22/3397.32 c 3397s| 13300 | 7732 | 1286k| 76.8 | 2385M | 64 |1150 | 85k| 80k| 20k| 1 |5901 |6251 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3408.47/3418.65 c 3419s| 13400 | 7798 | 1294k| 76.8 | 2387M | 64 |1150 | 85k| 80k| 20k| 0 |5928 |6269 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3439.99/3450.29 c 3450s| 13500 | 7860 | 1301k| 76.8 | 2390M | 64 |1150 | 85k| 80k| 21k| 1 |5952 |6291 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3463.53/3473.89 c 3474s| 13600 | 7904 | 1307k| 76.7 | 2391M | 64 |1150 | 85k| 80k| 21k| 1 |5984 |6315 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3495.75/3506.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3495.75/3506.14 c 3506s| 13700 | 7954 | 1314k| 76.6 | 2393M | 64 |1150 | 85k| 80k| 21k| 1 |6020 |6328 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3518.29/3528.73 c 3529s| 13800 | 8008 | 1321k| 76.6 | 2394M | 64 |1150 | 85k| 80k| 21k| 1 |6029 |6339 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3531.56/3542.04 c 3542s| 13900 | 8062 | 1328k| 76.6 | 2395M | 64 |1150 | 85k| 80k| 21k| 1 |6072 |6362 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3549.11/3559.66 c 3560s| 14000 | 8122 | 1334k| 76.5 | 2444M | 64 |1150 | 85k| 80k| 21k| 0 |6093 |6365 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3557.39/3567.94 c 3568s| 14100 | 8186 | 1339k| 76.3 | 2445M | 64 |1150 | 85k| 80k| 21k| 1 |6139 |6372 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3574.15/3584.72 c 3585s| 14200 | 8226 | 1345k| 76.2 | 2446M | 64 |1150 | 85k| 80k| 21k| 1 |6141 |6373 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3586.32/3597.00 c
3586.32/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.32/3597.00 c Solving Time (sec) : 3597.00
3586.32/3597.00 c Solving Nodes : 14231 (total of 17363 nodes in 2 runs)
3586.32/3597.00 c Primal Bound : -4.50000000000000e+01 (892 solutions)
3586.32/3597.00 c Dual Bound : -5.00000000000000e+01
3586.32/3597.00 c Gap : 11.11 %
3586.42/3597.01 s SATISFIABLE
3586.42/3597.01 v -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
3586.42/3597.01 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
3586.42/3597.01 v -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094
3586.42/3597.01 v -x1093 x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
3586.42/3597.01 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056
3586.42/3597.01 v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037
3586.42/3597.01 v -x1036 -x1035 x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
3586.42/3597.01 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999
3586.42/3597.01 v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977
3586.42/3597.01 v -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955
3586.42/3597.01 v -x954 -x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933
3586.42/3597.01 v -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911
3586.42/3597.01 v -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889
3586.42/3597.01 v -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
3586.42/3597.01 v -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845
3586.42/3597.01 v -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823
3586.42/3597.01 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 x803 -x802 -x801
3586.42/3597.01 v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779
3586.42/3597.01 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
3586.42/3597.01 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
3586.42/3597.01 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713
3586.42/3597.01 v -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691
3586.42/3597.01 v -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669
3586.42/3597.01 v -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647
3586.42/3597.01 v -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
3586.42/3597.01 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
3586.42/3597.01 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
3586.42/3597.01 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559
3586.42/3597.01 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537
3586.42/3597.01 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
3586.42/3597.01 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493
3586.42/3597.01 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471
3586.42/3597.01 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
3586.42/3597.01 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427
3586.42/3597.01 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
3586.42/3597.01 v -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
3586.42/3597.01 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361
3586.42/3597.01 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339
3586.42/3597.01 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317
3586.42/3597.01 v -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
3586.42/3597.01 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273
3586.42/3597.01 v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251
3586.42/3597.01 v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229
3586.42/3597.01 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
3586.42/3597.01 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185
3586.42/3597.01 v -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
3586.42/3597.01 v -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
3586.42/3597.01 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
3586.42/3597.01 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97
3586.42/3597.01 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71
3586.42/3597.01 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
3586.42/3597.01 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
3586.42/3597.01 v -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3586.42/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.42/3597.01 c Total Time : 3597.00
3586.42/3597.01 c solving : 3597.00
3586.42/3597.01 c presolving : 1.95 (included in solving)
3586.42/3597.01 c reading : 0.11 (included in solving)
3586.42/3597.01 c copying : 1.76 (24 #copies) (minimal 0.07, maximal 0.09, average 0.07)
3586.42/3597.01 c Original Problem :
3586.42/3597.01 c Problem name : HOME/instance-4484917-1751305296.opb
3586.42/3597.01 c Variables : 1150 (1150 binary, 0 integer, 0 continuous)
3586.42/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.42/3597.01 c Constraints : 80258 initial, 80258 maximal
3586.42/3597.01 c Objective : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3586.42/3597.01 c Presolved Problem :
3586.42/3597.01 c Problem name : t_HOME/instance-4484917-1751305296.opb
3586.42/3597.01 c Variables : 1150 (1150 binary, 0 integer, 0 continuous)
3586.42/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.42/3597.01 c Constraints : 82119 initial, 85212 maximal
3586.42/3597.01 c Objective : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3586.42/3597.01 c Nonzeros : 213703 constraint, 162253 clique table
3586.42/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.42/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c domcol : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c dualsparsify : 0.57 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c gateextraction : 0.08 0.00 3 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c milp : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c probing : 0.33 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c knapsack : 0.01 0.00 9 0 0 0 0 0 0 0 0 7
3586.42/3597.01 c setppc : 0.22 0.01 12 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c linear : 0.21 0.02 4 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c logicor : 0.17 0.01 8 0 0 0 0 0 107 0 0 169
3586.42/3597.01 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.42/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.42/3597.01 c integral : 0 0 0 0 15043 0 0 4615 0 1 737 0 0 1307 29362
3586.42/3597.01 c knapsack : 1+ 8 0 8486 0 0 0 0 46 3 201 0 0 0 0
3586.42/3597.01 c setppc : 80380 80380 59 97229 0 0 0 4609 294334 1 421876 0 0 0 0
3586.42/3597.01 c linear : 0+ 12 0 3854 0 0 0 2 0 3 0 0 0 0 0
3586.42/3597.01 c logicor : 1738+ 4812 11 22112 0 0 0 0 123 163 126 0 0 0 0
3586.42/3597.01 c fixedvar : 0 0 0 0 0 0 0 1062 0 0 0 0 0 0 0
3586.42/3597.01 c countsols : 0 0 0 0 0 0 0 1062 0 0 0 0 0 0 0
3586.42/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.42/3597.01 c integral : 272.33 0.00 0.00 0.00 272.31 0.00 0.00 0.03 0.00 0.00
3586.42/3597.01 c knapsack : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c setppc : 16.61 0.01 0.18 9.69 0.00 0.00 0.00 3.07 0.07 3.60
3586.42/3597.01 c linear : 0.03 0.02 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c logicor : 0.56 0.01 0.01 0.43 0.00 0.00 0.00 0.00 0.00 0.11
3586.42/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.42/3597.01 c dualfix : 4 0 0 0
3586.42/3597.01 c genvbounds : 0 0 0 0
3586.42/3597.01 c nlobbt : 0 0 0 0
3586.42/3597.01 c obbt : 0 0 0 0
3586.42/3597.01 c probing : 0 0 0 0
3586.42/3597.01 c pseudoobj : 47728 0 0 0
3586.42/3597.01 c redcost : 3900 0 0 12
3586.42/3597.01 c rootredcost : 4 0 0 0
3586.42/3597.01 c symmetry : 0 0 0 0
3586.42/3597.01 c vbounds : 31111 0 0 0
3586.42/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.42/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.42/3597.01 c probing : 0.33 0.00 0.33 0.00 0.00 0.00
3586.42/3597.01 c pseudoobj : 2.45 0.00 0.00 2.44 0.00 0.00
3586.42/3597.01 c redcost : 0.12 0.00 0.00 0.11 0.00 0.00
3586.42/3597.01 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.01
3586.42/3597.01 c symmetry : 0.06 0.00 0.03 0.02 0.00 0.01
3586.42/3597.01 c vbounds : 0.07 0.00 0.01 0.04 0.00 0.01
3586.42/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.42/3597.01 c propagation : 0.00 170 99 - 172 54.3 0 0.0 - - -
3586.42/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.42/3597.01 c bound exceed. LP : 5.11 2241 1180 - 17927 187.3 0 0.0 47 153.7 4399
3586.42/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.42/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.42/3597.01 c applied globally : 1.33 - - 0 6094 29.4 - - 47 - -
3586.42/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.42/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.42/3597.01 c cut pool : 4.08 - 6658 117 - - 124779 192258 - - - - - (maximal pool size: 4267)
3586.42/3597.01 c aggregation : 12.48 0.00 2661 59 0 0 22 74 0 5 5 0 0
3586.42/3597.01 c > cmir : - - - - - - - 67 0 4 4 0 -
3586.42/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.42/3597.01 c > knapsackcover : - - - - - - - 7 0 1 1 0 -
3586.42/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c clique : 0.52 0.00 59 59 0 0 540 1542 0 624 624 0 0
3586.42/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c gomory : 2639.17 0.00 2514 20 0 0 115566 153198 1425 7300 7283 17 0
3586.42/3597.01 c > gomorymi : - - - - - - - 51370 712 663 653 10 -
3586.42/3597.01 c > strongcg : - - - - - - - 101828 713 6637 6630 7 -
3586.42/3597.01 c impliedbounds : 3.55 0.00 2662 59 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c mcf : 0.06 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c multilinear : 0.00 0.00 268 59 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.42/3597.01 c zerohalf : 12.97 0.00 2524 31 0 0 10414 37444 338 16660 16531 129 0
3586.42/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.42/3597.01 c hybrid : 0.13 0.00 3621 60 24589 0 169432 759 0 3616
3586.42/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.42/3597.01 c problem variables: 0.00 - 0 0
3586.42/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.42/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c relpscost : 272.28 0.00 15043 0 0 1 737 0 1314 29362
3586.42/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.42/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.42/3597.01 c LP solutions : 0.00 - - 0 0
3586.42/3597.01 c relax solutions : 0.00 - - 0 0
3586.42/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.42/3597.01 c strong branching : 1.45 - - 375 2
3586.42/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.42/3597.01 c adaptivediving : 3.15 0.00 76 1 0
3586.42/3597.01 c alns : 1.08 0.00 5 0 0
3586.42/3597.01 c bound : 0.00 0.00 0 0 0
3586.42/3597.01 c clique : 0.16 0.00 1 1 1
3586.42/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.42/3597.01 c completesol : 0.00 0.00 0 0 0
3586.42/3597.01 c conflictdiving : 6.35 0.00 132 0 0
3586.42/3597.01 c crossover : 2.10 0.00 9 3 0
3586.42/3597.01 c dins : 0.00 0.00 0 0 0
3586.42/3597.01 c distributiondivin: 15.32 0.00 132 0 0
3586.42/3597.01 c dks : 0.00 0.00 0 0 0
3586.42/3597.01 c dps : 0.00 0.00 0 0 0
3586.42/3597.01 c dualval : 0.00 0.00 0 0 0
3586.42/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.42/3597.01 c feaspump : 0.00 0.00 0 0 0
3586.42/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.42/3597.01 c fracdiving : 5.79 0.00 132 2 0
3586.42/3597.01 c gins : 0.12 0.00 0 0 0
3586.42/3597.01 c guideddiving : 5.04 0.00 132 0 0
3586.42/3597.01 c indicator : 0.00 0.00 0 0 0
3586.42/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.42/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.42/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.42/3597.01 c linesearchdiving : 5.58 0.00 132 1 1
3586.42/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.42/3597.01 c locks : 0.06 0.00 1 0 0
3586.42/3597.01 c lpface : 0.03 0.00 0 0 0
3586.42/3597.01 c mpec : 0.00 0.00 0 0 0
3586.42/3597.01 c multistart : 0.00 0.00 0 0 0
3586.42/3597.01 c mutation : 0.00 0.00 0 0 0
3586.42/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.42/3597.01 c objpscostdiving : 15.21 0.00 66 148 0
3586.42/3597.01 c octane : 0.00 0.00 0 0 0
3586.42/3597.01 c ofins : 0.00 0.00 0 0 0
3586.42/3597.01 c oneopt : 0.05 0.00 6 1 1
3586.42/3597.01 c padm : 0.00 0.00 0 0 0
3586.42/3597.01 c proximity : 0.00 0.00 0 0 0
3586.42/3597.01 c pscostdiving : 9.68 0.00 132 5 1
3586.42/3597.01 c randrounding : 3.80 0.00 3631 50 0
3586.42/3597.01 c rens : 5.08 0.00 2 1 1
3586.42/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.42/3597.01 c repair : 0.00 0.00 0 0 0
3586.42/3597.01 c rins : 2.40 0.00 8 6 0
3586.42/3597.01 c rootsoldiving : 15.74 0.00 66 88 0
3586.42/3597.01 c rounding : 5.89 0.00 1855 0 0
3586.42/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.42/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3586.42/3597.01 c shifting : 3.64 0.00 951 0 0
3586.42/3597.01 c simplerounding : 0.33 0.00 18663 29 0
3586.42/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.42/3597.01 c trivial : 0.00 0.00 4 1 1
3586.42/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.42/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.42/3597.01 c trysol : 0.01 0.00 0 0 0
3586.42/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.42/3597.01 c undercover : 0.00 0.00 0 0 0
3586.42/3597.01 c vbounds : 0.31 0.00 2 1 0
3586.42/3597.01 c veclendiving : 4.99 0.00 132 0 0
3586.42/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.42/3597.01 c zirounding : 27.76 0.00 8951 179 0
3586.42/3597.01 c other solutions : - - - 0 -
3586.42/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.42/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.42/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.42/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.42/3597.01 c primal LP : 9.77 1804 0 0.00 0.00 9.77 1804
3586.42/3597.01 c dual LP : 337.17 21351 1146238 53.86 3399.63 0.48 69
3586.42/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.42/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.42/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.42/3597.01 c diving/probing LP: 74.98 5904 200885 34.03 2679.35
3586.42/3597.01 c strong branching : 148.86 6373 442708 69.47 2974.01 - - 1658
3586.42/3597.01 c (at root node) : - 59 7650 129.66 -
3586.42/3597.01 c conflict analysis: 1.78 446 4399 9.86 2472.62
3586.42/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.42/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3586.42/3597.01 c B&B Tree :
3586.42/3597.01 c number of runs : 2
3586.42/3597.01 c nodes : 14231 (11818 internal, 2413 leaves)
3586.42/3597.01 c feasible leaves : 0
3586.42/3597.01 c infeas. leaves : 5
3586.42/3597.01 c objective leaves : 2407
3586.42/3597.01 c nodes (total) : 17363 (14681 internal, 2682 leaves)
3586.42/3597.01 c nodes left : 8238
3586.42/3597.01 c max depth : 64
3586.42/3597.01 c max depth (total): 64
3586.42/3597.01 c backtracks : 1895 (13.3%)
3586.42/3597.01 c early backtracks : 0 (0.0%)
3586.42/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.42/3597.01 c delayed cutoffs : 1
3586.42/3597.01 c repropagations : 108 (183 domain reductions, 1 cutoffs)
3586.42/3597.01 c avg switch length: 4.15
3586.42/3597.01 c switching time : 33.55
3586.42/3597.01 c Root Node :
3586.42/3597.01 c First LP value : -5.75000000000000e+02
3586.42/3597.01 c First LP Iters : 1150 (2452.52 Iter/sec)
3586.42/3597.01 c First LP Time : 0.47
3586.42/3597.01 c Final Dual Bound : -5.00000000000000e+01
3586.42/3597.01 c Final Root Iters : 24452
3586.42/3597.01 c Root LP Estimate : -4.50100844910656e+01
3586.42/3597.01 c Solution :
3586.42/3597.01 c Solutions found : 892 (8 improvements)
3586.42/3597.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.20 seconds, depth 0, found by <trivial>)
3586.42/3597.01 c Gap First Sol. : infinite
3586.42/3597.01 c Gap Last Sol. : 11.11 %
3586.42/3597.01 c Primal Bound : -4.50000000000000e+01 (in run 2, after 4692 nodes, 1881.46 seconds, depth 61, found by <linesearchdiving>)
3586.42/3597.01 c Dual Bound : -5.00000000000000e+01
3586.42/3597.01 c Gap : 11.11 %
3586.42/3597.01 c Integrals : Total Avg%
3586.42/3597.01 c primal-dual : 46510.23 12.93
3586.42/3597.01 c primal-ref : - - (not evaluated)
3586.42/3597.01 c dual-ref : - - (not evaluated)
3586.62/3597.26 c Time complete (sec): 3586.694
OK -45
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61466 MiB free)
memory of node 1: 64507 MiB (60725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484917-1751305296/watcher-4484917-1751305296 -o /tmp/evaluation-result-4484917-1751305296/solver-4484917-1751305296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37234 --watchdog 3760 pbsolver -f HOME/instance-4484917-1751305296.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38291, runsolver pid=38288
[startup+0.100063 s]*
/proc/loadavg: 4.08 4.10 4.06 5/263 38292
/proc/meminfo: memFree=125084108/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=60916 memory=50048 CPUtime=0.1 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 10562 0 0 0 9 1 0 0 20 0 1 0 46209207 62377984 12512 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 15229 12512 2176 2575 0 12136 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60916 KiB
Current children cumulated memory: 50048 KiB
[startup+0.205404 s]*
/proc/loadavg: 4.08 4.10 4.06 5/263 38292
/proc/meminfo: memFree=125018084/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=120976 memory=109956 CPUtime=0.2 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 25713 0 0 0 17 3 0 0 20 0 1 0 46209207 123879424 27489 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 30244 27489 2400 2575 0 27151 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 120976 KiB
Current children cumulated memory: 109956 KiB
[startup+0.305356 s]*
/proc/loadavg: 4.08 4.10 4.06 5/263 38292
/proc/meminfo: memFree=125010020/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=129720 memory=119044 CPUtime=0.3 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 27980 0 0 0 26 4 0 0 20 0 1 0 46209207 132833280 29761 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 32430 29761 2400 2575 0 29337 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 129720 KiB
Current children cumulated memory: 119044 KiB
[startup+0.70016 s]
/proc/loadavg: 4.07 4.10 4.06 5/263 38292
/proc/meminfo: memFree=124969572/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=155552 memory=144352 CPUtime=0.69 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 48134 0 0 0 61 8 0 0 20 0 1 0 46209207 159285248 36088 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 38888 36088 2528 2575 0 35795 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 155552 KiB
Current children cumulated memory: 144352 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.10 4.06 5/263 38292
/proc/meminfo: memFree=124961856/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=366228 memory=323096 CPUtime=1.48 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 57660 0 0 0 136 12 0 0 20 0 1 0 46209207 375017472 80774 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 91557 80774 2560 2575 0 88464 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 366228 KiB
Current children cumulated memory: 323096 KiB
[startup+3.10514 s]
/proc/loadavg: 4.07 4.10 4.06 5/263 38292
/proc/meminfo: memFree=124710576/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=460140 memory=417452 CPUtime=3.09 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 82375 0 0 0 293 16 0 0 20 0 1 0 46209207 471183360 104363 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 115035 104363 2688 2575 0 111942 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 460140 KiB
Current children cumulated memory: 417452 KiB
[startup+6.3001 s]
/proc/loadavg: 4.06 4.09 4.06 5/263 38292
/proc/meminfo: memFree=124674476/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=508492 memory=447780 CPUtime=6.28 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 88936 0 0 0 611 17 0 0 20 0 1 0 46209207 520695808 111945 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 127123 111945 2688 2575 0 124030 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 508492 KiB
Current children cumulated memory: 447780 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.06 5/263 38292
/proc/meminfo: memFree=124662004/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=516020 memory=447780 CPUtime=12.66 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 88942 0 0 0 1249 17 0 0 20 0 1 0 46209207 528404480 111945 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 129005 111945 2688 2575 0 125912 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 516020 KiB
Current children cumulated memory: 447780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.12 4.07 5/263 38293
/proc/meminfo: memFree=124629436/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=612088 memory=456484 CPUtime=25.42 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 90122 0 0 0 2525 17 0 0 20 0 1 0 46209207 626778112 114121 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 153022 114121 2688 2575 0 149929 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 612088 KiB
Current children cumulated memory: 456484 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.11 4.07 5/263 38293
/proc/meminfo: memFree=124498548/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=788028 memory=558628 CPUtime=50.96 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 115641 0 0 0 5075 21 0 0 20 0 1 0 46209207 806940672 139657 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 197007 139657 2688 2575 0 193914 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 788028 KiB
Current children cumulated memory: 558628 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/263 38295
/proc/meminfo: memFree=124356300/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=836320 memory=569612 CPUtime=102 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 123785 0 0 0 10178 22 0 0 20 0 1 0 46209207 856391680 142403 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 209080 142403 2688 2575 0 205987 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 836320 KiB
Current children cumulated memory: 569612 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/263 38298
/proc/meminfo: memFree=124235624/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=903116 memory=628196 CPUtime=161.82 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 145251 0 0 0 16157 25 0 0 20 0 1 0 46209207 924790784 157049 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 225779 157049 2688 2575 0 222686 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 903116 KiB
Current children cumulated memory: 628196 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.09 4.07 5/263 38300
/proc/meminfo: memFree=124069900/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=989584 memory=705380 CPUtime=221.65 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 164569 0 0 0 22137 28 0 0 20 0 1 0 46209207 1013334016 176345 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 247396 176345 2688 2575 0 244303 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 989584 KiB
Current children cumulated memory: 705380 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/263 38302
/proc/meminfo: memFree=123928352/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=1006308 memory=715636 CPUtime=281.49 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 166123 0 0 0 28120 29 0 0 20 0 1 0 46209207 1030459392 178909 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 251577 178909 2688 2575 0 248484 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1006308 KiB
Current children cumulated memory: 715636 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/263 38349
/proc/meminfo: memFree=125161844/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=1120948 memory=792224 CPUtime=341.32 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 181711 0 0 0 34100 32 0 0 20 0 1 0 46209207 1147850752 198056 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 280237 198056 2688 2575 0 277144 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1120948 KiB
Current children cumulated memory: 792224 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/265 38356
/proc/meminfo: memFree=124944660/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=1123424 memory=797856 CPUtime=401.13 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 183235 0 0 0 40081 32 0 0 20 0 1 0 46209207 1150386176 199464 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 280856 199464 2688 2575 0 277763 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1123424 KiB
Current children cumulated memory: 797856 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/264 38362
/proc/meminfo: memFree=124803688/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=1237720 memory=868696 CPUtime=460.94 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 195781 0 0 0 46059 35 0 0 20 0 1 0 46209207 1267425280 217174 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 309430 217174 2688 2575 0 306337 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
/proc/loadavg: 4.19 4.19 4.13 5/263 38502
/proc/meminfo: memFree=121033656/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2368668 memory=1736940 CPUtime=3152.86 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 286571 0 0 0 315225 61 0 0 20 0 1 0 46209207 2425516032 434235 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 592167 434235 2944 2575 0 589074 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 2368668 KiB
Current children cumulated memory: 1736940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/263 38504
/proc/meminfo: memFree=120763548/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2446252 memory=1804060 CPUtime=3212.69 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287031 0 0 0 321208 61 0 0 20 0 1 0 46209207 2504962048 451015 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 611563 451015 2944 2575 0 608470 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 2446252 KiB
Current children cumulated memory: 1804060 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.18 4.13 5/264 38507
/proc/meminfo: memFree=120716452/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2446252 memory=1833500 CPUtime=3272.54 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287048 0 0 0 327192 62 0 0 20 0 1 0 46209207 2504962048 458375 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 611563 458375 2944 2575 0 608470 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 2446252 KiB
Current children cumulated memory: 1833500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/263 38598
/proc/meminfo: memFree=124150268/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2446252 memory=1846172 CPUtime=3332.37 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287061 0 0 0 333175 62 0 0 20 0 1 0 46209207 2504962048 461543 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 611563 461543 2944 2575 0 608470 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 2446252 KiB
Current children cumulated memory: 1846172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/263 38599
/proc/meminfo: memFree=124052712/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2446252 memory=1866784 CPUtime=3392.21 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287072 0 0 0 339159 62 0 0 20 0 1 0 46209207 2504962048 466696 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 611563 466696 2944 2575 0 608470 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 2446252 KiB
Current children cumulated memory: 1866784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/264 38604
/proc/meminfo: memFree=123940904/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2446252 memory=1883424 CPUtime=3452.06 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287080 0 0 0 345144 62 0 0 20 0 1 0 46209207 2504962048 470856 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 611563 470856 2944 2575 0 608470 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 2446252 KiB
Current children cumulated memory: 1883424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 38610
/proc/meminfo: memFree=123755172/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2446252 memory=1898912 CPUtime=3511.91 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287276 0 0 0 351129 62 0 0 20 0 1 0 46209207 2504962048 474728 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 611563 474728 2944 2575 0 608470 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 2446252 KiB
Current children cumulated memory: 1898912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/263 38612
/proc/meminfo: memFree=123711964/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2491156 memory=1951032 CPUtime=3571.76 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287732 0 0 0 357113 63 0 0 20 0 1 0 46209207 2550943744 487758 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622789 487758 2944 2575 0 619696 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 2491156 KiB
Current children cumulated memory: 1951032 KiB
[startup+3597.28 s]
# the end of solver process 38291 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.05 s, system=0.662041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.11 4.10 5/263 38612
/proc/meminfo: memFree=123701820/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2491156 memory=1955128 CPUtime=3573.46 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287732 0 0 0 357283 63 0 0 20 0 1 0 46209207 2550943744 488782 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622789 488782 2944 2575 0 619696 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 2491156 KiB
Current children cumulated memory: 1955128 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.12 4.10 5/263 38613
/proc/meminfo: memFree=123661280/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2491156 memory=1955128 CPUtime=3579.84 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287732 0 0 0 357921 63 0 0 20 0 1 0 46209207 2550943744 488782 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622789 488782 2944 2575 0 619696 0
Current children cumulated CPU time: 3579.84 s
Current children cumulated vsize: 2491156 KiB
Current children cumulated memory: 1955128 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.10 5/263 38613
/proc/meminfo: memFree=123672764/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2491156 memory=1961272 CPUtime=3583.03 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287732 0 0 0 358240 63 0 0 20 0 1 0 46209207 2550943744 490318 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622789 490318 2944 2575 0 619696 0
Current children cumulated CPU time: 3583.03 s
Current children cumulated vsize: 2491156 KiB
Current children cumulated memory: 1961272 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.10 5/263 38613
/proc/meminfo: memFree=123671056/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2491156 memory=1961272 CPUtime=3584.62 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287732 0 0 0 358399 63 0 0 20 0 1 0 46209207 2550943744 490318 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622789 490318 2944 2575 0 619696 0
Current children cumulated CPU time: 3584.62 s
Current children cumulated vsize: 2491156 KiB
Current children cumulated memory: 1961272 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.12 4.10 5/263 38613
/proc/meminfo: memFree=123671056/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2491156 memory=1961272 CPUtime=3585.43 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287732 0 0 0 358480 63 0 0 20 0 1 0 46209207 2550943744 490318 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622789 490318 2944 2575 0 619696 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 2491156 KiB
Current children cumulated memory: 1961272 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.10 5/263 38613
/proc/meminfo: memFree=123671056/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2491156 memory=1961272 CPUtime=3586.22 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287732 0 0 0 358559 63 0 0 20 0 1 0 46209207 2550943744 490318 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622789 490318 2944 2575 0 619696 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 2491156 KiB
Current children cumulated memory: 1961272 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.12 4.10 5/263 38613
/proc/meminfo: memFree=123671056/131249996 swapFree=33010416/33010684
[pid=38291] ppid=38288 vsize=2488456 memory=1958572 CPUtime=3586.62 cores=5,7
/proc/38291/stat : 38291 (pbsolver) R 38288 38291 37216 0 -1 4194304 287767 0 0 0 358599 63 0 0 20 0 1 0 46209207 2548178944 489643 18446744073709551615 4198400 14743177 140729697402352 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52260864 140729697409418 140729697409514 140729697409514 140729697415116 0
/proc/38291/statm: 622114 489643 2944 2575 0 619021 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 2488456 KiB
Current children cumulated memory: 1958572 KiB
Child status: 0
Real time (s): 3597.28
CPU time (s): 3586.71
CPU user time (s): 3586.05
CPU system time (s): 0.662041
CPU usage (%): 99.7061
Max. virtual memory (cumulated for all children) (KiB): 2491156
Max. memory (cumulated for all children) (KiB): 1961272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.05
system time used= 0.662041
maximum resident set size= 1961272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 2417
# summary of solver processes directly reported to runsolver:
# pid: 38291
# total CPU time (s): 3586.71
# total CPU user time (s): 3586.05
# total CPU system time (s): 0.662041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42601 second user time and 14.6675 second system time
The end
Begin job on nodeC030 at 2025-06-30 19:41:36 IDJOB=4484917 IDBENCH=146675 IDSOLVER=3366 FILE ID=nodeC030/4484917-1751305296 RUNJOBID= nodeC030-1751301413-37234 SLURM_JOB_ID= 9594278 Free space on /tmp= 432984 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484917-1751305296/watcher-4484917-1751305296 -o /tmp/evaluation-result-4484917-1751305296/solver-4484917-1751305296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37234 --watchdog 3760 pbsolver -f HOME/instance-4484917-1751305296.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79c0a8033bde71aac2f7ead78fdb13b7 RANDOM SEED=1075389353 nodeC030 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.359 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 : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.325 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 : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.922 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 : 7000.62 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 : 3700.000 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 : 7000.62 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 : 3600.325 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 : 7000.62 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.359 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 : 7000.62 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 : 3700.000 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 : 7000.62 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 : 3600.323 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 : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 125124368 kB MemAvailable: 126568448 kB Buffers: 2564 kB Cached: 2238844 kB SwapCached: 16 kB Active: 3562000 kB Inactive: 1938504 kB Active(anon): 3272484 kB Inactive(anon): 4660 kB Active(file): 289516 kB Inactive(file): 1933844 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16824 kB Writeback: 0 kB AnonPages: 3261788 kB Mapped: 137704 kB Shmem: 18048 kB KReclaimable: 119516 kB Slab: 206024 kB SReclaimable: 119516 kB SUnreclaim: 86508 kB KernelStack: 4272 kB PageTables: 10224 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 5172572 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 768000 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: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432972 MiB End job on nodeC030 at 2025-06-30 20:41:34