Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 1.315 | 1.32054 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo |
| MD5SUM | 2ddfb8f92a58e9b80b09db9b967cf9fb |
| 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.042207 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 870 |
| Total number of constraints | 1462 |
| Number of soft constraints | 1027 |
| Number of constraints which are clauses | 1027 |
| Number of constraints which are cardinality constraints (but not clauses) | 435 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 5 |
| Top cost | 1028 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 1027 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 9 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4425206-1720888890.wbo>
0.00/0.01 c original problem has 1897 variables (1897 bin, 0 int, 0 impl, 0 cont) and 2490 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 435 del vars, 436 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.03 c (round 2, fast) 445 del vars, 455 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.03 c (round 3, fast) 483 del vars, 474 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.04 c (round 4, exhaustive) 509 del vars, 475 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.05 c (round 5, exhaustive) 534 del vars, 475 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.05 c (round 6, fast) 534 del vars, 500 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.06 c (round 7, exhaustive) 559 del vars, 500 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.06 c (round 8, fast) 559 del vars, 525 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.06 c (round 9, exhaustive) 584 del vars, 525 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.06 c (round 10, fast) 584 del vars, 550 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.07 c (round 11, exhaustive) 609 del vars, 550 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.07 c (round 12, fast) 609 del vars, 575 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.08 c (round 13, exhaustive) 634 del vars, 575 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.08 c (round 14, fast) 634 del vars, 600 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.09 c (round 15, exhaustive) 659 del vars, 600 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.09 c (round 16, fast) 659 del vars, 625 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.10 c (round 17, exhaustive) 684 del vars, 625 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.10 c (round 18, fast) 684 del vars, 650 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.11 c (round 19, exhaustive) 709 del vars, 650 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.00/0.11 c (round 20, fast) 709 del vars, 675 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.11 c (round 21, exhaustive) 734 del vars, 675 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.11 c (round 22, fast) 734 del vars, 700 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.12 c (round 23, exhaustive) 759 del vars, 700 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.12 c (round 24, fast) 759 del vars, 725 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.13 c (round 25, exhaustive) 784 del vars, 725 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.13 c (round 26, fast) 784 del vars, 750 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.13 c (round 27, exhaustive) 809 del vars, 750 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.14 c (round 28, fast) 809 del vars, 775 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.14 c (round 29, exhaustive) 834 del vars, 775 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.14 c (round 30, fast) 834 del vars, 800 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.15 c (round 31, exhaustive) 859 del vars, 800 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.15 c (round 32, fast) 859 del vars, 825 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.16 c (round 33, exhaustive) 884 del vars, 825 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.16 c (round 34, fast) 884 del vars, 850 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.16 c (round 35, exhaustive) 909 del vars, 850 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.17 c (round 36, fast) 909 del vars, 875 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.17 c (round 37, exhaustive) 934 del vars, 875 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.17 c (round 38, fast) 934 del vars, 900 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.18 c (round 39, exhaustive) 959 del vars, 900 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.18 c (round 40, fast) 959 del vars, 925 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.19 c (round 41, exhaustive) 984 del vars, 925 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.19 c (round 42, fast) 984 del vars, 950 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.19 c (round 43, exhaustive) 1009 del vars, 950 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.19 c (round 44, fast) 1009 del vars, 975 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.20 c (0.2s) probing: 1000/2440 (41.0%) - 0 fixings, 527 aggregations, 0 implications, 0 bound changes
0.10/0.20 c (round 45, exhaustive) 1034 del vars, 975 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.20 c (round 46, fast) 1034 del vars, 1000 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.21 c (round 47, exhaustive) 1059 del vars, 1000 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.21 c (round 48, fast) 1059 del vars, 1025 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.10/0.21 c (round 49, exhaustive) 1084 del vars, 1025 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.21/0.22 c (round 50, fast) 1084 del vars, 1050 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.21/0.22 c (round 51, exhaustive) 1109 del vars, 1050 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.21/0.22 c (round 52, fast) 1109 del vars, 1075 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 0 clqs
0.21/0.23 c (round 53, exhaustive) 1134 del vars, 1075 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.23 c (round 54, fast) 1134 del vars, 1100 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.23 c (round 55, exhaustive) 1159 del vars, 1100 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.24 c (round 56, fast) 1159 del vars, 1125 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.24 c (round 57, exhaustive) 1184 del vars, 1125 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.24 c (round 58, fast) 1184 del vars, 1150 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.25 c (round 59, exhaustive) 1209 del vars, 1150 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.25 c (round 60, fast) 1209 del vars, 1175 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.25 c (round 61, exhaustive) 1234 del vars, 1175 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.25 c (round 62, fast) 1234 del vars, 1200 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.26 c (round 63, exhaustive) 1259 del vars, 1200 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.26 c (round 64, fast) 1259 del vars, 1225 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.27 c (round 65, exhaustive) 1284 del vars, 1225 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.27 c (round 66, fast) 1284 del vars, 1250 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.27 c (round 67, exhaustive) 1309 del vars, 1250 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.27 c (round 68, fast) 1309 del vars, 1275 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.28 c (round 69, exhaustive) 1334 del vars, 1275 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.28 c (round 70, fast) 1334 del vars, 1300 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 1 clqs
0.21/0.28 c (round 71, exhaustive) 1359 del vars, 1300 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.28 c (round 72, fast) 1359 del vars, 1325 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.29 c (round 73, exhaustive) 1384 del vars, 1325 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.29 c (round 74, fast) 1384 del vars, 1350 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.29 c (round 75, exhaustive) 1409 del vars, 1350 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.29 c (round 76, fast) 1409 del vars, 1375 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.30 c (round 77, exhaustive) 1434 del vars, 1375 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.30 c (round 78, fast) 1434 del vars, 1400 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.30 c (round 79, exhaustive) 1459 del vars, 1400 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.30 c (round 80, fast) 1459 del vars, 1425 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 2 clqs
0.21/0.31 c (0.3s) probing: 2000/2440 (82.0%) - 0 fixings, 986 aggregations, 3 implications, 0 bound changes
0.21/0.31 c (round 81, exhaustive) 1484 del vars, 1425 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 3 clqs
0.21/0.31 c (round 82, fast) 1484 del vars, 1450 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 3 clqs
0.21/0.32 c (0.3s) probing: 2090/2440 (85.7%) - 0 fixings, 1007 aggregations, 3 implications, 0 bound changes
0.21/0.32 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.21/0.32 c (round 83, exhaustive) 1491 del vars, 1450 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 3 clqs
0.21/0.32 c (round 84, fast) 1491 del vars, 1475 del conss, 0 add conss, 1008 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 3 clqs
0.21/0.32 c (0.3s) probing: 2095/2440 (85.9%) - 0 fixings, 1007 aggregations, 3 implications, 0 bound changes
0.21/0.32 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.21/0.32 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.31/0.32 c (0.3s) symmetry computation finished: 6 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.31/0.33 c dynamic symmetry handling statistics:
0.31/0.33 c orbitopal reduction: 1 components: 3x3
0.31/0.33 c orbital reduction: 1 components of sizes 3
0.31/0.33 c lexicographic reduction: 4 permutations with support sizes 6, 6, 6, 6
0.31/0.33 c handled 3 out of 3 symmetry components
0.31/0.33 c presolving (85 rounds: 85 fast, 42 medium, 42 exhaustive):
0.31/0.33 c 1491 deleted vars, 1475 deleted constraints, 0 added constraints, 1008 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.31/0.33 c 1027 implications, 3 cliques
0.31/0.33 c presolved problem has 1433 variables (1433 bin, 0 int, 0 impl, 0 cont) and 1015 constraints
0.31/0.33 c 1007 constraints of type <linear>
0.31/0.33 c 8 constraints of type <indicator>
0.31/0.33 c transformed objective value is always integral (scale: 1)
0.31/0.33 c Presolving Time: 0.31
0.31/0.33 c - non default parameters ----------------------------------------------------------------------
0.31/0.33 c # SCIP version 10.0.0
0.31/0.33 c
0.31/0.33 c # maximal time in seconds to run
0.31/0.33 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.31/0.33 c limits/time = 3596.99706
0.31/0.33 c
0.31/0.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.31/0.33 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.31/0.33 c limits/memory = 27900
0.31/0.33 c
0.31/0.33 c # belongs reading time to solving time?
0.31/0.33 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.31/0.33 c timing/reading = TRUE
0.31/0.33 c
0.31/0.33 c -----------------------------------------------------------------------------------------------
0.31/0.33 c start solving
0.31/0.33 c
0.31/0.33 o 1008
0.31/0.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.31/0.33 c t 0.3s| 1 | 0 | 0 | - | trivial| 0 |1433 |1015 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.008000e+03 | Inf | unknown
0.31/0.34 o 250
0.31/0.34 c i 0.3s| 1 | 0 | 0 | - | oneopt| 0 |1433 |1015 |1008 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.500000e+02 | Inf | unknown
0.31/0.37 c 0.4s| 1 | 0 | 377 | - | 30M | 0 |1433 |1015 |1008 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.500000e+02 | Inf | unknown
0.31/0.39 c 0.4s| 1 | 0 | 399 | - | 31M | 0 |1433 |1015 |1010 | 2 | 1 | 0 | 0 | 0.000000e+00 | 2.500000e+02 | Inf | unknown
0.31/0.42 c 0.4s| 1 | 0 | 437 | - | 33M | 0 |1433 |1015 |1011 | 3 | 2 | 0 | 0 | 0.000000e+00 | 2.500000e+02 | Inf | unknown
0.42/0.42 o 14
0.42/0.42 c r 0.4s| 1 | 0 | 437 | - |shifting| 0 |1433 |1015 |1011 | 3 | 2 | 0 | 0 | 0.000000e+00 | 1.400000e+01 | Inf | unknown
0.42/0.46 c 0.5s| 1 | 0 | 520 | - | 34M | 0 |1433 |1015 |1013 | 5 | 3 | 0 | 0 | 0.000000e+00 | 1.400000e+01 | Inf | unknown
0.42/0.46 o 5
0.42/0.46 c r 0.5s| 1 | 0 | 520 | - |shifting| 0 |1433 |1015 |1013 | 5 | 3 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
0.52/0.58 c 0.6s| 1 | 0 | 571 | - | 37M | 0 |1433 |1015 |1014 | 6 | 4 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
0.69/0.75 c 0.8s| 1 | 0 | 606 | - | 42M | 0 |1433 |1015 |1015 | 7 | 5 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
0.79/0.81 c 0.8s| 1 | 0 | 624 | - | 43M | 0 |1433 |1015 |1016 | 8 | 6 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
0.79/0.87 c 0.9s| 1 | 0 | 660 | - | 44M | 0 |1433 |1015 |1018 | 10 | 7 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
0.89/0.98 c 1.0s| 1 | 0 | 670 | - | 46M | 0 |1433 |1015 |1019 | 11 | 8 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
1.00/1.09 c 1.1s| 1 | 0 | 702 | - | 49M | 0 |1433 |1015 |1020 | 12 | 9 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
1.10/1.18 c 1.2s| 1 | 0 | 716 | - | 50M | 0 |1433 |1015 |1021 | 13 | 10 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
1.10/1.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.10/1.19 c 1.2s| 1 | 0 | 726 | - | 50M | 0 |1433 |1015 |1020 | 14 | 11 | 0 | 0 | 0.000000e+00 | 5.000000e+00 | Inf | unknown
1.18/1.20 o 1
1.18/1.20 c o 1.2s| 1 | 0 | 1031 | - |feaspump| 0 |1433 |1015 |1020 | 14 | 11 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
1.18/1.25 c 1.2s| 1 | 0 | 1031 | - | 50M | 0 |1433 | 707 |1020 | 14 | 11 | 0 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
1.18/1.25 c 1.3s| 1 | 0 | 1041 | - | 51M | 0 |1433 | 709 |1022 | 16 | 12 | 2 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
1.18/1.26 c 1.3s| 1 | 0 | 1043 | - | 51M | 0 |1433 | 709 |1023 | 17 | 13 | 2 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
1.18/1.26 c (run 1, node 1) restarting after 1111 global fixings of integer variables
1.18/1.26 c
1.18/1.26 c (restart) converted 15 cuts from the global cut pool into linear constraints
1.18/1.26 c
1.18/1.27 c presolving:
1.18/1.28 c (round 1, fast) 1165 del vars, 86 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 483 clqs
1.18/1.28 c (round 2, fast) 1165 del vars, 107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 483 clqs
1.18/1.28 c (round 3, medium) 1328 del vars, 107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1027 impls, 156 clqs
1.18/1.28 c (round 4, fast) 1333 del vars, 444 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 0 upgd conss, 1027 impls, 152 clqs
1.18/1.28 c (round 5, fast) 1333 del vars, 449 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 0 upgd conss, 1027 impls, 152 clqs
1.18/1.28 c (round 6, exhaustive) 1333 del vars, 456 del conss, 0 add conss, 0 chg bounds, 8 chg sides, 3 chg coeffs, 0 upgd conss, 1027 impls, 152 clqs
1.18/1.28 c (round 7, fast) 1334 del vars, 457 del conss, 0 add conss, 0 chg bounds, 8 chg sides, 3 chg coeffs, 0 upgd conss, 1027 impls, 150 clqs
1.18/1.28 c (round 8, exhaustive) 1334 del vars, 457 del conss, 0 add conss, 0 chg bounds, 8 chg sides, 3 chg coeffs, 266 upgd conss, 1027 impls, 150 clqs
1.18/1.28 c (round 9, fast) 1334 del vars, 459 del conss, 0 add conss, 0 chg bounds, 8 chg sides, 3 chg coeffs, 266 upgd conss, 1027 impls, 150 clqs
1.18/1.28 c (round 10, medium) 1340 del vars, 473 del conss, 2 add conss, 0 chg bounds, 10 chg sides, 7 chg coeffs, 266 upgd conss, 1027 impls, 144 clqs
1.18/1.28 c (round 11, medium) 1341 del vars, 475 del conss, 2 add conss, 0 chg bounds, 10 chg sides, 7 chg coeffs, 266 upgd conss, 1027 impls, 143 clqs
1.18/1.28 c (round 12, exhaustive) 1341 del vars, 610 del conss, 41 add conss, 0 chg bounds, 10 chg sides, 7 chg coeffs, 266 upgd conss, 1027 impls, 143 clqs
1.18/1.28 c (round 13, exhaustive) 1341 del vars, 610 del conss, 41 add conss, 0 chg bounds, 10 chg sides, 12 chg coeffs, 266 upgd conss, 1027 impls, 148 clqs
1.18/1.28 c (round 14, exhaustive) 1341 del vars, 610 del conss, 41 add conss, 0 chg bounds, 10 chg sides, 15 chg coeffs, 266 upgd conss, 1027 impls, 148 clqs
1.18/1.28 c (round 15, exhaustive) 1341 del vars, 610 del conss, 41 add conss, 0 chg bounds, 10 chg sides, 16 chg coeffs, 266 upgd conss, 1027 impls, 148 clqs
1.18/1.28 c (round 16, exhaustive) 1341 del vars, 610 del conss, 41 add conss, 0 chg bounds, 10 chg sides, 20 chg coeffs, 266 upgd conss, 1027 impls, 148 clqs
1.18/1.28 c presolving (17 rounds: 17 fast, 11 medium, 8 exhaustive):
1.18/1.28 c 1341 deleted vars, 610 deleted constraints, 41 added constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 20 changed coefficients
1.18/1.28 c 1027 implications, 151 cliques
1.18/1.28 c presolved problem has 92 variables (92 bin, 0 int, 0 impl, 0 cont) and 156 constraints
1.18/1.28 c 14 constraints of type <knapsack>
1.18/1.28 c 53 constraints of type <setppc>
1.18/1.28 c 33 constraints of type <and>
1.18/1.28 c 56 constraints of type <logicor>
1.18/1.28 c transformed objective value is always integral (scale: 1)
1.18/1.28 c Presolving Time: 0.32
1.18/1.28 c
1.18/1.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.18/1.29 c 1.3s| 1 | 0 | 1099 | - | 50M | 0 | 92 | 171 | 189 | 0 | 0 | 19 | 0 | 0.000000e+00 | 1.000000e+00 | Inf | unknown
1.29/1.30 c 1.3s| 1 | 0 | 1109 | - | 50M | 0 | 92 | 173 | 124 | 3 | 1 | 24 | 0 | 1.000000e+00 | 1.000000e+00 | 0.00%| unknown
1.29/1.30 c 1.3s| 1 | 0 | 1109 | - | 50M | 0 | 92 | 173 | 124 | 3 | 1 | 24 | 0 | 1.000000e+00 | 1.000000e+00 | 0.00%| unknown
1.29/1.30 c
1.29/1.30 c SCIP Status : problem is solved [optimal solution found]
1.29/1.30 c Solving Time (sec) : 1.30
1.29/1.30 c Solving Nodes : 1 (total of 2 nodes in 2 runs)
1.29/1.30 c Primal Bound : +1.00000000000000e+00 (6 solutions)
1.29/1.30 c Dual Bound : +1.00000000000000e+00
1.29/1.30 c Gap : 0.00 %
1.29/1.30 s OPTIMUM FOUND
1.29/1.30 v x870 -x869 x868 -x867 -x866 x865 x864 -x863 -x862 x861 -x860 x859 -x858 x857 -x856 x855 -x854 x853 x852 -x851 -x850 x849 -x848
1.29/1.30 v x847 -x846 x845 -x844 x843 -x842 x841 -x840 x839 -x838 x837 -x836 x835 -x834 x833 -x832 x831 -x830 x829 x828 -x827 -x826 x825
1.29/1.30 v -x824 x823 -x822 x821 -x820 x819 x818 -x817 -x816 x815 -x814 x813 -x812 x811 -x810 x809 -x808 x807 -x806 x805 -x804 x803 x802
1.29/1.30 v -x801 -x800 x799 -x798 x797 x796 -x795 x794 -x793 x792 -x791 x790 -x789 -x788 x787 -x786 x785 x784 -x783 -x782 x781 x780 -x779
1.29/1.30 v -x778 x777 -x776 x775 x774 -x773 x772 -x771 -x770 x769 -x768 x767 -x766 x765 -x764 x763 -x762 x761 -x760 x759 x758 -x757
1.29/1.30 v x756 -x755 -x754 x753 -x752 x751 -x750 x749 x748 -x747 x746 -x745 -x744 x743 -x742 x741 x740 -x739 -x738 x737 -x736 x735 x734
1.29/1.30 v -x733 -x732 x731 -x730 x729 -x728 x727 -x726 x725 -x724 x723 -x722 x721 x720 -x719 -x718 x717 -x716 x715 -x714 x713 x712 -x711
1.29/1.30 v x710 -x709 x708 -x707 x706 -x705 -x704 x703 -x702 x701 x700 -x699 -x698 x697 -x696 x695 -x694 x693 -x692 x691 x690 -x689 -x688
1.29/1.30 v x687 x686 -x685 -x684 x683 -x682 x681 -x680 x679 x678 -x677 -x676 x675 -x674 x673 x672 -x671 x670 -x669 -x668 x667 -x666
1.29/1.30 v x665 x664 -x663 x662 -x661 x660 -x659 -x658 x657 -x656 x655 x654 -x653 -x652 x651 -x650 x649 x648 -x647 -x646 x645 -x644 x643
1.29/1.30 v -x642 x641 x640 -x639 -x638 x637 -x636 x635 x634 -x633 -x632 x631 -x630 x629 x628 -x627 -x626 x625 x624 -x623 x622 -x621 -x620
1.29/1.30 v x619 -x618 x617 -x616 x615 -x614 x613 x612 -x611 x610 -x609 x608 -x607 -x606 x605 -x604 x603 x602 -x601 -x600 x599 -x598
1.29/1.30 v x597 -x596 x595 -x594 x593 x592 -x591 x590 -x589 -x588 x587 -x586 x585 x584 -x583 -x582 x581 -x580 x579 -x578 x577 -x576 x575
1.29/1.30 v -x574 x573 x572 -x571 x570 -x569 x568 -x567 -x566 x565 -x564 x563 x562 -x561 -x560 x559 -x558 x557 x556 -x555 -x554 x553 -x552
1.29/1.30 v x551 -x550 x549 x548 -x547 -x546 x545 -x544 x543 -x542 x541 -x540 x539 -x538 x537 -x536 x535 x534 -x533 -x532 x531 -x530 x529
1.29/1.30 v x528 -x527 x526 -x525 -x524 x523 -x522 x521 x520 -x519 -x518 x517 -x516 x515 -x514 x513 -x512 x511 x510 -x509 -x508 x507
1.29/1.30 v -x506 x505 x504 -x503 -x502 x501 x500 -x499 -x498 x497 -x496 x495 x494 -x493 -x492 x491 -x490 x489 x488 -x487 -x486 x485 -x484
1.29/1.30 v x483 -x482 x481 x480 -x479 x478 -x477 x476 -x475 -x474 x473 -x472 x471 x470 -x469 -x468 x467 -x466 x465 x464 -x463 -x462 x461
1.29/1.30 v x460 -x459 x458 -x457 -x456 x455 -x454 x453 -x452 x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 x442 -x441 -x440 x439 -x438
1.29/1.30 v x437 -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 -x426 x425 x424 -x423 x422 -x421 -x420 x419 -x418 x417 x416
1.29/1.30 v -x415 x414 -x413 -x412 x411 x410 -x409 x408 -x407 x406 -x405 -x404 x403 -x402 x401 x400 -x399 -x398 x397 -x396 x395 -x394 x393
1.29/1.30 v -x392 x391 -x390 x389 -x388 x387 x386 -x385 x384 -x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370
1.29/1.30 v x369 x368 -x367 -x366 x365 x364 -x363 x362 -x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 x352 -x351 -x350 x349 x348 -x347
1.29/1.30 v x346 -x345 x344 -x343 -x342 x341 -x340 x339 x338 -x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325
1.29/1.30 v -x324 x323 x322 -x321 x320 -x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 x306 -x305 -x304 x303 -x302
1.29/1.30 v x301 x300 -x299 x298 -x297 x296 -x295 -x294 x293 x292 -x291 x290 -x289 x288 -x287 -x286 x285 x284 -x283 x282 -x281 x280 -x279
1.29/1.30 v -x278 x277 -x276 x275 x274 -x273 x272 -x271 x270 -x269 -x268 x267 x266 -x265 x264 -x263 x262 -x261 x260 -x259 x258 -x257
1.29/1.30 v -x256 x255 -x254 x253 -x252 x251 x250 -x249 x248 -x247 -x246 x245 -x244 x243 x242 -x241 -x240 x239 x238 -x237 -x236 x235 -x234
1.29/1.30 v x233 x232 -x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 x212 -x211
1.29/1.30 v x210 -x209 -x208 x207 -x206 x205 x204 -x203 -x202 x201 x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 x191 -x190 x189 x188
1.29/1.30 v -x187 x186 -x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 x176 -x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166
1.29/1.30 v x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 x146 -x145 x144 -x143
1.29/1.30 v -x142 x141 -x140 x139 -x138 x137 x136 -x135 x134 -x133 x132 -x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 x120
1.29/1.30 v -x119 x118 -x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 x108 -x107 x106 -x105 -x104 x103 -x102 x101 -x100 x99 x98 -x97
1.29/1.30 v x96 -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
1.29/1.30 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
1.29/1.30 v x41 -x40 x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 x28 -x27 x26 -x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14
1.29/1.30 v x13 -x12 x11 -x10 x9 x8 -x7 -x6 x5 -x4 x3 -x2 x1
1.29/1.30 c SCIP Status : problem is solved [optimal solution found]
1.29/1.30 c Total Time : 1.30
1.29/1.30 c solving : 1.30
1.29/1.30 c presolving : 0.32 (included in solving)
1.29/1.30 c reading : 0.01 (included in solving)
1.29/1.30 c copying : 0.01 (3 #copies) (minimal 0.00, maximal 0.00, average 0.00)
1.29/1.30 c Original Problem :
1.29/1.30 c Problem name : HOME/instance-4425206-1720888890.wbo
1.29/1.30 c Variables : 1897 (1897 binary, 0 integer, 0 implicit integer, 0 continuous)
1.29/1.30 c Constraints : 2490 initial, 2490 maximal
1.29/1.30 c Objective : minimize, 1027 non-zeros (abs.min = 1, abs.max = 1)
1.29/1.30 c Presolved Problem :
1.29/1.30 c Problem name : t_HOME/instance-4425206-1720888890.wbo
1.29/1.30 c Variables : 92 (92 binary, 0 integer, 0 implicit integer, 0 continuous)
1.29/1.30 c Constraints : 156 initial, 181 maximal
1.29/1.30 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
1.29/1.30 c Nonzeros : 724 constraint, 303 clique table
1.29/1.30 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.29/1.30 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c domcol : 0.00 0.00 43 0 0 0 0 0 0 0 0 0
1.29/1.30 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.29/1.30 c gateextraction : 0.00 0.00 8 0 0 0 0 0 135 39 0 0
1.29/1.30 c implics : 0.00 0.00 53 0 0 0 0 0 0 0 0 0
1.29/1.30 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.29/1.30 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c trivial : 0.00 0.00 102 1111 0 0 0 0 0 0 0 0
1.29/1.30 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c dualfix : 0.00 0.00 102 29 0 0 0 0 0 0 0 0
1.29/1.30 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.30 c probing : 0.22 0.00 42 0 1007 0 0 0 0 0 0 0
1.29/1.30 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.29/1.30 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.29/1.30 c vbounds : 0.00 0.00 3 1 162 0 0 0 0 0 0 0
1.29/1.30 c knapsack : 0.00 0.00 22 0 0 0 0 0 0 2 2 13
1.29/1.30 c setppc : 0.00 0.00 32 0 7 0 0 0 11 0 0 0
1.29/1.30 c and : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
1.29/1.30 c linear : 0.07 0.00 137 0 496 0 1008 0 912 0 8 3
1.29/1.31 c logicor : 0.00 0.00 30 0 0 0 0 0 8 0 0 4
1.29/1.31 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c indicator : 0.00 0.00 45 19 0 0 0 0 1019 0 0 0
1.29/1.31 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.29/1.31 c root node : - - - 1153 - - 1153 - - - - -
1.29/1.31 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.29/1.31 c benderslp : 0 0 0 0 0 0 0 303 0 0 0 0 0 0 0
1.29/1.31 c integral : 0 0 0 0 0 0 0 303 0 0 0 0 0 0 0
1.29/1.31 c knapsack : 14 14 2 137 0 0 0 0 17 0 0 0 0 0 0
1.29/1.31 c setppc : 53+ 55 3 168 0 0 0 3 18 1 0 0 0 0 0
1.29/1.31 c and : 33 33 2 146 0 0 0 0 65 1 0 14 2 0 0
1.29/1.31 c linear : 0+ 6 13 8050 0 0 0 295 7 2 102 0 0 0 0
1.29/1.31 c logicor : 56+ 74 2 99 0 0 0 0 32 8 0 0 0 0 0
1.29/1.31 c benders : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
1.29/1.31 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
1.29/1.31 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
1.29/1.31 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.29/1.31 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
1.29/1.31 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c and : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.01 0.00 0.00
1.29/1.31 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.29/1.31 c dualfix : 12 0 0 0
1.29/1.31 c genvbounds : 0 0 0 0
1.29/1.31 c nlobbt : 0 0 0 0
1.29/1.31 c obbt : 0 0 0 0
1.29/1.31 c probing : 0 0 0 0
1.29/1.31 c pseudoobj : 28 0 0 1008
1.29/1.31 c redcost : 17 0 0 0
1.29/1.31 c rootredcost : 0 0 0 0
1.29/1.31 c symmetry : 0 0 0 0
1.29/1.31 c vbounds : 115 0 0 0
1.29/1.31 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.29/1.31 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c probing : 0.22 0.00 0.22 0.00 0.00 0.00
1.29/1.31 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c symmetry : 0.01 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.29/1.31 c Symmetry :
1.29/1.31 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.29/1.31 c orbital reduction: 0 reductions applied, 0 cutoffs
1.29/1.31 c lexicographic red: 0 reductions applied, 0 cutoffs
1.29/1.31 c shadow tree time : 0.00 s
1.29/1.31 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.29/1.31 c propagation : 0.00 12 12 - 21 4.9 1 5.0 - - -
1.29/1.31 c infeasible LP : 0.00 1 1 - 3 8.7 0 0.0 1 5.0 0
1.29/1.31 c bound exceed. LP : 0.00 1 0 - 0 0.0 0 0.0 0 0.0 0
1.29/1.31 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.29/1.31 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1.29/1.31 c applied globally : 0.00 - - 0 23 4.7 - - 1 - -
1.29/1.31 c applied locally : - - - 0 0 0.0 - - 0 - -
1.29/1.31 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.29/1.31 c cut pool : 0.00 - 25 25 - - 952 1177 - - - - - (maximal pool size: 863)
1.29/1.31 c aggregation : 0.02 0.00 13 13 0 0 3 1 0 0 0 0 0
1.29/1.31 c > cmir : - - - - - - - 0 0 0 0 0 -
1.29/1.31 c > flowcover : - - - - - - - 1 0 0 0 0 -
1.29/1.31 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.29/1.31 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c clique : 0.00 0.00 13 13 0 0 0 0 0 0 0 0 0
1.29/1.31 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c gomory : 0.74 0.00 11 11 0 0 925 1151 0 12 12 0 0
1.29/1.31 c > gomorymi : - - - - - - - 521 0 10 10 0 -
1.29/1.31 c > strongcg : - - - - - - - 630 0 2 2 0 -
1.29/1.31 c impliedbounds : 0.00 0.00 13 13 0 0 11 1 0 1 1 0 0
1.29/1.31 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
1.29/1.31 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c multilinear : 0.00 0.00 13 13 0 0 0 0 0 0 0 0 0
1.29/1.31 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.29/1.31 c rapidlearning : 0.01 0.00 1 1 0 41 0 0 0 0 0 0 6
1.29/1.31 c rlt : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
1.29/1.31 c zerohalf : 0.02 0.00 13 13 0 0 13 24 0 5 5 0 0
1.29/1.31 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.29/1.31 c hybrid : 0.00 0.00 14 14 26 0 1165 26 0 1165
1.29/1.31 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c Pricers : ExecTime SetupTime Calls Vars
1.29/1.31 c problem variables: 0.00 - 0 0
1.29/1.31 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.29/1.31 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.29/1.31 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.29/1.31 c LP solutions : 0.00 - - 0 0
1.29/1.31 c relax solutions : 0.00 - - 0 0
1.29/1.31 c pseudo solutions : 0.00 - - 0 0
1.29/1.31 c strong branching : 0.00 - - 0 0
1.29/1.31 c actconsdiving : 0.00 0.00 0 0 0
1.29/1.31 c adaptivediving : 0.00 0.00 0 0 0
1.29/1.31 c alns : 0.01 0.00 1 0 0
1.29/1.31 c bound : 0.00 0.00 0 0 0
1.29/1.31 c clique : 0.00 0.00 1 0 0
1.29/1.31 c coefdiving : 0.00 0.00 0 0 0
1.29/1.31 c completesol : 0.00 0.00 0 0 0
1.29/1.31 c conflictdiving : 0.00 0.00 0 0 0
1.29/1.31 c crossover : 0.00 0.00 0 0 0
1.29/1.31 c dins : 0.00 0.00 0 0 0
1.29/1.31 c distributiondivin: 0.00 0.00 0 0 0
1.29/1.31 c dps : 0.00 0.00 0 0 0
1.29/1.31 c dualval : 0.00 0.00 0 0 0
1.29/1.31 c farkasdiving : 0.00 0.00 0 0 0
1.29/1.31 c feasjump : 0.00 0.00 0 0 0
1.29/1.31 c feaspump : 0.01 0.00 1 1 1
1.29/1.31 c fixandinfer : 0.00 0.00 0 0 0
1.29/1.31 c fracdiving : 0.00 0.00 0 0 0
1.29/1.31 c gins : 0.00 0.00 0 0 0
1.29/1.31 c guideddiving : 0.00 0.00 0 0 0
1.29/1.31 c indcoefdiving : 0.00 0.00 0 0 0
1.29/1.31 c indicator : 0.00 0.00 0 0 0
1.29/1.31 c indicatordiving : 0.00 0.00 0 0 0
1.29/1.31 c indoneopt : 0.03 0.00 4 0 0
1.29/1.31 c indrounding : 0.00 0.00 0 0 0
1.29/1.31 c indtwoopt : 0.00 0.00 0 0 0
1.29/1.31 c intdiving : 0.00 0.00 0 0 0
1.29/1.31 c intshifting : 0.00 0.00 0 0 0
1.29/1.31 c linesearchdiving : 0.00 0.00 0 0 0
1.29/1.31 c localbranching : 0.00 0.00 0 0 0
1.29/1.31 c locks : 0.01 0.00 1 0 0
1.29/1.31 c lpface : 0.00 0.00 0 0 0
1.29/1.31 c mpec : 0.00 0.00 0 0 0
1.29/1.31 c multistart : 0.00 0.00 0 0 0
1.29/1.31 c mutation : 0.00 0.00 0 0 0
1.29/1.31 c nlpdiving : 0.00 0.00 0 0 0
1.29/1.31 c objpscostdiving : 0.00 0.00 0 0 0
1.29/1.31 c octane : 0.00 0.00 0 0 0
1.29/1.31 c ofins : 0.00 0.00 0 0 0
1.29/1.31 c oneopt : 0.00 0.00 4 1 1
1.29/1.31 c padm : 0.00 0.00 0 0 0
1.29/1.31 c proximity : 0.00 0.00 0 0 0
1.29/1.31 c pscostdiving : 0.00 0.00 0 0 0
1.29/1.31 c randrounding : 0.02 0.00 16 0 0
1.29/1.31 c rens : 0.03 0.00 1 0 0
1.29/1.31 c reoptsols : 0.00 0.00 0 0 0
1.29/1.31 c repair : 0.00 0.00 0 0 0
1.29/1.31 c rins : 0.00 0.00 0 0 0
1.29/1.31 c rootsoldiving : 0.00 0.00 0 0 0
1.29/1.31 c rounding : 0.00 0.00 16 0 0
1.29/1.31 c scheduler : 0.00 0.00 0 0 0
1.29/1.31 c shiftandpropagate: 0.00 0.00 0 0 0
1.29/1.31 c shifting : 0.00 0.00 16 2 2
1.29/1.31 c simplerounding : 0.00 0.00 16 0 0
1.29/1.31 c smallcard : 0.00 0.00 0 0 0
1.29/1.31 c subnlp : 0.00 0.00 0 0 0
1.29/1.31 c trivial : 0.00 0.00 4 2 1
1.29/1.31 c trivialnegation : 0.00 0.00 0 0 0
1.29/1.31 c trustregion : 0.00 0.00 0 0 0
1.29/1.31 c trysol : 0.00 0.00 0 0 0
1.29/1.31 c twoopt : 0.00 0.00 0 0 0
1.29/1.31 c undercover : 0.00 0.00 1 0 0
1.29/1.31 c vbounds : 0.00 0.00 1 0 0
1.29/1.31 c veclendiving : 0.00 0.00 0 0 0
1.29/1.31 c zeroobj : 0.00 0.00 0 0 0
1.29/1.31 c zirounding : 0.00 0.00 1 0 0
1.29/1.31 c other solutions : - - - 0 -
1.29/1.31 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.29/1.31 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.29/1.31 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.29/1.31 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.29/1.31 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.29/1.31 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.29/1.31 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.29/1.31 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.29/1.31 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
1.29/1.31 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
1.29/1.31 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.29/1.31 c primal LP : 0.00 1 0 0.00 - 0.00 1
1.29/1.31 c dual LP : 0.03 18 804 47.29 28725.57 0.00 1
1.29/1.31 c lex dual LP : 0.00 0 0 0.00 -
1.29/1.31 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.29/1.31 c resolve instable : 0.00 0 0 0.00 -
1.29/1.31 c diving/probing LP: 0.01 1 305 305.00 -
1.29/1.31 c strong branching : 0.00 0 0 0.00 - - - 0
1.29/1.31 c (at root node) : - 0 0 0.00 -
1.29/1.31 c conflict analysis: 0.00 0 0 0.00 -
1.29/1.31 c B&B Tree :
1.29/1.31 c number of runs : 2
1.29/1.31 c nodes : 1 (0 internal, 1 leaves)
1.29/1.31 c feasible leaves : 0
1.29/1.31 c infeas. leaves : 0
1.29/1.31 c objective leaves : 0
1.29/1.31 c nodes (total) : 2 (0 internal, 2 leaves)
1.29/1.31 c nodes left : 0
1.29/1.31 c max depth : 0
1.29/1.31 c max depth (total): 0
1.29/1.31 c backtracks : 0 (0.0%)
1.29/1.31 c early backtracks : 0 (0.0%)
1.29/1.31 c nodes exc. ref. : 0 (0.0%)
1.29/1.31 c delayed cutoffs : 0
1.29/1.31 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.29/1.31 c avg switch length: 2.00
1.29/1.31 c switching time : 0.00
1.29/1.31 c Root Node :
1.29/1.31 c First LP value : +0.00000000000000e+00
1.29/1.31 c First LP Iters : 377 (95322.38 Iter/sec)
1.29/1.31 c First LP Time : 0.00
1.29/1.31 c Final Dual Bound : +1.00000000000000e+00
1.29/1.31 c Final Root Iters : 804
1.29/1.31 c Root LP Estimate : -
1.29/1.31 c Solution :
1.29/1.31 c Solutions found : 6 (5 improvements)
1.29/1.31 c First Solution : +1.00800000000000e+03 (in run 1, after 1 nodes, 0.33 seconds, depth 0, found by <trivial>)
1.29/1.31 c Gap First Sol. : infinite
1.29/1.31 c Gap Last Sol. : infinite
1.29/1.31 c Primal Bound : +1.00000000000000e+00 (in run 1, after 1 nodes, 1.20 seconds, depth 0, found by <feaspump>)
1.29/1.31 c Dual Bound : +1.00000000000000e+00
1.29/1.31 c Gap : 0.00 %
1.29/1.31 c Integrals : Total Avg%
1.29/1.31 c primal-dual : 130.01 99.87
1.29/1.31 c primal-ref : - - (not evaluated)
1.29/1.31 c dual-ref : - - (not evaluated)
1.29/1.31 c Time complete: 1.31008.
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: 64096 MiB (58317 MiB free)
memory of node 1: 64473 MiB (58721 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425206-1720888890/watcher-4425206-1720888890 -o /tmp/evaluation-result-4425206-1720888890/solver-4425206-1720888890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703903 --watchdog 3760 pbscip -f HOME/instance-4425206-1720888890.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=706896, runsolver pid=706893
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.22 4.33 4.23 5/244 706897
/proc/meminfo: memFree=119831356/131655788 swapFree=131071996/131071996
[pid=706896] ppid=706893 vsize=70436 memory=31076 CPUtime=0.1 cores=5,7
/proc/706896/stat : 706896 (pbscip) R 706893 706896 703890 0 -1 4194304 4472 0 0 0 10 0 0 0 20 0 1 0 141046208 72126464 7769 134679101440 4194304 18693293 140727607587792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29974528 140727607591928 140727607592027 140727607592027 140727607599054 0
/proc/706896/statm: 17609 7769 3640 3540 0 5866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70436 KiB
Current children cumulated memory: 31076 KiB
[startup+0.214 s]*
/proc/loadavg: 4.22 4.33 4.23 5/244 706897
/proc/meminfo: memFree=119830180/131655788 swapFree=131071996/131071996
[pid=706896] ppid=706893 vsize=70948 memory=31604 CPUtime=0.21 cores=5,7
/proc/706896/stat : 706896 (pbscip) R 706893 706896 703890 0 -1 4194304 4602 0 0 0 21 0 0 0 20 0 1 0 141046208 72650752 7901 134679101440 4194304 18693293 140727607587792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29974528 140727607591928 140727607592027 140727607592027 140727607599054 0
/proc/706896/statm: 17737 7901 3640 3540 0 5994 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 70948 KiB
Current children cumulated memory: 31604 KiB
[startup+0.313699 s]*
/proc/loadavg: 4.22 4.33 4.23 5/244 706897
/proc/meminfo: memFree=119830040/131655788 swapFree=131071996/131071996
[pid=706896] ppid=706893 vsize=74792 memory=33308 CPUtime=0.31 cores=5,7
/proc/706896/stat : 706896 (pbscip) R 706893 706896 703890 0 -1 4194304 5008 0 0 0 31 0 0 0 20 0 1 0 141046208 76587008 8327 134679101440 4194304 18693293 140727607587792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29974528 140727607591928 140727607592027 140727607592027 140727607599054 0
/proc/706896/statm: 18698 8327 3672 3540 0 6955 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74792 KiB
Current children cumulated memory: 33308 KiB
[startup+0.70034 s]
/proc/loadavg: 4.22 4.33 4.23 5/244 706897
/proc/meminfo: memFree=119813436/131655788 swapFree=131071996/131071996
[pid=706896] ppid=706893 vsize=97336 memory=53348 CPUtime=0.69 cores=5,7
/proc/706896/stat : 706896 (pbscip) R 706893 706896 703890 0 -1 4194304 9833 0 0 0 68 1 0 0 20 0 1 0 141046208 99672064 13337 134679101440 4194304 18693293 140727607587792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29974528 140727607591928 140727607592027 140727607592027 140727607599054 0
/proc/706896/statm: 24334 13337 3880 3540 0 12591 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97336 KiB
Current children cumulated memory: 53348 KiB
[startup+1.32046 s]
# the end of solver process 706896 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.28826 s, system=0.026743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800372 s]
/proc/loadavg: 4.22 4.33 4.23 5/244 706897
/proc/meminfo: memFree=119813436/131655788 swapFree=131071996/131071996
[pid=706896] ppid=706893 vsize=99664 memory=55704 CPUtime=0.79 cores=5,7
/proc/706896/stat : 706896 (pbscip) R 706893 706896 703890 0 -1 4194304 10394 0 0 0 78 1 0 0 20 0 1 0 141046208 102055936 13926 134679101440 4194304 18693293 140727607587792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29974528 140727607591928 140727607592027 140727607592027 140727607599054 0
/proc/706896/statm: 24916 13926 3880 3540 0 13173 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 99664 KiB
Current children cumulated memory: 55704 KiB
[startup+1.20028 s]
/proc/loadavg: 4.22 4.33 4.23 5/244 706897
/proc/meminfo: memFree=119803232/131655788 swapFree=131071996/131071996
[pid=706896] ppid=706893 vsize=107364 memory=62540 CPUtime=1.18 cores=5,7
/proc/706896/stat : 706896 (pbscip) R 706893 706896 703890 0 -1 4194304 12099 0 0 0 117 1 0 0 20 0 1 0 141046208 109940736 15635 134679101440 4194304 18693293 140727607587792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29974528 140727607591928 140727607592027 140727607592027 140727607599054 0
/proc/706896/statm: 26841 15635 3880 3540 0 15098 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 107364 KiB
Current children cumulated memory: 62540 KiB
[startup+1.30027 s]
/proc/loadavg: 4.22 4.33 4.23 5/244 706897
/proc/meminfo: memFree=119803232/131655788 swapFree=131071996/131071996
[pid=706896] ppid=706893 vsize=114372 memory=69084 CPUtime=1.29 cores=5,7
/proc/706896/stat : 706896 (pbscip) R 706893 706896 703890 0 -1 4194304 14294 0 0 0 127 2 0 0 20 0 1 0 141046208 117116928 17271 134679101440 4194304 18693293 140727607587792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29974528 140727607591928 140727607592027 140727607592027 140727607599054 0
/proc/706896/statm: 28593 17271 4007 3540 0 16850 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 114372 KiB
Current children cumulated memory: 69084 KiB
Child status: 0
Real time (s): 1.32054
CPU time (s): 1.315
CPU user time (s): 1.28826
CPU system time (s): 0.026743
CPU usage (%): 99.5803
Max. virtual memory (cumulated for all children) (KiB): 114372
Max. memory (cumulated for all children) (KiB): 69084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.28826
system time used= 0.026743
maximum resident set size= 69760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 706896
# total CPU time (s): 1.315
# total CPU user time (s): 1.28826
# total CPU system time (s): 0.026743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038254 second user time and 0.087703 second system time
The end
Begin job on nodeC011 at 2024-07-13 18:41:43 IDJOB=4425206 IDBENCH=143929 IDSOLVER=3038 FILE ID=nodeC011/4425206-1720888890 RUNJOBID= nodeC011-1720885247-703903 SLURM_JOB_ID= 7485791 Free space on /tmp= 723716 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/dimacs/normalized-ssa0432-003_ext.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425206-1720888890/watcher-4425206-1720888890 -o /tmp/evaluation-result-4425206-1720888890/solver-4425206-1720888890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720885247-703903 --watchdog 3760 pbscip -f HOME/instance-4425206-1720888890.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2ddfb8f92a58e9b80b09db9b967cf9fb RANDOM SEED=1813975687 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3537.159 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3605.048 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.313 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.131 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3673.155 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.616 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.121 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119848692 kB MemAvailable: 121048296 kB Buffers: 331444 kB Cached: 1700312 kB SwapCached: 0 kB Active: 514072 kB Inactive: 10740312 kB Active(anon): 1436 kB Inactive(anon): 9258900 kB Active(file): 512636 kB Inactive(file): 1481412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18900 kB Writeback: 20 kB AnonPages: 9222652 kB Mapped: 135208 kB Shmem: 37704 kB KReclaimable: 91512 kB Slab: 185676 kB SReclaimable: 91512 kB SUnreclaim: 94164 kB KernelStack: 3904 kB PageTables: 27644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 9816360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 46048 kB HardwareCorrupted: 0 kB AnonHugePages: 3465216 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 185160 kB DirectMap2M: 17545216 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723696 MiB End job on nodeC011 at 2024-07-13 18:41:45