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 | 10.8872 | 10.9425 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo |
| MD5SUM | b176be79b7d8c2eac54ed4a0d408a517 |
| 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 | 1934 |
| Best CPU time to get the best result obtained on this benchmark | 0.333611 |
| 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 | 58637 |
| Min constraint cost | 1 |
| Max constraint cost | 58637 |
| Sum of constraints costs | 1373628189 |
| 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.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-4456402-1721719616.wbo>
0.09/0.11 c original problem has 25130 variables (25130 bin, 0 int, 0 impl, 0 cont) and 48240 constraints
0.09/0.11 c problem read in 0.10
0.40/0.43 c presolving:
0.50/0.57 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.60/0.61 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.60/0.61 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.60/0.61 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.60/0.64 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.60/0.69 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.69/0.71 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
0.99/1.09 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.48/1.53 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.48/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.58/1.64 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, 26751 clqs
1.58/1.64 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, 26751 clqs
1.68/1.75 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, 26775 clqs
1.68/1.76 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, 26775 clqs
1.78/1.85 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, 26797 clqs
1.78/1.85 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, 26797 clqs
1.88/1.94 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, 26823 clqs
1.88/1.95 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, 26823 clqs
1.98/2.05 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, 26848 clqs
1.98/2.06 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, 26848 clqs
2.08/2.16 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, 26873 clqs
2.08/2.16 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, 26873 clqs
2.18/2.26 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, 26897 clqs
2.18/2.26 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, 26897 clqs
2.27/2.35 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, 26922 clqs
2.27/2.35 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, 26922 clqs
2.37/2.44 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, 26948 clqs
2.37/2.44 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, 26948 clqs
2.47/2.53 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.47/2.54 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.57/2.63 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, 26995 clqs
2.57/2.63 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, 26995 clqs
2.67/2.72 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, 27019 clqs
2.67/2.72 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, 27019 clqs
2.77/2.82 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, 27044 clqs
2.77/2.83 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, 27044 clqs
2.87/2.91 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, 27070 clqs
2.87/2.91 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, 27070 clqs
2.87/2.93 c (2.9s) probing: 1000/2149 (46.5%) - 0 fixings, 400 aggregations, 8944 implications, 0 bound changes
2.98/3.02 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, 27095 clqs
2.98/3.02 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, 27095 clqs
3.08/3.11 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, 27120 clqs
3.08/3.12 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, 27120 clqs
3.17/3.21 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, 27146 clqs
3.17/3.22 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, 27146 clqs
3.27/3.31 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
3.27/3.31 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
3.37/3.40 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
3.37/3.41 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.76/3.83 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, 29224 clqs
3.76/3.83 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, 29215 clqs
3.76/3.84 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, 28900 clqs
3.76/3.84 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, 28900 clqs
3.76/3.85 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, 28894 clqs
3.76/3.87 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, 28894 clqs
3.76/3.87 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, 28867 clqs
3.97/4.04 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, 30562 clqs
3.97/4.04 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, 30562 clqs
3.97/4.05 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, 29264 clqs
3.97/4.05 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, 28640 clqs
3.97/4.06 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, 28352 clqs
3.97/4.07 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, 28352 clqs
5.36/5.42 c (round 62, exhaustive) 47718 del vars, 32073 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 53299 clqs
5.36/5.43 c (round 63, fast) 47735 del vars, 32920 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 53270 clqs
5.46/5.50 c (round 64, fast) 47807 del vars, 34471 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 50511 clqs
5.46/5.50 c (round 65, fast) 47845 del vars, 34762 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 49727 clqs
5.46/5.50 c (round 66, medium) 47851 del vars, 34768 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 49203 clqs
5.46/5.50 c (round 67, fast) 47851 del vars, 34842 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18283 upgd conss, 544 impls, 49203 clqs
5.46/5.55 c (round 68, exhaustive) 47891 del vars, 34842 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 45860 clqs
5.46/5.55 c (round 69, fast) 47910 del vars, 35892 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 45854 clqs
5.46/5.56 c (round 70, fast) 47989 del vars, 37731 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 41530 clqs
5.46/5.57 c (round 71, fast) 48031 del vars, 37800 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 41012 clqs
5.46/5.57 c (round 72, medium) 48039 del vars, 37808 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 40076 clqs
5.46/5.58 c (round 73, fast) 48039 del vars, 37922 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18289 upgd conss, 544 impls, 40076 clqs
5.76/5.81 c (5.8s) probing: 2000/2149 (93.1%) - 102 fixings, 544 aggregations, 47302 implications, 0 bound changes
5.86/5.93 c (round 74, exhaustive) 48079 del vars, 37922 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 42599 clqs
5.86/5.93 c (round 75, fast) 48099 del vars, 39340 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 42505 clqs
5.86/5.94 c (round 76, fast) 48162 del vars, 40311 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 38575 clqs
5.86/5.94 c (round 77, fast) 48187 del vars, 40316 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 38575 clqs
5.86/5.95 c (round 78, medium) 48188 del vars, 40317 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18297 upgd conss, 544 impls, 38453 clqs
5.96/6.05 c (6.1s) probing cycle finished: starting next cycle
5.96/6.08 c (6.1s) probing: 53/934 (5.7%) - 118 fixings, 544 aggregations, 53674 implications, 0 bound changes
5.96/6.08 c (6.1s) probing aborted: 50/50 successive totally useless probings
5.96/6.08 c (round 79, exhaustive) 48198 del vars, 40318 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18298 upgd conss, 544 impls, 39533 clqs
5.96/6.09 c (round 80, fast) 48199 del vars, 40732 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18298 upgd conss, 544 impls, 39532 clqs
5.96/6.09 c (round 81, fast) 48204 del vars, 40732 del conss, 0 add conss, 47394 chg bounds, 0 chg sides, 0 chg coeffs, 18298 upgd conss, 544 impls, 39532 clqs
5.96/6.10 c (6.1s) probing: 59/934 (6.3%) - 118 fixings, 544 aggregations, 53674 implications, 0 bound changes
5.96/6.10 c (6.1s) probing aborted: 50/50 successive totally useless probings
6.06/6.11 c (6.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.06/6.12 c (6.1s) no symmetry present (symcode time: 0.00)
6.06/6.12 c presolving (82 rounds: 82 fast, 37 medium, 31 exhaustive):
6.06/6.12 c 48204 deleted vars, 40732 deleted constraints, 0 added constraints, 47394 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.06/6.12 c 544 implications, 39532 cliques
6.06/6.12 c presolved problem has 928 variables (928 bin, 0 int, 0 impl, 0 cont) and 7508 constraints
6.06/6.12 c 7220 constraints of type <setppc>
6.06/6.12 c 288 constraints of type <linear>
6.06/6.12 c transformed objective value is always integral (scale: 1)
6.06/6.12 c Presolving Time: 5.93
6.06/6.12 c - non default parameters ----------------------------------------------------------------------
6.06/6.12 c # SCIP version 10.0.0
6.06/6.12 c
6.06/6.12 c # maximal time in seconds to run
6.06/6.12 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.06/6.12 c limits/time = 3596.997066
6.06/6.12 c
6.06/6.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.06/6.12 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.06/6.12 c limits/memory = 27900
6.06/6.12 c
6.06/6.12 c # belongs reading time to solving time?
6.06/6.12 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.06/6.12 c timing/reading = TRUE
6.06/6.12 c
6.06/6.12 c -----------------------------------------------------------------------------------------------
6.06/6.12 c start solving
6.06/6.12 c
6.06/6.18 o 23571
6.06/6.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.06/6.18 c L 6.2s| 1 | 0 | 0 | - |feasjump| 0 | 928 |7535 |7508 | 0 | 0 | 26 | 0 | 0.000000e+00 | 2.357100e+04 | Inf | unknown
6.06/6.18 o 2340
6.06/6.18 c i 6.2s| 1 | 0 | 0 | - | oneopt| 0 | 928 |7535 |7508 | 0 | 0 | 26 | 0 | 0.000000e+00 | 2.340000e+03 | Inf | unknown
6.06/6.20 c 6.2s| 1 | 0 | 835 | - | 190M | 0 | 928 |7534 |7508 | 0 | 0 | 26 | 0 | 5.266615e+02 | 2.340000e+03 | 344.31%| unknown
6.35/6.43 c 6.4s| 1 | 0 | 966 | - | 192M | 0 | 928 |7535 |7558 | 50 | 1 | 27 | 0 | 8.282778e+02 | 2.340000e+03 | 182.51%| unknown
6.55/6.67 c 6.7s| 1 | 0 | 1150 | - | 193M | 0 | 928 |7537 |7581 | 73 | 2 | 29 | 0 | 8.908889e+02 | 2.340000e+03 | 162.66%| unknown
6.85/6.92 c 6.9s| 1 | 0 | 1397 | - | 196M | 0 | 928 |7540 |7601 | 93 | 3 | 32 | 0 | 1.148467e+03 | 2.340000e+03 | 103.75%| unknown
6.96/7.09 c 7.1s| 1 | 0 | 1588 | - | 201M | 0 | 928 |7542 |7619 | 111 | 4 | 34 | 0 | 1.234200e+03 | 2.340000e+03 | 89.60%| unknown
7.45/7.60 c 7.6s| 1 | 0 | 1649 | - | 205M | 0 | 928 |7550 |7627 | 119 | 5 | 42 | 0 | 1.267731e+03 | 2.340000e+03 | 84.58%| unknown
7.75/7.89 c 7.9s| 1 | 0 | 1712 | - | 211M | 0 | 928 |7551 |7631 | 123 | 6 | 43 | 0 | 1.277835e+03 | 2.340000e+03 | 83.12%| unknown
8.05/8.16 c 8.2s| 1 | 0 | 1860 | - | 217M | 0 | 928 |7552 |7634 | 126 | 7 | 44 | 0 | 1.312152e+03 | 2.340000e+03 | 78.33%| unknown
8.25/8.34 c 8.3s| 1 | 0 | 1974 | - | 221M | 0 | 928 |7553 |7639 | 131 | 8 | 45 | 0 | 1.355591e+03 | 2.340000e+03 | 72.62%| unknown
8.45/8.59 c 8.6s| 1 | 0 | 2032 | - | 227M | 0 | 928 |7555 |7646 | 138 | 9 | 47 | 0 | 1.372216e+03 | 2.340000e+03 | 70.53%| unknown
8.74/8.89 c 8.9s| 1 | 0 | 2284 | - | 234M | 0 | 928 |7558 |7652 | 144 | 10 | 50 | 0 | 1.412945e+03 | 2.340000e+03 | 65.61%| unknown
8.84/8.92 c 8.9s| 1 | 0 | 2358 | - | 235M | 0 | 928 |7562 |7663 | 155 | 11 | 54 | 0 | 1.435868e+03 | 2.340000e+03 | 62.97%| unknown
8.84/8.94 c 8.9s| 1 | 0 | 2397 | - | 235M | 0 | 928 |7565 |7674 | 166 | 12 | 57 | 0 | 1.442387e+03 | 2.340000e+03 | 62.23%| unknown
8.84/8.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.84/8.98 c 9.0s| 1 | 0 | 2487 | - | 236M | 0 | 928 |7566 |7681 | 173 | 13 | 58 | 0 | 1.484433e+03 | 2.340000e+03 | 57.64%| unknown
8.95/9.01 c 9.0s| 1 | 0 | 2561 | - | 237M | 0 | 928 |7576 |7690 | 182 | 14 | 68 | 0 | 1.559678e+03 | 2.340000e+03 | 50.03%| unknown
8.95/9.04 c 9.0s| 1 | 0 | 2621 | - | 238M | 0 | 928 |7579 |7697 | 189 | 15 | 71 | 0 | 1.578000e+03 | 2.340000e+03 | 48.29%| unknown
8.95/9.07 c 9.1s| 1 | 0 | 2665 | - | 239M | 0 | 928 |7580 |7626 | 193 | 16 | 72 | 0 | 1.592100e+03 | 2.340000e+03 | 46.98%| unknown
8.95/9.10 c 9.1s| 1 | 0 | 2682 | - | 239M | 0 | 928 |7587 |7631 | 198 | 17 | 79 | 0 | 1.593329e+03 | 2.340000e+03 | 46.86%| unknown
9.05/9.12 c 9.1s| 1 | 0 | 2745 | - | 239M | 0 | 928 |7589 |7634 | 201 | 18 | 81 | 0 | 1.606311e+03 | 2.340000e+03 | 45.68%| unknown
9.05/9.16 c 9.2s| 1 | 0 | 2812 | - | 239M | 0 | 928 |7591 |7640 | 207 | 19 | 83 | 0 | 1.613885e+03 | 2.340000e+03 | 44.99%| unknown
9.05/9.18 c 9.2s| 1 | 0 | 2838 | - | 240M | 0 | 928 |7592 |7653 | 220 | 20 | 84 | 0 | 1.616684e+03 | 2.340000e+03 | 44.74%| unknown
9.15/9.21 c 9.2s| 1 | 0 | 2878 | - | 240M | 0 | 928 |7593 |7660 | 227 | 21 | 85 | 0 | 1.621391e+03 | 2.340000e+03 | 44.32%| unknown
9.15/9.24 c 9.2s| 1 | 0 | 2931 | - | 240M | 0 | 928 |7594 |7629 | 232 | 22 | 86 | 0 | 1.624136e+03 | 2.340000e+03 | 44.08%| unknown
9.15/9.26 c 9.3s| 1 | 0 | 2982 | - | 240M | 0 | 928 |7601 |7637 | 240 | 23 | 93 | 0 | 1.634080e+03 | 2.340000e+03 | 43.20%| unknown
9.15/9.29 c 9.3s| 1 | 0 | 3008 | - | 240M | 0 | 928 |7602 |7641 | 244 | 24 | 94 | 0 | 1.635409e+03 | 2.340000e+03 | 43.08%| unknown
9.24/9.31 c 9.3s| 1 | 0 | 3042 | - | 240M | 0 | 928 |7604 |7646 | 249 | 25 | 96 | 0 | 1.640729e+03 | 2.340000e+03 | 42.62%| unknown
9.24/9.34 c 9.3s| 1 | 0 | 3095 | - | 240M | 0 | 928 |7605 |7651 | 254 | 26 | 97 | 0 | 1.642854e+03 | 2.340000e+03 | 42.44%| unknown
9.24/9.36 c 9.4s| 1 | 0 | 3128 | - | 241M | 0 | 928 |7606 |7656 | 259 | 27 | 98 | 0 | 1.644112e+03 | 2.340000e+03 | 42.33%| unknown
9.24/9.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.24/9.39 c 9.4s| 1 | 0 | 3142 | - | 241M | 0 | 928 |7608 |7627 | 264 | 28 | 100 | 0 | 1.644638e+03 | 2.340000e+03 | 42.28%| unknown
9.34/9.41 c 9.4s| 1 | 0 | 3150 | - | 241M | 0 | 928 |7609 |7630 | 267 | 29 | 101 | 0 | 1.650925e+03 | 2.340000e+03 | 41.74%| unknown
9.34/9.43 c 9.4s| 1 | 0 | 3156 | - | 241M | 0 | 928 |7610 |7632 | 269 | 30 | 102 | 0 | 1.655024e+03 | 2.340000e+03 | 41.39%| unknown
9.34/9.45 c 9.4s| 1 | 0 | 3227 | - | 241M | 0 | 928 |7613 |7637 | 274 | 31 | 105 | 0 | 1.669788e+03 | 2.340000e+03 | 40.14%| unknown
9.34/9.46 c 9.5s| 1 | 0 | 3227 | - | 241M | 0 | 928 |7621 |7552 | 274 | 31 | 113 | 0 | 1.669788e+03 | 2.340000e+03 | 40.14%| unknown
9.34/9.48 c 9.5s| 1 | 0 | 3255 | - | 241M | 0 | 928 |7539 |7555 | 277 | 32 | 113 | 0 | 1.677778e+03 | 2.340000e+03 | 39.47%| unknown
9.44/9.50 c 9.5s| 1 | 0 | 3331 | - | 241M | 0 | 928 |7543 |7557 | 279 | 33 | 117 | 0 | 1.696118e+03 | 2.340000e+03 | 37.96%| unknown
9.44/9.51 c 9.5s| 1 | 0 | 3331 | - | 241M | 0 | 928 |7546 |7542 | 279 | 33 | 120 | 0 | 1.696118e+03 | 2.340000e+03 | 37.96%| unknown
9.44/9.53 c 9.5s| 1 | 0 | 3335 | - | 241M | 0 | 928 |7532 |7521 | 282 | 34 | 120 | 0 | 1.696143e+03 | 2.340000e+03 | 37.96%| unknown
9.44/9.56 c 9.6s| 1 | 0 | 3423 | - | 241M | 0 | 928 |7536 |7524 | 285 | 35 | 124 | 0 | 1.710250e+03 | 2.340000e+03 | 36.82%| unknown
9.44/9.58 c 9.6s| 1 | 0 | 3457 | - | 241M | 0 | 928 |7538 |7528 | 289 | 36 | 126 | 0 | 1.710450e+03 | 2.340000e+03 | 36.81%| unknown
9.54/9.60 c 9.6s| 1 | 0 | 3484 | - | 241M | 0 | 928 |7539 |7531 | 292 | 37 | 127 | 0 | 1.710625e+03 | 2.340000e+03 | 36.79%| unknown
9.54/9.61 c 9.6s| 1 | 0 | 3491 | - | 241M | 0 | 928 |7540 |7538 | 299 | 38 | 128 | 0 | 1.710667e+03 | 2.340000e+03 | 36.79%| unknown
9.54/9.63 c 9.6s| 1 | 0 | 3503 | - | 241M | 0 | 928 |7542 |7539 | 300 | 39 | 130 | 0 | 1.710833e+03 | 2.340000e+03 | 36.78%| unknown
9.54/9.65 c 9.7s| 1 | 0 | 3504 | - | 241M | 0 | 928 |7543 |7528 | 301 | 40 | 131 | 0 | 1.711000e+03 | 2.340000e+03 | 36.76%| unknown
9.54/9.66 o 2305
9.54/9.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.54/9.66 c r 9.7s| 1 | 0 | 3504 | - |rounding| 0 | 928 |7546 |7528 | 301 | 40 | 134 | 0 | 1.711000e+03 | 2.305000e+03 | 34.72%| unknown
9.54/9.66 o 2179
9.54/9.66 c r 9.7s| 1 | 0 | 3504 | - |shifting| 0 | 928 |7546 |7528 | 301 | 40 | 134 | 0 | 1.711000e+03 | 2.179000e+03 | 27.35%| unknown
9.54/9.67 c 9.7s| 1 | 0 | 3504 | - | 241M | 0 | 928 |7392 |7528 | 301 | 41 | 134 | 0 | 1.711000e+03 | 2.179000e+03 | 27.35%| unknown
9.54/9.68 o 1934
9.54/9.68 c i 9.7s| 1 | 0 | 3504 | - | oneopt| 0 | 928 |7392 |7528 | 301 | 41 | 134 | 0 | 1.711000e+03 | 1.934000e+03 | 13.03%| unknown
9.95/10.02 c 10.0s| 1 | 0 | 4992 | - | 242M | 0 | 928 |7422 |7528 | 301 | 42 | 166 | 7 | 1.748250e+03 | 1.934000e+03 | 10.62%| unknown
9.95/10.02 c (run 1, node 1) restarting after 95 global fixings of integer variables
9.95/10.02 c
9.95/10.02 c (restart) converted 110 cuts from the global cut pool into linear constraints
9.95/10.02 c
9.95/10.10 c presolving:
10.05/10.12 c (round 1, fast) 168 del vars, 2873 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 121 chg coeffs, 0 upgd conss, 544 impls, 18381 clqs
10.05/10.13 c (round 2, fast) 272 del vars, 3876 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 17258 clqs
10.05/10.13 c (round 3, fast) 299 del vars, 3914 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 17160 clqs
10.05/10.13 c (round 4, fast) 304 del vars, 3922 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 17139 clqs
10.05/10.13 c (round 5, fast) 305 del vars, 3922 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 17139 clqs
10.05/10.14 c (round 6, medium) 323 del vars, 3936 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 15625 clqs
10.05/10.14 c (round 7, fast) 324 del vars, 4090 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 15580 clqs
10.05/10.14 c (round 8, fast) 326 del vars, 4090 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 15580 clqs
10.05/10.15 c (round 9, exhaustive) 326 del vars, 4096 del conss, 0 add conss, 13 chg bounds, 2 chg sides, 130 chg coeffs, 0 upgd conss, 544 impls, 15580 clqs
10.05/10.16 c (round 10, exhaustive) 326 del vars, 4096 del conss, 0 add conss, 13 chg bounds, 2 chg sides, 130 chg coeffs, 86 upgd conss, 544 impls, 15580 clqs
10.05/10.16 c (round 11, fast) 335 del vars, 4109 del conss, 0 add conss, 13 chg bounds, 2 chg sides, 130 chg coeffs, 86 upgd conss, 544 impls, 15570 clqs
10.05/10.16 c (round 12, medium) 335 del vars, 4112 del conss, 2 add conss, 13 chg bounds, 4 chg sides, 134 chg coeffs, 86 upgd conss, 544 impls, 15570 clqs
10.05/10.17 c (round 13, exhaustive) 335 del vars, 4119 del conss, 2 add conss, 13 chg bounds, 4 chg sides, 136 chg coeffs, 86 upgd conss, 544 impls, 15570 clqs
10.14/10.20 c (round 14, exhaustive) 335 del vars, 4241 del conss, 2 add conss, 13 chg bounds, 4 chg sides, 137 chg coeffs, 86 upgd conss, 544 impls, 15570 clqs
10.14/10.22 c presolving (15 rounds: 15 fast, 7 medium, 5 exhaustive):
10.14/10.22 c 368 deleted vars, 4289 deleted constraints, 2 added constraints, 13 tightened bounds, 0 added holes, 4 changed sides, 152 changed coefficients
10.14/10.22 c 544 implications, 15499 cliques
10.14/10.22 c presolved problem has 586 variables (586 bin, 0 int, 0 impl, 0 cont) and 3245 constraints
10.14/10.22 c 4 constraints of type <knapsack>
10.14/10.22 c 3008 constraints of type <setppc>
10.14/10.22 c 179 constraints of type <linear>
10.14/10.22 c 54 constraints of type <logicor>
10.14/10.22 c transformed objective value is always integral (scale: 1)
10.14/10.22 c Presolving Time: 6.09
10.14/10.22 c
10.14/10.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.14/10.25 c 10.2s| 1 | 0 | 5717 | - | 240M | 0 | 586 |3245 |3177 | 0 | 0 | 166 | 7 | 1.748250e+03 | 1.934000e+03 | 10.62%| unknown
10.14/10.25 c 10.3s| 1 | 0 | 5717 | - | 240M | 0 | 586 |3245 |2551 | 0 | 0 | 166 | 7 | 1.748250e+03 | 1.934000e+03 | 10.62%| unknown
10.24/10.33 c 10.3s| 1 | 0 | 5736 | - | 240M | 0 | 586 |2647 |1855 | 6 | 1 | 166 | 7 | 1.748500e+03 | 1.934000e+03 | 10.61%| unknown
10.24/10.33 c 10.3s| 1 | 0 | 5736 | - | 240M | 0 | 586 |2650 |1826 | 6 | 1 | 169 | 7 | 1.748500e+03 | 1.934000e+03 | 10.61%| unknown
10.24/10.37 c 10.4s| 1 | 0 | 5792 | - | 240M | 0 | 586 |1924 |1776 | 10 | 2 | 169 | 7 | 1.782417e+03 | 1.934000e+03 | 8.50%| unknown
10.24/10.38 c 10.4s| 1 | 0 | 5792 | - | 240M | 0 | 586 |1928 |1765 | 10 | 2 | 173 | 7 | 1.782417e+03 | 1.934000e+03 | 8.50%| unknown
10.34/10.47 c 10.5s| 1 | 0 | 5813 | - | 241M | 0 | 586 |1863 |1756 | 17 | 3 | 173 | 7 | 1.783000e+03 | 1.934000e+03 | 8.47%| unknown
10.44/10.57 c 10.6s| 1 | 0 | 5840 | - | 241M | 0 | 586 |1848 |1763 | 24 | 4 | 174 | 7 | 1.783000e+03 | 1.934000e+03 | 8.47%| unknown
10.54/10.63 c 10.6s| 1 | 0 | 5943 | - | 241M | 0 | 586 |1849 |1767 | 28 | 5 | 175 | 7 | 1.805179e+03 | 1.934000e+03 | 7.14%| unknown
10.54/10.64 c 10.6s| 1 | 0 | 6045 | - | 241M | 0 | 586 |1851 |1734 | 28 | 5 | 177 | 7 | 1.845500e+03 | 1.934000e+03 | 4.80%| unknown
10.54/10.64 c 10.6s| 1 | 0 | 6097 | - | 241M | 0 | 586 |1853 |1477 | 28 | 5 | 181 | 7 | 1.867000e+03 | 1.934000e+03 | 3.59%| unknown
10.54/10.64 c 10.6s| 1 | 0 | 6097 | - | 241M | 0 | 586 |1854 |1260 | 28 | 5 | 183 | 7 | 1.867000e+03 | 1.934000e+03 | 3.59%| unknown
10.64/10.70 c 10.7s| 1 | 0 | 6116 | - | 241M | 0 | 586 |1373 | 876 | 32 | 6 | 183 | 7 | 1.908000e+03 | 1.934000e+03 | 1.36%| unknown
10.64/10.70 c 10.7s| 1 | 0 | 6116 | - | 241M | 0 | 586 |1374 | 872 | 32 | 6 | 184 | 7 | 1.908000e+03 | 1.934000e+03 | 1.36%| unknown
10.64/10.72 c 10.7s| 1 | 0 | 6135 | - | 241M | 0 | 586 | 988 | 857 | 37 | 7 | 184 | 7 | 1.908125e+03 | 1.934000e+03 | 1.36%| unknown
10.64/10.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.64/10.74 c 10.7s| 1 | 0 | 6158 | - | 242M | 0 | 586 | 970 | 860 | 40 | 8 | 185 | 7 | 1.909000e+03 | 1.934000e+03 | 1.31%| unknown
10.64/10.75 c 10.8s| 1 | 0 | 6200 | - | 242M | 0 | 586 | 971 | 865 | 45 | 9 | 186 | 7 | 1.932950e+03 | 1.934000e+03 | 0.05%| unknown
10.64/10.76 c 10.8s| 1 | 0 | 6200 | - | 242M | 0 | 586 | 974 | 740 | 45 | 9 | 189 | 7 | 1.932950e+03 | 1.934000e+03 | 0.05%| unknown
10.74/10.80 c 10.8s| 1 | 0 | 6201 | - | 242M | 0 | 586 | 853 | 696 | 49 | 10 | 189 | 7 | 1.934000e+03 | 1.934000e+03 | 0.00%| unknown
10.74/10.80 c 10.8s| 1 | 0 | 6201 | - | 242M | 0 | 586 | 853 | 696 | 49 | 10 | 189 | 7 | 1.934000e+03 | 1.934000e+03 | 0.00%| unknown
10.74/10.80 c
10.74/10.80 c SCIP Status : problem is solved [optimal solution found]
10.74/10.80 c Solving Time (sec) : 10.80
10.74/10.80 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
10.74/10.80 c Primal Bound : +1.93400000000000e+03 (6 solutions)
10.74/10.80 c Dual Bound : +1.93400000000000e+03
10.74/10.80 c Gap : 0.00 %
10.74/10.83 s OPTIMUM FOUND
10.74/10.83 v -x1161 x1160 -x1159 x1158 x1157 -x1156 -x1155 x1154 x1153 -x1152 x1151 -x1150 x1149 -x1148 x1147 -x1146 x1145 -x1144 -x1143 x1142
10.74/10.83 v -x1141 x1140 x1139 -x1138 -x1137 x1136 -x1135 x1134 -x1133 x1132 -x1131 x1130 x1129 -x1128 -x1127 x1126 -x1125 x1124 -x1123
10.74/10.83 v -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 x1112 -x1111 -x1110 -x1109 x1108 x1107 -x1106 x1105 -x1104
10.74/10.83 v x1103 -x1102 -x1101 x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 x1090 -x1089 x1088 -x1087 -x1086 -x1085
10.74/10.83 v x1084 -x1083 -x1082 x1081 -x1080 -x1079 x1078 -x1077 -x1076 x1075 -x1074 -x1073 x1072 x1071 -x1070 -x1069 x1068 -x1067
10.74/10.83 v x1066 -x1065 -x1064 -x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 x1056 -x1055 x1054 -x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047
10.74/10.83 v x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 -x1029
10.74/10.83 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 x1021 -x1020 -x1019 x1018 x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 x1010
10.74/10.83 v x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 x997 -x996 -x995 -x994 x993 -x992 -x991 x990
10.74/10.83 v -x989 -x988 -x987 x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 x974 -x973 -x972 -x971 -x970 x969
10.74/10.83 v -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 x958 -x957 -x956 -x955 x954 -x953 -x952 x951 -x950 x949 -x948 x947
10.74/10.83 v -x946 x945 -x944 x943 -x942 -x941 x940 x939 -x938 -x937 x936 -x935 x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 x924
10.74/10.83 v -x923 x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 x906 -x905 -x904 -x903
10.74/10.83 v -x902 -x901 -x900 -x899 x898 -x897 x896 -x895 -x894 -x893 x892 -x891 x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 x881
10.74/10.83 v -x880 x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 x862 -x861 -x860 -x859
10.74/10.83 v -x858 x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 x838 -x837
10.74/10.83 v -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816
10.74/10.83 v x815 -x814 -x813 -x812 x811 -x810 -x809 x808 -x807 -x806 x805 -x804 -x803 x802 -x801 -x800 x799 -x798 -x797 -x796 x795 -x794
10.74/10.83 v x793 -x792 x791 -x790 -x789 -x788 -x787 x786 -x785 x784 -x783 x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 x772
10.74/10.83 v -x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 x756 -x755 -x754 -x753 -x752 -x751 x750
10.74/10.83 v -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728
10.74/10.83 v -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 x711 -x710 x709 -x708 -x707
10.74/10.83 v -x706 x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 x687 -x686 -x685
10.74/10.83 v -x684 x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663
10.74/10.83 v x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 x643 -x642
10.74/10.83 v -x641 -x640 x639 -x638 -x637 x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628 x627 -x626 -x625 -x624 x623 -x622 x621 -x620
10.74/10.83 v -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 x605 -x604 -x603 x602 x601 -x600 -x599 -x598
10.74/10.83 v -x597 x596 x595 -x594 -x593 x592 -x591 x590 -x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576
10.74/10.83 v -x575 x574 -x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 x554
10.74/10.83 v -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532
10.74/10.83 v -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 x514 -x513 -x512 -x511
10.74/10.83 v x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 x491 -x490 -x489
10.74/10.83 v -x488 -x487 x486 -x485 -x484 -x483 x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468
10.74/10.83 v -x467 x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446
10.74/10.83 v -x445 -x444 -x443 x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425
10.74/10.83 v -x424 x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 x403
10.74/10.83 v -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 x381
10.74/10.83 v -x380 -x379 -x378 x377 -x376 -x375 -x374 x373 -x372 -x371 x370 -x369 x368 -x367 x366 -x365 x364 -x363 x362 -x361 x360 x359
10.74/10.83 v -x358 -x357 x356 -x355 x354 x353 -x352 -x351 x350 -x349 x348 -x347 x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337
10.74/10.83 v -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316
10.74/10.83 v -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 x294
10.74/10.83 v -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 x275 -x274 -x273 -x272
10.74/10.83 v -x271 x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251
10.74/10.83 v -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 x232 -x231 -x230 -x229
10.74/10.83 v -x228 -x227 x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208
10.74/10.83 v -x207 x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 x186
10.74/10.83 v -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165
10.74/10.83 v -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143
10.74/10.83 v -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 x125 -x124 -x123 -x122
10.74/10.83 v -x121 x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
10.74/10.83 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
10.74/10.83 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
10.74/10.83 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
10.74/10.83 v -x21 x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 x4 x3 -x2 -x1
10.74/10.83 c SCIP Status : problem is solved [optimal solution found]
10.74/10.83 c Total Time : 10.80
10.74/10.83 c solving : 10.80
10.74/10.83 c presolving : 6.09 (included in solving)
10.74/10.83 c reading : 0.10 (included in solving)
10.74/10.83 c copying : 0.03 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
10.74/10.83 c Original Problem :
10.74/10.83 c Problem name : HOME/instance-4456402-1721719616.wbo
10.74/10.83 c Variables : 25130 (25130 binary, 0 integer, 0 implicit integer, 0 continuous)
10.74/10.83 c Constraints : 48240 initial, 48240 maximal
10.74/10.84 c Objective : minimize, 23969 non-zeros (abs.min = 1, abs.max = 58637)
10.74/10.84 c Presolved Problem :
10.74/10.84 c Problem name : t_HOME/instance-4456402-1721719616.wbo
10.74/10.84 c Variables : 586 (586 binary, 0 integer, 0 implicit integer, 0 continuous)
10.74/10.84 c Constraints : 3245 initial, 3245 maximal
10.74/10.84 c Objective : minimize, 192 non-zeros (abs.min = 1, abs.max = 296)
10.74/10.84 c Nonzeros : 7393 constraint, 3863 clique table
10.74/10.84 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
10.74/10.84 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c domcol : 0.03 0.00 29 0 0 0 0 0 0 0 0 0
10.74/10.84 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
10.74/10.84 c gateextraction : 0.01 0.00 5 0 0 0 0 0 1 0 0 0
10.74/10.84 c implics : 0.00 0.00 44 0 0 0 0 0 0 0 0 0
10.74/10.84 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.74/10.84 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c trivial : 0.01 0.00 97 154 0 0 0 0 0 0 0 0
10.74/10.84 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c dualfix : 0.01 0.00 97 323 0 0 0 0 0 0 0 0
10.74/10.84 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c probing : 4.70 0.00 28 118 544 0 0 0 0 0 0 0
10.74/10.84 c pseudoobj : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
10.74/10.84 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
10.74/10.84 c vbounds : 0.02 0.00 7 0 7 0 0 0 0 0 0 0
10.74/10.84 c knapsack : 0.01 0.00 27 0 0 0 0 0 1 2 2 8
10.74/10.84 c setppc : 0.65 0.00 167 256 125 0 1 0 15135 0 0 0
10.74/10.84 c linear : 0.21 0.00 131 23438 90 0 23981 0 5799 0 2 0
10.74/10.84 c logicor : 0.00 0.00 23 0 0 0 0 0 69 0 0 144
10.74/10.84 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c indicator : 0.04 0.00 28 23425 0 0 23425 0 23969 0 0 0
10.74/10.84 c components : 0.01 0.00 2 33 0 0 0 0 47 0 0 0
10.74/10.84 c root node : - - - 442 - - 442 - - - - -
10.74/10.84 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
10.74/10.84 c benderslp : 0 0 0 0 1 0 0 23 0 0 0 0 0 0 0
10.74/10.84 c integral : 0 0 0 0 1 0 0 23 0 0 5 0 0 2 0
10.74/10.84 c knapsack : 4 4 10 116 0 0 0 0 1 0 0 0 0 0 0
10.74/10.84 c setppc : 3008 3008 52 10022 0 0 0 16 1611 175 0 12 5 0 0
10.74/10.84 c linear : 179 179 52 9847 0 0 0 9 34 0 0 0 0 0 0
10.74/10.84 c logicor : 54+ 65 52 532 0 0 0 0 56 7 0 40 10 0 0
10.74/10.84 c benders : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
10.74/10.84 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
10.74/10.84 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
10.74/10.84 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
10.74/10.84 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c integral : 0.08 0.00 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c setppc : 1.35 0.00 0.02 1.32 0.00 0.00 0.00 0.01 0.00 0.00
10.74/10.84 c linear : 0.08 0.00 0.04 0.03 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
10.74/10.84 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c Propagators : #Propagate #ResProp Cutoffs DomReds
10.74/10.84 c dualfix : 6 0 0 11
10.74/10.84 c genvbounds : 0 0 0 0
10.74/10.84 c nlobbt : 0 0 0 0
10.74/10.84 c obbt : 0 0 0 0
10.74/10.84 c probing : 0 0 0 0
10.74/10.84 c pseudoobj : 80 0 0 0
10.74/10.84 c redcost : 63 0 0 173
10.74/10.84 c rootredcost : 0 0 0 0
10.74/10.84 c symmetry : 0 0 0 0
10.74/10.84 c vbounds : 1156 0 0 0
10.74/10.84 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
10.74/10.84 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
10.74/10.84 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c probing : 4.70 0.00 4.70 0.00 0.00 0.00
10.74/10.84 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
10.74/10.84 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.74/10.84 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
10.74/10.84 c vbounds : 0.03 0.00 0.02 0.00 0.00 0.00
10.74/10.84 c Symmetry :
10.74/10.84 c orbitopal red. : 0 reductions applied, 0 cutoffs
10.74/10.84 c orbital reduction: 0 reductions applied, 0 cutoffs
10.74/10.84 c lexicographic red: 0 reductions applied, 0 cutoffs
10.74/10.84 c shadow tree time : 0.00 s
10.74/10.84 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
10.74/10.84 c propagation : 0.00 179 73 - 173 6.5 3 2.3 - - -
10.74/10.84 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 1 55.0 0
10.74/10.84 c bound exceed. LP : 0.01 13 9 - 30 11.8 0 0.0 0 0.0 48
10.74/10.84 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
10.74/10.84 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
10.74/10.84 c applied globally : 0.01 - - 0 188 5.0 - - 1 - -
10.74/10.84 c applied locally : - - - 0 0 0.0 - - 0 - -
10.74/10.84 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
10.74/10.84 c cut pool : 0.06 - 100 100 - - 4148 5758 - - - - - (maximal pool size: 2850)
10.74/10.84 c aggregation : 0.14 0.00 52 52 0 0 2 3 0 0 0 0 0
10.74/10.84 c > cmir : - - - - - - - 3 0 0 0 0 -
10.74/10.84 c > flowcover : - - - - - - - 0 0 0 0 0 -
10.74/10.84 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
10.74/10.84 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c clique : 0.16 0.00 52 52 0 0 328 496 0 143 143 0 0
10.74/10.84 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c gomory : 2.76 0.00 20 20 0 0 3224 4542 0 30 30 0 0
10.74/10.84 c > gomorymi : - - - - - - - 2254 0 11 11 0 -
10.74/10.84 c > strongcg : - - - - - - - 2288 0 19 19 0 -
10.74/10.84 c impliedbounds : 0.12 0.00 52 52 0 145 545 634 0 138 138 0 0
10.74/10.84 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
10.74/10.84 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c multilinear : 0.00 0.00 52 52 0 0 0 0 0 0 0 0 0
10.74/10.84 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
10.74/10.84 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
10.74/10.84 c zerohalf : 0.06 0.00 30 30 0 0 49 83 0 24 24 0 0
10.74/10.84 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
10.74/10.84 c hybrid : 0.01 0.00 50 50 350 0 5460 350 0 5460
10.74/10.84 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c Pricers : ExecTime SetupTime Calls Vars
10.74/10.84 c problem variables: 0.00 - 0 0
10.74/10.84 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
10.74/10.84 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c random : 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c relpscost : 0.08 0.00 1 0 0 0 5 0 2 0
10.74/10.84 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
10.74/10.84 c Primal Heuristics : ExecTime SetupTime Calls Found Best
10.74/10.84 c LP solutions : 0.00 - - 0 0
10.74/10.84 c relax solutions : 0.00 - - 0 0
10.74/10.84 c pseudo solutions : 0.00 - - 0 0
10.74/10.84 c strong branching : 0.00 - - 0 0
10.74/10.84 c actconsdiving : 0.00 0.00 0 0 0
10.74/10.84 c adaptivediving : 0.00 0.00 0 0 0
10.74/10.84 c alns : 0.03 0.00 1 0 0
10.74/10.84 c bound : 0.00 0.00 0 0 0
10.74/10.84 c clique : 0.02 0.00 1 0 0
10.74/10.84 c coefdiving : 0.00 0.00 0 0 0
10.74/10.84 c completesol : 0.00 0.00 0 0 0
10.74/10.84 c conflictdiving : 0.06 0.00 1 0 0
10.74/10.84 c crossover : 0.00 0.00 0 0 0
10.74/10.84 c dins : 0.00 0.00 0 0 0
10.74/10.84 c distributiondivin: 0.00 0.00 0 0 0
10.74/10.84 c dps : 0.00 0.00 0 0 0
10.74/10.84 c dualval : 0.00 0.00 0 0 0
10.74/10.84 c farkasdiving : 0.07 0.00 1 0 0
10.74/10.84 c feasjump : 0.01 0.00 1 1 1
10.74/10.84 c feaspump : 0.06 0.00 1 1 0
10.74/10.84 c fixandinfer : 0.00 0.00 0 0 0
10.74/10.84 c fracdiving : 0.00 0.00 0 0 0
10.74/10.84 c gins : 0.00 0.00 0 0 0
10.74/10.84 c guideddiving : 0.00 0.00 0 0 0
10.74/10.84 c indcoefdiving : 0.00 0.00 0 0 0
10.74/10.84 c indicator : 0.00 0.00 0 0 0
10.74/10.84 c indicatordiving : 0.00 0.00 0 0 0
10.74/10.84 c indoneopt : 0.00 0.00 0 0 0
10.74/10.84 c indrounding : 0.00 0.00 0 0 0
10.74/10.84 c indtwoopt : 0.00 0.00 0 0 0
10.74/10.84 c intdiving : 0.00 0.00 0 0 0
10.74/10.84 c intshifting : 0.00 0.00 0 0 0
10.74/10.84 c linesearchdiving : 0.00 0.00 0 0 0
10.74/10.84 c localbranching : 0.00 0.00 0 0 0
10.74/10.84 c locks : 0.00 0.00 1 0 0
10.74/10.84 c lpface : 0.00 0.00 0 0 0
10.74/10.84 c mpec : 0.00 0.00 0 0 0
10.74/10.84 c multistart : 0.00 0.00 0 0 0
10.74/10.84 c mutation : 0.00 0.00 0 0 0
10.74/10.84 c nlpdiving : 0.00 0.00 0 0 0
10.74/10.84 c objpscostdiving : 0.00 0.00 0 0 0
10.74/10.84 c octane : 0.00 0.00 0 0 0
10.74/10.84 c ofins : 0.00 0.00 0 0 0
10.74/10.84 c oneopt : 0.01 0.00 2 2 2
10.74/10.84 c padm : 0.00 0.00 0 0 0
10.74/10.84 c proximity : 0.00 0.00 0 0 0
10.74/10.84 c pscostdiving : 0.00 0.00 0 0 0
10.74/10.84 c randrounding : 0.15 0.00 53 0 0
10.74/10.84 c rens : 0.03 0.00 1 0 0
10.74/10.84 c reoptsols : 0.00 0.00 0 0 0
10.74/10.84 c repair : 0.00 0.00 0 0 0
10.74/10.84 c rins : 0.00 0.00 0 0 0
10.74/10.84 c rootsoldiving : 0.00 0.00 0 0 0
10.74/10.84 c rounding : 0.02 0.00 52 1 1
10.74/10.84 c scheduler : 0.00 0.00 0 0 0
10.74/10.84 c shiftandpropagate: 0.00 0.00 1 0 0
10.74/10.84 c shifting : 0.04 0.00 52 1 1
10.74/10.84 c simplerounding : 0.00 0.00 53 0 0
10.74/10.84 c smallcard : 0.00 0.00 0 0 0
10.74/10.84 c subnlp : 0.00 0.00 0 0 0
10.74/10.84 c trivial : 0.02 0.00 4 0 0
10.74/10.84 c trivialnegation : 0.00 0.00 0 0 0
10.74/10.84 c trustregion : 0.00 0.00 0 0 0
10.74/10.84 c trysol : 0.00 0.00 0 0 0
10.74/10.84 c twoopt : 0.00 0.00 0 0 0
10.74/10.84 c undercover : 0.00 0.00 0 0 0
10.74/10.84 c vbounds : 0.01 0.00 2 0 0
10.74/10.84 c veclendiving : 0.00 0.00 0 0 0
10.74/10.84 c zeroobj : 0.00 0.00 0 0 0
10.74/10.84 c zirounding : 0.00 0.00 1 0 0
10.74/10.84 c other solutions : - - - 0 -
10.74/10.84 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
10.74/10.84 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
10.74/10.84 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
10.74/10.84 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
10.74/10.84 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
10.74/10.84 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
10.74/10.84 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
10.74/10.84 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
10.74/10.84 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
10.74/10.84 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
10.74/10.84 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
10.74/10.84 c primal LP : 0.00 5 0 0.00 - 0.00 5
10.74/10.84 c dual LP : 0.31 69 4492 86.38 14507.83 0.01 17
10.74/10.84 c lex dual LP : 0.00 0 0 0.00 -
10.74/10.84 c barrier LP : 0.00 0 0 0.00 - 0.00 0
10.74/10.84 c resolve instable : 0.00 0 0 0.00 -
10.74/10.84 c diving/probing LP: 0.15 35 1709 48.83 11493.63
10.74/10.84 c strong branching : 0.05 7 607 86.71 13288.96 - - 0
10.74/10.84 c (at root node) : - 7 607 86.71 -
10.74/10.84 c conflict analysis: 0.01 5 48 9.60 -
10.74/10.84 c B&B Tree :
10.74/10.84 c number of runs : 2
10.74/10.84 c nodes : 1 (0 internal, 1 leaves)
10.74/10.84 c feasible leaves : 0
10.74/10.84 c infeas. leaves : 0
10.74/10.84 c objective leaves : 0
10.74/10.84 c nodes (total) : 2 (0 internal, 2 leaves)
10.74/10.84 c nodes left : 0
10.74/10.84 c max depth : 0
10.74/10.84 c max depth (total): 0
10.74/10.84 c backtracks : 0 (0.0%)
10.74/10.84 c early backtracks : 0 (0.0%)
10.74/10.84 c nodes exc. ref. : 0 (0.0%)
10.74/10.84 c delayed cutoffs : 0
10.74/10.84 c repropagations : 0 (0 domain reductions, 0 cutoffs)
10.74/10.84 c avg switch length: 2.00
10.74/10.84 c switching time : 0.00
10.74/10.84 c Root Node :
10.74/10.84 c First LP value : +5.26661538461538e+02
10.74/10.84 c First LP Iters : 835 (70132.71 Iter/sec)
10.74/10.84 c First LP Time : 0.01
10.74/10.84 c Final Dual Bound : +1.93400000000000e+03
10.74/10.84 c Final Root Iters : 4713
10.74/10.84 c Root LP Estimate : -
10.74/10.84 c Solution :
10.74/10.84 c Solutions found : 6 (5 improvements)
10.74/10.84 c First Solution : +2.35710000000000e+04 (in run 1, after 1 nodes, 6.17 seconds, depth 0, found by <feasjump>)
10.74/10.84 c Gap First Sol. : infinite
10.74/10.84 c Gap Last Sol. : 13.03 %
10.74/10.84 c Primal Bound : +1.93400000000000e+03 (in run 1, after 1 nodes, 9.67 seconds, depth 0, found by <oneopt>)
10.74/10.84 c Dual Bound : +1.93400000000000e+03
10.74/10.84 c Gap : 0.00 %
10.74/10.84 c Integrals : Total Avg%
10.74/10.84 c primal-dual : 791.66 73.30
10.74/10.84 c primal-ref : - - (not evaluated)
10.74/10.84 c dual-ref : - - (not evaluated)
10.84/10.93 c Time complete: 10.8784.
OK 1934
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 (51334 MiB free)
memory of node 1: 64510 MiB (51676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456402-1721719616/watcher-4456402-1721719616 -o /tmp/evaluation-result-4456402-1721719616/solver-4456402-1721719616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88162 --watchdog 3760 pbscip -f HOME/instance-4456402-1721719616.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=89750, runsolver pid=89747
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.26 4.12 3.47 5/257 89751
/proc/meminfo: memFree=105442944/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=94504 memory=53844 CPUtime=0.09 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 10621 0 0 0 8 1 0 0 20 0 1 0 8490880 96772096 13461 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 23626 13461 3210 3540 0 11883 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 94504 KiB
Current children cumulated memory: 53844 KiB
[startup+0.205767 s]*
/proc/loadavg: 4.26 4.12 3.47 5/257 89751
/proc/meminfo: memFree=105386300/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=154152 memory=112528 CPUtime=0.2 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 25189 0 0 0 16 4 0 0 20 0 1 0 8490880 157851648 28132 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 38538 28132 3561 3540 0 26795 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 154152 KiB
Current children cumulated memory: 112528 KiB
[startup+0.305726 s]*
/proc/loadavg: 4.26 4.12 3.47 5/257 89751
/proc/meminfo: memFree=105349536/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=189540 memory=148428 CPUtime=0.3 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 34143 0 0 0 25 5 0 0 20 0 1 0 8490880 194088960 37107 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 47385 37107 3561 3540 0 35642 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 189540 KiB
Current children cumulated memory: 148428 KiB
[startup+0.700232 s]
/proc/loadavg: 4.26 4.12 3.47 5/257 89751
/proc/meminfo: memFree=105302692/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=236208 memory=191592 CPUtime=0.69 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 46734 0 0 0 62 7 0 0 20 0 1 0 8490880 241876992 47898 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 59052 47898 3577 3540 0 47309 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 236208 KiB
Current children cumulated memory: 191592 KiB
[startup+1.50024 s]
/proc/loadavg: 4.26 4.12 3.47 5/257 89751
/proc/meminfo: memFree=105303364/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=237468 memory=192704 CPUtime=1.48 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 47038 0 0 0 141 7 0 0 20 0 1 0 8490880 243167232 48176 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 59367 48176 3593 3540 0 47624 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 237468 KiB
Current children cumulated memory: 192704 KiB
[startup+3.10588 s]
/proc/loadavg: 4.26 4.12 3.47 5/257 89751
/proc/meminfo: memFree=105302308/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=237980 memory=193232 CPUtime=3.08 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 47171 0 0 0 301 7 0 0 20 0 1 0 8490880 243691520 48308 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 59495 48308 3593 3540 0 47752 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 237980 KiB
Current children cumulated memory: 193232 KiB
[startup+6.30021 s]
/proc/loadavg: 4.24 4.12 3.48 5/257 89751
/proc/meminfo: memFree=105298308/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=253660 memory=207432 CPUtime=6.25 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 51018 0 0 0 617 8 0 0 20 0 1 0 8490880 259747840 51858 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 63415 51858 3849 3540 0 51672 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 253660 KiB
Current children cumulated memory: 207432 KiB
[startup+10.9425 s]
# the end of solver process 89750 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=10.7548 s, system=0.132425 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40024 s]
/proc/loadavg: 4.24 4.12 3.48 5/257 89751
/proc/meminfo: memFree=105298308/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=255276 memory=209016 CPUtime=6.35 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 51376 0 0 0 627 8 0 0 20 0 1 0 8490880 261402624 52254 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 63819 52254 3849 3540 0 52076 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 255276 KiB
Current children cumulated memory: 209016 KiB
[startup+8.0002 s]*
/proc/loadavg: 4.24 4.12 3.48 5/257 89752
/proc/meminfo: memFree=105269764/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=277644 memory=226700 CPUtime=7.95 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 55789 0 0 0 786 9 0 0 20 0 1 0 8490880 284307456 56675 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 69411 56675 3849 3540 0 57668 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 277644 KiB
Current children cumulated memory: 226700 KiB
[startup+9.6002 s]
/proc/loadavg: 4.22 4.12 3.48 5/257 89752
/proc/meminfo: memFree=105253004/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=305460 memory=244124 CPUtime=9.54 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 60197 0 0 0 943 11 0 0 20 0 1 0 8490880 312791040 61031 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 76365 61031 3849 3540 0 64622 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 305460 KiB
Current children cumulated memory: 244124 KiB
[startup+10.4002 s]
/proc/loadavg: 4.22 4.12 3.48 5/257 89752
/proc/meminfo: memFree=105237884/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=319408 memory=259320 CPUtime=10.34 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 63829 0 0 0 1022 12 0 0 20 0 1 0 8490880 327073792 64830 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 79852 64830 3975 3540 0 68109 0
Current children cumulated CPU time: 10.34 s
Current children cumulated vsize: 319408 KiB
Current children cumulated memory: 259320 KiB
[startup+10.8002 s]
/proc/loadavg: 4.22 4.12 3.48 5/257 89752
/proc/meminfo: memFree=105237884/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=319408 memory=259320 CPUtime=10.74 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 63832 0 0 0 1062 12 0 0 20 0 1 0 8490880 327073792 64830 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 79852 64830 3975 3540 0 68109 0
Current children cumulated CPU time: 10.74 s
Current children cumulated vsize: 319408 KiB
Current children cumulated memory: 259320 KiB
[startup+10.9002 s]
/proc/loadavg: 4.22 4.12 3.48 5/257 89752
/proc/meminfo: memFree=105237884/131524600 swapFree=131071996/131071996
[pid=89750] ppid=89747 vsize=261108 memory=201084 CPUtime=10.84 cores=0,2
/proc/89750/stat : 89750 (pbscip) R 89747 89750 88152 0 -1 4194304 63844 0 0 0 1072 12 0 0 20 0 1 0 8490880 267374592 50271 134679101440 4194304 18693293 140732746928480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 51986432 140732746933251 140732746933350 140732746933350 140732746940366 0
/proc/89750/statm: 65277 50271 3975 3540 0 53534 0
Current children cumulated CPU time: 10.84 s
Current children cumulated vsize: 261108 KiB
Current children cumulated memory: 201084 KiB
Child status: 0
Real time (s): 10.9425
CPU time (s): 10.8872
CPU user time (s): 10.7548
CPU system time (s): 0.132425
CPU usage (%): 99.4945
Max. virtual memory (cumulated for all children) (KiB): 319408
Max. memory (cumulated for all children) (KiB): 259320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7548
system time used= 0.132425
maximum resident set size= 259320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63850
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= 7
involuntary context switches= 83
# summary of solver processes directly reported to runsolver:
# pid: 89750
# total CPU time (s): 10.8872
# total CPU user time (s): 10.7548
# total CPU system time (s): 0.132425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025862 second user time and 0.098267 second system time
The end
Begin job on nodeC023 at 2024-07-23 09:26:56 IDJOB=4456402 IDBENCH=143959 IDSOLVER=3038 FILE ID=nodeC023/4456402-1721719616 RUNJOBID= nodeC023-1721718429-88162 SLURM_JOB_ID= 7770414 Free space on /tmp= 890020 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog02ac_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456402-1721719616/watcher-4456402-1721719616 -o /tmp/evaluation-result-4456402-1721719616/solver-4456402-1721719616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88162 --watchdog 3760 pbscip -f HOME/instance-4456402-1721719616.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b176be79b7d8c2eac54ed4a0d408a517 RANDOM SEED=725314405 nodeC023.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 : 3656.217 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 : 6999.85 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 : 3682.467 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.10 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 : 3661.996 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 : 6999.85 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.243 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.10 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 : 3659.787 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 : 6999.85 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 : 3682.522 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.10 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 : 3606.605 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 : 6999.85 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.073 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.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 105482956 kB MemAvailable: 126629756 kB Buffers: 144456 kB Cached: 21737756 kB SwapCached: 0 kB Active: 947976 kB Inactive: 24342544 kB Active(anon): 1536 kB Inactive(anon): 3444488 kB Active(file): 946440 kB Inactive(file): 20898056 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19808 kB Writeback: 0 kB AnonPages: 3407520 kB Mapped: 133104 kB Shmem: 37720 kB KReclaimable: 283900 kB Slab: 391964 kB SReclaimable: 283900 kB SUnreclaim: 108064 kB KernelStack: 4128 kB PageTables: 16220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4021064 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20224 kB HardwareCorrupted: 0 kB AnonHugePages: 962560 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: 32000000 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890004 MiB End job on nodeC023 at 2024-07-23 09:27:07