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 | 4.57047 | 4.58703 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap111_wcsp.wbo |
| MD5SUM | 9202fc79e8368b67f7e7060a66676775 |
| 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 | 7688496 |
| Best CPU time to get the best result obtained on this benchmark | 4.37019 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2600 |
| Total number of constraints | 5148 |
| Number of soft constraints | 5048 |
| Number of constraints which are clauses | 5048 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 50 |
| Top cost | 61306436 |
| Min constraint cost | 1 |
| Max constraint cost | 61306436 |
| Sum of constraints costs | 154547346300 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 51 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4456422-1721719704.wbo>
0.00/0.03 c original problem has 7648 variables (7648 bin, 0 int, 0 impl, 0 cont) and 10197 constraints
0.00/0.03 c problem read in 0.03
0.00/0.10 c presolving:
0.10/0.17 c (round 1, fast) 50 del vars, 50 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5048 impls, 67 clqs
0.10/0.17 c (round 2, fast) 51 del vars, 100 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5048 impls, 67 clqs
0.10/0.18 c (round 3, fast) 151 del vars, 150 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5048 impls, 67 clqs
0.20/0.24 c (round 4, fast) 200 del vars, 199 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5048 impls, 67 clqs
0.20/0.25 c (round 5, exhaustive) 200 del vars, 199 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 5048 impls, 67 clqs
0.20/0.27 c (round 6, fast) 5150 del vars, 2748 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 5048 impls, 49 clqs
0.20/0.27 c (round 7, fast) 5248 del vars, 2797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 5048 impls, 2450 clqs
0.20/0.29 c (round 8, exhaustive) 5248 del vars, 2797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2450 clqs
0.30/0.33 c (round 9, exhaustive) 5273 del vars, 2797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2490 clqs
0.30/0.37 c (round 10, exhaustive) 5298 del vars, 2797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2594 clqs
0.30/0.38 c (round 11, fast) 5298 del vars, 2822 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2594 clqs
0.40/0.42 c (round 12, exhaustive) 5323 del vars, 2822 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2644 clqs
0.40/0.42 c (round 13, fast) 5323 del vars, 2847 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2644 clqs
0.40/0.46 c (round 14, exhaustive) 5348 del vars, 2847 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2680 clqs
0.40/0.46 c (round 15, fast) 5348 del vars, 2872 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2680 clqs
0.40/0.51 c (round 16, exhaustive) 5373 del vars, 2872 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2727 clqs
0.50/0.51 c (round 17, fast) 5373 del vars, 2897 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2727 clqs
0.50/0.55 c (round 18, exhaustive) 5398 del vars, 2897 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2773 clqs
0.50/0.55 c (round 19, fast) 5398 del vars, 2922 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2773 clqs
0.50/0.60 c (round 20, exhaustive) 5423 del vars, 2922 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2823 clqs
0.59/0.60 c (round 21, fast) 5423 del vars, 2947 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2823 clqs
0.59/0.64 c (round 22, exhaustive) 5448 del vars, 2947 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2912 clqs
0.59/0.64 c (round 23, fast) 5448 del vars, 2972 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 2912 clqs
0.59/0.69 c (round 24, exhaustive) 5473 del vars, 2972 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3007 clqs
0.59/0.69 c (round 25, fast) 5473 del vars, 2997 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3007 clqs
0.69/0.73 c (round 26, exhaustive) 5498 del vars, 2997 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3052 clqs
0.69/0.74 c (round 27, fast) 5498 del vars, 3022 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3052 clqs
0.69/0.78 c (round 28, exhaustive) 5523 del vars, 3022 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3101 clqs
0.69/0.78 c (round 29, fast) 5523 del vars, 3047 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3101 clqs
0.79/0.83 c (round 30, exhaustive) 5548 del vars, 3047 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3196 clqs
0.79/0.83 c (round 31, fast) 5548 del vars, 3072 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3196 clqs
0.79/0.87 c (round 32, exhaustive) 5573 del vars, 3072 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3239 clqs
0.79/0.87 c (round 33, fast) 5573 del vars, 3097 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3239 clqs
0.88/0.92 c (round 34, exhaustive) 5598 del vars, 3097 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3285 clqs
0.88/0.92 c (round 35, fast) 5598 del vars, 3122 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3285 clqs
0.88/0.97 c (round 36, exhaustive) 5623 del vars, 3122 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3377 clqs
0.88/0.97 c (round 37, fast) 5623 del vars, 3147 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3377 clqs
0.99/1.01 c (round 38, exhaustive) 5648 del vars, 3147 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3407 clqs
0.99/1.01 c (round 39, fast) 5648 del vars, 3172 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3407 clqs
0.99/1.05 c (round 40, exhaustive) 5673 del vars, 3172 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3497 clqs
0.99/1.05 c (round 41, fast) 5673 del vars, 3197 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3497 clqs
0.99/1.10 c (round 42, exhaustive) 5698 del vars, 3197 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3544 clqs
0.99/1.10 c (round 43, fast) 5698 del vars, 3222 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3544 clqs
1.09/1.14 c (round 44, exhaustive) 5723 del vars, 3222 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3628 clqs
1.09/1.14 c (round 45, fast) 5723 del vars, 3247 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3628 clqs
1.09/1.18 c (round 46, exhaustive) 5748 del vars, 3247 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3672 clqs
1.09/1.18 c (round 47, fast) 5748 del vars, 3272 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3672 clqs
1.18/1.20 c (1.2s) probing: 1000/7448 (13.4%) - 0 fixings, 508 aggregations, 1281 implications, 0 bound changes
1.18/1.22 c (round 48, exhaustive) 5773 del vars, 3272 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3707 clqs
1.18/1.22 c (round 49, fast) 5773 del vars, 3297 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3707 clqs
1.18/1.27 c (round 50, exhaustive) 5798 del vars, 3297 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3842 clqs
1.18/1.27 c (round 51, fast) 5798 del vars, 3322 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3842 clqs
1.28/1.32 c (round 52, exhaustive) 5823 del vars, 3322 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3937 clqs
1.28/1.32 c (round 53, fast) 5823 del vars, 3347 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3937 clqs
1.28/1.36 c (round 54, exhaustive) 5848 del vars, 3347 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3977 clqs
1.28/1.36 c (round 55, fast) 5848 del vars, 3372 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 3977 clqs
1.38/1.40 c (round 56, exhaustive) 5873 del vars, 3372 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4015 clqs
1.38/1.41 c (round 57, fast) 5873 del vars, 3397 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4015 clqs
1.38/1.45 c (round 58, exhaustive) 5898 del vars, 3397 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4056 clqs
1.38/1.45 c (round 59, fast) 5898 del vars, 3422 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4056 clqs
1.38/1.49 c (round 60, exhaustive) 5923 del vars, 3422 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4086 clqs
1.38/1.49 c (round 61, fast) 5923 del vars, 3447 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4086 clqs
1.48/1.54 c (round 62, exhaustive) 5948 del vars, 3447 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4325 clqs
1.48/1.54 c (round 63, fast) 5948 del vars, 3472 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4325 clqs
1.48/1.58 c (round 64, exhaustive) 5973 del vars, 3472 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4408 clqs
1.48/1.58 c (round 65, fast) 5973 del vars, 3497 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4408 clqs
1.58/1.62 c (round 66, exhaustive) 5998 del vars, 3497 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4490 clqs
1.58/1.62 c (round 67, fast) 5998 del vars, 3522 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4490 clqs
1.58/1.66 c (round 68, exhaustive) 6023 del vars, 3522 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4519 clqs
1.58/1.66 c (round 69, fast) 6023 del vars, 3547 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4519 clqs
1.68/1.70 c (round 70, exhaustive) 6048 del vars, 3547 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4557 clqs
1.68/1.71 c (round 71, fast) 6048 del vars, 3572 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4557 clqs
1.68/1.75 c (round 72, exhaustive) 6073 del vars, 3572 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4588 clqs
1.68/1.75 c (round 73, fast) 6073 del vars, 3597 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4588 clqs
1.68/1.79 c (round 74, exhaustive) 6098 del vars, 3597 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4674 clqs
1.68/1.79 c (round 75, fast) 6098 del vars, 3622 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4674 clqs
1.78/1.83 c (round 76, exhaustive) 6123 del vars, 3622 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4703 clqs
1.78/1.83 c (round 77, fast) 6123 del vars, 3647 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4703 clqs
1.78/1.87 c (round 78, exhaustive) 6148 del vars, 3647 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4787 clqs
1.78/1.87 c (round 79, fast) 6148 del vars, 3672 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4787 clqs
1.88/1.91 c (round 80, exhaustive) 6173 del vars, 3672 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4814 clqs
1.88/1.91 c (round 81, fast) 6173 del vars, 3697 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4814 clqs
1.88/1.96 c (round 82, exhaustive) 6198 del vars, 3697 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4854 clqs
1.88/1.96 c (round 83, fast) 6198 del vars, 3722 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4854 clqs
1.99/2.00 c (round 84, exhaustive) 6223 del vars, 3722 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4932 clqs
1.99/2.00 c (round 85, fast) 6223 del vars, 3747 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4932 clqs
1.99/2.04 c (2.0s) probing: 2000/7448 (26.9%) - 0 fixings, 991 aggregations, 2708 implications, 0 bound changes
1.99/2.05 c (round 86, exhaustive) 6248 del vars, 3747 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4971 clqs
1.99/2.05 c (round 87, fast) 6248 del vars, 3772 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4971 clqs
1.99/2.08 c (round 88, exhaustive) 6273 del vars, 3772 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4999 clqs
1.99/2.09 c (round 89, fast) 6273 del vars, 3797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 4999 clqs
2.09/2.12 c (round 90, exhaustive) 6298 del vars, 3797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5023 clqs
2.09/2.12 c (round 91, fast) 6298 del vars, 3822 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5023 clqs
2.09/2.16 c (round 92, exhaustive) 6323 del vars, 3822 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5099 clqs
2.09/2.16 c (round 93, fast) 6323 del vars, 3847 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5099 clqs
2.09/2.19 c (round 94, exhaustive) 6348 del vars, 3847 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5167 clqs
2.18/2.20 c (round 95, fast) 6348 del vars, 3872 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5167 clqs
2.18/2.24 c (round 96, exhaustive) 6373 del vars, 3872 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5196 clqs
2.18/2.24 c (round 97, fast) 6373 del vars, 3897 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5196 clqs
2.18/2.28 c (round 98, exhaustive) 6398 del vars, 3897 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5266 clqs
2.18/2.28 c (round 99, fast) 6398 del vars, 3922 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5266 clqs
2.28/2.31 c (round 100, exhaustive) 6423 del vars, 3922 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5292 clqs
2.28/2.31 c (round 101, fast) 6423 del vars, 3947 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5292 clqs
2.28/2.35 c (round 102, exhaustive) 6448 del vars, 3947 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5322 clqs
2.28/2.35 c (round 103, fast) 6448 del vars, 3972 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5322 clqs
2.28/2.39 c (round 104, exhaustive) 6473 del vars, 3972 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5399 clqs
2.28/2.39 c (round 105, fast) 6473 del vars, 3997 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5399 clqs
2.38/2.44 c (round 106, exhaustive) 6498 del vars, 3997 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5477 clqs
2.38/2.44 c (round 107, fast) 6498 del vars, 4022 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5477 clqs
2.38/2.47 c (round 108, exhaustive) 6523 del vars, 4022 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5542 clqs
2.38/2.47 c (round 109, fast) 6523 del vars, 4047 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5542 clqs
2.48/2.51 c (round 110, exhaustive) 6548 del vars, 4047 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5560 clqs
2.48/2.51 c (round 111, fast) 6548 del vars, 4072 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5560 clqs
2.48/2.55 c (round 112, exhaustive) 6573 del vars, 4072 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5679 clqs
2.48/2.55 c (round 113, fast) 6573 del vars, 4097 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5679 clqs
2.48/2.59 c (round 114, exhaustive) 6598 del vars, 4097 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5703 clqs
2.48/2.59 c (round 115, fast) 6598 del vars, 4122 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5703 clqs
2.58/2.63 c (round 116, exhaustive) 6623 del vars, 4122 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5768 clqs
2.58/2.63 c (round 117, fast) 6623 del vars, 4147 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5768 clqs
2.58/2.67 c (round 118, exhaustive) 6648 del vars, 4147 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5837 clqs
2.58/2.67 c (round 119, fast) 6648 del vars, 4172 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5837 clqs
2.68/2.71 c (round 120, exhaustive) 6673 del vars, 4172 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5909 clqs
2.68/2.71 c (round 121, fast) 6673 del vars, 4197 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5909 clqs
2.68/2.74 c (round 122, exhaustive) 6698 del vars, 4197 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5933 clqs
2.68/2.74 c (round 123, fast) 6698 del vars, 4222 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5933 clqs
2.68/2.77 c (round 124, exhaustive) 6723 del vars, 4222 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5949 clqs
2.68/2.77 c (round 125, fast) 6723 del vars, 4247 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5949 clqs
2.78/2.81 c (round 126, exhaustive) 6748 del vars, 4247 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5965 clqs
2.78/2.81 c (round 127, fast) 6748 del vars, 4272 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5965 clqs
2.78/2.83 c (2.8s) probing: 3000/7448 (40.3%) - 0 fixings, 1516 aggregations, 3988 implications, 0 bound changes
2.78/2.84 c (round 128, exhaustive) 6773 del vars, 4272 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5984 clqs
2.78/2.84 c (round 129, fast) 6773 del vars, 4297 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 5984 clqs
2.78/2.88 c (round 130, exhaustive) 6798 del vars, 4297 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6004 clqs
2.78/2.88 c (round 131, fast) 6798 del vars, 4322 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6004 clqs
2.88/2.92 c (round 132, exhaustive) 6823 del vars, 4322 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6025 clqs
2.88/2.92 c (round 133, fast) 6823 del vars, 4347 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6025 clqs
2.88/2.95 c (round 134, exhaustive) 6848 del vars, 4347 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6038 clqs
2.88/2.95 c (round 135, fast) 6848 del vars, 4372 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6038 clqs
2.88/2.98 c (round 136, exhaustive) 6873 del vars, 4372 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6051 clqs
2.88/2.99 c (round 137, fast) 6873 del vars, 4397 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6051 clqs
2.98/3.02 c (round 138, exhaustive) 6898 del vars, 4397 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6068 clqs
2.98/3.02 c (round 139, fast) 6898 del vars, 4422 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6068 clqs
2.98/3.06 c (round 140, exhaustive) 6923 del vars, 4422 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6139 clqs
2.98/3.07 c (round 141, fast) 6923 del vars, 4447 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6139 clqs
2.98/3.10 c (round 142, exhaustive) 6948 del vars, 4447 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6152 clqs
3.08/3.10 c (round 143, fast) 6948 del vars, 4472 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6152 clqs
3.08/3.13 c (round 144, exhaustive) 6973 del vars, 4472 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6161 clqs
3.08/3.13 c (round 145, fast) 6973 del vars, 4497 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6161 clqs
3.08/3.17 c (round 146, exhaustive) 6998 del vars, 4497 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6274 clqs
3.08/3.17 c (round 147, fast) 6998 del vars, 4522 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6274 clqs
3.17/3.20 c (round 148, exhaustive) 7023 del vars, 4522 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6339 clqs
3.17/3.20 c (round 149, fast) 7023 del vars, 4547 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6339 clqs
3.17/3.24 c (round 150, exhaustive) 7048 del vars, 4547 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6358 clqs
3.17/3.24 c (round 151, fast) 7048 del vars, 4572 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6358 clqs
3.17/3.28 c (round 152, exhaustive) 7073 del vars, 4572 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6472 clqs
3.17/3.28 c (round 153, fast) 7073 del vars, 4597 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6472 clqs
3.27/3.32 c (round 154, exhaustive) 7098 del vars, 4597 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6481 clqs
3.27/3.32 c (round 155, fast) 7098 del vars, 4622 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6481 clqs
3.27/3.36 c (round 156, exhaustive) 7123 del vars, 4622 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6548 clqs
3.27/3.36 c (round 157, fast) 7123 del vars, 4647 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6548 clqs
3.27/3.39 c (round 158, exhaustive) 7148 del vars, 4647 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6562 clqs
3.27/3.39 c (round 159, fast) 7148 del vars, 4672 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6562 clqs
3.37/3.42 c (round 160, exhaustive) 7173 del vars, 4672 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6575 clqs
3.37/3.42 c (round 161, fast) 7173 del vars, 4697 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6575 clqs
3.37/3.45 c (round 162, exhaustive) 7198 del vars, 4697 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6584 clqs
3.37/3.46 c (round 163, fast) 7198 del vars, 4722 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6584 clqs
3.37/3.49 c (round 164, exhaustive) 7223 del vars, 4722 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6645 clqs
3.37/3.49 c (round 165, fast) 7223 del vars, 4747 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6645 clqs
3.47/3.52 c (round 166, exhaustive) 7248 del vars, 4747 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6705 clqs
3.47/3.52 c (round 167, fast) 7248 del vars, 4772 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6705 clqs
3.47/3.54 c (3.5s) probing: 4000/7448 (53.7%) - 0 fixings, 2009 aggregations, 5054 implications, 0 bound changes
3.47/3.56 c (round 168, exhaustive) 7273 del vars, 4772 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6719 clqs
3.47/3.56 c (round 169, fast) 7273 del vars, 4797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6719 clqs
3.47/3.59 c (round 170, exhaustive) 7298 del vars, 4797 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6779 clqs
3.47/3.59 c (round 171, fast) 7298 del vars, 4822 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6779 clqs
3.57/3.64 c (round 172, exhaustive) 7323 del vars, 4822 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6841 clqs
3.57/3.64 c (round 173, fast) 7323 del vars, 4847 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6841 clqs
3.57/3.66 c (round 174, exhaustive) 7348 del vars, 4847 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6847 clqs
3.57/3.66 c (round 175, fast) 7348 del vars, 4872 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6847 clqs
3.57/3.69 c (round 176, exhaustive) 7373 del vars, 4872 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6854 clqs
3.57/3.69 c (round 177, fast) 7373 del vars, 4897 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6854 clqs
3.67/3.73 c (round 178, exhaustive) 7398 del vars, 4897 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6911 clqs
3.67/3.73 c (round 179, fast) 7398 del vars, 4922 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6911 clqs
3.67/3.77 c (round 180, exhaustive) 7423 del vars, 4922 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6967 clqs
3.67/3.77 c (round 181, fast) 7423 del vars, 4947 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6967 clqs
3.77/3.80 c (round 182, exhaustive) 7448 del vars, 4947 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6969 clqs
3.77/3.80 c (round 183, fast) 7448 del vars, 4972 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 6969 clqs
3.77/3.83 c (round 184, exhaustive) 7473 del vars, 4972 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7025 clqs
3.77/3.83 c (round 185, fast) 7473 del vars, 4997 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7025 clqs
3.77/3.87 c (round 186, exhaustive) 7498 del vars, 4997 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7083 clqs
3.77/3.87 c (round 187, fast) 7498 del vars, 5022 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7083 clqs
3.87/3.90 c (round 188, exhaustive) 7523 del vars, 5022 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7086 clqs
3.87/3.90 c (round 189, fast) 7523 del vars, 5047 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7086 clqs
3.87/3.93 c (round 190, exhaustive) 7548 del vars, 5047 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7093 clqs
3.87/3.94 c (round 191, fast) 7548 del vars, 5072 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7093 clqs
3.87/3.97 c (round 192, exhaustive) 7573 del vars, 5072 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7097 clqs
3.87/3.97 c (round 193, fast) 7573 del vars, 5097 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7097 clqs
3.87/4.00 c (round 194, exhaustive) 7598 del vars, 5097 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7198 clqs
3.98/4.00 c (round 195, fast) 7598 del vars, 5122 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7198 clqs
3.98/4.04 c (round 196, exhaustive) 7623 del vars, 5122 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7297 clqs
3.98/4.04 c (round 197, fast) 7623 del vars, 5147 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7297 clqs
3.98/4.07 c (round 198, exhaustive) 7648 del vars, 5147 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7300 clqs
3.98/4.07 c (round 199, fast) 7648 del vars, 5172 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7300 clqs
3.98/4.10 c (round 200, exhaustive) 7673 del vars, 5172 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7301 clqs
3.98/4.10 c (round 201, fast) 7673 del vars, 5197 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7301 clqs
4.08/4.14 c (round 202, exhaustive) 7698 del vars, 5197 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7301 clqs
4.08/4.15 c (round 203, fast) 7698 del vars, 5222 del conss, 0 add conss, 4998 chg bounds, 0 chg sides, 0 chg coeffs, 2452 upgd conss, 5048 impls, 7301 clqs
4.08/4.18 c (4.2s) probing: 4999/7448 (67.1%) - 0 fixings, 2450 aggregations, 6033 implications, 0 bound changes
4.08/4.18 c (4.2s) probing aborted: 50/50 successive totally useless probings
4.08/4.18 c (4.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.08/4.19 c (4.2s) no symmetry present (symcode time: 0.00)
4.08/4.19 c presolving (204 rounds: 204 fast, 101 medium, 101 exhaustive):
4.08/4.19 c 7698 deleted vars, 5222 deleted constraints, 0 added constraints, 4998 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.08/4.19 c 5048 implications, 7301 cliques
4.08/4.19 c presolved problem has 4998 variables (4998 bin, 0 int, 0 impl, 0 cont) and 4975 constraints
4.08/4.19 c 1 constraints of type <knapsack>
4.08/4.19 c 2450 constraints of type <setppc>
4.08/4.19 c 2450 constraints of type <linear>
4.08/4.19 c 74 constraints of type <indicator>
4.08/4.19 c transformed objective value is always integral (scale: 1)
4.08/4.19 c Presolving Time: 4.14
4.08/4.19 c - non default parameters ----------------------------------------------------------------------
4.08/4.19 c # SCIP version 10.0.0
4.08/4.19 c
4.08/4.19 c # maximal time in seconds to run
4.08/4.19 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.08/4.19 c limits/time = 3596.998064
4.08/4.19 c
4.08/4.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.08/4.19 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.08/4.19 c limits/memory = 27900
4.08/4.19 c
4.08/4.19 c # belongs reading time to solving time?
4.08/4.19 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.08/4.19 c timing/reading = TRUE
4.08/4.19 c
4.08/4.19 c -----------------------------------------------------------------------------------------------
4.08/4.19 c start solving
4.08/4.19 c
4.17/4.28 o 34079133
4.17/4.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.17/4.28 c p 4.3s| 1 | 0 | 0 | - | clique| 0 |4998 |4975 |4949 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.407913e+07 | Inf | unknown
4.38/4.40 o 12290171
4.38/4.40 c p 4.4s| 1 | 0 | 0 | - | vbounds| 0 |4998 |4978 |4949 | 0 | 0 | 5 | 0 | 0.000000e+00 | 1.229017e+07 | Inf | unknown
4.47/4.53 o 7688496
4.47/4.53 c * 4.5s| 1 | 0 | 4335 | - | LP | 0 |4998 |4967 |4949 | 0 | 0 | 5 | 0 | 7.688496e+06 | 7.688496e+06 | 0.00%| unknown
4.47/4.53 c 4.5s| 1 | 0 | 4335 | - | 82M | 0 |4998 |4967 |4949 | 0 | 0 | 5 | 0 | 7.688496e+06 | 7.688496e+06 | 0.00%| unknown
4.47/4.53 c
4.47/4.53 c SCIP Status : problem is solved [optimal solution found]
4.47/4.53 c Solving Time (sec) : 4.53
4.47/4.53 c Solving Nodes : 1
4.47/4.53 c Primal Bound : +7.68849600000000e+06 (3 solutions)
4.47/4.53 c Dual Bound : +7.68849600000000e+06
4.47/4.53 c Gap : 0.00 %
4.47/4.53 s OPTIMUM FOUND
4.47/4.54 v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582
4.47/4.54 v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564
4.47/4.54 v -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 x2549 -x2548 -x2547 -x2546
4.47/4.54 v -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529
4.47/4.54 v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511
4.47/4.54 v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493
4.47/4.54 v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475
4.47/4.54 v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457
4.47/4.54 v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439
4.47/4.54 v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
4.47/4.54 v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403
4.47/4.54 v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
4.47/4.54 v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367
4.47/4.54 v -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350
4.47/4.54 v -x2349 -x2348 -x2347 -x2346 x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332
4.47/4.54 v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314
4.47/4.54 v -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296
4.47/4.54 v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278
4.47/4.54 v -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 x2265 -x2264 -x2263 -x2262 -x2261 -x2260
4.47/4.54 v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242
4.47/4.54 v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224
4.47/4.54 v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206
4.47/4.54 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188
4.47/4.54 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171
4.47/4.54 v -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153
4.47/4.54 v -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135
4.47/4.54 v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117
4.47/4.54 v -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 x2099
4.47/4.54 v -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081
4.47/4.54 v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063
4.47/4.54 v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 x2046 -x2045
4.47/4.54 v -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027
4.47/4.54 v -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009
4.47/4.54 v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991
4.47/4.54 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974
4.47/4.54 v -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956
4.47/4.54 v -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938
4.47/4.54 v x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920
4.47/4.54 v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902
4.47/4.54 v -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884
4.47/4.54 v -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866
4.47/4.54 v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848
4.47/4.54 v -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830
4.47/4.54 v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812
4.47/4.54 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794
4.47/4.54 v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776
4.47/4.54 v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
4.47/4.54 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741
4.47/4.54 v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723
4.47/4.54 v -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 x1706 -x1705
4.47/4.54 v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687
4.47/4.54 v -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 x1673 -x1672 -x1671 -x1670 -x1669
4.47/4.54 v -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651
4.47/4.54 v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633
4.47/4.54 v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615
4.47/4.54 v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597
4.47/4.54 v -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580
4.47/4.54 v -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
4.47/4.54 v -x1561 -x1560 -x1559 -x1558 -x1557 x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544
4.47/4.54 v -x1543 -x1542 x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526
4.47/4.54 v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
4.47/4.54 v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490
4.47/4.54 v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 x1473 -x1472
4.47/4.54 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454
4.47/4.54 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436
4.47/4.54 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418
4.47/4.54 v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400
4.47/4.54 v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383
4.47/4.54 v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
4.47/4.54 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
4.47/4.54 v -x1346 -x1345 -x1344 -x1343 -x1342 x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
4.47/4.54 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311
4.47/4.54 v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293
4.47/4.54 v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
4.47/4.54 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
4.47/4.54 v x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
4.47/4.54 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 x1223 -x1222 -x1221
4.47/4.54 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203
4.47/4.54 v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
4.47/4.54 v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168
4.47/4.54 v -x1167 -x1166 x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
4.47/4.54 v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
4.47/4.54 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114
4.47/4.54 v -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
4.47/4.54 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
4.47/4.54 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 x1065 -x1064 -x1063 -x1062 -x1061 -x1060
4.47/4.54 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
4.47/4.54 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
4.47/4.54 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 -x1006
4.47/4.54 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987
4.47/4.54 v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966
4.47/4.54 v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945
4.47/4.54 v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924
4.47/4.54 v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903
4.47/4.54 v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882
4.47/4.54 v -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861
4.47/4.54 v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840
4.47/4.54 v -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
4.47/4.54 v -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
4.47/4.54 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
4.47/4.54 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
4.47/4.54 v x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
4.47/4.54 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
4.47/4.54 v -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
4.47/4.54 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673
4.47/4.54 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
4.47/4.54 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
4.47/4.54 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610
4.47/4.54 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
4.47/4.54 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
4.47/4.54 v -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548
4.47/4.54 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527
4.47/4.54 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
4.47/4.54 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
4.47/4.54 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
4.47/4.54 v x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
4.47/4.54 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
4.47/4.54 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401
4.47/4.54 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381
4.47/4.54 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
4.47/4.54 v -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
4.47/4.54 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
4.47/4.54 v -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297
4.47/4.54 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
4.47/4.54 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
4.47/4.54 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
4.47/4.54 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
4.47/4.54 v -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192
4.47/4.54 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172
4.47/4.54 v -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
4.47/4.54 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
4.47/4.54 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
4.47/4.54 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 x98 -x97 -x96 x95 -x94 x93 x92 -x91 x90 -x89 -x88 x87 -x86 x85 -x84
4.47/4.54 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 x57 -x56
4.47/4.54 v x55 x54 -x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28
4.47/4.54 v x27 x26 -x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
4.47/4.54 c SCIP Status : problem is solved [optimal solution found]
4.47/4.54 c Total Time : 4.53
4.47/4.54 c solving : 4.53
4.47/4.54 c presolving : 4.14 (included in solving)
4.47/4.54 c reading : 0.03 (included in solving)
4.47/4.54 c copying : 0.00 (0 times copied the problem)
4.47/4.54 c Original Problem :
4.47/4.54 c Problem name : HOME/instance-4456422-1721719704.wbo
4.47/4.54 c Variables : 7648 (7648 binary, 0 integer, 0 implicit integer, 0 continuous)
4.47/4.54 c Constraints : 10197 initial, 10197 maximal
4.47/4.54 c Objective : minimize, 5048 non-zeros (abs.min = 1, abs.max = 6.13064e+07)
4.47/4.54 c Presolved Problem :
4.47/4.54 c Problem name : t_HOME/instance-4456422-1721719704.wbo
4.47/4.54 c Variables : 4998 (4998 binary, 0 integer, 0 implicit integer, 0 continuous)
4.47/4.54 c Constraints : 4975 initial, 4980 maximal
4.47/4.54 c Objective : minimize, 2499 non-zeros (abs.min = 1, abs.max = 1.41525e+07)
4.47/4.54 c Nonzeros : 14849 constraint, 16954 clique table
4.47/4.54 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
4.47/4.54 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c domcol : 0.00 0.00 99 0 0 0 0 0 0 0 0 0
4.47/4.54 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.47/4.54 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c implics : 0.01 0.00 101 0 0 0 0 0 0 0 0 0
4.47/4.54 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.47/4.54 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c trivial : 0.03 0.00 204 0 0 0 0 0 0 0 0 0
4.47/4.54 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c dualfix : 0.02 0.00 204 100 0 0 0 0 0 0 0 0
4.47/4.54 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c probing : 3.39 0.00 99 0 2450 0 0 0 0 0 0 0
4.47/4.54 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.47/4.54 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
4.47/4.54 c vbounds : 0.03 0.00 12 0 0 0 0 0 0 0 0 0
4.47/4.54 c knapsack : 0.01 0.00 399 2450 0 0 0 0 0 0 0 0
4.47/4.54 c setppc : 0.18 0.00 399 50 0 0 0 0 1 0 0 0
4.47/4.54 c linear : 0.38 0.00 305 0 99 0 4998 0 247 0 0 0
4.47/4.54 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c indicator : 0.02 0.00 105 2549 0 0 0 0 4974 0 0 0
4.47/4.54 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.47/4.54 c root node : - - - 8 - - 8 - - - - -
4.47/4.54 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
4.47/4.54 c benderslp : 0 0 0 0 0 0 0 59 0 0 0 0 0 0 0
4.47/4.54 c integral : 0 0 0 0 0 0 0 59 0 0 0 0 0 0 0
4.47/4.54 c knapsack : 1 1 0 29500 0 0 0 54 198 0 0 0 0 0 0
4.47/4.54 c setppc : 2450 2450 0 22052 0 0 0 52 3 2 0 0 0 0 0
4.47/4.54 c linear : 2450 2450 0 22048 0 0 0 54 249 0 0 0 0 0 0
4.47/4.54 c logicor : 0+ 5 0 32 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c benders : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
4.47/4.54 c indicator : 74 74 0 29843 0 0 0 3 99 0 0 0 0 0 0
4.47/4.54 c fixedvar : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
4.47/4.54 c countsols : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
4.47/4.54 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
4.47/4.54 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c knapsack : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.01 0.00
4.47/4.54 c setppc : 0.33 0.00 0.00 0.32 0.00 0.00 0.00 0.01 0.00 0.00
4.47/4.54 c linear : 0.04 0.00 0.00 0.02 0.00 0.00 0.00 0.01 0.00 0.00
4.47/4.54 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c indicator : 0.41 0.00 0.00 0.41 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c Propagators : #Propagate #ResProp Cutoffs DomReds
4.47/4.54 c dualfix : 3 0 0 0
4.47/4.54 c genvbounds : 0 0 0 0
4.47/4.54 c nlobbt : 0 0 0 0
4.47/4.54 c obbt : 0 0 0 0
4.47/4.54 c probing : 0 0 0 0
4.47/4.54 c pseudoobj : 3 0 0 8
4.47/4.54 c redcost : 0 0 0 0
4.47/4.54 c rootredcost : 0 0 0 0
4.47/4.54 c symmetry : 0 0 0 0
4.47/4.54 c vbounds : 7995 0 0 0
4.47/4.54 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
4.47/4.54 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
4.47/4.54 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c probing : 3.39 0.00 3.39 0.00 0.00 0.00
4.47/4.54 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
4.47/4.54 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
4.47/4.54 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
4.47/4.54 c vbounds : 0.03 0.00 0.03 0.00 0.00 0.00
4.47/4.54 c Symmetry :
4.47/4.54 c orbitopal red. : 0 reductions applied, 0 cutoffs
4.47/4.54 c orbital reduction: 0 reductions applied, 0 cutoffs
4.47/4.54 c lexicographic red: 0 reductions applied, 0 cutoffs
4.47/4.54 c shadow tree time : 0.00 s
4.47/4.54 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
4.47/4.54 c propagation : 0.01 2 2 - 15 366.2 0 0.0 - - -
4.47/4.54 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
4.47/4.54 c bound exceed. LP : 0.00 2 1 - 2 49.5 0 0.0 0 0.0 10
4.47/4.54 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
4.47/4.54 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
4.47/4.54 c applied globally : 0.00 - - 0 5 236.6 - - 0 - -
4.47/4.54 c applied locally : - - - 0 0 0.0 - - 0 - -
4.47/4.54 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
4.47/4.54 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
4.47/4.54 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c > cmir : - - - - - - - 0 0 0 0 0 -
4.47/4.54 c > flowcover : - - - - - - - 0 0 0 0 0 -
4.47/4.54 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
4.47/4.54 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c > gomorymi : - - - - - - - 0 0 0 0 0 -
4.47/4.54 c > strongcg : - - - - - - - 0 0 0 0 0 -
4.47/4.54 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.47/4.54 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
4.47/4.54 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c Pricers : ExecTime SetupTime Calls Vars
4.47/4.54 c problem variables: 0.00 - 0 0
4.47/4.54 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
4.47/4.54 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c random : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
4.47/4.54 c Primal Heuristics : ExecTime SetupTime Calls Found Best
4.47/4.54 c LP solutions : 0.00 - - 1 1
4.47/4.54 c relax solutions : 0.00 - - 0 0
4.47/4.54 c pseudo solutions : 0.00 - - 0 0
4.47/4.54 c strong branching : 0.00 - - 0 0
4.47/4.54 c actconsdiving : 0.00 0.00 0 0 0
4.47/4.54 c adaptivediving : 0.00 0.00 0 0 0
4.47/4.54 c alns : 0.00 0.00 0 0 0
4.47/4.54 c bound : 0.00 0.00 0 0 0
4.47/4.54 c clique : 0.08 0.00 1 1 1
4.47/4.54 c coefdiving : 0.00 0.00 0 0 0
4.47/4.54 c completesol : 0.00 0.00 0 0 0
4.47/4.54 c conflictdiving : 0.00 0.00 0 0 0
4.47/4.54 c crossover : 0.00 0.00 0 0 0
4.47/4.54 c dins : 0.00 0.00 0 0 0
4.47/4.54 c distributiondivin: 0.00 0.00 0 0 0
4.47/4.54 c dps : 0.00 0.00 0 0 0
4.47/4.54 c dualval : 0.00 0.00 0 0 0
4.47/4.54 c farkasdiving : 0.00 0.00 0 0 0
4.47/4.54 c feasjump : 0.00 0.00 0 0 0
4.47/4.54 c feaspump : 0.00 0.00 0 0 0
4.47/4.54 c fixandinfer : 0.00 0.00 0 0 0
4.47/4.54 c fracdiving : 0.00 0.00 0 0 0
4.47/4.54 c gins : 0.00 0.00 0 0 0
4.47/4.54 c guideddiving : 0.00 0.00 0 0 0
4.47/4.54 c indcoefdiving : 0.00 0.00 0 0 0
4.47/4.54 c indicator : 0.00 0.00 0 0 0
4.47/4.54 c indicatordiving : 0.00 0.00 0 0 0
4.47/4.54 c indoneopt : 0.03 0.00 1 0 0
4.47/4.54 c indrounding : 0.00 0.00 0 0 0
4.47/4.54 c indtwoopt : 0.00 0.00 0 0 0
4.47/4.54 c intdiving : 0.00 0.00 0 0 0
4.47/4.54 c intshifting : 0.00 0.00 0 0 0
4.47/4.54 c linesearchdiving : 0.00 0.00 0 0 0
4.47/4.54 c localbranching : 0.00 0.00 0 0 0
4.47/4.54 c locks : 0.03 0.00 1 0 0
4.47/4.54 c lpface : 0.00 0.00 0 0 0
4.47/4.54 c mpec : 0.00 0.00 0 0 0
4.47/4.54 c multistart : 0.00 0.00 0 0 0
4.47/4.54 c mutation : 0.00 0.00 0 0 0
4.47/4.54 c nlpdiving : 0.00 0.00 0 0 0
4.47/4.54 c objpscostdiving : 0.00 0.00 0 0 0
4.47/4.54 c octane : 0.00 0.00 0 0 0
4.47/4.54 c ofins : 0.00 0.00 0 0 0
4.47/4.54 c oneopt : 0.00 0.00 1 0 0
4.47/4.54 c padm : 0.00 0.00 0 0 0
4.47/4.54 c proximity : 0.00 0.00 0 0 0
4.47/4.54 c pscostdiving : 0.00 0.00 0 0 0
4.47/4.54 c randrounding : 0.00 0.00 0 0 0
4.47/4.54 c rens : 0.00 0.00 0 0 0
4.47/4.54 c reoptsols : 0.00 0.00 0 0 0
4.47/4.54 c repair : 0.00 0.00 0 0 0
4.47/4.54 c rins : 0.00 0.00 0 0 0
4.47/4.54 c rootsoldiving : 0.00 0.00 0 0 0
4.47/4.54 c rounding : 0.00 0.00 0 0 0
4.47/4.54 c scheduler : 0.00 0.00 0 0 0
4.47/4.54 c shiftandpropagate: 0.00 0.00 0 0 0
4.47/4.54 c shifting : 0.00 0.00 0 0 0
4.47/4.54 c simplerounding : 0.00 0.00 0 0 0
4.47/4.54 c smallcard : 0.00 0.00 0 0 0
4.47/4.54 c subnlp : 0.00 0.00 0 0 0
4.47/4.54 c trivial : 0.01 0.00 2 0 0
4.47/4.54 c trivialnegation : 0.00 0.00 0 0 0
4.47/4.54 c trustregion : 0.00 0.00 0 0 0
4.47/4.54 c trysol : 0.00 0.00 0 0 0
4.47/4.54 c twoopt : 0.00 0.00 0 0 0
4.47/4.54 c undercover : 0.00 0.00 0 0 0
4.47/4.54 c vbounds : 0.10 0.00 1 1 1
4.47/4.54 c veclendiving : 0.00 0.00 0 0 0
4.47/4.54 c zeroobj : 0.00 0.00 0 0 0
4.47/4.54 c zirounding : 0.00 0.00 0 0 0
4.47/4.54 c other solutions : - - - 0 -
4.47/4.54 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
4.47/4.54 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
4.47/4.54 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
4.47/4.54 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
4.47/4.54 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
4.47/4.54 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
4.47/4.54 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
4.47/4.54 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
4.47/4.54 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
4.47/4.54 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
4.47/4.54 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
4.47/4.54 c primal LP : 0.00 0 0 0.00 - 0.00 0
4.47/4.54 c dual LP : 0.08 1 4335 4335.00 53264.03 0.00 0
4.47/4.54 c lex dual LP : 0.00 0 0 0.00 -
4.47/4.54 c barrier LP : 0.00 0 0 0.00 - 0.00 0
4.47/4.54 c resolve instable : 0.00 0 0 0.00 -
4.47/4.54 c diving/probing LP: 0.01 0 0 0.00 -
4.47/4.54 c strong branching : 0.00 0 0 0.00 - - - 0
4.47/4.54 c (at root node) : - 0 0 0.00 -
4.47/4.54 c conflict analysis: 0.00 1 10 10.00 -
4.47/4.54 c B&B Tree :
4.47/4.54 c number of runs : 1
4.47/4.54 c nodes : 1 (0 internal, 1 leaves)
4.47/4.54 c feasible leaves : 0
4.47/4.54 c infeas. leaves : 0
4.47/4.54 c objective leaves : 1
4.47/4.54 c nodes (total) : 1 (0 internal, 1 leaves)
4.47/4.54 c nodes left : 0
4.47/4.54 c max depth : 0
4.47/4.54 c max depth (total): 0
4.47/4.54 c backtracks : 0 (0.0%)
4.47/4.54 c early backtracks : 0 (0.0%)
4.47/4.54 c nodes exc. ref. : 0 (0.0%)
4.47/4.54 c delayed cutoffs : 0
4.47/4.54 c repropagations : 0 (0 domain reductions, 0 cutoffs)
4.47/4.54 c avg switch length: 2.00
4.47/4.54 c switching time : 0.00
4.47/4.54 c Root Node :
4.47/4.54 c First LP value : +7.68849600000000e+06
4.47/4.54 c First LP Iters : 4335 (52860.05 Iter/sec)
4.47/4.54 c First LP Time : 0.08
4.47/4.54 c Final Dual Bound : +7.68849600000000e+06
4.47/4.54 c Final Root Iters : 4335
4.47/4.54 c Root LP Estimate : -
4.47/4.54 c Solution :
4.47/4.54 c Solutions found : 3 (3 improvements)
4.47/4.54 c First Solution : +3.40791330000000e+07 (in run 1, after 1 nodes, 4.28 seconds, depth 2500, found by <clique>)
4.47/4.54 c Gap First Sol. : infinite
4.47/4.54 c Gap Last Sol. : 0.00 %
4.47/4.54 c Primal Bound : +7.68849600000000e+06 (in run 1, after 1 nodes, 4.52 seconds, depth 0, found by <relaxation>)
4.47/4.54 c Dual Bound : +7.68849600000000e+06
4.47/4.54 c Gap : 0.00 %
4.47/4.54 c Integrals : Total Avg%
4.47/4.54 c primal-dual : 452.55 99.98
4.47/4.54 c primal-ref : - - (not evaluated)
4.47/4.54 c dual-ref : - - (not evaluated)
4.47/4.58 c Time complete: 4.5651.
OK 7688496
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: 63931 MiB (39227 MiB free)
memory of node 1: 64510 MiB (49801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456422-1721719704/watcher-4456422-1721719704 -o /tmp/evaluation-result-4456422-1721719704/solver-4456422-1721719704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456422-1721719704.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88986, runsolver pid=88983
[startup+0.100093 s]*
/proc/loadavg: 4.10 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91114536/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=108924 memory=67680 CPUtime=0.1 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 13635 0 0 0 8 2 0 0 20 0 1 0 8499934 111538176 16920 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 27231 16920 3627 3540 0 15488 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108924 KiB
Current children cumulated memory: 67680 KiB
[startup+0.205927 s]*
/proc/loadavg: 4.10 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91109000/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=112316 memory=70704 CPUtime=0.2 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 14389 0 0 0 18 2 0 0 20 0 1 0 8499934 115011584 17676 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 28079 17676 3659 3540 0 16336 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112316 KiB
Current children cumulated memory: 70704 KiB
[startup+0.305777 s]*
/proc/loadavg: 4.10 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91106872/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=114332 memory=73104 CPUtime=0.3 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 14960 0 0 0 28 2 0 0 20 0 1 0 8499934 117075968 18276 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 28583 18276 3691 3540 0 16840 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114332 KiB
Current children cumulated memory: 73104 KiB
[startup+0.70024 s]
/proc/loadavg: 4.10 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91106228/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=114836 memory=73632 CPUtime=0.69 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 15088 0 0 0 67 2 0 0 20 0 1 0 8499934 117592064 18408 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 28709 18408 3691 3540 0 16966 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114836 KiB
Current children cumulated memory: 73632 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91105892/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=116380 memory=75216 CPUtime=1.48 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 15473 0 0 0 146 2 0 0 20 0 1 0 8499934 119173120 18804 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 29095 18804 3691 3540 0 17352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116380 KiB
Current children cumulated memory: 75216 KiB
[startup+3.10573 s]
/proc/loadavg: 4.09 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91103224/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=118712 memory=76536 CPUtime=3.08 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 15848 0 0 0 306 2 0 0 20 0 1 0 8499934 121561088 19134 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 29678 19134 3691 3540 0 17935 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118712 KiB
Current children cumulated memory: 76536 KiB
[startup+4.58697 s]
# the end of solver process 88986 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=4.52768 s, system=0.042791 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20022 s]
/proc/loadavg: 4.09 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91103224/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=118712 memory=76536 CPUtime=3.17 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 15848 0 0 0 315 2 0 0 20 0 1 0 8499934 121561088 19134 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 29678 19134 3691 3540 0 17935 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 118712 KiB
Current children cumulated memory: 76536 KiB
[startup+4.0002 s]*
/proc/loadavg: 4.09 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91102664/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=119920 memory=77856 CPUtime=3.98 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 16121 0 0 0 396 2 0 0 20 0 1 0 8499934 122798080 19464 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 29980 19464 3691 3540 0 18237 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 119920 KiB
Current children cumulated memory: 77856 KiB
[startup+4.4002 s]
/proc/loadavg: 4.09 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91102664/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=141776 memory=91788 CPUtime=4.38 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 20118 0 0 0 435 3 0 0 20 0 1 0 8499934 145178624 22947 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 35444 22947 3883 3540 0 23701 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 141776 KiB
Current children cumulated memory: 91788 KiB
[startup+4.5002 s]
/proc/loadavg: 4.09 4.12 3.70 5/256 88987
/proc/meminfo: memFree=91102664/131524600 swapFree=131071996/131071996
[pid=88986] ppid=88983 vsize=144148 memory=93884 CPUtime=4.47 cores=4,6
/proc/88986/stat : 88986 (pbscip) R 88983 88986 87295 0 -1 4194304 20670 0 0 0 444 3 0 0 20 0 1 0 8499934 147607552 23471 134679101440 4194304 18693293 140730397431008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29798400 140730397438979 140730397439078 140730397439078 140730397446094 0
/proc/88986/statm: 36037 23471 3883 3540 0 24294 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 144148 KiB
Current children cumulated memory: 93884 KiB
Child status: 0
Real time (s): 4.58703
CPU time (s): 4.57047
CPU user time (s): 4.52768
CPU system time (s): 0.042791
CPU usage (%): 99.6391
Max. virtual memory (cumulated for all children) (KiB): 144148
Max. memory (cumulated for all children) (KiB): 93884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.52768
system time used= 0.042791
maximum resident set size= 94148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20704
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 88986
# total CPU time (s): 4.57047
# total CPU user time (s): 4.52768
# total CPU system time (s): 0.042791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02698 second user time and 0.05895 second system time
The end
Begin job on nodeC031 at 2024-07-23 09:28:24 IDJOB=4456422 IDBENCH=143986 IDSOLVER=3038 FILE ID=nodeC031/4456422-1721719704 RUNJOBID= nodeC031-1721718373-87306 SLURM_JOB_ID= 7770400 Free space on /tmp= 889984 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap111_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456422-1721719704/watcher-4456422-1721719704 -o /tmp/evaluation-result-4456422-1721719704/solver-4456422-1721719704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456422-1721719704.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9202fc79e8368b67f7e7060a66676775 RANDOM SEED=1474054821 nodeC031.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 : 0xb00002a cpu MHz : 3662.805 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.946 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3612.963 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.026 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.421 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.006 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3653.363 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.472 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 91166456 kB MemAvailable: 109886732 kB Buffers: 141380 kB Cached: 19335340 kB SwapCached: 0 kB Active: 992144 kB Inactive: 38629028 kB Active(anon): 1528 kB Inactive(anon): 20180636 kB Active(file): 990616 kB Inactive(file): 18448392 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19052 kB Writeback: 12 kB AnonPages: 20143160 kB Mapped: 133004 kB Shmem: 37720 kB KReclaimable: 241832 kB Slab: 345484 kB SReclaimable: 241832 kB SUnreclaim: 103652 kB KernelStack: 4080 kB PageTables: 49308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 21896048 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18880 kB HardwareCorrupted: 0 kB AnonHugePages: 5707776 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: 279252 kB DirectMap2M: 23611392 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 889964 MiB End job on nodeC031 at 2024-07-23 09:28:29