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 | 6.66203 | 6.68851 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo |
| MD5SUM | 4eec87b7dd232824d79f008d996386c7 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.208897 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1328 |
| Total number of constraints | 3349 |
| Number of soft constraints | 1145 |
| Number of constraints which are clauses | 3165 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 184 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 58120 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 58119 |
| Biggest number in a constraint | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-4425139-1720879823.wbo>
0.00/0.01 c original problem has 2473 variables (2473 bin, 0 int, 0 impl, 0 cont) and 4495 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 5 del vars, 10 del conss, 0 add conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 1145 impls, 1426 clqs
0.00/0.04 c (round 2, medium) 58 del vars, 12 del conss, 0 add conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 1145 impls, 1322 clqs
0.00/0.04 c (round 3, fast) 60 del vars, 117 del conss, 0 add conss, 0 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 1145 impls, 1322 clqs
0.00/0.04 c (round 4, fast) 60 del vars, 117 del conss, 0 add conss, 1144 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 1145 impls, 1322 clqs
0.00/0.05 c (round 5, exhaustive) 60 del vars, 119 del conss, 0 add conss, 1144 chg bounds, 92 chg sides, 184 chg coeffs, 2088 upgd conss, 1145 impls, 1322 clqs
0.00/0.05 c (round 6, exhaustive) 60 del vars, 900 del conss, 260 add conss, 1144 chg bounds, 92 chg sides, 184 chg coeffs, 2088 upgd conss, 1145 impls, 1322 clqs
0.00/0.06 c (round 7, exhaustive) 65 del vars, 902 del conss, 262 add conss, 1144 chg bounds, 92 chg sides, 184 chg coeffs, 2088 upgd conss, 1145 impls, 1310 clqs
0.00/0.06 c (round 8, fast) 69 del vars, 908 del conss, 262 add conss, 1144 chg bounds, 92 chg sides, 186 chg coeffs, 2088 upgd conss, 1145 impls, 1309 clqs
0.09/0.20 c (round 9, exhaustive) 96 del vars, 910 del conss, 263 add conss, 1144 chg bounds, 92 chg sides, 189 chg coeffs, 2088 upgd conss, 1145 impls, 5896 clqs
0.09/0.20 c (round 10, fast) 96 del vars, 920 del conss, 263 add conss, 1144 chg bounds, 92 chg sides, 189 chg coeffs, 2090 upgd conss, 1145 impls, 5899 clqs
0.09/0.20 c (round 11, fast) 100 del vars, 939 del conss, 263 add conss, 1144 chg bounds, 92 chg sides, 189 chg coeffs, 2090 upgd conss, 1145 impls, 5899 clqs
0.09/0.20 c (round 12, exhaustive) 100 del vars, 942 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 189 chg coeffs, 2090 upgd conss, 1145 impls, 5899 clqs
0.20/0.21 c (round 13, exhaustive) 100 del vars, 942 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 189 chg coeffs, 2107 upgd conss, 1145 impls, 5900 clqs
0.20/0.23 c (round 14, exhaustive) 125 del vars, 942 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2107 upgd conss, 1145 impls, 6152 clqs
0.20/0.24 c (round 15, medium) 127 del vars, 946 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2107 upgd conss, 1145 impls, 6117 clqs
0.20/0.24 c (round 16, fast) 127 del vars, 970 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2107 upgd conss, 1145 impls, 6117 clqs
0.20/0.24 c (round 17, exhaustive) 127 del vars, 970 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.20/0.26 c (round 18, exhaustive) 152 del vars, 970 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.20/0.28 c (round 19, exhaustive) 177 del vars, 970 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6121 clqs
0.20/0.28 c (round 20, fast) 177 del vars, 995 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6121 clqs
0.20/0.29 c (round 21, exhaustive) 202 del vars, 995 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6121 clqs
0.20/0.29 c (round 22, fast) 202 del vars, 1020 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6121 clqs
0.30/0.31 c (round 23, exhaustive) 227 del vars, 1020 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6120 clqs
0.30/0.31 c (round 24, fast) 227 del vars, 1045 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6120 clqs
0.30/0.33 c (round 25, exhaustive) 252 del vars, 1045 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6120 clqs
0.30/0.33 c (round 26, fast) 252 del vars, 1070 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6120 clqs
0.30/0.34 c (round 27, exhaustive) 277 del vars, 1070 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6120 clqs
0.30/0.34 c (round 28, fast) 277 del vars, 1095 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6120 clqs
0.30/0.36 c (round 29, exhaustive) 302 del vars, 1095 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6119 clqs
0.30/0.36 c (round 30, fast) 302 del vars, 1120 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6119 clqs
0.30/0.38 c (round 31, exhaustive) 327 del vars, 1120 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6119 clqs
0.30/0.38 c (round 32, fast) 327 del vars, 1145 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6119 clqs
0.30/0.39 c (round 33, exhaustive) 352 del vars, 1145 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6119 clqs
0.30/0.39 c (round 34, fast) 352 del vars, 1170 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6119 clqs
0.40/0.41 c (round 35, exhaustive) 377 del vars, 1170 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.41 c (round 36, fast) 377 del vars, 1195 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.42 c (0.4s) probing: 1000/3490 (28.7%) - 5 fixings, 317 aggregations, 4989 implications, 0 bound changes
0.40/0.43 c (round 37, exhaustive) 402 del vars, 1195 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.43 c (round 38, fast) 402 del vars, 1220 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.44 c (round 39, exhaustive) 427 del vars, 1220 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.44 c (round 40, fast) 427 del vars, 1245 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.46 c (round 41, exhaustive) 452 del vars, 1245 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.46 c (round 42, fast) 452 del vars, 1270 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.47 c (round 43, exhaustive) 477 del vars, 1270 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.47 c (round 44, fast) 477 del vars, 1295 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.49 c (round 45, exhaustive) 502 del vars, 1295 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.49 c (round 46, fast) 502 del vars, 1320 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.40/0.50 c (round 47, exhaustive) 527 del vars, 1320 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.51 c (round 48, fast) 527 del vars, 1345 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.52 c (round 49, exhaustive) 552 del vars, 1345 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.52 c (round 50, fast) 552 del vars, 1370 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.53 c (round 51, exhaustive) 577 del vars, 1370 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.54 c (round 52, fast) 577 del vars, 1395 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.55 c (round 53, exhaustive) 602 del vars, 1395 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.55 c (round 54, fast) 602 del vars, 1420 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.57 c (round 55, exhaustive) 627 del vars, 1420 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.57 c (round 56, fast) 627 del vars, 1445 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.58 c (round 57, exhaustive) 652 del vars, 1445 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.58 c (round 58, fast) 652 del vars, 1470 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.60 c (round 59, exhaustive) 677 del vars, 1470 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.49/0.60 c (round 60, fast) 677 del vars, 1495 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.61 c (round 61, exhaustive) 702 del vars, 1495 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.61 c (round 62, fast) 702 del vars, 1520 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.63 c (round 63, exhaustive) 727 del vars, 1520 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.63 c (round 64, fast) 727 del vars, 1545 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.64 c (round 65, exhaustive) 752 del vars, 1545 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.64 c (round 66, fast) 752 del vars, 1570 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.66 c (round 67, exhaustive) 777 del vars, 1570 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.66 c (round 68, fast) 777 del vars, 1595 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.67 c (round 69, exhaustive) 802 del vars, 1595 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.67 c (round 70, fast) 802 del vars, 1620 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.69 c (round 71, exhaustive) 827 del vars, 1620 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.59/0.69 c (round 72, fast) 827 del vars, 1645 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.68/0.70 c (round 73, exhaustive) 852 del vars, 1645 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6118 clqs
0.68/0.70 c (round 74, fast) 852 del vars, 1670 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6118 clqs
0.68/0.71 c (round 75, exhaustive) 877 del vars, 1670 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.68/0.72 c (round 76, fast) 877 del vars, 1695 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6117 clqs
0.68/0.73 c (round 77, exhaustive) 902 del vars, 1695 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.73 c (round 78, fast) 902 del vars, 1720 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.73 c (0.7s) probing: 2000/3490 (57.3%) - 5 fixings, 821 aggregations, 4991 implications, 0 bound changes
0.68/0.74 c (round 79, exhaustive) 927 del vars, 1720 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.74 c (round 80, fast) 927 del vars, 1745 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.76 c (round 81, exhaustive) 952 del vars, 1745 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.76 c (round 82, fast) 952 del vars, 1770 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.77 c (round 83, exhaustive) 977 del vars, 1770 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.77 c (round 84, fast) 977 del vars, 1795 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.79 c (round 85, exhaustive) 1002 del vars, 1795 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.68/0.79 c (round 86, fast) 1002 del vars, 1820 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6116 clqs
0.78/0.80 c (round 87, exhaustive) 1027 del vars, 1820 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.80 c (round 88, fast) 1027 del vars, 1845 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.82 c (round 89, exhaustive) 1052 del vars, 1845 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.82 c (round 90, fast) 1052 del vars, 1870 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.83 c (round 91, exhaustive) 1077 del vars, 1870 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.83 c (round 92, fast) 1077 del vars, 1895 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.84 c (round 93, exhaustive) 1102 del vars, 1895 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.84 c (round 94, fast) 1102 del vars, 1920 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.86 c (round 95, exhaustive) 1127 del vars, 1920 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.86 c (round 96, fast) 1127 del vars, 1945 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.87 c (round 97, exhaustive) 1152 del vars, 1945 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.78/0.87 c (round 98, fast) 1152 del vars, 1970 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 6114 clqs
0.88/1.00 c (1.0s) probing: 3000/3490 (86.0%) - 5 fixings, 1086 aggregations, 7257 implications, 0 bound changes
1.09/1.13 c (1.1s) probing cycle finished: starting next cycle
1.09/1.14 c (1.1s) probing: 24/2393 (1.0%) - 5 fixings, 1086 aggregations, 7976 implications, 0 bound changes
1.09/1.14 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.09/1.14 c (round 99, exhaustive) 1168 del vars, 1970 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 9087 clqs
1.09/1.14 c (round 100, fast) 1168 del vars, 1995 del conss, 266 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 9087 clqs
1.09/1.14 c (round 101, exhaustive) 1168 del vars, 2005 del conss, 276 add conss, 1144 chg bounds, 92 chg sides, 196 chg coeffs, 2131 upgd conss, 1145 impls, 9087 clqs
1.09/1.14 c (1.1s) probing: 29/2393 (1.2%) - 5 fixings, 1086 aggregations, 7976 implications, 0 bound changes
1.09/1.14 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.09/1.14 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.15 c (1.1s) no symmetry present (symcode time: 0.00)
1.09/1.15 c presolving (102 rounds: 102 fast, 54 medium, 52 exhaustive):
1.09/1.15 c 1168 deleted vars, 2005 deleted constraints, 276 added constraints, 1144 tightened bounds, 0 added holes, 92 changed sides, 200 changed coefficients
1.09/1.15 c 1145 implications, 9097 cliques
1.09/1.15 c presolved problem has 2452 variables (2393 bin, 0 int, 59 impl, 0 cont) and 2764 constraints
1.09/1.15 c 123 constraints of type <knapsack>
1.09/1.15 c 809 constraints of type <setppc>
1.09/1.15 c 237 constraints of type <and>
1.09/1.15 c 1100 constraints of type <linear>
1.09/1.15 c 420 constraints of type <logicor>
1.09/1.15 c 75 constraints of type <indicator>
1.09/1.15 c transformed objective value is always integral (scale: 1)
1.09/1.15 c Presolving Time: 1.13
1.09/1.15 c - non default parameters ----------------------------------------------------------------------
1.09/1.15 c # SCIP version 10.0.0
1.09/1.15 c
1.09/1.15 c # maximal time in seconds to run
1.09/1.15 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.15 c limits/time = 3596.998053
1.09/1.15 c
1.09/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.15 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.15 c limits/memory = 27900
1.09/1.15 c
1.09/1.15 c # belongs reading time to solving time?
1.09/1.15 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.15 c timing/reading = TRUE
1.09/1.15 c
1.09/1.15 c -----------------------------------------------------------------------------------------------
1.09/1.15 c start solving
1.09/1.15 c
1.19/1.21 o 57953
1.19/1.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.19/1.21 c p 1.2s| 1 | 0 | 0 | - |shiftand| 0 |2452 |2789 |2985 | 0 | 0 | 25 | 0 | 0.000000e+00 | 5.795300e+04 | Inf | unknown
1.19/1.22 o 4078
1.19/1.22 c i 1.2s| 1 | 0 | 0 | - | oneopt| 0 |2452 |2789 |2985 | 0 | 0 | 25 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.19/1.24 c 1.2s| 1 | 0 | 457 | - | 36M | 0 |2452 |2789 |2985 | 0 | 0 | 25 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.28/1.32 c 1.3s| 1 | 0 | 700 | - | 39M | 0 |2452 |2789 |3050 | 65 | 1 | 25 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.38/1.41 c 1.4s| 1 | 0 | 851 | - | 41M | 0 |2452 |2790 |3101 | 116 | 2 | 26 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.48/1.51 c 1.5s| 1 | 0 | 951 | - | 44M | 0 |2452 |2791 |3137 | 152 | 3 | 27 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.59/1.61 c 1.6s| 1 | 0 | 1091 | - | 47M | 0 |2452 |2792 |3164 | 179 | 4 | 28 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.68/1.73 c 1.7s| 1 | 0 | 1161 | - | 52M | 0 |2452 |2793 |3196 | 211 | 5 | 29 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.79/1.86 c 1.9s| 1 | 0 | 1268 | - | 57M | 0 |2452 |2794 |3215 | 230 | 6 | 30 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
1.99/2.03 c 2.0s| 1 | 0 | 1387 | - | 61M | 0 |2452 |2796 |3236 | 251 | 7 | 32 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
2.09/2.17 c 2.2s| 1 | 0 | 1473 | - | 68M | 0 |2452 |2797 |3264 | 279 | 8 | 33 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
2.28/2.38 c 2.4s| 1 | 0 | 1576 | - | 75M | 0 |2452 |2798 |3291 | 306 | 9 | 34 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
2.48/2.54 c 2.5s| 1 | 0 | 1649 | - | 80M | 0 |2452 |2799 |3312 | 327 | 10 | 35 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
2.48/2.58 c 2.6s| 1 | 0 | 1709 | - | 80M | 0 |2452 |2800 |3306 | 347 | 11 | 36 | 0 | 0.000000e+00 | 4.078000e+03 | Inf | unknown
2.88/2.95 o 290
2.88/2.95 c d 3.0s| 1 | 0 | 4800 | - |farkasdi| 0 |2452 |2801 |3306 | 0 | 11 | 37 | 0 | 0.000000e+00 | 2.900000e+02 | Inf | unknown
3.17/3.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.17/3.30 c 3.3s| 1 | 0 | 7455 | - | 81M | 0 |2452 |2802 |3306 | 347 | 11 | 38 | 0 | 0.000000e+00 | 2.900000e+02 | Inf | unknown
3.28/3.34 c 3.3s| 1 | 0 | 7576 | - | 81M | 0 |2452 |2803 |3320 | 361 | 12 | 39 | 0 | 0.000000e+00 | 2.900000e+02 | Inf | unknown
3.28/3.35 c 3.3s| 1 | 0 | 7616 | - | 81M | 0 |2452 |2804 |3328 | 369 | 13 | 40 | 0 | 0.000000e+00 | 2.900000e+02 | Inf | unknown
3.88/3.92 c 3.9s| 1 | 2 | 7664 | - | 81M | 0 |2452 |2806 |3328 | 369 | 13 | 42 | 23 | 0.000000e+00 | 2.900000e+02 | Inf | unknown
4.48/4.55 o 6
4.48/4.55 c * 4.6s| 11 | 2 | 8765 | 689.5 |strongbr| 10 |2452 |2806 |3214 | 403 | 2 | 42 | 138 | 0.000000e+00 | 6.000000e+00 | Inf | 9.13%
4.98/5.01 o 5
4.98/5.01 c r 5.0s| 22 | 1 | 9344 | 355.9 |ziroundi| 12 |2452 |2726 |3218 | 417 | 1 | 44 | 240 | 0.000000e+00 | 5.000000e+00 | Inf | 44.72%
6.17/6.24 o 3
6.17/6.24 c r 6.2s| 32 | 3 | 10766 | 287.0 |shifting| 12 |2452 |2398 |3230 | 451 | 1 | 65 | 440 | 0.000000e+00 | 3.000000e+00 | Inf | 46.98%
6.46/6.60 o 2
6.46/6.60 c * 6.6s| 40 | 2 | 11265 | 240.9 | LP | 12 |2452 |2371 |3238 | 462 | 3 | 84 | 517 | 0.000000e+00 | 2.000000e+00 | Inf | 57.48%
6.56/6.62 c
6.56/6.62 c SCIP Status : problem is solved [optimal solution found]
6.56/6.62 c Solving Time (sec) : 6.62
6.56/6.62 c Solving Nodes : 42
6.56/6.62 c Primal Bound : +2.00000000000000e+00 (9 solutions)
6.56/6.62 c Dual Bound : +2.00000000000000e+00
6.56/6.62 c Gap : 0.00 %
6.56/6.63 s OPTIMUM FOUND
6.56/6.63 v -x1328 x1327 x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 x1319 x1318 x1317 -x1316 -x1315 -x1314 x1313 x1312 x1311 x1310 -x1309
6.56/6.63 v -x1308 x1307 x1306 -x1305 -x1304 x1303 -x1302 x1301 -x1300 -x1299 -x1298 -x1297 x1296 -x1295 -x1294 -x1293 x1292 -x1291 x1290
6.56/6.63 v x1289 x1288 x1287 -x1286 x1285 x1284 x1283 x1282 -x1281 x1280 x1279 x1278 -x1277 x1276 -x1275 x1274 -x1273 -x1272 x1271 x1270
6.56/6.63 v -x1269 -x1268 x1267 x1266 -x1265 x1264 x1263 x1262 -x1261 x1260 -x1259 -x1258 x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251
6.56/6.63 v -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239 -x1238 x1237 -x1236 x1235 -x1234 -x1233
6.56/6.63 v -x1232 x1231 x1230 x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 x1221 -x1220 x1219 x1218 x1217 -x1216 -x1215 x1214
6.56/6.63 v -x1213 x1212 x1211 x1210 x1209 -x1208 x1207 x1206 x1205 x1204 x1203 -x1202 -x1201 x1200 x1199 -x1198 -x1197 x1196 -x1195 -x1194
6.56/6.63 v -x1193 -x1192 -x1191 -x1190 -x1189 x1188 x1187 x1186 x1185 x1184 x1183 -x1182 -x1181 x1180 x1179 -x1178 x1177 -x1176 -x1175
6.56/6.63 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
6.56/6.63 v -x1156 -x1155 -x1154 -x1153 -x1152 x1151 x1150 x1149 x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138
6.56/6.63 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 x1125 x1124 x1123 x1122 x1121 x1120 -x1119
6.56/6.63 v x1118 -x1117 -x1116 x1115 x1114 x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101
6.56/6.63 v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
6.56/6.63 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 x1066 x1065
6.56/6.63 v x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046
6.56/6.63 v -x1045 -x1044 -x1043 -x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 -x1034 x1033 x1032 x1031 x1030 -x1029 -x1028 -x1027
6.56/6.63 v -x1026 x1025 -x1024 x1023 -x1022 x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
6.56/6.63 v -x1007 -x1006 -x1005 x1004 x1003 x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988
6.56/6.63 v -x987 -x986 x985 x984 x983 x982 x981 x980 x979 x978 x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966
6.56/6.63 v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945
6.56/6.63 v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924
6.56/6.63 v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903
6.56/6.63 v -x902 x901 x900 x899 x898 x897 x896 x895 x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 x881
6.56/6.63 v x880 x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 x871 -x870 x869 -x868 x867 -x866 x865 -x864 x863 -x862 -x861 -x860 -x859
6.56/6.63 v -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838
6.56/6.63 v -x837 x836 -x835 -x834 -x833 -x832 -x831 x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 x817 -x816
6.56/6.63 v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 x805 x804 x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795
6.56/6.63 v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 x784 x783 x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773
6.56/6.63 v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 x757 -x756 x755 -x754 -x753 -x752
6.56/6.63 v -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 x732 x731
6.56/6.63 v x730 x729 x728 x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709
6.56/6.63 v -x708 -x707 x706 x705 x704 x703 x702 -x701 x700 -x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 -x689 x688 -x687 -x686 -x685
6.56/6.63 v -x684 -x683 -x682 x681 x680 x679 x678 -x677 x676 -x675 x674 -x673 -x672 x671 x670 x669 x668 -x667 -x666 -x665 -x664 -x663
6.56/6.63 v x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 x647 -x646 -x645 x644 x643 x642 -x641
6.56/6.63 v x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 x632 x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619
6.56/6.63 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 x600 -x599 -x598
6.56/6.63 v -x597 -x596 -x595 -x594 -x593 x592 x591 x590 x589 x588 x587 -x586 x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 x577 -x576
6.56/6.63 v x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 x566 x565 x564 x563 x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 x554
6.56/6.63 v -x553 x552 -x551 x550 -x549 -x548 x547 x546 x545 x544 -x543 -x542 -x541 x540 -x539 -x538 x537 x536 x535 -x534 x533 -x532 -x531
6.56/6.63 v -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 x519 x518 x517 -x516 -x515 x514 -x513 x512 -x511 -x510 -x509
6.56/6.63 v x508 -x507 -x506 -x505 x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 x492 x491 x490 -x489 -x488 -x487
6.56/6.63 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 -x466
6.56/6.63 v -x465 x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444
6.56/6.63 v -x443 x442 x441 x440 x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423
6.56/6.63 v -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 x412 x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 x401
6.56/6.63 v -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
6.56/6.63 v -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 x359 x358
6.56/6.63 v x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337
6.56/6.63 v -x336 -x335 x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 x321 x320 x319 -x318 -x317 -x316 x315
6.56/6.63 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 x295 -x294 -x293
6.56/6.63 v -x292 -x291 x290 -x289 x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272
6.56/6.63 v -x271 x270 x269 x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 x250
6.56/6.63 v -x249 -x248 x247 -x246 x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 x236 -x235 -x234 -x233 x232 -x231 x230 -x229 -x228
6.56/6.63 v -x227 -x226 -x225 x224 x223 x222 x221 -x220 x219 x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
6.56/6.63 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 x188 -x187 -x186 -x185
6.56/6.63 v -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164
6.56/6.63 v -x163 x162 -x161 x160 x159 -x158 -x157 -x156 x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 x143 -x142
6.56/6.63 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121
6.56/6.63 v -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 x110 x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99
6.56/6.63 v -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 x73
6.56/6.63 v -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 -x47 -x46 x45 -x44
6.56/6.63 v -x43 x42 -x41 -x40 x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 x25 -x24 -x23 -x22 x21 x20 -x19 x18 -x17
6.56/6.63 v -x16 x15 x14 x13 -x12 x11 x10 x9 x8 x7 x6 -x5 -x4 x3 x2 x1
6.56/6.63 c SCIP Status : problem is solved [optimal solution found]
6.56/6.63 c Total Time : 6.62
6.56/6.63 c solving : 6.62
6.56/6.63 c presolving : 1.13 (included in solving)
6.56/6.63 c reading : 0.01 (included in solving)
6.56/6.63 c copying : 0.02 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
6.56/6.63 c Original Problem :
6.56/6.63 c Problem name : HOME/instance-4425139-1720879823.wbo
6.56/6.63 c Variables : 2473 (2473 binary, 0 integer, 0 implicit integer, 0 continuous)
6.56/6.63 c Constraints : 4495 initial, 4495 maximal
6.56/6.63 c Objective : minimize, 1145 non-zeros (abs.min = 1, abs.max = 100)
6.56/6.63 c Presolved Problem :
6.56/6.63 c Problem name : t_HOME/instance-4425139-1720879823.wbo
6.56/6.63 c Variables : 2452 (2393 binary, 0 integer, 59 implicit integer, 0 continuous)
6.56/6.63 c Constraints : 2764 initial, 2807 maximal
6.56/6.63 c Objective : minimize, 1141 non-zeros (abs.min = 1, abs.max = 100)
6.56/6.63 c Nonzeros : 9760 constraint, 7042 clique table
6.56/6.63 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
6.56/6.63 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c domcol : 0.00 0.00 45 0 0 0 0 0 0 0 0 0
6.56/6.63 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.56/6.63 c gateextraction : 0.03 0.00 51 0 0 0 0 0 781 260 0 0
6.56/6.63 c implics : 0.00 0.00 54 0 0 0 0 0 0 0 0 0
6.56/6.63 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.56/6.63 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c trivial : 0.01 0.00 102 2 0 0 0 0 0 0 0 0
6.56/6.63 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c dualfix : 0.01 0.00 102 5 0 0 0 0 0 0 0 0
6.56/6.63 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c probing : 0.88 0.00 45 5 1086 0 0 0 0 0 0 0
6.56/6.63 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.56/6.63 c vbounds : 0.00 0.00 3 0 52 0 0 0 0 0 0 0
6.56/6.63 c knapsack : 0.00 0.00 199 0 0 0 0 0 0 0 0 0
6.56/6.63 c setppc : 0.04 0.00 199 0 2 0 0 0 11 0 0 0
6.56/6.63 c and : 0.02 0.00 146 2 3 0 0 0 18 16 0 2
6.56/6.63 c linear : 0.08 0.00 150 0 5 0 1144 0 121 0 92 184
6.56/6.63 c logicor : 0.03 0.00 194 0 0 0 0 0 4 0 0 14
6.56/6.63 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c indicator : 0.00 0.00 53 4 0 0 0 0 1070 0 0 0
6.56/6.63 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
6.56/6.63 c root node : - - - 1572 - - 1572 - - - - -
6.56/6.63 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
6.56/6.63 c benderslp : 0 0 0 0 66 0 0 92 0 0 0 0 0 0 0
6.56/6.63 c integral : 0 0 0 0 66 0 0 92 0 2 288 0 0 37 72
6.56/6.63 c knapsack : 123+ 124 12 19530 1 0 0 86 32 10 10 946 91 0 0
6.56/6.63 c setppc : 809+ 836 12 21037 1 0 0 82 269 31 648 12 0 0 0
6.56/6.63 c and : 237 237 95 20969 1 0 0 82 275 7 464 198 86 0 0
6.56/6.63 c linear : 1100 1100 12 20999 1 0 0 85 255 7 732 0 0 0 0
6.56/6.63 c logicor : 420+ 448 12 8006 1 0 0 17 124 10 193 5 2 0 0
6.56/6.63 c benders : 0 0 0 0 1 0 0 15 0 0 0 0 0 0 0
6.56/6.63 c indicator : 75 75 14 19113 0 0 0 13 0 0 124 0 0 0 0
6.56/6.63 c fixedvar : 0 0 0 0 1 0 0 10 0 0 0 0 0 0 0
6.56/6.63 c countsols : 0 0 0 0 1 0 0 10 0 0 0 0 0 0 0
6.56/6.63 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
6.56/6.63 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c integral : 2.90 0.00 0.00 0.00 2.90 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c knapsack : 0.04 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c setppc : 0.13 0.00 0.00 0.10 0.00 0.00 0.00 0.01 0.00 0.02
6.56/6.63 c and : 0.06 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.02
6.56/6.63 c linear : 0.05 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.03
6.56/6.63 c logicor : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
6.56/6.63 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c indicator : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c Propagators : #Propagate #ResProp Cutoffs DomReds
6.56/6.63 c dualfix : 3 0 0 0
6.56/6.63 c genvbounds : 0 0 0 0
6.56/6.63 c nlobbt : 0 0 0 0
6.56/6.63 c obbt : 0 0 0 0
6.56/6.63 c probing : 0 0 0 0
6.56/6.63 c pseudoobj : 406 0 0 55
6.56/6.63 c redcost : 189 0 0 73
6.56/6.63 c rootredcost : 5 0 0 1125
6.56/6.63 c symmetry : 0 0 0 0
6.56/6.63 c vbounds : 8239 0 0 0
6.56/6.63 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
6.56/6.63 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
6.56/6.63 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c probing : 0.88 0.00 0.88 0.00 0.00 0.00
6.56/6.63 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
6.56/6.63 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c symmetry : 0.01 0.00 0.00 0.00 0.00 0.00
6.56/6.63 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
6.56/6.63 c Symmetry :
6.56/6.63 c orbitopal red. : 0 reductions applied, 0 cutoffs
6.56/6.63 c orbital reduction: 0 reductions applied, 0 cutoffs
6.56/6.63 c lexicographic red: 0 reductions applied, 0 cutoffs
6.56/6.63 c shadow tree time : 0.00 s
6.56/6.63 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
6.56/6.63 c propagation : 0.00 64 64 - 71 3.2 9 3.4 - - -
6.56/6.63 c infeasible LP : 0.00 5 5 - 15 9.1 1 3.0 5 10.2 0
6.56/6.63 c bound exceed. LP : 0.00 2 0 - 0 0.0 0 0.0 0 0.0 10
6.56/6.63 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
6.56/6.63 c pseudo solution : 0.00 1 1 - 1 1.0 0 0.0 - - -
6.56/6.63 c applied globally : 0.00 - - 0 91 3.8 - - 5 - -
6.56/6.63 c applied locally : - - - 0 0 0.0 - - 0 - -
6.56/6.63 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
6.56/6.63 c cut pool : 0.02 - 39 24 - - 2823 4390 - - - - - (maximal pool size: 2823)
6.56/6.63 c aggregation : 0.08 0.00 19 12 0 0 381 711 0 58 58 0 0
6.56/6.63 c > cmir : - - - - - - - 343 0 17 17 0 -
6.56/6.63 c > flowcover : - - - - - - - 321 0 34 34 0 -
6.56/6.63 c > knapsackcover : - - - - - - - 47 0 7 7 0 -
6.56/6.63 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c clique : 0.05 0.00 12 12 0 0 23 36 0 7 7 0 0
6.56/6.63 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c gomory : 0.86 0.00 17 10 0 0 2034 3132 0 56 56 0 0
6.56/6.63 c > gomorymi : - - - - - - - 2059 0 20 20 0 -
6.56/6.63 c > strongcg : - - - - - - - 1073 0 36 36 0 -
6.56/6.63 c impliedbounds : 0.01 0.00 19 12 0 21 318 423 0 119 119 0 0
6.56/6.63 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
6.56/6.63 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c mixing : 0.00 0.00 20 12 0 0 0 0 0 0 0 0 0
6.56/6.63 c multilinear : 0.00 0.00 35 12 0 0 0 0 0 0 0 0 0
6.56/6.63 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
6.56/6.63 c rlt : 0.11 0.00 14 10 0 0 31 40 0 28 28 0 0
6.56/6.63 c zerohalf : 0.04 0.00 19 12 0 0 36 48 0 25 25 0 0
6.56/6.63 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
6.56/6.63 c hybrid : 0.02 0.00 45 13 472 0 5079 369 0 4920
6.56/6.63 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c Pricers : ExecTime SetupTime Calls Vars
6.56/6.63 c problem variables: 0.00 - 0 0
6.56/6.63 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
6.56/6.63 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c random : 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c relpscost : 2.90 0.00 65 0 0 2 288 0 37 72
6.56/6.63 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
6.56/6.63 c Primal Heuristics : ExecTime SetupTime Calls Found Best
6.56/6.63 c LP solutions : 0.00 - - 1 1
6.56/6.63 c relax solutions : 0.00 - - 0 0
6.56/6.63 c pseudo solutions : 0.00 - - 0 0
6.56/6.63 c strong branching : 0.01 - - 1 1
6.56/6.63 c actconsdiving : 0.00 0.00 0 0 0
6.56/6.63 c adaptivediving : 0.00 0.00 0 0 0
6.56/6.63 c alns : 0.02 0.00 1 0 0
6.56/6.63 c bound : 0.00 0.00 0 0 0
6.56/6.63 c clique : 0.02 0.00 1 0 0
6.56/6.63 c coefdiving : 0.00 0.00 0 0 0
6.56/6.63 c completesol : 0.00 0.00 0 0 0
6.56/6.63 c conflictdiving : 0.04 0.00 1 0 0
6.56/6.63 c crossover : 0.00 0.00 0 0 0
6.56/6.63 c dins : 0.00 0.00 0 0 0
6.56/6.63 c distributiondivin: 0.00 0.00 0 0 0
6.56/6.63 c dps : 0.00 0.00 0 0 0
6.56/6.63 c dualval : 0.00 0.00 0 0 0
6.56/6.63 c farkasdiving : 0.47 0.00 1 1 1
6.56/6.63 c feasjump : 0.00 0.00 0 0 0
6.56/6.63 c feaspump : 0.15 0.00 1 0 0
6.56/6.63 c fixandinfer : 0.00 0.00 0 0 0
6.56/6.63 c fracdiving : 0.00 0.00 0 0 0
6.56/6.63 c gins : 0.00 0.00 0 0 0
6.56/6.63 c guideddiving : 0.00 0.00 0 0 0
6.56/6.63 c indcoefdiving : 0.00 0.00 0 0 0
6.56/6.63 c indicator : 0.00 0.00 0 0 0
6.56/6.63 c indicatordiving : 0.00 0.00 0 0 0
6.56/6.63 c indoneopt : 0.02 0.00 6 0 0
6.56/6.63 c indrounding : 0.00 0.00 0 0 0
6.56/6.63 c indtwoopt : 0.00 0.00 0 0 0
6.56/6.63 c intdiving : 0.00 0.00 0 0 0
6.56/6.63 c intshifting : 0.00 0.00 0 0 0
6.56/6.63 c linesearchdiving : 0.00 0.00 0 0 0
6.56/6.63 c localbranching : 0.00 0.00 0 0 0
6.56/6.63 c locks : 0.00 0.00 1 0 0
6.56/6.63 c lpface : 0.05 0.00 1 0 0
6.56/6.63 c mpec : 0.00 0.00 0 0 0
6.56/6.63 c multistart : 0.00 0.00 0 0 0
6.56/6.63 c mutation : 0.00 0.00 0 0 0
6.56/6.63 c nlpdiving : 0.00 0.00 0 0 0
6.56/6.63 c objpscostdiving : 0.00 0.00 0 0 0
6.56/6.63 c octane : 0.00 0.00 0 0 0
6.56/6.63 c ofins : 0.00 0.00 0 0 0
6.56/6.63 c oneopt : 0.00 0.00 6 1 1
6.56/6.63 c padm : 0.00 0.00 0 0 0
6.56/6.63 c proximity : 0.00 0.00 0 0 0
6.56/6.63 c pscostdiving : 0.00 0.00 0 0 0
6.56/6.63 c randrounding : 0.05 0.00 15 0 0
6.56/6.63 c rens : 0.03 0.00 1 0 0
6.56/6.63 c reoptsols : 0.00 0.00 0 0 0
6.56/6.63 c repair : 0.00 0.00 0 0 0
6.56/6.63 c rins : 0.00 0.00 0 0 0
6.56/6.63 c rootsoldiving : 0.00 0.00 0 0 0
6.56/6.63 c rounding : 0.01 0.00 106 0 0
6.56/6.63 c scheduler : 0.00 0.00 0 0 0
6.56/6.63 c shiftandpropagate: 0.02 0.00 1 1 1
6.56/6.63 c shifting : 0.02 0.00 25 2 1
6.56/6.63 c simplerounding : 0.00 0.00 112 0 0
6.56/6.63 c smallcard : 0.00 0.00 0 0 0
6.56/6.63 c subnlp : 0.00 0.00 0 0 0
6.56/6.63 c trivial : 0.00 0.00 2 0 0
6.56/6.63 c trivialnegation : 0.00 0.00 0 0 0
6.56/6.63 c trustregion : 0.00 0.00 0 0 0
6.56/6.63 c trysol : 0.00 0.00 1 1 0
6.56/6.63 c twoopt : 0.00 0.00 0 0 0
6.56/6.63 c undercover : 0.00 0.00 1 0 0
6.56/6.63 c vbounds : 0.02 0.00 1 0 0
6.56/6.63 c veclendiving : 0.00 0.00 0 0 0
6.56/6.63 c zeroobj : 0.00 0.00 0 0 0
6.56/6.63 c zirounding : 0.00 0.00 34 1 1
6.56/6.63 c other solutions : - - - 0 -
6.56/6.63 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
6.56/6.63 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
6.56/6.63 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
6.56/6.63 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
6.56/6.63 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
6.56/6.63 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
6.56/6.63 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
6.56/6.63 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
6.56/6.63 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
6.56/6.63 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
6.56/6.63 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
6.56/6.63 c primal LP : 0.00 3 0 0.00 - 0.00 3
6.56/6.63 c dual LP : 0.32 122 3956 39.96 12227.27 0.02 23
6.56/6.63 c lex dual LP : 0.00 0 0 0.00 -
6.56/6.63 c barrier LP : 0.00 0 0 0.00 - 0.00 0
6.56/6.63 c resolve instable : 0.00 0 0 0.00 -
6.56/6.63 c diving/probing LP: 0.90 151 7577 50.18 8412.03
6.56/6.63 c strong branching : 2.06 527 29492 55.96 14327.22 - - 21
6.56/6.63 c (at root node) : - 23 4258 185.13 -
6.56/6.63 c conflict analysis: 0.00 2 10 5.00 -
6.56/6.63 c B&B Tree :
6.56/6.63 c number of runs : 1
6.56/6.63 c nodes : 42 (36 internal, 6 leaves)
6.56/6.63 c feasible leaves : 1
6.56/6.63 c infeas. leaves : 3
6.56/6.63 c objective leaves : 2
6.56/6.63 c nodes (total) : 42 (36 internal, 6 leaves)
6.56/6.63 c nodes left : 0
6.56/6.63 c max depth : 12
6.56/6.63 c max depth (total): 12
6.56/6.63 c backtracks : 5 (11.9%)
6.56/6.63 c early backtracks : 0 (0.0%)
6.56/6.63 c nodes exc. ref. : 0 (0.0%)
6.56/6.63 c delayed cutoffs : 0
6.56/6.63 c repropagations : 17 (604 domain reductions, 0 cutoffs)
6.56/6.63 c avg switch length: 3.00
6.56/6.63 c switching time : 0.01
6.56/6.63 c Root Node :
6.56/6.63 c First LP value : +0.00000000000000e+00
6.56/6.63 c First LP Iters : 457 (68137.77 Iter/sec)
6.56/6.63 c First LP Time : 0.01
6.56/6.63 c Final Dual Bound : +0.00000000000000e+00
6.56/6.63 c Final Root Iters : 1870
6.56/6.63 c Root LP Estimate : +2.22928691463252e+00
6.56/6.63 c Solution :
6.56/6.63 c Solutions found : 9 (7 improvements)
6.56/6.63 c First Solution : +5.79530000000000e+04 (in run 1, after 1 nodes, 1.21 seconds, depth 1599, found by <shiftandpropagate>)
6.56/6.63 c Gap First Sol. : infinite
6.56/6.63 c Gap Last Sol. : infinite
6.56/6.63 c Primal Bound : +2.00000000000000e+00 (in run 1, after 40 nodes, 6.59 seconds, depth 10, found by <relaxation>)
6.56/6.63 c Dual Bound : +2.00000000000000e+00
6.56/6.63 c Gap : 0.00 %
6.56/6.63 c Integrals : Total Avg%
6.56/6.63 c primal-dual : 662.12 99.99
6.56/6.63 c primal-ref : - - (not evaluated)
6.56/6.63 c dual-ref : - - (not evaluated)
6.56/6.68 c Time complete: 6.65712.
OK 2
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: 63968 MiB (61918 MiB free)
memory of node 1: 64473 MiB (59264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425139-1720879823/watcher-4425139-1720879823 -o /tmp/evaluation-result-4425139-1720879823/solver-4425139-1720879823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720878485-707322 --watchdog 3760 pbscip -f HOME/instance-4425139-1720879823.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=710123, runsolver pid=710120
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.16 4.15 3.80 5/254 710124
/proc/meminfo: memFree=124062468/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=77872 memory=38576 CPUtime=0.09 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 6271 0 0 0 9 0 0 0 20 0 1 0 140145789 79740928 9644 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 19468 9644 3697 3540 0 7725 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77872 KiB
Current children cumulated memory: 38576 KiB
[startup+0.20588 s]*
/proc/loadavg: 4.16 4.15 3.80 5/254 710124
/proc/meminfo: memFree=124061628/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=78616 memory=39368 CPUtime=0.2 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 6466 0 0 0 20 0 0 0 20 0 1 0 140145789 80502784 9842 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 19654 9842 3697 3540 0 7911 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78616 KiB
Current children cumulated memory: 39368 KiB
[startup+0.305844 s]*
/proc/loadavg: 4.16 4.15 3.80 6/254 710124
/proc/meminfo: memFree=124061516/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=79132 memory=39896 CPUtime=0.3 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 6616 0 0 0 30 0 0 0 20 0 1 0 140145789 81031168 9974 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 19783 9974 3697 3540 0 8040 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79132 KiB
Current children cumulated memory: 39896 KiB
[startup+0.700211 s]
/proc/loadavg: 4.16 4.15 3.80 5/254 710124
/proc/meminfo: memFree=124060676/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=80160 memory=40952 CPUtime=0.68 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 6872 0 0 0 68 0 0 0 20 0 1 0 140145789 82083840 10238 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 20040 10238 3697 3540 0 8297 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80160 KiB
Current children cumulated memory: 40952 KiB
[startup+1.50025 s]
/proc/loadavg: 4.16 4.15 3.80 5/254 710124
/proc/meminfo: memFree=124059500/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=103076 memory=58304 CPUtime=1.48 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 11422 0 0 0 147 1 0 0 20 0 1 0 140145789 105549824 14576 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 25769 14576 3905 3540 0 14026 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 103076 KiB
Current children cumulated memory: 58304 KiB
[startup+3.10587 s]
/proc/loadavg: 4.15 4.14 3.81 5/254 710124
/proc/meminfo: memFree=124010848/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=139632 memory=90512 CPUtime=3.08 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 19477 0 0 0 305 3 0 0 20 0 1 0 140145789 142983168 22628 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 34908 22628 3905 3540 0 23165 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 139632 KiB
Current children cumulated memory: 90512 KiB
[startup+6.30025 s]
/proc/loadavg: 4.15 4.14 3.81 5/254 710127
/proc/meminfo: memFree=124000264/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=150032 memory=100880 CPUtime=6.27 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 24263 0 0 0 623 4 0 0 20 0 1 0 140145789 153632768 25220 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 37508 25220 3921 3540 0 25765 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 150032 KiB
Current children cumulated memory: 100880 KiB
[startup+6.68846 s]
# the end of solver process 710123 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=6.60923 s, system=0.052799 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40026 s]
/proc/loadavg: 4.15 4.14 3.81 5/254 710127
/proc/meminfo: memFree=124000264/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=161600 memory=111208 CPUtime=6.36 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 26795 0 0 0 632 4 0 0 20 0 1 0 140145789 165478400 27802 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 40400 27802 3946 3540 0 28657 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 161600 KiB
Current children cumulated memory: 111208 KiB
[startup+6.60017 s]
/proc/loadavg: 4.15 4.14 3.81 5/254 710127
/proc/meminfo: memFree=124000264/131524600 swapFree=131071996/131071996
[pid=710123] ppid=710120 vsize=161600 memory=111208 CPUtime=6.56 cores=0,2
/proc/710123/stat : 710123 (pbscip) R 710120 710123 704463 0 -1 4194304 26795 0 0 0 652 4 0 0 20 0 1 0 140145789 165478400 27802 134679101440 4194304 18693293 140731819523424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41476096 140731819529194 140731819529293 140731819529293 140731819536334 0
/proc/710123/statm: 40400 27802 3946 3540 0 28657 0
Current children cumulated CPU time: 6.56 s
Current children cumulated vsize: 161600 KiB
Current children cumulated memory: 111208 KiB
Child status: 0
Real time (s): 6.68851
CPU time (s): 6.66203
CPU user time (s): 6.60923
CPU system time (s): 0.052799
CPU usage (%): 99.6042
Max. virtual memory (cumulated for all children) (KiB): 161600
Max. memory (cumulated for all children) (KiB): 111208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.60923
system time used= 0.052799
maximum resident set size= 111208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26807
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= 10
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 710123
# total CPU time (s): 6.66203
# total CPU user time (s): 6.60923
# total CPU system time (s): 0.052799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023245 second user time and 0.070525 second system time
The end
Begin job on nodeC020 at 2024-07-13 16:10:36 IDJOB=4425139 IDBENCH=143424 IDSOLVER=3038 FILE ID=nodeC020/4425139-1720879823 RUNJOBID= nodeC020-1720878485-707322 SLURM_JOB_ID= 7483761 Free space on /tmp= 890016 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl--soft-66-100-0.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425139-1720879823/watcher-4425139-1720879823 -o /tmp/evaluation-result-4425139-1720879823/solver-4425139-1720879823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1720878485-707322 --watchdog 3760 pbscip -f HOME/instance-4425139-1720879823.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4eec87b7dd232824d79f008d996386c7 RANDOM SEED=9731267 nodeC020.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 : 3649.189 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 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.817 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 : 7005.84 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 : 3672.086 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 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.308 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 : 7005.84 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 : 3671.302 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 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.858 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 : 7005.84 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 : 3638.171 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 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.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 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 : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124091196 kB MemAvailable: 124111072 kB Buffers: 327988 kB Cached: 539432 kB SwapCached: 0 kB Active: 513288 kB Inactive: 6357176 kB Active(anon): 1568 kB Inactive(anon): 6039188 kB Active(file): 511720 kB Inactive(file): 317988 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18708 kB Writeback: 12 kB AnonPages: 6002080 kB Mapped: 133072 kB Shmem: 37720 kB KReclaimable: 59980 kB Slab: 156460 kB SReclaimable: 59980 kB SUnreclaim: 96480 kB KernelStack: 4048 kB PageTables: 21464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6816208 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52576 kB HardwareCorrupted: 0 kB AnonHugePages: 2957312 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: 166612 kB DirectMap2M: 9043968 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 889996 MiB End job on nodeC020 at 2024-07-13 16:10:43