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.30351 | 1.30866 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo |
| MD5SUM | 8ae6cf967e584e12cada7dd8fbc9b19b |
| 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 | 9026651 |
| Best CPU time to get the best result obtained on this benchmark | 1.26181 |
| 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 | 63586724 |
| Min constraint cost | 1 |
| Max constraint cost | 63586724 |
| Sum of constraints costs | 80090480126 |
| 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.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-4456442-1721720071.wbo>
0.00/0.01 c original problem has 3823 variables (3823 bin, 0 int, 0 impl, 0 cont) and 5122 constraints
0.00/0.01 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.17 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.18 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.19 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.20/0.21 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.20/0.24 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.20/0.24 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.20/0.26 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.20/0.26 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.20/0.29 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.20/0.29 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.30/0.31 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.30/0.31 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.30/0.33 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.30/0.33 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.30/0.36 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.30/0.36 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.30/0.38 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.30/0.38 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.30/0.40 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.30/0.40 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.40/0.42 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.40/0.42 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.40/0.43 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.40/0.43 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.40/0.45 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.40/0.45 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.40/0.47 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.40/0.47 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.40/0.49 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.40/0.49 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.49/0.51 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.49/0.51 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.49/0.53 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.49/0.53 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.55 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.55 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.57 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.57 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.59 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.59 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.59/0.61 c (0.6s) probing: 1000/3723 (26.9%) - 0 fixings, 496 aggregations, 1383 implications, 0 bound changes
0.59/0.61 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.59/0.61 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.64 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.64 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.65 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.66 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.67 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.67 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.69 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.69 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.68/0.71 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.68/0.71 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.73 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.73 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.74 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.74 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.76 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.76 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.78 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.78 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.78/0.80 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.78/0.80 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.78/0.82 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.78/0.82 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.78/0.83 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.78/0.83 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.85 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.85 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.87 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.87 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.88 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.89 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.88/0.90 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.88/0.90 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.88/0.92 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.88/0.92 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.94 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.94 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.96 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.96 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.98 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.98 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.98 c (1.0s) probing: 2000/3723 (53.7%) - 0 fixings, 1003 aggregations, 2554 implications, 0 bound changes
0.88/0.99 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.99 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.99/1.01 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.99/1.01 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.99/1.03 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.99/1.03 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.99/1.04 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.99/1.04 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.06 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.06 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.08 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.08 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
1.09/1.10 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
1.09/1.10 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
1.09/1.12 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
1.09/1.12 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
1.09/1.13 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
1.09/1.13 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
1.09/1.15 c (1.1s) probing: 2523/3723 (67.8%) - 0 fixings, 1225 aggregations, 2991 implications, 0 bound changes
1.09/1.15 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.09/1.15 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.15 c (1.2s) no symmetry present (symcode time: 0.00)
1.09/1.15 c presolving (106 rounds: 106 fast, 52 medium, 52 exhaustive):
1.09/1.15 c 3848 deleted vars, 2622 deleted constraints, 0 added constraints, 2473 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.15 c 2523 implications, 3626 cliques
1.09/1.15 c presolved problem has 2498 variables (2498 bin, 0 int, 0 impl, 0 cont) and 2500 constraints
1.09/1.15 c 1 constraints of type <knapsack>
1.09/1.15 c 1225 constraints of type <setppc>
1.09/1.15 c 1225 constraints of type <linear>
1.09/1.15 c 49 constraints of type <indicator>
1.09/1.15 c transformed objective value is always integral (scale: 1)
1.09/1.15 c Presolving Time: 1.13
1.09/1.15 c - non default parameters ----------------------------------------------------------------------
1.09/1.15 c # SCIP version 10.0.0
1.09/1.15 c
1.09/1.15 c # maximal time in seconds to run
1.09/1.15 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.15 c limits/time = 3596.997061
1.09/1.15 c
1.09/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.15 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.15 c limits/memory = 27900
1.09/1.15 c
1.09/1.15 c # belongs reading time to solving time?
1.09/1.15 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c timing/reading = TRUE
1.09/1.15 c
1.09/1.15 c -----------------------------------------------------------------------------------------------
1.09/1.15 c start solving
1.09/1.16 c
1.09/1.18 o 19227635
1.09/1.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.09/1.18 c p 1.2s| 1 | 0 | 0 | - | clique| 0 |2498 |2500 |2474 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.922764e+07 | Inf | unknown
1.19/1.24 o 12233821
1.19/1.24 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.19/1.28 o 9026651
1.19/1.28 c * 1.3s| 1 | 0 | 1699 | - | LP | 0 |2498 |2501 |2474 | 0 | 0 | 9 | 0 | 9.026651e+06 | 9.026651e+06 | 0.00%| unknown
1.19/1.28 c 1.3s| 1 | 0 | 1699 | - | 42M | 0 |2498 |2501 |2474 | 0 | 0 | 9 | 0 | 9.026651e+06 | 9.026651e+06 | 0.00%| unknown
1.19/1.28 c
1.19/1.28 c SCIP Status : problem is solved [optimal solution found]
1.19/1.28 c Solving Time (sec) : 1.28
1.19/1.28 c Solving Nodes : 1
1.19/1.28 c Primal Bound : +9.02665100000000e+06 (3 solutions)
1.19/1.28 c Dual Bound : +9.02665100000000e+06
1.19/1.28 c Gap : 0.00 %
1.19/1.28 s OPTIMUM FOUND
1.19/1.28 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282
1.19/1.28 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264
1.19/1.28 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
1.19/1.28 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228
1.19/1.28 v -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
1.19/1.28 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
1.19/1.28 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
1.19/1.28 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
1.19/1.28 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
1.19/1.28 v -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121
1.19/1.28 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1.19/1.28 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085
1.19/1.28 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067
1.19/1.28 v -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
1.19/1.28 v -x1048 -x1047 -x1046 -x1045 -x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1.19/1.28 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
1.19/1.28 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994
1.19/1.28 v -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973
1.19/1.28 v -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952
1.19/1.28 v -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931
1.19/1.28 v -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 x911 -x910
1.19/1.28 v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 x893 -x892 -x891 -x890 -x889
1.19/1.28 v -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868
1.19/1.28 v -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
1.19/1.28 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1.19/1.28 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805
1.19/1.28 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784
1.19/1.28 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1.19/1.28 v -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743
1.19/1.28 v -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722
1.19/1.28 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1.19/1.28 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680
1.19/1.28 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659
1.19/1.28 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
1.19/1.28 v -x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617
1.19/1.28 v -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596
1.19/1.28 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575
1.19/1.28 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
1.19/1.28 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533
1.19/1.28 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
1.19/1.28 v x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1.19/1.28 v -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1.19/1.28 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1.19/1.28 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1.19/1.28 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407
1.19/1.28 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386
1.19/1.28 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1.19/1.28 v -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1.19/1.28 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1.19/1.28 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1.19/1.28 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281
1.19/1.28 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260
1.19/1.28 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
1.19/1.28 v -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218
1.19/1.28 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
1.19/1.28 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1.19/1.28 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155
1.19/1.28 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1.19/1.28 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1.19/1.28 v -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 v x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1.19/1.28 c SCIP Status : problem is solved [optimal solution found]
1.19/1.28 c Total Time : 1.28
1.19/1.28 c solving : 1.28
1.19/1.28 c presolving : 1.13 (included in solving)
1.19/1.28 c reading : 0.01 (included in solving)
1.19/1.28 c copying : 0.00 (0 times copied the problem)
1.19/1.28 c Original Problem :
1.19/1.28 c Problem name : HOME/instance-4456442-1721720071.wbo
1.19/1.28 c Variables : 3823 (3823 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.28 c Constraints : 5122 initial, 5122 maximal
1.19/1.28 c Objective : minimize, 2523 non-zeros (abs.min = 1, abs.max = 6.35867e+07)
1.19/1.28 c Presolved Problem :
1.19/1.28 c Problem name : t_HOME/instance-4456442-1721720071.wbo
1.19/1.28 c Variables : 2498 (2498 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.28 c Constraints : 2500 initial, 2509 maximal
1.19/1.28 c Objective : minimize, 1249 non-zeros (abs.min = 1, abs.max = 1.41513e+07)
1.19/1.28 c Nonzeros : 7424 constraint, 8379 clique table
1.19/1.28 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.19/1.28 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c domcol : 0.00 0.00 50 0 0 0 0 0 0 0 0 0
1.19/1.28 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.28 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c implics : 0.00 0.00 52 0 0 0 0 0 0 0 0 0
1.19/1.28 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.28 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c trivial : 0.01 0.00 106 0 0 0 0 0 0 0 0 0
1.19/1.28 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c dualfix : 0.01 0.00 106 75 0 0 0 0 0 0 0 0
1.19/1.28 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c probing : 0.82 0.00 50 0 1225 0 0 0 0 0 0 0
1.19/1.28 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.28 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.28 c vbounds : 0.01 0.00 12 0 0 0 0 0 0 0 0 0
1.19/1.28 c knapsack : 0.01 0.00 203 1200 0 0 0 0 0 0 0 0
1.19/1.28 c setppc : 0.04 0.00 203 25 0 0 0 0 1 0 0 0
1.19/1.28 c linear : 0.20 0.00 158 0 49 0 2473 0 147 0 0 0
1.19/1.28 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c indicator : 0.01 0.00 56 1274 0 0 0 0 2474 0 0 0
1.19/1.28 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.28 c root node : - - - 6 - - 6 - - - - -
1.19/1.28 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.19/1.28 c benderslp : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
1.19/1.28 c integral : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
1.19/1.28 c knapsack : 1 1 0 14801 0 0 0 53 98 1 0 0 0 0 0
1.19/1.28 c setppc : 1225 1225 0 11266 0 0 0 51 3 2 0 0 0 0 0
1.19/1.28 c linear : 1225 1225 0 11262 0 0 0 53 149 0 0 0 0 0 0
1.19/1.28 c logicor : 0+ 9 0 8 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c benders : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.19/1.28 c indicator : 49 49 0 15164 0 0 0 3 73 0 0 0 0 0 0
1.19/1.28 c fixedvar : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.19/1.28 c countsols : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.19/1.28 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.19/1.28 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c knapsack : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c setppc : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c indicator : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.19/1.28 c dualfix : 3 0 0 0
1.19/1.28 c genvbounds : 0 0 0 0
1.19/1.28 c nlobbt : 0 0 0 0
1.19/1.28 c obbt : 0 0 0 0
1.19/1.28 c probing : 0 0 0 0
1.19/1.28 c pseudoobj : 3 0 0 6
1.19/1.28 c redcost : 0 0 0 0
1.19/1.28 c rootredcost : 0 0 0 0
1.19/1.28 c symmetry : 0 0 0 0
1.19/1.28 c vbounds : 4071 0 0 0
1.19/1.28 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.19/1.28 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
1.19/1.28 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c probing : 0.82 0.00 0.82 0.00 0.00 0.00
1.19/1.28 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.28 c vbounds : 0.01 0.00 0.01 0.00 0.00 0.00
1.19/1.28 c Symmetry :
1.19/1.28 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.19/1.28 c orbital reduction: 0 reductions applied, 0 cutoffs
1.19/1.28 c lexicographic red: 0 reductions applied, 0 cutoffs
1.19/1.28 c shadow tree time : 0.00 s
1.19/1.28 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.19/1.28 c propagation : 0.00 3 3 - 27 215.7 0 0.0 - - -
1.19/1.28 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.19/1.28 c bound exceed. LP : 0.00 2 1 - 2 49.5 0 0.0 0 0.0 10
1.19/1.28 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.19/1.28 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1.19/1.28 c applied globally : 0.00 - - 0 9 172.6 - - 0 - -
1.19/1.28 c applied locally : - - - 0 0 0.0 - - 0 - -
1.19/1.28 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.19/1.28 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
1.19/1.28 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c > cmir : - - - - - - - 0 0 0 0 0 -
1.19/1.28 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.19/1.28 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.19/1.28 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c > gomorymi : - - - - - - - 0 0 0 0 0 -
1.19/1.28 c > strongcg : - - - - - - - 0 0 0 0 0 -
1.19/1.28 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.28 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.19/1.28 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c Pricers : ExecTime SetupTime Calls Vars
1.19/1.28 c problem variables: 0.00 - 0 0
1.19/1.28 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.19/1.28 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.28 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.19/1.28 c LP solutions : 0.00 - - 1 1
1.19/1.28 c relax solutions : 0.00 - - 0 0
1.19/1.28 c pseudo solutions : 0.00 - - 0 0
1.19/1.28 c strong branching : 0.00 - - 0 0
1.19/1.28 c actconsdiving : 0.00 0.00 0 0 0
1.19/1.28 c adaptivediving : 0.00 0.00 0 0 0
1.19/1.28 c alns : 0.00 0.00 0 0 0
1.19/1.28 c bound : 0.00 0.00 0 0 0
1.19/1.28 c clique : 0.03 0.00 1 1 1
1.19/1.28 c coefdiving : 0.00 0.00 0 0 0
1.19/1.28 c completesol : 0.00 0.00 0 0 0
1.19/1.28 c conflictdiving : 0.00 0.00 0 0 0
1.19/1.28 c crossover : 0.00 0.00 0 0 0
1.19/1.28 c dins : 0.00 0.00 0 0 0
1.19/1.28 c distributiondivin: 0.00 0.00 0 0 0
1.19/1.28 c dps : 0.00 0.00 0 0 0
1.19/1.28 c dualval : 0.00 0.00 0 0 0
1.19/1.28 c farkasdiving : 0.00 0.00 0 0 0
1.19/1.28 c feasjump : 0.00 0.00 0 0 0
1.19/1.28 c feaspump : 0.00 0.00 0 0 0
1.19/1.28 c fixandinfer : 0.00 0.00 0 0 0
1.19/1.28 c fracdiving : 0.00 0.00 0 0 0
1.19/1.28 c gins : 0.00 0.00 0 0 0
1.19/1.28 c guideddiving : 0.00 0.00 0 0 0
1.19/1.28 c indcoefdiving : 0.00 0.00 0 0 0
1.19/1.28 c indicator : 0.00 0.00 0 0 0
1.19/1.28 c indicatordiving : 0.00 0.00 0 0 0
1.19/1.28 c indoneopt : 0.01 0.00 1 0 0
1.19/1.28 c indrounding : 0.00 0.00 0 0 0
1.19/1.28 c indtwoopt : 0.00 0.00 0 0 0
1.19/1.28 c intdiving : 0.00 0.00 0 0 0
1.19/1.28 c intshifting : 0.00 0.00 0 0 0
1.19/1.28 c linesearchdiving : 0.00 0.00 0 0 0
1.19/1.28 c localbranching : 0.00 0.00 0 0 0
1.19/1.28 c locks : 0.01 0.00 1 0 0
1.19/1.28 c lpface : 0.00 0.00 0 0 0
1.19/1.28 c mpec : 0.00 0.00 0 0 0
1.19/1.28 c multistart : 0.00 0.00 0 0 0
1.19/1.28 c mutation : 0.00 0.00 0 0 0
1.19/1.28 c nlpdiving : 0.00 0.00 0 0 0
1.19/1.28 c objpscostdiving : 0.00 0.00 0 0 0
1.19/1.28 c octane : 0.00 0.00 0 0 0
1.19/1.28 c ofins : 0.00 0.00 0 0 0
1.19/1.28 c oneopt : 0.00 0.00 1 0 0
1.19/1.28 c padm : 0.00 0.00 0 0 0
1.19/1.28 c proximity : 0.00 0.00 0 0 0
1.19/1.28 c pscostdiving : 0.00 0.00 0 0 0
1.19/1.28 c randrounding : 0.00 0.00 0 0 0
1.19/1.28 c rens : 0.00 0.00 0 0 0
1.19/1.28 c reoptsols : 0.00 0.00 0 0 0
1.19/1.28 c repair : 0.00 0.00 0 0 0
1.19/1.28 c rins : 0.00 0.00 0 0 0
1.19/1.28 c rootsoldiving : 0.00 0.00 0 0 0
1.19/1.28 c rounding : 0.00 0.00 0 0 0
1.19/1.28 c scheduler : 0.00 0.00 0 0 0
1.19/1.28 c shiftandpropagate: 0.00 0.00 0 0 0
1.19/1.28 c shifting : 0.00 0.00 0 0 0
1.19/1.28 c simplerounding : 0.00 0.00 0 0 0
1.19/1.28 c smallcard : 0.00 0.00 0 0 0
1.19/1.28 c subnlp : 0.00 0.00 0 0 0
1.19/1.28 c trivial : 0.00 0.00 2 0 0
1.19/1.28 c trivialnegation : 0.00 0.00 0 0 0
1.19/1.28 c trustregion : 0.00 0.00 0 0 0
1.19/1.28 c trysol : 0.00 0.00 0 0 0
1.19/1.28 c twoopt : 0.00 0.00 0 0 0
1.19/1.28 c undercover : 0.00 0.00 0 0 0
1.19/1.28 c vbounds : 0.04 0.00 1 1 1
1.19/1.28 c veclendiving : 0.00 0.00 0 0 0
1.19/1.28 c zeroobj : 0.00 0.00 0 0 0
1.19/1.28 c zirounding : 0.00 0.00 0 0 0
1.19/1.28 c other solutions : - - - 0 -
1.19/1.28 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 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.19/1.28 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.19/1.28 c primal LP : 0.00 0 0 0.00 - 0.00 0
1.19/1.28 c dual LP : 0.02 1 1699 1699.00 80236.13 0.00 0
1.19/1.28 c lex dual LP : 0.00 0 0 0.00 -
1.19/1.28 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.19/1.28 c resolve instable : 0.00 0 0 0.00 -
1.19/1.28 c diving/probing LP: 0.00 0 0 0.00 -
1.19/1.28 c strong branching : 0.00 0 0 0.00 - - - 0
1.19/1.28 c (at root node) : - 0 0 0.00 -
1.19/1.28 c conflict analysis: 0.00 1 10 10.00 -
1.19/1.28 c B&B Tree :
1.19/1.28 c number of runs : 1
1.19/1.28 c nodes : 1 (0 internal, 1 leaves)
1.19/1.28 c feasible leaves : 0
1.19/1.28 c infeas. leaves : 0
1.19/1.28 c objective leaves : 1
1.19/1.28 c nodes (total) : 1 (0 internal, 1 leaves)
1.19/1.28 c nodes left : 0
1.19/1.28 c max depth : 0
1.19/1.28 c max depth (total): 0
1.19/1.28 c backtracks : 0 (0.0%)
1.19/1.28 c early backtracks : 0 (0.0%)
1.19/1.28 c nodes exc. ref. : 0 (0.0%)
1.19/1.28 c delayed cutoffs : 0
1.19/1.28 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.19/1.28 c avg switch length: 2.00
1.19/1.28 c switching time : 0.00
1.19/1.28 c Root Node :
1.19/1.28 c First LP value : +9.02665100000000e+06
1.19/1.28 c First LP Iters : 1699 (79019.58 Iter/sec)
1.19/1.28 c First LP Time : 0.02
1.19/1.28 c Final Dual Bound : +9.02665100000000e+06
1.19/1.28 c Final Root Iters : 1699
1.19/1.28 c Root LP Estimate : -
1.19/1.28 c Solution :
1.19/1.28 c Solutions found : 3 (3 improvements)
1.19/1.28 c First Solution : +1.92276350000000e+07 (in run 1, after 1 nodes, 1.18 seconds, depth 1250, found by <clique>)
1.19/1.28 c Gap First Sol. : infinite
1.19/1.28 c Gap Last Sol. : 0.00 %
1.19/1.28 c Primal Bound : +9.02665100000000e+06 (in run 1, after 1 nodes, 1.27 seconds, depth 0, found by <relaxation>)
1.19/1.28 c Dual Bound : +9.02665100000000e+06
1.19/1.28 c Gap : 0.00 %
1.19/1.28 c Integrals : Total Avg%
1.19/1.28 c primal-dual : 127.51 99.94
1.19/1.28 c primal-ref : - - (not evaluated)
1.19/1.28 c dual-ref : - - (not evaluated)
1.29/1.30 c Time complete: 1.29877.
OK 9026651
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 (49497 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456442-1721720071/watcher-4456442-1721720071 -o /tmp/evaluation-result-4456442-1721720071/solver-4456442-1721720071 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456442-1721720071.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=89202, runsolver pid=89199
[startup+0.100094 s]*
/proc/loadavg: 4.13 4.17 3.88 5/258 89203
/proc/meminfo: memFree=90825140/131524600 swapFree=131071996/131071996
[pid=89202] ppid=89199 vsize=83948 memory=43636 CPUtime=0.09 cores=4,6
/proc/89202/stat : 89202 (pbscip) R 89199 89202 87295 0 -1 4194304 7648 0 0 0 8 1 0 0 20 0 1 0 8536669 85962752 10909 134679101440 4194304 18693293 140734328145392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59756544 140734328153091 140734328153190 140734328153190 140734328160206 0
/proc/89202/statm: 20987 10909 3587 3540 0 9244 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83948 KiB
Current children cumulated memory: 43636 KiB
[startup+0.205806 s]*
/proc/loadavg: 4.13 4.17 3.88 5/258 89203
/proc/meminfo: memFree=90823348/131524600 swapFree=131071996/131071996
[pid=89202] ppid=89199 vsize=85632 memory=45328 CPUtime=0.2 cores=4,6
/proc/89202/stat : 89202 (pbscip) R 89199 89202 87295 0 -1 4194304 8028 0 0 0 19 1 0 0 20 0 1 0 8536669 87687168 11332 134679101440 4194304 18693293 140734328145392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59756544 140734328153091 140734328153190 140734328153190 140734328160206 0
/proc/89202/statm: 21408 11332 3619 3540 0 9665 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85632 KiB
Current children cumulated memory: 45328 KiB
[startup+0.305804 s]*
/proc/loadavg: 4.13 4.17 3.88 5/258 89203
/proc/meminfo: memFree=90822872/131524600 swapFree=131071996/131071996
[pid=89202] ppid=89199 vsize=86092 memory=45592 CPUtime=0.3 cores=4,6
/proc/89202/stat : 89202 (pbscip) R 89199 89202 87295 0 -1 4194304 8143 0 0 0 29 1 0 0 20 0 1 0 8536669 88158208 11398 134679101440 4194304 18693293 140734328145392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59756544 140734328153091 140734328153190 140734328153190 140734328160206 0
/proc/89202/statm: 21523 11398 3619 3540 0 9780 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86092 KiB
Current children cumulated memory: 45592 KiB
[startup+0.700238 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89203
/proc/meminfo: memFree=90822068/131524600 swapFree=131071996/131071996
[pid=89202] ppid=89199 vsize=87936 memory=47704 CPUtime=0.68 cores=4,6
/proc/89202/stat : 89202 (pbscip) R 89199 89202 87295 0 -1 4194304 8631 0 0 0 67 1 0 0 20 0 1 0 8536669 90046464 11926 134679101440 4194304 18693293 140734328145392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59756544 140734328153091 140734328153190 140734328153190 140734328160206 0
/proc/89202/statm: 21984 11926 3619 3540 0 10241 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87936 KiB
Current children cumulated memory: 47704 KiB
[startup+1.30862 s]
# the end of solver process 89202 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.27666 s, system=0.026853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800284 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89203
/proc/meminfo: memFree=90822068/131524600 swapFree=131071996/131071996
[pid=89202] ppid=89199 vsize=87936 memory=47704 CPUtime=0.78 cores=4,6
/proc/89202/stat : 89202 (pbscip) R 89199 89202 87295 0 -1 4194304 8638 0 0 0 77 1 0 0 20 0 1 0 8536669 90046464 11926 134679101440 4194304 18693293 140734328145392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59756544 140734328153091 140734328153190 140734328153190 140734328160206 0
/proc/89202/statm: 21984 11926 3619 3540 0 10241 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 87936 KiB
Current children cumulated memory: 47704 KiB
[startup+1.2002 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89205
/proc/meminfo: memFree=90820736/131524600 swapFree=131071996/131071996
[pid=89202] ppid=89199 vsize=98636 memory=54908 CPUtime=1.19 cores=4,6
/proc/89202/stat : 89202 (pbscip) R 89199 89202 87295 0 -1 4194304 10562 0 0 0 117 2 0 0 20 0 1 0 8536669 101003264 13727 134679101440 4194304 18693293 140734328145392 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59756544 140734328153091 140734328153190 140734328153190 140734328160206 0
/proc/89202/statm: 24659 13727 3795 3540 0 12916 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 98636 KiB
Current children cumulated memory: 54908 KiB
[startup+1.3002 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89205
/proc/meminfo: memFree=90820736/131524600 swapFree=131071996/131071996
[pid=89202] ppid=89199 vsize=98552 memory=54696 CPUtime=1.29 cores=4,6
/proc/89202/stat : 89202 (pbscip) R 89199 89202 87295 0 -1 4194304 11044 0 0 0 127 2 0 0 20 0 1 0 8536669 100917248 13674 134679101440 4194304 18693293 140734328145392 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 59756544 140734328153091 140734328153190 140734328153190 140734328160206 0
/proc/89202/statm: 24638 13674 3827 3540 0 12895 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 98552 KiB
Current children cumulated memory: 54696 KiB
Child status: 0
Real time (s): 1.30866
CPU time (s): 1.30351
CPU user time (s): 1.27666
CPU system time (s): 0.026853
CPU usage (%): 99.6068
Max. virtual memory (cumulated for all children) (KiB): 98636
Max. memory (cumulated for all children) (KiB): 54908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.27666
system time used= 0.026853
maximum resident set size= 57068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11051
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= 4
# summary of solver processes directly reported to runsolver:
# pid: 89202
# total CPU time (s): 1.30351
# total CPU user time (s): 1.27666
# total CPU system time (s): 0.026853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017574 second user time and 0.039139 second system time
The end
Begin job on nodeC031 at 2024-07-23 09:34:31 IDJOB=4456442 IDBENCH=143996 IDSOLVER=3038 FILE ID=nodeC031/4456442-1721720071 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-cap104_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456442-1721720071/watcher-4456442-1721720071 -o /tmp/evaluation-result-4456442-1721720071/solver-4456442-1721720071 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456442-1721720071.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8ae6cf967e584e12cada7dd8fbc9b19b RANDOM SEED=1213667547 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 : 3664.301 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 : 3691.640 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 : 3610.822 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 : 3600.481 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 : 3644.089 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 : 3691.761 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 : 3664.069 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.441 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: 90854832 kB MemAvailable: 109580408 kB Buffers: 142108 kB Cached: 19339592 kB SwapCached: 0 kB Active: 992924 kB Inactive: 38939584 kB Active(anon): 1552 kB Inactive(anon): 20486656 kB Active(file): 991372 kB Inactive(file): 18452928 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18724 kB Writeback: 0 kB AnonPages: 20449508 kB Mapped: 133956 kB Shmem: 37720 kB KReclaimable: 241844 kB Slab: 345348 kB SReclaimable: 241844 kB SUnreclaim: 103504 kB KernelStack: 4156 kB PageTables: 49560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 22013960 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18880 kB HardwareCorrupted: 0 kB AnonHugePages: 6309888 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:34:33