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 | 23.5458 | 23.6476 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo |
| MD5SUM | cb398b67416b851b196eddd919bddf4e |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.710248 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1612 |
| Total number of constraints | 3653 |
| Number of soft constraints | 2427 |
| Number of constraints which are clauses | 3273 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 380 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 124130 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 124129 |
| Biggest number in a constraint | 79 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 268 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4525012-1751617088.wbo>
0.00/0.02 c original problem has 4039 variables (4039 bin, 0 int, 0 impl, 0 cont) and 6081 constraints
0.00/0.02 c problem read in 0.01
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 1 del vars, 3 del conss, 0 add conss, 0 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 2427 impls, 760 clqs
0.00/0.06 c (round 2, fast) 3 del vars, 4 del conss, 0 add conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 2427 impls, 760 clqs
0.00/0.06 c (round 3, medium) 24 del vars, 4 del conss, 0 add conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 2427 impls, 718 clqs
0.00/0.06 c (round 4, fast) 24 del vars, 46 del conss, 0 add conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 0 upgd conss, 2427 impls, 718 clqs
0.00/0.07 c (round 5, exhaustive) 24 del vars, 46 del conss, 0 add conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 1183 upgd conss, 2427 impls, 718 clqs
0.00/0.07 c (round 6, exhaustive) 24 del vars, 139 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 380 chg coeffs, 1183 upgd conss, 2427 impls, 718 clqs
0.09/0.19 c (round 7, exhaustive) 49 del vars, 139 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.23 c (round 8, exhaustive) 74 del vars, 141 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.23 c (round 9, fast) 74 del vars, 165 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.25 c (round 10, exhaustive) 99 del vars, 165 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.25 c (round 11, fast) 99 del vars, 190 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.28 c (round 12, exhaustive) 124 del vars, 190 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.28 c (round 13, fast) 124 del vars, 215 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.30 c (round 14, exhaustive) 149 del vars, 215 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.19/0.30 c (round 15, fast) 149 del vars, 240 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.33 c (round 16, exhaustive) 174 del vars, 240 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.33 c (round 17, fast) 174 del vars, 265 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.35 c (round 18, exhaustive) 199 del vars, 265 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.35 c (round 19, fast) 199 del vars, 290 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.37 c (round 20, exhaustive) 224 del vars, 290 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.37 c (round 21, fast) 224 del vars, 315 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.40 c (round 22, exhaustive) 249 del vars, 315 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.29/0.40 c (round 23, fast) 249 del vars, 340 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.42 c (round 24, exhaustive) 274 del vars, 340 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.42 c (round 25, fast) 274 del vars, 365 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.45 c (round 26, exhaustive) 299 del vars, 365 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.45 c (round 27, fast) 299 del vars, 390 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.47 c (round 28, exhaustive) 324 del vars, 390 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.47 c (round 29, fast) 324 del vars, 415 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.49 c (round 30, exhaustive) 349 del vars, 415 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.39/0.49 c (round 31, fast) 349 del vars, 440 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.51 c (round 32, exhaustive) 374 del vars, 440 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.51 c (round 33, fast) 374 del vars, 465 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.54 c (round 34, exhaustive) 399 del vars, 465 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.54 c (round 35, fast) 399 del vars, 490 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.54 c (0.5s) probing: 1000/6184 (16.2%) - 0 fixings, 384 aggregations, 233 implications, 0 bound changes
0.48/0.56 c (round 36, exhaustive) 424 del vars, 490 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.56 c (round 37, fast) 424 del vars, 515 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.58 c (round 38, exhaustive) 449 del vars, 515 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.48/0.58 c (round 39, fast) 449 del vars, 540 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.60 c (round 40, exhaustive) 474 del vars, 540 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.60 c (round 41, fast) 474 del vars, 565 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.62 c (round 42, exhaustive) 499 del vars, 565 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.62 c (round 43, fast) 499 del vars, 590 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.65 c (round 44, exhaustive) 524 del vars, 590 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.65 c (round 45, fast) 524 del vars, 615 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.67 c (round 46, exhaustive) 549 del vars, 615 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.58/0.67 c (round 47, fast) 549 del vars, 640 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.70 c (round 48, exhaustive) 574 del vars, 640 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.70 c (round 49, fast) 574 del vars, 665 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.72 c (round 50, exhaustive) 599 del vars, 665 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.72 c (round 51, fast) 599 del vars, 690 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.74 c (round 52, exhaustive) 624 del vars, 690 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.74 c (round 53, fast) 624 del vars, 715 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.76 c (round 54, exhaustive) 649 del vars, 715 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.76 c (round 55, fast) 649 del vars, 740 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.78 c (round 56, exhaustive) 674 del vars, 740 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.67/0.78 c (round 57, fast) 674 del vars, 765 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.81 c (round 58, exhaustive) 699 del vars, 765 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.81 c (round 59, fast) 699 del vars, 790 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.83 c (round 60, exhaustive) 724 del vars, 790 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.83 c (round 61, fast) 724 del vars, 815 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.85 c (round 62, exhaustive) 749 del vars, 815 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.86 c (round 63, fast) 749 del vars, 840 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.88 c (round 64, exhaustive) 774 del vars, 840 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.77/0.88 c (round 65, fast) 774 del vars, 865 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.90 c (round 66, exhaustive) 799 del vars, 865 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.90 c (round 67, fast) 799 del vars, 890 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.92 c (round 68, exhaustive) 824 del vars, 890 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.92 c (round 69, fast) 824 del vars, 915 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.95 c (round 70, exhaustive) 849 del vars, 915 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.95 c (round 71, fast) 849 del vars, 940 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.97 c (round 72, exhaustive) 874 del vars, 940 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.97 c (round 73, fast) 874 del vars, 965 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.98 c (1.0s) probing: 2000/6184 (32.3%) - 0 fixings, 861 aggregations, 233 implications, 0 bound changes
0.87/0.99 c (round 74, exhaustive) 899 del vars, 965 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.87/0.99 c (round 75, fast) 899 del vars, 990 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.01 c (round 76, exhaustive) 924 del vars, 990 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.01 c (round 77, fast) 924 del vars, 1015 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.03 c (round 78, exhaustive) 949 del vars, 1015 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.03 c (round 79, fast) 949 del vars, 1040 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.06 c (round 80, exhaustive) 974 del vars, 1040 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.06 c (round 81, fast) 974 del vars, 1065 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.08 c (round 82, exhaustive) 999 del vars, 1065 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
0.98/1.08 c (round 83, fast) 999 del vars, 1090 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.10 c (round 84, exhaustive) 1024 del vars, 1090 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.11 c (round 85, fast) 1024 del vars, 1115 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.13 c (round 86, exhaustive) 1049 del vars, 1115 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.13 c (round 87, fast) 1049 del vars, 1140 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.15 c (round 88, exhaustive) 1074 del vars, 1140 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.15 c (round 89, fast) 1074 del vars, 1165 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.17 c (round 90, exhaustive) 1099 del vars, 1165 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.08/1.17 c (round 91, fast) 1099 del vars, 1190 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.20 c (round 92, exhaustive) 1124 del vars, 1190 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.20 c (round 93, fast) 1124 del vars, 1215 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.22 c (round 94, exhaustive) 1149 del vars, 1215 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.22 c (round 95, fast) 1149 del vars, 1240 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.24 c (round 96, exhaustive) 1174 del vars, 1240 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.24 c (round 97, fast) 1174 del vars, 1265 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.26 c (round 98, exhaustive) 1199 del vars, 1265 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.26 c (round 99, fast) 1199 del vars, 1290 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.28 c (round 100, exhaustive) 1224 del vars, 1290 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.17/1.28 c (round 101, fast) 1224 del vars, 1315 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.30 c (round 102, exhaustive) 1249 del vars, 1315 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.30 c (round 103, fast) 1249 del vars, 1340 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.32 c (round 104, exhaustive) 1274 del vars, 1340 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.32 c (round 105, fast) 1274 del vars, 1365 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.34 c (round 106, exhaustive) 1299 del vars, 1365 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.34 c (round 107, fast) 1299 del vars, 1390 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.36 c (round 108, exhaustive) 1324 del vars, 1390 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.36 c (round 109, fast) 1324 del vars, 1415 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.38 c (round 110, exhaustive) 1349 del vars, 1415 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.27/1.38 c (round 111, fast) 1349 del vars, 1440 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.40 c (round 112, exhaustive) 1374 del vars, 1440 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.40 c (round 113, fast) 1374 del vars, 1465 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.40 c (1.4s) probing: 3000/6184 (48.5%) - 0 fixings, 1352 aggregations, 233 implications, 0 bound changes
1.37/1.42 c (round 114, exhaustive) 1399 del vars, 1465 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.42 c (round 115, fast) 1399 del vars, 1490 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.44 c (round 116, exhaustive) 1424 del vars, 1490 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.44 c (round 117, fast) 1424 del vars, 1515 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.46 c (round 118, exhaustive) 1449 del vars, 1515 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.46 c (round 119, fast) 1449 del vars, 1540 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.47 c (round 120, exhaustive) 1474 del vars, 1540 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.48 c (round 121, fast) 1474 del vars, 1565 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.37/1.49 c (round 122, exhaustive) 1499 del vars, 1565 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.50 c (round 123, fast) 1499 del vars, 1590 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.52 c (round 124, exhaustive) 1524 del vars, 1590 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.52 c (round 125, fast) 1524 del vars, 1615 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.53 c (round 126, exhaustive) 1549 del vars, 1615 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.54 c (round 127, fast) 1549 del vars, 1640 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.56 c (round 128, exhaustive) 1574 del vars, 1640 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.56 c (round 129, fast) 1574 del vars, 1665 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.58 c (round 130, exhaustive) 1599 del vars, 1665 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.47/1.58 c (round 131, fast) 1599 del vars, 1690 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.60 c (round 132, exhaustive) 1624 del vars, 1690 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.60 c (round 133, fast) 1624 del vars, 1715 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.62 c (round 134, exhaustive) 1649 del vars, 1715 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.62 c (round 135, fast) 1649 del vars, 1740 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.63 c (round 136, exhaustive) 1674 del vars, 1740 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.63 c (round 137, fast) 1674 del vars, 1765 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.65 c (round 138, exhaustive) 1699 del vars, 1765 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.65 c (round 139, fast) 1699 del vars, 1790 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.67 c (round 140, exhaustive) 1724 del vars, 1790 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.67 c (round 141, fast) 1724 del vars, 1815 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.69 c (round 142, exhaustive) 1749 del vars, 1815 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.57/1.69 c (round 143, fast) 1749 del vars, 1840 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.71 c (round 144, exhaustive) 1774 del vars, 1840 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.71 c (round 145, fast) 1774 del vars, 1865 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.73 c (round 146, exhaustive) 1799 del vars, 1865 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.73 c (round 147, fast) 1799 del vars, 1890 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.75 c (round 148, exhaustive) 1824 del vars, 1890 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.75 c (round 149, fast) 1824 del vars, 1915 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.75 c (1.7s) probing: 4000/6184 (64.7%) - 0 fixings, 1807 aggregations, 233 implications, 0 bound changes
1.67/1.76 c (round 150, exhaustive) 1849 del vars, 1915 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.76 c (round 151, fast) 1849 del vars, 1940 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.78 c (round 152, exhaustive) 1874 del vars, 1940 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.67/1.78 c (round 153, fast) 1874 del vars, 1965 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 950 clqs
1.77/1.80 c (round 154, exhaustive) 1899 del vars, 1965 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.80 c (round 155, fast) 1899 del vars, 1990 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.81 c (round 156, exhaustive) 1924 del vars, 1990 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.81 c (round 157, fast) 1924 del vars, 2015 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.83 c (round 158, exhaustive) 1949 del vars, 2015 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.83 c (round 159, fast) 1949 del vars, 2040 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.85 c (round 160, exhaustive) 1974 del vars, 2040 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.85 c (round 161, fast) 1974 del vars, 2065 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.87 c (round 162, exhaustive) 1999 del vars, 2065 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.87 c (round 163, fast) 1999 del vars, 2090 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.89 c (round 164, exhaustive) 2024 del vars, 2090 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.77/1.89 c (round 165, fast) 2024 del vars, 2115 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.90 c (round 166, exhaustive) 2049 del vars, 2115 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.90 c (round 167, fast) 2049 del vars, 2140 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.92 c (round 168, exhaustive) 2074 del vars, 2140 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.92 c (round 169, fast) 2074 del vars, 2165 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.94 c (round 170, exhaustive) 2099 del vars, 2165 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.94 c (round 171, fast) 2099 del vars, 2190 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.95 c (round 172, exhaustive) 2124 del vars, 2190 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.96 c (round 173, fast) 2124 del vars, 2215 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.97 c (round 174, exhaustive) 2149 del vars, 2215 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.97 c (round 175, fast) 2149 del vars, 2240 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.99 c (round 176, exhaustive) 2174 del vars, 2240 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.87/1.99 c (round 177, fast) 2174 del vars, 2265 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 951 clqs
1.97/2.07 c (2.1s) probing: 5000/6184 (80.9%) - 0 fixings, 2169 aggregations, 303 implications, 0 bound changes
2.27/2.32 c (2.3s) probing: 5793/6184 (93.7%) - 0 fixings, 2169 aggregations, 502 implications, 0 bound changes
2.27/2.32 c (2.3s) probing aborted: 1000/1000 successive useless probings
2.27/2.32 c (round 178, exhaustive) 2193 del vars, 2265 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 1219 clqs
2.27/2.32 c (round 179, fast) 2193 del vars, 2290 del conss, 31 add conss, 2426 chg bounds, 190 chg sides, 382 chg coeffs, 1183 upgd conss, 2427 impls, 1219 clqs
2.27/2.34 c (2.3s) probing: 5823/6184 (94.2%) - 0 fixings, 2169 aggregations, 502 implications, 0 bound changes
2.27/2.34 c (2.3s) probing aborted: 50/50 successive totally useless probings
2.27/2.34 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.27/2.35 c (2.3s) no symmetry present (symcode time: 0.00)
2.27/2.35 c presolving (180 rounds: 180 fast, 91 medium, 90 exhaustive):
2.27/2.35 c 2193 deleted vars, 2291 deleted constraints, 32 added constraints, 2426 tightened bounds, 0 added holes, 190 changed sides, 383 changed coefficients
2.27/2.35 c 2427 implications, 1219 cliques
2.27/2.35 c presolved problem has 4273 variables (4015 bin, 0 int, 258 impl, 0 cont) and 3822 constraints
2.27/2.35 c 122 constraints of type <knapsack>
2.27/2.35 c 656 constraints of type <setppc>
2.27/2.35 c 30 constraints of type <and>
2.27/2.35 c 2426 constraints of type <linear>
2.27/2.35 c 311 constraints of type <logicor>
2.27/2.35 c 277 constraints of type <indicator>
2.27/2.35 c transformed objective value is always integral (scale: 1)
2.27/2.35 c Presolving Time: 2.32
2.27/2.35 c - non default parameters ----------------------------------------------------------------------
2.27/2.35 c # SCIP version 10.0.0
2.27/2.35 c
2.27/2.35 c # maximal time in seconds to run
2.27/2.35 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.27/2.35 c limits/time = 3596.997012
2.27/2.35 c
2.27/2.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.27/2.35 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.27/2.35 c limits/memory = 27900
2.27/2.35 c
2.27/2.35 c # belongs reading time to solving time?
2.27/2.35 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.27/2.35 c timing/reading = TRUE
2.27/2.35 c
2.27/2.35 c -----------------------------------------------------------------------------------------------
2.27/2.35 c start solving
2.27/2.35 c
2.27/2.39 o 124038
2.27/2.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.27/2.39 c p 2.4s| 1 | 0 | 0 | - | locks| 0 |4273 |3825 |3833 | 0 | 0 | 3 | 0 | 0.000000e+00 | 1.240380e+05 | Inf | unknown
2.37/2.40 o 13203
2.37/2.40 c i 2.4s| 1 | 0 | 0 | - | oneopt| 0 |4273 |3825 |3833 | 0 | 0 | 3 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
2.47/2.51 c 2.5s| 1 | 0 | 1040 | - | 54M | 0 |4273 |3825 |3833 | 0 | 0 | 3 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
2.56/2.63 c 2.6s| 1 | 0 | 1289 | - | 59M | 0 |4273 |3825 |3882 | 49 | 1 | 3 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
2.66/2.78 c 2.8s| 1 | 0 | 1517 | - | 60M | 0 |4273 |3825 |3909 | 76 | 2 | 3 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
2.86/2.94 c 2.9s| 1 | 0 | 1636 | - | 63M | 0 |4273 |3826 |3947 | 114 | 3 | 4 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
2.96/3.07 c 3.1s| 1 | 0 | 1738 | - | 66M | 0 |4273 |3826 |3981 | 148 | 4 | 4 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
3.06/3.18 c 3.2s| 1 | 0 | 1875 | - | 69M | 0 |4273 |3827 |4007 | 174 | 5 | 5 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
3.17/3.29 c 3.3s| 1 | 0 | 2054 | - | 71M | 0 |4273 |3829 |4034 | 201 | 6 | 7 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
3.36/3.44 c 3.4s| 1 | 0 | 2222 | - | 75M | 0 |4273 |3832 |4067 | 234 | 7 | 10 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
3.46/3.58 c 3.6s| 1 | 0 | 2327 | - | 80M | 0 |4273 |3832 |4095 | 262 | 8 | 10 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
3.66/3.75 c 3.7s| 1 | 0 | 2498 | - | 86M | 0 |4273 |3832 |4125 | 292 | 9 | 10 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
3.86/3.90 c 3.9s| 1 | 0 | 2664 | - | 92M | 0 |4273 |3833 |4153 | 320 | 10 | 11 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
3.86/3.96 c 4.0s| 1 | 0 | 2823 | - | 92M | 0 |4273 |3835 |4174 | 356 | 11 | 13 | 0 | 0.000000e+00 | 1.320300e+04 | Inf | unknown
4.66/4.70 o 211
4.66/4.70 c d 4.7s| 1 | 0 | 5987 | - |farkasdi| 0 |4273 |3837 |4174 | 0 | 11 | 15 | 0 | 0.000000e+00 | 2.110000e+02 | Inf | unknown
4.96/5.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.96/5.05 c 5.0s| 1 | 0 | 7723 | - | 94M | 0 |4273 |3837 |4174 | 356 | 11 | 15 | 0 | 0.000000e+00 | 2.110000e+02 | Inf | unknown
4.96/5.09 c 5.1s| 1 | 0 | 7807 | - | 94M | 0 |4273 |3837 |4194 | 376 | 12 | 15 | 0 | 0.000000e+00 | 2.110000e+02 | Inf | unknown
5.06/5.11 c 5.1s| 1 | 0 | 7868 | - | 94M | 0 |4273 |3837 |4158 | 390 | 13 | 15 | 0 | 0.000000e+00 | 2.110000e+02 | Inf | unknown
5.55/5.63 c 5.6s| 1 | 2 | 7936 | - | 94M | 0 |4273 |3837 |4158 | 390 | 13 | 15 | 19 | 0.000000e+00 | 2.110000e+02 | Inf | unknown
11.94/12.06 o 207
11.94/12.06 c L12.0s| 37 | 38 | 9888 | 192.2 | alns| 31 |4273 |3837 |3940 | 433 | 2 | 15 | 479 | 0.000000e+00 | 2.070000e+02 | Inf | unknown
11.94/12.07 o 168
11.94/12.07 c i12.1s| 38 | 37 | 9888 | 187.0 | oneopt| 31 |4273 |3837 |3932 | 433 | 0 | 15 | 479 | 0.000000e+00 | 1.680000e+02 | Inf | unknown
12.83/12.91 o 122
12.83/12.91 c r12.9s| 77 | 73 | 10362 | 97.3 |shifting| 60 |4273 |3837 |3934 | 453 | 0 | 15 | 615 | 0.000000e+00 | 1.220000e+02 | Inf | unknown
12.83/12.98 o 109
12.83/12.98 c r13.0s| 84 | 74 | 10416 | 89.7 |shifting| 60 |4273 |3837 |3934 | 453 | 0 | 15 | 620 | 0.000000e+00 | 1.090000e+02 | Inf | unknown
12.94/13.05 o 66
12.94/13.05 c *13.0s| 91 | 63 | 10452 | 83.2 | LP | 60 |4273 |3837 |3934 | 453 | 1 | 15 | 625 | 0.000000e+00 | 6.600000e+01 | Inf | unknown
13.04/13.14 o 57
13.04/13.14 c r13.1s| 98 | 68 | 10491 | 77.6 |rounding| 61 |4273 |3736 |3934 | 454 | 0 | 15 | 630 | 0.000000e+00 | 5.700000e+01 | Inf | unknown
13.04/13.15 o 14
13.04/13.15 c *13.1s| 99 | 8 | 10494 | 76.8 | LP | 61 |4273 |3736 |3934 | 454 | 2 | 15 | 630 | 0.000000e+00 | 1.400000e+01 | Inf | 0.36%
13.23/13.38 c 13.4s| 100 | 9 | 10511 | 76.2 | 99M | 61 |4273 |3597 |3924 | 454 | 3 | 15 | 662 | 0.000000e+00 | 1.400000e+01 | Inf | 0.36%
16.42/16.59 o 12
16.42/16.59 c L16.6s| 137 | 46 | 12877 | 72.9 | alns| 61 |4273 |3609 |3954 | 550 | 3 | 30 |1123 | 0.000000e+00 | 1.200000e+01 | Inf | 0.36%
17.61/17.72 o 1
17.61/17.72 c *17.7s| 164 | 13 | 14337 | 69.7 | LP | 61 |4273 |3612 |3934 | 589 | 1 | 38 |1272 | 0.000000e+00 | 1.000000e+00 | Inf | 0.47%
19.71/19.81 c 19.8s| 200 | 22 | 17686 | 74.0 | 105M | 61 |4273 |3706 |3924 | 591 | 5 | 173 |1567 | 0.000000e+00 | 1.000000e+00 | Inf | 6.51%
23.39/23.57 c
23.39/23.57 c SCIP Status : problem is solved [optimal solution found]
23.39/23.57 c Solving Time (sec) : 23.57
23.39/23.57 c Solving Nodes : 294
23.39/23.57 c Primal Bound : +1.00000000000000e+00 (17 solutions)
23.39/23.57 c Dual Bound : +1.00000000000000e+00
23.39/23.57 c Gap : 0.00 %
23.39/23.58 s OPTIMUM FOUND
23.39/23.58 v -x1612 -x1611 -x1610 -x1609 x1608 x1607 -x1606 x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594
23.39/23.58 v -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 -x1581 x1580 -x1579 -x1578 -x1577 -x1576
23.39/23.58 v -x1575 -x1574 x1573 -x1572 x1571 x1570 -x1569 -x1568 -x1567 x1566 -x1565 -x1564 -x1563 x1562 -x1561 -x1560 -x1559 -x1558 -x1557
23.39/23.58 v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539
23.39/23.58 v -x1538 -x1537 x1536 x1535 -x1534 x1533 -x1532 -x1531 -x1530 -x1529 -x1528 x1527 x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520
23.39/23.58 v -x1519 x1518 -x1517 -x1516 x1515 x1514 -x1513 -x1512 -x1511 x1510 -x1509 x1508 -x1507 -x1506 -x1505 -x1504 x1503 -x1502
23.39/23.58 v -x1501 -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 x1490 -x1489 x1488 x1487 -x1486 -x1485 x1484 x1483
23.39/23.58 v -x1482 x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 x1473 x1472 -x1471 -x1470 -x1469 x1468 x1467 x1466 x1465 x1464 -x1463
23.39/23.58 v x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 x1453 -x1452 x1451 x1450 x1449 x1448 x1447 x1446 -x1445 -x1444
23.39/23.58 v x1443 x1442 -x1441 -x1440 -x1439 x1438 x1437 x1436 x1435 -x1434 -x1433 x1432 x1431 -x1430 -x1429 -x1428 -x1427 x1426 x1425
23.39/23.58 v -x1424 -x1423 -x1422 -x1421 -x1420 x1419 x1418 x1417 x1416 x1415 -x1414 x1413 -x1412 -x1411 -x1410 -x1409 x1408 x1407 x1406
23.39/23.58 v x1405 -x1404 -x1403 -x1402 -x1401 -x1400 x1399 -x1398 x1397 -x1396 -x1395 -x1394 -x1393 x1392 x1391 -x1390 -x1389 -x1388 -x1387
23.39/23.58 v x1386 x1385 x1384 -x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 x1376 x1375 -x1374 x1373 x1372 x1371 -x1370 x1369 -x1368
23.39/23.58 v x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 x1351 -x1350
23.39/23.58 v -x1349 x1348 -x1347 -x1346 x1345 -x1344 -x1343 -x1342 x1341 -x1340 -x1339 -x1338 x1337 x1336 x1335 x1334 -x1333 x1332 x1331
23.39/23.58 v -x1330 x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 x1321 x1320 x1319 -x1318 -x1317 -x1316 x1315 -x1314 -x1313 x1312
23.39/23.58 v x1311 -x1310 x1309 -x1308 -x1307 x1306 x1305 -x1304 x1303 x1302 x1301 -x1300 -x1299 -x1298 -x1297 x1296 x1295 x1294 -x1293 -x1292
23.39/23.58 v -x1291 x1290 x1289 x1288 -x1287 x1286 x1285 x1284 -x1283 x1282 x1281 x1280 -x1279 x1278 x1277 -x1276 -x1275 x1274 x1273
23.39/23.58 v x1272 -x1271 -x1270 -x1269 -x1268 x1267 x1266 x1265 -x1264 x1263 x1262 x1261 x1260 x1259 x1258 x1257 x1256 -x1255 -x1254 x1253
23.39/23.58 v x1252 x1251 x1250 x1249 -x1248 -x1247 x1246 x1245 x1244 -x1243 -x1242 x1241 x1240 x1239 -x1238 -x1237 x1236 x1235 -x1234 x1233
23.39/23.58 v -x1232 x1231 x1230 x1229 -x1228 x1227 -x1226 x1225 x1224 x1223 x1222 -x1221 -x1220 x1219 x1218 x1217 -x1216 -x1215 x1214
23.39/23.58 v x1213 x1212 -x1211 -x1210 x1209 x1208 x1207 -x1206 -x1205 x1204 x1203 x1202 -x1201 -x1200 x1199 x1198 x1197 -x1196 -x1195 x1194
23.39/23.58 v x1193 x1192 -x1191 -x1190 x1189 x1188 x1187 -x1186 -x1185 x1184 x1183 x1182 x1181 -x1180 -x1179 x1178 x1177 x1176 -x1175
23.39/23.58 v -x1174 x1173 x1172 x1171 x1170 x1169 x1168 -x1167 -x1166 x1165 x1164 x1163 -x1162 -x1161 x1160 x1159 x1158 -x1157 -x1156 x1155
23.39/23.58 v x1154 -x1153 -x1152 x1151 -x1150 -x1149 x1148 -x1147 -x1146 x1145 x1144 x1143 -x1142 x1141 x1140 x1139 x1138 -x1137 -x1136
23.39/23.58 v -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118
23.39/23.58 v -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 x1109 x1108 -x1107 -x1106 x1105 x1104 x1103 x1102 -x1101 -x1100 x1099
23.39/23.58 v x1098 x1097 x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 x1089 -x1088 -x1087 x1086 x1085 x1084 -x1083 -x1082 -x1081 -x1080
23.39/23.58 v x1079 -x1078 x1077 x1076 -x1075 -x1074 x1073 -x1072 -x1071 -x1070 -x1069 x1068 x1067 x1066 x1065 x1064 x1063 x1062 x1061 x1060
23.39/23.58 v x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
23.39/23.58 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
23.39/23.58 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
23.39/23.58 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986
23.39/23.58 v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 x971 x970 -x969 -x968 -x967 -x966 -x965
23.39/23.58 v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944
23.39/23.58 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924
23.39/23.58 v -x923 -x922 -x921 x920 x919 -x918 -x917 x916 x915 x914 x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
23.39/23.58 v -x901 -x900 -x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
23.39/23.58 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
23.39/23.58 v -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
23.39/23.58 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
23.39/23.58 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 x799 x798 -x797
23.39/23.58 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776
23.39/23.58 v -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 x760 x759 x758 x757 x756 -x755 -x754
23.39/23.58 v -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732
23.39/23.58 v -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712
23.39/23.58 v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690
23.39/23.58 v -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670
23.39/23.58 v -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648
23.39/23.58 v -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 x634 x633 x632 -x631 -x630 -x629 -x628 -x627
23.39/23.58 v -x626 -x625 -x624 -x623 -x622 -x621 -x620 x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605
23.39/23.58 v -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584
23.39/23.58 v -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 x571 x570 x569 -x568 -x567 -x566 -x565 -x564 -x563
23.39/23.58 v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542
23.39/23.58 v -x541 -x540 -x539 x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
23.39/23.58 v -x519 x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499
23.39/23.58 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478
23.39/23.58 v -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456
23.39/23.58 v x455 x454 x453 x452 x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 x439 -x438 -x437 x436 -x435 -x434
23.39/23.58 v -x433 -x432 -x431 x430 -x429 x428 x427 x426 x425 x424 -x423 -x422 -x421 -x420 x419 x418 -x417 -x416 -x415 x414 -x413 x412 x411
23.39/23.58 v x410 x409 x408 x407 x406 x405 x404 x403 x402 x401 x400 -x399 -x398 x397 -x396 x395 -x394 x393 x392 -x391 -x390 x389 x388
23.39/23.58 v x387 x386 x385 x384 x383 x382 x381 -x380 -x379 -x378 x377 x376 x375 -x374 -x373 x372 -x371 -x370 x369 -x368 -x367 -x366 -x365
23.39/23.58 v -x364 -x363 x362 x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 x350 -x349 -x348 x347 x346 x345 x344 x343 x342
23.39/23.58 v -x341 -x340 -x339 -x338 x337 x336 x335 x334 -x333 -x332 x331 x330 x329 x328 x327 x326 -x325 -x324 -x323 -x322 -x321 -x320
23.39/23.58 v -x319 -x318 -x317 -x316 x315 x314 -x313 x312 x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 x301 x300 -x299 -x298
23.39/23.58 v -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283 x282 x281 x280 -x279 -x278 -x277 -x276
23.39/23.58 v -x275 -x274 -x273 -x272 x271 x270 -x269 x268 -x267 x266 -x265 -x264 -x263 x262 x261 x260 -x259 x258 x257 x256 -x255 -x254 x253
23.39/23.58 v x252 x251 x250 -x249 -x248 x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 x238 x237 x236 -x235 -x234 x233 x232 x231 -x230
23.39/23.58 v -x229 x228 x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 x218 x217 x216 x215 x214 x213 -x212 x211 -x210 x209 x208 -x207
23.39/23.58 v -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 x196 -x195 -x194 x193 x192 x191 x190 x189 -x188 x187 -x186 x185
23.39/23.58 v x184 -x183 x182 -x181 x180 x179 -x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163
23.39/23.58 v -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
23.39/23.58 v -x141 x140 x139 x138 -x137 -x136 x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 x120 x119
23.39/23.58 v -x118 -x117 x116 -x115 x114 x113 x112 x111 -x110 -x109 x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 x97 -x96
23.39/23.58 v -x95 x94 x93 -x92 -x91 -x90 x89 -x88 -x87 x86 x85 -x84 -x83 -x82 x81 -x80 x79 -x78 -x77 x76 x75 x74 x73 x72 -x71 -x70 x69
23.39/23.58 v -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 x43 x42 -x41
23.39/23.58 v x40 -x39 x38 x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 x17 x16 x15 x14
23.39/23.58 v x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 x4 x3 -x2 -x1
23.39/23.58 c SCIP Status : problem is solved [optimal solution found]
23.39/23.58 c Total Time : 23.57
23.39/23.58 c solving : 23.57
23.39/23.58 c presolving : 2.32 (included in solving)
23.39/23.58 c reading : 0.01 (included in solving)
23.39/23.58 c copying : 0.04 (4 #copies) (minimal 0.01, maximal 0.01, average 0.01)
23.39/23.58 c Original Problem :
23.39/23.58 c Problem name : HOME/instance-4525012-1751617088.wbo
23.39/23.58 c Variables : 4039 (4039 binary, 0 integer, 0 implicit integer, 0 continuous)
23.39/23.58 c Constraints : 6081 initial, 6081 maximal
23.39/23.58 c Objective : minimize, 2427 non-zeros (abs.min = 1, abs.max = 100)
23.39/23.58 c Presolved Problem :
23.39/23.58 c Problem name : t_HOME/instance-4525012-1751617088.wbo
23.39/23.58 c Variables : 4273 (4015 binary, 0 integer, 258 implicit integer, 0 continuous)
23.39/23.58 c Constraints : 3822 initial, 3837 maximal
23.39/23.58 c Objective : minimize, 2426 non-zeros (abs.min = 1, abs.max = 100)
23.39/23.58 c Nonzeros : 18923 constraint, 2356 clique table
23.39/23.58 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
23.39/23.58 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c domcol : 0.00 0.00 88 0 0 0 0 0 0 0 0 0
23.39/23.58 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.39/23.58 c gateextraction : 0.04 0.00 89 0 0 0 0 0 93 31 0 0
23.39/23.58 c implics : 0.00 0.00 91 0 0 0 0 0 0 0 0 0
23.39/23.58 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.39/23.58 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c trivial : 0.01 0.00 180 0 0 0 0 0 0 0 0 0
23.39/23.58 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c dualfix : 0.02 0.00 180 1 0 0 0 0 0 0 0 0
23.39/23.58 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c probing : 1.91 0.00 88 0 2169 0 0 0 0 0 0 0
23.39/23.58 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
23.39/23.58 c vbounds : 0.00 0.00 3 0 21 0 0 0 0 0 0 0
23.39/23.58 c knapsack : 0.01 0.00 352 0 0 0 0 0 0 0 0 0
23.39/23.58 c setppc : 0.05 0.00 352 0 0 0 0 0 1 0 0 0
23.39/23.58 c and : 0.00 0.00 262 0 0 0 0 0 1 1 0 0
23.39/23.58 c linear : 0.20 0.00 269 0 1 0 2426 0 45 0 190 380
23.39/23.58 c logicor : 0.03 0.00 352 0 0 0 0 0 1 0 0 3
23.39/23.58 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c indicator : 0.01 0.00 91 1 0 0 0 0 2150 0 0 0
23.39/23.58 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.39/23.58 c root node : - - - 3486 - - 3486 - - - - -
23.39/23.58 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
23.39/23.58 c benderslp : 0 0 0 0 388 0 0 311 0 0 0 0 0 0 0
23.39/23.58 c integral : 0 0 0 0 388 0 0 311 0 0 2533 0 0 420 464
23.39/23.58 c knapsack : 122+ 139 12 41401 3 0 0 305 80 8 161 1025 40 0 0
23.39/23.58 c setppc : 656+ 672 12 42281 3 0 0 274 1946 29 2798 0 0 0 0
23.39/23.58 c and : 30 30 440 41580 3 0 0 274 384 7 355 44 21 0 0
23.39/23.58 c linear : 2426+ 2441 12 42407 3 0 0 277 5951 137 7982 0 0 0 0
23.39/23.58 c logicor : 311+ 680 12 15112 3 0 0 19 1305 87 1236 0 0 0 0
23.39/23.58 c bounddisjunction : 0+ 1 0 148 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c benders : 0 0 0 0 3 0 0 18 0 0 0 0 0 0 0
23.39/23.58 c indicator : 277 277 50 28563 3 0 0 16 1 0 1048 0 0 0 0
23.39/23.58 c fixedvar : 0 0 0 0 3 0 0 16 0 0 0 0 0 0 0
23.39/23.58 c countsols : 0 0 0 0 3 0 0 16 0 0 0 0 0 0 0
23.39/23.58 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
23.39/23.58 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c integral : 13.83 0.00 0.00 0.00 13.81 0.00 0.00 0.02 0.00 0.00
23.39/23.58 c knapsack : 0.07 0.00 0.01 0.05 0.00 0.00 0.00 0.01 0.00 0.01
23.39/23.58 c setppc : 0.16 0.00 0.00 0.10 0.00 0.00 0.00 0.01 0.00 0.04
23.39/23.58 c and : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
23.39/23.58 c linear : 0.24 0.00 0.00 0.04 0.00 0.00 0.00 0.04 0.00 0.15
23.39/23.58 c logicor : 0.04 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.03
23.39/23.58 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c indicator : 0.33 0.00 0.00 0.32 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c Propagators : #Propagate #ResProp Cutoffs DomReds
23.39/23.58 c dualfix : 3 0 0 0
23.39/23.58 c genvbounds : 0 0 0 0
23.39/23.58 c nlobbt : 0 0 0 0
23.39/23.58 c obbt : 0 0 0 0
23.39/23.58 c probing : 0 0 0 0
23.39/23.58 c pseudoobj : 3111 0 0 4932
23.39/23.58 c redcost : 899 0 0 2675
23.39/23.58 c rootredcost : 10 0 0 1425
23.39/23.58 c symmetry : 0 0 0 0
23.39/23.58 c vbounds : 17412 0 0 0
23.39/23.58 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
23.39/23.58 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
23.39/23.58 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c probing : 1.91 0.00 1.91 0.00 0.00 0.00
23.39/23.58 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
23.39/23.58 c redcost : 0.06 0.00 0.00 0.06 0.00 0.00
23.39/23.58 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
23.39/23.58 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
23.39/23.58 c vbounds : 0.23 0.00 0.00 0.22 0.00 0.01
23.39/23.58 c Symmetry :
23.39/23.58 c orbitopal red. : 0 reductions applied, 0 cutoffs
23.39/23.58 c orbital reduction: 0 reductions applied, 0 cutoffs
23.39/23.58 c lexicographic red: 0 reductions applied, 0 cutoffs
23.39/23.58 c shadow tree time : 0.00 s
23.39/23.58 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
23.39/23.58 c propagation : 0.01 268 256 - 490 8.2 82 3.6 - - -
23.39/23.58 c infeasible LP : 0.02 55 55 - 195 12.1 15 4.1 55 10.1 0
23.39/23.58 c bound exceed. LP : 0.00 4 0 - 0 0.0 0 0.0 0 0.0 10
23.39/23.58 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
23.39/23.58 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
23.39/23.58 c applied globally : 0.00 - - 0 611 7.1 - - 55 - -
23.39/23.58 c applied locally : - - - 0 0 0.0 - - 0 - -
23.39/23.58 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
23.39/23.58 c cut pool : 0.10 - 104 24 - - 6023 13948 - - - - - (maximal pool size: 6023)
23.39/23.58 c aggregation : 0.18 0.00 38 12 0 0 2997 7725 7 413 412 1 0
23.39/23.58 c > cmir : - - - - - - - 4819 0 142 142 0 -
23.39/23.58 c > flowcover : - - - - - - - 2826 0 258 258 0 -
23.39/23.58 c > knapsackcover : - - - - - - - 80 7 13 12 1 -
23.39/23.58 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c clique : 0.02 0.00 12 12 0 0 0 0 0 0 0 0 0
23.39/23.58 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c gomory : 1.05 0.00 34 10 0 0 2972 5977 44 209 208 1 0
23.39/23.58 c > gomorymi : - - - - - - - 3055 22 114 114 0 -
23.39/23.58 c > strongcg : - - - - - - - 2922 22 95 94 1 -
23.39/23.58 c impliedbounds : 0.00 0.00 38 12 0 12 24 30 0 20 20 0 0
23.39/23.58 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
23.39/23.58 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c mixing : 0.00 0.00 38 12 0 0 0 0 0 0 0 0 0
23.39/23.58 c multilinear : 0.00 0.00 52 12 0 0 0 0 0 0 0 0 0
23.39/23.58 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.39/23.58 c rlt : 0.05 0.00 22 10 0 0 4 5 0 3 3 0 0
23.39/23.58 c zerohalf : 0.08 0.00 36 12 0 0 78 211 1 51 50 1 0
23.39/23.58 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
23.39/23.58 c hybrid : 0.02 0.00 85 13 757 0 14312 390 0 8336
23.39/23.58 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c Pricers : ExecTime SetupTime Calls Vars
23.39/23.58 c problem variables: 0.00 - 0 0
23.39/23.58 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
23.39/23.58 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c random : 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c relpscost : 13.81 0.00 385 0 0 0 2533 0 454 464
23.39/23.58 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
23.39/23.58 c Primal Heuristics : ExecTime SetupTime Calls Found Best
23.39/23.58 c LP solutions : 0.00 - - 3 3
23.39/23.58 c relax solutions : 0.00 - - 0 0
23.39/23.58 c pseudo solutions : 0.00 - - 0 0
23.39/23.58 c strong branching : 0.03 - - 0 0
23.39/23.58 c actconsdiving : 0.00 0.00 0 0 0
23.39/23.58 c adaptivediving : 0.00 0.00 0 0 0
23.39/23.58 c alns : 0.12 0.00 3 2 2
23.39/23.58 c bound : 0.00 0.00 0 0 0
23.39/23.58 c clique : 0.02 0.00 1 0 0
23.39/23.58 c coefdiving : 0.00 0.00 0 0 0
23.39/23.58 c completesol : 0.00 0.00 0 0 0
23.39/23.58 c conflictdiving : 0.07 0.00 1 0 0
23.39/23.58 c crossover : 0.00 0.00 0 0 0
23.39/23.58 c dins : 0.00 0.00 0 0 0
23.39/23.58 c distributiondivin: 0.01 0.00 0 0 0
23.39/23.58 c dps : 0.00 0.00 0 0 0
23.39/23.58 c dualval : 0.00 0.00 0 0 0
23.39/23.58 c farkasdiving : 0.83 0.00 1 1 1
23.39/23.58 c feasjump : 0.00 0.00 0 0 0
23.39/23.58 c feaspump : 0.11 0.00 1 0 0
23.39/23.58 c fixandinfer : 0.00 0.00 0 0 0
23.39/23.58 c fracdiving : 0.00 0.00 0 0 0
23.39/23.58 c gins : 0.00 0.00 0 0 0
23.39/23.58 c guideddiving : 0.00 0.00 0 0 0
23.39/23.58 c indcoefdiving : 0.00 0.00 0 0 0
23.39/23.58 c indicator : 0.00 0.00 0 0 0
23.39/23.58 c indicatordiving : 0.00 0.00 0 0 0
23.39/23.58 c indoneopt : 0.11 0.00 10 0 0
23.39/23.58 c indrounding : 0.00 0.00 0 0 0
23.39/23.58 c indtwoopt : 0.00 0.00 0 0 0
23.39/23.58 c intdiving : 0.00 0.00 0 0 0
23.39/23.58 c intshifting : 0.00 0.00 0 0 0
23.39/23.58 c linesearchdiving : 0.00 0.00 0 0 0
23.39/23.58 c localbranching : 0.00 0.00 0 0 0
23.39/23.58 c locks : 0.03 0.00 1 1 1
23.39/23.58 c lpface : 2.20 0.00 1 0 0
23.39/23.58 c mpec : 0.00 0.00 0 0 0
23.39/23.58 c multistart : 0.00 0.00 0 0 0
23.39/23.58 c mutation : 0.00 0.00 0 0 0
23.39/23.58 c nlpdiving : 0.00 0.00 0 0 0
23.39/23.58 c objpscostdiving : 0.00 0.00 0 0 0
23.39/23.58 c octane : 0.00 0.00 0 0 0
23.39/23.58 c ofins : 0.00 0.00 0 0 0
23.39/23.58 c oneopt : 0.01 0.00 10 2 2
23.39/23.58 c padm : 0.00 0.00 0 0 0
23.39/23.58 c proximity : 0.00 0.00 0 0 0
23.39/23.58 c pscostdiving : 0.00 0.00 0 0 0
23.39/23.58 c randrounding : 0.06 0.00 38 0 0
23.39/23.58 c rens : 0.03 0.00 1 0 0
23.39/23.58 c reoptsols : 0.00 0.00 0 0 0
23.39/23.58 c repair : 0.00 0.00 0 0 0
23.39/23.58 c rins : 0.00 0.00 0 0 0
23.39/23.58 c rootsoldiving : 0.00 0.00 0 0 0
23.39/23.58 c rounding : 0.02 0.00 457 1 1
23.39/23.58 c scheduler : 0.00 0.00 0 0 0
23.39/23.58 c shiftandpropagate: 0.00 0.00 0 0 0
23.39/23.58 c shifting : 0.05 0.00 91 5 2
23.39/23.58 c simplerounding : 0.00 0.00 472 0 0
23.39/23.58 c smallcard : 0.00 0.00 0 0 0
23.39/23.58 c subnlp : 0.00 0.00 0 0 0
23.39/23.58 c trivial : 0.00 0.00 2 0 0
23.39/23.58 c trivialnegation : 0.00 0.00 0 0 0
23.39/23.58 c trustregion : 0.00 0.00 0 0 0
23.39/23.58 c trysol : 0.00 0.00 3 2 0
23.39/23.58 c twoopt : 0.00 0.00 0 0 0
23.39/23.58 c undercover : 0.00 0.00 1 0 0
23.39/23.58 c vbounds : 0.00 0.00 0 0 0
23.39/23.58 c veclendiving : 0.00 0.00 0 0 0
23.39/23.58 c zeroobj : 0.00 0.00 0 0 0
23.39/23.58 c zirounding : 0.02 0.00 217 0 0
23.39/23.58 c other solutions : - - - 0 -
23.39/23.58 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
23.39/23.58 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
23.39/23.58 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
23.39/23.58 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
23.39/23.58 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
23.39/23.58 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
23.39/23.58 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
23.39/23.58 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
23.39/23.58 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
23.39/23.58 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
23.39/23.58 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
23.39/23.58 c primal LP : 0.04 25 0 0.00 0.00 0.04 25
23.39/23.58 c dual LP : 1.37 527 14022 33.47 10199.49 0.14 108
23.39/23.58 c lex dual LP : 0.00 0 0 0.00 -
23.39/23.58 c barrier LP : 0.00 0 0 0.00 - 0.00 0
23.39/23.58 c resolve instable : 0.00 0 0 0.00 -
23.39/23.58 c diving/probing LP: 2.00 404 13395 33.16 6684.03
23.39/23.58 c strong branching : 10.08 2135 91935 43.06 9118.96 - - 421
23.39/23.58 c (at root node) : - 19 3760 197.89 -
23.39/23.58 c conflict analysis: 0.00 4 10 2.50 -
23.39/23.58 c B&B Tree :
23.39/23.58 c number of runs : 1
23.39/23.58 c nodes : 294 (232 internal, 62 leaves)
23.39/23.58 c feasible leaves : 3
23.39/23.58 c infeas. leaves : 56
23.39/23.58 c objective leaves : 3
23.39/23.58 c nodes (total) : 294 (232 internal, 62 leaves)
23.39/23.58 c nodes left : 0
23.39/23.58 c max depth : 61
23.39/23.58 c max depth (total): 61
23.39/23.58 c backtracks : 49 (16.7%)
23.39/23.58 c early backtracks : 0 (0.0%)
23.39/23.58 c nodes exc. ref. : 0 (0.0%)
23.39/23.58 c delayed cutoffs : 31
23.39/23.58 c repropagations : 317 (3985 domain reductions, 19 cutoffs)
23.39/23.58 c avg switch length: 4.50
23.39/23.58 c switching time : 0.13
23.39/23.58 c Root Node :
23.39/23.58 c First LP value : +0.00000000000000e+00
23.39/23.58 c First LP Iters : 1040 (57407.82 Iter/sec)
23.39/23.58 c First LP Time : 0.02
23.39/23.58 c Final Dual Bound : +0.00000000000000e+00
23.39/23.58 c Final Root Iters : 2968
23.39/23.58 c Root LP Estimate : +6.78735924819186e-01
23.39/23.58 c Solution :
23.39/23.58 c Solutions found : 17 (12 improvements)
23.39/23.58 c First Solution : +1.24038000000000e+05 (in run 1, after 1 nodes, 2.38 seconds, depth 1117, found by <locks>)
23.39/23.58 c Gap First Sol. : infinite
23.39/23.58 c Gap Last Sol. : infinite
23.39/23.58 c Primal Bound : +1.00000000000000e+00 (in run 1, after 164 nodes, 17.72 seconds, depth 35, found by <relaxation>)
23.39/23.58 c Dual Bound : +1.00000000000000e+00
23.39/23.58 c Gap : 0.00 %
23.39/23.58 c Integrals : Total Avg%
23.39/23.58 c primal-dual : 2356.84 100.00
23.39/23.58 c primal-ref : - - (not evaluated)
23.39/23.58 c dual-ref : - - (not evaluated)
23.49/23.64 c Time complete: 23.5374.
OK 1
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: 63665 MiB (60811 MiB free)
memory of node 1: 64507 MiB (59009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525012-1751617088/watcher-4525012-1751617088 -o /tmp/evaluation-result-4525012-1751617088/solver-4525012-1751617088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751613033-91488 --watchdog 3760 pbscip -f HOME/instance-4525012-1751617088.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=92063, runsolver pid=92060
[startup+0.100069 s]*
/proc/loadavg: 4.11 4.14 4.06 6/264 92064
/proc/meminfo: memFree=122664964/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=76328 memory=48384 CPUtime=0.09 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 8822 0 0 0 8 1 0 0 20 0 1 0 77386536 78159872 12096 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 19082 12096 3648 3530 0 10533 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76328 KiB
Current children cumulated memory: 48384 KiB
[startup+0.205559 s]*
/proc/loadavg: 4.11 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122664964/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=76520 memory=48640 CPUtime=0.19 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 8877 0 0 0 18 1 0 0 20 0 1 0 77386536 78356480 12160 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 19130 12160 3648 3530 0 10581 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76520 KiB
Current children cumulated memory: 48640 KiB
[startup+0.305838 s]*
/proc/loadavg: 4.11 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122664964/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=76796 memory=48896 CPUtime=0.29 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 8942 0 0 0 28 1 0 0 20 0 1 0 77386536 78639104 12224 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 19199 12224 3648 3530 0 10650 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76796 KiB
Current children cumulated memory: 48896 KiB
[startup+0.700189 s]
/proc/loadavg: 4.11 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122665216/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=77312 memory=49408 CPUtime=0.67 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 9071 0 0 0 66 1 0 0 20 0 1 0 77386536 79167488 12352 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 19328 12352 3648 3530 0 10779 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77312 KiB
Current children cumulated memory: 49408 KiB
[startup+1.50015 s]
/proc/loadavg: 4.11 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122665216/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=78340 memory=50432 CPUtime=1.47 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 9329 0 0 0 146 1 0 0 20 0 1 0 77386536 80220160 12608 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 19585 12608 3648 3530 0 11036 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78340 KiB
Current children cumulated memory: 50432 KiB
[startup+3.10534 s]
/proc/loadavg: 4.11 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122641476/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=114896 memory=78712 CPUtime=3.06 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 16956 0 0 0 304 2 0 0 20 0 1 0 77386536 117653504 19678 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 28724 19678 3840 3530 0 20175 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 114896 KiB
Current children cumulated memory: 78712 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122593596/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=158580 memory=119448 CPUtime=6.25 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 31016 0 0 0 620 5 0 0 20 0 1 0 77386536 162385920 29862 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 39645 29862 3872 3530 0 31096 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 119448 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122558704/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=194232 memory=153708 CPUtime=12.63 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 41837 0 0 0 1256 7 0 0 20 0 1 0 77386536 198893568 38427 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 48558 38427 3936 3530 0 40009 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 194232 KiB
Current children cumulated memory: 153708 KiB
[startup+23.6476 s]
# the end of solver process 92063 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=23.4641 s, system=0.081713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.10 4.14 4.06 5/264 92064
/proc/meminfo: memFree=122558704/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=194232 memory=153708 CPUtime=12.73 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 41837 0 0 0 1266 7 0 0 20 0 1 0 77386536 198893568 38427 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 48558 38427 3936 3530 0 40009 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 194232 KiB
Current children cumulated memory: 153708 KiB
[startup+19.2002 s]
/proc/loadavg: 4.09 4.13 4.06 5/264 92064
/proc/meminfo: memFree=122559208/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=194232 memory=154348 CPUtime=19.11 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 41993 0 0 0 1904 7 0 0 20 0 1 0 77386536 198893568 38587 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 48558 38587 3936 3530 0 40009 0
Current children cumulated CPU time: 19.11 s
Current children cumulated vsize: 194232 KiB
Current children cumulated memory: 154348 KiB
[startup+20.8001 s]
/proc/loadavg: 4.16 4.15 4.07 5/264 92064
/proc/meminfo: memFree=122559208/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=194232 memory=154348 CPUtime=20.7 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 42000 0 0 0 2063 7 0 0 20 0 1 0 77386536 198893568 38587 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 48558 38587 3936 3530 0 40009 0
Current children cumulated CPU time: 20.7 s
Current children cumulated vsize: 194232 KiB
Current children cumulated memory: 154348 KiB
[startup+22.4002 s]
/proc/loadavg: 4.16 4.15 4.07 5/264 92064
/proc/meminfo: memFree=122559460/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=194232 memory=154348 CPUtime=22.3 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 42004 0 0 0 2223 7 0 0 20 0 1 0 77386536 198893568 38587 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 48558 38587 3936 3530 0 40009 0
Current children cumulated CPU time: 22.3 s
Current children cumulated vsize: 194232 KiB
Current children cumulated memory: 154348 KiB
[startup+23.2002 s]
/proc/loadavg: 4.16 4.15 4.07 5/264 92064
/proc/meminfo: memFree=122559460/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=194232 memory=154348 CPUtime=23.09 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 42006 0 0 0 2302 7 0 0 20 0 1 0 77386536 198893568 38587 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 48558 38587 3936 3530 0 40009 0
Current children cumulated CPU time: 23.09 s
Current children cumulated vsize: 194232 KiB
Current children cumulated memory: 154348 KiB
[startup+23.6002 s]
/proc/loadavg: 4.16 4.15 4.07 5/264 92064
/proc/meminfo: memFree=122559460/131249996 swapFree=33010672/33010684
[pid=92063] ppid=92060 vsize=194232 memory=154348 CPUtime=23.49 cores=5,7
/proc/92063/stat : 92063 (pbscip) R 92060 92063 91475 0 -1 4194304 42008 0 0 0 2342 7 0 0 20 0 1 0 77386536 198893568 38587 18446744073709551615 4235264 18693293 140728201059280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53698560 140728201062791 140728201062890 140728201062890 140728201068494 0
/proc/92063/statm: 48558 38587 3936 3530 0 40009 0
Current children cumulated CPU time: 23.49 s
Current children cumulated vsize: 194232 KiB
Current children cumulated memory: 154348 KiB
Child status: 0
Real time (s): 23.6476
CPU time (s): 23.5458
CPU user time (s): 23.4641
CPU system time (s): 0.081713
CPU usage (%): 99.5696
Max. virtual memory (cumulated for all children) (KiB): 195204
Max. memory (cumulated for all children) (KiB): 154348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.4641
system time used= 0.081713
maximum resident set size= 154348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42015
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= 82
involuntary context switches= 157
# summary of solver processes directly reported to runsolver:
# pid: 92063
# total CPU time (s): 23.5458
# total CPU user time (s): 23.4641
# total CPU system time (s): 0.081713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052092 second user time and 0.143479 second system time
The end
Begin job on nodeC017 at 2025-07-04 10:18:08 IDJOB=4525012 IDBENCH=143381 IDSOLVER=3382 FILE ID=nodeC017/4525012-1751617088 RUNJOBID= nodeC017-1751613033-91488 SLURM_JOB_ID= 9598916 Free space on /tmp= 432412 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-46s.smv--soft-33-100-0.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525012-1751617088/watcher-4525012-1751617088 -o /tmp/evaluation-result-4525012-1751617088/solver-4525012-1751617088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751613033-91488 --watchdog 3760 pbscip -f HOME/instance-4525012-1751617088.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cb398b67416b851b196eddd919bddf4e RANDOM SEED=30028350 nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3600.059 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.060 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3595.614 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3700.000 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.075 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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 : 3600.121 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 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.069 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 122696652 kB MemAvailable: 127065648 kB Buffers: 1688 kB Cached: 5136744 kB SwapCached: 8 kB Active: 2988136 kB Inactive: 4846632 kB Active(anon): 2698280 kB Inactive(anon): 16128 kB Active(file): 289856 kB Inactive(file): 4830504 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18828 kB Writeback: 0 kB AnonPages: 2699400 kB Mapped: 138268 kB Shmem: 18072 kB KReclaimable: 175348 kB Slab: 266700 kB SReclaimable: 175348 kB SUnreclaim: 91352 kB KernelStack: 4256 kB PageTables: 8708 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 3463432 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1167360 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432392 MiB End job on nodeC017 at 2025-07-04 10:18:32