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 | 1.21508 | 1.22508 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo |
| MD5SUM | ba857364af295ab8f3555d8567fc7cd2 |
| 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 | 8654841 |
| Best CPU time to get the best result obtained on this benchmark | 0.045898 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1300 |
| Total number of constraints | 2598 |
| Number of soft constraints | 2523 |
| Number of constraints which are clauses | 2523 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 61786724 |
| Min constraint cost | 1 |
| Max constraint cost | 61786724 |
| Sum of constraints costs | 77838680126 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4526128-1751628418.wbo>
0.00/0.02 c original problem has 3823 variables (3823 bin, 0 int, 0 impl, 0 cont) and 5122 constraints
0.00/0.02 c problem read in 0.01
0.00/0.05 c presolving:
0.09/0.11 c (round 1, fast) 25 del vars, 25 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2523 impls, 67 clqs
0.09/0.11 c (round 2, fast) 26 del vars, 75 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2523 impls, 67 clqs
0.09/0.11 c (round 3, fast) 126 del vars, 125 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2523 impls, 67 clqs
0.09/0.16 c (round 4, fast) 150 del vars, 149 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2523 impls, 67 clqs
0.09/0.17 c (round 5, exhaustive) 150 del vars, 149 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 2523 impls, 67 clqs
0.09/0.17 c (round 6, fast) 2575 del vars, 1398 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 2523 impls, 49 clqs
0.09/0.18 c (round 7, fast) 2623 del vars, 1422 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 2523 impls, 1225 clqs
0.09/0.18 c (round 8, exhaustive) 2623 del vars, 1422 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1225 clqs
0.09/0.20 c (round 9, exhaustive) 2648 del vars, 1422 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1270 clqs
0.19/0.23 c (round 10, exhaustive) 2673 del vars, 1422 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1375 clqs
0.19/0.23 c (round 11, fast) 2673 del vars, 1447 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1375 clqs
0.19/0.25 c (round 12, exhaustive) 2698 del vars, 1447 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1474 clqs
0.19/0.25 c (round 13, fast) 2698 del vars, 1472 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1474 clqs
0.19/0.27 c (round 14, exhaustive) 2723 del vars, 1472 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1530 clqs
0.19/0.27 c (round 15, fast) 2723 del vars, 1497 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1530 clqs
0.19/0.30 c (round 16, exhaustive) 2748 del vars, 1497 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1632 clqs
0.19/0.30 c (round 17, fast) 2748 del vars, 1522 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1632 clqs
0.29/0.32 c (round 18, exhaustive) 2773 del vars, 1522 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1729 clqs
0.29/0.32 c (round 19, fast) 2773 del vars, 1547 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1729 clqs
0.29/0.34 c (round 20, exhaustive) 2798 del vars, 1547 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1777 clqs
0.29/0.34 c (round 21, fast) 2798 del vars, 1572 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1777 clqs
0.29/0.36 c (round 22, exhaustive) 2823 del vars, 1572 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1866 clqs
0.29/0.36 c (round 23, fast) 2823 del vars, 1597 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1866 clqs
0.29/0.38 c (round 24, exhaustive) 2848 del vars, 1597 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1909 clqs
0.29/0.38 c (round 25, fast) 2848 del vars, 1622 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1909 clqs
0.29/0.40 c (round 26, exhaustive) 2873 del vars, 1622 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1940 clqs
0.29/0.40 c (round 27, fast) 2873 del vars, 1647 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 1940 clqs
0.39/0.41 c (round 28, exhaustive) 2898 del vars, 1647 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2015 clqs
0.39/0.41 c (round 29, fast) 2898 del vars, 1672 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2015 clqs
0.39/0.43 c (round 30, exhaustive) 2923 del vars, 1672 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2042 clqs
0.39/0.43 c (round 31, fast) 2923 del vars, 1697 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2042 clqs
0.39/0.45 c (round 32, exhaustive) 2948 del vars, 1697 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2074 clqs
0.39/0.45 c (round 33, fast) 2948 del vars, 1722 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2074 clqs
0.39/0.47 c (round 34, exhaustive) 2973 del vars, 1722 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2102 clqs
0.39/0.47 c (round 35, fast) 2973 del vars, 1747 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2102 clqs
0.39/0.49 c (round 36, exhaustive) 2998 del vars, 1747 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2141 clqs
0.39/0.49 c (round 37, fast) 2998 del vars, 1772 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2141 clqs
0.39/0.50 c (round 38, exhaustive) 3023 del vars, 1772 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2172 clqs
0.39/0.50 c (round 39, fast) 3023 del vars, 1797 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2172 clqs
0.49/0.52 c (round 40, exhaustive) 3048 del vars, 1797 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2252 clqs
0.49/0.52 c (round 41, fast) 3048 del vars, 1822 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2252 clqs
0.49/0.54 c (round 42, exhaustive) 3073 del vars, 1822 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2389 clqs
0.49/0.54 c (round 43, fast) 3073 del vars, 1847 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2389 clqs
0.49/0.57 c (round 44, exhaustive) 3098 del vars, 1847 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2436 clqs
0.49/0.57 c (round 45, fast) 3098 del vars, 1872 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2436 clqs
0.49/0.58 c (0.6s) probing: 1000/3723 (26.9%) - 0 fixings, 496 aggregations, 1383 implications, 0 bound changes
0.49/0.59 c (round 46, exhaustive) 3123 del vars, 1872 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2516 clqs
0.49/0.59 c (round 47, fast) 3123 del vars, 1897 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2516 clqs
0.59/0.60 c (round 48, exhaustive) 3148 del vars, 1897 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2643 clqs
0.59/0.61 c (round 49, fast) 3148 del vars, 1922 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2643 clqs
0.59/0.62 c (round 50, exhaustive) 3173 del vars, 1922 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2671 clqs
0.59/0.62 c (round 51, fast) 3173 del vars, 1947 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2671 clqs
0.59/0.64 c (round 52, exhaustive) 3198 del vars, 1947 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2698 clqs
0.59/0.64 c (round 53, fast) 3198 del vars, 1972 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2698 clqs
0.59/0.66 c (round 54, exhaustive) 3223 del vars, 1972 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2722 clqs
0.59/0.66 c (round 55, fast) 3223 del vars, 1997 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2722 clqs
0.59/0.68 c (round 56, exhaustive) 3248 del vars, 1997 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2744 clqs
0.59/0.68 c (round 57, fast) 3248 del vars, 2022 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2744 clqs
0.68/0.70 c (round 58, exhaustive) 3273 del vars, 2022 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2820 clqs
0.68/0.70 c (round 59, fast) 3273 del vars, 2047 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2820 clqs
0.68/0.71 c (round 60, exhaustive) 3298 del vars, 2047 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2887 clqs
0.68/0.71 c (round 61, fast) 3298 del vars, 2072 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2887 clqs
0.68/0.73 c (round 62, exhaustive) 3323 del vars, 2072 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2915 clqs
0.68/0.73 c (round 63, fast) 3323 del vars, 2097 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2915 clqs
0.68/0.74 c (round 64, exhaustive) 3348 del vars, 2097 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2935 clqs
0.68/0.74 c (round 65, fast) 3348 del vars, 2122 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2935 clqs
0.68/0.76 c (round 66, exhaustive) 3373 del vars, 2122 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2953 clqs
0.68/0.76 c (round 67, fast) 3373 del vars, 2147 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2953 clqs
0.68/0.78 c (round 68, exhaustive) 3398 del vars, 2147 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2979 clqs
0.68/0.78 c (round 69, fast) 3398 del vars, 2172 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2979 clqs
0.68/0.79 c (round 70, exhaustive) 3423 del vars, 2172 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2987 clqs
0.68/0.79 c (round 71, fast) 3423 del vars, 2197 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 2987 clqs
0.78/0.81 c (round 72, exhaustive) 3448 del vars, 2197 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3055 clqs
0.78/0.81 c (round 73, fast) 3448 del vars, 2222 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3055 clqs
0.78/0.83 c (round 74, exhaustive) 3473 del vars, 2222 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3165 clqs
0.78/0.83 c (round 75, fast) 3473 del vars, 2247 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3165 clqs
0.78/0.84 c (round 76, exhaustive) 3498 del vars, 2247 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3177 clqs
0.78/0.85 c (round 77, fast) 3498 del vars, 2272 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3177 clqs
0.78/0.86 c (round 78, exhaustive) 3523 del vars, 2272 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3193 clqs
0.78/0.86 c (round 79, fast) 3523 del vars, 2297 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3193 clqs
0.78/0.88 c (round 80, exhaustive) 3548 del vars, 2297 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3257 clqs
0.78/0.88 c (round 81, fast) 3548 del vars, 2322 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3257 clqs
0.88/0.90 c (round 82, exhaustive) 3573 del vars, 2322 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3266 clqs
0.88/0.90 c (round 83, fast) 3573 del vars, 2347 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3266 clqs
0.88/0.91 c (round 84, exhaustive) 3598 del vars, 2347 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3371 clqs
0.88/0.91 c (round 85, fast) 3598 del vars, 2372 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3371 clqs
0.88/0.93 c (round 86, exhaustive) 3623 del vars, 2372 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3385 clqs
0.88/0.93 c (round 87, fast) 3623 del vars, 2397 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3385 clqs
0.88/0.94 c (0.9s) probing: 2000/3723 (53.7%) - 0 fixings, 1003 aggregations, 2554 implications, 0 bound changes
0.88/0.95 c (round 88, exhaustive) 3648 del vars, 2397 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3445 clqs
0.88/0.95 c (round 89, fast) 3648 del vars, 2422 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3445 clqs
0.88/0.97 c (round 90, exhaustive) 3673 del vars, 2422 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3555 clqs
0.88/0.97 c (round 91, fast) 3673 del vars, 2447 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3555 clqs
0.88/0.98 c (round 92, exhaustive) 3698 del vars, 2447 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3560 clqs
0.88/0.98 c (round 93, fast) 3698 del vars, 2472 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3560 clqs
0.88/1.00 c (round 94, exhaustive) 3723 del vars, 2472 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3563 clqs
0.88/1.00 c (round 95, fast) 3723 del vars, 2497 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3563 clqs
0.99/1.01 c (round 96, exhaustive) 3748 del vars, 2497 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3566 clqs
0.99/1.01 c (round 97, fast) 3748 del vars, 2522 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3566 clqs
0.99/1.03 c (round 98, exhaustive) 3773 del vars, 2522 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3619 clqs
0.99/1.03 c (round 99, fast) 3773 del vars, 2547 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3619 clqs
0.99/1.05 c (round 100, exhaustive) 3798 del vars, 2547 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3621 clqs
0.99/1.05 c (round 101, fast) 3798 del vars, 2572 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3621 clqs
0.99/1.07 c (round 102, exhaustive) 3823 del vars, 2572 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3624 clqs
0.99/1.07 c (round 103, fast) 3823 del vars, 2597 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3624 clqs
0.99/1.08 c (round 104, exhaustive) 3848 del vars, 2597 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3626 clqs
0.99/1.08 c (round 105, fast) 3848 del vars, 2622 del conss, 0 add conss, 2473 chg bounds, 0 chg sides, 0 chg coeffs, 1227 upgd conss, 2523 impls, 3626 clqs
0.99/1.10 c (1.1s) probing: 2523/3723 (67.8%) - 0 fixings, 1225 aggregations, 2991 implications, 0 bound changes
0.99/1.10 c (1.1s) probing aborted: 50/50 successive totally useless probings
0.99/1.10 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.99/1.10 c (1.1s) no symmetry present (symcode time: 0.00)
1.08/1.10 c presolving (106 rounds: 106 fast, 52 medium, 52 exhaustive):
1.08/1.10 c 3848 deleted vars, 2622 deleted constraints, 0 added constraints, 2473 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.08/1.10 c 2523 implications, 3626 cliques
1.08/1.10 c presolved problem has 2498 variables (2498 bin, 0 int, 0 impl, 0 cont) and 2500 constraints
1.08/1.10 c 1 constraints of type <knapsack>
1.08/1.10 c 1225 constraints of type <setppc>
1.08/1.10 c 1225 constraints of type <linear>
1.08/1.10 c 49 constraints of type <indicator>
1.08/1.10 c transformed objective value is always integral (scale: 1)
1.08/1.10 c Presolving Time: 1.08
1.08/1.10 c - non default parameters ----------------------------------------------------------------------
1.08/1.10 c # SCIP version 10.0.0
1.08/1.10 c
1.08/1.10 c # maximal time in seconds to run
1.08/1.10 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.08/1.10 c limits/time = 3596.99703
1.08/1.10 c
1.08/1.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.08/1.10 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.08/1.10 c limits/memory = 27900
1.08/1.10 c
1.08/1.10 c # belongs reading time to solving time?
1.08/1.10 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.08/1.10 c timing/reading = TRUE
1.08/1.10 c
1.08/1.10 c -----------------------------------------------------------------------------------------------
1.08/1.10 c start solving
1.08/1.10 c
1.08/1.13 o 19152635
1.08/1.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.08/1.13 c p 1.1s| 1 | 0 | 0 | - | clique| 0 |2498 |2500 |2474 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.915264e+07 | Inf | unknown
1.08/1.16 o 12233821
1.08/1.16 c p 1.2s| 1 | 0 | 0 | - | vbounds| 0 |2498 |2507 |2474 | 0 | 0 | 9 | 0 | 0.000000e+00 | 1.223382e+07 | Inf | unknown
1.18/1.20 o 8654841
1.18/1.20 c * 1.2s| 1 | 0 | 1759 | - | LP | 0 |2498 |2501 |2474 | 0 | 0 | 9 | 0 | 8.654841e+06 | 8.654841e+06 | 0.00%| unknown
1.18/1.20 c 1.2s| 1 | 0 | 1759 | - | 42M | 0 |2498 |2501 |2474 | 0 | 0 | 9 | 0 | 8.654841e+06 | 8.654841e+06 | 0.00%| unknown
1.18/1.20 c
1.18/1.20 c SCIP Status : problem is solved [optimal solution found]
1.18/1.20 c Solving Time (sec) : 1.19
1.18/1.20 c Solving Nodes : 1
1.18/1.20 c Primal Bound : +8.65484100000000e+06 (3 solutions)
1.18/1.20 c Dual Bound : +8.65484100000000e+06
1.18/1.20 c Gap : 0.00 %
1.18/1.20 s OPTIMUM FOUND
1.18/1.20 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282
1.18/1.20 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264
1.18/1.20 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
1.18/1.20 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228
1.18/1.20 v -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
1.18/1.20 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
1.18/1.20 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
1.18/1.20 v -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
1.18/1.20 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
1.18/1.20 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121
1.18/1.20 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103
1.18/1.20 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
1.18/1.20 v -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067
1.18/1.20 v -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049
1.18/1.20 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1.18/1.20 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
1.18/1.20 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994
1.18/1.20 v -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 x975 -x974 -x973
1.18/1.20 v -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952
1.18/1.20 v -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931
1.18/1.20 v -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910
1.18/1.20 v -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889
1.18/1.20 v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868
1.18/1.20 v -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
1.18/1.20 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1.18/1.20 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805
1.18/1.20 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784
1.18/1.20 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1.18/1.20 v -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743
1.18/1.20 v -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722
1.18/1.20 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1.18/1.20 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680
1.18/1.20 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659
1.18/1.20 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
1.18/1.20 v -x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617
1.18/1.20 v -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596
1.18/1.20 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575
1.18/1.20 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554
1.18/1.20 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
1.18/1.20 v x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
1.18/1.20 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1.18/1.20 v -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1.18/1.20 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449
1.18/1.20 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428
1.18/1.20 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407
1.18/1.20 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386
1.18/1.20 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1.18/1.20 v -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1.18/1.20 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1.18/1.20 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302
1.18/1.20 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
1.18/1.20 v -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
1.18/1.20 v -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
1.18/1.20 v -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1.18/1.20 v x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
1.18/1.20 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1.18/1.20 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
1.18/1.20 v x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1.18/1.20 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1.18/1.20 v -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1.18/1.20 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1.18/1.20 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 x48 -x47 x46 -x45 -x44 x43 -x42 x41 -x40
1.18/1.20 v x39 -x38 x37 -x36 x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 x26 -x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12
1.18/1.20 v x11 -x10 x9 x8 -x7 -x6 x5 -x4 x3 -x2 x1
1.18/1.20 c SCIP Status : problem is solved [optimal solution found]
1.18/1.20 c Total Time : 1.19
1.18/1.20 c solving : 1.19
1.18/1.20 c presolving : 1.08 (included in solving)
1.18/1.20 c reading : 0.01 (included in solving)
1.18/1.20 c copying : 0.00 (0 times copied the problem)
1.18/1.20 c Original Problem :
1.18/1.20 c Problem name : HOME/instance-4526128-1751628418.wbo
1.18/1.20 c Variables : 3823 (3823 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.20 c Constraints : 5122 initial, 5122 maximal
1.18/1.20 c Objective : minimize, 2523 non-zeros (abs.min = 1, abs.max = 6.17867e+07)
1.18/1.20 c Presolved Problem :
1.18/1.20 c Problem name : t_HOME/instance-4526128-1751628418.wbo
1.18/1.20 c Variables : 2498 (2498 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.20 c Constraints : 2500 initial, 2509 maximal
1.18/1.20 c Objective : minimize, 1249 non-zeros (abs.min = 1, abs.max = 1.41513e+07)
1.18/1.20 c Nonzeros : 7424 constraint, 8379 clique table
1.18/1.20 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.18/1.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c domcol : 0.00 0.00 50 0 0 0 0 0 0 0 0 0
1.18/1.20 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.18/1.20 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c implics : 0.00 0.00 52 0 0 0 0 0 0 0 0 0
1.18/1.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.18/1.20 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c trivial : 0.00 0.00 106 0 0 0 0 0 0 0 0 0
1.18/1.20 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c dualfix : 0.00 0.00 106 75 0 0 0 0 0 0 0 0
1.18/1.20 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c probing : 0.79 0.00 50 0 1225 0 0 0 0 0 0 0
1.18/1.20 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.18/1.20 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.18/1.20 c vbounds : 0.01 0.00 12 0 0 0 0 0 0 0 0 0
1.18/1.20 c knapsack : 0.00 0.00 203 1200 0 0 0 0 0 0 0 0
1.18/1.20 c setppc : 0.04 0.00 203 25 0 0 0 0 1 0 0 0
1.18/1.20 c linear : 0.19 0.00 158 0 49 0 2473 0 147 0 0 0
1.18/1.20 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c indicator : 0.00 0.00 56 1274 0 0 0 0 2474 0 0 0
1.18/1.20 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.18/1.20 c root node : - - - 6 - - 6 - - - - -
1.18/1.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.18/1.20 c benderslp : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
1.18/1.20 c integral : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
1.18/1.20 c knapsack : 1 1 0 14811 0 0 0 53 98 1 0 0 0 0 0
1.18/1.20 c setppc : 1225 1225 0 11266 0 0 0 51 3 2 0 0 0 0 0
1.18/1.20 c linear : 1225 1225 0 11262 0 0 0 53 149 0 0 0 0 0 0
1.18/1.20 c logicor : 0+ 9 0 8 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c benders : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.18/1.20 c indicator : 49 49 0 15164 0 0 0 3 73 0 0 0 0 0 0
1.18/1.20 c fixedvar : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.18/1.20 c countsols : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.18/1.20 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.18/1.20 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c knapsack : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c setppc : 0.09 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c indicator : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.18/1.20 c dualfix : 3 0 0 0
1.18/1.20 c genvbounds : 0 0 0 0
1.18/1.20 c nlobbt : 0 0 0 0
1.18/1.20 c obbt : 0 0 0 0
1.18/1.20 c probing : 0 0 0 0
1.18/1.20 c pseudoobj : 3 0 0 6
1.18/1.20 c redcost : 0 0 0 0
1.18/1.20 c rootredcost : 0 0 0 0
1.18/1.20 c symmetry : 0 0 0 0
1.18/1.20 c vbounds : 4071 0 0 0
1.18/1.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.18/1.20 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c probing : 0.79 0.00 0.79 0.00 0.00 0.00
1.18/1.20 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
1.18/1.20 c vbounds : 0.01 0.00 0.01 0.00 0.00 0.00
1.18/1.20 c Symmetry :
1.18/1.20 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.18/1.20 c orbital reduction: 0 reductions applied, 0 cutoffs
1.18/1.20 c lexicographic red: 0 reductions applied, 0 cutoffs
1.18/1.20 c shadow tree time : 0.00 s
1.18/1.20 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.18/1.20 c propagation : 0.00 3 3 - 27 215.7 0 0.0 - - -
1.18/1.20 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.18/1.20 c bound exceed. LP : 0.00 2 1 - 2 49.5 0 0.0 0 0.0 10
1.18/1.20 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.18/1.20 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1.18/1.20 c applied globally : 0.00 - - 0 9 172.6 - - 0 - -
1.18/1.20 c applied locally : - - - 0 0 0.0 - - 0 - -
1.18/1.20 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.18/1.20 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
1.18/1.20 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c > cmir : - - - - - - - 0 0 0 0 0 -
1.18/1.20 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.18/1.20 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.18/1.20 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c > gomorymi : - - - - - - - 0 0 0 0 0 -
1.18/1.20 c > strongcg : - - - - - - - 0 0 0 0 0 -
1.18/1.20 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.18/1.20 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.18/1.20 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c Pricers : ExecTime SetupTime Calls Vars
1.18/1.20 c problem variables: 0.00 - 0 0
1.18/1.20 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.18/1.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.18/1.20 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.18/1.20 c LP solutions : 0.00 - - 1 1
1.18/1.20 c relax solutions : 0.00 - - 0 0
1.18/1.20 c pseudo solutions : 0.00 - - 0 0
1.18/1.20 c strong branching : 0.00 - - 0 0
1.18/1.20 c actconsdiving : 0.00 0.00 0 0 0
1.18/1.20 c adaptivediving : 0.00 0.00 0 0 0
1.18/1.20 c alns : 0.00 0.00 0 0 0
1.18/1.20 c bound : 0.00 0.00 0 0 0
1.18/1.20 c clique : 0.03 0.00 1 1 1
1.18/1.20 c coefdiving : 0.00 0.00 0 0 0
1.18/1.20 c completesol : 0.00 0.00 0 0 0
1.18/1.20 c conflictdiving : 0.00 0.00 0 0 0
1.18/1.20 c crossover : 0.00 0.00 0 0 0
1.18/1.20 c dins : 0.00 0.00 0 0 0
1.18/1.20 c distributiondivin: 0.00 0.00 0 0 0
1.18/1.20 c dps : 0.00 0.00 0 0 0
1.18/1.20 c dualval : 0.00 0.00 0 0 0
1.18/1.20 c farkasdiving : 0.00 0.00 0 0 0
1.18/1.20 c feasjump : 0.00 0.00 0 0 0
1.18/1.20 c feaspump : 0.00 0.00 0 0 0
1.18/1.20 c fixandinfer : 0.00 0.00 0 0 0
1.18/1.20 c fracdiving : 0.00 0.00 0 0 0
1.18/1.20 c gins : 0.00 0.00 0 0 0
1.18/1.20 c guideddiving : 0.00 0.00 0 0 0
1.18/1.20 c indcoefdiving : 0.00 0.00 0 0 0
1.18/1.20 c indicator : 0.00 0.00 0 0 0
1.18/1.20 c indicatordiving : 0.00 0.00 0 0 0
1.18/1.20 c indoneopt : 0.01 0.00 1 0 0
1.18/1.20 c indrounding : 0.00 0.00 0 0 0
1.18/1.20 c indtwoopt : 0.00 0.00 0 0 0
1.18/1.20 c intdiving : 0.00 0.00 0 0 0
1.18/1.20 c intshifting : 0.00 0.00 0 0 0
1.18/1.20 c linesearchdiving : 0.00 0.00 0 0 0
1.18/1.20 c localbranching : 0.00 0.00 0 0 0
1.18/1.20 c locks : 0.01 0.00 1 0 0
1.18/1.20 c lpface : 0.00 0.00 0 0 0
1.18/1.20 c mpec : 0.00 0.00 0 0 0
1.18/1.20 c multistart : 0.00 0.00 0 0 0
1.18/1.20 c mutation : 0.00 0.00 0 0 0
1.18/1.20 c nlpdiving : 0.00 0.00 0 0 0
1.18/1.20 c objpscostdiving : 0.00 0.00 0 0 0
1.18/1.20 c octane : 0.00 0.00 0 0 0
1.18/1.20 c ofins : 0.00 0.00 0 0 0
1.18/1.20 c oneopt : 0.00 0.00 1 0 0
1.18/1.20 c padm : 0.00 0.00 0 0 0
1.18/1.20 c proximity : 0.00 0.00 0 0 0
1.18/1.20 c pscostdiving : 0.00 0.00 0 0 0
1.18/1.20 c randrounding : 0.00 0.00 0 0 0
1.18/1.20 c rens : 0.00 0.00 0 0 0
1.18/1.20 c reoptsols : 0.00 0.00 0 0 0
1.18/1.20 c repair : 0.00 0.00 0 0 0
1.18/1.20 c rins : 0.00 0.00 0 0 0
1.18/1.20 c rootsoldiving : 0.00 0.00 0 0 0
1.18/1.20 c rounding : 0.00 0.00 0 0 0
1.18/1.20 c scheduler : 0.00 0.00 0 0 0
1.18/1.20 c shiftandpropagate: 0.00 0.00 0 0 0
1.18/1.20 c shifting : 0.00 0.00 0 0 0
1.18/1.20 c simplerounding : 0.00 0.00 0 0 0
1.18/1.20 c smallcard : 0.00 0.00 0 0 0
1.18/1.20 c subnlp : 0.00 0.00 0 0 0
1.18/1.20 c trivial : 0.00 0.00 2 0 0
1.18/1.20 c trivialnegation : 0.00 0.00 0 0 0
1.18/1.20 c trustregion : 0.00 0.00 0 0 0
1.18/1.20 c trysol : 0.00 0.00 0 0 0
1.18/1.20 c twoopt : 0.00 0.00 0 0 0
1.18/1.20 c undercover : 0.00 0.00 0 0 0
1.18/1.20 c vbounds : 0.03 0.00 1 1 1
1.18/1.20 c veclendiving : 0.00 0.00 0 0 0
1.18/1.20 c zeroobj : 0.00 0.00 0 0 0
1.18/1.20 c zirounding : 0.00 0.00 0 0 0
1.18/1.20 c other solutions : - - - 0 -
1.18/1.20 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.18/1.20 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
1.18/1.20 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
1.18/1.20 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
1.18/1.20 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
1.18/1.20 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
1.18/1.20 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
1.18/1.20 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
1.18/1.20 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
1.18/1.20 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
1.18/1.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.18/1.20 c primal LP : 0.00 0 0 0.00 - 0.00 0
1.18/1.20 c dual LP : 0.02 1 1759 1759.00 82983.44 0.00 0
1.18/1.20 c lex dual LP : 0.00 0 0 0.00 -
1.18/1.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.18/1.20 c resolve instable : 0.00 0 0 0.00 -
1.18/1.20 c diving/probing LP: 0.00 0 0 0.00 -
1.18/1.20 c strong branching : 0.00 0 0 0.00 - - - 0
1.18/1.20 c (at root node) : - 0 0 0.00 -
1.18/1.20 c conflict analysis: 0.00 1 10 10.00 -
1.18/1.20 c B&B Tree :
1.18/1.20 c number of runs : 1
1.18/1.20 c nodes : 1 (0 internal, 1 leaves)
1.18/1.20 c feasible leaves : 0
1.18/1.20 c infeas. leaves : 0
1.18/1.20 c objective leaves : 1
1.18/1.20 c nodes (total) : 1 (0 internal, 1 leaves)
1.18/1.20 c nodes left : 0
1.18/1.20 c max depth : 0
1.18/1.20 c max depth (total): 0
1.18/1.20 c backtracks : 0 (0.0%)
1.18/1.20 c early backtracks : 0 (0.0%)
1.18/1.20 c nodes exc. ref. : 0 (0.0%)
1.18/1.20 c delayed cutoffs : 0
1.18/1.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.18/1.20 c avg switch length: 2.00
1.18/1.20 c switching time : 0.00
1.18/1.20 c Root Node :
1.18/1.20 c First LP value : +8.65484100000000e+06
1.18/1.20 c First LP Iters : 1759 (81974.09 Iter/sec)
1.18/1.20 c First LP Time : 0.02
1.18/1.20 c Final Dual Bound : +8.65484100000000e+06
1.18/1.20 c Final Root Iters : 1759
1.18/1.20 c Root LP Estimate : -
1.18/1.20 c Solution :
1.18/1.20 c Solutions found : 3 (3 improvements)
1.18/1.20 c First Solution : +1.91526350000000e+07 (in run 1, after 1 nodes, 1.12 seconds, depth 1250, found by <clique>)
1.18/1.20 c Gap First Sol. : infinite
1.18/1.20 c Gap Last Sol. : 0.00 %
1.18/1.20 c Primal Bound : +8.65484100000000e+06 (in run 1, after 1 nodes, 1.19 seconds, depth 0, found by <relaxation>)
1.18/1.20 c Dual Bound : +8.65484100000000e+06
1.18/1.20 c Gap : 0.00 %
1.18/1.20 c Integrals : Total Avg%
1.18/1.20 c primal-dual : 119.43 99.96
1.18/1.20 c primal-ref : - - (not evaluated)
1.18/1.20 c dual-ref : - - (not evaluated)
1.18/1.22 c Time complete: 1.21114.
OK 8654841
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (58624 MiB free)
memory of node 1: 64465 MiB (62924 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526128-1751628418/watcher-4526128-1751628418 -o /tmp/evaluation-result-4526128-1751628418/solver-4526128-1751628418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89176 --watchdog 3760 pbscip -f HOME/instance-4526128-1751628418.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=90582, runsolver pid=90579
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.11 4.07 5/262 90583
/proc/meminfo: memFree=124449052/131249988 swapFree=33010160/33010684
[pid=90582] ppid=90579 vsize=71208 memory=43648 CPUtime=0.09 cores=1,3
/proc/90582/stat : 90582 (pbscip) R 90579 90582 89164 0 -1 4194304 7677 0 0 0 8 1 0 0 20 0 1 0 78519384 72916992 10912 18446744073709551615 4235264 18693293 140734403219872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 60145664 140734403221895 140734403221994 140734403221994 140734403227598 0
/proc/90582/statm: 17802 10912 3584 3530 0 9253 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71208 KiB
Current children cumulated memory: 43648 KiB
[startup+0.2056 s]*
/proc/loadavg: 4.12 4.11 4.07 5/262 90583
/proc/meminfo: memFree=124449052/131249988 swapFree=33010160/33010684
[pid=90582] ppid=90579 vsize=72896 memory=45312 CPUtime=0.19 cores=1,3
/proc/90582/stat : 90582 (pbscip) R 90579 90582 89164 0 -1 4194304 8059 0 0 0 18 1 0 0 20 0 1 0 78519384 74645504 11328 18446744073709551615 4235264 18693293 140734403219872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 60145664 140734403221895 140734403221994 140734403221994 140734403227598 0
/proc/90582/statm: 18224 11328 3616 3530 0 9675 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72896 KiB
Current children cumulated memory: 45312 KiB
[startup+0.305537 s]*
/proc/loadavg: 4.12 4.11 4.07 5/262 90583
/proc/meminfo: memFree=124448296/131249988 swapFree=33010160/33010684
[pid=90582] ppid=90579 vsize=73360 memory=45696 CPUtime=0.29 cores=1,3
/proc/90582/stat : 90582 (pbscip) R 90579 90582 89164 0 -1 4194304 8175 0 0 0 28 1 0 0 20 0 1 0 78519384 75120640 11424 18446744073709551615 4235264 18693293 140734403219872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 60145664 140734403221895 140734403221994 140734403221994 140734403227598 0
/proc/90582/statm: 18340 11424 3616 3530 0 9791 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73360 KiB
Current children cumulated memory: 45696 KiB
[startup+0.70013 s]
/proc/loadavg: 4.12 4.11 4.07 5/262 90583
/proc/meminfo: memFree=124439224/131249988 swapFree=33010160/33010684
[pid=90582] ppid=90579 vsize=75200 memory=47616 CPUtime=0.68 cores=1,3
/proc/90582/stat : 90582 (pbscip) R 90579 90582 89164 0 -1 4194304 8662 0 0 0 67 1 0 0 20 0 1 0 78519384 77004800 11904 18446744073709551615 4235264 18693293 140734403219872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 60145664 140734403221895 140734403221994 140734403221994 140734403227598 0
/proc/90582/statm: 18800 11904 3616 3530 0 10251 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75200 KiB
Current children cumulated memory: 47616 KiB
[startup+1.22505 s]
# the end of solver process 90582 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.19617 s, system=0.018906 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800195 s]
/proc/loadavg: 4.12 4.11 4.07 5/262 90583
/proc/meminfo: memFree=124439224/131249988 swapFree=33010160/33010684
[pid=90582] ppid=90579 vsize=75344 memory=47744 CPUtime=0.78 cores=1,3
/proc/90582/stat : 90582 (pbscip) R 90579 90582 89164 0 -1 4194304 8676 0 0 0 77 1 0 0 20 0 1 0 78519384 77152256 11936 18446744073709551615 4235264 18693293 140734403219872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 60145664 140734403221895 140734403221994 140734403221994 140734403227598 0
/proc/90582/statm: 18836 11936 3616 3530 0 10287 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 75344 KiB
Current children cumulated memory: 47744 KiB
[startup+1.20014 s]
/proc/loadavg: 4.12 4.11 4.07 5/262 90583
/proc/meminfo: memFree=124437716/131249988 swapFree=33010160/33010684
[pid=90582] ppid=90579 vsize=87796 memory=56564 CPUtime=1.18 cores=1,3
/proc/90582/stat : 90582 (pbscip) R 90579 90582 89164 0 -1 4194304 10965 0 0 0 117 1 0 0 20 0 1 0 78519384 89903104 14141 18446744073709551615 4235264 18693293 140734403219872 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 60145664 140734403221895 140734403221994 140734403221994 140734403227598 0
/proc/90582/statm: 21949 14141 3808 3530 0 13400 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 87796 KiB
Current children cumulated memory: 56564 KiB
Child status: 0
Real time (s): 1.22508
CPU time (s): 1.21508
CPU user time (s): 1.19617
CPU system time (s): 0.018906
CPU usage (%): 99.1836
Max. virtual memory (cumulated for all children) (KiB): 87796
Max. memory (cumulated for all children) (KiB): 56564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.19617
system time used= 0.018906
maximum resident set size= 56820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11034
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= 77
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 90582
# total CPU time (s): 1.21508
# total CPU user time (s): 1.19617
# total CPU system time (s): 0.018906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015731 second user time and 0.03458 second system time
The end
Begin job on nodeC020 at 2025-07-04 13:26:58 IDJOB=4526128 IDBENCH=143985 IDSOLVER=3382 FILE ID=nodeC020/4526128-1751628418 RUNJOBID= nodeC020-1751624435-89176 SLURM_JOB_ID= 9598948 Free space on /tmp= 431496 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap103_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526128-1751628418/watcher-4526128-1751628418 -o /tmp/evaluation-result-4526128-1751628418/solver-4526128-1751628418 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751624435-89176 --watchdog 3760 pbscip -f HOME/instance-4526128-1751628418.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba857364af295ab8f3555d8567fc7cd2 RANDOM SEED=1911703416 nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.964 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.780 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3607.508 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.866 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.896 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.898 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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.707 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 124465376 kB MemAvailable: 125131500 kB Buffers: 2128 kB Cached: 1457376 kB SwapCached: 8 kB Active: 5205368 kB Inactive: 891956 kB Active(anon): 4631300 kB Inactive(anon): 24568 kB Active(file): 574068 kB Inactive(file): 867388 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18780 kB Writeback: 0 kB AnonPages: 4636452 kB Mapped: 138112 kB Shmem: 18044 kB KReclaimable: 127816 kB Slab: 219700 kB SReclaimable: 127816 kB SUnreclaim: 91884 kB KernelStack: 4224 kB PageTables: 12524 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 5327072 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 829440 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431476 MiB End job on nodeC020 at 2025-07-04 13:27:00