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 | 10.5762 | 10.6187 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo |
| MD5SUM | 0971c962bf2581d0ee8c4d9aaf2e583b |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.143395 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 625 |
| Total number of constraints | 3805 |
| Number of soft constraints | 3680 |
| Number of constraints which are clauses | 3680 |
| Number of constraints which are cardinality constraints (but not clauses) | 125 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5 |
| Top cost | 737 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 3680 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6 |
| Number of bits of the biggest sum of numbers | 3 |
| 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-4425185-1720894355.wbo>
0.00/0.04 c original problem has 4305 variables (4305 bin, 0 int, 0 impl, 0 cont) and 7486 constraints
0.00/0.04 c problem read in 0.04
0.10/0.12 c presolving:
0.10/0.15 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3805 clqs
0.10/0.17 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3805 clqs
0.20/0.26 c (round 3, exhaustive) 25 del vars, 0 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3780 clqs
0.30/0.34 c (round 4, exhaustive) 50 del vars, 0 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3755 clqs
0.30/0.34 c (round 5, fast) 50 del vars, 25 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3755 clqs
0.30/0.42 c (round 6, exhaustive) 75 del vars, 25 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3730 clqs
0.41/0.42 c (round 7, fast) 75 del vars, 50 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3730 clqs
0.41/0.48 c (round 8, exhaustive) 100 del vars, 50 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3705 clqs
0.41/0.48 c (round 9, fast) 100 del vars, 75 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3705 clqs
0.51/0.56 c (round 10, exhaustive) 125 del vars, 75 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3680 clqs
0.51/0.56 c (round 11, fast) 125 del vars, 100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3680 clqs
0.59/0.64 c (round 12, exhaustive) 150 del vars, 100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3655 clqs
0.59/0.64 c (round 13, fast) 150 del vars, 125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3655 clqs
0.68/0.70 c (round 14, exhaustive) 175 del vars, 125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3630 clqs
0.68/0.71 c (round 15, fast) 175 del vars, 150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3630 clqs
0.68/0.78 c (round 16, exhaustive) 200 del vars, 150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3605 clqs
0.68/0.78 c (round 17, fast) 200 del vars, 175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3605 clqs
0.78/0.84 c (round 18, exhaustive) 225 del vars, 175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3580 clqs
0.78/0.84 c (round 19, fast) 225 del vars, 200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3580 clqs
0.88/0.90 c (round 20, exhaustive) 250 del vars, 200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3555 clqs
0.88/0.90 c (round 21, fast) 250 del vars, 225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3555 clqs
0.88/0.95 c (round 22, exhaustive) 275 del vars, 225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3530 clqs
0.88/0.96 c (round 23, fast) 275 del vars, 250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3530 clqs
0.99/1.02 c (round 24, exhaustive) 300 del vars, 250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3505 clqs
0.99/1.02 c (round 25, fast) 300 del vars, 275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3505 clqs
0.99/1.06 c (round 26, exhaustive) 325 del vars, 275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3480 clqs
0.99/1.06 c (round 27, fast) 325 del vars, 300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3480 clqs
1.09/1.12 c (round 28, exhaustive) 350 del vars, 300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3455 clqs
1.09/1.12 c (round 29, fast) 350 del vars, 325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3455 clqs
1.09/1.16 c (round 30, exhaustive) 375 del vars, 325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3430 clqs
1.09/1.16 c (round 31, fast) 375 del vars, 350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3430 clqs
1.18/1.22 c (round 32, exhaustive) 400 del vars, 350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3405 clqs
1.18/1.22 c (round 33, fast) 400 del vars, 375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3405 clqs
1.18/1.26 c (round 34, exhaustive) 425 del vars, 375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3380 clqs
1.18/1.26 c (round 35, fast) 425 del vars, 400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3380 clqs
1.18/1.29 c (round 36, exhaustive) 450 del vars, 400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3355 clqs
1.28/1.30 c (round 37, fast) 450 del vars, 425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3355 clqs
1.28/1.34 c (round 38, exhaustive) 475 del vars, 425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3330 clqs
1.28/1.34 c (round 39, fast) 475 del vars, 450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3330 clqs
1.28/1.37 c (1.4s) probing: 1000/7985 (12.5%) - 0 fixings, 499 aggregations, 0 implications, 0 bound changes
1.28/1.38 c (round 40, exhaustive) 500 del vars, 450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3305 clqs
1.28/1.38 c (round 41, fast) 500 del vars, 475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3305 clqs
1.38/1.42 c (round 42, exhaustive) 525 del vars, 475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3280 clqs
1.38/1.42 c (round 43, fast) 525 del vars, 500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3280 clqs
1.38/1.47 c (round 44, exhaustive) 550 del vars, 500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3255 clqs
1.38/1.47 c (round 45, fast) 550 del vars, 525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3255 clqs
1.48/1.51 c (round 46, exhaustive) 575 del vars, 525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3230 clqs
1.48/1.51 c (round 47, fast) 575 del vars, 550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3230 clqs
1.48/1.55 c (round 48, exhaustive) 600 del vars, 550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3205 clqs
1.48/1.55 c (round 49, fast) 600 del vars, 575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3205 clqs
1.58/1.60 c (round 50, exhaustive) 625 del vars, 575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3180 clqs
1.58/1.60 c (round 51, fast) 625 del vars, 600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3180 clqs
1.58/1.64 c (round 52, exhaustive) 650 del vars, 600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3155 clqs
1.58/1.65 c (round 53, fast) 650 del vars, 625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3155 clqs
1.58/1.69 c (round 54, exhaustive) 675 del vars, 625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3130 clqs
1.58/1.69 c (round 55, fast) 675 del vars, 650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3130 clqs
1.67/1.74 c (round 56, exhaustive) 700 del vars, 650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3105 clqs
1.67/1.74 c (round 57, fast) 700 del vars, 675 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3105 clqs
1.67/1.77 c (round 58, exhaustive) 725 del vars, 675 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3080 clqs
1.67/1.78 c (round 59, fast) 725 del vars, 700 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3080 clqs
1.77/1.81 c (round 60, exhaustive) 750 del vars, 700 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3055 clqs
1.77/1.81 c (round 61, fast) 750 del vars, 725 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3055 clqs
1.77/1.84 c (round 62, exhaustive) 775 del vars, 725 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3030 clqs
1.77/1.84 c (round 63, fast) 775 del vars, 750 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3030 clqs
1.77/1.87 c (round 64, exhaustive) 800 del vars, 750 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3005 clqs
1.77/1.87 c (round 65, fast) 800 del vars, 775 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 3005 clqs
1.87/1.91 c (round 66, exhaustive) 825 del vars, 775 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2980 clqs
1.87/1.91 c (round 67, fast) 825 del vars, 800 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2980 clqs
1.87/1.95 c (round 68, exhaustive) 850 del vars, 800 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2955 clqs
1.87/1.95 c (round 69, fast) 850 del vars, 825 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2955 clqs
1.87/1.98 c (round 70, exhaustive) 875 del vars, 825 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2930 clqs
1.87/1.98 c (round 71, fast) 875 del vars, 850 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2930 clqs
1.99/2.02 c (round 72, exhaustive) 900 del vars, 850 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2905 clqs
1.99/2.02 c (round 73, fast) 900 del vars, 875 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2905 clqs
1.99/2.05 c (round 74, exhaustive) 925 del vars, 875 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2880 clqs
1.99/2.05 c (round 75, fast) 925 del vars, 900 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2880 clqs
1.99/2.09 c (round 76, exhaustive) 950 del vars, 900 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2855 clqs
1.99/2.09 c (round 77, fast) 950 del vars, 925 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2855 clqs
2.09/2.12 c (round 78, exhaustive) 975 del vars, 925 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2830 clqs
2.09/2.12 c (round 79, fast) 975 del vars, 950 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2830 clqs
2.09/2.15 c (2.1s) probing: 2000/7985 (25.0%) - 0 fixings, 998 aggregations, 0 implications, 0 bound changes
2.09/2.15 c (round 80, exhaustive) 1000 del vars, 950 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2805 clqs
2.09/2.15 c (round 81, fast) 1000 del vars, 975 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2805 clqs
2.09/2.19 c (round 82, exhaustive) 1025 del vars, 975 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2780 clqs
2.09/2.19 c (round 83, fast) 1025 del vars, 1000 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2780 clqs
2.17/2.22 c (round 84, exhaustive) 1050 del vars, 1000 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2755 clqs
2.17/2.22 c (round 85, fast) 1050 del vars, 1025 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2755 clqs
2.17/2.26 c (round 86, exhaustive) 1075 del vars, 1025 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2730 clqs
2.17/2.26 c (round 87, fast) 1075 del vars, 1050 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2730 clqs
2.17/2.28 c (round 88, exhaustive) 1100 del vars, 1050 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2705 clqs
2.17/2.28 c (round 89, fast) 1100 del vars, 1075 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2705 clqs
2.27/2.31 c (round 90, exhaustive) 1125 del vars, 1075 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2680 clqs
2.27/2.31 c (round 91, fast) 1125 del vars, 1100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2680 clqs
2.27/2.34 c (round 92, exhaustive) 1150 del vars, 1100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2655 clqs
2.27/2.34 c (round 93, fast) 1150 del vars, 1125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2655 clqs
2.27/2.37 c (round 94, exhaustive) 1175 del vars, 1125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2630 clqs
2.27/2.38 c (round 95, fast) 1175 del vars, 1150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2630 clqs
2.37/2.41 c (round 96, exhaustive) 1200 del vars, 1150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2605 clqs
2.37/2.41 c (round 97, fast) 1200 del vars, 1175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2605 clqs
2.37/2.44 c (round 98, exhaustive) 1225 del vars, 1175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2580 clqs
2.37/2.44 c (round 99, fast) 1225 del vars, 1200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2580 clqs
2.37/2.47 c (round 100, exhaustive) 1250 del vars, 1200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2555 clqs
2.37/2.47 c (round 101, fast) 1250 del vars, 1225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2555 clqs
2.47/2.50 c (round 102, exhaustive) 1275 del vars, 1225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2530 clqs
2.47/2.50 c (round 103, fast) 1275 del vars, 1250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2530 clqs
2.47/2.54 c (round 104, exhaustive) 1300 del vars, 1250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2505 clqs
2.47/2.54 c (round 105, fast) 1300 del vars, 1275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2505 clqs
2.47/2.57 c (round 106, exhaustive) 1325 del vars, 1275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2480 clqs
2.47/2.57 c (round 107, fast) 1325 del vars, 1300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2480 clqs
2.57/2.60 c (round 108, exhaustive) 1350 del vars, 1300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2455 clqs
2.57/2.60 c (round 109, fast) 1350 del vars, 1325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2455 clqs
2.57/2.64 c (round 110, exhaustive) 1375 del vars, 1325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2430 clqs
2.57/2.64 c (round 111, fast) 1375 del vars, 1350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2430 clqs
2.57/2.67 c (round 112, exhaustive) 1400 del vars, 1350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2405 clqs
2.57/2.67 c (round 113, fast) 1400 del vars, 1375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2405 clqs
2.57/2.70 c (round 114, exhaustive) 1425 del vars, 1375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2380 clqs
2.67/2.70 c (round 115, fast) 1425 del vars, 1400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2380 clqs
2.67/2.73 c (round 116, exhaustive) 1450 del vars, 1400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2355 clqs
2.67/2.73 c (round 117, fast) 1450 del vars, 1425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2355 clqs
2.67/2.76 c (round 118, exhaustive) 1475 del vars, 1425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2330 clqs
2.67/2.76 c (round 119, fast) 1475 del vars, 1450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2330 clqs
2.67/2.79 c (round 120, exhaustive) 1500 del vars, 1450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2305 clqs
2.67/2.79 c (round 121, fast) 1500 del vars, 1475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2305 clqs
2.77/2.81 c (2.8s) probing: 3000/7985 (37.6%) - 0 fixings, 1514 aggregations, 0 implications, 0 bound changes
2.77/2.82 c (round 122, exhaustive) 1525 del vars, 1475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2280 clqs
2.77/2.82 c (round 123, fast) 1525 del vars, 1500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2280 clqs
2.77/2.86 c (round 124, exhaustive) 1550 del vars, 1500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2255 clqs
2.77/2.86 c (round 125, fast) 1550 del vars, 1525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2255 clqs
2.77/2.89 c (round 126, exhaustive) 1575 del vars, 1525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2230 clqs
2.77/2.89 c (round 127, fast) 1575 del vars, 1550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2230 clqs
2.87/2.92 c (round 128, exhaustive) 1600 del vars, 1550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2205 clqs
2.87/2.92 c (round 129, fast) 1600 del vars, 1575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2205 clqs
2.87/2.95 c (round 130, exhaustive) 1625 del vars, 1575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2180 clqs
2.87/2.95 c (round 131, fast) 1625 del vars, 1600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2180 clqs
2.87/2.98 c (round 132, exhaustive) 1650 del vars, 1600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2155 clqs
2.87/2.98 c (round 133, fast) 1650 del vars, 1625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2155 clqs
2.99/3.01 c (round 134, exhaustive) 1675 del vars, 1625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2130 clqs
2.99/3.01 c (round 135, fast) 1675 del vars, 1650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2130 clqs
2.99/3.05 c (round 136, exhaustive) 1700 del vars, 1650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2105 clqs
2.99/3.05 c (round 137, fast) 1700 del vars, 1675 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2105 clqs
2.99/3.08 c (round 138, exhaustive) 1725 del vars, 1675 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2080 clqs
2.99/3.08 c (round 139, fast) 1725 del vars, 1700 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2080 clqs
3.09/3.12 c (round 140, exhaustive) 1750 del vars, 1700 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2055 clqs
3.09/3.12 c (round 141, fast) 1750 del vars, 1725 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2055 clqs
3.09/3.15 c (round 142, exhaustive) 1775 del vars, 1725 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2030 clqs
3.09/3.15 c (round 143, fast) 1775 del vars, 1750 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2030 clqs
3.09/3.18 c (round 144, exhaustive) 1800 del vars, 1750 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2005 clqs
3.09/3.18 c (round 145, fast) 1800 del vars, 1775 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 2005 clqs
3.18/3.21 c (round 146, exhaustive) 1825 del vars, 1775 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1980 clqs
3.18/3.21 c (round 147, fast) 1825 del vars, 1800 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1980 clqs
3.18/3.23 c (round 148, exhaustive) 1850 del vars, 1800 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1955 clqs
3.18/3.24 c (round 149, fast) 1850 del vars, 1825 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1955 clqs
3.18/3.27 c (round 150, exhaustive) 1875 del vars, 1825 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1930 clqs
3.18/3.27 c (round 151, fast) 1875 del vars, 1850 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1930 clqs
3.18/3.29 c (round 152, exhaustive) 1900 del vars, 1850 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1905 clqs
3.18/3.29 c (round 153, fast) 1900 del vars, 1875 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1905 clqs
3.28/3.32 c (round 154, exhaustive) 1925 del vars, 1875 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1880 clqs
3.28/3.32 c (round 155, fast) 1925 del vars, 1900 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1880 clqs
3.28/3.35 c (round 156, exhaustive) 1950 del vars, 1900 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1855 clqs
3.28/3.35 c (round 157, fast) 1950 del vars, 1925 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1855 clqs
3.28/3.38 c (round 158, exhaustive) 1975 del vars, 1925 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1830 clqs
3.28/3.38 c (round 159, fast) 1975 del vars, 1950 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1830 clqs
3.38/3.41 c (3.4s) probing: 4000/7985 (50.1%) - 0 fixings, 1996 aggregations, 0 implications, 0 bound changes
3.38/3.41 c (round 160, exhaustive) 2000 del vars, 1950 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1805 clqs
3.38/3.41 c (round 161, fast) 2000 del vars, 1975 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1805 clqs
3.38/3.44 c (round 162, exhaustive) 2025 del vars, 1975 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1780 clqs
3.38/3.44 c (round 163, fast) 2025 del vars, 2000 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1780 clqs
3.38/3.46 c (round 164, exhaustive) 2050 del vars, 2000 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1755 clqs
3.38/3.46 c (round 165, fast) 2050 del vars, 2025 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1755 clqs
3.38/3.49 c (round 166, exhaustive) 2075 del vars, 2025 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1730 clqs
3.38/3.49 c (round 167, fast) 2075 del vars, 2050 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1730 clqs
3.48/3.52 c (round 168, exhaustive) 2100 del vars, 2050 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1705 clqs
3.48/3.52 c (round 169, fast) 2100 del vars, 2075 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1705 clqs
3.48/3.54 c (round 170, exhaustive) 2125 del vars, 2075 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1680 clqs
3.48/3.54 c (round 171, fast) 2125 del vars, 2100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1680 clqs
3.48/3.57 c (round 172, exhaustive) 2150 del vars, 2100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1655 clqs
3.48/3.57 c (round 173, fast) 2150 del vars, 2125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1655 clqs
3.58/3.60 c (round 174, exhaustive) 2175 del vars, 2125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1630 clqs
3.58/3.60 c (round 175, fast) 2175 del vars, 2150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1630 clqs
3.58/3.63 c (round 176, exhaustive) 2200 del vars, 2150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1605 clqs
3.58/3.63 c (round 177, fast) 2200 del vars, 2175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1605 clqs
3.58/3.66 c (round 178, exhaustive) 2225 del vars, 2175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1580 clqs
3.58/3.66 c (round 179, fast) 2225 del vars, 2200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1580 clqs
3.58/3.69 c (round 180, exhaustive) 2250 del vars, 2200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1555 clqs
3.58/3.69 c (round 181, fast) 2250 del vars, 2225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1555 clqs
3.68/3.71 c (round 182, exhaustive) 2275 del vars, 2225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1530 clqs
3.68/3.72 c (round 183, fast) 2275 del vars, 2250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1530 clqs
3.68/3.74 c (round 184, exhaustive) 2300 del vars, 2250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1505 clqs
3.68/3.74 c (round 185, fast) 2300 del vars, 2275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1505 clqs
3.68/3.77 c (round 186, exhaustive) 2325 del vars, 2275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1480 clqs
3.68/3.77 c (round 187, fast) 2325 del vars, 2300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1480 clqs
3.78/3.80 c (round 188, exhaustive) 2350 del vars, 2300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1455 clqs
3.78/3.80 c (round 189, fast) 2350 del vars, 2325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1455 clqs
3.78/3.83 c (round 190, exhaustive) 2375 del vars, 2325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1430 clqs
3.78/3.83 c (round 191, fast) 2375 del vars, 2350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1430 clqs
3.78/3.86 c (round 192, exhaustive) 2400 del vars, 2350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1405 clqs
3.78/3.86 c (round 193, fast) 2400 del vars, 2375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1405 clqs
3.78/3.89 c (round 194, exhaustive) 2425 del vars, 2375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1380 clqs
3.78/3.89 c (round 195, fast) 2425 del vars, 2400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1380 clqs
3.88/3.91 c (round 196, exhaustive) 2450 del vars, 2400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1355 clqs
3.88/3.91 c (round 197, fast) 2450 del vars, 2425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1355 clqs
3.88/3.94 c (round 198, exhaustive) 2475 del vars, 2425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1330 clqs
3.88/3.94 c (round 199, fast) 2475 del vars, 2450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1330 clqs
3.88/3.96 c (4.0s) probing: 5000/7985 (62.6%) - 0 fixings, 2494 aggregations, 0 implications, 0 bound changes
3.88/3.96 c (round 200, exhaustive) 2500 del vars, 2450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1305 clqs
3.88/3.97 c (round 201, fast) 2500 del vars, 2475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1305 clqs
3.88/3.99 c (round 202, exhaustive) 2525 del vars, 2475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1280 clqs
3.88/3.99 c (round 203, fast) 2525 del vars, 2500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1280 clqs
3.99/4.02 c (round 204, exhaustive) 2550 del vars, 2500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1255 clqs
3.99/4.02 c (round 205, fast) 2550 del vars, 2525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1255 clqs
3.99/4.04 c (round 206, exhaustive) 2575 del vars, 2525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1230 clqs
3.99/4.04 c (round 207, fast) 2575 del vars, 2550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1230 clqs
3.99/4.06 c (round 208, exhaustive) 2600 del vars, 2550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1205 clqs
3.99/4.07 c (round 209, fast) 2600 del vars, 2575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1205 clqs
3.99/4.09 c (round 210, exhaustive) 2625 del vars, 2575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1180 clqs
3.99/4.09 c (round 211, fast) 2625 del vars, 2600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1180 clqs
4.09/4.12 c (round 212, exhaustive) 2650 del vars, 2600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1155 clqs
4.09/4.12 c (round 213, fast) 2650 del vars, 2625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1155 clqs
4.09/4.14 c (round 214, exhaustive) 2675 del vars, 2625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1130 clqs
4.09/4.14 c (round 215, fast) 2675 del vars, 2650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1130 clqs
4.09/4.17 c (round 216, exhaustive) 2700 del vars, 2650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1105 clqs
4.09/4.17 c (round 217, fast) 2700 del vars, 2675 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1105 clqs
4.09/4.20 c (round 218, exhaustive) 2725 del vars, 2675 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1080 clqs
4.17/4.20 c (round 219, fast) 2725 del vars, 2700 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1080 clqs
4.17/4.22 c (round 220, exhaustive) 2750 del vars, 2700 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1055 clqs
4.17/4.22 c (round 221, fast) 2750 del vars, 2725 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1055 clqs
4.17/4.25 c (round 222, exhaustive) 2775 del vars, 2725 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1030 clqs
4.17/4.25 c (round 223, fast) 2775 del vars, 2750 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1030 clqs
4.17/4.28 c (round 224, exhaustive) 2800 del vars, 2750 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1005 clqs
4.17/4.28 c (round 225, fast) 2800 del vars, 2775 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 1005 clqs
4.27/4.30 c (round 226, exhaustive) 2825 del vars, 2775 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 980 clqs
4.27/4.30 c (round 227, fast) 2825 del vars, 2800 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 980 clqs
4.27/4.32 c (round 228, exhaustive) 2850 del vars, 2800 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 955 clqs
4.27/4.32 c (round 229, fast) 2850 del vars, 2825 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 955 clqs
4.27/4.35 c (round 230, exhaustive) 2875 del vars, 2825 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 930 clqs
4.27/4.35 c (round 231, fast) 2875 del vars, 2850 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 930 clqs
4.27/4.37 c (round 232, exhaustive) 2900 del vars, 2850 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 905 clqs
4.27/4.37 c (round 233, fast) 2900 del vars, 2875 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 905 clqs
4.27/4.39 c (round 234, exhaustive) 2925 del vars, 2875 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 880 clqs
4.27/4.39 c (round 235, fast) 2925 del vars, 2900 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 880 clqs
4.37/4.41 c (round 236, exhaustive) 2950 del vars, 2900 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 855 clqs
4.37/4.41 c (round 237, fast) 2950 del vars, 2925 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 855 clqs
4.37/4.43 c (round 238, exhaustive) 2975 del vars, 2925 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 830 clqs
4.37/4.43 c (round 239, fast) 2975 del vars, 2950 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 830 clqs
4.37/4.45 c (4.4s) probing: 6000/7985 (75.1%) - 0 fixings, 2995 aggregations, 0 implications, 0 bound changes
4.37/4.45 c (round 240, exhaustive) 3000 del vars, 2950 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 805 clqs
4.37/4.46 c (round 241, fast) 3000 del vars, 2975 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 805 clqs
4.37/4.48 c (round 242, exhaustive) 3025 del vars, 2975 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 780 clqs
4.37/4.48 c (round 243, fast) 3025 del vars, 3000 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 780 clqs
4.47/4.50 c (round 244, exhaustive) 3050 del vars, 3000 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 755 clqs
4.47/4.50 c (round 245, fast) 3050 del vars, 3025 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 755 clqs
4.47/4.52 c (round 246, exhaustive) 3075 del vars, 3025 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 730 clqs
4.47/4.52 c (round 247, fast) 3075 del vars, 3050 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 730 clqs
4.47/4.55 c (round 248, exhaustive) 3100 del vars, 3050 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 705 clqs
4.47/4.55 c (round 249, fast) 3100 del vars, 3075 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 705 clqs
4.47/4.57 c (round 250, exhaustive) 3125 del vars, 3075 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 680 clqs
4.47/4.57 c (round 251, fast) 3125 del vars, 3100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 680 clqs
4.47/4.59 c (round 252, exhaustive) 3150 del vars, 3100 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 655 clqs
4.47/4.59 c (round 253, fast) 3150 del vars, 3125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 655 clqs
4.57/4.61 c (round 254, exhaustive) 3175 del vars, 3125 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 630 clqs
4.57/4.61 c (round 255, fast) 3175 del vars, 3150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 630 clqs
4.57/4.63 c (round 256, exhaustive) 3200 del vars, 3150 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 605 clqs
4.57/4.63 c (round 257, fast) 3200 del vars, 3175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 605 clqs
4.57/4.65 c (round 258, exhaustive) 3225 del vars, 3175 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 580 clqs
4.57/4.65 c (round 259, fast) 3225 del vars, 3200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 580 clqs
4.57/4.67 c (round 260, exhaustive) 3250 del vars, 3200 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 555 clqs
4.57/4.67 c (round 261, fast) 3250 del vars, 3225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 555 clqs
4.67/4.70 c (round 262, exhaustive) 3275 del vars, 3225 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 530 clqs
4.67/4.70 c (round 263, fast) 3275 del vars, 3250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 530 clqs
4.67/4.72 c (round 264, exhaustive) 3300 del vars, 3250 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 505 clqs
4.67/4.72 c (round 265, fast) 3300 del vars, 3275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 505 clqs
4.67/4.74 c (round 266, exhaustive) 3325 del vars, 3275 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 480 clqs
4.67/4.74 c (round 267, fast) 3325 del vars, 3300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 480 clqs
4.67/4.76 c (round 268, exhaustive) 3350 del vars, 3300 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 455 clqs
4.67/4.76 c (round 269, fast) 3350 del vars, 3325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 455 clqs
4.67/4.78 c (round 270, exhaustive) 3375 del vars, 3325 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 430 clqs
4.67/4.78 c (round 271, fast) 3375 del vars, 3350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 430 clqs
4.77/4.80 c (round 272, exhaustive) 3400 del vars, 3350 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 405 clqs
4.77/4.80 c (round 273, fast) 3400 del vars, 3375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 405 clqs
4.77/4.82 c (round 274, exhaustive) 3425 del vars, 3375 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 380 clqs
4.77/4.82 c (round 275, fast) 3425 del vars, 3400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 380 clqs
4.77/4.84 c (round 276, exhaustive) 3450 del vars, 3400 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 355 clqs
4.77/4.84 c (round 277, fast) 3450 del vars, 3425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 355 clqs
4.77/4.86 c (round 278, exhaustive) 3475 del vars, 3425 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 330 clqs
4.77/4.86 c (round 279, fast) 3475 del vars, 3450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 330 clqs
4.77/4.88 c (round 280, exhaustive) 3500 del vars, 3450 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 305 clqs
4.77/4.88 c (round 281, fast) 3500 del vars, 3475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 305 clqs
4.77/4.89 c (4.9s) probing: 7000/7985 (87.7%) - 0 fixings, 3506 aggregations, 0 implications, 0 bound changes
4.87/4.91 c (round 282, exhaustive) 3525 del vars, 3475 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 280 clqs
4.87/4.91 c (round 283, fast) 3525 del vars, 3500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 280 clqs
4.87/4.92 c (round 284, exhaustive) 3550 del vars, 3500 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 255 clqs
4.87/4.93 c (round 285, fast) 3550 del vars, 3525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 255 clqs
4.87/4.94 c (round 286, exhaustive) 3575 del vars, 3525 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 230 clqs
4.87/4.95 c (round 287, fast) 3575 del vars, 3550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 230 clqs
4.87/4.96 c (round 288, exhaustive) 3600 del vars, 3550 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 205 clqs
4.87/4.96 c (round 289, fast) 3600 del vars, 3575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 205 clqs
4.87/4.98 c (round 290, exhaustive) 3625 del vars, 3575 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 180 clqs
4.87/4.98 c (round 291, fast) 3625 del vars, 3600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 180 clqs
4.87/5.00 c (round 292, exhaustive) 3650 del vars, 3600 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 155 clqs
4.87/5.00 c (round 293, fast) 3650 del vars, 3625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 155 clqs
4.98/5.03 c (round 294, exhaustive) 3675 del vars, 3625 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 130 clqs
4.98/5.03 c (round 295, fast) 3675 del vars, 3650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 130 clqs
4.98/5.05 c (5.0s) probing: 7404/7985 (92.7%) - 0 fixings, 3680 aggregations, 0 implications, 0 bound changes
4.98/5.05 c (5.0s) probing aborted: 50/50 successive totally useless probings
4.98/5.05 c (round 296, exhaustive) 3680 del vars, 3650 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 125 clqs
4.98/5.05 c (round 297, fast) 3680 del vars, 3675 del conss, 0 add conss, 3680 chg bounds, 0 chg sides, 0 chg coeffs, 126 upgd conss, 0 impls, 125 clqs
4.98/5.05 c (5.0s) probing: 7409/7985 (92.8%) - 0 fixings, 3680 aggregations, 0 implications, 0 bound changes
4.98/5.05 c (5.0s) probing aborted: 50/50 successive totally useless probings
4.98/5.05 c (5.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.98/5.06 c (5.1s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
4.98/5.07 c dynamic symmetry handling statistics:
4.98/5.07 c orbitopal reduction: no components
4.98/5.07 c orbital reduction: no components
4.98/5.07 c lexicographic reduction: 1 permutations with support sizes 1722
4.98/5.07 c handled 1 out of 1 symmetry components
4.98/5.07 c presolving (298 rounds: 298 fast, 150 medium, 150 exhaustive):
4.98/5.07 c 3680 deleted vars, 3675 deleted constraints, 0 added constraints, 3680 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.98/5.07 c 0 implications, 125 cliques
4.98/5.07 c presolved problem has 4305 variables (4305 bin, 0 int, 0 impl, 0 cont) and 3811 constraints
4.98/5.07 c 1 constraints of type <knapsack>
4.98/5.07 c 125 constraints of type <setppc>
4.98/5.07 c 3680 constraints of type <linear>
4.98/5.07 c 5 constraints of type <indicator>
4.98/5.07 c transformed objective value is always integral (scale: 1)
4.98/5.07 c Presolving Time: 5.00
4.98/5.07 c - non default parameters ----------------------------------------------------------------------
4.98/5.07 c # SCIP version 10.0.0
4.98/5.07 c
4.98/5.07 c # maximal time in seconds to run
4.98/5.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.98/5.07 c limits/time = 3596.993151
4.98/5.07 c
4.98/5.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.98/5.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.98/5.07 c limits/memory = 27900
4.98/5.07 c
4.98/5.07 c # belongs reading time to solving time?
4.98/5.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.98/5.07 c timing/reading = TRUE
4.98/5.07 c
4.98/5.07 c -----------------------------------------------------------------------------------------------
4.98/5.07 c start solving
4.98/5.07 c
4.98/5.09 o 736
4.98/5.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.98/5.09 c p 5.1s| 1 | 0 | 0 | - | clique| 0 |4305 |3811 |3805 | 0 | 0 | 0 | 0 | 0.000000e+00 | 7.360000e+02 | Inf | unknown
5.37/5.43 c 5.4s| 1 | 0 | 614 | - | 82M | 0 |4305 |3814 |3805 | 0 | 0 | 3 | 0 | 0.000000e+00 | 7.360000e+02 | Inf | unknown
5.37/5.43 o 220
5.37/5.43 c r 5.4s| 1 | 0 | 614 | - |shifting| 0 |4305 |3811 |3805 | 0 | 0 | 3 | 0 | 0.000000e+00 | 2.200000e+02 | Inf | unknown
5.47/5.57 c 5.6s| 1 | 0 | 736 | - | 86M | 0 |4305 |3811 |3822 | 17 | 1 | 3 | 0 | 0.000000e+00 | 2.200000e+02 | Inf | unknown
5.57/5.65 c 5.6s| 1 | 0 | 1004 | - | 88M | 0 |4305 |3811 |3833 | 28 | 2 | 3 | 0 | 0.000000e+00 | 2.200000e+02 | Inf | unknown
5.57/5.65 o 218
5.57/5.65 c r 5.6s| 1 | 0 | 1004 | - |shifting| 0 |4305 |3811 |3833 | 28 | 2 | 3 | 0 | 0.000000e+00 | 2.180000e+02 | Inf | unknown
5.77/5.81 c 5.8s| 1 | 0 | 1096 | - | 95M | 0 |4305 |3811 |3840 | 35 | 3 | 3 | 0 | 0.000000e+00 | 2.180000e+02 | Inf | unknown
5.77/5.81 o 217
5.77/5.81 c i 5.8s| 1 | 0 | 1096 | - | oneopt| 0 |4305 |3811 |3840 | 35 | 3 | 3 | 0 | 0.000000e+00 | 2.170000e+02 | Inf | unknown
6.07/6.16 c 6.1s| 1 | 0 | 1254 | - | 104M | 0 |4305 |3811 |3846 | 41 | 4 | 3 | 0 | 0.000000e+00 | 2.170000e+02 | Inf | unknown
6.07/6.16 o 140
6.07/6.16 c r 6.2s| 1 | 0 | 1254 | - |shifting| 0 |4305 |3811 |3846 | 41 | 4 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
6.26/6.32 c 6.3s| 1 | 0 | 1355 | - | 107M | 0 |4305 |3811 |3849 | 44 | 5 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
6.46/6.50 c 6.5s| 1 | 0 | 1453 | - | 113M | 0 |4305 |3811 |3854 | 49 | 6 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
6.56/6.62 c 6.6s| 1 | 0 | 1560 | - | 122M | 0 |4305 |3811 |3860 | 55 | 7 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
6.76/6.87 c 6.9s| 1 | 0 | 1653 | - | 130M | 0 |4305 |3811 |3862 | 57 | 8 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
7.08/7.13 c 7.1s| 1 | 0 | 1758 | - | 137M | 0 |4305 |3811 |3866 | 61 | 9 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
7.16/7.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.16/7.28 c 7.3s| 1 | 0 | 1863 | - | 145M | 0 |4305 |3811 |3871 | 66 | 10 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
7.26/7.31 c 7.3s| 1 | 0 | 1893 | - | 145M | 0 |4305 |3811 |3874 | 69 | 11 | 3 | 0 | 0.000000e+00 | 1.400000e+02 | Inf | unknown
7.56/7.67 o 31
7.56/7.67 c o 7.7s| 1 | 0 | 4987 | - |feaspump| 0 |4305 |3811 |3874 | 69 | 11 | 3 | 0 | 0.000000e+00 | 3.100000e+01 | Inf | unknown
7.66/7.78 o 26
7.66/7.78 c L 7.8s| 1 | 0 | 5007 | - | alns| 0 |4305 |3811 |3874 | 69 | 11 | 3 | 0 | 0.000000e+00 | 2.600000e+01 | Inf | unknown
7.66/7.79 c 7.8s| 1 | 0 | 5007 | - | 145M | 0 |4305 |3811 |3874 | 69 | 11 | 3 | 0 | 0.000000e+00 | 2.600000e+01 | Inf | unknown
7.75/7.84 c 7.8s| 1 | 0 | 5087 | - | 146M | 0 |4305 |3811 |3862 | 72 | 12 | 3 | 0 | 0.000000e+00 | 2.600000e+01 | Inf | unknown
9.15/9.29 c 9.3s| 1 | 2 | 5090 | - | 146M | 0 |4305 |3811 |3862 | 72 | 13 | 3 | 63 | 0.000000e+00 | 2.600000e+01 | Inf | unknown
10.45/10.50 o 0
10.45/10.50 c L10.5s| 5 | 0 | 5674 | 925.2 | lpface| 4 |4305 |3811 |3842 | 72 | 1 | 3 | 142 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
10.45/10.51 c
10.45/10.51 c SCIP Status : problem is solved [optimal solution found]
10.45/10.51 c Solving Time (sec) : 10.50
10.45/10.51 c Solving Nodes : 5
10.45/10.51 c Primal Bound : +0.00000000000000e+00 (11 solutions)
10.45/10.51 c Dual Bound : +0.00000000000000e+00
10.45/10.51 c Gap : 0.00 %
10.45/10.51 s OPTIMUM FOUND
10.45/10.51 v -x625 x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604
10.45/10.51 v x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 x583 -x582
10.45/10.51 v -x581 -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 x562 -x561
10.45/10.51 v x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 x540 -x539
10.45/10.51 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 x521 x520 -x519 -x518 -x517
10.45/10.51 v -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496
10.45/10.51 v x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 x479 -x478 -x477 -x476 -x475 -x474
10.45/10.51 v x473 -x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453
10.45/10.51 v x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431
10.45/10.51 v -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410
10.45/10.51 v -x409 -x408 x407 -x406 -x405 -x404 x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
10.45/10.51 v -x387 x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 x368 -x367
10.45/10.51 v -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 x350 -x349 -x348 -x347 -x346 -x345
10.45/10.51 v -x344 x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 x326 -x325 -x324
10.45/10.51 v -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 x305 -x304 -x303 -x302
10.45/10.51 v -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280
10.45/10.51 v -x279 x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 x259
10.45/10.51 v -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 x242 -x241 x240 -x239 -x238 -x237
10.45/10.51 v -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216
10.45/10.51 v -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 x194
10.45/10.51 v -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 x175 -x174 -x173
10.45/10.51 v -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 x158 -x157 -x156 -x155 x154 -x153 -x152 -x151
10.45/10.51 v x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 -x132 -x131 -x130
10.45/10.51 v -x129 -x128 -x127 x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 x110 -x109 -x108
10.45/10.51 v -x107 -x106 -x105 x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84
10.45/10.51 v -x83 -x82 x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58
10.45/10.51 v -x57 x56 x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32
10.45/10.51 v -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
10.45/10.51 v -x4 x3 -x2 -x1
10.45/10.51 c SCIP Status : problem is solved [optimal solution found]
10.45/10.51 c Total Time : 10.50
10.45/10.51 c solving : 10.50
10.45/10.51 c presolving : 5.00 (included in solving)
10.45/10.51 c reading : 0.04 (included in solving)
10.45/10.51 c copying : 0.02 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
10.45/10.51 c Original Problem :
10.45/10.51 c Problem name : HOME/instance-4425185-1720894355.wbo
10.45/10.51 c Variables : 4305 (4305 binary, 0 integer, 0 implicit integer, 0 continuous)
10.45/10.51 c Constraints : 7486 initial, 7486 maximal
10.45/10.51 c Objective : minimize, 3680 non-zeros (abs.min = 1, abs.max = 1)
10.45/10.51 c Presolved Problem :
10.45/10.51 c Problem name : t_HOME/instance-4425185-1720894355.wbo
10.45/10.51 c Variables : 4305 (4305 binary, 0 integer, 0 implicit integer, 0 continuous)
10.45/10.51 c Constraints : 3811 initial, 3814 maximal
10.45/10.51 c Objective : minimize, 3680 non-zeros (abs.min = 1, abs.max = 1)
10.45/10.51 c Nonzeros : 15370 constraint, 625 clique table
10.45/10.51 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
10.45/10.51 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c domcol : 0.00 0.00 149 0 0 0 0 0 0 0 0 0
10.45/10.51 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.51 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c implics : 0.00 0.00 150 0 0 0 0 0 0 0 0 0
10.45/10.51 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.51 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c trivial : 0.03 0.00 298 0 0 0 0 0 0 0 0 0
10.45/10.51 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c dualfix : 0.03 0.00 298 0 0 0 0 0 0 0 0 0
10.45/10.51 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c probing : 4.34 0.00 149 0 3680 0 0 0 0 0 0 0
10.45/10.51 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.51 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.51 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.51 c knapsack : 0.01 0.00 594 0 0 0 0 0 0 0 0 0
10.45/10.51 c setppc : 0.03 0.00 594 0 0 0 0 0 0 0 0 0
10.45/10.51 c linear : 0.45 0.00 448 0 0 0 3680 0 0 0 0 0
10.45/10.51 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c indicator : 0.02 0.00 149 0 0 0 0 0 3675 0 0 0
10.45/10.51 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.51 c root node : - - - 0 - - 0 - - - - -
10.45/10.51 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
10.45/10.51 c benderslp : 0 0 0 0 5 0 0 1371 0 0 0 0 0 0 0
10.45/10.51 c integral : 0 0 0 0 5 0 0 1371 0 0 0 0 0 0 10
10.45/10.51 c knapsack : 1 1 0 23668 0 0 0 1365 0 0 0 0 0 0 0
10.45/10.51 c setppc : 125 125 12 23326 0 0 0 1363 104 0 16 0 0 0 0
10.45/10.51 c linear : 3680 3680 12 23326 0 0 0 1351 502 0 0 0 0 0 0
10.45/10.51 c logicor : 0+ 3 0 1 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c benders : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
10.45/10.51 c indicator : 5 5 12 23669 0 0 0 11 0 0 0 0 0 0 0
10.45/10.51 c fixedvar : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
10.45/10.51 c countsols : 0 0 0 0 0 0 0 13 0 0 0 0 0 0 0
10.45/10.51 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
10.45/10.51 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c integral : 2.62 0.00 0.00 0.00 2.52 0.00 0.00 0.10 0.00 0.00
10.45/10.51 c knapsack : 0.10 0.00 0.00 0.05 0.00 0.00 0.00 0.05 0.00 0.00
10.45/10.51 c setppc : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.01 0.00 0.00
10.45/10.51 c linear : 0.26 0.00 0.01 0.02 0.00 0.00 0.00 0.23 0.00 0.00
10.45/10.51 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c indicator : 0.81 0.00 0.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c Propagators : #Propagate #ResProp Cutoffs DomReds
10.45/10.51 c dualfix : 3 0 0 0
10.45/10.51 c genvbounds : 0 0 0 0
10.45/10.51 c nlobbt : 0 0 0 0
10.45/10.51 c obbt : 0 0 0 0
10.45/10.51 c probing : 0 0 0 0
10.45/10.51 c pseudoobj : 31 0 0 0
10.45/10.51 c redcost : 16 0 0 0
10.45/10.51 c rootredcost : 1 0 0 0
10.45/10.51 c symmetry : 130 0 0 0
10.45/10.51 c vbounds : 1783 0 0 0
10.45/10.51 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
10.45/10.51 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
10.45/10.51 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c probing : 4.34 0.00 4.34 0.00 0.00 0.00
10.45/10.51 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c symmetry : 0.02 0.00 0.01 0.00 0.00 0.00
10.45/10.51 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
10.45/10.51 c Symmetry :
10.45/10.51 c orbitopal red. : 0 reductions applied, 0 cutoffs
10.45/10.51 c orbital reduction: 0 reductions applied, 0 cutoffs
10.45/10.51 c lexicographic red: 0 reductions applied, 0 cutoffs
10.45/10.51 c shadow tree time : 0.00 s
10.45/10.51 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
10.45/10.51 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
10.45/10.51 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
10.45/10.51 c bound exceed. LP : 0.01 4 1 - 95 537.9 0 0.0 0 0.0 30
10.45/10.51 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
10.45/10.51 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
10.45/10.51 c applied globally : 0.00 - - 0 3 529.0 - - 0 - -
10.45/10.51 c applied locally : - - - 0 0 0.0 - - 0 - -
10.45/10.51 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
10.45/10.51 c cut pool : 0.01 - 24 24 - - 1868 2118 - - - - - (maximal pool size: 1867)
10.45/10.51 c aggregation : 0.05 0.00 12 12 0 0 0 0 0 0 0 0 0
10.45/10.51 c > cmir : - - - - - - - 0 0 0 0 0 -
10.45/10.51 c > flowcover : - - - - - - - 0 0 0 0 0 -
10.45/10.51 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
10.45/10.51 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c clique : 0.01 0.00 12 12 0 0 0 0 0 0 0 0 0
10.45/10.51 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c gomory : 1.28 0.00 10 10 0 0 1809 2053 0 17 17 0 0
10.45/10.51 c > gomorymi : - - - - - - - 1118 0 8 8 0 -
10.45/10.51 c > strongcg : - - - - - - - 935 0 9 9 0 -
10.45/10.51 c impliedbounds : 0.00 0.00 12 12 0 0 0 0 0 0 0 0 0
10.45/10.51 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
10.45/10.51 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c multilinear : 0.00 0.00 14 12 0 0 0 0 0 0 0 0 0
10.45/10.51 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.51 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
10.45/10.51 c zerohalf : 0.05 0.00 12 12 0 0 58 65 0 55 55 0 0
10.45/10.51 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
10.45/10.51 c hybrid : 0.01 0.00 12 12 72 0 2046 72 0 2046
10.45/10.51 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c Pricers : ExecTime SetupTime Calls Vars
10.45/10.51 c problem variables: 0.00 - 0 0
10.45/10.51 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
10.45/10.51 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c random : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c relpscost : 2.52 0.00 5 0 0 0 0 0 0 10
10.45/10.51 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.51 c Primal Heuristics : ExecTime SetupTime Calls Found Best
10.45/10.51 c LP solutions : 0.00 - - 0 0
10.45/10.51 c relax solutions : 0.00 - - 0 0
10.45/10.51 c pseudo solutions : 0.00 - - 0 0
10.45/10.51 c strong branching : 0.00 - - 0 0
10.45/10.51 c actconsdiving : 0.00 0.00 0 0 0
10.45/10.51 c adaptivediving : 0.00 0.00 0 0 0
10.45/10.51 c alns : 0.04 0.00 1 1 1
10.45/10.51 c bound : 0.00 0.00 0 0 0
10.45/10.51 c clique : 0.02 0.00 1 1 1
10.45/10.51 c coefdiving : 0.00 0.00 0 0 0
10.45/10.51 c completesol : 0.00 0.00 0 0 0
10.45/10.51 c conflictdiving : 0.04 0.00 1 0 0
10.45/10.51 c crossover : 0.00 0.00 0 0 0
10.45/10.51 c dins : 0.00 0.00 0 0 0
10.45/10.51 c distributiondivin: 0.00 0.00 0 0 0
10.45/10.51 c dps : 0.00 0.00 0 0 0
10.45/10.51 c dualval : 0.00 0.00 0 0 0
10.45/10.51 c farkasdiving : 0.00 0.00 0 0 0
10.45/10.51 c feasjump : 0.00 0.00 0 0 0
10.45/10.51 c feaspump : 0.35 0.00 1 1 1
10.45/10.51 c fixandinfer : 0.00 0.00 0 0 0
10.45/10.51 c fracdiving : 0.00 0.00 0 0 0
10.45/10.51 c gins : 0.00 0.00 0 0 0
10.45/10.51 c guideddiving : 0.00 0.00 0 0 0
10.45/10.51 c indcoefdiving : 0.00 0.00 0 0 0
10.45/10.51 c indicator : 0.00 0.00 0 0 0
10.45/10.51 c indicatordiving : 0.00 0.00 0 0 0
10.45/10.51 c indoneopt : 0.51 0.00 5 0 0
10.45/10.51 c indrounding : 0.00 0.00 0 0 0
10.45/10.51 c indtwoopt : 0.00 0.00 0 0 0
10.45/10.51 c intdiving : 0.00 0.00 0 0 0
10.45/10.51 c intshifting : 0.00 0.00 0 0 0
10.45/10.51 c linesearchdiving : 0.00 0.00 0 0 0
10.45/10.51 c localbranching : 0.00 0.00 0 0 0
10.45/10.51 c locks : 0.02 0.00 1 0 0
10.45/10.51 c lpface : 0.07 0.00 1 1 1
10.45/10.51 c mpec : 0.00 0.00 0 0 0
10.45/10.51 c multistart : 0.00 0.00 0 0 0
10.45/10.51 c mutation : 0.00 0.00 0 0 0
10.45/10.51 c nlpdiving : 0.00 0.00 0 0 0
10.45/10.51 c objpscostdiving : 0.00 0.00 0 0 0
10.45/10.51 c octane : 0.00 0.00 0 0 0
10.45/10.51 c ofins : 0.00 0.00 0 0 0
10.45/10.51 c oneopt : 0.00 0.00 5 1 1
10.45/10.51 c padm : 0.00 0.00 0 0 0
10.45/10.51 c proximity : 0.00 0.00 0 0 0
10.45/10.51 c pscostdiving : 0.00 0.00 0 0 0
10.45/10.51 c randrounding : 0.10 0.00 14 0 0
10.45/10.51 c rens : 0.04 0.00 1 0 0
10.45/10.51 c reoptsols : 0.00 0.00 0 0 0
10.45/10.51 c repair : 0.00 0.00 0 0 0
10.45/10.51 c rins : 0.00 0.00 0 0 0
10.45/10.51 c rootsoldiving : 0.00 0.00 0 0 0
10.45/10.51 c rounding : 0.01 0.00 18 0 0
10.45/10.51 c scheduler : 0.00 0.00 0 0 0
10.45/10.51 c shiftandpropagate: 0.00 0.00 0 0 0
10.45/10.51 c shifting : 0.01 0.00 14 6 3
10.45/10.51 c simplerounding : 0.00 0.00 0 0 0
10.45/10.51 c smallcard : 0.00 0.00 0 0 0
10.45/10.51 c subnlp : 0.00 0.00 0 0 0
10.45/10.51 c trivial : 0.01 0.00 2 0 0
10.45/10.51 c trivialnegation : 0.00 0.00 0 0 0
10.45/10.51 c trustregion : 0.00 0.00 0 0 0
10.45/10.51 c trysol : 0.00 0.00 0 0 0
10.45/10.51 c twoopt : 0.00 0.00 0 0 0
10.45/10.51 c undercover : 0.00 0.00 0 0 0
10.45/10.51 c vbounds : 0.00 0.00 0 0 0
10.45/10.51 c veclendiving : 0.00 0.00 0 0 0
10.45/10.51 c zeroobj : 0.00 0.00 0 0 0
10.45/10.51 c zirounding : 0.00 0.00 4 0 0
10.45/10.51 c other solutions : - - - 0 -
10.45/10.51 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
10.45/10.51 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
10.45/10.51 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
10.45/10.51 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
10.45/10.51 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
10.45/10.51 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
10.45/10.51 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
10.45/10.51 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
10.45/10.51 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
10.45/10.51 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
10.45/10.51 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
10.45/10.51 c primal LP : 0.00 2 0 0.00 - 0.00 2
10.45/10.51 c dual LP : 0.25 17 2374 139.65 9588.70 0.00 0
10.45/10.51 c lex dual LP : 0.00 0 0 0.00 -
10.45/10.51 c barrier LP : 0.00 0 0 0.00 - 0.00 0
10.45/10.51 c resolve instable : 0.00 0 0 0.00 -
10.45/10.51 c diving/probing LP: 0.45 16 3300 206.25 7316.60
10.45/10.51 c strong branching : 2.30 142 17307 121.88 7518.50 - - 0
10.45/10.51 c (at root node) : - 63 9436 149.78 -
10.45/10.51 c conflict analysis: 0.01 3 30 10.00 -
10.45/10.51 c B&B Tree :
10.45/10.51 c number of runs : 1
10.45/10.51 c nodes : 5 (5 internal, 0 leaves)
10.45/10.51 c feasible leaves : 0
10.45/10.51 c infeas. leaves : 0
10.45/10.51 c objective leaves : 0
10.45/10.51 c nodes (total) : 5 (5 internal, 0 leaves)
10.45/10.51 c nodes left : 0
10.45/10.51 c max depth : 4
10.45/10.51 c max depth (total): 4
10.45/10.51 c backtracks : 0 (0.0%)
10.45/10.51 c early backtracks : 0 (0.0%)
10.45/10.51 c nodes exc. ref. : 0 (0.0%)
10.45/10.51 c delayed cutoffs : 0
10.45/10.51 c repropagations : 0 (0 domain reductions, 0 cutoffs)
10.45/10.51 c avg switch length: 2.00
10.45/10.51 c switching time : 0.00
10.45/10.51 c Root Node :
10.45/10.51 c First LP value : +0.00000000000000e+00
10.45/10.51 c First LP Iters : 614 (24213.27 Iter/sec)
10.45/10.51 c First LP Time : 0.03
10.45/10.51 c Final Dual Bound : +0.00000000000000e+00
10.45/10.51 c Final Root Iters : 1973
10.45/10.51 c Root LP Estimate : +8.16211177885917e-03
10.45/10.51 c Solution :
10.45/10.51 c Solutions found : 11 (8 improvements)
10.45/10.51 c First Solution : +7.36000000000000e+02 (in run 1, after 1 nodes, 5.09 seconds, depth 127, found by <clique>)
10.45/10.51 c Gap First Sol. : infinite
10.45/10.51 c Gap Last Sol. : 0.00 %
10.45/10.51 c Primal Bound : +0.00000000000000e+00 (in run 1, after 5 nodes, 10.49 seconds, depth 4, found by <lpface>)
10.45/10.51 c Dual Bound : +0.00000000000000e+00
10.45/10.51 c Gap : 0.00 %
10.45/10.51 c Integrals : Total Avg%
10.45/10.51 c primal-dual : 1048.95 99.91
10.45/10.51 c primal-ref : - - (not evaluated)
10.45/10.51 c dual-ref : - - (not evaluated)
10.55/10.61 c Time complete: 10.5673.
OK 0
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 (61833 MiB free)
memory of node 1: 64473 MiB (61839 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425185-1720894355/watcher-4425185-1720894355 -o /tmp/evaluation-result-4425185-1720894355/solver-4425185-1720894355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760 pbscip -f HOME/instance-4425185-1720894355.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=713063, runsolver pid=713060
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.10 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126613596/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=83400 memory=43268 CPUtime=0.1 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 7581 0 0 0 8 2 0 0 20 0 1 0 141592701 85401600 10817 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 20850 10817 3583 3540 0 9107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83400 KiB
Current children cumulated memory: 43268 KiB
[startup+0.210466 s]*
/proc/loadavg: 4.10 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126604356/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=90664 memory=50360 CPUtime=0.2 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 9275 0 0 0 18 2 0 0 20 0 1 0 141592701 92839936 12590 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 22666 12590 3647 3540 0 10923 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90664 KiB
Current children cumulated memory: 50360 KiB
[startup+0.310423 s]*
/proc/loadavg: 4.10 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126603880/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=90664 memory=50360 CPUtime=0.3 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 9299 0 0 0 28 2 0 0 20 0 1 0 141592701 92839936 12590 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 22666 12590 3647 3540 0 10923 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90664 KiB
Current children cumulated memory: 50360 KiB
[startup+0.700353 s]
/proc/loadavg: 4.10 4.14 4.16 6/244 713064
/proc/meminfo: memFree=126603740/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=91144 memory=50624 CPUtime=0.68 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 9395 0 0 0 66 2 0 0 20 0 1 0 141592701 93331456 12656 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 22786 12656 3647 3540 0 11043 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91144 KiB
Current children cumulated memory: 50624 KiB
[startup+1.50034 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126602904/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=91660 memory=51152 CPUtime=1.48 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 9523 0 0 0 146 2 0 0 20 0 1 0 141592701 93859840 12788 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 22915 12788 3647 3540 0 11172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91660 KiB
Current children cumulated memory: 51152 KiB
[startup+3.11308 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126600516/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=93716 memory=53264 CPUtime=3.09 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 10039 0 0 0 306 3 0 0 20 0 1 0 141592701 95965184 13316 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 23429 13316 3647 3540 0 11686 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93716 KiB
Current children cumulated memory: 53264 KiB
[startup+6.30031 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126555632/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=166300 memory=108160 CPUtime=6.26 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 24000 0 0 0 622 4 0 0 20 0 1 0 141592701 170291200 27040 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 41575 27040 3855 3540 0 29832 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 166300 KiB
Current children cumulated memory: 108160 KiB
[startup+10.6187 s]
# the end of solver process 713063 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=10.4916 s, system=0.084517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40036 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126555632/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=170852 memory=112120 CPUtime=6.36 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 25039 0 0 0 632 4 0 0 20 0 1 0 141592701 174952448 28030 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 42713 28030 3855 3540 0 30970 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 170852 KiB
Current children cumulated memory: 112120 KiB
[startup+8.00028 s]*
/proc/loadavg: 4.09 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126493416/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=224676 memory=161408 CPUtime=7.97 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 39469 0 0 0 791 6 0 0 20 0 1 0 141592701 230068224 40352 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 56169 40352 3950 3540 0 44426 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 224676 KiB
Current children cumulated memory: 161408 KiB
[startup+9.60028 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 713064
/proc/meminfo: memFree=126493136/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=224676 memory=161408 CPUtime=9.55 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 39474 0 0 0 949 6 0 0 20 0 1 0 141592701 230068224 40352 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 56169 40352 3950 3540 0 44426 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 224676 KiB
Current children cumulated memory: 161408 KiB
[startup+10.4003 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 713066
/proc/meminfo: memFree=126492292/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=224676 memory=161408 CPUtime=10.35 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 39480 0 0 0 1028 7 0 0 20 0 1 0 141592701 230068224 40352 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 56169 40352 3950 3540 0 44426 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 224676 KiB
Current children cumulated memory: 161408 KiB
[startup+10.6003 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 713066
/proc/meminfo: memFree=126492292/131655788 swapFree=131071996/131071996
[pid=713063] ppid=713060 vsize=217772 memory=160004 CPUtime=10.55 cores=0,2
/proc/713063/stat : 713063 (pbscip) R 713060 713063 703890 0 -1 4194304 42165 0 0 0 1048 7 0 0 20 0 1 0 141592701 222998528 40001 134679101440 4194304 18693293 140723902625664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27459584 140723902628856 140723902628955 140723902628955 140723902635982 0
/proc/713063/statm: 54443 40001 3973 3540 0 42700 0
Current children cumulated CPU time: 10.55 s
Current children cumulated vsize: 217772 KiB
Current children cumulated memory: 160004 KiB
Child status: 0
Real time (s): 10.6187
CPU time (s): 10.5762
CPU user time (s): 10.4916
CPU system time (s): 0.084517
CPU usage (%): 99.5991
Max. virtual memory (cumulated for all children) (KiB): 234304
Max. memory (cumulated for all children) (KiB): 172224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4916
system time used= 0.084517
maximum resident set size= 172224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42171
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= 10
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 713063
# total CPU time (s): 10.5762
# total CPU user time (s): 10.4916
# total CPU system time (s): 0.084517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078791 second user time and 0.188614 second system time
The end
Begin job on nodeC011 at 2024-07-13 20:12:48 IDJOB=4425185 IDBENCH=144128 IDSOLVER=3038 FILE ID=nodeC011/4425185-1720894355 RUNJOBID= nodeC011-1720885247-703900 SLURM_JOB_ID= 7485791 Free space on /tmp= 723728 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-dsjc125-1-5_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425185-1720894355/watcher-4425185-1720894355 -o /tmp/evaluation-result-4425185-1720894355/solver-4425185-1720894355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703900 --watchdog 3760 pbscip -f HOME/instance-4425185-1720894355.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0971c962bf2581d0ee8c4d9aaf2e583b RANDOM SEED=1706964528 nodeC011.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 : 1197.130 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.20 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 : 3663.129 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.31 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 : 1596.165 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.20 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.266 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.31 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 : 3663.989 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.20 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 : 3656.591 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.31 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.147 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.20 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.319 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126640968 kB MemAvailable: 127875864 kB Buffers: 340412 kB Cached: 1725764 kB SwapCached: 0 kB Active: 519912 kB Inactive: 3952880 kB Active(anon): 1428 kB Inactive(anon): 2442908 kB Active(file): 518484 kB Inactive(file): 1509972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18772 kB Writeback: 0 kB AnonPages: 2406632 kB Mapped: 137084 kB Shmem: 37704 kB KReclaimable: 93280 kB Slab: 188184 kB SReclaimable: 93280 kB SUnreclaim: 94904 kB KernelStack: 3904 kB PageTables: 14028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2951984 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 46208 kB HardwareCorrupted: 0 kB AnonHugePages: 1224704 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: 185160 kB DirectMap2M: 17545216 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723708 MiB End job on nodeC011 at 2024-07-13 20:12:59