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 | 8.76151 | 8.80745 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog02bc_wcsp.wbo |
| MD5SUM | a7de8a7695e2783312a6967cbbe52728 |
| 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 | 2009 |
| Best CPU time to get the best result obtained on this benchmark | 0.419851 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1161 |
| Total number of constraints | 24270 |
| Number of soft constraints | 23969 |
| Number of constraints which are clauses | 23969 |
| Number of constraints which are cardinality constraints (but not clauses) | 301 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8 |
| Top cost | 62624 |
| Min constraint cost | 1 |
| Max constraint cost | 62624 |
| Sum of constraints costs | 1467027651 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 9 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4425209-1720888964.wbo>
0.20/0.24 c original problem has 25130 variables (25130 bin, 0 int, 0 impl, 0 cont) and 48240 constraints
0.20/0.24 c problem read in 0.23
0.50/0.54 c presolving:
0.58/0.69 c (round 1, fast) 46939 del vars, 23515 del conss, 0 add conss, 46850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 544 impls, 212 clqs
0.66/0.73 c (round 2, fast) 46944 del vars, 23532 del conss, 0 add conss, 46850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 544 impls, 18273 clqs
0.66/0.73 c (round 3, fast) 46947 del vars, 23556 del conss, 0 add conss, 46850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 544 impls, 18249 clqs
0.66/0.74 c (round 4, fast) 46947 del vars, 23556 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 544 impls, 18249 clqs
0.66/0.76 c (round 5, exhaustive) 46947 del vars, 28903 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 544 impls, 18249 clqs
0.77/0.82 c (round 6, exhaustive) 46947 del vars, 28903 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 18249 clqs
0.77/0.83 c (round 7, medium) 46950 del vars, 28906 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 18246 clqs
1.08/1.17 c (round 8, exhaustive) 46975 del vars, 28906 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 23535 clqs
1.47/1.54 c (round 9, exhaustive) 47000 del vars, 28906 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26726 clqs
1.47/1.54 c (round 10, fast) 47000 del vars, 28931 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26726 clqs
1.57/1.62 c (round 11, exhaustive) 47025 del vars, 28931 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26752 clqs
1.57/1.62 c (round 12, fast) 47025 del vars, 28956 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26752 clqs
1.67/1.71 c (round 13, exhaustive) 47050 del vars, 28956 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26776 clqs
1.67/1.71 c (round 14, fast) 47050 del vars, 28981 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26776 clqs
1.67/1.79 c (round 15, exhaustive) 47075 del vars, 28981 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26801 clqs
1.67/1.79 c (round 16, fast) 47075 del vars, 29006 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26801 clqs
1.77/1.88 c (round 17, exhaustive) 47100 del vars, 29006 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26827 clqs
1.77/1.89 c (round 18, fast) 47100 del vars, 29031 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26827 clqs
1.87/1.96 c (round 19, exhaustive) 47125 del vars, 29031 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26852 clqs
1.87/1.96 c (round 20, fast) 47125 del vars, 29056 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26852 clqs
1.98/2.04 c (round 21, exhaustive) 47150 del vars, 29056 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26877 clqs
1.98/2.04 c (round 22, fast) 47150 del vars, 29081 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26877 clqs
2.08/2.12 c (round 23, exhaustive) 47175 del vars, 29081 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26902 clqs
2.08/2.12 c (round 24, fast) 47175 del vars, 29106 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26902 clqs
2.17/2.20 c (round 25, exhaustive) 47200 del vars, 29106 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26927 clqs
2.17/2.20 c (round 26, fast) 47200 del vars, 29131 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26927 clqs
2.17/2.29 c (round 27, exhaustive) 47225 del vars, 29131 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26951 clqs
2.17/2.29 c (round 28, fast) 47225 del vars, 29156 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26951 clqs
2.27/2.37 c (round 29, exhaustive) 47250 del vars, 29156 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26974 clqs
2.27/2.38 c (round 30, fast) 47250 del vars, 29181 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26974 clqs
2.37/2.45 c (round 31, exhaustive) 47275 del vars, 29181 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26997 clqs
2.37/2.45 c (round 32, fast) 47275 del vars, 29206 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 26997 clqs
2.47/2.53 c (round 33, exhaustive) 47300 del vars, 29206 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27020 clqs
2.47/2.53 c (round 34, fast) 47300 del vars, 29231 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27020 clqs
2.47/2.59 c (round 35, exhaustive) 47325 del vars, 29231 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27045 clqs
2.57/2.60 c (round 36, fast) 47325 del vars, 29256 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27045 clqs
2.57/2.68 c (2.7s) probing: 1000/2149 (46.5%) - 0 fixings, 399 aggregations, 8942 implications, 0 bound changes
2.57/2.68 c (round 37, exhaustive) 47350 del vars, 29256 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27071 clqs
2.57/2.68 c (round 38, fast) 47350 del vars, 29281 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27071 clqs
2.67/2.77 c (round 39, exhaustive) 47375 del vars, 29281 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27096 clqs
2.67/2.77 c (round 40, fast) 47375 del vars, 29306 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27096 clqs
2.77/2.84 c (round 41, exhaustive) 47400 del vars, 29306 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27121 clqs
2.77/2.84 c (round 42, fast) 47400 del vars, 29331 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27121 clqs
2.86/2.92 c (round 43, exhaustive) 47425 del vars, 29331 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27147 clqs
2.86/2.92 c (round 44, fast) 47425 del vars, 29356 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27147 clqs
2.86/2.99 c (round 45, exhaustive) 47450 del vars, 29356 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27171 clqs
2.86/2.99 c (round 46, fast) 47450 del vars, 29381 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27171 clqs
2.98/3.07 c (round 47, exhaustive) 47475 del vars, 29381 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27196 clqs
2.98/3.08 c (round 48, fast) 47475 del vars, 29406 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 27196 clqs
3.36/3.41 c (round 49, exhaustive) 47500 del vars, 29406 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 29099 clqs
3.36/3.41 c (round 50, fast) 47503 del vars, 29492 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 29090 clqs
3.36/3.42 c (round 51, fast) 47518 del vars, 29820 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 28775 clqs
3.36/3.42 c (round 52, fast) 47527 del vars, 29820 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 28775 clqs
3.36/3.43 c (round 53, medium) 47530 del vars, 29823 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18249 upgd conss, 544 impls, 28769 clqs
3.36/3.44 c (round 54, exhaustive) 47530 del vars, 29823 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 28769 clqs
3.36/3.44 c (round 55, fast) 47552 del vars, 29845 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 28742 clqs
3.46/3.56 c (round 56, exhaustive) 47577 del vars, 29845 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 30255 clqs
3.46/3.56 c (round 57, fast) 47577 del vars, 30091 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 30255 clqs
3.46/3.56 c (round 58, fast) 47633 del vars, 31357 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 28957 clqs
3.46/3.57 c (round 59, fast) 47676 del vars, 31883 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 28335 clqs
3.46/3.57 c (round 60, medium) 47688 del vars, 31895 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 28049 clqs
3.46/3.58 c (round 61, fast) 47688 del vars, 32073 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18271 upgd conss, 544 impls, 28049 clqs
4.36/4.49 c (round 62, exhaustive) 47716 del vars, 32073 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 53565 clqs
4.46/4.50 c (round 63, fast) 47731 del vars, 32832 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 53535 clqs
4.46/4.50 c (round 64, fast) 47803 del vars, 34430 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 50683 clqs
4.46/4.51 c (round 65, fast) 47844 del vars, 34722 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 49895 clqs
4.46/4.52 c (round 66, medium) 47850 del vars, 34728 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 49375 clqs
4.46/4.52 c (round 67, fast) 47850 del vars, 34802 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 49375 clqs
4.46/4.58 c (round 68, exhaustive) 47891 del vars, 34802 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 45869 clqs
4.46/4.58 c (round 69, fast) 47913 del vars, 35896 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 45863 clqs
4.46/4.59 c (round 70, fast) 47994 del vars, 37754 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 41493 clqs
4.46/4.59 c (round 71, fast) 48039 del vars, 37904 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 40666 clqs
4.56/4.60 c (round 72, fast) 48040 del vars, 37905 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 40666 clqs
4.56/4.60 c (round 73, medium) 48048 del vars, 37913 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 39738 clqs
4.56/4.60 c (round 74, fast) 48048 del vars, 38027 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 39738 clqs
4.56/4.61 c (round 75, exhaustive) 48048 del vars, 38039 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 39738 clqs
4.66/4.76 c (4.8s) probing: 2000/2149 (93.1%) - 99 fixings, 544 aggregations, 47154 implications, 0 bound changes
4.76/4.85 c (round 76, exhaustive) 48088 del vars, 38039 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 42957 clqs
4.76/4.86 c (round 77, fast) 48108 del vars, 39478 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 42858 clqs
4.76/4.86 c (round 78, fast) 48166 del vars, 40322 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 39326 clqs
4.76/4.86 c (round 79, fast) 48188 del vars, 40325 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 39326 clqs
4.76/4.87 c (round 80, medium) 48189 del vars, 40326 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 39204 clqs
4.86/4.93 c (4.9s) probing cycle finished: starting next cycle
4.86/4.95 c (4.9s) probing: 53/934 (5.7%) - 116 fixings, 544 aggregations, 54054 implications, 0 bound changes
4.86/4.95 c (4.9s) probing aborted: 50/50 successive totally useless probings
4.86/4.96 c (round 81, exhaustive) 48199 del vars, 40328 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18298 upgd conss, 544 impls, 39541 clqs
4.86/4.96 c (round 82, fast) 48200 del vars, 40740 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18298 upgd conss, 544 impls, 39540 clqs
4.86/4.96 c (round 83, fast) 48206 del vars, 40740 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18298 upgd conss, 544 impls, 39540 clqs
4.86/4.97 c (5.0s) probing: 58/934 (6.2%) - 116 fixings, 544 aggregations, 54054 implications, 0 bound changes
4.86/4.97 c (5.0s) probing aborted: 50/50 successive totally useless probings
4.86/4.98 c (5.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.86/4.98 c (5.0s) no symmetry present (symcode time: 0.00)
4.86/4.98 c presolving (84 rounds: 84 fast, 38 medium, 32 exhaustive):
4.86/4.98 c 48206 deleted vars, 40740 deleted constraints, 0 added constraints, 47394 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.86/4.98 c 544 implications, 39540 cliques
4.86/4.98 c presolved problem has 927 variables (927 bin, 0 int, 0 impl, 0 cont) and 7500 constraints
4.86/4.98 c 7213 constraints of type <setppc>
4.86/4.98 c 287 constraints of type <linear>
4.86/4.98 c transformed objective value is always integral (scale: 1)
4.86/4.98 c Presolving Time: 4.66
4.86/4.98 c - non default parameters ----------------------------------------------------------------------
4.86/4.98 c # SCIP version 10.0.0
4.86/4.98 c
4.86/4.98 c # maximal time in seconds to run
4.86/4.98 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.86/4.98 c limits/time = 3596.993158
4.86/4.98 c
4.86/4.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.86/4.98 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.86/4.98 c limits/memory = 27900
4.86/4.98 c
4.86/4.98 c # belongs reading time to solving time?
4.86/4.98 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.86/4.98 c timing/reading = TRUE
4.86/4.98 c
4.86/4.98 c -----------------------------------------------------------------------------------------------
4.86/4.98 c start solving
4.86/4.99 c
4.97/5.03 o 23062
4.97/5.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.97/5.03 c L 5.0s| 1 | 0 | 0 | - |feasjump| 0 | 927 |7534 |7500 | 0 | 0 | 34 | 0 | 0.000000e+00 | 2.306200e+04 | Inf | unknown
4.97/5.03 o 2660
4.97/5.03 c i 5.0s| 1 | 0 | 0 | - | oneopt| 0 | 927 |7534 |7500 | 0 | 0 | 34 | 0 | 0.000000e+00 | 2.660000e+03 | Inf | unknown
4.97/5.05 c 5.0s| 1 | 0 | 871 | - | 191M | 0 | 927 |7533 |7500 | 0 | 0 | 34 | 0 | 6.120125e+02 | 2.660000e+03 | 334.63%| unknown
5.15/5.22 c 5.2s| 1 | 0 | 1015 | - | 193M | 0 | 927 |7534 |7547 | 47 | 1 | 36 | 0 | 1.009265e+03 | 2.660000e+03 | 163.56%| unknown
5.26/5.37 c 5.4s| 1 | 0 | 1118 | - | 194M | 0 | 927 |7540 |7582 | 82 | 2 | 42 | 0 | 1.119082e+03 | 2.660000e+03 | 137.69%| unknown
5.36/5.50 c 5.5s| 1 | 0 | 1246 | - | 198M | 0 | 927 |7542 |7601 | 101 | 3 | 44 | 0 | 1.293536e+03 | 2.660000e+03 | 105.64%| unknown
5.56/5.68 c 5.7s| 1 | 0 | 1340 | - | 202M | 0 | 927 |7543 |7613 | 113 | 4 | 45 | 0 | 1.463344e+03 | 2.660000e+03 | 81.78%| unknown
5.75/5.84 c 5.8s| 1 | 0 | 1436 | - | 203M | 0 | 927 |7546 |7621 | 121 | 5 | 48 | 0 | 1.509210e+03 | 2.660000e+03 | 76.25%| unknown
5.97/6.08 c 6.1s| 1 | 0 | 1526 | - | 208M | 0 | 927 |7550 |7629 | 129 | 6 | 52 | 0 | 1.556810e+03 | 2.660000e+03 | 70.86%| unknown
6.15/6.24 c 6.2s| 1 | 0 | 1691 | - | 212M | 0 | 927 |7553 |7636 | 136 | 7 | 55 | 0 | 1.632476e+03 | 2.660000e+03 | 62.94%| unknown
6.35/6.41 c 6.4s| 1 | 0 | 1792 | - | 213M | 0 | 927 |7554 |7644 | 144 | 8 | 56 | 0 | 1.691313e+03 | 2.660000e+03 | 57.27%| unknown
6.45/6.57 c 6.6s| 1 | 0 | 1866 | - | 216M | 0 | 927 |7555 |7651 | 151 | 9 | 57 | 0 | 1.712538e+03 | 2.660000e+03 | 55.32%| unknown
6.65/6.75 c 6.7s| 1 | 0 | 1993 | - | 221M | 0 | 927 |7557 |7658 | 158 | 10 | 59 | 0 | 1.722612e+03 | 2.660000e+03 | 54.42%| unknown
6.65/6.79 c 6.8s| 1 | 0 | 2112 | - | 222M | 0 | 927 |7558 |7645 | 167 | 11 | 60 | 0 | 1.740704e+03 | 2.660000e+03 | 52.81%| unknown
6.75/6.81 c 6.8s| 1 | 0 | 2155 | - | 223M | 0 | 927 |7562 |7649 | 171 | 12 | 64 | 0 | 1.755357e+03 | 2.660000e+03 | 51.54%| unknown
6.75/6.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.75/6.84 c 6.8s| 1 | 0 | 2201 | - | 223M | 0 | 927 |7564 |7653 | 175 | 13 | 66 | 0 | 1.769719e+03 | 2.660000e+03 | 50.31%| unknown
6.75/6.86 c 6.9s| 1 | 0 | 2236 | - | 224M | 0 | 927 |7565 |7659 | 181 | 14 | 67 | 0 | 1.774231e+03 | 2.660000e+03 | 49.92%| unknown
6.75/6.88 c 6.9s| 1 | 0 | 2270 | - | 225M | 0 | 927 |7572 |7662 | 184 | 15 | 74 | 0 | 1.785731e+03 | 2.660000e+03 | 48.96%| unknown
6.85/6.91 c 6.9s| 1 | 0 | 2362 | - | 226M | 0 | 927 |7573 |7667 | 189 | 16 | 75 | 0 | 1.796972e+03 | 2.660000e+03 | 48.03%| unknown
6.85/6.93 c 6.9s| 1 | 0 | 2427 | - | 227M | 0 | 927 |7575 |7616 | 201 | 17 | 77 | 0 | 1.801635e+03 | 2.660000e+03 | 47.64%| unknown
6.85/6.97 c 7.0s| 1 | 0 | 2571 | - | 227M | 0 | 927 |7577 |7623 | 208 | 18 | 79 | 0 | 1.826032e+03 | 2.660000e+03 | 45.67%| unknown
6.85/7.00 c 7.0s| 1 | 0 | 2646 | - | 228M | 0 | 927 |7579 |7629 | 214 | 19 | 81 | 0 | 1.845632e+03 | 2.660000e+03 | 44.12%| unknown
6.97/7.03 c 7.0s| 1 | 0 | 2724 | - | 228M | 0 | 927 |7581 |7637 | 222 | 20 | 83 | 0 | 1.855362e+03 | 2.660000e+03 | 43.37%| unknown
6.97/7.05 c 7.0s| 1 | 0 | 2754 | - | 228M | 0 | 927 |7583 |7641 | 226 | 21 | 85 | 0 | 1.856103e+03 | 2.660000e+03 | 43.31%| unknown
6.97/7.07 c 7.1s| 1 | 0 | 2787 | - | 228M | 0 | 927 |7585 |7645 | 230 | 22 | 87 | 0 | 1.857159e+03 | 2.660000e+03 | 43.23%| unknown
6.97/7.09 c 7.1s| 1 | 0 | 2878 | - | 228M | 0 | 927 |7594 |7623 | 234 | 23 | 96 | 0 | 1.864535e+03 | 2.660000e+03 | 42.66%| unknown
7.07/7.11 c 7.1s| 1 | 0 | 2890 | - | 228M | 0 | 927 |7597 |7627 | 238 | 24 | 99 | 0 | 1.864713e+03 | 2.660000e+03 | 42.65%| unknown
7.07/7.13 c 7.1s| 1 | 0 | 2903 | - | 228M | 0 | 927 |7600 |7632 | 243 | 25 | 102 | 0 | 1.865221e+03 | 2.660000e+03 | 42.61%| unknown
7.07/7.15 c 7.1s| 1 | 0 | 2939 | - | 228M | 0 | 927 |7601 |7638 | 249 | 26 | 103 | 0 | 1.866171e+03 | 2.660000e+03 | 42.54%| unknown
7.07/7.18 c 7.2s| 1 | 0 | 2988 | - | 229M | 0 | 927 |7605 |7642 | 253 | 27 | 107 | 0 | 1.868820e+03 | 2.660000e+03 | 42.34%| unknown
7.15/7.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.15/7.20 c 7.2s| 1 | 0 | 3016 | - | 229M | 0 | 927 |7607 |7645 | 256 | 28 | 109 | 0 | 1.870104e+03 | 2.660000e+03 | 42.24%| unknown
7.15/7.22 c 7.2s| 1 | 0 | 3041 | - | 229M | 0 | 927 |7611 |7630 | 265 | 29 | 113 | 0 | 1.872056e+03 | 2.660000e+03 | 42.09%| unknown
7.15/7.24 c 7.2s| 1 | 0 | 3056 | - | 229M | 0 | 927 |7612 |7634 | 269 | 30 | 114 | 0 | 1.874000e+03 | 2.660000e+03 | 41.94%| unknown
7.15/7.26 c 7.3s| 1 | 0 | 3078 | - | 229M | 0 | 927 |7613 |7636 | 271 | 31 | 115 | 0 | 1.875503e+03 | 2.660000e+03 | 41.83%| unknown
7.15/7.28 c 7.3s| 1 | 0 | 3090 | - | 229M | 0 | 927 |7616 |7641 | 276 | 32 | 118 | 0 | 1.875857e+03 | 2.660000e+03 | 41.80%| unknown
7.25/7.30 c 7.3s| 1 | 0 | 3139 | - | 229M | 0 | 927 |7618 |7645 | 280 | 33 | 120 | 0 | 1.882816e+03 | 2.660000e+03 | 41.28%| unknown
7.25/7.32 c 7.3s| 1 | 0 | 3169 | - | 229M | 0 | 927 |7619 |7649 | 284 | 34 | 121 | 0 | 1.884333e+03 | 2.660000e+03 | 41.16%| unknown
7.25/7.34 c 7.3s| 1 | 0 | 3184 | - | 229M | 0 | 927 |7622 |7628 | 289 | 35 | 124 | 0 | 1.885600e+03 | 2.660000e+03 | 41.07%| unknown
7.25/7.36 c 7.4s| 1 | 0 | 3270 | - | 229M | 0 | 927 |7624 |7633 | 294 | 36 | 126 | 0 | 1.887299e+03 | 2.660000e+03 | 40.94%| unknown
7.25/7.38 c 7.4s| 1 | 0 | 3291 | - | 229M | 0 | 927 |7624 |7638 | 299 | 37 | 126 | 0 | 1.890310e+03 | 2.660000e+03 | 40.72%| unknown
7.25/7.40 c 7.4s| 1 | 0 | 3328 | - | 229M | 0 | 927 |7625 |7643 | 304 | 38 | 127 | 0 | 1.893048e+03 | 2.660000e+03 | 40.51%| unknown
7.35/7.41 c 7.4s| 1 | 0 | 3345 | - | 229M | 0 | 927 |7632 |7648 | 309 | 39 | 134 | 0 | 1.896750e+03 | 2.660000e+03 | 40.24%| unknown
7.35/7.43 c 7.4s| 1 | 0 | 3372 | - | 229M | 0 | 927 |7635 |7633 | 310 | 40 | 137 | 0 | 1.898264e+03 | 2.660000e+03 | 40.13%| unknown
7.35/7.45 c 7.4s| 1 | 0 | 3384 | - | 229M | 0 | 927 |7637 |7637 | 314 | 41 | 139 | 0 | 1.898647e+03 | 2.660000e+03 | 40.10%| unknown
7.35/7.47 c 7.5s| 1 | 0 | 3434 | - | 229M | 0 | 927 |7629 |6194 | 316 | 42 | 141 | 0 | 1.910889e+03 | 2.660000e+03 | 39.20%| unknown
7.35/7.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.35/7.49 c 7.5s| 1 | 0 | 3436 | - | 229M | 0 | 927 |6203 |6195 | 317 | 43 | 143 | 0 | 1.910944e+03 | 2.660000e+03 | 39.20%| unknown
7.45/7.50 c 7.5s| 1 | 0 | 3437 | - | 229M | 0 | 927 |6204 |6196 | 318 | 44 | 144 | 0 | 1.911000e+03 | 2.660000e+03 | 39.19%| unknown
7.45/7.51 o 2624
7.45/7.51 c r 7.5s| 1 | 0 | 3437 | - |shifting| 0 | 927 |6205 |6196 | 318 | 44 | 145 | 0 | 1.911000e+03 | 2.624000e+03 | 37.31%| unknown
7.45/7.52 c 7.5s| 1 | 0 | 3437 | - | 229M | 0 | 927 |6202 |6196 | 318 | 45 | 145 | 0 | 1.911000e+03 | 2.624000e+03 | 37.31%| unknown
7.45/7.52 o 2009
7.45/7.52 c i 7.5s| 1 | 0 | 3437 | - | oneopt| 0 | 927 |6202 |6196 | 318 | 45 | 145 | 0 | 1.911000e+03 | 2.009000e+03 | 5.13%| unknown
7.64/7.72 c 7.7s| 1 | 0 | 4457 | - | 231M | 0 | 927 |6211 |6196 | 318 | 46 | 201 | 2 | 1.913800e+03 | 2.009000e+03 | 4.97%| unknown
7.64/7.72 c (run 1, node 1) restarting after 116 global fixings of integer variables
7.64/7.72 c
7.64/7.72 c (restart) converted 132 cuts from the global cut pool into linear constraints
7.64/7.72 c
7.64/7.76 c presolving:
7.64/7.77 c (round 1, fast) 221 del vars, 694 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 63 chg coeffs, 0 upgd conss, 544 impls, 17925 clqs
7.64/7.78 c (round 2, fast) 319 del vars, 2571 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 75 chg coeffs, 0 upgd conss, 544 impls, 17430 clqs
7.64/7.78 c (round 3, fast) 354 del vars, 2753 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 75 chg coeffs, 0 upgd conss, 544 impls, 16461 clqs
7.64/7.78 c (round 4, fast) 367 del vars, 2838 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 75 chg coeffs, 0 upgd conss, 544 impls, 16073 clqs
7.64/7.78 c (round 5, fast) 371 del vars, 2868 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 75 chg coeffs, 0 upgd conss, 544 impls, 15959 clqs
7.64/7.78 c (round 6, fast) 372 del vars, 2868 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 75 chg coeffs, 0 upgd conss, 544 impls, 15959 clqs
7.64/7.79 c (round 7, medium) 391 del vars, 2884 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 75 chg coeffs, 0 upgd conss, 544 impls, 14574 clqs
7.64/7.79 c (round 8, fast) 392 del vars, 3049 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 79 chg coeffs, 0 upgd conss, 544 impls, 14520 clqs
7.64/7.79 c (round 9, fast) 394 del vars, 3049 del conss, 0 add conss, 35 chg bounds, 0 chg sides, 79 chg coeffs, 0 upgd conss, 544 impls, 14520 clqs
7.64/7.79 c (round 10, exhaustive) 394 del vars, 3053 del conss, 1 add conss, 35 chg bounds, 0 chg sides, 79 chg coeffs, 0 upgd conss, 544 impls, 14520 clqs
7.74/7.80 c (round 11, exhaustive) 394 del vars, 3060 del conss, 2 add conss, 35 chg bounds, 3 chg sides, 79 chg coeffs, 0 upgd conss, 544 impls, 14520 clqs
7.74/7.80 c (round 12, exhaustive) 394 del vars, 3060 del conss, 2 add conss, 35 chg bounds, 3 chg sides, 79 chg coeffs, 111 upgd conss, 544 impls, 14520 clqs
7.74/7.81 c (round 13, fast) 407 del vars, 3075 del conss, 2 add conss, 35 chg bounds, 3 chg sides, 79 chg coeffs, 111 upgd conss, 544 impls, 14558 clqs
7.74/7.81 c (round 14, exhaustive) 407 del vars, 3078 del conss, 2 add conss, 35 chg bounds, 3 chg sides, 85 chg coeffs, 112 upgd conss, 544 impls, 14558 clqs
7.74/7.82 c (round 15, exhaustive) 407 del vars, 3079 del conss, 2 add conss, 35 chg bounds, 3 chg sides, 104 chg coeffs, 112 upgd conss, 544 impls, 14558 clqs
7.74/7.84 c presolving (16 rounds: 16 fast, 7 medium, 6 exhaustive):
7.74/7.84 c 440 deleted vars, 3127 deleted constraints, 2 added constraints, 35 tightened bounds, 0 added holes, 3 changed sides, 107 changed coefficients
7.74/7.84 c 544 implications, 14485 cliques
7.74/7.84 c presolved problem has 531 variables (531 bin, 0 int, 0 impl, 0 cont) and 3218 constraints
7.74/7.84 c 11 constraints of type <knapsack>
7.74/7.84 c 2983 constraints of type <setppc>
7.74/7.84 c 152 constraints of type <linear>
7.74/7.84 c 72 constraints of type <logicor>
7.74/7.84 c transformed objective value is always integral (scale: 1)
7.74/7.84 c Presolving Time: 4.76
7.74/7.84 c
7.74/7.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.74/7.86 c 7.9s| 1 | 0 | 5162 | - | 231M | 0 | 531 |3218 |3128 | 0 | 0 | 201 | 2 | 1.913800e+03 | 2.009000e+03 | 4.97%| unknown
7.74/7.87 c 7.9s| 1 | 0 | 5162 | - | 231M | 0 | 531 |3223 |2442 | 0 | 0 | 206 | 2 | 1.913800e+03 | 2.009000e+03 | 4.97%| unknown
7.84/7.93 c 7.9s| 1 | 0 | 5248 | - | 232M | 0 | 531 |2559 |2008 | 7 | 1 | 206 | 2 | 1.934500e+03 | 2.009000e+03 | 3.85%| unknown
7.84/7.93 c 7.9s| 1 | 0 | 5248 | - | 232M | 0 | 531 |2560 |1882 | 7 | 1 | 207 | 2 | 1.934500e+03 | 2.009000e+03 | 3.85%| unknown
7.95/8.04 c 8.0s| 1 | 0 | 5294 | - | 233M | 0 | 531 |2005 |1833 | 11 | 2 | 207 | 2 | 1.953500e+03 | 2.009000e+03 | 2.84%| unknown
7.95/8.04 c 8.0s| 1 | 0 | 5294 | - | 233M | 0 | 531 |2006 |1821 | 11 | 2 | 208 | 2 | 1.953500e+03 | 2.009000e+03 | 2.84%| unknown
8.05/8.14 c 8.1s| 1 | 0 | 5338 | - | 234M | 0 | 531 |1942 |1757 | 13 | 3 | 208 | 2 | 1.968208e+03 | 2.009000e+03 | 2.07%| unknown
8.05/8.15 c 8.1s| 1 | 0 | 5338 | - | 234M | 0 | 531 |1944 |1735 | 13 | 3 | 210 | 2 | 1.968208e+03 | 2.009000e+03 | 2.07%| unknown
8.14/8.22 c 8.2s| 1 | 0 | 5371 | - | 236M | 0 | 531 |1857 |1738 | 16 | 4 | 210 | 2 | 1.971425e+03 | 2.009000e+03 | 1.91%| unknown
8.14/8.22 c 8.2s| 1 | 0 | 5371 | - | 236M | 0 | 531 |1864 |1738 | 16 | 4 | 217 | 2 | 1.971425e+03 | 2.009000e+03 | 1.91%| unknown
8.14/8.29 c 8.3s| 1 | 0 | 5398 | - | 237M | 0 | 531 |1864 |1716 | 22 | 5 | 217 | 2 | 1.980500e+03 | 2.009000e+03 | 1.44%| unknown
8.14/8.29 c 8.3s| 1 | 0 | 5398 | - | 237M | 0 | 531 |1865 |1675 | 22 | 5 | 218 | 2 | 1.980500e+03 | 2.009000e+03 | 1.44%| unknown
8.24/8.34 c 8.3s| 1 | 0 | 5486 | - | 240M | 0 | 531 |1796 |1678 | 25 | 6 | 218 | 2 | 1.995500e+03 | 2.009000e+03 | 0.68%| unknown
8.24/8.35 c 8.3s| 1 | 0 | 5486 | - | 240M | 0 | 531 |1799 |1596 | 25 | 6 | 221 | 2 | 1.995500e+03 | 2.009000e+03 | 0.68%| unknown
8.34/8.41 c 8.4s| 1 | 0 | 5527 | - | 242M | 0 | 531 |1718 |1594 | 30 | 7 | 221 | 2 | 1.999611e+03 | 2.009000e+03 | 0.47%| unknown
8.34/8.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.34/8.41 c 8.4s| 1 | 0 | 5569 | - | 242M | 0 | 531 |1724 |1586 | 30 | 7 | 227 | 2 | 2.001154e+03 | 2.009000e+03 | 0.39%| unknown
8.34/8.41 c 8.4s| 1 | 0 | 5569 | - | 242M | 0 | 531 |1725 |1547 | 30 | 7 | 228 | 2 | 2.001154e+03 | 2.009000e+03 | 0.39%| unknown
8.34/8.48 c 8.5s| 1 | 0 | 5607 | - | 246M | 0 | 531 |1676 |1476 | 34 | 8 | 228 | 2 | 2.004077e+03 | 2.009000e+03 | 0.25%| unknown
8.34/8.48 c 8.5s| 1 | 0 | 5607 | - | 246M | 0 | 531 |1677 |1443 | 34 | 8 | 229 | 2 | 2.004077e+03 | 2.009000e+03 | 0.25%| unknown
8.45/8.56 c 8.6s| 1 | 0 | 5615 | - | 252M | 0 | 531 |1565 |1445 | 36 | 9 | 229 | 2 | 2.004102e+03 | 2.009000e+03 | 0.24%| unknown
8.55/8.64 c 8.6s| 1 | 0 | 5636 | - | 252M | 0 | 531 |1567 |1447 | 38 | 10 | 232 | 2 | 2.004936e+03 | 2.009000e+03 | 0.20%| unknown
8.55/8.64 c 8.6s| 1 | 0 | 5636 | - | 252M | 0 | 531 |1568 |1447 | 38 | 10 | 233 | 2 | 2.004936e+03 | 2.009000e+03 | 0.20%| unknown
8.55/8.65 c 8.6s| 1 | 0 | 5660 | - | 252M | 0 | 531 |1568 |1438 | 41 | 11 | 233 | 2 | 2.006528e+03 | 2.009000e+03 | 0.12%| unknown
8.55/8.65 c 8.6s| 1 | 0 | 5660 | - | 252M | 0 | 531 |1570 |1373 | 41 | 11 | 235 | 2 | 2.006528e+03 | 2.009000e+03 | 0.12%| unknown
8.55/8.66 c 8.7s| 1 | 0 | 5690 | - | 252M | 0 | 531 |1492 |1334 | 46 | 12 | 235 | 2 | 2.006988e+03 | 2.009000e+03 | 0.10%| unknown
8.55/8.67 c 8.7s| 1 | 0 | 5690 | - | 252M | 0 | 531 |1493 |1241 | 46 | 12 | 236 | 2 | 2.006988e+03 | 2.009000e+03 | 0.10%| unknown
8.55/8.68 c 8.7s| 1 | 0 | 5704 | - | 252M | 0 | 531 |1357 |1170 | 49 | 13 | 236 | 2 | 2.009000e+03 | 2.009000e+03 | 0.00%| unknown
8.55/8.68 c 8.7s| 1 | 0 | 5704 | - | 252M | 0 | 531 |1357 |1170 | 49 | 13 | 236 | 2 | 2.009000e+03 | 2.009000e+03 | 0.00%| unknown
8.55/8.68 c
8.55/8.68 c SCIP Status : problem is solved [optimal solution found]
8.55/8.68 c Solving Time (sec) : 8.67
8.55/8.68 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
8.55/8.68 c Primal Bound : +2.00900000000000e+03 (4 solutions)
8.55/8.68 c Dual Bound : +2.00900000000000e+03
8.55/8.68 c Gap : 0.00 %
8.64/8.70 s OPTIMUM FOUND
8.64/8.70 v -x1161 x1160 -x1159 x1158 x1157 -x1156 -x1155 x1154 x1153 -x1152 x1151 -x1150 x1149 -x1148 -x1147 x1146 x1145 -x1144 -x1143 x1142
8.64/8.70 v x1141 -x1140 x1139 -x1138 -x1137 x1136 -x1135 x1134 -x1133 x1132 -x1131 x1130 x1129 -x1128 -x1127 x1126 -x1125 x1124 -x1123
8.64/8.70 v -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 x1112 -x1111 -x1110 -x1109 x1108 x1107 -x1106 x1105 -x1104
8.64/8.70 v x1103 -x1102 -x1101 -x1100 x1099 -x1098 x1097 -x1096 -x1095 -x1094 x1093 -x1092 x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085
8.64/8.70 v x1084 -x1083 -x1082 x1081 -x1080 -x1079 x1078 -x1077 -x1076 x1075 -x1074 -x1073 x1072 x1071 -x1070 -x1069 x1068 -x1067
8.64/8.70 v x1066 -x1065 -x1064 -x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 x1056 -x1055 x1054 -x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047
8.64/8.70 v x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 -x1029
8.64/8.70 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 x1021 -x1020 -x1019 x1018 x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 x1010
8.64/8.70 v x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 x997 -x996 -x995 -x994 x993 -x992 -x991 x990
8.64/8.70 v -x989 -x988 -x987 x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 x969
8.64/8.70 v -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 x958 -x957 -x956 -x955 x954 -x953 -x952 x951 -x950 x949 -x948 x947
8.64/8.70 v -x946 x945 -x944 x943 -x942 -x941 x940 x939 -x938 -x937 x936 -x935 x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 x924
8.64/8.70 v -x923 x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 x906 -x905 -x904 -x903
8.64/8.70 v -x902 -x901 -x900 -x899 x898 -x897 x896 -x895 -x894 -x893 x892 -x891 x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 x881
8.64/8.70 v -x880 x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 x862 -x861 -x860 -x859
8.64/8.70 v -x858 x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 x838 -x837
8.64/8.70 v -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816
8.64/8.70 v x815 -x814 -x813 -x812 x811 -x810 -x809 x808 -x807 -x806 x805 -x804 -x803 x802 -x801 -x800 x799 -x798 -x797 -x796 x795 -x794
8.64/8.70 v x793 -x792 x791 -x790 -x789 -x788 -x787 x786 -x785 x784 -x783 x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 x772
8.64/8.70 v -x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 x750
8.64/8.70 v -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728
8.64/8.70 v -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 x711 -x710 x709 -x708 -x707
8.64/8.70 v -x706 x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 x687 -x686 -x685
8.64/8.70 v -x684 x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663
8.64/8.70 v x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 x643 -x642
8.64/8.70 v -x641 -x640 x639 -x638 -x637 x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628 x627 -x626 -x625 -x624 x623 -x622 x621 -x620
8.64/8.70 v -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 x605 -x604 -x603 x602 x601 -x600 -x599 -x598
8.64/8.70 v -x597 x596 x595 -x594 -x593 x592 -x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576
8.64/8.70 v -x575 x574 -x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 x554
8.64/8.70 v -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532
8.64/8.70 v -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 x514 -x513 -x512 -x511
8.64/8.70 v x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 x491 -x490 -x489
8.64/8.70 v -x488 -x487 x486 -x485 -x484 -x483 x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468
8.64/8.70 v -x467 x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446
8.64/8.70 v -x445 -x444 -x443 x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425
8.64/8.70 v -x424 x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 x403
8.64/8.70 v -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 x381
8.64/8.70 v -x380 -x379 -x378 x377 -x376 -x375 -x374 x373 -x372 -x371 x370 -x369 x368 -x367 x366 -x365 x364 -x363 x362 -x361 x360 x359
8.64/8.70 v -x358 -x357 x356 -x355 x354 x353 -x352 -x351 x350 -x349 x348 -x347 x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337
8.64/8.70 v -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316
8.64/8.70 v -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 x294
8.64/8.70 v -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 x275 -x274 -x273 -x272
8.64/8.70 v -x271 x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251
8.64/8.70 v -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 x232 -x231 -x230 -x229
8.64/8.70 v -x228 -x227 x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208
8.64/8.70 v -x207 x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 x186
8.64/8.70 v -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165
8.64/8.70 v -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143
8.64/8.70 v -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 x125 -x124 -x123 -x122
8.64/8.70 v -x121 x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
8.64/8.70 v -x99 x98 -x97 -x96 -x95 -x94 -x93 x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74
8.64/8.70 v x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 x48
8.64/8.70 v -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22
8.64/8.70 v -x21 x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 x4 x3 -x2 -x1
8.64/8.70 c SCIP Status : problem is solved [optimal solution found]
8.64/8.70 c Total Time : 8.67
8.64/8.70 c solving : 8.67
8.64/8.70 c presolving : 4.76 (included in solving)
8.64/8.70 c reading : 0.23 (included in solving)
8.64/8.70 c copying : 0.02 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
8.64/8.70 c Original Problem :
8.64/8.70 c Problem name : HOME/instance-4425209-1720888964.wbo
8.64/8.70 c Variables : 25130 (25130 binary, 0 integer, 0 implicit integer, 0 continuous)
8.64/8.70 c Constraints : 48240 initial, 48240 maximal
8.64/8.70 c Objective : minimize, 23969 non-zeros (abs.min = 1, abs.max = 62624)
8.64/8.70 c Presolved Problem :
8.64/8.70 c Problem name : t_HOME/instance-4425209-1720888964.wbo
8.64/8.70 c Variables : 531 (531 binary, 0 integer, 0 implicit integer, 0 continuous)
8.64/8.70 c Constraints : 3218 initial, 3223 maximal
8.64/8.70 c Objective : minimize, 172 non-zeros (abs.min = 1, abs.max = 276)
8.64/8.70 c Nonzeros : 7728 constraint, 9319 clique table
8.64/8.70 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
8.64/8.70 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c domcol : 0.03 0.00 29 0 0 0 0 0 0 0 0 0
8.64/8.70 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
8.64/8.70 c gateextraction : 0.01 0.00 6 0 0 0 0 0 4 1 0 0
8.64/8.70 c implics : 0.00 0.00 45 0 0 0 0 0 0 0 0 0
8.64/8.70 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
8.64/8.70 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c trivial : 0.01 0.00 100 194 0 0 0 0 0 0 0 0
8.64/8.70 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c dualfix : 0.01 0.00 100 318 0 0 0 0 0 0 0 0
8.64/8.70 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c probing : 3.61 0.00 28 116 544 0 0 0 0 0 0 0
8.64/8.70 c pseudoobj : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
8.64/8.70 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
8.64/8.70 c vbounds : 0.02 0.00 7 0 7 0 0 0 0 0 0 0
8.64/8.70 c knapsack : 0.01 0.00 10 0 0 0 0 0 0 0 0 15
8.64/8.70 c setppc : 0.48 0.00 172 247 134 0 0 0 13980 0 0 0
8.64/8.70 c and : 0.00 0.00 2 0 0 0 0 0 1 1 0 0
8.64/8.70 c linear : 0.23 0.00 136 23460 90 0 24004 0 5832 0 3 0
8.64/8.70 c logicor : 0.00 0.00 26 0 0 0 0 0 33 0 0 92
8.64/8.70 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c indicator : 0.04 0.00 28 23425 0 0 23425 0 23969 0 0 0
8.64/8.70 c components : 0.01 0.00 2 33 0 0 0 0 48 0 0 0
8.64/8.70 c root node : - - - 330 - - 330 - - - - -
8.64/8.70 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
8.64/8.70 c benderslp : 0 0 0 0 1 0 0 21 0 0 0 0 0 0 0
8.64/8.70 c integral : 0 0 0 0 1 0 0 21 0 0 10 0 0 0 0
8.64/8.70 c knapsack : 11 11 13 187 0 0 0 0 6 0 0 0 0 0 0
8.64/8.70 c setppc : 2983+ 2984 59 10475 0 0 0 14 1584 182 0 11 5 0 0
8.64/8.70 c linear : 152 152 59 10293 0 0 0 7 39 0 0 0 0 0 0
8.64/8.70 c logicor : 72+ 100 59 671 0 0 0 0 60 8 0 33 10 0 0
8.64/8.70 c benders : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
8.64/8.70 c fixedvar : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
8.64/8.70 c countsols : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
8.64/8.70 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
8.64/8.70 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c integral : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c knapsack : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c setppc : 1.03 0.00 0.02 1.01 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c linear : 0.07 0.00 0.04 0.02 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
8.64/8.70 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c Propagators : #Propagate #ResProp Cutoffs DomReds
8.64/8.70 c dualfix : 5 0 0 1
8.64/8.70 c genvbounds : 0 0 0 0
8.64/8.70 c nlobbt : 0 0 0 0
8.64/8.70 c obbt : 0 0 0 0
8.64/8.70 c probing : 0 0 0 0
8.64/8.70 c pseudoobj : 91 0 0 0
8.64/8.70 c redcost : 73 0 0 136
8.64/8.70 c rootredcost : 0 0 0 0
8.64/8.70 c symmetry : 0 0 0 0
8.64/8.70 c vbounds : 1562 0 0 0
8.64/8.70 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
8.64/8.70 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
8.64/8.70 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c probing : 3.61 0.00 3.61 0.00 0.00 0.00
8.64/8.70 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
8.64/8.70 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
8.64/8.70 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
8.64/8.70 c vbounds : 0.02 0.00 0.02 0.00 0.00 0.00
8.64/8.70 c Symmetry :
8.64/8.70 c orbitopal red. : 0 reductions applied, 0 cutoffs
8.64/8.70 c orbital reduction: 0 reductions applied, 0 cutoffs
8.64/8.70 c lexicographic red: 0 reductions applied, 0 cutoffs
8.64/8.70 c shadow tree time : 0.00 s
8.64/8.70 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
8.64/8.70 c propagation : 0.00 187 82 - 176 5.6 5 3.4 - - -
8.64/8.70 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
8.64/8.70 c bound exceed. LP : 0.00 5 51 - 11 22.7 1 3.0 46 1.0 0
8.64/8.70 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
8.64/8.70 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
8.64/8.70 c applied globally : 0.00 - - 46 190 5.0 - - 46 - -
8.64/8.70 c applied locally : - - - 0 0 0.0 - - 0 - -
8.64/8.70 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
8.64/8.70 c cut pool : 0.05 - 114 114 - - 5012 12183 - - - - - (maximal pool size: 2904)
8.64/8.70 c aggregation : 0.12 0.00 59 59 0 0 1 1 0 1 1 0 0
8.64/8.70 c > cmir : - - - - - - - 1 0 1 1 0 -
8.64/8.70 c > flowcover : - - - - - - - 0 0 0 0 0 -
8.64/8.70 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
8.64/8.70 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c clique : 0.17 0.00 59 59 0 0 402 618 0 148 148 0 0
8.64/8.70 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c gomory : 2.05 0.00 20 20 0 0 3994 10805 0 47 47 0 0
8.64/8.70 c > gomorymi : - - - - - - - 4967 0 20 20 0 -
8.64/8.70 c > strongcg : - - - - - - - 5838 0 27 27 0 -
8.64/8.70 c impliedbounds : 0.11 0.00 59 59 0 77 563 670 0 122 122 0 0
8.64/8.70 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
8.64/8.70 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c multilinear : 0.00 0.00 59 59 0 0 0 0 0 0 0 0 0
8.64/8.70 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
8.64/8.70 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
8.64/8.70 c zerohalf : 0.06 0.00 33 33 0 0 52 89 0 34 34 0 0
8.64/8.70 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
8.64/8.70 c hybrid : 0.02 0.00 57 57 367 0 11860 367 0 11860
8.64/8.70 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c Pricers : ExecTime SetupTime Calls Vars
8.64/8.70 c problem variables: 0.00 - 0 0
8.64/8.70 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
8.64/8.70 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c random : 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c relpscost : 0.02 0.00 1 0 0 0 10 0 0 0
8.64/8.70 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
8.64/8.70 c Primal Heuristics : ExecTime SetupTime Calls Found Best
8.64/8.70 c LP solutions : 0.00 - - 0 0
8.64/8.70 c relax solutions : 0.00 - - 0 0
8.64/8.70 c pseudo solutions : 0.00 - - 0 0
8.64/8.70 c strong branching : 0.00 - - 0 0
8.64/8.70 c actconsdiving : 0.00 0.00 0 0 0
8.64/8.70 c adaptivediving : 0.00 0.00 0 0 0
8.64/8.70 c alns : 0.02 0.00 1 0 0
8.64/8.70 c bound : 0.00 0.00 0 0 0
8.64/8.70 c clique : 0.01 0.00 1 0 0
8.64/8.70 c coefdiving : 0.00 0.00 0 0 0
8.64/8.70 c completesol : 0.00 0.00 0 0 0
8.64/8.70 c conflictdiving : 0.01 0.00 1 0 0
8.64/8.70 c crossover : 0.00 0.00 0 0 0
8.64/8.70 c dins : 0.00 0.00 0 0 0
8.64/8.70 c distributiondivin: 0.00 0.00 0 0 0
8.64/8.70 c dps : 0.00 0.00 0 0 0
8.64/8.70 c dualval : 0.00 0.00 0 0 0
8.64/8.70 c farkasdiving : 0.04 0.00 1 0 0
8.64/8.70 c feasjump : 0.01 0.00 1 1 1
8.64/8.70 c feaspump : 0.07 0.00 1 0 0
8.64/8.70 c fixandinfer : 0.00 0.00 0 0 0
8.64/8.70 c fracdiving : 0.00 0.00 0 0 0
8.64/8.70 c gins : 0.00 0.00 0 0 0
8.64/8.70 c guideddiving : 0.00 0.00 0 0 0
8.64/8.70 c indcoefdiving : 0.00 0.00 0 0 0
8.64/8.70 c indicator : 0.00 0.00 0 0 0
8.64/8.70 c indicatordiving : 0.00 0.00 0 0 0
8.64/8.70 c indoneopt : 0.00 0.00 0 0 0
8.64/8.70 c indrounding : 0.00 0.00 0 0 0
8.64/8.70 c indtwoopt : 0.00 0.00 0 0 0
8.64/8.70 c intdiving : 0.00 0.00 0 0 0
8.64/8.70 c intshifting : 0.00 0.00 0 0 0
8.64/8.70 c linesearchdiving : 0.00 0.00 0 0 0
8.64/8.70 c localbranching : 0.00 0.00 0 0 0
8.64/8.70 c locks : 0.00 0.00 1 0 0
8.64/8.70 c lpface : 0.00 0.00 0 0 0
8.64/8.70 c mpec : 0.00 0.00 0 0 0
8.64/8.70 c multistart : 0.00 0.00 0 0 0
8.64/8.70 c mutation : 0.00 0.00 0 0 0
8.64/8.70 c nlpdiving : 0.00 0.00 0 0 0
8.64/8.70 c objpscostdiving : 0.00 0.00 0 0 0
8.64/8.70 c octane : 0.00 0.00 0 0 0
8.64/8.70 c ofins : 0.00 0.00 0 0 0
8.64/8.70 c oneopt : 0.01 0.00 2 2 2
8.64/8.70 c padm : 0.00 0.00 0 0 0
8.64/8.70 c proximity : 0.00 0.00 0 0 0
8.64/8.70 c pscostdiving : 0.00 0.00 0 0 0
8.64/8.70 c randrounding : 0.15 0.00 59 0 0
8.64/8.70 c rens : 0.03 0.00 1 0 0
8.64/8.70 c reoptsols : 0.00 0.00 0 0 0
8.64/8.70 c repair : 0.00 0.00 0 0 0
8.64/8.70 c rins : 0.00 0.00 0 0 0
8.64/8.70 c rootsoldiving : 0.00 0.00 0 0 0
8.64/8.70 c rounding : 0.01 0.00 58 0 0
8.64/8.70 c scheduler : 0.00 0.00 0 0 0
8.64/8.70 c shiftandpropagate: 0.00 0.00 1 0 0
8.64/8.70 c shifting : 0.05 0.00 58 1 1
8.64/8.70 c simplerounding : 0.00 0.00 59 0 0
8.64/8.70 c smallcard : 0.00 0.00 0 0 0
8.64/8.70 c subnlp : 0.00 0.00 0 0 0
8.64/8.70 c trivial : 0.02 0.00 4 0 0
8.64/8.70 c trivialnegation : 0.00 0.00 0 0 0
8.64/8.70 c trustregion : 0.00 0.00 0 0 0
8.64/8.70 c trysol : 0.00 0.00 0 0 0
8.64/8.70 c twoopt : 0.00 0.00 0 0 0
8.64/8.70 c undercover : 0.00 0.00 0 0 0
8.64/8.70 c vbounds : 0.01 0.00 2 0 0
8.64/8.70 c veclendiving : 0.00 0.00 0 0 0
8.64/8.70 c zeroobj : 0.00 0.00 0 0 0
8.64/8.70 c zirounding : 0.00 0.00 1 0 0
8.64/8.70 c other solutions : - - - 0 -
8.64/8.70 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
8.64/8.70 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
8.64/8.70 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
8.64/8.70 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
8.64/8.70 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
8.64/8.70 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
8.64/8.70 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
8.64/8.70 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
8.64/8.70 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
8.64/8.70 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
8.64/8.70 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
8.64/8.70 c primal LP : 0.00 6 0 0.00 - 0.00 6
8.64/8.70 c dual LP : 0.32 83 4568 76.13 14480.40 0.01 23
8.64/8.70 c lex dual LP : 0.00 0 0 0.00 -
8.64/8.70 c barrier LP : 0.00 0 0 0.00 - 0.00 0
8.64/8.70 c resolve instable : 0.00 0 0 0.00 -
8.64/8.70 c diving/probing LP: 0.11 36 1136 31.56 10529.24
8.64/8.70 c strong branching : 0.01 2 123 61.50 11401.56 - - 0
8.64/8.70 c (at root node) : - 2 123 61.50 -
8.64/8.70 c conflict analysis: 0.00 0 0 0.00 -
8.64/8.70 c B&B Tree :
8.64/8.70 c number of runs : 2
8.64/8.70 c nodes : 1 (0 internal, 1 leaves)
8.64/8.70 c feasible leaves : 0
8.64/8.70 c infeas. leaves : 0
8.64/8.70 c objective leaves : 0
8.64/8.70 c nodes (total) : 2 (0 internal, 2 leaves)
8.64/8.70 c nodes left : 0
8.64/8.70 c max depth : 0
8.64/8.70 c max depth (total): 0
8.64/8.70 c backtracks : 0 (0.0%)
8.64/8.70 c early backtracks : 0 (0.0%)
8.64/8.70 c nodes exc. ref. : 0 (0.0%)
8.64/8.70 c delayed cutoffs : 0
8.64/8.70 c repropagations : 0 (0 domain reductions, 0 cutoffs)
8.64/8.70 c avg switch length: 2.00
8.64/8.70 c switching time : 0.00
8.64/8.70 c Root Node :
8.64/8.70 c First LP value : +6.12012500000000e+02
8.64/8.70 c First LP Iters : 871 (64671.81 Iter/sec)
8.64/8.70 c First LP Time : 0.01
8.64/8.70 c Final Dual Bound : +2.00900000000000e+03
8.64/8.70 c Final Root Iters : 4684
8.64/8.70 c Root LP Estimate : -
8.64/8.70 c Solution :
8.64/8.70 c Solutions found : 4 (4 improvements)
8.64/8.70 c First Solution : +2.30620000000000e+04 (in run 1, after 1 nodes, 5.02 seconds, depth 0, found by <feasjump>)
8.64/8.70 c Gap First Sol. : infinite
8.64/8.70 c Gap Last Sol. : 5.13 %
8.64/8.70 c Primal Bound : +2.00900000000000e+03 (in run 1, after 1 nodes, 7.51 seconds, depth 0, found by <oneopt>)
8.64/8.70 c Dual Bound : +2.00900000000000e+03
8.64/8.70 c Gap : 0.00 %
8.64/8.70 c Integrals : Total Avg%
8.64/8.70 c primal-dual : 613.20 70.74
8.64/8.70 c primal-ref : - - (not evaluated)
8.64/8.70 c dual-ref : - - (not evaluated)
8.74/8.80 c Time complete: 8.75255.
OK 2009
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60338 MiB free)
memory of node 1: 64473 MiB (63268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425209-1720888964/watcher-4425209-1720888964 -o /tmp/evaluation-result-4425209-1720888964/solver-4425209-1720888964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703902 --watchdog 3760 pbscip -f HOME/instance-4425209-1720888964.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=707138, runsolver pid=707135
[startup+0.100827 s]*
/proc/loadavg: 4.51 4.37 4.25 5/244 707139
/proc/meminfo: memFree=126552016/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=74260 memory=33836 CPUtime=0.09 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 5508 0 0 0 8 1 0 0 20 0 1 0 141053542 76042240 8459 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 18565 8459 3238 3540 0 6822 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74260 KiB
Current children cumulated memory: 33836 KiB
[startup+0.221818 s]*
/proc/loadavg: 4.51 4.37 4.25 5/244 707139
/proc/meminfo: memFree=126534544/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=93576 memory=53004 CPUtime=0.2 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 10349 0 0 0 18 2 0 0 20 0 1 0 141053542 95821824 13251 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 23394 13251 3238 3540 0 11651 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93576 KiB
Current children cumulated memory: 53004 KiB
[startup+0.313009 s]*
/proc/loadavg: 4.51 4.37 4.25 5/244 707139
/proc/meminfo: memFree=126483276/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=148984 memory=107040 CPUtime=0.29 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 23754 0 0 0 25 4 0 0 20 0 1 0 141053542 152559616 26760 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 37246 26760 3590 3540 0 25503 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148984 KiB
Current children cumulated memory: 107040 KiB
[startup+0.700342 s]
/proc/loadavg: 4.51 4.37 4.25 5/244 707139
/proc/meminfo: memFree=126402972/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=234528 memory=189760 CPUtime=0.66 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 45492 0 0 0 58 8 0 0 20 0 1 0 141053542 240156672 47440 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 58632 47440 3606 3540 0 46889 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 234528 KiB
Current children cumulated memory: 189760 KiB
[startup+1.50029 s]
/proc/loadavg: 4.51 4.37 4.25 5/244 707140
/proc/meminfo: memFree=126396376/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=235224 memory=190568 CPUtime=1.47 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 46685 0 0 0 138 9 0 0 20 0 1 0 141053542 240869376 47642 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 58806 47642 3622 3540 0 47063 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 235224 KiB
Current children cumulated memory: 190568 KiB
[startup+3.11326 s]
/proc/loadavg: 4.55 4.38 4.25 5/244 707140
/proc/meminfo: memFree=126391116/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=235736 memory=191096 CPUtime=3.08 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 46818 0 0 0 299 9 0 0 20 0 1 0 141053542 241393664 47774 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 58934 47774 3622 3540 0 47191 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 235736 KiB
Current children cumulated memory: 191096 KiB
[startup+6.30026 s]
/proc/loadavg: 4.55 4.38 4.25 5/244 707140
/proc/meminfo: memFree=126343612/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=276300 memory=224552 CPUtime=6.25 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 54998 0 0 0 615 10 0 0 20 0 1 0 141053542 282931200 56138 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 69075 56138 3862 3540 0 57332 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 276300 KiB
Current children cumulated memory: 224552 KiB
[startup+8.8074 s]
# the end of solver process 707138 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=8.62002 s, system=0.141488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40031 s]
/proc/loadavg: 4.55 4.38 4.25 5/244 707140
/proc/meminfo: memFree=126343612/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=277848 memory=225608 CPUtime=6.35 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 55224 0 0 0 625 10 0 0 20 0 1 0 141053542 284516352 56402 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 69462 56402 3862 3540 0 57719 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 277848 KiB
Current children cumulated memory: 225608 KiB
[startup+8.00027 s]*
/proc/loadavg: 4.51 4.37 4.25 5/244 707186
/proc/meminfo: memFree=126551744/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=307472 memory=246640 CPUtime=7.95 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 60428 0 0 0 784 11 0 0 20 0 1 0 141053542 314851328 61660 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 76868 61660 3957 3540 0 65125 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 307472 KiB
Current children cumulated memory: 246640 KiB
[startup+8.40022 s]
/proc/loadavg: 4.51 4.37 4.25 5/244 707186
/proc/meminfo: memFree=126551744/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=307472 memory=247696 CPUtime=8.34 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 60678 0 0 0 823 11 0 0 20 0 1 0 141053542 314851328 61924 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 76868 61924 3957 3540 0 65125 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 307472 KiB
Current children cumulated memory: 247696 KiB
[startup+8.80025 s]
/proc/loadavg: 4.51 4.37 4.25 5/244 707186
/proc/meminfo: memFree=126551744/131655788 swapFree=131071996/131071996
[pid=707138] ppid=707135 vsize=202660 memory=141816 CPUtime=8.74 cores=1,3
/proc/707138/stat : 707138 (pbscip) R 707135 707138 703890 0 -1 4194304 62665 0 0 0 861 13 0 0 20 0 1 0 141053542 207523840 35454 134679101440 4194304 18693293 140721825283696 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 45527040 140721825289208 140721825289307 140721825289307 140721825296334 0
/proc/707138/statm: 50665 35454 3957 3540 0 38922 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 202660 KiB
Current children cumulated memory: 141816 KiB
Child status: 0
Real time (s): 8.80745
CPU time (s): 8.76151
CPU user time (s): 8.62002
CPU system time (s): 0.141488
CPU usage (%): 99.4784
Max. virtual memory (cumulated for all children) (KiB): 316668
Max. memory (cumulated for all children) (KiB): 255616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.62002
system time used= 0.141488
maximum resident set size= 255616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62671
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= 21
# summary of solver processes directly reported to runsolver:
# pid: 707138
# total CPU time (s): 8.76151
# total CPU user time (s): 8.62002
# total CPU system time (s): 0.141488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069826 second user time and 0.158798 second system time
The end
Begin job on nodeC011 at 2024-07-13 18:42:56 IDJOB=4425209 IDBENCH=143940 IDSOLVER=3038 FILE ID=nodeC011/4425209-1720888964 RUNJOBID= nodeC011-1720885247-703902 SLURM_JOB_ID= 7485791 Free space on /tmp= 723720 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog02bc_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425209-1720888964/watcher-4425209-1720888964 -o /tmp/evaluation-result-4425209-1720888964/solver-4425209-1720888964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703902 --watchdog 3760 pbscip -f HOME/instance-4425209-1720888964.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7de8a7695e2783312a6967cbbe52728 RANDOM SEED=141274247 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.600 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.608 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.312 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.123 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3653.256 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3650.979 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.405 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.429 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126573812 kB MemAvailable: 127771332 kB Buffers: 331616 kB Cached: 1698084 kB SwapCached: 0 kB Active: 510692 kB Inactive: 4032296 kB Active(anon): 1428 kB Inactive(anon): 2549564 kB Active(file): 509264 kB Inactive(file): 1482732 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19636 kB Writeback: 8 kB AnonPages: 2513312 kB Mapped: 136156 kB Shmem: 37704 kB KReclaimable: 91448 kB Slab: 185772 kB SReclaimable: 91448 kB SUnreclaim: 94324 kB KernelStack: 3936 kB PageTables: 14296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2876392 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 46048 kB HardwareCorrupted: 0 kB AnonHugePages: 303104 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 185160 kB DirectMap2M: 17545216 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723700 MiB End job on nodeC011 at 2024-07-13 18:43:05