Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 22.816 | 22.9097 |
| Name | PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo |
| MD5SUM | 3e2ec09c635f17d8702a97e6167955fd |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.415478 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1190 |
| Total number of constraints | 3183 |
| Number of soft constraints | 3183 |
| Number of constraints which are clauses | 3055 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 128 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 160956 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 160955 |
| Biggest number in a constraint | 43 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 136 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4524499-1751613946.wbo>
0.00/0.02 c original problem has 4373 variables (4373 bin, 0 int, 0 impl, 0 cont) and 6367 constraints
0.00/0.02 c problem read in 0.01
0.00/0.06 o 160955
0.00/0.06 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 1.609550e+05
0.00/0.06 c presolving:
0.00/0.07 c (round 1, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.00/0.07 c (round 2, fast) 0 del vars, 1 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.10 c (round 3, exhaustive) 25 del vars, 1 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.12 c (round 4, exhaustive) 50 del vars, 1 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.12 c (round 5, fast) 50 del vars, 26 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.15 c (round 6, exhaustive) 75 del vars, 26 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.15 c (round 7, fast) 75 del vars, 51 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.17 c (round 8, exhaustive) 100 del vars, 51 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.17 c (round 9, fast) 100 del vars, 76 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.19 c (round 10, exhaustive) 125 del vars, 76 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.08/0.20 c (round 11, fast) 125 del vars, 101 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.22 c (round 12, exhaustive) 150 del vars, 101 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.22 c (round 13, fast) 150 del vars, 126 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.25 c (round 14, exhaustive) 175 del vars, 126 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.25 c (round 15, fast) 175 del vars, 151 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.27 c (round 16, exhaustive) 200 del vars, 151 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.27 c (round 17, fast) 200 del vars, 176 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.29 c (round 18, exhaustive) 225 del vars, 176 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.19/0.29 c (round 19, fast) 225 del vars, 201 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.31 c (round 20, exhaustive) 250 del vars, 201 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.32 c (round 21, fast) 250 del vars, 226 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.34 c (round 22, exhaustive) 275 del vars, 226 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.34 c (round 23, fast) 275 del vars, 251 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.36 c (round 24, exhaustive) 300 del vars, 251 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.37 c (round 25, fast) 300 del vars, 276 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.39 c (round 26, exhaustive) 325 del vars, 276 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.29/0.39 c (round 27, fast) 325 del vars, 301 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.41 c (round 28, exhaustive) 350 del vars, 301 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.41 c (round 29, fast) 350 del vars, 326 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.43 c (round 30, exhaustive) 375 del vars, 326 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.43 c (round 31, fast) 375 del vars, 351 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.46 c (round 32, exhaustive) 400 del vars, 351 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.46 c (round 33, fast) 400 del vars, 376 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.48 c (round 34, exhaustive) 425 del vars, 376 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.48 c (round 35, fast) 425 del vars, 401 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.39/0.51 c (round 36, exhaustive) 450 del vars, 401 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.49/0.51 c (round 37, fast) 450 del vars, 426 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.49/0.53 c (0.5s) probing: 1000/7428 (13.5%) - 0 fixings, 471 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (round 38, exhaustive) 475 del vars, 426 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.49/0.53 c (round 39, fast) 475 del vars, 451 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.49/0.56 c (round 40, exhaustive) 500 del vars, 451 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.49/0.56 c (round 41, fast) 500 del vars, 476 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.49/0.58 c (round 42, exhaustive) 525 del vars, 476 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.49/0.58 c (round 43, fast) 525 del vars, 501 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.60 c (round 44, exhaustive) 550 del vars, 501 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.60 c (round 45, fast) 550 del vars, 526 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.63 c (round 46, exhaustive) 575 del vars, 526 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.63 c (round 47, fast) 575 del vars, 551 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.66 c (round 48, exhaustive) 600 del vars, 551 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.66 c (round 49, fast) 600 del vars, 576 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.68 c (round 50, exhaustive) 625 del vars, 576 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.59/0.68 c (round 51, fast) 625 del vars, 601 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 0 clqs
0.68/0.70 c (round 52, exhaustive) 650 del vars, 601 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.70 c (round 53, fast) 650 del vars, 626 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.72 c (round 54, exhaustive) 675 del vars, 626 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.72 c (round 55, fast) 675 del vars, 651 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.75 c (round 56, exhaustive) 700 del vars, 651 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.75 c (round 57, fast) 700 del vars, 676 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.77 c (round 58, exhaustive) 725 del vars, 676 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.77 c (round 59, fast) 725 del vars, 701 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.68/0.79 c (round 60, exhaustive) 750 del vars, 701 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.80 c (round 61, fast) 750 del vars, 726 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.82 c (round 62, exhaustive) 775 del vars, 726 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.82 c (round 63, fast) 775 del vars, 751 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.84 c (round 64, exhaustive) 800 del vars, 751 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.84 c (round 65, fast) 800 del vars, 776 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.86 c (round 66, exhaustive) 825 del vars, 776 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.86 c (round 67, fast) 825 del vars, 801 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.89 c (round 68, exhaustive) 850 del vars, 801 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.78/0.89 c (round 69, fast) 850 del vars, 826 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.91 c (round 70, exhaustive) 875 del vars, 826 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.91 c (round 71, fast) 875 del vars, 851 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.93 c (round 72, exhaustive) 900 del vars, 851 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.93 c (round 73, fast) 900 del vars, 876 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.95 c (round 74, exhaustive) 925 del vars, 876 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.95 c (round 75, fast) 925 del vars, 901 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.97 c (round 76, exhaustive) 950 del vars, 901 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.97 c (round 77, fast) 950 del vars, 926 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/0.98 c (1.0s) probing: 2000/7428 (26.9%) - 0 fixings, 954 aggregations, 1 implications, 0 bound changes
0.88/1.00 c (round 78, exhaustive) 975 del vars, 926 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.88/1.00 c (round 79, fast) 975 del vars, 951 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.02 c (round 80, exhaustive) 1000 del vars, 951 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.02 c (round 81, fast) 1000 del vars, 976 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.04 c (round 82, exhaustive) 1025 del vars, 976 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.04 c (round 83, fast) 1025 del vars, 1001 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.07 c (round 84, exhaustive) 1050 del vars, 1001 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.07 c (round 85, fast) 1050 del vars, 1026 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.09 c (round 86, exhaustive) 1075 del vars, 1026 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
0.98/1.09 c (round 87, fast) 1075 del vars, 1051 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.11 c (round 88, exhaustive) 1100 del vars, 1051 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.11 c (round 89, fast) 1100 del vars, 1076 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.13 c (round 90, exhaustive) 1125 del vars, 1076 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.14 c (round 91, fast) 1125 del vars, 1101 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.16 c (round 92, exhaustive) 1150 del vars, 1101 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.16 c (round 93, fast) 1150 del vars, 1126 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.18 c (round 94, exhaustive) 1175 del vars, 1126 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.08/1.18 c (round 95, fast) 1175 del vars, 1151 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.20 c (round 96, exhaustive) 1200 del vars, 1151 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.20 c (round 97, fast) 1200 del vars, 1176 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.23 c (round 98, exhaustive) 1225 del vars, 1176 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.23 c (round 99, fast) 1225 del vars, 1201 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.25 c (round 100, exhaustive) 1250 del vars, 1201 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.25 c (round 101, fast) 1250 del vars, 1226 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.27 c (round 102, exhaustive) 1275 del vars, 1226 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.27 c (round 103, fast) 1275 del vars, 1251 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.29 c (round 104, exhaustive) 1300 del vars, 1251 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.18/1.29 c (round 105, fast) 1300 del vars, 1276 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.32 c (round 106, exhaustive) 1325 del vars, 1276 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.32 c (round 107, fast) 1325 del vars, 1301 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.34 c (round 108, exhaustive) 1350 del vars, 1301 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.34 c (round 109, fast) 1350 del vars, 1326 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.36 c (round 110, exhaustive) 1375 del vars, 1326 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.36 c (round 111, fast) 1375 del vars, 1351 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.38 c (round 112, exhaustive) 1400 del vars, 1351 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.28/1.38 c (round 113, fast) 1400 del vars, 1376 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.41 c (1.4s) probing: 3000/7428 (40.4%) - 0 fixings, 1424 aggregations, 1 implications, 0 bound changes
1.38/1.41 c (round 114, exhaustive) 1425 del vars, 1376 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.41 c (round 115, fast) 1425 del vars, 1401 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.43 c (round 116, exhaustive) 1450 del vars, 1401 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.43 c (round 117, fast) 1450 del vars, 1426 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.45 c (round 118, exhaustive) 1475 del vars, 1426 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.45 c (round 119, fast) 1475 del vars, 1451 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.47 c (round 120, exhaustive) 1500 del vars, 1451 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.47 c (round 121, fast) 1500 del vars, 1476 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.49 c (round 122, exhaustive) 1525 del vars, 1476 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.38/1.49 c (round 123, fast) 1525 del vars, 1501 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.51 c (round 124, exhaustive) 1550 del vars, 1501 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.51 c (round 125, fast) 1550 del vars, 1526 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.53 c (round 126, exhaustive) 1575 del vars, 1526 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.53 c (round 127, fast) 1575 del vars, 1551 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.55 c (round 128, exhaustive) 1600 del vars, 1551 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.56 c (round 129, fast) 1600 del vars, 1576 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.58 c (round 130, exhaustive) 1625 del vars, 1576 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.48/1.58 c (round 131, fast) 1625 del vars, 1601 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.60 c (round 132, exhaustive) 1650 del vars, 1601 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.60 c (round 133, fast) 1650 del vars, 1626 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.62 c (round 134, exhaustive) 1675 del vars, 1626 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.62 c (round 135, fast) 1675 del vars, 1651 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.64 c (round 136, exhaustive) 1700 del vars, 1651 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.64 c (round 137, fast) 1700 del vars, 1676 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.66 c (round 138, exhaustive) 1725 del vars, 1676 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.67 c (round 139, fast) 1725 del vars, 1701 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.68 c (round 140, exhaustive) 1750 del vars, 1701 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.58/1.69 c (round 141, fast) 1750 del vars, 1726 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.70 c (round 142, exhaustive) 1775 del vars, 1726 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.71 c (round 143, fast) 1775 del vars, 1751 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.72 c (round 144, exhaustive) 1800 del vars, 1751 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.73 c (round 145, fast) 1800 del vars, 1776 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.74 c (round 146, exhaustive) 1825 del vars, 1776 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.74 c (round 147, fast) 1825 del vars, 1801 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.76 c (round 148, exhaustive) 1850 del vars, 1801 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.77 c (round 149, fast) 1850 del vars, 1826 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.78 c (round 150, exhaustive) 1875 del vars, 1826 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.68/1.78 c (round 151, fast) 1875 del vars, 1851 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.81 c (round 152, exhaustive) 1900 del vars, 1851 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.81 c (round 153, fast) 1900 del vars, 1876 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.83 c (round 154, exhaustive) 1925 del vars, 1876 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.83 c (round 155, fast) 1925 del vars, 1901 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.83 c (1.8s) probing: 4000/7428 (53.9%) - 0 fixings, 1926 aggregations, 1 implications, 0 bound changes
1.78/1.84 c (round 156, exhaustive) 1950 del vars, 1901 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.85 c (round 157, fast) 1950 del vars, 1926 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.86 c (round 158, exhaustive) 1975 del vars, 1926 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.86 c (round 159, fast) 1975 del vars, 1951 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.88 c (round 160, exhaustive) 2000 del vars, 1951 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.78/1.88 c (round 161, fast) 2000 del vars, 1976 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.90 c (round 162, exhaustive) 2025 del vars, 1976 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.90 c (round 163, fast) 2025 del vars, 2001 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.92 c (round 164, exhaustive) 2050 del vars, 2001 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.92 c (round 165, fast) 2050 del vars, 2026 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.94 c (round 166, exhaustive) 2075 del vars, 2026 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.94 c (round 167, fast) 2075 del vars, 2051 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.96 c (round 168, exhaustive) 2100 del vars, 2051 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.96 c (round 169, fast) 2100 del vars, 2076 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.98 c (round 170, exhaustive) 2125 del vars, 2076 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/1.98 c (round 171, fast) 2125 del vars, 2101 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/2.00 c (round 172, exhaustive) 2150 del vars, 2101 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.87/2.00 c (round 173, fast) 2150 del vars, 2126 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.02 c (round 174, exhaustive) 2175 del vars, 2126 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.02 c (round 175, fast) 2175 del vars, 2151 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.03 c (round 176, exhaustive) 2200 del vars, 2151 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.03 c (round 177, fast) 2200 del vars, 2176 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.05 c (round 178, exhaustive) 2225 del vars, 2176 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.05 c (round 179, fast) 2225 del vars, 2201 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.07 c (round 180, exhaustive) 2250 del vars, 2201 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.07 c (round 181, fast) 2250 del vars, 2226 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.09 c (round 182, exhaustive) 2275 del vars, 2226 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
1.98/2.09 c (round 183, fast) 2275 del vars, 2251 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.10 c (round 184, exhaustive) 2300 del vars, 2251 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.10 c (round 185, fast) 2300 del vars, 2276 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.12 c (round 186, exhaustive) 2325 del vars, 2276 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.12 c (round 187, fast) 2325 del vars, 2301 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.14 c (round 188, exhaustive) 2350 del vars, 2301 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.14 c (round 189, fast) 2350 del vars, 2326 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.16 c (round 190, exhaustive) 2375 del vars, 2326 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.16 c (round 191, fast) 2375 del vars, 2351 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.17 c (round 192, exhaustive) 2400 del vars, 2351 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.18 c (round 193, fast) 2400 del vars, 2376 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.19 c (round 194, exhaustive) 2425 del vars, 2376 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.08/2.19 c (round 195, fast) 2425 del vars, 2401 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.21 c (round 196, exhaustive) 2450 del vars, 2401 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.21 c (round 197, fast) 2450 del vars, 2426 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.21 c (2.2s) probing: 5000/7428 (67.3%) - 0 fixings, 2450 aggregations, 1 implications, 0 bound changes
2.17/2.23 c (round 198, exhaustive) 2475 del vars, 2426 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.23 c (round 199, fast) 2475 del vars, 2451 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.24 c (round 200, exhaustive) 2500 del vars, 2451 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.24 c (round 201, fast) 2500 del vars, 2476 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.26 c (round 202, exhaustive) 2525 del vars, 2476 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.26 c (round 203, fast) 2525 del vars, 2501 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.28 c (round 204, exhaustive) 2550 del vars, 2501 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.28 c (round 205, fast) 2550 del vars, 2526 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.29 c (round 206, exhaustive) 2575 del vars, 2526 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.17/2.30 c (round 207, fast) 2575 del vars, 2551 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.31 c (round 208, exhaustive) 2600 del vars, 2551 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.31 c (round 209, fast) 2600 del vars, 2576 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.33 c (round 210, exhaustive) 2625 del vars, 2576 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.33 c (round 211, fast) 2625 del vars, 2601 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.34 c (round 212, exhaustive) 2650 del vars, 2601 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.34 c (round 213, fast) 2650 del vars, 2626 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.36 c (round 214, exhaustive) 2675 del vars, 2626 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.36 c (round 215, fast) 2675 del vars, 2651 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.38 c (round 216, exhaustive) 2700 del vars, 2651 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.38 c (round 217, fast) 2700 del vars, 2676 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.39 c (round 218, exhaustive) 2725 del vars, 2676 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.27/2.39 c (round 219, fast) 2725 del vars, 2701 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.41 c (round 220, exhaustive) 2750 del vars, 2701 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.41 c (round 221, fast) 2750 del vars, 2726 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.42 c (round 222, exhaustive) 2775 del vars, 2726 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.42 c (round 223, fast) 2775 del vars, 2751 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.44 c (round 224, exhaustive) 2800 del vars, 2751 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.44 c (round 225, fast) 2800 del vars, 2776 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.45 c (round 226, exhaustive) 2825 del vars, 2776 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.46 c (round 227, fast) 2825 del vars, 2801 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.47 c (round 228, exhaustive) 2850 del vars, 2801 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.47 c (round 229, fast) 2850 del vars, 2826 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.48 c (round 230, exhaustive) 2875 del vars, 2826 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.37/2.48 c (round 231, fast) 2875 del vars, 2851 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.50 c (round 232, exhaustive) 2900 del vars, 2851 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.50 c (round 233, fast) 2900 del vars, 2876 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.51 c (round 234, exhaustive) 2925 del vars, 2876 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.51 c (round 235, fast) 2925 del vars, 2901 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.52 c (2.5s) probing: 6000/7428 (80.8%) - 0 fixings, 2930 aggregations, 1 implications, 0 bound changes
2.47/2.53 c (round 236, exhaustive) 2950 del vars, 2901 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.53 c (round 237, fast) 2950 del vars, 2926 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.54 c (round 238, exhaustive) 2975 del vars, 2926 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.54 c (round 239, fast) 2975 del vars, 2951 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.56 c (round 240, exhaustive) 3000 del vars, 2951 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.56 c (round 241, fast) 3000 del vars, 2976 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.57 c (round 242, exhaustive) 3025 del vars, 2976 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.57 c (round 243, fast) 3025 del vars, 3001 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.58 c (round 244, exhaustive) 3050 del vars, 3001 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.47/2.59 c (round 245, fast) 3050 del vars, 3026 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.57/2.60 c (2.6s) probing: 6289/7428 (84.7%) - 0 fixings, 3055 aggregations, 1 implications, 0 bound changes
2.57/2.60 c (2.6s) probing aborted: 50/50 successive totally useless probings
2.57/2.60 c (round 246, exhaustive) 3055 del vars, 3026 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.57/2.60 c (round 247, fast) 3055 del vars, 3051 del conss, 0 add conss, 3183 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 3183 impls, 1 clqs
2.57/2.61 c (2.6s) probing: 6294/7428 (84.7%) - 0 fixings, 3055 aggregations, 1 implications, 0 bound changes
2.57/2.61 c (2.6s) probing aborted: 50/50 successive totally useless probings
2.57/2.61 c (2.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.57/2.62 c (2.6s) no symmetry present (symcode time: 0.00)
2.57/2.62 c presolving (248 rounds: 248 fast, 124 medium, 124 exhaustive):
2.57/2.62 c 3055 deleted vars, 3051 deleted constraints, 0 added constraints, 3183 tightened bounds, 0 added holes, 64 changed sides, 128 changed coefficients
2.57/2.62 c 3183 implications, 1 cliques
2.57/2.62 c presolved problem has 4501 variables (4373 bin, 0 int, 128 impl, 0 cont) and 3316 constraints
2.57/2.62 c 3183 constraints of type <linear>
2.57/2.62 c 133 constraints of type <indicator>
2.57/2.62 c transformed objective value is always integral (scale: 1)
2.57/2.62 c Presolving Time: 2.59
2.57/2.62 c - non default parameters ----------------------------------------------------------------------
2.57/2.62 c # SCIP version 10.0.0
2.57/2.62 c
2.57/2.62 c # maximal time in seconds to run
2.57/2.62 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.57/2.62 c limits/time = 3596.996996
2.57/2.62 c
2.57/2.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.57/2.62 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.57/2.62 c limits/memory = 27900
2.57/2.62 c
2.57/2.62 c # belongs reading time to solving time?
2.57/2.62 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.57/2.62 c timing/reading = TRUE
2.57/2.62 c
2.57/2.62 c -----------------------------------------------------------------------------------------------
2.57/2.62 c start solving
2.57/2.62 c
2.57/2.67 o 12780
2.57/2.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.57/2.67 c i 2.7s| 1 | 0 | 0 | - | oneopt| 0 |4501 |3316 |3311 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
2.67/2.77 c 2.8s| 1 | 0 | 733 | - | 56M | 0 |4501 |3316 |3311 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
2.77/2.83 c 2.8s| 1 | 0 | 809 | - | 59M | 0 |4501 |3316 |3323 | 12 | 1 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
2.97/3.04 c 3.0s| 1 | 0 | 885 | - | 65M | 0 |4501 |3316 |3337 | 26 | 2 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
3.07/3.12 c 3.1s| 1 | 0 | 925 | - | 67M | 0 |4501 |3316 |3352 | 41 | 3 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
3.17/3.26 c 3.2s| 1 | 0 | 1001 | - | 69M | 0 |4501 |3316 |3365 | 54 | 4 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
3.36/3.46 c 3.4s| 1 | 0 | 1092 | - | 74M | 0 |4501 |3316 |3375 | 64 | 5 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
3.57/3.60 c 3.6s| 1 | 0 | 1144 | - | 79M | 0 |4501 |3316 |3386 | 75 | 6 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
3.77/3.81 c 3.8s| 1 | 0 | 1391 | - | 83M | 0 |4501 |3316 |3397 | 86 | 7 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
3.87/3.99 c 4.0s| 1 | 0 | 1477 | - | 89M | 0 |4501 |3316 |3411 | 100 | 8 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
4.16/4.25 c 4.2s| 1 | 0 | 1559 | - | 99M | 0 |4501 |3316 |3420 | 109 | 9 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
4.47/4.54 c 4.5s| 1 | 0 | 1697 | - | 109M | 0 |4501 |3316 |3433 | 122 | 10 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
4.47/4.59 c 4.6s| 1 | 0 | 1754 | - | 110M | 0 |4501 |3316 |3434 | 131 | 11 | 0 | 0 | 0.000000e+00 | 1.278000e+04 | Inf | unknown
5.46/5.51 o 354
5.46/5.51 c d 5.5s| 1 | 0 | 5155 | - |farkasdi| 0 |4501 |3317 |3434 | 0 | 11 | 2 | 0 | 0.000000e+00 | 3.540000e+02 | Inf | unknown
5.76/5.88 c 5.9s| 1 | 0 | 6682 | - | 112M | 0 |4501 |3317 |3434 | 131 | 11 | 2 | 0 | 0.000000e+00 | 3.540000e+02 | Inf | unknown
5.86/5.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.86/5.94 c 5.9s| 1 | 0 | 6730 | - | 113M | 0 |4501 |3317 |3424 | 136 | 12 | 2 | 0 | 0.000000e+00 | 3.540000e+02 | Inf | unknown
5.86/5.96 c 6.0s| 1 | 0 | 6749 | - | 113M | 0 |4501 |3317 |3427 | 139 | 13 | 2 | 0 | 0.000000e+00 | 3.540000e+02 | Inf | unknown
6.25/6.31 c 6.3s| 1 | 2 | 6778 | - | 113M | 0 |4501 |3317 |3427 | 139 | 13 | 2 | 21 | 0.000000e+00 | 3.540000e+02 | Inf | unknown
12.04/12.11 o 217
12.04/12.11 c d12.1s| 25 | 26 | 8816 | 291.5 |pscostdi| 24 |4501 |3318 |3337 | 0 | 1 | 4 | 428 | 0.000000e+00 | 2.170000e+02 | Inf | unknown
12.63/12.74 o 8
12.63/12.74 c *12.7s| 30 | 20 | 9283 | 257.3 |strongbr| 24 |4501 |3318 |3337 | 156 | 1 | 4 | 506 | 0.000000e+00 | 8.000000e+00 | Inf | unknown
13.23/13.35 o 5
13.23/13.35 c *13.3s| 33 | 19 | 10029 | 256.5 |strongbr| 24 |4501 |3204 |3337 | 156 | 2 | 598 | 583 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
15.03/15.18 o 4
15.03/15.18 c r15.2s| 44 | 17 | 12728 | 253.7 |ziroundi| 24 |4501 |3273 |3337 | 200 | 1 | 677 | 811 | 0.000000e+00 | 4.000000e+00 | Inf | unknown
15.42/15.50 o 2
15.42/15.50 c *15.5s| 49 | 14 | 13206 | 237.2 |strongbr| 24 |4501 |3274 |3337 | 226 | 1 | 679 | 851 | 0.000000e+00 | 2.000000e+00 | Inf | unknown
15.52/15.66 o 1
15.52/15.66 c *15.7s| 52 | 11 | 13448 | 228.0 | LP | 24 |4501 |3272 |3334 | 247 | 1 | 680 | 864 | 0.000000e+00 | 1.000000e+00 | Inf | 13.27%
19.11/19.20 c 19.2s| 100 | 13 | 18927 | 172.8 | 122M | 24 |4501 |3374 |3334 | 274 | 1 | 870 |1196 | 0.000000e+00 | 1.000000e+00 | Inf | 47.02%
21.40/21.57 c 21.6s| 200 | 7 | 25366 | 118.3 | 125M | 24 |4501 |3578 |3334 | 461 | 2 |1087 |1332 | 0.000000e+00 | 1.000000e+00 | Inf | 54.18%
22.59/22.77 c 22.8s| 300 | 4 | 29684 | 93.2 | 127M | 24 |4501 |3651 |3334 | 591 | 1 |1236 |1348 | 0.000000e+00 | 1.000000e+00 | Inf | 77.09%
22.69/22.81 c
22.69/22.81 c SCIP Status : problem is solved [optimal solution found]
22.69/22.81 c Solving Time (sec) : 22.80
22.69/22.81 c Solving Nodes : 305
22.69/22.81 c Primal Bound : +1.00000000000000e+00 (11 solutions)
22.69/22.81 c Dual Bound : +1.00000000000000e+00
22.69/22.81 c Gap : 0.00 %
22.69/22.81 s OPTIMUM FOUND
22.69/22.81 v x1190 x1189 -x1188 -x1187 -x1186 x1185 x1184 -x1183 -x1182 -x1181 x1180 x1179 -x1178 -x1177 -x1176 x1175 x1174 -x1173 -x1172 -x1171
22.69/22.81 v x1170 -x1169 x1168 -x1167 x1166 x1165 -x1164 x1163 -x1162 x1161 x1160 x1159 x1158 -x1157 x1156 -x1155 -x1154 x1153 -x1152
22.69/22.81 v x1151 x1150 x1149 x1148 -x1147 x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133
22.69/22.81 v x1132 x1131 x1130 x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114
22.69/22.81 v -x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096
22.69/22.81 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
22.69/22.81 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
22.69/22.81 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042
22.69/22.81 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
22.69/22.81 v -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
22.69/22.81 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986
22.69/22.81 v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965
22.69/22.81 v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944
22.69/22.81 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924
22.69/22.81 v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903
22.69/22.81 v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882
22.69/22.81 v -x881 -x880 -x879 x878 -x877 -x876 x875 x874 x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858
22.69/22.81 v x857 x856 x855 x854 x853 x852 x851 x850 x849 x848 -x847 -x846 -x845 -x844 x843 x842 x841 x840 x839 -x838 -x837 -x836 -x835
22.69/22.81 v x834 x833 x832 x831 x830 -x829 -x828 -x827 -x826 x825 x824 x823 x822 x821 -x820 -x819 -x818 -x817 x816 x815 x814 x813 x812 -x811
22.69/22.81 v -x810 -x809 -x808 x807 x806 x805 x804 x803 -x802 -x801 -x800 -x799 x798 x797 x796 x795 x794 -x793 -x792 -x791 -x790 x789
22.69/22.81 v x788 x787 x786 x785 -x784 -x783 -x782 -x781 x780 x779 x778 -x777 x776 x775 x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 x766
22.69/22.81 v x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 x756 x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 x746 x745 -x744
22.69/22.81 v -x743 -x742 -x741 -x740 x739 -x738 -x737 x736 x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 x726 x725 -x724 -x723 -x722
22.69/22.81 v -x721 -x720 x719 -x718 -x717 x716 x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 x706 x705 -x704 -x703 -x702 -x701 -x700
22.69/22.81 v x699 -x698 -x697 x696 x695 -x694 -x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 -x683 -x682 -x681 -x680 x679 -x678 -x677
22.69/22.81 v x676 x675 x674 -x673 -x672 x671 x670 x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
22.69/22.81 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
22.69/22.81 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613
22.69/22.81 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
22.69/22.81 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
22.69/22.81 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
22.69/22.81 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528
22.69/22.81 v x527 x526 x525 x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 -x509 -x508 -x507 -x506 -x505 -x504
22.69/22.81 v -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483
22.69/22.81 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 x462 -x461
22.69/22.81 v x460 -x459 x458 -x457 x456 -x455 x454 -x453 x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
22.69/22.81 v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 x421 x420 -x419 -x418
22.69/22.81 v -x417 -x416 x415 x414 x413 x412 x411 -x410 -x409 -x408 -x407 x406 x405 x404 x403 x402 -x401 -x400 -x399 -x398 x397 x396 x395
22.69/22.81 v x394 x393 -x392 -x391 -x390 -x389 x388 x387 x386 x385 x384 -x383 -x382 -x381 -x380 x379 x378 x377 x376 x375 -x374 -x373 -x372
22.69/22.81 v -x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 x354 x353 -x352 -x351 -x350
22.69/22.81 v -x349 x348 x347 x346 -x345 x344 -x343 -x342 x341 x340 -x339 x338 -x337 -x336 x335 x334 -x333 x332 -x331 -x330 x329 x328 -x327
22.69/22.81 v x326 -x325 -x324 x323 x322 -x321 x320 -x319 -x318 x317 x316 -x315 x314 -x313 -x312 x311 x310 x309 x308 x307 x306 -x305 -x304
22.69/22.81 v -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282
22.69/22.81 v -x281 -x280 x279 -x278 -x277 -x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 -x266 -x265 x264 -x263 -x262 -x261 -x260
22.69/22.81 v -x259 -x258 x257 x256 -x255 -x254 -x253 -x252 x251 x250 -x249 -x248 x247 x246 x245 x244 x243 -x242 x241 x240 x239 x238 x237 -x236
22.69/22.81 v -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
22.69/22.81 v -x214 x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 x204 x203 x202 x201 -x200 -x199 x198 -x197 x196 -x195 -x194 x193
22.69/22.81 v -x192 -x191 x190 -x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 x180 x179 x178 x177 x176 -x175 -x174 x173 x172 x171 x170
22.69/22.81 v -x169 -x168 x167 x166 x165 x164 -x163 -x162 x161 x160 x159 x158 -x157 -x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146
22.69/22.81 v x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 -x135 -x134 x133 x132 -x131 -x130 x129 x128 x127 x126 -x125 -x124 x123 x122
22.69/22.81 v x121 x120 -x119 -x118 -x117 -x116 -x115 x114 x113 x112 x111 -x110 -x109 x108 x107 x106 x105 -x104 -x103 x102 -x101 x100 -x99
22.69/22.81 v x98 -x97 -x96 x95 x94 x93 x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 x80 x79 -x78 -x77 -x76 x75 -x74 -x73 -x72
22.69/22.81 v -x71 x70 -x69 -x68 x67 -x66 -x65 x64 x63 x62 -x61 -x60 x59 x58 x57 x56 x55 x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 -x44
22.69/22.81 v x43 -x42 -x41 x40 x39 x38 x37 -x36 -x35 x34 x33 x32 -x31 -x30 x29 x28 x27 -x26 -x25 x24 x23 x22 -x21 -x20 x19 x18 -x17 x16
22.69/22.81 v -x15 x14 x13 -x12 x11 -x10 x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
22.69/22.81 c SCIP Status : problem is solved [optimal solution found]
22.69/22.81 c Total Time : 22.80
22.69/22.81 c solving : 22.80
22.69/22.81 c presolving : 2.59 (included in solving)
22.69/22.81 c reading : 0.01 (included in solving)
22.69/22.81 c copying : 0.05 (4 #copies) (minimal 0.01, maximal 0.01, average 0.01)
22.69/22.81 c Original Problem :
22.69/22.81 c Problem name : HOME/instance-4524499-1751613946.wbo
22.69/22.81 c Variables : 4373 (4373 binary, 0 integer, 0 implicit integer, 0 continuous)
22.69/22.81 c Constraints : 6367 initial, 6367 maximal
22.69/22.81 c Objective : minimize, 3183 non-zeros (abs.min = 1, abs.max = 100)
22.69/22.81 c Presolved Problem :
22.69/22.81 c Problem name : t_HOME/instance-4524499-1751613946.wbo
22.69/22.81 c Variables : 4501 (4373 binary, 0 integer, 128 implicit integer, 0 continuous)
22.69/22.81 c Constraints : 3316 initial, 3651 maximal
22.69/22.81 c Objective : minimize, 3183 non-zeros (abs.min = 1, abs.max = 100)
22.69/22.81 c Nonzeros : 13462 constraint, 74 clique table
22.69/22.81 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
22.69/22.81 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c domcol : 0.00 0.00 124 0 0 0 0 0 0 0 0 0
22.69/22.81 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.69/22.81 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c implics : 0.01 0.00 124 0 0 0 0 0 0 0 0 0
22.69/22.81 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.69/22.81 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c trivial : 0.02 0.00 248 0 0 0 0 0 0 0 0 0
22.69/22.81 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c dualfix : 0.02 0.00 248 0 0 0 0 0 0 0 0 0
22.69/22.81 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c probing : 2.13 0.00 124 0 3055 0 0 0 0 0 0 0
22.69/22.81 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.69/22.81 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
22.69/22.81 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c linear : 0.34 0.00 372 0 0 0 3183 0 1 0 64 128
22.69/22.81 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c indicator : 0.01 0.00 125 0 0 0 0 0 3050 0 0 0
22.69/22.81 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.69/22.81 c root node : - - - 3785 - - 3785 - - - - -
22.69/22.81 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
22.69/22.81 c benderslp : 0 0 0 0 280 0 0 344 0 0 0 0 0 0 0
22.69/22.81 c integral : 0 0 0 0 280 0 0 344 0 2 1275 0 0 282 408
22.69/22.81 c knapsack : 0+ 4 0 9539 0 0 0 0 1 0 0 0 0 0 0
22.69/22.81 c setppc : 0+ 47 0 18399 0 0 0 0 254 9 197 0 0 0 0
22.69/22.81 c linear : 3183+ 3197 12 52106 1 0 0 341 17356 199 35477 0 0 0 0
22.69/22.81 c logicor : 0+ 547 0 3879 0 0 0 0 1299 47 982 0 0 0 0
22.69/22.81 c benders : 0 0 0 0 1 0 0 61 0 0 0 0 0 0 0
22.69/22.81 c indicator : 133 133 32 30936 0 0 0 59 0 0 280 0 0 0 0
22.69/22.81 c fixedvar : 0 0 0 0 1 0 0 13 0 0 0 0 0 0 0
22.69/22.81 c countsols : 0 0 0 0 1 0 0 13 0 0 0 0 0 0 0
22.69/22.81 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
22.69/22.81 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c integral : 12.88 0.00 0.00 0.00 12.86 0.00 0.00 0.02 0.00 0.00
22.69/22.81 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c linear : 0.48 0.00 0.01 0.14 0.00 0.00 0.00 0.04 0.01 0.29
22.69/22.81 c logicor : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
22.69/22.81 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c indicator : 0.56 0.00 0.00 0.55 0.00 0.00 0.00 0.01 0.00 0.00
22.69/22.81 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c Propagators : #Propagate #ResProp Cutoffs DomReds
22.69/22.81 c dualfix : 3 0 0 0
22.69/22.81 c genvbounds : 0 0 0 0
22.69/22.81 c nlobbt : 0 0 0 0
22.69/22.81 c obbt : 0 0 0 0
22.69/22.81 c probing : 0 0 0 0
22.69/22.81 c pseudoobj : 6393 16 0 442
22.69/22.81 c redcost : 656 0 0 124
22.69/22.81 c rootredcost : 7 0 0 2569
22.69/22.81 c symmetry : 0 0 0 0
22.69/22.81 c vbounds : 2493 0 0 0
22.69/22.81 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
22.69/22.81 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
22.69/22.81 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.69/22.81 c probing : 2.13 0.00 2.13 0.00 0.00 0.00
22.69/22.81 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
22.69/22.81 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
22.69/22.81 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
22.69/22.81 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
22.69/22.81 c vbounds : 0.73 0.00 0.00 0.72 0.00 0.00
22.69/22.81 c Symmetry :
22.69/22.81 c orbitopal red. : 0 reductions applied, 0 cutoffs
22.69/22.81 c orbital reduction: 0 reductions applied, 0 cutoffs
22.69/22.81 c lexicographic red: 0 reductions applied, 0 cutoffs
22.69/22.81 c shadow tree time : 0.00 s
22.69/22.81 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
22.69/22.81 c propagation : 0.01 237 227 - 674 11.0 82 10.4 - - -
22.69/22.81 c infeasible LP : 0.02 47 45 - 131 9.8 30 8.0 45 8.2 0
22.69/22.81 c bound exceed. LP : 0.01 5 588 - 4 11.8 0 0.0 587 1.2 20
22.69/22.81 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
22.69/22.81 c pseudo solution : 0.00 1 1 - 1 1.0 0 0.0 - - -
22.69/22.81 c applied globally : 0.00 - - 586 608 9.2 - - 632 - -
22.69/22.81 c applied locally : - - - 0 0 0.0 - - 0 - -
22.69/22.81 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
22.69/22.81 c cut pool : 0.14 - 149 24 - - 4513 9755 - - - - - (maximal pool size: 4513)
22.69/22.81 c aggregation : 0.21 0.00 76 12 0 0 1040 2206 1 117 117 0 0
22.69/22.81 c > cmir : - - - - - - - 1359 0 42 42 0 -
22.69/22.81 c > flowcover : - - - - - - - 840 0 75 75 0 -
22.69/22.81 c > knapsackcover : - - - - - - - 7 1 0 0 0 -
22.69/22.81 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c clique : 0.00 0.00 12 12 0 0 0 0 0 0 0 0 0
22.69/22.81 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c gomory : 2.17 0.00 68 10 0 0 3514 7127 176 335 319 16 0
22.69/22.81 c > gomorymi : - - - - - - - 3373 88 123 115 8 -
22.69/22.81 c > strongcg : - - - - - - - 3754 88 212 204 8 -
22.69/22.81 c impliedbounds : 0.01 0.00 76 12 0 1 9 22 0 10 10 0 0
22.69/22.81 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
22.69/22.81 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c mixing : 0.00 0.00 76 12 0 0 0 0 0 0 0 0 0
22.69/22.81 c multilinear : 0.00 0.00 39 12 0 0 0 0 0 0 0 0 0
22.69/22.81 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.69/22.81 c rlt : 0.00 0.00 33 10 0 0 0 0 0 0 0 0 0
22.69/22.81 c zerohalf : 0.14 0.00 70 12 0 0 165 400 38 127 117 10 0
22.69/22.81 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
22.69/22.81 c hybrid : 0.02 0.00 80 13 577 14 9393 139 0 4788
22.69/22.81 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c Pricers : ExecTime SetupTime Calls Vars
22.69/22.81 c problem variables: 0.00 - 0 0
22.69/22.81 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
22.69/22.81 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c random : 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c relpscost : 12.86 0.00 279 0 0 2 1275 0 282 408
22.69/22.81 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
22.69/22.81 c Primal Heuristics : ExecTime SetupTime Calls Found Best
22.69/22.81 c LP solutions : 0.00 - - 1 1
22.69/22.81 c relax solutions : 0.00 - - 0 0
22.69/22.81 c pseudo solutions : 0.00 - - 0 0
22.69/22.81 c strong branching : 0.04 - - 3 3
22.69/22.81 c actconsdiving : 0.00 0.00 0 0 0
22.69/22.81 c adaptivediving : 0.00 0.00 0 0 0
22.69/22.81 c alns : 0.04 0.00 1 0 0
22.69/22.81 c bound : 0.00 0.00 0 0 0
22.69/22.81 c clique : 0.01 0.00 1 0 0
22.69/22.81 c coefdiving : 0.00 0.00 0 0 0
22.69/22.81 c completesol : 0.00 0.00 0 0 0
22.69/22.81 c conflictdiving : 0.10 0.00 1 0 0
22.69/22.81 c crossover : 0.03 0.00 1 0 0
22.69/22.81 c dins : 0.00 0.00 0 0 0
22.69/22.81 c distributiondivin: 0.01 0.00 0 0 0
22.69/22.81 c dps : 0.00 0.00 0 0 0
22.69/22.81 c dualval : 0.00 0.00 0 0 0
22.69/22.81 c farkasdiving : 0.99 0.00 1 1 1
22.69/22.81 c feasjump : 0.00 0.00 0 0 0
22.69/22.81 c feaspump : 0.11 0.00 1 0 0
22.69/22.81 c fixandinfer : 0.00 0.00 0 0 0
22.69/22.81 c fracdiving : 0.00 0.00 0 0 0
22.69/22.81 c gins : 0.00 0.00 0 0 0
22.69/22.81 c guideddiving : 0.00 0.00 0 0 0
22.69/22.81 c indcoefdiving : 0.00 0.00 0 0 0
22.69/22.81 c indicator : 0.00 0.00 0 0 0
22.69/22.81 c indicatordiving : 0.00 0.00 0 0 0
22.69/22.81 c indoneopt : 0.10 0.00 8 0 0
22.69/22.81 c indrounding : 0.00 0.00 0 0 0
22.69/22.81 c indtwoopt : 0.00 0.00 0 0 0
22.69/22.81 c intdiving : 0.00 0.00 0 0 0
22.69/22.81 c intshifting : 0.00 0.00 0 0 0
22.69/22.81 c linesearchdiving : 0.00 0.00 0 0 0
22.69/22.81 c localbranching : 0.00 0.00 0 0 0
22.69/22.81 c locks : 0.03 0.00 1 0 0
22.69/22.81 c lpface : 0.24 0.00 1 0 0
22.69/22.81 c mpec : 0.00 0.00 0 0 0
22.69/22.81 c multistart : 0.00 0.00 0 0 0
22.69/22.81 c mutation : 0.00 0.00 0 0 0
22.69/22.81 c nlpdiving : 0.00 0.00 0 0 0
22.69/22.81 c objpscostdiving : 0.00 0.00 0 0 0
22.69/22.81 c octane : 0.00 0.00 0 0 0
22.69/22.81 c ofins : 0.00 0.00 0 0 0
22.69/22.81 c oneopt : 0.01 0.00 8 1 1
22.69/22.81 c padm : 0.00 0.00 0 0 0
22.69/22.81 c proximity : 0.00 0.00 0 0 0
22.69/22.81 c pscostdiving : 0.02 0.00 1 1 1
22.69/22.81 c randrounding : 0.07 0.00 18 0 0
22.69/22.81 c rens : 0.04 0.00 1 0 0
22.69/22.81 c reoptsols : 0.00 0.00 0 0 0
22.69/22.81 c repair : 0.00 0.00 0 0 0
22.69/22.81 c rins : 0.03 0.00 1 0 0
22.69/22.81 c rootsoldiving : 0.00 0.00 0 0 0
22.69/22.81 c rounding : 0.01 0.00 221 0 0
22.69/22.81 c scheduler : 0.00 0.00 0 0 0
22.69/22.81 c shiftandpropagate: 0.00 0.00 0 0 0
22.69/22.81 c shifting : 0.05 0.00 105 0 0
22.69/22.81 c simplerounding : 0.00 0.00 360 0 0
22.69/22.81 c smallcard : 0.00 0.00 0 0 0
22.69/22.81 c subnlp : 0.00 0.00 0 0 0
22.69/22.81 c trivial : 0.01 0.00 2 2 1
22.69/22.81 c trivialnegation : 0.00 0.00 0 0 0
22.69/22.81 c trustregion : 0.00 0.00 0 0 0
22.69/22.81 c trysol : 0.00 0.00 3 1 0
22.69/22.81 c twoopt : 0.00 0.00 0 0 0
22.69/22.81 c undercover : 0.00 0.00 0 0 0
22.69/22.81 c vbounds : 0.00 0.00 0 0 0
22.69/22.81 c veclendiving : 0.00 0.00 0 0 0
22.69/22.81 c zeroobj : 0.00 0.00 0 0 0
22.69/22.81 c zirounding : 0.02 0.00 204 1 1
22.69/22.81 c other solutions : - - - 0 -
22.69/22.81 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
22.69/22.81 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
22.69/22.81 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
22.69/22.81 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
22.69/22.81 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
22.69/22.81 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
22.69/22.81 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
22.69/22.81 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
22.69/22.81 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
22.69/22.81 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
22.69/22.81 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
22.69/22.81 c primal LP : 0.03 23 0 0.00 0.00 0.03 23
22.69/22.81 c dual LP : 1.31 390 15987 44.91 12221.80 0.04 34
22.69/22.81 c lex dual LP : 0.00 0 0 0.00 -
22.69/22.81 c barrier LP : 0.00 0 0 0.00 - 0.00 0
22.69/22.81 c resolve instable : 0.00 0 0 0.00 -
22.69/22.81 c diving/probing LP: 2.02 233 13731 58.93 6784.19
22.69/22.81 c strong branching : 9.65 1348 109442 81.19 11343.66 - - 97
22.69/22.81 c (at root node) : - 21 1356 64.57 -
22.69/22.81 c conflict analysis: 0.00 2 20 10.00 -
22.69/22.81 c B&B Tree :
22.69/22.81 c number of runs : 1
22.69/22.81 c nodes : 305 (204 internal, 101 leaves)
22.69/22.81 c feasible leaves : 1
22.69/22.81 c infeas. leaves : 98
22.69/22.81 c objective leaves : 2
22.69/22.81 c nodes (total) : 305 (204 internal, 101 leaves)
22.69/22.81 c nodes left : 0
22.69/22.81 c max depth : 24
22.69/22.81 c max depth (total): 24
22.69/22.81 c backtracks : 80 (26.2%)
22.69/22.81 c early backtracks : 0 (0.0%)
22.69/22.81 c nodes exc. ref. : 0 (0.0%)
22.69/22.81 c delayed cutoffs : 71
22.69/22.81 c repropagations : 378 (11739 domain reductions, 51 cutoffs)
22.69/22.81 c avg switch length: 3.88
22.69/22.81 c switching time : 0.16
22.69/22.81 c Root Node :
22.69/22.81 c First LP value : +0.00000000000000e+00
22.69/22.81 c First LP Iters : 733 (66606.09 Iter/sec)
22.69/22.81 c First LP Time : 0.01
22.69/22.81 c Final Dual Bound : +1.00000000000000e+00
22.69/22.81 c Final Root Iters : 1821
22.69/22.81 c Root LP Estimate : +1.28127142673937e+01
22.69/22.81 c Solution :
22.69/22.81 c Solutions found : 11 (9 improvements)
22.69/22.81 c First Solution : +1.60955000000000e+05 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
22.69/22.81 c Gap First Sol. : infinite
22.69/22.81 c Gap Last Sol. : infinite
22.69/22.81 c Primal Bound : +1.00000000000000e+00 (in run 1, after 52 nodes, 15.65 seconds, depth 12, found by <relaxation>)
22.69/22.81 c Dual Bound : +1.00000000000000e+00
22.69/22.81 c Gap : 0.00 %
22.69/22.81 c Integrals : Total Avg%
22.69/22.81 c primal-dual : 2279.80 100.00
22.69/22.81 c primal-ref : - - (not evaluated)
22.69/22.81 c dual-ref : - - (not evaluated)
22.79/22.90 c Time complete: 22.8086.
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62883 MiB free)
memory of node 1: 64465 MiB (61133 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524499-1751613946/watcher-4524499-1751613946 -o /tmp/evaluation-result-4524499-1751613946/solver-4524499-1751613946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751613946-86621 --watchdog 3760 pbscip -f HOME/instance-4524499-1751613946.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=86660, runsolver pid=86652
[startup+0.100063 s]*
/proc/loadavg: 2.12 2.10 2.09 5/265 86679
/proc/meminfo: memFree=126913040/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=78664 memory=51328 CPUtime=0.08 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 9524 0 0 0 7 1 0 0 20 0 1 0 77069166 80551936 12832 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 19666 12832 3648 3530 0 11117 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78664 KiB
Current children cumulated memory: 51328 KiB
[startup+0.205579 s]*
/proc/loadavg: 2.12 2.10 2.09 5/265 86679
/proc/meminfo: memFree=126749816/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=78952 memory=51456 CPUtime=0.19 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 9575 0 0 0 17 2 0 0 20 0 1 0 77069166 80846848 12864 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 19738 12864 3648 3530 0 11189 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78952 KiB
Current children cumulated memory: 51456 KiB
[startup+0.305467 s]*
/proc/loadavg: 2.12 2.10 2.09 5/265 86679
/proc/meminfo: memFree=126612728/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=79208 memory=51712 CPUtime=0.29 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 9639 0 0 0 27 2 0 0 20 0 1 0 77069166 81108992 12928 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 19802 12928 3648 3530 0 11253 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79208 KiB
Current children cumulated memory: 51712 KiB
[startup+0.70017 s]
/proc/loadavg: 2.12 2.10 2.09 5/265 86679
/proc/meminfo: memFree=126314612/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=79724 memory=52224 CPUtime=0.68 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 9768 0 0 0 66 2 0 0 20 0 1 0 77069166 81637376 13056 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 19931 13056 3648 3530 0 11382 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79724 KiB
Current children cumulated memory: 52224 KiB
[startup+1.50017 s]
/proc/loadavg: 2.12 2.10 2.09 5/265 86679
/proc/meminfo: memFree=125585008/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=80752 memory=53248 CPUtime=1.48 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 10026 0 0 0 146 2 0 0 20 0 1 0 77069166 82690048 13312 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 20188 13312 3648 3530 0 11639 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80752 KiB
Current children cumulated memory: 53248 KiB
[startup+3.10538 s]
/proc/loadavg: 2.27 2.13 2.10 5/265 86679
/proc/meminfo: memFree=123544724/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=113324 memory=77608 CPUtime=3.07 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 16430 0 0 0 304 3 0 0 20 0 1 0 77069166 116043776 19402 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 28331 19402 3904 3530 0 19782 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 113324 KiB
Current children cumulated memory: 77608 KiB
[startup+6.30016 s]
/proc/loadavg: 2.27 2.13 2.10 5/265 86679
/proc/meminfo: memFree=122564656/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=180352 memory=139096 CPUtime=6.25 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 34794 0 0 0 619 6 0 0 20 0 1 0 77069166 184680448 34774 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 45088 34774 3904 3530 0 36539 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 180352 KiB
Current children cumulated memory: 139096 KiB
[startup+12.7002 s]
/proc/loadavg: 2.41 2.16 2.11 5/265 86679
/proc/meminfo: memFree=121443652/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=192696 memory=151204 CPUtime=12.63 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 38308 0 0 0 1256 7 0 0 20 0 1 0 77069166 197320704 37801 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 48174 37801 4000 3530 0 39625 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 192696 KiB
Current children cumulated memory: 151204 KiB
[startup+22.9097 s]
# the end of solver process 86660 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=22.7303 s, system=0.085692 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 2.41 2.16 2.11 5/265 86679
/proc/meminfo: memFree=121443652/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=192696 memory=151972 CPUtime=12.73 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 38311 0 0 0 1266 7 0 0 20 0 1 0 77069166 197320704 37993 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 48174 37993 4000 3530 0 39625 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 192696 KiB
Current children cumulated memory: 151972 KiB
[startup+19.2002 s]
/proc/loadavg: 2.66 2.22 2.13 5/264 86679
/proc/meminfo: memFree=120270496/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=192696 memory=152484 CPUtime=19.11 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 38436 0 0 0 1904 7 0 0 20 0 1 0 77069166 197320704 38121 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 48174 38121 4000 3530 0 39625 0
Current children cumulated CPU time: 19.11 s
Current children cumulated vsize: 192696 KiB
Current children cumulated memory: 152484 KiB
[startup+20.8001 s]
/proc/loadavg: 2.66 2.22 2.13 5/264 86679
/proc/meminfo: memFree=120288196/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=192696 memory=152484 CPUtime=20.7 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 38459 0 0 0 2063 7 0 0 20 0 1 0 77069166 197320704 38121 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 48174 38121 4000 3530 0 39625 0
Current children cumulated CPU time: 20.7 s
Current children cumulated vsize: 192696 KiB
Current children cumulated memory: 152484 KiB
[startup+21.6002 s]
/proc/loadavg: 2.66 2.22 2.13 5/264 86679
/proc/meminfo: memFree=120296640/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=192696 memory=152612 CPUtime=21.5 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 38491 0 0 0 2143 7 0 0 20 0 1 0 77069166 197320704 38153 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 48174 38153 4000 3530 0 39625 0
Current children cumulated CPU time: 21.5 s
Current children cumulated vsize: 192696 KiB
Current children cumulated memory: 152612 KiB
[startup+22.4003 s]
/proc/loadavg: 2.66 2.22 2.13 5/264 86679
/proc/meminfo: memFree=120311520/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=195240 memory=156196 CPUtime=22.29 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 39378 0 0 0 2222 7 0 0 20 0 1 0 77069166 199925760 39049 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 48810 39049 4000 3530 0 40261 0
Current children cumulated CPU time: 22.29 s
Current children cumulated vsize: 195240 KiB
Current children cumulated memory: 156196 KiB
[startup+22.8001 s]
/proc/loadavg: 2.66 2.22 2.13 5/264 86679
/proc/meminfo: memFree=120311520/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=195240 memory=156196 CPUtime=22.69 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 39378 0 0 0 2262 7 0 0 20 0 1 0 77069166 199925760 39049 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 48810 39049 4000 3530 0 40261 0
Current children cumulated CPU time: 22.69 s
Current children cumulated vsize: 195240 KiB
Current children cumulated memory: 156196 KiB
[startup+22.9002 s]
/proc/loadavg: 2.66 2.22 2.13 5/264 86679
/proc/meminfo: memFree=120311520/131249992 swapFree=33009392/33010684
[pid=86660] ppid=86652 vsize=184172 memory=145692 CPUtime=22.79 cores=1,3
/proc/86660/stat : 86660 (pbscip) R 86652 86660 86331 0 -1 4194304 39378 0 0 0 2272 7 0 0 20 0 1 0 77069166 188592128 36423 18446744073709551615 4235264 18693293 140724790064288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54374400 140724790065543 140724790065642 140724790065642 140724790071246 0
/proc/86660/statm: 46043 36423 4000 3530 0 37494 0
Current children cumulated CPU time: 22.79 s
Current children cumulated vsize: 184172 KiB
Current children cumulated memory: 145692 KiB
Child status: 0
Real time (s): 22.9097
CPU time (s): 22.816
CPU user time (s): 22.7303
CPU system time (s): 0.085692
CPU usage (%): 99.5909
Max. virtual memory (cumulated for all children) (KiB): 195240
Max. memory (cumulated for all children) (KiB): 156196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7303
system time used= 0.085692
maximum resident set size= 156196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39384
page faults= 0
swaps= 0
block input operations= 40
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 86660
# total CPU time (s): 22.816
# total CPU user time (s): 22.7303
# total CPU system time (s): 0.085692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06633 second user time and 0.126844 second system time
The end
Begin job on nodeC035 at 2025-07-04 09:25:46 IDJOB=4524499 IDBENCH=143106 IDSOLVER=3382 FILE ID=nodeC035/4524499-1751613946 RUNJOBID= nodeC035-1751613946-86621 SLURM_JOB_ID= 9598906 Free space on /tmp= 432812 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-37s.smv--soft-0-100-0.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524499-1751613946/watcher-4524499-1751613946 -o /tmp/evaluation-result-4524499-1751613946/solver-4524499-1751613946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751613946-86621 --watchdog 3760 pbscip -f HOME/instance-4524499-1751613946.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e2ec09c635f17d8702a97e6167955fd RANDOM SEED=461853563 nodeC035 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 : 3601.670 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.900 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.208 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3599.775 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.734 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3600.841 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3605.621 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.713 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 127009264 kB MemAvailable: 129652040 kB Buffers: 664 kB Cached: 3393136 kB SwapCached: 332 kB Active: 369264 kB Inactive: 3090804 kB Active(anon): 62916 kB Inactive(anon): 21052 kB Active(file): 306348 kB Inactive(file): 3069752 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 63164 kB Writeback: 24 kB AnonPages: 69056 kB Mapped: 103636 kB Shmem: 17700 kB KReclaimable: 211828 kB Slab: 303264 kB SReclaimable: 211828 kB SUnreclaim: 91436 kB KernelStack: 4052 kB PageTables: 2596 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 331108 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432724 MiB End job on nodeC035 at 2025-07-04 09:26:09