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 | 30.1383 | 30.2521 |
| Name | PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo |
| MD5SUM | 5c99007ab0c844b346484c471f4c57e4 |
| 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 | 1.26255 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1804 |
| Total number of constraints | 4931 |
| Number of soft constraints | 4931 |
| Number of constraints which are clauses | 4707 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 224 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 248953 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 248952 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 64 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-4455922-1721717822.wbo>
0.00/0.07 c original problem has 6735 variables (6735 bin, 0 int, 0 impl, 0 cont) and 9863 constraints
0.00/0.07 c problem read in 0.06
0.10/0.22 o 248952
0.21/0.23 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 2.489520e+05
0.21/0.23 c presolving:
0.21/0.26 c (round 1, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.21/0.27 c (round 2, fast) 0 del vars, 1 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.30/0.41 c (round 3, exhaustive) 25 del vars, 1 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.40/0.52 c (round 4, exhaustive) 50 del vars, 1 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.50/0.52 c (round 5, fast) 50 del vars, 26 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.59/0.63 c (round 6, exhaustive) 75 del vars, 26 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.59/0.63 c (round 7, fast) 75 del vars, 51 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.68/0.75 c (round 8, exhaustive) 100 del vars, 51 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.68/0.76 c (round 9, fast) 100 del vars, 76 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.78/0.86 c (round 10, exhaustive) 125 del vars, 76 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.78/0.87 c (round 11, fast) 125 del vars, 101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.88/0.96 c (round 12, exhaustive) 150 del vars, 101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.88/0.96 c (round 13, fast) 150 del vars, 126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.99/1.05 c (round 14, exhaustive) 175 del vars, 126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
0.99/1.06 c (round 15, fast) 175 del vars, 151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.09/1.14 c (round 16, exhaustive) 200 del vars, 151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.09/1.14 c (round 17, fast) 200 del vars, 176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.17/1.23 c (round 18, exhaustive) 225 del vars, 176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.17/1.23 c (round 19, fast) 225 del vars, 201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.27/1.32 c (round 20, exhaustive) 250 del vars, 201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.27/1.32 c (round 21, fast) 250 del vars, 226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.37/1.40 c (round 22, exhaustive) 275 del vars, 226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.37/1.40 c (round 23, fast) 275 del vars, 251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.37/1.47 c (round 24, exhaustive) 300 del vars, 251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.37/1.47 c (round 25, fast) 300 del vars, 276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.47/1.55 c (round 26, exhaustive) 325 del vars, 276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.47/1.55 c (round 27, fast) 325 del vars, 301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.57/1.62 c (round 28, exhaustive) 350 del vars, 301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.57/1.63 c (round 29, fast) 350 del vars, 326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.67/1.70 c (round 30, exhaustive) 375 del vars, 326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.67/1.70 c (round 31, fast) 375 del vars, 351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.67/1.77 c (round 32, exhaustive) 400 del vars, 351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.67/1.77 c (round 33, fast) 400 del vars, 376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.77/1.85 c (round 34, exhaustive) 425 del vars, 376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.77/1.85 c (round 35, fast) 425 del vars, 401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.87/1.91 c (round 36, exhaustive) 450 del vars, 401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.87/1.91 c (round 37, fast) 450 del vars, 426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.87/1.98 c (round 38, exhaustive) 475 del vars, 426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.87/1.98 c (round 39, fast) 475 del vars, 451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 0 clqs
1.87/2.00 c (2.0s) probing: 1000/11442 (8.7%) - 0 fixings, 480 aggregations, 0 implications, 0 bound changes
1.98/2.05 c (round 40, exhaustive) 500 del vars, 451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
1.98/2.05 c (round 41, fast) 500 del vars, 476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.08/2.11 c (round 42, exhaustive) 525 del vars, 476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.08/2.11 c (round 43, fast) 525 del vars, 501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.08/2.17 c (round 44, exhaustive) 550 del vars, 501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.08/2.17 c (round 45, fast) 550 del vars, 526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.17/2.24 c (round 46, exhaustive) 575 del vars, 526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.17/2.24 c (round 47, fast) 575 del vars, 551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.17/2.29 c (round 48, exhaustive) 600 del vars, 551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.17/2.30 c (round 49, fast) 600 del vars, 576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.27/2.37 c (round 50, exhaustive) 625 del vars, 576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.27/2.37 c (round 51, fast) 625 del vars, 601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.37/2.43 c (round 52, exhaustive) 650 del vars, 601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.37/2.43 c (round 53, fast) 650 del vars, 626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.37/2.48 c (round 54, exhaustive) 675 del vars, 626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.37/2.48 c (round 55, fast) 675 del vars, 651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.47/2.54 c (round 56, exhaustive) 700 del vars, 651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.47/2.54 c (round 57, fast) 700 del vars, 676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.57/2.60 c (round 58, exhaustive) 725 del vars, 676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.57/2.60 c (round 59, fast) 725 del vars, 701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.57/2.66 c (round 60, exhaustive) 750 del vars, 701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.57/2.66 c (round 61, fast) 750 del vars, 726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.67/2.72 c (round 62, exhaustive) 775 del vars, 726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.67/2.72 c (round 63, fast) 775 del vars, 751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.67/2.78 c (round 64, exhaustive) 800 del vars, 751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.67/2.78 c (round 65, fast) 800 del vars, 776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.77/2.83 c (round 66, exhaustive) 825 del vars, 776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.77/2.84 c (round 67, fast) 825 del vars, 801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.77/2.89 c (round 68, exhaustive) 850 del vars, 801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.77/2.89 c (round 69, fast) 850 del vars, 826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.87/2.95 c (round 70, exhaustive) 875 del vars, 826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.87/2.95 c (round 71, fast) 875 del vars, 851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.98/3.01 c (round 72, exhaustive) 900 del vars, 851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.98/3.01 c (round 73, fast) 900 del vars, 876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.98/3.06 c (round 74, exhaustive) 925 del vars, 876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
2.98/3.06 c (round 75, fast) 925 del vars, 901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.08/3.11 c (round 76, exhaustive) 950 del vars, 901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.08/3.11 c (round 77, fast) 950 del vars, 926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.08/3.17 c (3.2s) probing: 2000/11442 (17.5%) - 0 fixings, 973 aggregations, 1 implications, 0 bound changes
3.08/3.17 c (round 78, exhaustive) 975 del vars, 926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.08/3.17 c (round 79, fast) 975 del vars, 951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.17/3.22 c (round 80, exhaustive) 1000 del vars, 951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.17/3.23 c (round 81, fast) 1000 del vars, 976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.17/3.28 c (round 82, exhaustive) 1025 del vars, 976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.17/3.28 c (round 83, fast) 1025 del vars, 1001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.26/3.34 c (round 84, exhaustive) 1050 del vars, 1001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.26/3.34 c (round 85, fast) 1050 del vars, 1026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.26/3.39 c (round 86, exhaustive) 1075 del vars, 1026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.26/3.39 c (round 87, fast) 1075 del vars, 1051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.36/3.45 c (round 88, exhaustive) 1100 del vars, 1051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.36/3.45 c (round 89, fast) 1100 del vars, 1076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.46/3.50 c (round 90, exhaustive) 1125 del vars, 1076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.46/3.51 c (round 91, fast) 1125 del vars, 1101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.46/3.56 c (round 92, exhaustive) 1150 del vars, 1101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.46/3.57 c (round 93, fast) 1150 del vars, 1126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.56/3.63 c (round 94, exhaustive) 1175 del vars, 1126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.56/3.63 c (round 95, fast) 1175 del vars, 1151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.56/3.68 c (round 96, exhaustive) 1200 del vars, 1151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.56/3.69 c (round 97, fast) 1200 del vars, 1176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.66/3.74 c (round 98, exhaustive) 1225 del vars, 1176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.66/3.74 c (round 99, fast) 1225 del vars, 1201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.66/3.79 c (round 100, exhaustive) 1250 del vars, 1201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.66/3.80 c (round 101, fast) 1250 del vars, 1226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.76/3.85 c (round 102, exhaustive) 1275 del vars, 1226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.76/3.85 c (round 103, fast) 1275 del vars, 1251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.86/3.90 c (round 104, exhaustive) 1300 del vars, 1251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.86/3.91 c (round 105, fast) 1300 del vars, 1276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.86/3.96 c (round 106, exhaustive) 1325 del vars, 1276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.86/3.96 c (round 107, fast) 1325 del vars, 1301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.97/4.01 c (round 108, exhaustive) 1350 del vars, 1301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.97/4.01 c (round 109, fast) 1350 del vars, 1326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.97/4.06 c (round 110, exhaustive) 1375 del vars, 1326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
3.97/4.06 c (round 111, fast) 1375 del vars, 1351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.07/4.11 c (round 112, exhaustive) 1400 del vars, 1351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.07/4.12 c (round 113, fast) 1400 del vars, 1376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.07/4.17 c (round 114, exhaustive) 1425 del vars, 1376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.07/4.17 c (round 115, fast) 1425 del vars, 1401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.16/4.23 c (round 116, exhaustive) 1450 del vars, 1401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.16/4.23 c (round 117, fast) 1450 del vars, 1426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.16/4.26 c (4.3s) probing: 3000/11442 (26.2%) - 0 fixings, 1464 aggregations, 1 implications, 0 bound changes
4.16/4.28 c (round 118, exhaustive) 1475 del vars, 1426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.16/4.28 c (round 119, fast) 1475 del vars, 1451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.26/4.34 c (round 120, exhaustive) 1500 del vars, 1451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.26/4.34 c (round 121, fast) 1500 del vars, 1476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.37/4.40 c (round 122, exhaustive) 1525 del vars, 1476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.37/4.40 c (round 123, fast) 1525 del vars, 1501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.37/4.46 c (round 124, exhaustive) 1550 del vars, 1501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.37/4.46 c (round 125, fast) 1550 del vars, 1526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.47/4.51 c (round 126, exhaustive) 1575 del vars, 1526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.47/4.51 c (round 127, fast) 1575 del vars, 1551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.47/4.56 c (round 128, exhaustive) 1600 del vars, 1551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.47/4.57 c (round 129, fast) 1600 del vars, 1576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.57/4.62 c (round 130, exhaustive) 1625 del vars, 1576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.57/4.62 c (round 131, fast) 1625 del vars, 1601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.57/4.67 c (round 132, exhaustive) 1650 del vars, 1601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.57/4.67 c (round 133, fast) 1650 del vars, 1626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.67/4.72 c (round 134, exhaustive) 1675 del vars, 1626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.67/4.72 c (round 135, fast) 1675 del vars, 1651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.67/4.77 c (round 136, exhaustive) 1700 del vars, 1651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.67/4.77 c (round 137, fast) 1700 del vars, 1676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.77/4.82 c (round 138, exhaustive) 1725 del vars, 1676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.77/4.82 c (round 139, fast) 1725 del vars, 1701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.77/4.87 c (round 140, exhaustive) 1750 del vars, 1701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.77/4.87 c (round 141, fast) 1750 del vars, 1726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.87/4.92 c (round 142, exhaustive) 1775 del vars, 1726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.87/4.92 c (round 143, fast) 1775 del vars, 1751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.87/4.97 c (round 144, exhaustive) 1800 del vars, 1751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.87/4.97 c (round 145, fast) 1800 del vars, 1776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.98/5.03 c (round 146, exhaustive) 1825 del vars, 1776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.98/5.03 c (round 147, fast) 1825 del vars, 1801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.98/5.07 c (round 148, exhaustive) 1850 del vars, 1801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
4.98/5.08 c (round 149, fast) 1850 del vars, 1826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.08/5.13 c (round 150, exhaustive) 1875 del vars, 1826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.08/5.13 c (round 151, fast) 1875 del vars, 1851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.08/5.18 c (round 152, exhaustive) 1900 del vars, 1851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.08/5.18 c (round 153, fast) 1900 del vars, 1876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.16/5.23 c (round 154, exhaustive) 1925 del vars, 1876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.16/5.23 c (round 155, fast) 1925 del vars, 1901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.16/5.28 c (round 156, exhaustive) 1950 del vars, 1901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.16/5.28 c (round 157, fast) 1950 del vars, 1926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.26/5.32 c (5.3s) probing: 4000/11442 (35.0%) - 0 fixings, 1971 aggregations, 1 implications, 0 bound changes
5.26/5.32 c (round 158, exhaustive) 1975 del vars, 1926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.26/5.33 c (round 159, fast) 1975 del vars, 1951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.26/5.38 c (round 160, exhaustive) 2000 del vars, 1951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.26/5.38 c (round 161, fast) 2000 del vars, 1976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.36/5.43 c (round 162, exhaustive) 2025 del vars, 1976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.36/5.43 c (round 163, fast) 2025 del vars, 2001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.36/5.48 c (round 164, exhaustive) 2050 del vars, 2001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.36/5.48 c (round 165, fast) 2050 del vars, 2026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.46/5.53 c (round 166, exhaustive) 2075 del vars, 2026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.46/5.53 c (round 167, fast) 2075 del vars, 2051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.46/5.58 c (round 168, exhaustive) 2100 del vars, 2051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.46/5.59 c (round 169, fast) 2100 del vars, 2076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.56/5.64 c (round 170, exhaustive) 2125 del vars, 2076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.56/5.64 c (round 171, fast) 2125 del vars, 2101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.56/5.69 c (round 172, exhaustive) 2150 del vars, 2101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.56/5.69 c (round 173, fast) 2150 del vars, 2126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.66/5.73 c (round 174, exhaustive) 2175 del vars, 2126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.66/5.74 c (round 175, fast) 2175 del vars, 2151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.66/5.78 c (round 176, exhaustive) 2200 del vars, 2151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.66/5.79 c (round 177, fast) 2200 del vars, 2176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.76/5.84 c (round 178, exhaustive) 2225 del vars, 2176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.76/5.84 c (round 179, fast) 2225 del vars, 2201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.76/5.88 c (round 180, exhaustive) 2250 del vars, 2201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.76/5.88 c (round 181, fast) 2250 del vars, 2226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.86/5.93 c (round 182, exhaustive) 2275 del vars, 2226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.86/5.93 c (round 183, fast) 2275 del vars, 2251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.86/5.98 c (round 184, exhaustive) 2300 del vars, 2251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.86/5.98 c (round 185, fast) 2300 del vars, 2276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.98/6.03 c (round 186, exhaustive) 2325 del vars, 2276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.98/6.03 c (round 187, fast) 2325 del vars, 2301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.98/6.07 c (round 188, exhaustive) 2350 del vars, 2301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
5.98/6.07 c (round 189, fast) 2350 del vars, 2326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.07/6.11 c (round 190, exhaustive) 2375 del vars, 2326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.07/6.11 c (round 191, fast) 2375 del vars, 2351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.07/6.16 c (round 192, exhaustive) 2400 del vars, 2351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.07/6.16 c (round 193, fast) 2400 del vars, 2376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.16/6.21 c (round 194, exhaustive) 2425 del vars, 2376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.16/6.21 c (round 195, fast) 2425 del vars, 2401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.16/6.25 c (6.2s) probing: 5000/11442 (43.7%) - 0 fixings, 2449 aggregations, 1 implications, 0 bound changes
6.16/6.26 c (round 196, exhaustive) 2450 del vars, 2401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.16/6.26 c (round 197, fast) 2450 del vars, 2426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.26/6.30 c (round 198, exhaustive) 2475 del vars, 2426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.26/6.30 c (round 199, fast) 2475 del vars, 2451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.26/6.35 c (round 200, exhaustive) 2500 del vars, 2451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.26/6.35 c (round 201, fast) 2500 del vars, 2476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.26/6.39 c (round 202, exhaustive) 2525 del vars, 2476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.26/6.39 c (round 203, fast) 2525 del vars, 2501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.36/6.43 c (round 204, exhaustive) 2550 del vars, 2501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.36/6.43 c (round 205, fast) 2550 del vars, 2526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.36/6.47 c (round 206, exhaustive) 2575 del vars, 2526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.36/6.48 c (round 207, fast) 2575 del vars, 2551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.46/6.52 c (round 208, exhaustive) 2600 del vars, 2551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.46/6.52 c (round 209, fast) 2600 del vars, 2576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.46/6.57 c (round 210, exhaustive) 2625 del vars, 2576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.46/6.57 c (round 211, fast) 2625 del vars, 2601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.56/6.61 c (round 212, exhaustive) 2650 del vars, 2601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.56/6.61 c (round 213, fast) 2650 del vars, 2626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.56/6.66 c (round 214, exhaustive) 2675 del vars, 2626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.56/6.66 c (round 215, fast) 2675 del vars, 2651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.66/6.70 c (round 216, exhaustive) 2700 del vars, 2651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.66/6.70 c (round 217, fast) 2700 del vars, 2676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.66/6.74 c (round 218, exhaustive) 2725 del vars, 2676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.66/6.74 c (round 219, fast) 2725 del vars, 2701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.66/6.78 c (round 220, exhaustive) 2750 del vars, 2701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.66/6.78 c (round 221, fast) 2750 del vars, 2726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.76/6.82 c (round 222, exhaustive) 2775 del vars, 2726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.76/6.82 c (round 223, fast) 2775 del vars, 2751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.76/6.86 c (round 224, exhaustive) 2800 del vars, 2751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.76/6.87 c (round 225, fast) 2800 del vars, 2776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.86/6.90 c (round 226, exhaustive) 2825 del vars, 2776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.86/6.90 c (round 227, fast) 2825 del vars, 2801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.86/6.94 c (round 228, exhaustive) 2850 del vars, 2801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.86/6.94 c (round 229, fast) 2850 del vars, 2826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.86/6.99 c (round 230, exhaustive) 2875 del vars, 2826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.86/6.99 c (round 231, fast) 2875 del vars, 2851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.97/7.03 c (round 232, exhaustive) 2900 del vars, 2851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.97/7.03 c (round 233, fast) 2900 del vars, 2876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.97/7.07 c (round 234, exhaustive) 2925 del vars, 2876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.97/7.07 c (round 235, fast) 2925 del vars, 2901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
6.97/7.11 c (7.1s) probing: 6000/11442 (52.4%) - 0 fixings, 2945 aggregations, 1 implications, 0 bound changes
7.07/7.11 c (round 236, exhaustive) 2950 del vars, 2901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.07/7.11 c (round 237, fast) 2950 del vars, 2926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.07/7.15 c (round 238, exhaustive) 2975 del vars, 2926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.07/7.15 c (round 239, fast) 2975 del vars, 2951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.16/7.20 c (round 240, exhaustive) 3000 del vars, 2951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.16/7.20 c (round 241, fast) 3000 del vars, 2976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.16/7.24 c (round 242, exhaustive) 3025 del vars, 2976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.16/7.24 c (round 243, fast) 3025 del vars, 3001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.16/7.28 c (round 244, exhaustive) 3050 del vars, 3001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.16/7.28 c (round 245, fast) 3050 del vars, 3026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.26/7.31 c (round 246, exhaustive) 3075 del vars, 3026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.26/7.32 c (round 247, fast) 3075 del vars, 3051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.26/7.35 c (round 248, exhaustive) 3100 del vars, 3051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.26/7.36 c (round 249, fast) 3100 del vars, 3076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.26/7.39 c (round 250, exhaustive) 3125 del vars, 3076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.36/7.40 c (round 251, fast) 3125 del vars, 3101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.36/7.43 c (round 252, exhaustive) 3150 del vars, 3101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.36/7.43 c (round 253, fast) 3150 del vars, 3126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.36/7.47 c (round 254, exhaustive) 3175 del vars, 3126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.36/7.47 c (round 255, fast) 3175 del vars, 3151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.46/7.50 c (round 256, exhaustive) 3200 del vars, 3151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.46/7.51 c (round 257, fast) 3200 del vars, 3176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.46/7.54 c (round 258, exhaustive) 3225 del vars, 3176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.46/7.54 c (round 259, fast) 3225 del vars, 3201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.46/7.57 c (round 260, exhaustive) 3250 del vars, 3201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.46/7.58 c (round 261, fast) 3250 del vars, 3226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.56/7.61 c (round 262, exhaustive) 3275 del vars, 3226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.56/7.61 c (round 263, fast) 3275 del vars, 3251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.56/7.64 c (round 264, exhaustive) 3300 del vars, 3251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.56/7.65 c (round 265, fast) 3300 del vars, 3276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.56/7.68 c (round 266, exhaustive) 3325 del vars, 3276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.56/7.68 c (round 267, fast) 3325 del vars, 3301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.66/7.72 c (round 268, exhaustive) 3350 del vars, 3301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.66/7.72 c (round 269, fast) 3350 del vars, 3326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.66/7.75 c (round 270, exhaustive) 3375 del vars, 3326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.66/7.76 c (round 271, fast) 3375 del vars, 3351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.66/7.79 c (round 272, exhaustive) 3400 del vars, 3351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.66/7.79 c (round 273, fast) 3400 del vars, 3376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.76/7.83 c (round 274, exhaustive) 3425 del vars, 3376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.76/7.83 c (round 275, fast) 3425 del vars, 3401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.76/7.86 c (round 276, exhaustive) 3450 del vars, 3401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.76/7.86 c (round 277, fast) 3450 del vars, 3426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.76/7.87 c (7.9s) probing: 7000/11442 (61.2%) - 0 fixings, 3452 aggregations, 1 implications, 0 bound changes
7.76/7.89 c (round 278, exhaustive) 3475 del vars, 3426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.76/7.89 c (round 279, fast) 3475 del vars, 3451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.86/7.93 c (round 280, exhaustive) 3500 del vars, 3451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.86/7.93 c (round 281, fast) 3500 del vars, 3476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.86/7.96 c (round 282, exhaustive) 3525 del vars, 3476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.86/7.96 c (round 283, fast) 3525 del vars, 3501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.86/8.00 c (round 284, exhaustive) 3550 del vars, 3501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.86/8.00 c (round 285, fast) 3550 del vars, 3526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.97/8.03 c (round 286, exhaustive) 3575 del vars, 3526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.97/8.03 c (round 287, fast) 3575 del vars, 3551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.97/8.07 c (round 288, exhaustive) 3600 del vars, 3551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.97/8.07 c (round 289, fast) 3600 del vars, 3576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.97/8.11 c (round 290, exhaustive) 3625 del vars, 3576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
7.97/8.11 c (round 291, fast) 3625 del vars, 3601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.07/8.14 c (round 292, exhaustive) 3650 del vars, 3601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.07/8.14 c (round 293, fast) 3650 del vars, 3626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.07/8.17 c (round 294, exhaustive) 3675 del vars, 3626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.07/8.17 c (round 295, fast) 3675 del vars, 3651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.15/8.21 c (round 296, exhaustive) 3700 del vars, 3651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.15/8.21 c (round 297, fast) 3700 del vars, 3676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.15/8.24 c (round 298, exhaustive) 3725 del vars, 3676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.15/8.24 c (round 299, fast) 3725 del vars, 3701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.15/8.27 c (round 300, exhaustive) 3750 del vars, 3701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.15/8.27 c (round 301, fast) 3750 del vars, 3726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.25/8.30 c (round 302, exhaustive) 3775 del vars, 3726 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.25/8.31 c (round 303, fast) 3775 del vars, 3751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.25/8.34 c (round 304, exhaustive) 3800 del vars, 3751 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.25/8.34 c (round 305, fast) 3800 del vars, 3776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.25/8.37 c (round 306, exhaustive) 3825 del vars, 3776 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.25/8.37 c (round 307, fast) 3825 del vars, 3801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.35/8.40 c (round 308, exhaustive) 3850 del vars, 3801 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.35/8.40 c (round 309, fast) 3850 del vars, 3826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.35/8.44 c (round 310, exhaustive) 3875 del vars, 3826 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.35/8.44 c (round 311, fast) 3875 del vars, 3851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.35/8.47 c (round 312, exhaustive) 3900 del vars, 3851 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.35/8.47 c (round 313, fast) 3900 del vars, 3876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.35/8.49 c (8.5s) probing: 8000/11442 (69.9%) - 0 fixings, 3917 aggregations, 1 implications, 0 bound changes
8.45/8.50 c (round 314, exhaustive) 3925 del vars, 3876 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.45/8.50 c (round 315, fast) 3925 del vars, 3901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.45/8.53 c (round 316, exhaustive) 3950 del vars, 3901 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.45/8.53 c (round 317, fast) 3950 del vars, 3926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.45/8.56 c (round 318, exhaustive) 3975 del vars, 3926 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.45/8.56 c (round 319, fast) 3975 del vars, 3951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.45/8.59 c (round 320, exhaustive) 4000 del vars, 3951 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.45/8.59 c (round 321, fast) 4000 del vars, 3976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.55/8.62 c (round 322, exhaustive) 4025 del vars, 3976 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.55/8.62 c (round 323, fast) 4025 del vars, 4001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.55/8.65 c (round 324, exhaustive) 4050 del vars, 4001 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.55/8.65 c (round 325, fast) 4050 del vars, 4026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.55/8.68 c (round 326, exhaustive) 4075 del vars, 4026 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.55/8.68 c (round 327, fast) 4075 del vars, 4051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.65/8.71 c (round 328, exhaustive) 4100 del vars, 4051 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.65/8.71 c (round 329, fast) 4100 del vars, 4076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.65/8.74 c (round 330, exhaustive) 4125 del vars, 4076 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.65/8.74 c (round 331, fast) 4125 del vars, 4101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.65/8.77 c (round 332, exhaustive) 4150 del vars, 4101 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.65/8.77 c (round 333, fast) 4150 del vars, 4126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.80 c (round 334, exhaustive) 4175 del vars, 4126 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.80 c (round 335, fast) 4175 del vars, 4151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.83 c (round 336, exhaustive) 4200 del vars, 4151 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.83 c (round 337, fast) 4200 del vars, 4176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.86 c (round 338, exhaustive) 4225 del vars, 4176 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.86 c (round 339, fast) 4225 del vars, 4201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.88 c (round 340, exhaustive) 4250 del vars, 4201 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.75/8.89 c (round 341, fast) 4250 del vars, 4226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.91 c (round 342, exhaustive) 4275 del vars, 4226 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.91 c (round 343, fast) 4275 del vars, 4251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.94 c (round 344, exhaustive) 4300 del vars, 4251 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.94 c (round 345, fast) 4300 del vars, 4276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.96 c (round 346, exhaustive) 4325 del vars, 4276 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.97 c (round 347, fast) 4325 del vars, 4301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.99 c (round 348, exhaustive) 4350 del vars, 4301 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.85/8.99 c (round 349, fast) 4350 del vars, 4326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.01 c (round 350, exhaustive) 4375 del vars, 4326 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.02 c (round 351, fast) 4375 del vars, 4351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.03 c (9.0s) probing: 9000/11442 (78.7%) - 0 fixings, 4391 aggregations, 1 implications, 0 bound changes
8.96/9.04 c (round 352, exhaustive) 4400 del vars, 4351 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.04 c (round 353, fast) 4400 del vars, 4376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.06 c (round 354, exhaustive) 4425 del vars, 4376 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.07 c (round 355, fast) 4425 del vars, 4401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.09 c (round 356, exhaustive) 4450 del vars, 4401 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
8.96/9.09 c (round 357, fast) 4450 del vars, 4426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.11 c (round 358, exhaustive) 4475 del vars, 4426 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.12 c (round 359, fast) 4475 del vars, 4451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.14 c (round 360, exhaustive) 4500 del vars, 4451 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.14 c (round 361, fast) 4500 del vars, 4476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.16 c (round 362, exhaustive) 4525 del vars, 4476 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.16 c (round 363, fast) 4525 del vars, 4501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.19 c (round 364, exhaustive) 4550 del vars, 4501 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.06/9.19 c (round 365, fast) 4550 del vars, 4526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.21 c (round 366, exhaustive) 4575 del vars, 4526 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.22 c (round 367, fast) 4575 del vars, 4551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.24 c (round 368, exhaustive) 4600 del vars, 4551 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.24 c (round 369, fast) 4600 del vars, 4576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.26 c (round 370, exhaustive) 4625 del vars, 4576 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.27 c (round 371, fast) 4625 del vars, 4601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.29 c (round 372, exhaustive) 4650 del vars, 4601 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.15/9.29 c (round 373, fast) 4650 del vars, 4626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.25/9.31 c (round 374, exhaustive) 4675 del vars, 4626 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.25/9.31 c (round 375, fast) 4675 del vars, 4651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.25/9.33 c (round 376, exhaustive) 4700 del vars, 4651 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.25/9.33 c (round 377, fast) 4700 del vars, 4676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.25/9.37 c (9.4s) probing: 9691/11442 (84.7%) - 0 fixings, 4707 aggregations, 1 implications, 0 bound changes
9.25/9.37 c (9.4s) probing aborted: 50/50 successive totally useless probings
9.25/9.37 c (round 378, exhaustive) 4707 del vars, 4676 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.25/9.37 c (round 379, fast) 4707 del vars, 4701 del conss, 0 add conss, 4931 chg bounds, 112 chg sides, 224 chg coeffs, 0 upgd conss, 4931 impls, 1 clqs
9.25/9.38 c (9.4s) probing: 9696/11442 (84.7%) - 0 fixings, 4707 aggregations, 1 implications, 0 bound changes
9.25/9.38 c (9.4s) probing aborted: 50/50 successive totally useless probings
9.25/9.38 c (9.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
9.25/9.39 c (9.4s) no symmetry present (symcode time: 0.00)
9.25/9.39 c presolving (380 rounds: 380 fast, 190 medium, 190 exhaustive):
9.25/9.39 c 4707 deleted vars, 4701 deleted constraints, 0 added constraints, 4931 tightened bounds, 0 added holes, 112 changed sides, 224 changed coefficients
9.25/9.39 c 4931 implications, 1 cliques
9.25/9.39 c presolved problem has 6959 variables (6735 bin, 0 int, 224 impl, 0 cont) and 5162 constraints
9.25/9.39 c 4931 constraints of type <linear>
9.25/9.39 c 231 constraints of type <indicator>
9.25/9.39 c transformed objective value is always integral (scale: 1)
9.25/9.39 c Presolving Time: 9.28
9.25/9.39 c - non default parameters ----------------------------------------------------------------------
9.25/9.39 c # SCIP version 10.0.0
9.25/9.39 c
9.25/9.39 c # maximal time in seconds to run
9.25/9.39 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
9.25/9.39 c limits/time = 3596.994093
9.25/9.39 c
9.25/9.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.25/9.39 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
9.25/9.39 c limits/memory = 27900
9.25/9.39 c
9.25/9.39 c # belongs reading time to solving time?
9.25/9.39 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
9.25/9.39 c timing/reading = TRUE
9.25/9.39 c
9.25/9.39 c -----------------------------------------------------------------------------------------------
9.25/9.39 c start solving
9.35/9.40 c
9.35/9.48 o 17003
9.35/9.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.35/9.49 c i 9.5s| 1 | 0 | 0 | - | oneopt| 0 |6959 |5162 |5155 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
9.74/9.86 c 9.8s| 1 | 0 | 1857 | - | 80M | 0 |6959 |5162 |5155 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
10.15/10.20 c 10.2s| 1 | 0 | 1965 | - | 87M | 0 |6959 |5162 |5164 | 9 | 1 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
10.54/10.62 c 10.6s| 1 | 0 | 2263 | - | 89M | 0 |6959 |5162 |5195 | 40 | 2 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
10.96/11.07 c 11.1s| 1 | 0 | 2497 | - | 94M | 0 |6959 |5162 |5214 | 59 | 3 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
11.24/11.34 c 11.3s| 1 | 0 | 2757 | - | 97M | 0 |6959 |5162 |5227 | 72 | 4 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
11.44/11.59 c 11.6s| 1 | 0 | 2928 | - | 107M | 0 |6959 |5162 |5240 | 85 | 5 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
11.73/11.89 c 11.9s| 1 | 0 | 3167 | - | 114M | 0 |6959 |5162 |5255 | 100 | 6 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
12.14/12.28 c 12.3s| 1 | 0 | 3351 | - | 129M | 0 |6959 |5162 |5267 | 112 | 7 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
12.53/12.61 c 12.6s| 1 | 0 | 3509 | - | 137M | 0 |6959 |5162 |5280 | 125 | 8 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
13.13/13.26 c 13.3s| 1 | 0 | 3766 | - | 151M | 0 |6959 |5162 |5299 | 144 | 9 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
13.53/13.68 c 13.7s| 1 | 0 | 3884 | - | 157M | 0 |6959 |5162 |5313 | 158 | 10 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
13.63/13.77 c 13.8s| 1 | 0 | 4091 | - | 157M | 0 |6959 |5162 |5322 | 171 | 11 | 0 | 0 | 0.000000e+00 | 1.700300e+04 | Inf | unknown
14.43/14.59 o 59
14.43/14.59 c d14.6s| 1 | 0 | 7425 | - |farkasdi| 0 |6959 |5162 |5322 | 0 | 11 | 0 | 0 | 0.000000e+00 | 5.900000e+01 | Inf | unknown
14.94/15.06 o 6
14.94/15.06 c L15.0s| 1 | 0 | 9696 | - | alns| 0 |6959 |5162 |5322 | 171 | 11 | 0 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
14.94/15.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.94/15.10 c 15.1s| 1 | 0 | 9696 | - | 159M | 0 |6959 |4898 |5322 | 171 | 11 | 0 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
15.04/15.15 c 15.1s| 1 | 0 | 9793 | - | 160M | 0 |6959 |4899 |5329 | 178 | 12 | 1 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
15.04/15.16 c 15.2s| 1 | 0 | 9798 | - | 160M | 0 |6959 |4900 |5334 | 183 | 13 | 2 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
15.04/15.17 c (run 1, node 1) restarting after 4888 global fixings of integer variables
15.04/15.17 c
15.04/15.17 c (restart) converted 179 cuts from the global cut pool into linear constraints
15.04/15.17 c
15.23/15.30 c presolving:
15.23/15.32 c (round 1, fast) 4893 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 2 chg coeffs, 0 upgd conss, 4931 impls, 3037 clqs
15.23/15.32 c (round 2, medium) 4994 del vars, 9 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 2 chg coeffs, 0 upgd conss, 4931 impls, 2834 clqs
15.23/15.33 c (round 3, fast) 4995 del vars, 215 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 2 chg coeffs, 0 upgd conss, 4931 impls, 2837 clqs
15.23/15.34 c (round 4, exhaustive) 4996 del vars, 226 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 2 chg coeffs, 0 upgd conss, 4931 impls, 2837 clqs
15.23/15.36 c (round 5, exhaustive) 4996 del vars, 226 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 2 chg coeffs, 4592 upgd conss, 4931 impls, 2837 clqs
15.23/15.36 c (round 6, medium) 4997 del vars, 228 del conss, 1 add conss, 0 chg bounds, 12 chg sides, 24 chg coeffs, 4592 upgd conss, 4931 impls, 2837 clqs
15.23/15.38 c (round 7, exhaustive) 4997 del vars, 3975 del conss, 1245 add conss, 0 chg bounds, 12 chg sides, 24 chg coeffs, 4592 upgd conss, 4931 impls, 2837 clqs
15.23/15.38 c (round 8, exhaustive) 4997 del vars, 3983 del conss, 1245 add conss, 0 chg bounds, 12 chg sides, 28 chg coeffs, 4592 upgd conss, 4931 impls, 2853 clqs
15.23/15.39 c (round 9, exhaustive) 5027 del vars, 3991 del conss, 1253 add conss, 0 chg bounds, 12 chg sides, 32 chg coeffs, 4592 upgd conss, 4931 impls, 2793 clqs
15.23/15.39 c (round 10, fast) 5029 del vars, 4001 del conss, 1254 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4592 upgd conss, 4931 impls, 2797 clqs
15.23/15.39 c (round 11, fast) 5031 del vars, 4001 del conss, 1254 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4592 upgd conss, 4931 impls, 2797 clqs
15.23/15.39 c (round 12, exhaustive) 5031 del vars, 4003 del conss, 1255 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4592 upgd conss, 4931 impls, 2797 clqs
15.23/15.39 c (round 13, exhaustive) 5033 del vars, 4017 del conss, 1268 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4592 upgd conss, 4931 impls, 2793 clqs
15.23/15.39 c (round 14, fast) 5033 del vars, 4020 del conss, 1268 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4592 upgd conss, 4931 impls, 2794 clqs
15.23/15.40 c (round 15, exhaustive) 5033 del vars, 4023 del conss, 1269 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4592 upgd conss, 4931 impls, 2794 clqs
15.32/15.40 c (round 16, exhaustive) 5039 del vars, 4030 del conss, 1270 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4592 upgd conss, 4931 impls, 2782 clqs
15.32/15.41 c (round 17, exhaustive) 5039 del vars, 4031 del conss, 1270 add conss, 0 chg bounds, 12 chg sides, 35 chg coeffs, 4610 upgd conss, 4931 impls, 2782 clqs
15.32/15.42 c presolving (18 rounds: 18 fast, 13 medium, 11 exhaustive):
15.32/15.42 c 5040 deleted vars, 4032 deleted constraints, 1270 added constraints, 0 tightened bounds, 0 added holes, 12 changed sides, 38 changed coefficients
15.32/15.42 c 4931 implications, 2781 cliques
15.32/15.42 c presolved problem has 1921 variables (1912 bin, 0 int, 9 impl, 0 cont) and 2310 constraints
15.32/15.42 c 300 constraints of type <knapsack>
15.32/15.42 c 355 constraints of type <setppc>
15.32/15.42 c 1187 constraints of type <and>
15.32/15.42 c 230 constraints of type <linear>
15.32/15.42 c 229 constraints of type <logicor>
15.32/15.42 c 9 constraints of type <indicator>
15.32/15.42 c transformed objective value is always integral (scale: 1)
15.32/15.42 c Presolving Time: 9.40
15.32/15.43 c transformed 1/6 original solutions to the transformed problem space
15.32/15.43 c
15.32/15.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.32/15.47 c 15.5s| 1 | 0 | 10219 | - | 160M | 0 |1921 |2326 |3494 | 0 | 0 | 19 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
15.52/15.65 c 15.6s| 1 | 0 | 10592 | - | 162M | 0 |1921 |2327 |3582 | 90 | 1 | 20 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
15.72/15.80 c 15.8s| 1 | 0 | 10920 | - | 163M | 0 |1921 |2329 |3682 | 190 | 2 | 24 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
15.82/15.91 c 15.9s| 1 | 0 | 11231 | - | 163M | 0 |1921 |2332 |3760 | 268 | 3 | 27 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
15.94/16.05 c 16.0s| 1 | 0 | 11425 | - | 164M | 0 |1921 |2334 |3829 | 337 | 4 | 29 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
16.12/16.20 c 16.2s| 1 | 0 | 11680 | - | 164M | 0 |1921 |2335 |3883 | 391 | 5 | 30 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
16.22/16.37 c 16.4s| 1 | 0 | 12022 | - | 164M | 0 |1921 |2336 |3929 | 437 | 6 | 31 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
16.42/16.56 c 16.6s| 1 | 0 | 12264 | - | 165M | 0 |1921 |2337 |3990 | 498 | 7 | 32 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
16.62/16.73 c 16.7s| 1 | 0 | 12440 | - | 166M | 0 |1921 |2338 |4047 | 555 | 8 | 33 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
16.82/16.94 c 16.9s| 1 | 0 | 12553 | - | 168M | 0 |1921 |2339 |4083 | 591 | 9 | 34 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.03/17.16 c 17.2s| 1 | 0 | 12725 | - | 170M | 0 |1921 |2341 |4122 | 632 | 10 | 36 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.12/17.24 c 17.2s| 1 | 0 | 12964 | - | 171M | 0 |1921 |2342 |4147 | 659 | 11 | 37 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.12/17.25 c 17.2s| 1 | 0 | 12964 | - | 171M | 0 |1921 |2342 |4148 | 659 | 11 | 38 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.22/17.31 c 17.3s| 1 | 0 | 13160 | - | 171M | 0 |1921 |2342 |4179 | 690 | 12 | 38 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.22/17.39 c 17.4s| 1 | 0 | 13332 | - | 172M | 0 |1921 |2343 |4222 | 733 | 13 | 39 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.32/17.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.32/17.46 c 17.5s| 1 | 0 | 13504 | - | 172M | 0 |1921 |2344 |4015 | 763 | 14 | 40 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.42/17.53 c 17.5s| 1 | 0 | 13706 | - | 173M | 0 |1921 |2346 |4042 | 790 | 15 | 42 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.42/17.59 c 17.6s| 1 | 0 | 13816 | - | 173M | 0 |1921 |2347 |4073 | 821 | 16 | 43 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.51/17.65 c 17.6s| 1 | 0 | 13959 | - | 173M | 0 |1921 |2348 |4091 | 839 | 17 | 44 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.61/17.71 c 17.7s| 1 | 0 | 14057 | - | 174M | 0 |1921 |2350 |4113 | 861 | 18 | 46 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.61/17.77 c 17.8s| 1 | 0 | 14182 | - | 174M | 0 |1921 |2352 |4138 | 886 | 19 | 48 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.71/17.82 c 17.8s| 1 | 0 | 14273 | - | 175M | 0 |1921 |2353 |4028 | 903 | 20 | 49 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.71/17.85 c 17.8s| 1 | 0 | 14330 | - | 175M | 0 |1921 |2355 |4048 | 923 | 21 | 51 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
17.71/17.89 c 17.9s| 1 | 0 | 14370 | - | 175M | 0 |1921 |2356 |4059 | 934 | 22 | 52 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
19.71/19.85 c 19.8s| 1 | 0 | 18296 | - | 175M | 0 |1921 |2340 |4068 | 934 | 22 | 68 | 2 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
19.71/19.88 c 19.9s| 1 | 0 | 18341 | - | 175M | 0 |1921 |2341 |4082 | 948 | 23 | 69 | 2 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
19.71/19.89 c 19.9s| 1 | 0 | 18366 | - | 175M | 0 |1921 |2342 |4087 | 953 | 24 | 70 | 2 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
20.81/20.94 c 20.9s| 1 | 0 | 18424 | - | 175M | 0 |1921 |2341 |3885 | 953 | 24 | 71 | 15 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
20.81/20.97 c 21.0s| 1 | 0 | 18452 | - | 175M | 0 |1921 |2342 |3900 | 968 | 25 | 72 | 15 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
20.81/20.98 c 21.0s| 1 | 0 | 18501 | - | 175M | 0 |1921 |2344 |3908 | 976 | 26 | 74 | 15 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
21.51/21.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.51/21.61 c 21.6s| 1 | 0 | 18560 | - | 175M | 0 |1921 |2337 |3912 | 976 | 26 | 76 | 23 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
21.51/21.64 c 21.6s| 1 | 0 | 18611 | - | 175M | 0 |1921 |2338 |3930 | 994 | 27 | 77 | 23 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
21.51/21.65 c 21.6s| 1 | 0 | 18636 | - | 175M | 0 |1921 |2339 |3853 |1002 | 28 | 78 | 23 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
22.02/22.14 c 22.1s| 1 | 0 | 18667 | - | 175M | 0 |1921 |2290 |3855 |1002 | 28 | 82 | 29 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
22.02/22.17 c 22.2s| 1 | 0 | 18752 | - | 175M | 0 |1921 |2291 |3869 |1016 | 29 | 83 | 29 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
22.02/22.19 c 22.2s| 1 | 0 | 18784 | - | 175M | 0 |1921 |2292 |3885 |1032 | 30 | 84 | 29 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
22.80/23.01 c 23.0s| 1 | 0 | 18826 | - | 175M | 0 |1921 |2289 |3886 |1032 | 30 | 85 | 43 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
22.92/23.03 c 23.0s| 1 | 0 | 18869 | - | 175M | 0 |1921 |2290 |3900 |1046 | 31 | 86 | 43 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
22.92/23.05 c 23.0s| 1 | 0 | 18889 | - | 175M | 0 |1921 |2292 |3850 |1056 | 32 | 88 | 43 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
23.50/23.66 c 23.6s| 1 | 2 | 18928 | - | 175M | 0 |1921 |2294 |3850 |1056 | 32 | 90 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
23.50/23.66 c (run 2, node 1) restarting after 101 global fixings of integer variables
23.50/23.66 c
23.50/23.66 c (restart) converted 385 cuts from the global cut pool into linear constraints
23.50/23.66 c
23.60/23.70 c presolving:
23.60/23.70 c (round 1, fast) 146 del vars, 57 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 55 chg coeffs, 0 upgd conss, 4931 impls, 2573 clqs
23.60/23.71 c (round 2, medium) 152 del vars, 58 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 55 chg coeffs, 0 upgd conss, 4931 impls, 2564 clqs
23.60/23.71 c (round 3, fast) 152 del vars, 68 del conss, 5 add conss, 0 chg bounds, 2 chg sides, 55 chg coeffs, 0 upgd conss, 4931 impls, 2564 clqs
23.60/23.71 c (round 4, exhaustive) 152 del vars, 74 del conss, 7 add conss, 0 chg bounds, 2 chg sides, 55 chg coeffs, 0 upgd conss, 4931 impls, 2564 clqs
23.60/23.71 c (round 5, exhaustive) 162 del vars, 80 del conss, 13 add conss, 0 chg bounds, 2 chg sides, 59 chg coeffs, 0 upgd conss, 4931 impls, 2544 clqs
23.60/23.71 c (round 6, fast) 162 del vars, 87 del conss, 14 add conss, 0 chg bounds, 2 chg sides, 59 chg coeffs, 0 upgd conss, 4931 impls, 2545 clqs
23.60/23.71 c (round 7, medium) 162 del vars, 87 del conss, 18 add conss, 0 chg bounds, 6 chg sides, 67 chg coeffs, 0 upgd conss, 4931 impls, 2545 clqs
23.60/23.72 c (round 8, exhaustive) 163 del vars, 100 del conss, 28 add conss, 0 chg bounds, 6 chg sides, 70 chg coeffs, 0 upgd conss, 4931 impls, 2543 clqs
23.60/23.72 c (round 9, fast) 163 del vars, 107 del conss, 28 add conss, 0 chg bounds, 6 chg sides, 70 chg coeffs, 0 upgd conss, 4931 impls, 2543 clqs
23.60/23.72 c (round 10, exhaustive) 163 del vars, 110 del conss, 28 add conss, 0 chg bounds, 6 chg sides, 70 chg coeffs, 0 upgd conss, 4931 impls, 2543 clqs
23.60/23.73 c (round 11, exhaustive) 163 del vars, 110 del conss, 28 add conss, 0 chg bounds, 6 chg sides, 70 chg coeffs, 385 upgd conss, 4931 impls, 2543 clqs
23.60/23.73 c (round 12, fast) 164 del vars, 118 del conss, 28 add conss, 0 chg bounds, 7 chg sides, 75 chg coeffs, 385 upgd conss, 4931 impls, 2542 clqs
23.60/23.73 c (round 13, medium) 164 del vars, 122 del conss, 34 add conss, 0 chg bounds, 7 chg sides, 75 chg coeffs, 385 upgd conss, 4931 impls, 2547 clqs
23.60/23.74 c (round 14, exhaustive) 164 del vars, 128 del conss, 34 add conss, 0 chg bounds, 7 chg sides, 78 chg coeffs, 385 upgd conss, 4931 impls, 2547 clqs
23.60/23.75 c presolving (15 rounds: 15 fast, 10 medium, 7 exhaustive):
23.60/23.75 c 164 deleted vars, 128 deleted constraints, 34 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 86 changed coefficients
23.60/23.75 c 4931 implications, 2547 cliques
23.60/23.75 c presolved problem has 1757 variables (1748 bin, 0 int, 9 impl, 0 cont) and 2585 constraints
23.60/23.75 c 346 constraints of type <knapsack>
23.60/23.75 c 625 constraints of type <setppc>
23.60/23.75 c 1053 constraints of type <and>
23.60/23.75 c 205 constraints of type <linear>
23.60/23.75 c 346 constraints of type <logicor>
23.60/23.75 c 1 constraints of type <bounddisjunction>
23.60/23.75 c 9 constraints of type <indicator>
23.60/23.75 c transformed objective value is always integral (scale: 1)
23.60/23.75 c Presolving Time: 9.46
23.60/23.75 c transformed 1/6 original solutions to the transformed problem space
23.60/23.75 c
23.70/23.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.70/23.80 c 23.8s| 1 | 0 | 19777 | - | 176M | 0 |1757 |2585 |3554 | 0 | 0 | 90 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
23.91/24.01 c 24.0s| 1 | 0 | 20241 | - | 177M | 0 |1757 |2589 |3649 | 95 | 1 | 94 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
24.01/24.16 c 24.2s| 1 | 0 | 20522 | - | 177M | 0 |1757 |2593 |3722 | 171 | 2 | 98 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
24.19/24.32 c 24.3s| 1 | 0 | 20845 | - | 177M | 0 |1757 |2594 |3778 | 228 | 3 | 99 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
24.39/24.50 c 24.5s| 1 | 0 | 21056 | - | 178M | 0 |1757 |2594 |3824 | 274 | 4 | 100 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
24.49/24.70 c 24.7s| 1 | 0 | 21228 | - | 178M | 0 |1757 |2595 |3858 | 308 | 5 | 101 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
24.79/24.91 c 24.9s| 1 | 0 | 21438 | - | 179M | 0 |1757 |2596 |3891 | 344 | 6 | 102 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.00/25.11 c 25.1s| 1 | 0 | 21615 | - | 180M | 0 |1757 |2597 |3929 | 383 | 7 | 103 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.09/25.29 c 25.3s| 1 | 0 | 21718 | - | 183M | 0 |1757 |2600 |3956 | 410 | 8 | 106 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.39/25.52 c 25.5s| 1 | 0 | 21834 | - | 184M | 0 |1757 |2601 |3979 | 433 | 9 | 107 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.59/25.75 c 25.7s| 1 | 0 | 21919 | - | 189M | 0 |1757 |2602 |3678 | 455 | 10 | 108 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.69/25.81 c 25.8s| 1 | 0 | 21989 | - | 190M | 0 |1757 |2604 |3698 | 475 | 11 | 110 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.69/25.81 c 25.8s| 1 | 0 | 21989 | - | 190M | 0 |1757 |2603 |3700 | 475 | 11 | 111 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.69/25.86 c 25.9s| 1 | 0 | 22056 | - | 190M | 0 |1757 |2603 |3719 | 494 | 12 | 111 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.79/25.91 c 25.9s| 1 | 0 | 22136 | - | 190M | 0 |1757 |2605 |3741 | 516 | 13 | 113 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.79/25.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.79/25.97 c 26.0s| 1 | 0 | 22215 | - | 191M | 0 |1757 |2606 |3759 | 534 | 14 | 114 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.90/26.03 c 26.0s| 1 | 0 | 22293 | - | 191M | 0 |1757 |2608 |3778 | 553 | 15 | 116 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
25.90/26.08 c 26.1s| 1 | 0 | 22350 | - | 191M | 0 |1757 |2609 |3628 | 570 | 16 | 117 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
26.00/26.12 c 26.1s| 1 | 0 | 22371 | - | 192M | 0 |1757 |2610 |3641 | 583 | 17 | 118 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
26.00/26.16 c 26.2s| 1 | 0 | 22408 | - | 192M | 0 |1757 |2611 |3656 | 598 | 18 | 119 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
26.08/26.20 c 26.2s| 1 | 0 | 22439 | - | 192M | 0 |1757 |2613 |3671 | 613 | 19 | 121 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
26.08/26.25 c 26.2s| 1 | 0 | 22490 | - | 193M | 0 |1757 |2616 |3679 | 621 | 20 | 124 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
26.08/26.29 c 26.3s| 1 | 0 | 22539 | - | 193M | 0 |1757 |2617 |3695 | 637 | 21 | 125 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
26.18/26.32 c 26.3s| 1 | 0 | 22578 | - | 193M | 0 |1757 |2620 |3621 | 649 | 22 | 128 | 56 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
27.39/27.52 c 27.5s| 1 | 0 | 25610 | - | 193M | 0 |1757 |2629 |3624 | 649 | 22 | 146 | 59 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
27.39/27.55 c 27.5s| 1 | 0 | 25665 | - | 193M | 0 |1757 |2630 |3655 | 680 | 23 | 147 | 59 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
27.39/27.57 c 27.6s| 1 | 0 | 25706 | - | 193M | 0 |1757 |2631 |3561 | 692 | 24 | 148 | 59 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
27.68/27.88 c 27.9s| 1 | 2 | 25773 | - | 193M | 0 |1757 |2633 |3561 | 692 | 24 | 150 | 66 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
28.00/28.17 o 4
28.00/28.17 c *28.2s| 6 | 5 | 27530 |2079.3 | LP | 5 |1757 |2633 |3605 | 845 | 0 | 150 | 74 | 0.000000e+00 | 4.000000e+00 | Inf | unknown
28.99/29.15 o 1
28.99/29.15 c r29.1s| 15 | 6 | 28823 | 990.5 |shifting| 10 |1757 |2628 |3627 | 918 | 0 | 150 | 142 | 0.000000e+00 | 1.000000e+00 | Inf | 5.26%
29.99/30.13 c
29.99/30.13 c SCIP Status : problem is solved [optimal solution found]
29.99/30.13 c Solving Time (sec) : 30.12
29.99/30.13 c Solving Nodes : 36 (total of 38 nodes in 3 runs)
29.99/30.13 c Primal Bound : +1.00000000000000e+00 (8 solutions)
29.99/30.13 c Dual Bound : +1.00000000000000e+00
29.99/30.13 c Gap : 0.00 %
29.99/30.14 s OPTIMUM FOUND
29.99/30.14 v -x1804 -x1803 x1802 x1801 -x1800 -x1799 x1798 -x1797 x1796 -x1795 -x1794 -x1793 x1792 x1791 -x1790 -x1789 -x1788 -x1787 -x1786
29.99/30.14 v -x1785 x1784 -x1783 -x1782 x1781 x1780 -x1779 x1778 -x1777 -x1776 x1775 -x1774 -x1773 x1772 -x1771 -x1770 x1769 x1768 -x1767
29.99/30.14 v -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 -x1759 -x1758 -x1757 -x1756 x1755 -x1754 x1753 -x1752 -x1751 -x1750 x1749 -x1748
29.99/30.14 v -x1747 x1746 -x1745 x1744 x1743 x1742 x1741 x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 x1732 -x1731 -x1730 x1729
29.99/30.14 v x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 x1717 x1716 -x1715 -x1714 -x1713 -x1712 -x1711
29.99/30.14 v -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692
29.99/30.14 v -x1691 -x1690 -x1689 -x1688 x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 x1674
29.99/30.14 v x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 x1661 -x1660 -x1659 -x1658 -x1657 -x1656
29.99/30.14 v -x1655 -x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638
29.99/30.14 v x1637 x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 x1628 x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 x1619
29.99/30.14 v x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 x1611 x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 x1601
29.99/30.14 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 x1593 -x1592 -x1591 -x1590 x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582
29.99/30.14 v -x1581 -x1580 -x1579 x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 x1568 x1567 -x1566 -x1565 -x1564
29.99/30.14 v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546
29.99/30.14 v -x1545 -x1544 -x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 x1529 -x1528
29.99/30.14 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509
29.99/30.14 v -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491
29.99/30.14 v x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477 x1476 -x1475 -x1474 x1473 x1472
29.99/30.14 v -x1471 -x1470 x1469 -x1468 -x1467 -x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 x1455 -x1454
29.99/30.14 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 x1446 x1445 x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
29.99/30.14 v -x1434 x1433 -x1432 x1431 x1430 x1429 -x1428 -x1427 x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 x1418 -x1417
29.99/30.14 v x1416 x1415 x1414 -x1413 -x1412 -x1411 -x1410 -x1409 x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 x1399 x1398
29.99/30.14 v x1397 x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380
29.99/30.14 v -x1379 -x1378 -x1377 -x1376 -x1375 x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
29.99/30.14 v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
29.99/30.14 v x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
29.99/30.14 v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
29.99/30.14 v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290
29.99/30.14 v x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272
29.99/30.14 v -x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 -x1255 -x1254
29.99/30.14 v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236
29.99/30.14 v -x1235 -x1234 -x1233 x1232 x1231 x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217
29.99/30.14 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199
29.99/30.14 v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181
29.99/30.14 v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
29.99/30.14 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145
29.99/30.14 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127
29.99/30.14 v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
29.99/30.14 v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
29.99/30.14 v -x1090 -x1089 -x1088 -x1087 x1086 x1085 x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073
29.99/30.14 v -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
29.99/30.14 v -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037
29.99/30.14 v -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018
29.99/30.14 v -x1017 x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
29.99/30.14 v -x999 -x998 x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 x982 x981 x980 -x979
29.99/30.14 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
29.99/30.14 v -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
29.99/30.14 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 x918 -x917 -x916 -x915
29.99/30.14 v -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894
29.99/30.14 v x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 x874 -x873
29.99/30.14 v -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851
29.99/30.14 v -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830
29.99/30.14 v -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809
29.99/30.14 v -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 -x789 -x788
29.99/30.14 v -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 x770 x769 x768 x767 x766
29.99/30.14 v x765 x764 -x763 -x762 -x761 x760 -x759 -x758 x757 -x756 x755 -x754 -x753 x752 x751 x750 x749 x748 x747 x746 -x745 -x744 -x743
29.99/30.14 v x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721
29.99/30.14 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 x709 x708 x707 -x706 x705 -x704 -x703 -x702 -x701 x700
29.99/30.14 v -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 x689 x688 x687 x686 x685 -x684 -x683 -x682 -x681 -x680 -x679 x678
29.99/30.14 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 x663 x662 -x661 -x660 x659 x658 x657 -x656
29.99/30.14 v -x655 -x654 x653 x652 x651 x650 -x649 x648 -x647 x646 x645 -x644 x643 -x642 x641 x640 x639 x638 -x637 x636 -x635 -x634 -x633
29.99/30.14 v -x632 -x631 -x630 -x629 -x628 -x627 x626 x625 x624 x623 x622 x621 x620 x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
29.99/30.14 v -x610 -x609 -x608 -x607 x606 -x605 x604 x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 x593 x592 -x591 -x590 -x589
29.99/30.14 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 x572 x571 -x570 x569 x568 -x567
29.99/30.14 v -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 x550 x549 x548 x547 x546 x545
29.99/30.14 v x544 x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524
29.99/30.14 v -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
29.99/30.14 v -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481
29.99/30.14 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
29.99/30.14 v -x459 -x458 -x457 x456 -x455 x454 -x453 -x452 -x451 x450 x449 -x448 -x447 -x446 x445 x444 -x443 x442 x441 -x440 -x439 -x438
29.99/30.14 v x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416
29.99/30.14 v -x415 x414 x413 -x412 -x411 -x410 x409 x408 x407 -x406 x405 -x404 -x403 -x402 x401 x400 -x399 -x398 -x397 -x396 -x395 -x394
29.99/30.14 v -x393 x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373
29.99/30.14 v x372 x371 x370 -x369 -x368 x367 x366 -x365 -x364 x363 x362 x361 x360 -x359 -x358 x357 x356 -x355 -x354 -x353 -x352 -x351 -x350
29.99/30.14 v -x349 x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 x335 x334 x333 x332 -x331 -x330 -x329 -x328
29.99/30.14 v x327 -x326 -x325 x324 -x323 x322 -x321 -x320 -x319 x318 -x317 -x316 x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
29.99/30.14 v x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285
29.99/30.14 v -x284 x283 -x282 -x281 x280 x279 x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 x268 -x267 -x266 x265 -x264 -x263
29.99/30.14 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 x242 x241
29.99/30.14 v -x240 -x239 -x238 -x237 x236 x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 -x226 x225 -x224 -x223 -x222 x221 -x220 -x219
29.99/30.14 v x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198
29.99/30.14 v x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
29.99/30.14 v -x176 x175 -x174 -x173 -x172 -x171 x170 x169 x168 -x167 x166 x165 x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
29.99/30.14 v -x153 -x152 -x151 -x150 -x149 x148 -x147 x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 x136 -x135 -x134 -x133
29.99/30.14 v -x132 x131 -x130 -x129 -x128 x127 -x126 x125 x124 x123 -x122 -x121 -x120 -x119 x118 x117 x116 x115 -x114 -x113 -x112 x111 x110
29.99/30.14 v -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 x101 x100 -x99 x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 x89 -x88 x87 x86
29.99/30.14 v x85 -x84 -x83 -x82 -x81 -x80 x79 x78 -x77 x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63 x62 -x61 -x60 x59
29.99/30.14 v -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 x37 -x36 -x35 -x34 -x33
29.99/30.14 v x32 x31 x30 -x29 -x28 x27 -x26 -x25 x24 x23 x22 -x21 -x20 x19 x18 x17 -x16 -x15 x14 x13 x12 -x11 x10 x9 -x8 -x7 x6 -x5 x4 -x3
29.99/30.14 v -x2 x1
29.99/30.14 c SCIP Status : problem is solved [optimal solution found]
29.99/30.14 c Total Time : 30.12
29.99/30.14 c solving : 30.12
29.99/30.14 c presolving : 9.46 (included in solving)
29.99/30.14 c reading : 0.06 (included in solving)
29.99/30.14 c copying : 0.13 (15 #copies) (minimal 0.01, maximal 0.02, average 0.01)
29.99/30.14 c Original Problem :
29.99/30.14 c Problem name : HOME/instance-4455922-1721717822.wbo
29.99/30.14 c Variables : 6735 (6735 binary, 0 integer, 0 implicit integer, 0 continuous)
29.99/30.14 c Constraints : 9863 initial, 9863 maximal
29.99/30.14 c Objective : minimize, 4931 non-zeros (abs.min = 1, abs.max = 100)
29.99/30.14 c Presolved Problem :
29.99/30.14 c Problem name : t_HOME/instance-4455922-1721717822.wbo
29.99/30.14 c Variables : 1757 (1748 binary, 0 integer, 9 implicit integer, 0 continuous)
29.99/30.14 c Constraints : 2585 initial, 2657 maximal
29.99/30.14 c Objective : minimize, 257 non-zeros (abs.min = 1, abs.max = 5)
29.99/30.14 c Nonzeros : 11259 constraint, 5658 clique table
29.99/30.14 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
29.99/30.14 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c domcol : 0.00 0.00 192 0 0 0 0 0 0 0 0 0
29.99/30.14 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.14 c gateextraction : 0.02 0.00 18 0 0 0 0 0 3757 1247 0 0
29.99/30.14 c implics : 0.02 0.00 213 0 0 0 0 0 0 0 0 0
29.99/30.14 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.14 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c trivial : 0.10 0.00 413 4991 0 0 0 0 0 0 0 0
29.99/30.14 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c dualfix : 0.08 0.00 413 3 0 0 0 0 0 0 0 0
29.99/30.14 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c probing : 7.88 0.00 190 0 4707 0 0 0 0 0 0 0
29.99/30.14 c pseudoobj : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
29.99/30.14 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.14 c vbounds : 0.00 0.00 2 1 105 0 0 0 0 0 0 0
29.99/30.14 c knapsack : 0.01 0.00 60 0 0 0 0 0 12 19 8 51
29.99/30.14 c setppc : 0.02 0.00 70 0 4 0 0 0 45 0 0 0
29.99/30.14 c and : 0.04 0.00 35 14 77 0 0 0 92 38 0 47
29.99/30.14 c linear : 1.06 0.00 609 0 5 0 4931 0 243 0 123 230
29.99/30.14 c logicor : 0.01 0.00 58 0 2 0 0 0 12 0 0 20
29.99/30.14 c bounddisjunction : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
29.99/30.14 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c indicator : 0.04 0.00 206 0 0 0 0 0 4700 0 0 0
29.99/30.14 c components : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
29.99/30.14 c root node : - - - 6368 - - 6368 - - - - -
29.99/30.14 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
29.99/30.14 c benderslp : 0 0 0 0 47 0 0 456 0 0 0 0 0 0 0
29.99/30.14 c integral : 0 0 0 0 47 0 0 456 0 0 721 0 0 28 46
29.99/30.14 c knapsack : 346 346 50 5188 0 0 0 21 165 6 149 3553 153 0 0
29.99/30.14 c setppc : 625+ 635 51 5197 0 0 0 12 424 13 922 50 0 0 0
29.99/30.14 c and : 1053 1053 124 5169 0 0 0 12 1552 57 4870 1982 472 0 0
29.99/30.14 c linear : 205+ 215 62 41888 0 0 0 441 135 10 351 12 1 0 0
29.99/30.14 c logicor : 346+ 434 50 3020 0 0 0 4 179 20 390 35 14 0 0
29.99/30.14 c bounddisjunction : 1 1 0 36 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c benders : 0 0 0 0 0 0 0 92 0 0 0 0 0 0 0
29.99/30.14 c indicator : 9 9 62 40653 0 0 0 90 3 0 235 0 0 0 0
29.99/30.14 c fixedvar : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
29.99/30.14 c countsols : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
29.99/30.14 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
29.99/30.14 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c integral : 5.14 0.00 0.00 0.00 5.09 0.00 0.00 0.05 0.00 0.00
29.99/30.14 c knapsack : 0.16 0.00 0.11 0.03 0.00 0.00 0.00 0.00 0.00 0.01
29.99/30.14 c setppc : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
29.99/30.14 c and : 0.23 0.00 0.04 0.12 0.00 0.00 0.00 0.00 0.00 0.06
29.99/30.14 c linear : 0.21 0.00 0.01 0.05 0.00 0.00 0.00 0.15 0.00 0.00
29.99/30.14 c logicor : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
29.99/30.14 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c indicator : 1.56 0.00 0.00 1.53 0.00 0.00 0.00 0.03 0.00 0.00
29.99/30.14 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c Propagators : #Propagate #ResProp Cutoffs DomReds
29.99/30.14 c dualfix : 29 0 0 12
29.99/30.14 c genvbounds : 0 0 0 0
29.99/30.14 c nlobbt : 0 0 0 0
29.99/30.14 c obbt : 0 0 0 0
29.99/30.14 c probing : 0 0 0 0
29.99/30.14 c pseudoobj : 596 0 0 4660
29.99/30.14 c redcost : 238 0 0 184
29.99/30.14 c rootredcost : 3 0 0 259
29.99/30.14 c symmetry : 0 0 0 0
29.99/30.14 c vbounds : 4689 0 0 0
29.99/30.14 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
29.99/30.14 c dualfix : 0.08 0.00 0.08 0.00 0.00 0.00
29.99/30.14 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c probing : 7.88 0.00 7.88 0.00 0.00 0.00
29.99/30.14 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
29.99/30.14 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
29.99/30.14 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.14 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
29.99/30.14 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
29.99/30.14 c Symmetry :
29.99/30.14 c orbitopal red. : 0 reductions applied, 0 cutoffs
29.99/30.14 c orbital reduction: 0 reductions applied, 0 cutoffs
29.99/30.14 c lexicographic red: 0 reductions applied, 0 cutoffs
29.99/30.14 c shadow tree time : 0.00 s
29.99/30.14 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
29.99/30.14 c propagation : 0.00 105 101 - 188 7.1 4 3.2 - - -
29.99/30.14 c infeasible LP : 0.00 8 8 - 10 5.1 2 8.0 8 4.1 0
29.99/30.14 c bound exceed. LP : 0.01 3 1 - 0 0.0 0 0.0 1 269.0 10
29.99/30.14 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
29.99/30.14 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
29.99/30.14 c applied globally : 0.00 - - 0 188 5.9 - - 9 - -
29.99/30.14 c applied locally : - - - 0 0 0.0 - - 0 - -
29.99/30.14 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
29.99/30.14 c cut pool : 0.10 - 128 128 - - 9015 14582 - - - - - (maximal pool size: 3377)
29.99/30.14 c aggregation : 0.59 0.00 62 62 0 0 1612 5494 0 336 336 0 0
29.99/30.14 c > cmir : - - - - - - - 3048 0 153 153 0 -
29.99/30.14 c > flowcover : - - - - - - - 1875 0 100 100 0 -
29.99/30.14 c > knapsackcover : - - - - - - - 571 0 83 83 0 -
29.99/30.14 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c clique : 0.40 0.00 62 62 0 0 3 6 0 2 2 0 0
29.99/30.14 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c gomory : 4.62 0.00 30 30 0 0 6010 7043 0 121 121 0 0
29.99/30.14 c > gomorymi : - - - - - - - 3614 0 43 43 0 -
29.99/30.14 c > strongcg : - - - - - - - 3429 0 78 78 0 -
29.99/30.14 c impliedbounds : 0.02 0.00 62 62 0 3 1027 1365 0 1009 1009 0 0
29.99/30.14 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c mcf : 0.01 0.00 3 3 0 0 0 0 0 0 0 0 0
29.99/30.14 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c mixing : 0.00 0.00 62 62 0 0 0 0 0 0 0 0 0
29.99/30.14 c multilinear : 0.00 0.00 83 62 0 0 0 0 0 0 0 0 0
29.99/30.14 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.14 c rapidlearning : 0.52 0.00 11 2 0 1877 0 0 0 0 0 0 40
29.99/30.14 c rlt : 0.69 0.00 30 30 0 0 131 187 0 115 115 0 0
29.99/30.14 c zerohalf : 0.43 0.00 52 52 0 0 232 487 0 171 171 0 0
29.99/30.14 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
29.99/30.14 c hybrid : 0.06 0.00 121 69 2399 3 17727 1932 3 17639
29.99/30.14 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c Pricers : ExecTime SetupTime Calls Vars
29.99/30.14 c problem variables: 0.00 - 0 0
29.99/30.14 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
29.99/30.14 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c random : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c relpscost : 5.09 0.00 47 0 0 0 721 0 28 46
29.99/30.14 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.14 c Primal Heuristics : ExecTime SetupTime Calls Found Best
29.99/30.14 c LP solutions : 0.00 - - 0 0
29.99/30.14 c relax solutions : 0.00 - - 0 0
29.99/30.14 c pseudo solutions : 0.00 - - 0 0
29.99/30.14 c strong branching : 0.00 - - 0 0
29.99/30.14 c actconsdiving : 0.00 0.00 0 0 0
29.99/30.14 c adaptivediving : 0.00 0.00 0 0 0
29.99/30.14 c alns : 0.08 0.00 1 3 1
29.99/30.14 c bound : 0.00 0.00 0 0 0
29.99/30.14 c clique : 0.01 0.00 1 0 0
29.99/30.14 c coefdiving : 0.00 0.00 0 0 0
29.99/30.14 c completesol : 0.00 0.00 0 0 0
29.99/30.14 c conflictdiving : 0.35 0.00 2 0 0
29.99/30.14 c crossover : 0.00 0.00 0 0 0
29.99/30.14 c dins : 0.00 0.00 0 0 0
29.99/30.14 c distributiondivin: 0.00 0.00 0 0 0
29.99/30.14 c dps : 0.00 0.00 0 0 0
29.99/30.14 c dualval : 0.00 0.00 0 0 0
29.99/30.14 c farkasdiving : 3.29 0.00 3 1 1
29.99/30.14 c feasjump : 0.00 0.00 0 0 0
29.99/30.14 c feaspump : 0.22 0.00 1 0 0
29.99/30.14 c fixandinfer : 0.00 0.00 0 0 0
29.99/30.14 c fracdiving : 0.00 0.00 0 0 0
29.99/30.14 c gins : 0.00 0.00 0 0 0
29.99/30.14 c guideddiving : 0.00 0.00 0 0 0
29.99/30.14 c indcoefdiving : 0.00 0.00 0 0 0
29.99/30.14 c indicator : 0.00 0.00 0 0 0
29.99/30.14 c indicatordiving : 0.00 0.00 0 0 0
29.99/30.14 c indoneopt : 0.26 0.00 6 0 0
29.99/30.14 c indrounding : 0.00 0.00 0 0 0
29.99/30.14 c indtwoopt : 0.00 0.00 0 0 0
29.99/30.14 c intdiving : 0.00 0.00 0 0 0
29.99/30.14 c intshifting : 0.00 0.00 0 0 0
29.99/30.14 c linesearchdiving : 0.00 0.00 0 0 0
29.99/30.14 c localbranching : 0.00 0.00 0 0 0
29.99/30.14 c locks : 0.06 0.00 1 0 0
29.99/30.14 c lpface : 0.43 0.00 1 0 0
29.99/30.14 c mpec : 0.00 0.00 0 0 0
29.99/30.14 c multistart : 0.00 0.00 0 0 0
29.99/30.14 c mutation : 0.00 0.00 0 0 0
29.99/30.14 c nlpdiving : 0.00 0.00 0 0 0
29.99/30.14 c objpscostdiving : 0.00 0.00 0 0 0
29.99/30.14 c octane : 0.00 0.00 0 0 0
29.99/30.14 c ofins : 0.00 0.00 0 0 0
29.99/30.14 c oneopt : 0.01 0.00 4 1 1
29.99/30.14 c padm : 0.00 0.00 0 0 0
29.99/30.14 c proximity : 0.00 0.00 0 0 0
29.99/30.14 c pscostdiving : 0.00 0.00 0 0 0
29.99/30.14 c randrounding : 0.36 0.00 79 0 0
29.99/30.14 c rens : 0.12 0.00 3 0 0
29.99/30.14 c reoptsols : 0.00 0.00 0 0 0
29.99/30.14 c repair : 0.00 0.00 0 0 0
29.99/30.14 c rins : 0.00 0.00 0 0 0
29.99/30.14 c rootsoldiving : 0.00 0.00 0 0 0
29.99/30.14 c rounding : 0.03 0.00 134 0 0
29.99/30.14 c scheduler : 0.00 0.00 0 0 0
29.99/30.14 c shiftandpropagate: 0.00 0.00 0 0 0
29.99/30.14 c shifting : 0.12 0.00 80 1 1
29.99/30.14 c simplerounding : 0.00 0.00 177 0 0
29.99/30.14 c smallcard : 0.00 0.00 0 0 0
29.99/30.14 c subnlp : 0.00 0.00 0 0 0
29.99/30.14 c trivial : 0.03 0.00 6 1 1
29.99/30.14 c trivialnegation : 0.00 0.00 0 0 0
29.99/30.14 c trustregion : 0.00 0.00 0 0 0
29.99/30.14 c trysol : 0.01 0.00 2 0 0
29.99/30.14 c twoopt : 0.00 0.00 0 0 0
29.99/30.14 c undercover : 0.02 0.00 1 0 0
29.99/30.14 c vbounds : 0.04 0.00 2 0 0
29.99/30.14 c veclendiving : 0.00 0.00 0 0 0
29.99/30.14 c zeroobj : 0.00 0.00 0 0 0
29.99/30.14 c zirounding : 0.00 0.00 24 0 0
29.99/30.14 c other solutions : - - - 0 -
29.99/30.14 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
29.99/30.14 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
29.99/30.14 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
29.99/30.14 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
29.99/30.14 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
29.99/30.14 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
29.99/30.14 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
29.99/30.14 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
29.99/30.14 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
29.99/30.14 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
29.99/30.14 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
29.99/30.14 c primal LP : 0.01 11 0 0.00 0.00 0.01 11
29.99/30.14 c dual LP : 1.91 199 17595 99.97 9190.26 0.03 23
29.99/30.14 c lex dual LP : 0.00 0 0 0.00 -
29.99/30.14 c barrier LP : 0.00 0 0 0.00 - 0.00 0
29.99/30.14 c resolve instable : 0.00 0 0 0.00 -
29.99/30.14 c diving/probing LP: 4.73 146 15627 107.03 3301.23
29.99/30.14 c strong branching : 3.64 198 34938 176.45 9588.55 - - 14
29.99/30.14 c (at root node) : - 66 25577 387.53 -
29.99/30.14 c conflict analysis: 0.00 2 10 5.00 -
29.99/30.14 c B&B Tree :
29.99/30.14 c number of runs : 3
29.99/30.14 c nodes : 36 (22 internal, 14 leaves)
29.99/30.14 c feasible leaves : 0
29.99/30.14 c infeas. leaves : 13
29.99/30.14 c objective leaves : 1
29.99/30.14 c nodes (total) : 38 (23 internal, 15 leaves)
29.99/30.14 c nodes left : 0
29.99/30.14 c max depth : 10
29.99/30.14 c max depth (total): 10
29.99/30.14 c backtracks : 9 (25.0%)
29.99/30.14 c early backtracks : 0 (0.0%)
29.99/30.14 c nodes exc. ref. : 0 (0.0%)
29.99/30.14 c delayed cutoffs : 1
29.99/30.14 c repropagations : 29 (764 domain reductions, 1 cutoffs)
29.99/30.14 c avg switch length: 3.33
29.99/30.14 c switching time : 0.02
29.99/30.14 c Root Node :
29.99/30.14 c First LP value : +0.00000000000000e+00
29.99/30.14 c First LP Iters : 1857 (16141.65 Iter/sec)
29.99/30.14 c First LP Time : 0.12
29.99/30.14 c Final Dual Bound : +1.00000000000000e+00
29.99/30.14 c Final Root Iters : 12975
29.99/30.14 c Root LP Estimate : +9.83403349718205e-02
29.99/30.14 c Solution :
29.99/30.14 c Solutions found : 8 (6 improvements)
29.99/30.14 c First Solution : +2.48952000000000e+05 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
29.99/30.14 c Gap First Sol. : infinite
29.99/30.14 c Gap Last Sol. : infinite
29.99/30.14 c Primal Bound : +1.00000000000000e+00 (in run 3, after 15 nodes, 29.14 seconds, depth 10, found by <shifting>)
29.99/30.14 c Dual Bound : +1.00000000000000e+00
29.99/30.14 c Gap : 0.00 %
29.99/30.14 c Integrals : Total Avg%
29.99/30.14 c primal-dual : 3012.37 100.00
29.99/30.14 c primal-ref : - - (not evaluated)
29.99/30.14 c dual-ref : - - (not evaluated)
30.08/30.24 c Time complete: 30.1261.
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: 64096 MiB (60752 MiB free)
memory of node 1: 64473 MiB (60676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455922-1721717822/watcher-4455922-1721717822 -o /tmp/evaluation-result-4455922-1721717822/solver-4455922-1721717822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721717817-79011 --watchdog 3760 pbscip -f HOME/instance-4455922-1721717822.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=79168, runsolver pid=79165
[startup+0.100844 s]*
/proc/loadavg: 1.90 2.04 2.07 5/244 79169
/proc/meminfo: memFree=124317644/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=80168 memory=41552 CPUtime=0.1 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 7136 0 0 0 8 2 0 0 20 0 1 0 7771671 82092032 10388 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 20042 10388 3576 3540 0 8299 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80168 KiB
Current children cumulated memory: 41552 KiB
[startup+0.2133 s]*
/proc/loadavg: 1.90 2.04 2.07 5/244 79169
/proc/meminfo: memFree=124295944/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=103176 memory=61924 CPUtime=0.21 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 12213 0 0 0 18 3 0 0 20 0 1 0 7771671 105652224 15481 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 25794 15481 3608 3540 0 14051 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 103176 KiB
Current children cumulated memory: 61924 KiB
[startup+0.313254 s]*
/proc/loadavg: 1.90 2.04 2.07 5/244 79169
/proc/meminfo: memFree=124292444/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=105628 memory=64420 CPUtime=0.3 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 12850 0 0 0 27 3 0 0 20 0 1 0 7771671 108163072 16105 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 26407 16105 3640 3540 0 14664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 105628 KiB
Current children cumulated memory: 64420 KiB
[startup+0.70033 s]
/proc/loadavg: 1.90 2.04 2.07 5/244 79169
/proc/meminfo: memFree=124292304/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=105820 memory=64684 CPUtime=0.68 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 12898 0 0 0 65 3 0 0 20 0 1 0 7771671 108359680 16171 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 26455 16171 3640 3540 0 14712 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105820 KiB
Current children cumulated memory: 64684 KiB
[startup+1.50034 s]
/proc/loadavg: 1.90 2.04 2.07 5/244 79169
/proc/meminfo: memFree=124284508/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=106076 memory=64948 CPUtime=1.47 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 12962 0 0 0 144 3 0 0 20 0 1 0 7771671 108621824 16237 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 26519 16237 3640 3540 0 14776 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 106076 KiB
Current children cumulated memory: 64948 KiB
[startup+3.11313 s]
/proc/loadavg: 1.90 2.04 2.07 5/244 79169
/proc/meminfo: memFree=124282756/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=107620 memory=66532 CPUtime=3.08 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 13346 0 0 0 305 3 0 0 20 0 1 0 7771671 110202880 16633 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 26905 16633 3640 3540 0 15162 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107620 KiB
Current children cumulated memory: 66532 KiB
[startup+6.30032 s]
/proc/loadavg: 2.07 2.07 2.08 5/244 79170
/proc/meminfo: memFree=124279876/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=109676 memory=68644 CPUtime=6.26 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 13864 0 0 0 622 4 0 0 20 0 1 0 7771671 112308224 17161 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 27419 17161 3640 3540 0 15676 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 109676 KiB
Current children cumulated memory: 68644 KiB
[startup+12.7003 s]
/proc/loadavg: 2.22 2.10 2.09 5/244 79170
/proc/meminfo: memFree=124223996/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=203224 memory=145024 CPUtime=12.63 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 33643 0 0 0 1257 6 0 0 20 0 1 0 7771671 208101376 36256 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 50806 36256 3880 3540 0 39063 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 203224 KiB
Current children cumulated memory: 145024 KiB
[startup+25.5003 s]
/proc/loadavg: 2.69 2.21 2.13 5/244 79172
/proc/meminfo: memFree=124147836/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=255044 memory=195980 CPUtime=25.39 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 50421 0 0 0 2529 10 0 0 20 0 1 0 7771671 261165056 48995 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 63761 48995 4022 3540 0 52018 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 255044 KiB
Current children cumulated memory: 195980 KiB
[startup+30.252 s]
# the end of solver process 79168 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=30.002 s, system=0.136366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.69 2.21 2.13 5/244 79172
/proc/meminfo: memFree=124147836/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=255044 memory=195980 CPUtime=25.49 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 50421 0 0 0 2539 10 0 0 20 0 1 0 7771671 261165056 48995 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 63761 48995 4022 3540 0 52018 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 255044 KiB
Current children cumulated memory: 195980 KiB
[startup+28.8003 s]
/proc/loadavg: 2.69 2.21 2.13 5/244 79173
/proc/meminfo: memFree=124135728/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=285944 memory=223960 CPUtime=28.68 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 58287 0 0 0 2856 12 0 0 20 0 1 0 7771671 292806656 55990 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 71486 55990 4022 3540 0 59743 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 285944 KiB
Current children cumulated memory: 223960 KiB
[startup+29.6003 s]
/proc/loadavg: 2.80 2.24 2.14 5/244 79173
/proc/meminfo: memFree=124099684/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=285944 memory=223960 CPUtime=29.48 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 58348 0 0 0 2936 12 0 0 20 0 1 0 7771671 292806656 55990 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 71486 55990 4022 3540 0 59743 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 285944 KiB
Current children cumulated memory: 223960 KiB
[startup+30.0003 s]*
/proc/loadavg: 2.80 2.24 2.14 5/244 79173
/proc/meminfo: memFree=124099692/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=285944 memory=223960 CPUtime=29.89 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 58348 0 0 0 2977 12 0 0 20 0 1 0 7771671 292806656 55990 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 71486 55990 4022 3540 0 59743 0
Current children cumulated CPU time: 29.89 s
Current children cumulated vsize: 285944 KiB
Current children cumulated memory: 223960 KiB
[startup+30.2003 s]
/proc/loadavg: 2.80 2.24 2.14 5/244 79173
/proc/meminfo: memFree=124099692/131655788 swapFree=131071996/131071996
[pid=79168] ppid=79165 vsize=285944 memory=223960 CPUtime=30.08 cores=5,7
/proc/79168/stat : 79168 (pbscip) R 79165 79168 78998 0 -1 4194304 58348 0 0 0 2996 12 0 0 20 0 1 0 7771671 292806656 55990 134679101440 4194304 18693293 140734902686624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 55791616 140734902690823 140734902690922 140734902690922 140734902697934 0
/proc/79168/statm: 71486 55990 4022 3540 0 59743 0
Current children cumulated CPU time: 30.08 s
Current children cumulated vsize: 285944 KiB
Current children cumulated memory: 223960 KiB
Child status: 0
Real time (s): 30.2521
CPU time (s): 30.1383
CPU user time (s): 30.002
CPU system time (s): 0.136366
CPU usage (%): 99.624
Max. virtual memory (cumulated for all children) (KiB): 288972
Max. memory (cumulated for all children) (KiB): 226860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.002
system time used= 0.136366
maximum resident set size= 227652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 50
# summary of solver processes directly reported to runsolver:
# pid: 79168
# total CPU time (s): 30.1383
# total CPU user time (s): 30.002
# total CPU system time (s): 0.136366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.189821 second user time and 0.401162 second system time
The end
Begin job on nodeC007 at 2024-07-23 08:57:02 IDJOB=4455922 IDBENCH=143117 IDSOLVER=3038 FILE ID=nodeC007/4455922-1721717822 RUNJOBID= nodeC007-1721717817-79011 SLURM_JOB_ID= 7770389 Free space on /tmp= 723724 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl--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-4455922-1721717822/watcher-4455922-1721717822 -o /tmp/evaluation-result-4455922-1721717822/solver-4455922-1721717822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721717817-79011 --watchdog 3760 pbscip -f HOME/instance-4455922-1721717822.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c99007ab0c844b346484c471f4c57e4 RANDOM SEED=732379890 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.449 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3542.314 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.224 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3497.691 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.203 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.215 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.212 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124343524 kB MemAvailable: 128952652 kB Buffers: 134208 kB Cached: 5251168 kB SwapCached: 0 kB Active: 871804 kB Inactive: 5839412 kB Active(anon): 1468 kB Inactive(anon): 1353576 kB Active(file): 870336 kB Inactive(file): 4485836 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 78104 kB Writeback: 0 kB AnonPages: 1325548 kB Mapped: 130636 kB Shmem: 29504 kB KReclaimable: 186308 kB Slab: 284312 kB SReclaimable: 186308 kB SUnreclaim: 98004 kB KernelStack: 3968 kB PageTables: 12272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1843180 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17344 kB HardwareCorrupted: 0 kB AnonHugePages: 167936 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279368 kB DirectMap2M: 23742464 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 723708 MiB End job on nodeC007 at 2024-07-23 08:57:33