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.308 | 1.31647 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo |
| MD5SUM | 67d067d79b844c4946a358fd5c7ae34f |
| 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 | 7648133 |
| Best CPU time to get the best result obtained on this benchmark | 1.29866 |
| 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 | 59386724 |
| Min constraint cost | 1 |
| Max constraint cost | 59386724 |
| Sum of constraints costs | 74836280126 |
| 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-4456462-1721720073.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.18 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.19 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.19/0.22 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.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.19/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.19/0.27 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.27 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.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.19/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.29/0.32 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.29/0.32 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.34 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.34 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.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.29/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.29/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.29/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.29/0.41 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.39/0.41 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.39/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.39/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.39/0.44 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.44 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.46 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.46 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.48 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.48 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.50 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.50 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.52 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.52 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.54 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.54 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.56 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.56 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.58 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.58 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.58/0.60 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.58/0.60 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.58/0.62 c (0.6s) probing: 1000/3723 (26.9%) - 0 fixings, 496 aggregations, 1383 implications, 0 bound changes
0.58/0.62 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.58/0.62 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.58/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.58/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.58/0.66 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.58/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.58/0.68 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.58/0.68 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.69/0.70 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.69/0.70 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.69/0.72 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.69/0.72 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.69/0.74 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.69/0.74 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.69/0.75 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.69/0.75 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.69/0.77 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.69/0.77 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.69/0.79 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.69/0.79 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.79/0.81 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.79/0.81 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.79/0.83 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.79/0.83 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.79/0.84 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.79/0.84 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.79/0.86 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.79/0.86 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.79/0.88 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.79/0.88 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.79/0.89 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.79/0.90 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.89/0.91 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.89/0.91 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.89/0.93 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.89/0.93 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.89/0.95 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.89/0.95 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.89/0.97 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.89/0.97 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.89/0.99 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.89/0.99 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.89/0.99 c (1.0s) probing: 2000/3723 (53.7%) - 0 fixings, 1003 aggregations, 2554 implications, 0 bound changes
0.99/1.00 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.99/1.01 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.02 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.02 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.04 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.04 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.05 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.06 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.07 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.07 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.09 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.09 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.11 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.11 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.13 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.13 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.14 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.14 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.16 c (1.2s) probing: 2523/3723 (67.8%) - 0 fixings, 1225 aggregations, 2991 implications, 0 bound changes
1.09/1.16 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.09/1.16 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.16 c (1.2s) no symmetry present (symcode time: 0.00)
1.09/1.17 c presolving (106 rounds: 106 fast, 52 medium, 52 exhaustive):
1.09/1.17 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.17 c 2523 implications, 3626 cliques
1.09/1.17 c presolved problem has 2498 variables (2498 bin, 0 int, 0 impl, 0 cont) and 2500 constraints
1.09/1.17 c 1 constraints of type <knapsack>
1.09/1.17 c 1225 constraints of type <setppc>
1.09/1.17 c 1225 constraints of type <linear>
1.09/1.17 c 49 constraints of type <indicator>
1.09/1.17 c transformed objective value is always integral (scale: 1)
1.09/1.17 c Presolving Time: 1.14
1.09/1.17 c - non default parameters ----------------------------------------------------------------------
1.09/1.17 c # SCIP version 10.0.0
1.09/1.17 c
1.09/1.17 c # maximal time in seconds to run
1.09/1.17 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.17 c limits/time = 3596.997047
1.09/1.17 c
1.09/1.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.17 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.17 c limits/memory = 27900
1.09/1.17 c
1.09/1.17 c # belongs reading time to solving time?
1.09/1.17 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.17 c timing/reading = TRUE
1.09/1.17 c
1.09/1.17 c -----------------------------------------------------------------------------------------------
1.09/1.17 c start solving
1.09/1.17 c
1.19/1.20 o 19052635
1.19/1.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.19/1.20 c p 1.2s| 1 | 0 | 0 | - | clique| 0 |2498 |2500 |2474 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.905264e+07 | Inf | unknown
1.19/1.25 o 12233821
1.19/1.25 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 7648133
1.19/1.28 c * 1.3s| 1 | 0 | 1583 | - | LP | 0 |2498 |2501 |2474 | 0 | 0 | 9 | 0 | 7.648133e+06 | 7.648133e+06 | 0.00%| unknown
1.19/1.28 c 1.3s| 1 | 0 | 1583 | - | 42M | 0 |2498 |2501 |2474 | 0 | 0 | 9 | 0 | 7.648133e+06 | 7.648133e+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 : +7.64813300000000e+06 (3 solutions)
1.19/1.28 c Dual Bound : +7.64813300000000e+06
1.19/1.28 c Gap : 0.00 %
1.19/1.29 s OPTIMUM FOUND
1.19/1.29 v -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
1.19/1.29 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264
1.19/1.29 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
1.19/1.29 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228
1.19/1.29 v -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
1.19/1.29 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
1.19/1.29 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
1.19/1.29 v -x1174 x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
1.19/1.29 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
1.19/1.29 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121
1.19/1.29 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1.19/1.29 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
1.19/1.29 v -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067
1.19/1.29 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049
1.19/1.29 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1.19/1.29 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
1.19/1.29 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994
1.19/1.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806
1.19/1.29 v -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1.19/1.29 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763
1.19/1.29 v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743
1.19/1.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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 -x39
1.19/1.29 v -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.29 v -x11 -x10 x9 x8 -x7 -x6 x5 x4 -x3 x2 -x1
1.19/1.29 c SCIP Status : problem is solved [optimal solution found]
1.19/1.29 c Total Time : 1.28
1.19/1.29 c solving : 1.28
1.19/1.29 c presolving : 1.14 (included in solving)
1.19/1.29 c reading : 0.01 (included in solving)
1.19/1.29 c copying : 0.00 (0 times copied the problem)
1.19/1.29 c Original Problem :
1.19/1.29 c Problem name : HOME/instance-4456462-1721720073.wbo
1.19/1.29 c Variables : 3823 (3823 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.29 c Constraints : 5122 initial, 5122 maximal
1.19/1.29 c Objective : minimize, 2523 non-zeros (abs.min = 1, abs.max = 5.93867e+07)
1.19/1.29 c Presolved Problem :
1.19/1.29 c Problem name : t_HOME/instance-4456462-1721720073.wbo
1.19/1.29 c Variables : 2498 (2498 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.29 c Constraints : 2500 initial, 2509 maximal
1.19/1.29 c Objective : minimize, 1249 non-zeros (abs.min = 1, abs.max = 1.41513e+07)
1.19/1.29 c Nonzeros : 7424 constraint, 8379 clique table
1.19/1.29 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.19/1.29 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c domcol : 0.00 0.00 50 0 0 0 0 0 0 0 0 0
1.19/1.29 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.29 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c implics : 0.00 0.00 52 0 0 0 0 0 0 0 0 0
1.19/1.29 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.29 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c trivial : 0.01 0.00 106 0 0 0 0 0 0 0 0 0
1.19/1.29 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c dualfix : 0.01 0.00 106 75 0 0 0 0 0 0 0 0
1.19/1.29 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c probing : 0.82 0.00 50 0 1225 0 0 0 0 0 0 0
1.19/1.29 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.29 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.29 c vbounds : 0.01 0.00 12 0 0 0 0 0 0 0 0 0
1.19/1.29 c knapsack : 0.02 0.00 203 1200 0 0 0 0 0 0 0 0
1.19/1.29 c setppc : 0.04 0.00 203 25 0 0 0 0 1 0 0 0
1.19/1.29 c linear : 0.20 0.00 158 0 49 0 2473 0 147 0 0 0
1.19/1.29 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c indicator : 0.01 0.00 56 1274 0 0 0 0 2474 0 0 0
1.19/1.29 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.19/1.29 c root node : - - - 6 - - 6 - - - - -
1.19/1.29 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.19/1.29 c benderslp : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
1.19/1.29 c integral : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
1.19/1.29 c knapsack : 1 1 0 14817 0 0 0 53 98 1 0 0 0 0 0
1.19/1.29 c setppc : 1225 1225 0 11266 0 0 0 51 3 2 0 0 0 0 0
1.19/1.29 c linear : 1225 1225 0 11262 0 0 0 53 149 0 0 0 0 0 0
1.19/1.29 c logicor : 0+ 9 0 8 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c benders : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.19/1.29 c indicator : 49 49 0 15164 0 0 0 3 73 0 0 0 0 0 0
1.19/1.29 c fixedvar : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.19/1.29 c countsols : 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0
1.19/1.29 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.19/1.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.19/1.29 c dualfix : 3 0 0 0
1.19/1.29 c genvbounds : 0 0 0 0
1.19/1.29 c nlobbt : 0 0 0 0
1.19/1.29 c obbt : 0 0 0 0
1.19/1.29 c probing : 0 0 0 0
1.19/1.29 c pseudoobj : 3 0 0 6
1.19/1.29 c redcost : 0 0 0 0
1.19/1.29 c rootredcost : 0 0 0 0
1.19/1.29 c symmetry : 0 0 0 0
1.19/1.29 c vbounds : 4071 0 0 0
1.19/1.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.19/1.29 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
1.19/1.29 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.29 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.29 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.29 c probing : 0.82 0.00 0.82 0.00 0.00 0.00
1.19/1.29 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.29 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.29 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.29 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
1.19/1.29 c vbounds : 0.01 0.00 0.01 0.00 0.00 0.00
1.19/1.29 c Symmetry :
1.19/1.29 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.19/1.29 c orbital reduction: 0 reductions applied, 0 cutoffs
1.19/1.29 c lexicographic red: 0 reductions applied, 0 cutoffs
1.19/1.29 c shadow tree time : 0.00 s
1.19/1.29 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.19/1.29 c propagation : 0.00 3 3 - 27 215.7 0 0.0 - - -
1.19/1.29 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.19/1.29 c bound exceed. LP : 0.00 2 1 - 2 49.5 0 0.0 0 0.0 10
1.19/1.29 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.19/1.29 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1.19/1.29 c applied globally : 0.00 - - 0 9 172.6 - - 0 - -
1.19/1.29 c applied locally : - - - 0 0 0.0 - - 0 - -
1.19/1.29 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.19/1.29 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
1.19/1.29 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c > cmir : - - - - - - - 0 0 0 0 0 -
1.19/1.29 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.19/1.29 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.19/1.29 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c > gomorymi : - - - - - - - 0 0 0 0 0 -
1.19/1.29 c > strongcg : - - - - - - - 0 0 0 0 0 -
1.19/1.29 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.19/1.29 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.19/1.29 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c Pricers : ExecTime SetupTime Calls Vars
1.19/1.29 c problem variables: 0.00 - 0 0
1.19/1.29 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.19/1.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.19/1.29 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.19/1.29 c LP solutions : 0.00 - - 1 1
1.19/1.29 c relax solutions : 0.00 - - 0 0
1.19/1.29 c pseudo solutions : 0.00 - - 0 0
1.19/1.29 c strong branching : 0.00 - - 0 0
1.19/1.29 c actconsdiving : 0.00 0.00 0 0 0
1.19/1.29 c adaptivediving : 0.00 0.00 0 0 0
1.19/1.29 c alns : 0.00 0.00 0 0 0
1.19/1.29 c bound : 0.00 0.00 0 0 0
1.19/1.29 c clique : 0.03 0.00 1 1 1
1.19/1.29 c coefdiving : 0.00 0.00 0 0 0
1.19/1.29 c completesol : 0.00 0.00 0 0 0
1.19/1.29 c conflictdiving : 0.00 0.00 0 0 0
1.19/1.29 c crossover : 0.00 0.00 0 0 0
1.19/1.29 c dins : 0.00 0.00 0 0 0
1.19/1.29 c distributiondivin: 0.00 0.00 0 0 0
1.19/1.29 c dps : 0.00 0.00 0 0 0
1.19/1.29 c dualval : 0.00 0.00 0 0 0
1.19/1.29 c farkasdiving : 0.00 0.00 0 0 0
1.19/1.29 c feasjump : 0.00 0.00 0 0 0
1.19/1.29 c feaspump : 0.00 0.00 0 0 0
1.19/1.29 c fixandinfer : 0.00 0.00 0 0 0
1.19/1.29 c fracdiving : 0.00 0.00 0 0 0
1.19/1.29 c gins : 0.00 0.00 0 0 0
1.19/1.29 c guideddiving : 0.00 0.00 0 0 0
1.19/1.29 c indcoefdiving : 0.00 0.00 0 0 0
1.19/1.29 c indicator : 0.00 0.00 0 0 0
1.19/1.29 c indicatordiving : 0.00 0.00 0 0 0
1.19/1.29 c indoneopt : 0.01 0.00 1 0 0
1.19/1.29 c indrounding : 0.00 0.00 0 0 0
1.19/1.29 c indtwoopt : 0.00 0.00 0 0 0
1.19/1.29 c intdiving : 0.00 0.00 0 0 0
1.19/1.29 c intshifting : 0.00 0.00 0 0 0
1.19/1.29 c linesearchdiving : 0.00 0.00 0 0 0
1.19/1.29 c localbranching : 0.00 0.00 0 0 0
1.19/1.29 c locks : 0.01 0.00 1 0 0
1.19/1.29 c lpface : 0.00 0.00 0 0 0
1.19/1.29 c mpec : 0.00 0.00 0 0 0
1.19/1.29 c multistart : 0.00 0.00 0 0 0
1.19/1.29 c mutation : 0.00 0.00 0 0 0
1.19/1.29 c nlpdiving : 0.00 0.00 0 0 0
1.19/1.29 c objpscostdiving : 0.00 0.00 0 0 0
1.19/1.29 c octane : 0.00 0.00 0 0 0
1.19/1.29 c ofins : 0.00 0.00 0 0 0
1.19/1.29 c oneopt : 0.00 0.00 1 0 0
1.19/1.29 c padm : 0.00 0.00 0 0 0
1.19/1.29 c proximity : 0.00 0.00 0 0 0
1.19/1.29 c pscostdiving : 0.00 0.00 0 0 0
1.19/1.29 c randrounding : 0.00 0.00 0 0 0
1.19/1.29 c rens : 0.00 0.00 0 0 0
1.19/1.29 c reoptsols : 0.00 0.00 0 0 0
1.19/1.29 c repair : 0.00 0.00 0 0 0
1.19/1.29 c rins : 0.00 0.00 0 0 0
1.19/1.29 c rootsoldiving : 0.00 0.00 0 0 0
1.19/1.29 c rounding : 0.00 0.00 0 0 0
1.19/1.29 c scheduler : 0.00 0.00 0 0 0
1.19/1.29 c shiftandpropagate: 0.00 0.00 0 0 0
1.19/1.29 c shifting : 0.00 0.00 0 0 0
1.19/1.29 c simplerounding : 0.00 0.00 0 0 0
1.19/1.29 c smallcard : 0.00 0.00 0 0 0
1.19/1.29 c subnlp : 0.00 0.00 0 0 0
1.19/1.29 c trivial : 0.00 0.00 2 0 0
1.19/1.29 c trivialnegation : 0.00 0.00 0 0 0
1.19/1.29 c trustregion : 0.00 0.00 0 0 0
1.19/1.29 c trysol : 0.00 0.00 0 0 0
1.19/1.29 c twoopt : 0.00 0.00 0 0 0
1.19/1.29 c undercover : 0.00 0.00 0 0 0
1.19/1.29 c vbounds : 0.04 0.00 1 1 1
1.19/1.29 c veclendiving : 0.00 0.00 0 0 0
1.19/1.29 c zeroobj : 0.00 0.00 0 0 0
1.19/1.29 c zirounding : 0.00 0.00 0 0 0
1.19/1.29 c other solutions : - - - 0 -
1.19/1.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 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.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.19/1.29 c primal LP : 0.00 0 0 0.00 - 0.00 0
1.19/1.29 c dual LP : 0.02 1 1583 1583.00 87579.53 0.00 0
1.19/1.29 c lex dual LP : 0.00 0 0 0.00 -
1.19/1.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.19/1.29 c resolve instable : 0.00 0 0 0.00 -
1.19/1.29 c diving/probing LP: 0.00 0 0 0.00 -
1.19/1.29 c strong branching : 0.00 0 0 0.00 - - - 0
1.19/1.29 c (at root node) : - 0 0 0.00 -
1.19/1.29 c conflict analysis: 0.00 1 10 10.00 -
1.19/1.29 c B&B Tree :
1.19/1.29 c number of runs : 1
1.19/1.29 c nodes : 1 (0 internal, 1 leaves)
1.19/1.29 c feasible leaves : 0
1.19/1.29 c infeas. leaves : 0
1.19/1.29 c objective leaves : 1
1.19/1.29 c nodes (total) : 1 (0 internal, 1 leaves)
1.19/1.29 c nodes left : 0
1.19/1.29 c max depth : 0
1.19/1.29 c max depth (total): 0
1.19/1.29 c backtracks : 0 (0.0%)
1.19/1.29 c early backtracks : 0 (0.0%)
1.19/1.29 c nodes exc. ref. : 0 (0.0%)
1.19/1.29 c delayed cutoffs : 0
1.19/1.29 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.19/1.29 c avg switch length: 2.00
1.19/1.29 c switching time : 0.00
1.19/1.29 c Root Node :
1.19/1.29 c First LP value : +7.64813300000000e+06
1.19/1.29 c First LP Iters : 1583 (85990.55 Iter/sec)
1.19/1.29 c First LP Time : 0.02
1.19/1.29 c Final Dual Bound : +7.64813300000000e+06
1.19/1.29 c Final Root Iters : 1583
1.19/1.29 c Root LP Estimate : -
1.19/1.29 c Solution :
1.19/1.29 c Solutions found : 3 (3 improvements)
1.19/1.29 c First Solution : +1.90526350000000e+07 (in run 1, after 1 nodes, 1.19 seconds, depth 1250, found by <clique>)
1.19/1.29 c Gap First Sol. : infinite
1.19/1.29 c Gap Last Sol. : 0.00 %
1.19/1.29 c Primal Bound : +7.64813300000000e+06 (in run 1, after 1 nodes, 1.28 seconds, depth 0, found by <relaxation>)
1.19/1.29 c Dual Bound : +7.64813300000000e+06
1.19/1.29 c Gap : 0.00 %
1.19/1.29 c Integrals : Total Avg%
1.19/1.29 c primal-dual : 128.34 99.95
1.19/1.29 c primal-ref : - - (not evaluated)
1.19/1.29 c dual-ref : - - (not evaluated)
1.29/1.31 c Time complete: 1.30422.
OK 7648133
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-4456462-1721720073/watcher-4456462-1721720073 -o /tmp/evaluation-result-4456462-1721720073/solver-4456462-1721720073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456462-1721720073.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=89250, runsolver pid=89247
[startup+0.100854 s]*
/proc/loadavg: 4.12 4.17 3.88 5/258 89251
/proc/meminfo: memFree=90825052/131524600 swapFree=131071996/131071996
[pid=89250] ppid=89247 vsize=83948 memory=43588 CPUtime=0.09 cores=4,6
/proc/89250/stat : 89250 (pbscip) R 89247 89250 87295 0 -1 4194304 7648 0 0 0 9 0 0 0 20 0 1 0 8536844 85962752 10897 134679101440 4194304 18693293 140727821118048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 39301120 140727821120515 140727821120614 140727821120614 140727821127630 0
/proc/89250/statm: 20987 10897 3575 3540 0 9244 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83948 KiB
Current children cumulated memory: 43588 KiB
[startup+0.2058 s]*
/proc/loadavg: 4.12 4.17 3.88 5/258 89251
/proc/meminfo: memFree=90823372/131524600 swapFree=131071996/131071996
[pid=89250] ppid=89247 vsize=85492 memory=45280 CPUtime=0.19 cores=4,6
/proc/89250/stat : 89250 (pbscip) R 89247 89250 87295 0 -1 4194304 8020 0 0 0 19 0 0 0 20 0 1 0 8536844 87543808 11320 134679101440 4194304 18693293 140727821118048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 39301120 140727821120515 140727821120614 140727821120614 140727821127630 0
/proc/89250/statm: 21373 11320 3607 3540 0 9630 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 85492 KiB
Current children cumulated memory: 45280 KiB
[startup+0.305813 s]*
/proc/loadavg: 4.12 4.17 3.88 5/258 89251
/proc/meminfo: memFree=90822804/131524600 swapFree=131071996/131071996
[pid=89250] ppid=89247 vsize=86104 memory=45544 CPUtime=0.29 cores=4,6
/proc/89250/stat : 89250 (pbscip) R 89247 89250 87295 0 -1 4194304 8144 0 0 0 29 0 0 0 20 0 1 0 8536844 88170496 11386 134679101440 4194304 18693293 140727821118048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 39301120 140727821120515 140727821120614 140727821120614 140727821127630 0
/proc/89250/statm: 21526 11386 3607 3540 0 9783 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86104 KiB
Current children cumulated memory: 45544 KiB
[startup+0.700243 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89251
/proc/meminfo: memFree=90822000/131524600 swapFree=131071996/131071996
[pid=89250] ppid=89247 vsize=88068 memory=47656 CPUtime=0.69 cores=4,6
/proc/89250/stat : 89250 (pbscip) R 89247 89250 87295 0 -1 4194304 8640 0 0 0 68 1 0 0 20 0 1 0 8536844 90181632 11914 134679101440 4194304 18693293 140727821118048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 39301120 140727821120515 140727821120614 140727821120614 140727821127630 0
/proc/89250/statm: 22017 11914 3607 3540 0 10274 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 88068 KiB
Current children cumulated memory: 47656 KiB
[startup+1.31643 s]
# the end of solver process 89250 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.29313 s, system=0.014873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800264 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89251
/proc/meminfo: memFree=90822000/131524600 swapFree=131071996/131071996
[pid=89250] ppid=89247 vsize=88068 memory=47656 CPUtime=0.79 cores=4,6
/proc/89250/stat : 89250 (pbscip) R 89247 89250 87295 0 -1 4194304 8641 0 0 0 78 1 0 0 20 0 1 0 8536844 90181632 11914 134679101440 4194304 18693293 140727821118048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 39301120 140727821120515 140727821120614 140727821120614 140727821127630 0
/proc/89250/statm: 22017 11914 3607 3540 0 10274 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 88068 KiB
Current children cumulated memory: 47656 KiB
[startup+1.20021 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89251
/proc/meminfo: memFree=90820552/131524600 swapFree=131071996/131071996
[pid=89250] ppid=89247 vsize=98252 memory=54540 CPUtime=1.19 cores=4,6
/proc/89250/stat : 89250 (pbscip) R 89247 89250 87295 0 -1 4194304 10467 0 0 0 118 1 0 0 20 0 1 0 8536844 100610048 13635 134679101440 4194304 18693293 140727821118048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 39301120 140727821120515 140727821120614 140727821120614 140727821127630 0
/proc/89250/statm: 24563 13635 3767 3540 0 12820 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 98252 KiB
Current children cumulated memory: 54540 KiB
[startup+1.3002 s]
/proc/loadavg: 4.12 4.17 3.88 5/258 89251
/proc/meminfo: memFree=90820552/131524600 swapFree=131071996/131071996
[pid=89250] ppid=89247 vsize=99988 memory=55964 CPUtime=1.29 cores=4,6
/proc/89250/stat : 89250 (pbscip) R 89247 89250 87295 0 -1 4194304 10993 0 0 0 128 1 0 0 20 0 1 0 8536844 102387712 13991 134679101440 4194304 18693293 140727821118048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 39301120 140727821120515 140727821120614 140727821120614 140727821127630 0
/proc/89250/statm: 24997 13991 3799 3540 0 13254 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 99988 KiB
Current children cumulated memory: 55964 KiB
Child status: 0
Real time (s): 1.31647
CPU time (s): 1.308
CPU user time (s): 1.29313
CPU system time (s): 0.014873
CPU usage (%): 99.3568
Max. virtual memory (cumulated for all children) (KiB): 99988
Max. memory (cumulated for all children) (KiB): 55964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.29313
system time used= 0.014873
maximum resident set size= 56760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11000
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= 6
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 89250
# total CPU time (s): 1.308
# total CPU user time (s): 1.29313
# total CPU system time (s): 0.014873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021134 second user time and 0.035523 second system time
The end
Begin job on nodeC031 at 2024-07-23 09:34:33 IDJOB=4456462 IDBENCH=144004 IDSOLVER=3038 FILE ID=nodeC031/4456462-1721720073 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-cap101_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456462-1721720073/watcher-4456462-1721720073 -o /tmp/evaluation-result-4456462-1721720073/solver-4456462-1721720073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87306 --watchdog 3760 pbscip -f HOME/instance-4456462-1721720073.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 67d067d79b844c4946a358fd5c7ae34f RANDOM SEED=2103475979 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 : 3661.474 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3685.784 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 : 3601.500 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.606 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 : 3664.530 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 : 3685.856 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 : 3656.485 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.480 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: 90855084 kB MemAvailable: 109580400 kB Buffers: 142108 kB Cached: 19339700 kB SwapCached: 0 kB Active: 992956 kB Inactive: 38939788 kB Active(anon): 1544 kB Inactive(anon): 20487152 kB Active(file): 991412 kB Inactive(file): 18452636 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18876 kB Writeback: 0 kB AnonPages: 20449688 kB Mapped: 133780 kB Shmem: 37720 kB KReclaimable: 241832 kB Slab: 345288 kB SReclaimable: 241832 kB SUnreclaim: 103456 kB KernelStack: 4136 kB PageTables: 49564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 22078448 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18880 kB HardwareCorrupted: 0 kB AnonHugePages: 6277120 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:34