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-4447995-1721360446.opb>
0.00/0.00 c original problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 640 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 1 aggregations, 0 fixings, 0 bound changes
0.00/0.01 c (round 1, medium) 1 del vars, 640 del conss, 240 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 51/480 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: no components
0.00/0.01 c lexicographic reduction: 2 permutations with support sizes 479, 475
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (2 rounds: 2 fast, 2 medium, 1 exhaustive):
0.00/0.01 c 1 deleted vars, 640 deleted constraints, 240 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 480 variables (480 bin, 0 int, 0 impl, 0 cont) and 240 constraints
0.00/0.01 c 240 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.998039
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.01 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.01 c limits/solutions = 1
0.00/0.01 c
0.00/0.01 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.01 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.01 c misc/usesymmetry = 3
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.01 c
0.00/0.01 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.01 c
0.00/0.01 c # Type of symmetries that shall be computed?
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.01 c propagating/symmetry/symtype = 1
0.00/0.01 c
0.00/0.01 c # Should components consisting of a single full reflection be handled?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c 0.0s| 1 | 0 | 349 | - | 5446k | 0 | 480 | 245 | 240 | 0 | 0 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 579 | - | 5784k | 0 | 480 | 269 | 270 | 30 | 1 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 597 | - | 6035k | 0 | 480 | 269 | 284 | 44 | 2 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 611 | - | 6099k | 0 | 480 | 269 | 295 | 55 | 3 | 5 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 623 | - | 6196k | 0 | 480 | 270 | 303 | 63 | 4 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 628 | - | 6256k | 0 | 480 | 270 | 309 | 69 | 5 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 631 | - | 6347k | 0 | 480 | 270 | 311 | 71 | 6 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 636 | - | 6414k | 0 | 480 | 270 | 312 | 72 | 7 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 638 | - | 6456k | 0 | 480 | 270 | 314 | 74 | 8 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 643 | - | 6501k | 0 | 480 | 270 | 316 | 76 | 9 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 646 | - | 6670k | 0 | 480 | 270 | 317 | 77 | 10 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 647 | - | 6703k | 0 | 480 | 270 | 318 | 78 | 11 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 648 | - | 6737k | 0 | 480 | 270 | 319 | 79 | 12 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 650 | - | 6770k | 0 | 480 | 270 | 320 | 80 | 13 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 651 | - | 6804k | 0 | 480 | 270 | 322 | 82 | 14 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.08 c 0.1s| 1 | 0 | 652 | - | 6838k | 0 | 480 | 270 | 289 | 83 | 15 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 653 | - | 6881k | 0 | 480 | 270 | 290 | 84 | 16 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 655 | - | 6912k | 0 | 480 | 270 | 291 | 85 | 17 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 662 | - | 6943k | 0 | 480 | 270 | 292 | 86 | 18 | 6 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 672 | - | 6973k | 0 | 480 | 272 | 293 | 87 | 19 | 8 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 674 | - | 7279k | 0 | 480 | 274 | 295 | 89 | 20 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 677 | - | 7279k | 0 | 480 | 274 | 289 | 91 | 21 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 678 | - | 7279k | 0 | 480 | 275 | 290 | 92 | 22 | 11 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 2 | 805 | - | 7281k | 0 | 480 | 281 | 290 | 92 | 23 | 17 | 11 | 0.000000e+00 | -- | Inf | unknown
0.40/0.42 c 0.4s| 100 | 101 | 2443 | 17.8 | 8434k | 28 | 480 | 351 | 244 | 102 | 1 | 87 | 11 | 0.000000e+00 | -- | Inf | unknown
0.68/0.76 c 0.8s| 200 | 198 | 3767 | 15.5 | 9190k | 29 | 480 | 446 | 245 | 104 | 1 | 182 | 11 | 0.000000e+00 | -- | Inf | unknown
0.99/1.03 c 1.0s| 300 | 296 | 5330 | 15.6 | 9363k | 37 | 480 | 553 | 245 | 111 | 1 | 289 | 11 | 0.000000e+00 | -- | Inf | unknown
1.09/1.13 c 1.1s| 400 | 386 | 6343 | 14.2 | 9502k | 66 | 480 | 608 | 249 | 159 | 1 | 344 | 11 | 0.000000e+00 | -- | Inf | unknown
1.18/1.20 c 1.2s| 500 | 478 | 7048 | 12.8 | 9634k | 78 | 480 | 651 | 249 | 159 | 1 | 387 | 11 | 0.000000e+00 | -- | Inf | unknown
1.18/1.27 c 1.3s| 600 | 574 | 7721 | 11.8 | 9709k | 78 | 480 | 722 | 246 | 173 | 1 | 458 | 11 | 0.000000e+00 | -- | Inf | unknown
1.38/1.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.48 c 1.5s| 700 | 659 | 8389 | 11.0 | 9823k | 89 | 480 | 775 | 249 | 184 | 1 | 512 | 11 | 0.000000e+00 | -- | Inf | unknown
1.58/1.64 c 1.6s| 800 | 751 | 8997 | 10.4 | 9885k | 89 | 480 | 804 | 252 | 204 | 0 | 542 | 11 | 0.000000e+00 | -- | Inf | unknown
1.78/1.80 c 1.8s| 900 | 839 | 9976 | 10.3 | 10M | 89 | 480 | 885 | 249 | 221 | 1 | 628 | 11 | 0.000000e+00 | -- | Inf | unknown
1.88/1.93 c 1.9s| 1000 | 923 | 10531 | 9.9 | 10M | 89 | 480 | 931 | 0 | 221 | 0 | 675 | 11 | 0.000000e+00 | -- | Inf | unknown
2.09/2.11 c 2.1s| 1100 | 1000 | 11326 | 9.7 | 10M | 89 | 480 | 997 | 244 | 236 | 1 | 744 | 11 | 0.000000e+00 | -- | Inf | unknown
2.09/2.18 c 2.2s| 1200 | 1085 | 11889 | 9.4 | 11M | 89 | 480 |1044 | 244 | 242 | 1 | 791 | 11 | 0.000000e+00 | -- | Inf | unknown
2.28/2.37 c 2.4s| 1300 | 1177 | 12632 | 9.2 | 11M | 89 | 480 |1085 | 245 | 260 | 1 | 834 | 11 | 0.000000e+00 | -- | Inf | unknown
2.38/2.44 c 2.4s| 1400 | 1270 | 13447 | 9.1 | 11M | 89 | 480 |1137 | 247 | 295 | 1 | 887 | 11 | 0.000000e+00 | -- | Inf | unknown
2.48/2.50 c 2.5s| 1500 | 1360 | 14018 | 8.9 | 11M | 89 | 480 |1210 | 249 | 298 | 1 | 961 | 11 | 0.000000e+00 | -- | Inf | unknown
2.48/2.56 c 2.6s| 1600 | 1460 | 14537 | 8.7 | 11M | 89 | 480 |1258 | 249 | 298 | 1 |1010 | 11 | 0.000000e+00 | -- | Inf | unknown
2.78/2.82 c 2.8s| 1700 | 1543 | 15068 | 8.5 | 11M | 89 | 480 |1326 | 248 | 309 | 1 |1083 | 11 | 0.000000e+00 | -- | Inf | unknown
2.78/2.88 c 2.9s| 1800 | 1627 | 15553 | 8.3 | 11M | 89 | 480 |1426 | 0 | 325 | 0 |1187 | 11 | 0.000000e+00 | -- | Inf | unknown
2.98/3.05 c 3.0s| 1900 | 1700 | 16182 | 8.2 | 11M | 89 | 480 |1486 | 249 | 352 | 1 |1257 | 11 | 0.000000e+00 | -- | Inf | unknown
3.08/3.15 c 3.1s| 2000 | 1774 | 16741 | 8.0 | 11M | 89 | 480 |1557 | 247 | 376 | 1 |1340 | 11 | 0.000000e+00 | -- | Inf | unknown
3.27/3.39 c 3.4s| 2100 | 1868 | 17550 | 8.0 | 12M | 89 | 480 |1640 | 248 | 407 | 1 |1429 | 11 | 0.000000e+00 | -- | Inf | unknown
3.37/3.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.37/3.49 c 3.5s| 2200 | 1929 | 18113 | 7.9 | 12M | 89 | 480 |1727 | 249 | 415 | 1 |1527 | 11 | 0.000000e+00 | -- | Inf | unknown
3.57/3.65 c 3.6s| 2300 | 1998 | 18557 | 7.8 | 12M | 89 | 480 |1784 | 247 | 415 | 1 |1590 | 11 | 0.000000e+00 | -- | Inf | unknown
3.67/3.71 c 3.7s| 2400 | 2083 | 19079 | 7.7 | 12M | 89 | 480 |1880 | 244 | 418 | 1 |1694 | 11 | 0.000000e+00 | -- | Inf | unknown
3.67/3.77 c 3.8s| 2500 | 2156 | 19575 | 7.6 | 12M | 89 | 480 |1950 | 249 | 437 | 1 |1774 | 11 | 0.000000e+00 | -- | Inf | unknown
3.77/3.86 c 3.9s| 2600 | 2245 | 20482 | 7.6 | 12M | 89 | 480 |2011 | 249 | 478 | 1 |1839 | 11 | 0.000000e+00 | -- | Inf | unknown
4.18/4.20 c 4.2s| 2700 | 2341 | 21634 | 7.8 | 12M | 89 | 480 |2075 | 249 | 516 | 1 |1907 | 11 | 0.000000e+00 | -- | Inf | unknown
4.18/4.28 c 4.3s| 2800 | 2438 | 22306 | 7.7 | 13M | 89 | 480 |2156 | 249 | 595 | 1 |1991 | 11 | 0.000000e+00 | -- | Inf | unknown
4.38/4.41 c 4.4s| 2900 | 2489 | 22920 | 7.7 | 13M | 89 | 480 |2251 | 247 | 615 | 1 |2101 | 11 | 0.000000e+00 | -- | Inf | unknown
4.38/4.48 c 4.5s| 3000 | 2572 | 23608 | 7.6 | 14M | 89 | 480 |2301 | 249 | 645 | 1 |2157 | 11 | 0.000000e+00 | -- | Inf | unknown
4.47/4.53 c 4.5s| 3100 | 2656 | 24006 | 7.5 | 14M | 89 | 480 |2343 | 250 | 645 | 1 |2202 | 11 | 0.000000e+00 | -- | Inf | unknown
4.47/4.58 c 4.6s| 3200 | 2744 | 24425 | 7.4 | 14M | 89 | 480 |2407 | 250 | 645 | 1 |2269 | 11 | 0.000000e+00 | -- | Inf | unknown
4.57/4.65 c 4.7s| 3300 | 2837 | 25004 | 7.4 | 14M | 89 | 480 |2459 | 246 | 669 | 2 |2325 | 11 | 0.000000e+00 | -- | Inf | unknown
4.67/4.74 c 4.7s| 3400 | 2925 | 25724 | 7.4 | 14M | 89 | 480 |2581 | 249 | 712 | 1 |2453 | 11 | 0.000000e+00 | -- | Inf | unknown
4.77/4.81 c 4.8s| 3500 | 3015 | 26217 | 7.3 | 14M | 89 | 480 |2640 | 248 | 729 | 1 |2521 | 11 | 0.000000e+00 | -- | Inf | unknown
5.27/5.31 c 5.3s| 3600 | 3084 | 26566 | 7.2 | 14M | 89 | 480 |2690 | 248 | 729 | 3 |2584 | 11 | 0.000000e+00 | -- | Inf | unknown
5.37/5.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.37/5.45 c 5.4s| 3700 | 3160 | 27278 | 7.2 | 15M | 89 | 480 |2778 | 249 | 764 | 1 |2684 | 11 | 0.000000e+00 | -- | Inf | unknown
5.57/5.68 c 5.7s| 3800 | 3235 | 28079 | 7.2 | 15M | 89 | 480 |2833 | 252 | 798 | 1 |2748 | 11 | 0.000000e+00 | -- | Inf | unknown
5.67/5.77 c 5.8s| 3900 | 3316 | 28610 | 7.2 | 15M | 89 | 480 |2869 | 247 | 826 | 1 |2797 | 11 | 0.000000e+00 | -- | Inf | unknown
5.77/5.83 c 5.8s| 4000 | 3398 | 29098 | 7.1 | 15M | 89 | 480 |2941 | 249 | 828 | 1 |2879 | 11 | 0.000000e+00 | -- | Inf | unknown
5.77/5.89 c 5.9s| 4100 | 3487 | 29460 | 7.0 | 15M | 89 | 480 |2987 | 0 | 828 | 0 |2935 | 11 | 0.000000e+00 | -- | Inf | unknown
5.87/5.94 c 5.9s| 4200 | 3539 | 29847 | 6.9 | 15M | 89 | 480 |3052 | 249 | 833 | 1 |3023 | 11 | 0.000000e+00 | -- | Inf | unknown
5.97/6.02 c 6.0s| 4300 | 3632 | 30546 | 6.9 | 16M | 89 | 480 |3111 | 250 | 850 | 1 |3093 | 11 | 0.000000e+00 | -- | Inf | unknown
5.97/6.09 c 6.1s| 4400 | 3723 | 31052 | 6.9 | 16M | 89 | 480 |3177 | 247 | 862 | 1 |3177 | 11 | 0.000000e+00 | -- | Inf | unknown
6.07/6.15 c 6.2s| 4500 | 3818 | 31521 | 6.9 | 16M | 89 | 480 |3225 | 244 | 867 | 1 |3232 | 11 | 0.000000e+00 | -- | Inf | unknown
6.17/6.22 c 6.2s| 4600 | 3889 | 32006 | 6.8 | 16M | 89 | 480 |3280 | 249 | 877 | 1 |3326 | 11 | 0.000000e+00 | -- | Inf | unknown
6.17/6.27 c 6.3s| 4700 | 3964 | 32361 | 6.7 | 16M | 89 | 480 |3277 | 253 | 882 | 1 |3384 | 11 | 0.000000e+00 | -- | Inf | unknown
6.27/6.32 c 6.3s| 4800 | 4035 | 32700 | 6.7 | 16M | 89 | 480 |3307 | 249 | 882 | 1 |3439 | 11 | 0.000000e+00 | -- | Inf | unknown
6.27/6.37 c 6.4s| 4900 | 4105 | 33039 | 6.6 | 16M | 89 | 480 |3361 | 249 | 889 | 1 |3553 | 11 | 0.000000e+00 | -- | Inf | unknown
6.37/6.42 c 6.4s| 5000 | 4165 | 33373 | 6.5 | 16M | 89 | 480 |3376 | 250 | 894 | 1 |3621 | 11 | 0.000000e+00 | -- | Inf | unknown
6.37/6.47 c 6.5s| 5100 | 4238 | 33728 | 6.5 | 16M | 89 | 480 |3357 | 246 | 903 | 0 |3674 | 11 | 0.000000e+00 | -- | Inf | unknown
6.47/6.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.47/6.53 c 6.5s| 5200 | 4328 | 34253 | 6.5 | 16M | 89 | 480 |3357 | 249 | 903 | 1 |3713 | 11 | 0.000000e+00 | -- | Inf | unknown
6.47/6.59 c 6.6s| 5300 | 4408 | 34737 | 6.4 | 17M | 89 | 480 |3352 | 252 | 911 | 1 |3775 | 11 | 0.000000e+00 | -- | Inf | unknown
6.57/6.65 c 6.7s| 5400 | 4499 | 35171 | 6.4 | 17M | 89 | 480 |3328 | 249 | 911 | 1 |3850 | 11 | 0.000000e+00 | -- | Inf | unknown
6.66/6.71 c 6.7s| 5500 | 4591 | 35648 | 6.4 | 17M | 89 | 480 |3325 | 249 | 911 | 1 |3921 | 11 | 0.000000e+00 | -- | Inf | unknown
6.66/6.76 c 6.8s| 5600 | 4668 | 36097 | 6.3 | 17M | 89 | 480 |3303 | 253 | 917 | 1 |3981 | 11 | 0.000000e+00 | -- | Inf | unknown
6.76/6.82 c 6.8s| 5700 | 4755 | 36526 | 6.3 | 17M | 89 | 480 |3336 | 249 | 917 | 1 |4064 | 11 | 0.000000e+00 | -- | Inf | unknown
6.76/6.88 c 6.9s| 5800 | 4845 | 36967 | 6.3 | 17M | 89 | 480 |3312 | 248 | 918 | 1 |4141 | 11 | 0.000000e+00 | -- | Inf | unknown
6.86/6.95 c 6.9s| 5900 | 4945 | 37520 | 6.2 | 17M | 89 | 480 |3313 | 244 | 942 | 1 |4223 | 11 | 0.000000e+00 | -- | Inf | unknown
6.97/7.02 c 7.0s| 6000 | 5039 | 38138 | 6.2 | 18M | 89 | 480 |3324 | 250 | 980 | 1 |4291 | 11 | 0.000000e+00 | -- | Inf | unknown
7.07/7.10 c 7.1s| 6100 | 5111 | 38538 | 6.2 | 18M | 89 | 480 |3351 | 249 | 990 | 1 |4404 | 11 | 0.000000e+00 | -- | Inf | unknown
7.07/7.15 c 7.1s| 6200 | 5207 | 38840 | 6.2 | 18M | 89 | 480 |3328 | 252 | 992 | 1 |4430 | 11 | 0.000000e+00 | -- | Inf | unknown
7.16/7.22 c 7.2s| 6300 | 5289 | 39420 | 6.2 | 18M | 89 | 480 |3254 | 246 |1026 | 1 |4505 | 11 | 0.000000e+00 | -- | Inf | unknown
7.16/7.28 c 7.3s| 6400 | 5361 | 39839 | 6.1 | 18M | 89 | 480 |3227 | 248 |1034 | 1 |4572 | 11 | 0.000000e+00 | -- | Inf | unknown
7.26/7.35 c 7.3s| 6500 | 5447 | 40358 | 6.1 | 18M | 97 | 480 |3217 | 249 |1050 | 1 |4614 | 11 | 0.000000e+00 | -- | Inf | unknown
7.36/7.42 c 7.4s| 6600 | 5530 | 40823 | 6.1 | 18M | 97 | 480 |3133 | 249 |1065 | 1 |4666 | 11 | 0.000000e+00 | -- | Inf | unknown
7.36/7.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.36/7.47 c 7.5s| 6700 | 5602 | 41139 | 6.0 | 18M | 97 | 480 |3150 | 252 |1065 | 1 |4758 | 11 | 0.000000e+00 | -- | Inf | unknown
7.46/7.51 c 7.5s| 6800 | 5662 | 41477 | 6.0 | 18M | 97 | 480 |3138 | 249 |1065 | 1 |4822 | 11 | 0.000000e+00 | -- | Inf | unknown
7.46/7.58 c 7.6s| 6900 | 5711 | 41995 | 6.0 | 18M | 104 | 480 |3067 | 249 |1070 | 1 |4911 | 11 | 0.000000e+00 | -- | Inf | unknown
7.56/7.64 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
7.56/7.64 c
7.56/7.64 c SCIP Status : problem is solved [infeasible]
7.56/7.64 c Solving Time (sec) : 7.64
7.56/7.64 c Solving Nodes : 6977
7.56/7.64 c Primal Bound : +1.00000000000000e+20 (0 solutions)
7.56/7.64 c Dual Bound : +1.00000000000000e+20
7.56/7.64 c Gap : 0.00 %
7.56/7.64 s UNSATISFIABLE
7.56/7.64 c SCIP Status : problem is solved [infeasible]
7.56/7.64 c Total Time : 7.64
7.56/7.64 c solving : 7.64
7.56/7.64 c presolving : 0.01 (included in solving)
7.56/7.64 c reading : 0.00 (included in solving)
7.56/7.64 c copying : 0.46 (105 #copies) (minimal 0.00, maximal 0.01, average 0.00)
7.56/7.64 c Original Problem :
7.56/7.64 c Problem name : HOME/instance-4447995-1721360446.opb
7.56/7.64 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
7.56/7.64 c Constraints : 640 initial, 640 maximal
7.56/7.64 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
7.56/7.64 c Presolved Problem :
7.56/7.64 c Problem name : t_HOME/instance-4447995-1721360446.opb
7.56/7.64 c Variables : 480 (480 binary, 0 integer, 0 implicit integer, 0 continuous)
7.56/7.64 c Constraints : 240 initial, 3385 maximal
7.56/7.64 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
7.56/7.64 c Nonzeros : 960 constraint, 0 clique table
7.56/7.64 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
7.56/7.64 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
7.56/7.64 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c milp : 0.00 0.00 1 0 1 0 0 0 640 240 0 0
7.56/7.64 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
7.56/7.64 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
7.56/7.64 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c linear : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
7.56/7.64 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c root node : - - - 0 - - 0 - - - - -
7.56/7.64 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
7.56/7.64 c benderslp : 0 0 0 0 6428 0 0 487 0 0 0 0 0 0 0
7.56/7.64 c integral : 0 0 0 0 6428 0 0 487 0 0 0 0 0 0 12856
7.56/7.64 c knapsack : 0+ 79 0 35558 0 0 0 0 4143 335 3497 0 0 0 0
7.56/7.64 c linear : 240+ 311 24 36772 0 0 0 486 14580 1112 8507 0 0 0 0
7.56/7.64 c logicor : 0+ 3037 23 19515 0 0 0 0 2114 301 1182 0 0 0 0
7.56/7.64 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
7.56/7.64 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c integral : 0.07 0.00 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c knapsack : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c linear : 0.12 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.01 0.00
7.56/7.64 c logicor : 0.13 0.00 0.00 0.13 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c Propagators : #Propagate #ResProp Cutoffs DomReds
7.56/7.64 c dualfix : 1 0 0 0
7.56/7.64 c genvbounds : 0 0 0 0
7.56/7.64 c nlobbt : 0 0 0 0
7.56/7.64 c obbt : 0 0 0 0
7.56/7.64 c probing : 0 0 0 0
7.56/7.64 c pseudoobj : 0 0 0 0
7.56/7.64 c redcost : 0 0 0 0
7.56/7.64 c rootredcost : 0 0 0 0
7.56/7.64 c symmetry : 34331 0 17 23
7.56/7.64 c vbounds : 0 0 0 0
7.56/7.64 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
7.56/7.64 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
7.56/7.64 c symmetry : 0.76 0.00 0.00 0.76 0.00 0.00
7.56/7.64 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
7.56/7.64 c Symmetry :
7.56/7.64 c orbitopal red. : 0 reductions applied, 0 cutoffs
7.56/7.64 c orbital reduction: 0 reductions applied, 0 cutoffs
7.56/7.64 c lexicographic red: 51 reductions applied, 17 cutoffs
7.56/7.64 c shadow tree time : 0.01 s
7.56/7.64 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
7.56/7.64 c propagation : 0.02 1272 1249 - 4372 19.6 192 9.7 - - -
7.56/7.64 c infeasible LP : 0.04 419 418 - 1213 19.6 66 8.1 413 24.3 0
7.56/7.64 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
7.56/7.64 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
7.56/7.64 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
7.56/7.64 c applied globally : 0.00 - - 0 4554 17.7 - - 410 - -
7.56/7.64 c applied locally : - - - 0 5 15.4 - - 2 - -
7.56/7.64 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
7.56/7.64 c cut pool : 0.02 - 1150 42 - - 1404 8866 - - - - - (maximal pool size: 467)
7.56/7.64 c aggregation : 0.02 0.00 166 23 0 0 4 2 2 2 0 2 0
7.56/7.64 c > cmir : - - - - - - - 2 0 0 0 0 -
7.56/7.64 c > flowcover : - - - - - - - 0 0 0 0 0 -
7.56/7.64 c > knapsackcover : - - - - - - - 0 2 2 0 2 -
7.56/7.64 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c gomory : 0.04 0.00 153 10 0 0 1390 8616 128 884 873 11 0
7.56/7.64 c > gomorymi : - - - - - - - 474 64 12 8 4 -
7.56/7.64 c > strongcg : - - - - - - - 8142 64 872 865 7 -
7.56/7.64 c impliedbounds : 0.00 0.00 166 23 0 0 0 0 0 0 0 0 0
7.56/7.64 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
7.56/7.64 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c multilinear : 0.00 0.00 159 23 0 0 0 0 0 0 0 0 0
7.56/7.64 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
7.56/7.64 c rapidlearning : 2.61 0.00 100 1 0 2903 0 0 0 0 0 0 575
7.56/7.64 c rlt : 0.00 0.00 72 10 0 0 0 0 0 0 0 0 0
7.56/7.64 c zerohalf : 0.02 0.00 163 20 0 0 192 248 52 226 187 39 0
7.56/7.64 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
7.56/7.64 c hybrid : 0.00 0.00 427 22 1112 0 7861 92 0 407
7.56/7.64 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c Pricers : ExecTime SetupTime Calls Vars
7.56/7.64 c problem variables: 0.00 - 0 0
7.56/7.64 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
7.56/7.64 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c random : 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c relpscost : 0.07 0.00 6428 0 0 0 0 0 0 12856
7.56/7.64 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
7.56/7.64 c Primal Heuristics : ExecTime SetupTime Calls Found Best
7.56/7.64 c LP solutions : 0.00 - - 0 0
7.56/7.64 c relax solutions : 0.00 - - 0 0
7.56/7.64 c pseudo solutions : 0.00 - - 0 0
7.56/7.64 c strong branching : 0.00 - - 0 0
7.56/7.64 c actconsdiving : 0.00 0.00 0 0 0
7.56/7.64 c adaptivediving : 0.19 0.00 52 0 0
7.56/7.64 c alns : 0.08 0.00 4 0 0
7.56/7.64 c bound : 0.00 0.00 0 0 0
7.56/7.64 c clique : 0.00 0.00 0 0 0
7.56/7.64 c coefdiving : 0.00 0.00 0 0 0
7.56/7.64 c completesol : 0.00 0.00 0 0 0
7.56/7.64 c conflictdiving : 0.21 0.00 100 0 0
7.56/7.64 c crossover : 0.00 0.00 0 0 0
7.56/7.64 c dins : 0.00 0.00 0 0 0
7.56/7.64 c distributiondivin: 0.33 0.00 94 0 0
7.56/7.64 c dps : 0.00 0.00 0 0 0
7.56/7.64 c dualval : 0.00 0.00 0 0 0
7.56/7.64 c farkasdiving : 0.00 0.00 0 0 0
7.56/7.64 c feasjump : 0.02 0.00 1 0 0
7.56/7.64 c feaspump : 0.09 0.00 26 0 0
7.56/7.64 c fixandinfer : 0.00 0.00 0 0 0
7.56/7.64 c fracdiving : 0.21 0.00 100 0 0
7.56/7.64 c gins : 0.00 0.00 0 0 0
7.56/7.64 c guideddiving : 0.00 0.00 0 0 0
7.56/7.64 c indcoefdiving : 0.00 0.00 0 0 0
7.56/7.64 c indicator : 0.00 0.00 0 0 0
7.56/7.64 c indicatordiving : 0.00 0.00 0 0 0
7.56/7.64 c indoneopt : 0.00 0.00 0 0 0
7.56/7.64 c indrounding : 0.00 0.00 0 0 0
7.56/7.64 c indtwoopt : 0.00 0.00 0 0 0
7.56/7.64 c intdiving : 0.00 0.00 0 0 0
7.56/7.64 c intshifting : 0.00 0.00 0 0 0
7.56/7.64 c linesearchdiving : 0.31 0.00 100 0 0
7.56/7.64 c localbranching : 0.00 0.00 0 0 0
7.56/7.64 c locks : 0.00 0.00 1 0 0
7.56/7.64 c lpface : 0.00 0.00 0 0 0
7.56/7.64 c mpec : 0.00 0.00 0 0 0
7.56/7.64 c multistart : 0.00 0.00 0 0 0
7.56/7.64 c mutation : 0.00 0.00 0 0 0
7.56/7.64 c nlpdiving : 0.00 0.00 0 0 0
7.56/7.64 c objpscostdiving : 0.07 0.00 17 0 0
7.56/7.64 c octane : 0.00 0.00 0 0 0
7.56/7.64 c ofins : 0.00 0.00 0 0 0
7.56/7.64 c oneopt : 0.00 0.00 0 0 0
7.56/7.64 c padm : 0.00 0.00 0 0 0
7.56/7.64 c proximity : 0.00 0.00 0 0 0
7.56/7.64 c pscostdiving : 0.25 0.00 36 0 0
7.56/7.64 c randrounding : 0.01 0.00 492 0 0
7.56/7.64 c rens : 0.01 0.00 1 0 0
7.56/7.64 c reoptsols : 0.00 0.00 0 0 0
7.56/7.64 c repair : 0.00 0.00 0 0 0
7.56/7.64 c rins : 0.00 0.00 0 0 0
7.56/7.64 c rootsoldiving : 0.10 0.00 9 0 0
7.56/7.64 c rounding : 0.01 0.00 1135 0 0
7.56/7.64 c scheduler : 0.00 0.00 0 0 0
7.56/7.64 c shiftandpropagate: 0.00 0.00 1 0 0
7.56/7.64 c shifting : 0.01 0.00 415 0 0
7.56/7.64 c simplerounding : 0.00 0.00 0 0 0
7.56/7.64 c smallcard : 0.00 0.00 0 0 0
7.56/7.64 c subnlp : 0.00 0.00 0 0 0
7.56/7.64 c trivial : 0.00 0.00 2 0 0
7.56/7.64 c trivialnegation : 0.00 0.00 0 0 0
7.56/7.64 c trustregion : 0.00 0.00 0 0 0
7.56/7.64 c trysol : 0.00 0.00 0 0 0
7.56/7.64 c twoopt : 0.00 0.00 0 0 0
7.56/7.64 c undercover : 0.00 0.00 0 0 0
7.56/7.64 c vbounds : 0.00 0.00 0 0 0
7.56/7.64 c veclendiving : 0.19 0.00 100 0 0
7.56/7.64 c zeroobj : 0.00 0.00 0 0 0
7.56/7.64 c zirounding : 0.00 0.00 1000 0 0
7.56/7.64 c other solutions : - - - 0 -
7.56/7.64 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
7.56/7.64 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
7.56/7.64 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
7.56/7.64 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
7.56/7.64 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
7.56/7.64 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
7.56/7.64 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
7.56/7.64 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
7.56/7.64 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
7.56/7.64 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
7.56/7.64 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
7.56/7.64 c primal LP : 0.03 163 0 0.00 0.00 0.03 163
7.56/7.64 c dual LP : 1.33 7214 23766 3.33 17912.82 0.01 77
7.56/7.64 c lex dual LP : 0.00 0 0 0.00 -
7.56/7.64 c barrier LP : 0.00 0 0 0.00 - 0.00 0
7.56/7.64 c resolve instable : 0.00 0 0 0.00 -
7.56/7.64 c diving/probing LP: 0.91 4250 18601 4.38 20430.00
7.56/7.64 c strong branching : 0.00 11 52 4.73 - - - 0
7.56/7.64 c (at root node) : - 11 52 4.73 -
7.56/7.64 c conflict analysis: 0.00 0 0 0.00 -
7.56/7.64 c B&B Tree :
7.56/7.64 c number of runs : 1
7.56/7.64 c nodes : 6977 (6428 internal, 549 leaves)
7.56/7.64 c feasible leaves : 0
7.56/7.64 c infeas. leaves : 549
7.56/7.64 c objective leaves : 0
7.56/7.64 c nodes (total) : 6977 (6428 internal, 549 leaves)
7.56/7.64 c nodes left : 0
7.56/7.64 c max depth : 104
7.56/7.64 c max depth (total): 104
7.56/7.64 c backtracks : 810 (11.6%)
7.56/7.64 c early backtracks : 0 (0.0%)
7.56/7.64 c nodes exc. ref. : 0 (0.0%)
7.56/7.64 c delayed cutoffs : 5880
7.56/7.64 c repropagations : 1651 (2563 domain reductions, 109 cutoffs)
7.56/7.64 c avg switch length: 5.90
7.56/7.64 c switching time : 0.22
7.56/7.64 c Root Node :
7.56/7.64 c First LP value : +0.00000000000000e+00
7.56/7.64 c First LP Iters : 349 (205294.12 Iter/sec)
7.56/7.64 c First LP Time : 0.00
7.56/7.64 c Final Dual Bound : -
7.56/7.64 c Final Root Iters : 678
7.56/7.64 c Root LP Estimate : +1.02664883454937e-03
7.56/7.64 c Solution :
7.56/7.64 c Solutions found : 0 (0 improvements)
7.56/7.64 c Primal Bound : infeasible
7.56/7.64 c Dual Bound : -
7.56/7.64 c Gap : 0.00 %
7.56/7.64 c Integrals : Total Avg%
7.56/7.64 c primal-dual : - - (problem infeasible)
7.56/7.64 c primal-ref : - - (problem infeasible)
7.56/7.64 c dual-ref : - - (problem infeasible)
7.56/7.65 c Time complete: 7.62192.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60536 MiB free)
memory of node 1: 64473 MiB (63003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447995-1721360446/watcher-4447995-1721360446 -o /tmp/evaluation-result-4447995-1721360446/solver-4447995-1721360446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721353256-992174 --watchdog 3760 pbscip -f HOME/instance-4447995-1721360446.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=996481, runsolver pid=996478
[startup+0.100466 s]*
/proc/loadavg: 4.14 4.16 4.11 5/257 996482
/proc/meminfo: memFree=126542352/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=66784 memory=27332 CPUtime=0.09 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 3176 0 0 0 9 0 0 0 20 0 1 0 188215399 68386816 6833 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 16696 6833 4015 3540 0 4953 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66784 KiB
Current children cumulated memory: 27332 KiB
[startup+0.205594 s]*
/proc/loadavg: 4.14 4.16 4.11 5/257 996482
/proc/meminfo: memFree=126565972/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=67392 memory=28536 CPUtime=0.2 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 3950 0 0 0 20 0 0 0 20 0 1 0 188215399 69009408 7134 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 16848 7134 4015 3540 0 5105 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67392 KiB
Current children cumulated memory: 28536 KiB
[startup+0.305493 s]*
/proc/loadavg: 4.14 4.16 4.11 5/257 996482
/proc/meminfo: memFree=126586728/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=67848 memory=29088 CPUtime=0.3 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 4445 0 0 0 30 0 0 0 20 0 1 0 188215399 69476352 7272 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 16962 7272 4015 3540 0 5219 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67848 KiB
Current children cumulated memory: 29088 KiB
[startup+0.700202 s]
/proc/loadavg: 4.14 4.16 4.11 5/257 996482
/proc/meminfo: memFree=126672916/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=70804 memory=31728 CPUtime=0.68 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 5423 0 0 0 68 0 0 0 20 0 1 0 188215399 72503296 7932 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 17701 7932 4015 3540 0 5958 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70804 KiB
Current children cumulated memory: 31728 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.16 4.11 5/257 996482
/proc/meminfo: memFree=127044484/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=72584 memory=34068 CPUtime=1.48 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 6496 0 0 0 148 0 0 0 20 0 1 0 188215399 74326016 8517 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 18146 8517 4015 3540 0 6403 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72584 KiB
Current children cumulated memory: 34068 KiB
[startup+3.10538 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 996528
/proc/meminfo: memFree=128563224/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=76204 memory=37132 CPUtime=3.08 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 11855 0 0 0 307 1 0 0 20 0 1 0 188215399 78032896 9283 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 19051 9283 4015 3540 0 7308 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76204 KiB
Current children cumulated memory: 37132 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 996530
/proc/meminfo: memFree=128545304/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=81392 memory=42816 CPUtime=6.27 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 17002 0 0 0 625 2 0 0 20 0 1 0 188215399 83345408 10704 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 20348 10704 4015 3540 0 8605 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81392 KiB
Current children cumulated memory: 42816 KiB
[startup+7.6562 s]
# the end of solver process 996481 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=7.60053 s, system=0.025828 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40021 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 996530
/proc/meminfo: memFree=128545304/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=81392 memory=43080 CPUtime=6.37 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 17003 0 0 0 635 2 0 0 20 0 1 0 188215399 83345408 10770 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 20348 10770 4015 3540 0 8605 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 81392 KiB
Current children cumulated memory: 43080 KiB
[startup+7.2002 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 996530
/proc/meminfo: memFree=128541704/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=82248 memory=43472 CPUtime=7.16 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 17357 0 0 0 714 2 0 0 20 0 1 0 188215399 84221952 10868 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 20562 10868 4015 3540 0 8819 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 82248 KiB
Current children cumulated memory: 43472 KiB
[startup+7.60018 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 996530
/proc/meminfo: memFree=128541704/131524600 swapFree=131071996/131071996
[pid=996481] ppid=996478 vsize=82248 memory=43472 CPUtime=7.56 cores=1,3
/proc/996481/stat : 996481 (pbscip) R 996478 996481 992162 0 -1 4194304 17358 0 0 0 754 2 0 0 20 0 1 0 188215399 84221952 10868 134679101440 4194304 18693293 140722314575184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 49807360 140722314576899 140722314576998 140722314576998 140722314584014 0
/proc/996481/statm: 20562 10868 4015 3540 0 8819 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 82248 KiB
Current children cumulated memory: 43472 KiB
Child status: 0
Real time (s): 7.65623
CPU time (s): 7.62635
CPU user time (s): 7.60053
CPU system time (s): 0.025828
CPU usage (%): 99.6097
Max. virtual memory (cumulated for all children) (KiB): 82248
Max. memory (cumulated for all children) (KiB): 43472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.60053
system time used= 0.025828
maximum resident set size= 44400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17364
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= 14
# summary of solver processes directly reported to runsolver:
# pid: 996481
# total CPU time (s): 7.62635
# total CPU user time (s): 7.60053
# total CPU system time (s): 0.025828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023949 second user time and 0.063915 second system time
The end