| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 73.6006 | 73.9385 |
| Name | PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l035-r034-n1.opb |
| MD5SUM | ba3e79fbb414116636e41440ecd82818 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.826313 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1968 |
| Total number of constraints | 4184 |
| Number of constraints which are clauses | 3528 |
| Number of constraints which are cardinality constraints (but not clauses) | 656 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4513772-1751224201.opb>
0.00/0.04 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4184 constraints
0.00/0.04 c problem read in 0.02
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver found nothing
0.00/0.11 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4184 upgd conss, 0 impls, 4184 clqs
0.10/0.18 c (0.2s) probing: 51/1968 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.18 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.10/0.18 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.10/0.21 c (0.2s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
0.10/0.21 c dynamic symmetry handling statistics:
0.10/0.21 c orbitopal reduction: no components
0.10/0.21 c orbital reduction: no components
0.10/0.21 c lexicographic reduction: no permutations
0.10/0.21 c handled 1 out of 1 symmetry components
0.10/0.21 c (round 2, exhaustive) 11 del vars, 0 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4184 upgd conss, 0 impls, 4141 clqs
0.10/0.22 c (round 3, fast) 27 del vars, 51 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4184 upgd conss, 0 impls, 4133 clqs
0.21/0.23 c (0.2s) probing: 56/1968 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.21/0.23 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.21/0.23 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
0.21/0.23 c 27 deleted vars, 51 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.21/0.23 c 0 implications, 4133 cliques
0.21/0.23 c presolved problem has 1949 variables (1949 bin, 0 int, 0 impl, 0 cont) and 4134 constraints
0.21/0.23 c 4133 constraints of type <setppc>
0.21/0.23 c 1 constraints of type <orbitope>
0.21/0.23 c transformed objective value is always integral (scale: 1)
0.21/0.23 c Presolving Time: 0.18
0.21/0.23 c - non default parameters ----------------------------------------------------------------------
0.21/0.23 c # SCIP version 10.0.0
0.21/0.23 c
0.21/0.23 c # maximal time in seconds to run
0.21/0.23 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.21/0.23 c limits/time = 3596.99414
0.21/0.23 c
0.21/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.21/0.23 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.21/0.23 c limits/memory = 27900
0.21/0.23 c
0.21/0.23 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.21/0.23 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.21/0.23 c limits/solutions = 1
0.21/0.23 c
0.21/0.23 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.21/0.23 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.21/0.23 c misc/usesymmetry = 3
0.21/0.23 c
0.21/0.23 c # belongs reading time to solving time?
0.21/0.23 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.21/0.23 c timing/reading = TRUE
0.21/0.23 c
0.21/0.23 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.21/0.23 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.21/0.23 c propagating/symmetry/detectdoublelex = FALSE
0.21/0.23 c
0.21/0.23 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.21/0.23 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.21/0.23 c propagating/symmetry/detectsubgroups = FALSE
0.21/0.23 c
0.21/0.23 c # Type of symmetries that shall be computed?
0.21/0.23 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.21/0.23 c propagating/symmetry/symtype = 1
0.21/0.23 c
0.21/0.23 c # Should components consisting of a single full reflection be handled?
0.21/0.23 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.21/0.23 c propagating/symmetry/usesimplesgncomp = FALSE
0.21/0.23 c
0.21/0.23 c -----------------------------------------------------------------------------------------------
0.21/0.23 c start solving
0.21/0.23 c
0.30/0.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.38 c 0.4s| 1 | 0 | 1735 | - | 25M | 0 |1949 |4155 |4133 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.06 c 1.0s| 1 | 0 | 5902 | - | 27M | 0 |1949 |4214 |4288 | 155 | 1 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
1.18/1.23 c 1.2s| 1 | 0 | 6425 | - | 29M | 0 |1949 |4215 |4419 | 286 | 2 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.38 c 1.4s| 1 | 0 | 6629 | - | 30M | 0 |1949 |4216 |4449 | 316 | 3 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
1.38/1.47 c 1.5s| 1 | 0 | 6725 | - | 31M | 0 |1949 |4217 |4465 | 332 | 4 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
1.58/1.61 c 1.6s| 1 | 0 | 6814 | - | 34M | 0 |1949 |4218 |4480 | 347 | 5 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
1.68/1.71 c 1.7s| 1 | 0 | 6884 | - | 35M | 0 |1949 |4219 |4493 | 360 | 6 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.85 c 1.8s| 1 | 0 | 6942 | - | 39M | 0 |1949 |4220 |4506 | 373 | 7 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
1.88/2.00 c 2.0s| 1 | 0 | 7041 | - | 42M | 0 |1949 |4222 |4519 | 386 | 8 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
2.09/2.13 c 2.1s| 1 | 0 | 7097 | - | 46M | 0 |1949 |4223 |4530 | 397 | 9 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
2.17/2.26 c 2.2s| 1 | 0 | 7155 | - | 51M | 0 |1949 |4224 |4541 | 408 | 10 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
2.17/2.29 c 2.3s| 1 | 0 | 7231 | - | 51M | 0 |1949 |4225 |4498 | 419 | 11 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
2.47/2.56 c 2.5s| 1 | 2 | 8602 | - | 52M | 0 |1949 |4231 |4498 | 419 | 11 | 39 | 11 | 0.000000e+00 | -- | Inf | unknown
3.47/3.59 c 3.6s| 100 | 67 | 18673 | 118.4 | 57M | 50 |1949 |4325 |4400 | 586 | 1 | 134 | 11 | 0.000000e+00 | -- | Inf | unknown
3.87/3.94 c 3.9s| 200 | 57 | 21288 | 72.0 | 59M | 50 |1949 |4496 |4373 | 799 | 1 | 310 | 11 | 0.000000e+00 | -- | Inf | unknown
4.36/4.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.36/4.43 c 4.4s| 300 | 68 | 23932 | 56.8 | 61M | 50 |1949 |4634 |4376 |1022 | 1 | 452 | 11 | 0.000000e+00 | -- | Inf | unknown
4.97/5.03 c 5.0s| 400 | 71 | 26157 | 48.1 | 61M | 50 |1949 |4770 |4372 |1121 | 1 | 611 | 11 | 0.000000e+00 | -- | Inf | unknown
5.26/5.39 c 5.4s| 500 | 74 | 28118 | 42.4 | 61M | 50 |1949 |4821 |4368 |1164 | 1 | 675 | 11 | 0.000000e+00 | -- | Inf | unknown
6.46/6.54 c 6.5s| 600 | 62 | 30541 | 39.4 | 61M | 50 |1949 |4900 |4409 |1308 | 1 | 782 | 11 | 0.000000e+00 | -- | Inf | unknown
7.46/7.58 c 7.6s| 700 | 70 | 35108 | 40.3 | 62M | 50 |1949 |4976 |4356 |1516 | 0 | 876 | 11 | 0.000000e+00 | -- | Inf | unknown
9.25/9.30 c 9.3s| 800 | 73 | 38102 | 39.0 | 62M | 50 |1949 |4962 |4372 |1970 | 1 | 917 | 11 | 0.000000e+00 | -- | Inf | unknown
9.75/9.81 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
9.75/9.81 c (run 1, node 890) performing user restart
9.75/9.81 c
9.75/9.81 c (restart) converted 170 cuts from the global cut pool into linear constraints
9.75/9.81 c
9.75/9.81 c presolving:
9.75/9.82 c (round 1, fast) 0 del vars, 279 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 4284 clqs
9.75/9.82 c (round 2, exhaustive) 1 del vars, 429 del conss, 37 add conss, 0 chg bounds, 4 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 4281 clqs
9.75/9.82 c (round 3, exhaustive) 1 del vars, 437 del conss, 37 add conss, 0 chg bounds, 6 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 4309 clqs
9.75/9.83 c (round 4, exhaustive) 1 del vars, 437 del conss, 37 add conss, 0 chg bounds, 6 chg sides, 34 chg coeffs, 227 upgd conss, 0 impls, 4309 clqs
9.75/9.83 c (round 5, fast) 1 del vars, 448 del conss, 37 add conss, 0 chg bounds, 6 chg sides, 34 chg coeffs, 227 upgd conss, 0 impls, 4310 clqs
9.75/9.83 c (round 6, medium) 1 del vars, 451 del conss, 39 add conss, 0 chg bounds, 8 chg sides, 38 chg coeffs, 227 upgd conss, 0 impls, 4312 clqs
9.75/9.84 c (round 7, exhaustive) 1 del vars, 471 del conss, 44 add conss, 0 chg bounds, 8 chg sides, 38 chg coeffs, 227 upgd conss, 0 impls, 4312 clqs
9.75/9.84 c (round 8, exhaustive) 1 del vars, 489 del conss, 44 add conss, 0 chg bounds, 8 chg sides, 40 chg coeffs, 227 upgd conss, 0 impls, 4316 clqs
9.75/9.85 c presolving (9 rounds: 9 fast, 7 medium, 6 exhaustive):
9.75/9.85 c 1 deleted vars, 489 deleted constraints, 44 added constraints, 0 tightened bounds, 0 added holes, 8 changed sides, 40 changed coefficients
9.75/9.85 c 0 implications, 4316 cliques
9.75/9.85 c presolved problem has 1948 variables (1948 bin, 0 int, 0 impl, 0 cont) and 4694 constraints
9.75/9.85 c 15 constraints of type <knapsack>
9.75/9.85 c 4189 constraints of type <setppc>
9.75/9.85 c 1 constraints of type <orbitope>
9.75/9.85 c 489 constraints of type <logicor>
9.75/9.85 c transformed objective value is always integral (scale: 1)
9.75/9.85 c Presolving Time: 0.22
9.75/9.85 c
9.85/9.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.85/9.92 c 9.9s| 1 | 0 | 41314 | - | 62M | 0 |1948 |4704 |4209 | 0 | 0 |1000 | 11 | 0.000000e+00 | -- | Inf | unknown
9.96/10.08 c 10.1s| 1 | 0 | 41772 | - | 63M | 0 |1948 |4707 |4324 | 115 | 1 |1003 | 11 | 0.000000e+00 | -- | Inf | unknown
10.15/10.22 c 10.2s| 1 | 0 | 41995 | - | 63M | 0 |1948 |4708 |4371 | 162 | 2 |1004 | 11 | 0.000000e+00 | -- | Inf | unknown
10.25/10.39 c 10.4s| 1 | 0 | 42040 | - | 64M | 0 |1948 |4709 |4387 | 178 | 3 |1005 | 11 | 0.000000e+00 | -- | Inf | unknown
10.35/10.46 c 10.4s| 1 | 0 | 42131 | - | 64M | 0 |1948 |4710 |4400 | 191 | 4 |1006 | 11 | 0.000000e+00 | -- | Inf | unknown
10.55/10.62 c 10.6s| 1 | 0 | 42222 | - | 64M | 0 |1948 |4712 |4414 | 205 | 5 |1008 | 11 | 0.000000e+00 | -- | Inf | unknown
10.65/10.72 c 10.7s| 1 | 0 | 42331 | - | 65M | 0 |1948 |4713 |4428 | 219 | 6 |1009 | 11 | 0.000000e+00 | -- | Inf | unknown
10.75/10.83 c 10.8s| 1 | 0 | 42421 | - | 66M | 0 |1948 |4714 |4442 | 233 | 7 |1010 | 11 | 0.000000e+00 | -- | Inf | unknown
10.85/10.95 c 10.9s| 1 | 0 | 42532 | - | 66M | 0 |1948 |4715 |4451 | 242 | 8 |1011 | 11 | 0.000000e+00 | -- | Inf | unknown
10.96/11.04 c 11.0s| 1 | 0 | 42599 | - | 69M | 0 |1948 |4716 |4464 | 255 | 9 |1012 | 11 | 0.000000e+00 | -- | Inf | unknown
11.15/11.22 c 11.2s| 1 | 0 | 42708 | - | 74M | 0 |1948 |4717 |4425 | 273 | 10 |1013 | 11 | 0.000000e+00 | -- | Inf | unknown
11.15/11.25 c 11.2s| 1 | 0 | 42822 | - | 75M | 0 |1948 |4718 |4438 | 286 | 11 |1014 | 11 | 0.000000e+00 | -- | Inf | unknown
11.55/11.68 c 11.7s| 1 | 2 | 44559 | - | 75M | 0 |1948 |4731 |4438 | 286 | 11 |1027 | 30 | 0.000000e+00 | -- | Inf | unknown
12.05/12.16 c 12.1s| 100 | 53 | 50938 | 41.2 | 78M | 40 |1948 |4819 |4300 | 434 | 1 |1116 | 30 | 0.000000e+00 | -- | Inf | unknown
12.24/12.35 c 12.3s| 200 | 21 | 51943 | 38.4 | 78M | 40 |1948 |4986 | 0 | 456 | 0 |1284 | 30 | 0.000000e+00 | -- | Inf | unknown
12.54/12.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.54/12.67 c 12.7s| 300 | 66 | 55151 | 37.8 | 79M | 40 |1948 |5073 |4266 | 599 | 1 |1371 | 30 | 0.000000e+00 | -- | Inf | unknown
12.84/12.95 c 12.9s| 400 | 42 | 57795 | 37.0 | 81M | 40 |1948 |5255 |4260 | 686 | 1 |1554 | 30 | 0.000000e+00 | -- | Inf | unknown
13.24/13.37 c 13.4s| 500 | 33 | 60292 | 36.1 | 85M | 40 |1948 |5392 | 0 | 978 | 0 |1699 | 30 | 0.000000e+00 | -- | Inf | 0.98%
13.54/13.68 c 13.7s| 600 | 24 | 62060 | 34.9 | 86M | 40 |1948 |5498 | 0 |1191 | 0 |1819 | 30 | 0.000000e+00 | -- | Inf | 3.34%
13.83/13.90 c 13.9s| 700 | 28 | 64352 | 34.1 | 87M | 40 |1948 |5575 |4293 |1256 | 1 |1942 | 30 | 0.000000e+00 | -- | Inf | 3.46%
14.23/14.30 c 14.3s| 800 | 26 | 66502 | 33.4 | 89M | 40 |1948 |5680 | 0 |1593 | 0 |2099 | 30 | 0.000000e+00 | -- | Inf | 4.05%
14.63/14.72 c 14.7s| 900 | 29 | 69667 | 33.3 | 91M | 40 |1948 |5750 |4291 |2301 | 1 |2232 | 30 | 0.000000e+00 | -- | Inf | 4.69%
14.83/14.95 c 14.9s| 1000 | 29 | 71620 | 32.5 | 91M | 40 |1948 |5790 | 0 |2420 | 0 |2356 | 30 | 0.000000e+00 | -- | Inf | 4.90%
15.04/15.19 c 15.2s| 1100 | 20 | 73326 | 31.8 | 92M | 40 |1948 |5838 | 0 |2648 | 0 |2493 | 30 | 0.000000e+00 | -- | Inf | 5.40%
15.53/15.61 c 15.6s| 1200 | 29 | 75838 | 31.4 | 94M | 40 |1948 |5952 |4303 |3157 | 1 |2653 | 30 | 0.000000e+00 | -- | Inf | 5.79%
15.83/15.94 c 15.9s| 1300 | 31 | 77953 | 31.0 | 95M | 40 |1948 |6046 | 0 |3483 | 0 |2815 | 30 | 0.000000e+00 | -- | Inf | 5.98%
16.32/16.46 c 16.4s| 1400 | 40 | 82563 | 31.6 | 97M | 40 |1948 |6090 |4259 |4234 | 1 |2959 | 30 | 0.000000e+00 | -- | Inf | 7.17%
16.72/16.82 c 16.8s| 1500 | 34 | 85767 | 31.6 | 98M | 40 |1948 |6140 |4305 |4946 | 2 |3113 | 30 | 0.000000e+00 | -- | Inf | 8.76%
17.03/17.17 c 17.2s| 1600 | 36 | 88964 | 31.7 | 99M | 40 |1948 |6180 |4304 |5519 | 2 |3238 | 30 | 0.000000e+00 | -- | Inf | 9.59%
17.32/17.44 c 17.4s| 1700 | 32 | 91327 | 31.4 | 100M | 40 |1948 |6245 | 0 |5952 | 0 |3363 | 30 | 0.000000e+00 | -- | Inf | 10.94%
17.82/17.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.82/17.92 c 17.9s| 1800 | 32 | 94762 | 31.5 | 100M | 40 |1948 |6273 | 0 |6721 | 0 |3486 | 30 | 0.000000e+00 | -- | Inf | 12.07%
18.11/18.20 c 18.2s| 1900 | 38 | 97382 | 31.3 | 100M | 40 |1948 |6356 |4269 |7215 | 1 |3638 | 30 | 0.000000e+00 | -- | Inf | 12.94%
18.61/18.71 c 18.7s| 2000 | 39 |101660 | 31.7 | 101M | 40 |1948 |6464 |4212 |7981 | 1 |3817 | 30 | 0.000000e+00 | -- | Inf | 14.72%
19.02/19.12 c 19.1s| 2100 | 36 |106602 | 32.3 | 101M | 40 |1948 |6551 |4268 |8882 | 2 |3953 | 30 | 0.000000e+00 | -- | Inf | 16.57%
19.41/19.52 c 19.5s| 2200 | 48 |110029 | 32.3 | 102M | 40 |1948 |6612 |4290 |9589 | 1 |4086 | 30 | 0.000000e+00 | -- | Inf | 18.03%
19.71/19.89 c 19.9s| 2300 | 45 |112543 | 32.1 | 103M | 40 |1948 |6690 |4285 | 10k| 2 |4236 | 30 | 0.000000e+00 | -- | Inf | 18.82%
20.11/20.21 c 20.2s| 2400 | 49 |115129 | 31.9 | 104M | 40 |1948 |6721 |4280 | 10k| 1 |4357 | 30 | 0.000000e+00 | -- | Inf | 19.50%
20.40/20.51 c 20.5s| 2500 | 45 |117504 | 31.7 | 104M | 40 |1948 |6784 |4287 | 10k| 1 |4506 | 30 | 0.000000e+00 | -- | Inf | 20.09%
20.70/20.87 c 20.9s| 2600 | 40 |120598 | 31.7 | 104M | 40 |1948 |6804 |4279 | 11k| 1 |4644 | 30 | 0.000000e+00 | -- | Inf | 21.25%
21.10/21.25 c 21.2s| 2700 | 38 |124188 | 31.8 | 104M | 40 |1948 |6810 |4283 | 12k| 1 |4740 | 30 | 0.000000e+00 | -- | Inf | 22.46%
21.70/21.86 c 21.8s| 2800 | 42 |129129 | 32.2 | 104M | 40 |1948 |6807 |4283 | 13k| 1 |4879 | 30 | 0.000000e+00 | -- | Inf | 23.20%
22.10/22.23 c 22.2s| 2900 | 43 |132870 | 32.4 | 105M | 40 |1948 |6906 | 0 | 14k| 0 |5052 | 30 | 0.000000e+00 | -- | Inf | 24.03%
22.40/22.54 c 22.5s| 3000 | 51 |136232 | 32.4 | 105M | 40 |1948 |6902 |4306 | 14k| 2 |5182 | 30 | 0.000000e+00 | -- | Inf | 24.59%
22.91/23.04 c 23.0s| 3100 | 41 |140039 | 32.6 | 106M | 40 |1948 |6863 |4270 | 15k| 1 |5278 | 30 | 0.000000e+00 | -- | Inf | 26.97%
23.29/23.45 c 23.4s| 3200 | 41 |143113 | 32.5 | 107M | 40 |1948 |6883 |4289 | 16k| 1 |5369 | 30 | 0.000000e+00 | -- | Inf | 28.38%
23.79/23.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.79/23.99 c 24.0s| 3300 | 41 |146879 | 32.6 | 108M | 40 |1948 |6971 | 0 | 17k| 0 |5498 | 30 | 0.000000e+00 | -- | Inf | 29.55%
24.19/24.39 c 24.4s| 3400 | 48 |150666 | 32.8 | 108M | 40 |1948 |7040 |4283 | 17k| 1 |5599 | 30 | 0.000000e+00 | -- | Inf | 30.36%
24.49/24.67 c 24.7s| 3500 | 45 |152821 | 32.5 | 108M | 40 |1948 |7119 |4273 | 18k| 1 |5731 | 30 | 0.000000e+00 | -- | Inf | 31.25%
24.78/24.93 c 24.9s| 3600 | 45 |155172 | 32.3 | 108M | 40 |1948 |7165 | 0 | 18k| 0 |5856 | 30 | 0.000000e+00 | -- | Inf | 31.61%
25.08/25.20 c 25.2s| 3700 | 45 |157580 | 32.1 | 108M | 40 |1948 |7204 |4291 | 18k| 1 |5978 | 30 | 0.000000e+00 | -- | Inf | 31.97%
25.28/25.47 c 25.5s| 3800 | 44 |158959 | 31.7 | 108M | 40 |1948 |7241 |4290 | 19k| 1 |6102 | 30 | 0.000000e+00 | -- | Inf | 32.33%
25.69/25.81 c 25.8s| 3900 | 40 |160879 | 31.5 | 108M | 40 |1948 |7231 |4292 | 19k| 1 |6236 | 30 | 0.000000e+00 | -- | Inf | 32.71%
26.08/26.27 c 26.3s| 4000 | 33 |164082 | 31.5 | 109M | 40 |1948 |7238 |4301 | 20k| 1 |6356 | 30 | 0.000000e+00 | -- | Inf | 33.47%
26.57/26.74 c 26.7s| 4100 | 37 |167770 | 31.6 | 111M | 40 |1948 |7289 |4288 | 20k| 1 |6482 | 30 | 0.000000e+00 | -- | Inf | 33.95%
26.98/27.17 c 27.2s| 4200 | 44 |171113 | 31.6 | 112M | 40 |1948 |7353 | 0 | 21k| 0 |6601 | 30 | 0.000000e+00 | -- | Inf | 34.39%
27.27/27.41 c 27.4s| 4300 | 41 |173185 | 31.4 | 112M | 40 |1948 |7351 |4311 | 21k| 1 |6727 | 30 | 0.000000e+00 | -- | Inf | 34.76%
27.56/27.75 c 27.7s| 4400 | 52 |177810 | 31.7 | 113M | 40 |1948 |7368 |4211 | 22k| 1 |6840 | 30 | 0.000000e+00 | -- | Inf | 35.32%
28.16/28.35 c 28.3s| 4500 | 56 |182553 | 32.0 | 113M | 40 |1948 |7369 |4299 | 23k| 1 |6954 | 30 | 0.000000e+00 | -- | Inf | 37.04%
28.46/28.60 c 28.6s| 4600 | 62 |184395 | 31.7 | 113M | 40 |1948 |7426 |4307 | 23k| 1 |7083 | 30 | 0.000000e+00 | -- | Inf | 37.19%
28.76/28.98 c 29.0s| 4700 | 56 |187444 | 31.7 | 113M | 40 |1948 |7416 |4286 | 24k| 1 |7193 | 30 | 0.000000e+00 | -- | Inf | 37.90%
29.26/29.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.26/29.40 c 29.4s| 4800 | 56 |191200 | 31.8 | 113M | 40 |1948 |7477 |4300 | 25k| 1 |7316 | 30 | 0.000000e+00 | -- | Inf | 38.74%
29.56/29.73 c 29.7s| 4900 | 61 |194931 | 31.9 | 114M | 40 |1948 |7502 |4302 | 26k| 1 |7440 | 30 | 0.000000e+00 | -- | Inf | 39.49%
29.75/29.96 c 29.9s| 5000 | 56 |196751 | 31.7 | 114M | 40 |1948 |7524 |4301 | 26k| 1 |7565 | 30 | 0.000000e+00 | -- | Inf | 39.65%
30.15/30.39 c 30.4s| 5100 | 64 |200689 | 31.8 | 114M | 40 |1948 |7517 |4313 | 27k| 2 |7665 | 30 | 0.000000e+00 | -- | Inf | 40.13%
30.45/30.69 c 30.7s| 5200 | 61 |203394 | 31.7 | 114M | 40 |1948 |7566 |4298 | 27k| 1 |7809 | 30 | 0.000000e+00 | -- | Inf | 40.66%
30.75/30.93 c 30.9s| 5300 | 49 |205212 | 31.5 | 114M | 40 |1948 |7617 |4293 | 27k| 1 |7951 | 30 | 0.000000e+00 | -- | Inf | 41.16%
31.25/31.42 c 31.4s| 5400 | 49 |210421 | 31.8 | 115M | 40 |1948 |7627 | 0 | 29k| 0 |8089 | 30 | 0.000000e+00 | -- | Inf | 42.62%
31.75/31.91 c 31.9s| 5500 | 48 |214664 | 32.0 | 115M | 40 |1948 |7638 | 0 | 30k| 0 |8197 | 30 | 0.000000e+00 | -- | Inf | 44.24%
32.14/32.34 c 32.3s| 5600 | 43 |218514 | 32.1 | 117M | 40 |1948 |7670 | 0 | 31k| 0 |8323 | 30 | 0.000000e+00 | -- | Inf | 45.14%
32.44/32.70 c 32.7s| 5700 | 43 |221556 | 32.1 | 117M | 40 |1948 |7671 |4288 | 31k| 1 |8425 | 30 | 0.000000e+00 | -- | Inf | 46.08%
32.85/33.01 c 33.0s| 5800 | 27 |224261 | 32.0 | 118M | 40 |1948 |7603 |4284 | 32k| 1 |8539 | 30 | 0.000000e+00 | -- | Inf | 46.79%
33.24/33.48 c 33.5s| 5900 | 27 |228423 | 32.1 | 118M | 40 |1948 |7608 |4324 | 33k| 2 |8650 | 30 | 0.000000e+00 | -- | Inf | 47.85%
33.64/33.80 c 33.8s| 6000 | 31 |231509 | 32.1 | 118M | 40 |1948 |7626 |4290 | 33k| 1 |8759 | 30 | 0.000000e+00 | -- | Inf | 48.31%
33.95/34.15 c 34.1s| 6100 | 23 |234668 | 32.1 | 118M | 40 |1948 |7705 |4307 | 34k| 1 |8898 | 30 | 0.000000e+00 | -- | Inf | 48.75%
34.14/34.38 c 34.4s| 6200 | 16 |236287 | 31.9 | 118M | 40 |1948 |7617 |4306 | 34k| 1 |9006 | 30 | 0.000000e+00 | -- | Inf | 49.18%
34.44/34.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.44/34.65 c 34.6s| 6300 | 9 |238418 | 31.8 | 119M | 40 |1948 |7642 |4296 | 34k| 1 |9135 | 30 | 0.000000e+00 | -- | Inf | 49.65%
34.73/34.95 c 34.9s| 6400 | 14 |241668 | 31.8 | 119M | 40 |1948 |7664 |4256 | 35k| 1 |9235 | 30 | 0.000000e+00 | -- | Inf | 50.00%
35.24/35.47 c 35.5s| 6500 | 11 |245511 | 31.9 | 122M | 40 |1948 |7770 |4272 | 35k| 1 |9377 | 30 | 0.000000e+00 | -- | Inf | 51.10%
36.85/37.10 c 37.1s| 6600 | 23 |262042 | 33.6 | 122M | 40 |1948 |7885 |4260 | 35k| 1 |9531 | 30 | 0.000000e+00 | -- | Inf | 51.67%
37.53/37.76 c 37.7s| 6700 | 18 |266365 | 33.8 | 122M | 40 |1948 |7985 |4277 | 36k| 1 |9723 | 30 | 0.000000e+00 | -- | Inf | 53.81%
37.84/38.06 c 38.0s| 6800 | 36 |269020 | 33.7 | 123M | 40 |1948 |8065 |4235 | 36k| 1 |9851 | 30 | 0.000000e+00 | -- | Inf | 54.18%
38.03/38.26 c 38.2s| 6900 | 24 |270853 | 33.5 | 123M | 40 |1948 |8113 |4237 | 36k| 0 |9958 | 30 | 0.000000e+00 | -- | Inf | 54.20%
38.53/38.72 c 38.7s| 7000 | 20 |274479 | 33.5 | 123M | 40 |1948 |8172 |4266 | 37k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 54.91%
38.94/39.16 c 39.1s| 7100 | 26 |278099 | 33.5 | 123M | 40 |1948 |8227 | 0 | 38k| 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 56.53%
39.32/39.57 c 39.6s| 7200 | 21 |282614 | 33.7 | 123M | 40 |1948 |8328 | 0 | 39k| 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 59.53%
39.72/39.97 c 40.0s| 7300 | 29 |285383 | 33.6 | 123M | 40 |1948 |8326 |4295 | 39k| 3 | 10k| 30 | 0.000000e+00 | -- | Inf | 60.03%
40.02/40.27 c 40.3s| 7400 | 26 |287962 | 33.5 | 123M | 40 |1948 |8365 |4259 | 40k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 60.69%
40.62/40.84 c 40.8s| 7500 | 18 |291753 | 33.6 | 124M | 40 |1948 |8350 |4330 | 41k| 4 | 10k| 30 | 0.000000e+00 | -- | Inf | 62.43%
41.02/41.21 c 41.2s| 7600 | 13 |293795 | 33.4 | 125M | 40 |1948 |8386 |4211 | 41k| 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 63.04%
41.31/41.54 c 41.5s| 7700 | 21 |296518 | 33.3 | 125M | 40 |1948 |8361 | 0 | 42k| 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 64.87%
41.61/41.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.61/41.84 c 41.8s| 7800 | 22 |299871 | 33.3 | 125M | 40 |1948 |8429 |4271 | 42k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 65.32%
41.82/42.10 c 42.1s| 7900 | 19 |301799 | 33.2 | 125M | 40 |1948 |8472 |4211 | 42k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 65.77%
42.21/42.47 c 42.5s| 8000 | 30 |306823 | 33.4 | 126M | 40 |1948 |8497 |4287 | 43k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 66.00%
42.51/42.77 c 42.8s| 8100 | 31 |309413 | 33.3 | 126M | 40 |1948 |8503 |4211 | 43k| 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 66.53%
42.92/43.11 c 43.1s| 8200 | 39 |312786 | 33.3 | 126M | 40 |1948 |8428 | 0 | 44k| 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 67.05%
43.21/43.43 c 43.4s| 8300 | 34 |315228 | 33.2 | 127M | 40 |1948 |8424 | 0 | 44k| 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 67.47%
43.60/43.82 c 43.8s| 8400 | 49 |319664 | 33.3 | 127M | 40 |1948 |8471 | 0 | 45k| 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 68.41%
44.10/44.31 c 44.3s| 8500 | 48 |323312 | 33.4 | 127M | 40 |1948 |8542 |4261 | 46k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 70.32%
44.50/44.75 c 44.7s| 8600 | 48 |326475 | 33.3 | 128M | 40 |1948 |8618 | 0 | 46k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 71.70%
44.81/45.08 c 45.1s| 8700 | 48 |329415 | 33.3 | 128M | 40 |1948 |8695 | 0 | 47k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 72.36%
45.20/45.44 c 45.4s| 8800 | 45 |332082 | 33.2 | 128M | 40 |1948 |8729 | 0 | 47k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 73.09%
45.49/45.70 c 45.7s| 8900 | 36 |333830 | 33.1 | 128M | 40 |1948 |8788 | 0 | 48k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 73.64%
45.69/46.00 c 46.0s| 9000 | 33 |336496 | 33.0 | 128M | 40 |1948 |8769 |4286 | 48k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 74.30%
45.99/46.22 c 46.2s| 9100 | 28 |337878 | 32.8 | 128M | 40 |1948 |8746 | 0 | 48k| 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 74.90%
46.29/46.51 c 46.5s| 9200 | 15 |339705 | 32.7 | 128M | 40 |1948 |8733 |4275 | 49k| 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 75.46%
46.59/46.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
46.59/46.83 c 46.8s| 9300 | 28 |341984 | 32.6 | 129M | 40 |1948 |8571 |4290 | 49k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 75.78%
46.90/47.11 c 47.1s| 9400 | 13 |344455 | 32.5 | 129M | 40 |1948 |8660 |4279 | 49k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 75.79%
47.19/47.44 c 47.4s| 9500 | 27 |348050 | 32.5 | 129M | 40 |1948 |8706 |4285 | 49k| 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 75.82%
47.79/48.02 c 48.0s| 9600 | 27 |354039 | 32.8 | 130M | 40 |1948 |8818 |4307 | 49k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 75.98%
48.18/48.41 c 48.4s| 9700 | 31 |357530 | 32.8 | 130M | 40 |1948 |8892 |4293 | 49k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 76.28%
48.37/48.66 c 48.6s| 9800 | 30 |359143 | 32.6 | 131M | 40 |1948 |8954 |4294 | 49k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 76.28%
48.57/48.87 c 48.9s| 9900 | 22 |360570 | 32.5 | 131M | 40 |1948 |9046 |4284 | 49k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 76.30%
48.78/49.07 c 49.1s| 10000 | 19 |361983 | 32.3 | 131M | 40 |1948 |9123 |4279 | 49k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 76.33%
49.07/49.39 c 49.4s| 10100 | 18 |366262 | 32.4 | 131M | 40 |1948 |9223 |4295 | 50k| 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 76.50%
49.57/49.80 c 49.8s| 10200 | 20 |369515 | 32.4 | 131M | 40 |1948 |9287 |4291 | 50k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 76.78%
49.96/50.20 c 50.2s| 10300 | 15 |372567 | 32.4 | 131M | 40 |1948 |9394 |4303 | 50k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 77.06%
50.26/50.50 c 50.5s| 10400 | 13 |374758 | 32.3 | 131M | 40 |1948 |9446 | 0 | 50k| 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 77.20%
50.66/50.91 c 50.9s| 10500 | 12 |379107 | 32.4 | 131M | 40 |1948 |9507 | 0 | 51k| 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 77.54%
51.06/51.32 c 51.3s| 10600 | 16 |383079 | 32.5 | 132M | 40 |1948 |9627 |4292 | 51k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 77.74%
51.26/51.60 c 51.6s| 10700 | 18 |385666 | 32.4 | 132M | 40 |1948 |9679 |4302 | 51k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 77.91%
51.65/51.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.65/51.93 c 51.9s| 10800 | 16 |388710 | 32.4 | 132M | 40 |1948 |9726 |4317 | 51k| 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 78.08%
51.95/52.26 c 52.2s| 10900 | 14 |391401 | 32.3 | 132M | 40 |1948 |9786 |4283 | 52k| 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 78.36%
52.65/52.91 c 52.9s| 11000 | 17 |395520 | 32.4 | 132M | 40 |1948 |9911 | 0 | 53k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 79.01%
52.86/53.19 c 53.2s| 11100 | 7 |397363 | 32.3 | 132M | 40 |1948 | 10k| 0 | 53k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 79.29%
53.24/53.51 c 53.5s| 11200 | 12 |399254 | 32.2 | 132M | 40 |1948 | 10k|4309 | 53k| 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 79.42%
53.54/53.81 c 53.8s| 11300 | 10 |401989 | 32.1 | 133M | 40 |1948 | 10k| 0 | 53k| 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 79.71%
54.04/54.37 c 54.4s| 11400 | 12 |406484 | 32.3 | 133M | 40 |1948 | 10k|4293 | 54k| 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 80.37%
54.34/54.66 c 54.6s| 11500 | 9 |408630 | 32.2 | 133M | 40 |1948 | 10k|4311 | 54k| 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 80.64%
54.64/54.96 c 54.9s| 11600 | 15 |410631 | 32.1 | 133M | 40 |1948 | 10k|4292 | 54k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 80.76%
55.04/55.39 c 55.4s| 11700 | 15 |413712 | 32.1 | 133M | 40 |1948 | 10k| 0 | 55k| 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 80.90%
55.24/55.58 c 55.6s| 11800 | 14 |415023 | 31.9 | 133M | 40 |1948 | 10k|4286 | 55k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 80.99%
55.53/55.80 c 55.8s| 11900 | 13 |416656 | 31.8 | 133M | 40 |1948 | 10k| 0 | 55k| 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 81.12%
55.85/56.18 c 56.2s| 12000 | 19 |420900 | 31.9 | 133M | 40 |1948 | 10k|4239 | 55k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 81.25%
56.23/56.58 c 56.6s| 12100 | 14 |423570 | 31.8 | 134M | 40 |1948 | 10k|4312 | 56k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 81.77%
56.63/56.91 c 56.9s| 12200 | 20 |427258 | 31.9 | 134M | 40 |1948 | 10k|4284 | 56k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 82.18%
56.93/57.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
56.93/57.24 c 57.2s| 12300 | 25 |429962 | 31.8 | 134M | 40 |1948 | 10k|4298 | 57k| 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 82.40%
57.13/57.46 c 57.4s| 12400 | 20 |431313 | 31.7 | 134M | 40 |1948 | 10k|4318 | 57k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 82.51%
57.33/57.69 c 57.7s| 12500 | 16 |433061 | 31.6 | 134M | 40 |1948 | 10k|4312 | 57k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 82.66%
57.63/57.98 c 58.0s| 12600 | 14 |435197 | 31.5 | 134M | 40 |1948 | 11k|4298 | 57k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 82.84%
58.02/58.32 c 58.3s| 12700 | 12 |438703 | 31.5 | 135M | 40 |1948 | 11k| 0 | 57k| 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 84.43%
58.32/58.62 c 58.6s| 12800 | 30 |442659 | 31.6 | 135M | 40 |1948 | 11k|4228 | 57k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 84.49%
58.52/58.86 c 58.8s| 12900 | 14 |444707 | 31.5 | 135M | 40 |1948 | 11k|4298 | 58k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 84.56%
58.92/59.25 c 59.2s| 13000 | 11 |447576 | 31.5 | 136M | 40 |1948 | 11k|4297 | 58k| 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 84.79%
59.22/59.58 c 59.6s| 13100 | 22 |450188 | 31.5 | 136M | 40 |1948 | 11k| 0 | 58k| 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 84.91%
59.52/59.81 c 59.8s| 13200 | 16 |451578 | 31.3 | 136M | 40 |1948 | 11k| 0 | 58k| 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 85.00%
59.73/60.03 c 60.0s| 13300 | 11 |452754 | 31.2 | 136M | 40 |1948 | 11k|4297 | 58k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 85.05%
60.11/60.48 c 60.5s| 13400 | 17 |456508 | 31.2 | 136M | 40 |1948 | 11k|4291 | 59k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 85.45%
60.51/60.84 c 60.8s| 13500 | 11 |458953 | 31.2 | 136M | 40 |1948 | 11k|4297 | 59k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 85.89%
60.91/61.20 c 61.2s| 13600 | 12 |462417 | 31.2 | 137M | 40 |1948 | 11k|4287 | 59k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 85.99%
61.11/61.43 c 61.4s| 13700 | 8 |463319 | 31.1 | 137M | 40 |1948 | 11k|4309 | 59k| 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 86.07%
61.41/61.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.41/61.73 c 61.7s| 13800 | 8 |465705 | 31.0 | 137M | 40 |1948 | 11k| 0 | 59k| 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 86.16%
61.61/61.96 c 61.9s| 13900 | 10 |467018 | 30.9 | 137M | 40 |1948 | 11k|4305 | 60k| 2 | 19k| 30 | 0.000000e+00 | -- | Inf | 86.19%
61.90/62.23 c 62.2s| 14000 | 11 |469124 | 30.8 | 137M | 40 |1948 | 11k|4295 | 60k| 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 86.31%
62.30/62.61 c 62.6s| 14100 | 13 |473821 | 30.9 | 137M | 40 |1948 | 11k|4302 | 60k| 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 86.38%
62.50/62.88 c 62.9s| 14200 | 12 |475577 | 30.8 | 137M | 40 |1948 | 11k|4295 | 60k| 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 86.50%
62.90/63.29 c 63.3s| 14300 | 16 |480160 | 30.9 | 137M | 40 |1948 | 11k|4341 | 60k| 3 | 19k| 30 | 0.000000e+00 | -- | Inf | 86.60%
63.20/63.54 c 63.5s| 14400 | 28 |482139 | 30.9 | 137M | 40 |1948 | 12k|4298 | 61k| 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 86.67%
63.50/63.83 c 63.8s| 14500 | 20 |483510 | 30.8 | 138M | 40 |1948 | 12k| 0 | 61k| 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 86.89%
63.81/64.12 c 64.1s| 14600 | 8 |485481 | 30.7 | 138M | 40 |1948 | 12k|4293 | 61k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 87.10%
64.19/64.52 c 64.5s| 14700 | 19 |488719 | 30.7 | 138M | 40 |1948 | 12k|4298 | 61k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 88.31%
64.70/65.07 c 65.1s| 14800 | 9 |491892 | 30.7 | 138M | 40 |1948 | 12k|4308 | 62k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 90.35%
64.99/65.31 c 65.3s| 14900 | 9 |493550 | 30.6 | 138M | 40 |1948 | 12k| 0 | 62k| 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 90.50%
65.39/65.77 c 65.8s| 15000 | 19 |498753 | 30.8 | 138M | 40 |1948 | 12k|4317 | 63k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 90.86%
65.80/66.12 c 66.1s| 15100 | 14 |501256 | 30.7 | 139M | 40 |1948 | 12k|4294 | 63k| 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 91.41%
66.09/66.43 c 66.4s| 15200 | 12 |503178 | 30.6 | 139M | 40 |1948 | 12k| 0 | 63k| 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 91.59%
66.48/66.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
66.48/66.85 c 66.8s| 15300 | 12 |506650 | 30.7 | 140M | 40 |1948 | 12k|4297 | 64k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 91.97%
66.98/67.30 c 67.3s| 15400 | 12 |510228 | 30.7 | 141M | 40 |1948 | 12k| 0 | 64k| 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 92.35%
67.28/67.61 c 67.6s| 15500 | 10 |513002 | 30.7 | 141M | 40 |1948 | 12k|4306 | 64k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 92.54%
67.69/68.10 c 68.1s| 15600 | 11 |517429 | 30.8 | 141M | 40 |1948 | 13k| 0 | 65k| 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 93.06%
68.18/68.50 c 68.5s| 15700 | 11 |520650 | 30.8 | 142M | 40 |1948 | 13k|4329 | 65k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 93.50%
68.69/69.06 c 69.0s| 15800 | 11 |525293 | 30.9 | 143M | 40 |1948 | 13k|4317 | 66k| 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 93.92%
68.97/69.39 c 69.4s| 15900 | 11 |528226 | 30.9 | 143M | 40 |1948 | 13k| 0 | 66k| 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 94.30%
69.47/69.89 c 69.9s| 16000 | 8 |531271 | 30.9 | 143M | 40 |1948 | 13k|4321 | 67k| 3 | 22k| 30 | 0.000000e+00 | -- | Inf | 95.02%
69.87/70.29 c 70.3s| 16100 | 16 |535281 | 30.9 | 143M | 40 |1948 | 13k| 0 | 67k| 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 95.47%
70.27/70.68 c 70.7s| 16200 | 11 |538080 | 30.9 | 143M | 40 |1948 | 13k|4304 | 67k| 2 | 22k| 30 | 0.000000e+00 | -- | Inf | 95.73%
70.68/71.05 c 71.0s| 16300 | 10 |540570 | 30.9 | 144M | 40 |1948 | 13k| 0 | 68k| 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 96.02%
71.16/71.50 c 71.5s| 16400 | 10 |543616 | 30.9 | 144M | 40 |1948 | 13k| 0 | 68k| 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 96.48%
71.86/72.26 c 72.2s| 16500 | 13 |549704 | 31.0 | 145M | 40 |1948 | 13k|4288 | 69k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 97.52%
72.46/72.82 c 72.8s| 16600 | 12 |554963 | 31.2 | 146M | 40 |1948 | 13k|4283 | 70k| 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 98.19%
72.86/73.21 c 73.2s| 16700 | 17 |558337 | 31.2 | 146M | 40 |1948 | 13k|4294 | 71k| 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 98.52%
73.15/73.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
73.15/73.53 c 73.5s| 16800 | 6 |560831 | 31.1 | 146M | 40 |1948 | 13k| 0 | 71k| 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 98.96%
73.45/73.89 c
73.45/73.89 c SCIP Status : problem is solved [infeasible]
73.45/73.89 c Solving Time (sec) : 73.88
73.45/73.89 c Solving Nodes : 16875 (total of 17765 nodes in 2 runs)
73.45/73.89 c Primal Bound : +1.00000000000000e+20 (0 solutions)
73.45/73.89 c Dual Bound : +1.00000000000000e+20
73.45/73.89 c Gap : 0.00 %
73.45/73.89 s UNSATISFIABLE
73.45/73.89 c SCIP Status : problem is solved [infeasible]
73.45/73.89 c Total Time : 73.88
73.45/73.89 c solving : 73.88
73.45/73.89 c presolving : 0.22 (included in solving)
73.45/73.89 c reading : 0.02 (included in solving)
73.45/73.89 c copying : 0.84 (105 #copies) (minimal 0.01, maximal 0.03, average 0.01)
73.45/73.89 c Original Problem :
73.45/73.89 c Problem name : HOME/instance-4513772-1751224201.opb
73.45/73.89 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
73.45/73.89 c Constraints : 4184 initial, 4184 maximal
73.45/73.89 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
73.45/73.89 c Presolved Problem :
73.45/73.89 c Problem name : t_HOME/instance-4513772-1751224201.opb
73.45/73.89 c Variables : 1948 (1948 binary, 0 integer, 0 implicit integer, 0 continuous)
73.45/73.89 c Constraints : 4694 initial, 13799 maximal
73.45/73.89 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
73.45/73.89 c Nonzeros : 12087 constraint, 6558 clique table
73.45/73.89 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
73.45/73.89 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
73.45/73.89 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
73.45/73.89 c gateextraction : 0.01 0.00 6 0 0 0 0 0 170 42 0 0
73.45/73.89 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
73.45/73.89 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
73.45/73.89 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
73.45/73.89 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c trivial : 0.00 0.00 13 8 0 0 0 0 0 0 0 0
73.45/73.89 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c dualfix : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
73.45/73.89 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c probing : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
73.45/73.89 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
73.45/73.89 c symmetry : 0.03 0.00 1 3 0 0 0 0 0 1 0 0
73.45/73.89 c vbounds : 0.00 0.00 2 0 1 0 0 0 0 0 0 0
73.45/73.89 c knapsack : 0.00 0.00 20 0 0 0 0 0 1 2 2 22
73.45/73.89 c setppc : 0.03 0.00 27 0 8 0 0 0 73 0 0 0
73.45/73.89 c linear : 0.03 0.00 8 0 0 0 0 0 5 0 6 17
73.45/73.89 c orbitope : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
73.45/73.89 c logicor : 0.00 0.00 18 0 0 0 0 0 291 0 0 1
73.45/73.89 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
73.45/73.89 c root node : - - - 600 - - 600 - - - - -
73.45/73.89 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
73.45/73.89 c benderslp : 0 0 0 0 11877 0 0 657 0 0 0 0 0 0 0
73.45/73.89 c integral : 0 0 0 0 11877 0 0 657 0 0 0 0 0 0 23754
73.45/73.89 c knapsack : 15+ 29 11 191497 0 0 0 0 2415 26 8513 0 0 0 0
73.45/73.89 c setppc : 4189+ 4199 22 198942 0 0 0 653 649246 4695 1422901 3 0 0 0
73.45/73.89 c linear : 0+ 17 11 185905 0 0 0 2 3434 117 7959 36 10 0 0
73.45/73.89 c orbitope : 1 1 0 194030 0 0 0 0 2387 53 749 0 0 0 0
73.45/73.89 c logicor : 489+ 9722 22 151093 0 0 0 0 281040 5091 443385 47 22 0 0
73.45/73.89 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
73.45/73.89 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c integral : 1.60 0.00 0.00 0.00 1.60 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c knapsack : 0.08 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c setppc : 2.25 0.00 0.01 2.10 0.00 0.00 0.00 0.00 0.13 0.00
73.45/73.89 c linear : 0.07 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c orbitope : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c logicor : 2.50 0.00 0.00 2.35 0.00 0.00 0.00 0.00 0.15 0.00
73.45/73.89 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c Propagators : #Propagate #ResProp Cutoffs DomReds
73.45/73.89 c dualfix : 2 0 0 0
73.45/73.89 c genvbounds : 0 0 0 0
73.45/73.89 c nlobbt : 0 0 0 0
73.45/73.89 c obbt : 0 0 0 0
73.45/73.89 c probing : 0 0 0 0
73.45/73.89 c pseudoobj : 0 0 0 0
73.45/73.89 c redcost : 0 0 0 0
73.45/73.89 c rootredcost : 0 0 0 0
73.45/73.89 c symmetry : 0 0 0 0
73.45/73.89 c vbounds : 174584 0 0 0
73.45/73.89 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
73.45/73.89 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
73.45/73.89 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
73.45/73.89 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
73.45/73.89 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
73.45/73.89 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
73.45/73.89 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
73.45/73.89 c symmetry : 0.06 0.00 0.03 0.02 0.00 0.00
73.45/73.89 c vbounds : 1.24 0.00 0.00 1.24 0.00 0.00
73.45/73.89 c Symmetry :
73.45/73.89 c orbitopal red. : 0 reductions applied, 0 cutoffs
73.45/73.89 c orbital reduction: 0 reductions applied, 0 cutoffs
73.45/73.89 c lexicographic red: 0 reductions applied, 0 cutoffs
73.45/73.89 c shadow tree time : 0.00 s
73.45/73.89 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
73.45/73.89 c propagation : 0.59 9925 9432 - 48422 32.7 1364 9.5 - - -
73.45/73.89 c infeasible LP : 0.13 577 577 - 1729 14.6 369 6.9 577 6.5 0
73.45/73.89 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
73.45/73.89 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
73.45/73.89 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
73.45/73.89 c applied globally : 0.19 - - 0 22679 13.9 - - 557 - -
73.45/73.89 c applied locally : - - - 0 102 23.7 - - 20 - -
73.45/73.89 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
73.45/73.89 c cut pool : 1.60 - 2916 42 - - 28519 895390 - - - - - (maximal pool size: 4794)
73.45/73.89 c aggregation : 0.24 0.00 528 22 0 0 6 53 3 15 13 2 0
73.45/73.89 c > cmir : - - - - - - - 53 0 13 13 0 -
73.45/73.89 c > flowcover : - - - - - - - 0 0 0 0 0 -
73.45/73.89 c > knapsackcover : - - - - - - - 0 3 2 0 2 -
73.45/73.89 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c clique : 0.21 0.00 22 22 0 0 130 1790 0 1191 1191 0 0
73.45/73.89 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c gomory : 11.33 0.00 526 20 0 0 27773 837091 1168 37538 37500 38 0
73.45/73.89 c > gomorymi : - - - - - - - 116887 584 867 849 18 -
73.45/73.89 c > strongcg : - - - - - - - 720204 584 36671 36651 20 -
73.45/73.89 c impliedbounds : 0.06 0.00 528 22 0 243 17 37 0 28 28 0 0
73.45/73.89 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
73.45/73.89 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c multilinear : 0.00 0.00 937 22 0 0 0 0 0 0 0 0 0
73.45/73.89 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
73.45/73.89 c rapidlearning : 4.31 0.00 100 1 0 9118 0 0 0 0 0 0 116
73.45/73.89 c rlt : 0.00 0.00 383 20 0 0 0 0 0 0 0 0 0
73.45/73.89 c zerohalf : 1.19 0.00 528 22 0 0 4211 56419 2447 35653 35099 554 0
73.45/73.89 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
73.45/73.89 c hybrid : 0.75 0.00 2252 22 74550 0 823696 705 0 5737
73.45/73.89 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c Pricers : ExecTime SetupTime Calls Vars
73.45/73.89 c problem variables: 0.00 - 0 0
73.45/73.89 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
73.45/73.89 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c random : 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c relpscost : 1.59 0.00 11877 0 0 0 0 0 0 23754
73.45/73.89 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
73.45/73.89 c Primal Heuristics : ExecTime SetupTime Calls Found Best
73.45/73.89 c LP solutions : 0.00 - - 0 0
73.45/73.89 c relax solutions : 0.00 - - 0 0
73.45/73.89 c pseudo solutions : 0.00 - - 0 0
73.45/73.89 c strong branching : 0.00 - - 0 0
73.45/73.89 c actconsdiving : 0.00 0.00 0 0 0
73.45/73.89 c adaptivediving : 0.31 0.00 16 0 0
73.45/73.89 c alns : 0.15 0.00 5 0 0
73.45/73.89 c bound : 0.00 0.00 0 0 0
73.45/73.89 c clique : 0.04 0.00 1 0 0
73.45/73.89 c coefdiving : 0.00 0.00 0 0 0
73.45/73.89 c completesol : 0.00 0.00 0 0 0
73.45/73.89 c conflictdiving : 0.44 0.00 31 0 0
73.45/73.89 c crossover : 0.00 0.00 0 0 0
73.45/73.89 c dins : 0.00 0.00 0 0 0
73.45/73.89 c distributiondivin: 0.49 0.00 31 0 0
73.45/73.89 c dps : 0.00 0.00 0 0 0
73.45/73.89 c dualval : 0.00 0.00 0 0 0
73.45/73.89 c farkasdiving : 0.00 0.00 0 0 0
73.45/73.89 c feasjump : 0.08 0.00 2 0 0
73.45/73.89 c feaspump : 0.78 0.00 14 0 0
73.45/73.89 c fixandinfer : 0.00 0.00 0 0 0
73.45/73.89 c fracdiving : 0.15 0.00 32 0 0
73.45/73.89 c gins : 0.00 0.00 0 0 0
73.45/73.89 c guideddiving : 0.00 0.00 0 0 0
73.45/73.89 c indcoefdiving : 0.00 0.00 0 0 0
73.45/73.89 c indicator : 0.00 0.00 0 0 0
73.45/73.89 c indicatordiving : 0.00 0.00 0 0 0
73.45/73.89 c indoneopt : 0.00 0.00 0 0 0
73.45/73.89 c indrounding : 0.00 0.00 0 0 0
73.45/73.89 c indtwoopt : 0.00 0.00 0 0 0
73.45/73.89 c intdiving : 0.00 0.00 0 0 0
73.45/73.89 c intshifting : 0.00 0.00 0 0 0
73.45/73.89 c linesearchdiving : 0.14 0.00 32 0 0
73.45/73.89 c localbranching : 0.00 0.00 0 0 0
73.45/73.89 c locks : 0.00 0.00 1 0 0
73.45/73.89 c lpface : 0.05 0.00 0 0 0
73.45/73.89 c mpec : 0.00 0.00 0 0 0
73.45/73.89 c multistart : 0.00 0.00 0 0 0
73.45/73.89 c mutation : 0.00 0.00 0 0 0
73.45/73.89 c nlpdiving : 0.00 0.00 0 0 0
73.45/73.89 c objpscostdiving : 1.84 0.00 5 0 0
73.45/73.89 c octane : 0.00 0.00 0 0 0
73.45/73.89 c ofins : 0.00 0.00 0 0 0
73.45/73.89 c oneopt : 0.00 0.00 0 0 0
73.45/73.89 c padm : 0.00 0.00 0 0 0
73.45/73.89 c proximity : 0.00 0.00 0 0 0
73.45/73.89 c pscostdiving : 0.34 0.00 31 0 0
73.45/73.89 c randrounding : 0.07 0.00 668 0 0
73.45/73.89 c rens : 0.00 0.00 0 0 0
73.45/73.89 c reoptsols : 0.00 0.00 0 0 0
73.45/73.89 c repair : 0.00 0.00 0 0 0
73.45/73.89 c rins : 0.00 0.00 0 0 0
73.45/73.89 c rootsoldiving : 0.47 0.00 12 0 0
73.45/73.89 c rounding : 0.11 0.00 1641 0 0
73.45/73.89 c scheduler : 0.00 0.00 0 0 0
73.45/73.89 c shiftandpropagate: 0.01 0.00 2 0 0
73.45/73.89 c shifting : 0.35 0.00 749 0 0
73.45/73.89 c simplerounding : 0.00 0.00 0 0 0
73.45/73.89 c smallcard : 0.00 0.00 0 0 0
73.45/73.89 c subnlp : 0.01 0.00 0 0 0
73.45/73.89 c trivial : 0.00 0.00 4 0 0
73.45/73.89 c trivialnegation : 0.00 0.00 0 0 0
73.45/73.89 c trustregion : 0.00 0.00 0 0 0
73.45/73.89 c trysol : 0.00 0.00 0 0 0
73.45/73.89 c twoopt : 0.00 0.00 0 0 0
73.45/73.89 c undercover : 0.00 0.00 0 0 0
73.45/73.89 c vbounds : 0.02 0.00 2 0 0
73.45/73.89 c veclendiving : 0.14 0.00 32 0 0
73.45/73.89 c zeroobj : 0.00 0.00 0 0 0
73.45/73.89 c zirounding : 0.02 0.00 1000 0 0
73.45/73.89 c other solutions : - - - 0 -
73.45/73.89 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
73.45/73.89 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
73.45/73.89 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
73.45/73.89 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
73.45/73.89 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
73.45/73.89 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
73.45/73.89 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
73.45/73.89 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
73.45/73.89 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
73.45/73.89 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
73.45/73.89 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
73.45/73.89 c primal LP : 0.61 967 0 0.00 0.00 0.61 967
73.45/73.89 c dual LP : 29.35 14812 479428 32.81 16337.10 0.11 198
73.45/73.89 c lex dual LP : 0.00 0 0 0.00 -
73.45/73.89 c barrier LP : 0.00 0 0 0.00 - 0.00 0
73.45/73.89 c resolve instable : 0.00 0 0 0.00 -
73.45/73.89 c diving/probing LP: 4.37 806 85149 105.64 19472.08
73.45/73.89 c strong branching : 0.37 30 7505 250.17 20119.67 - - 1
73.45/73.89 c (at root node) : - 30 7505 250.17 -
73.45/73.89 c conflict analysis: 0.00 0 0 0.00 -
73.45/73.89 c B&B Tree :
73.45/73.89 c number of runs : 2
73.45/73.89 c nodes : 16875 (11283 internal, 5592 leaves)
73.45/73.89 c feasible leaves : 0
73.45/73.89 c infeas. leaves : 5592
73.45/73.89 c objective leaves : 0
73.45/73.89 c nodes (total) : 17765 (11877 internal, 5888 leaves)
73.45/73.89 c nodes left : 0
73.45/73.89 c max depth : 40
73.45/73.89 c max depth (total): 50
73.45/73.89 c backtracks : 4879 (28.9%)
73.45/73.89 c early backtracks : 0 (0.0%)
73.45/73.89 c nodes exc. ref. : 0 (0.0%)
73.45/73.89 c delayed cutoffs : 5692
73.45/73.89 c repropagations : 15712 (754448 domain reductions, 4215 cutoffs)
73.45/73.89 c avg switch length: 3.54
73.45/73.89 c switching time : 3.62
73.45/73.89 c Root Node :
73.45/73.89 c First LP value : +0.00000000000000e+00
73.45/73.89 c First LP Iters : 1458 (32420.17 Iter/sec)
73.45/73.89 c First LP Time : 0.04
73.45/73.89 c Final Dual Bound : -
73.45/73.89 c Final Root Iters : 10159
73.45/73.89 c Root LP Estimate : +5.37273938200898e-02
73.45/73.89 c Solution :
73.45/73.89 c Solutions found : 0 (0 improvements)
73.45/73.89 c Primal Bound : infeasible
73.45/73.89 c Dual Bound : -
73.45/73.89 c Gap : 0.00 %
73.45/73.89 c Integrals : Total Avg%
73.45/73.89 c primal-dual : - - (problem infeasible)
73.45/73.89 c primal-ref : - - (problem infeasible)
73.45/73.89 c dual-ref : - - (problem infeasible)
73.55/73.93 c Time complete: 73.5877.
ERROR: no interpretation found !
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: 63794 MiB (63086 MiB free)
memory of node 1: 64507 MiB (63836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513772-1751224201/watcher-4513772-1751224201 -o /tmp/evaluation-result-4513772-1751224201/solver-4513772-1751224201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28486 --watchdog 3760 pbscip -f HOME/instance-4513772-1751224201.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=29224, runsolver pid=29221
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.06 4.09 4.09 5/250 29225
/proc/meminfo: memFree=129961336/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=56560 memory=30316 CPUtime=0.1 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 4738 0 0 0 8 2 0 0 20 0 1 0 38099830 57917440 7579 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 14140 7579 3680 3530 0 5591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56560 KiB
Current children cumulated memory: 30316 KiB
[startup+0.213297 s]*
/proc/loadavg: 4.06 4.09 4.09 5/250 29225
/proc/meminfo: memFree=129953524/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=64940 memory=35436 CPUtime=0.21 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 5969 0 0 0 19 2 0 0 20 0 1 0 38099830 66498560 8859 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 16235 8859 3744 3530 0 7686 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 64940 KiB
Current children cumulated memory: 35436 KiB
[startup+0.313244 s]*
/proc/loadavg: 4.06 4.09 4.09 5/250 29225
/proc/meminfo: memFree=129945712/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=71912 memory=43244 CPUtime=0.3 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 7714 0 0 0 28 2 0 0 20 0 1 0 38099830 73637888 10811 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 17978 10811 3936 3530 0 9429 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71912 KiB
Current children cumulated memory: 43244 KiB
[startup+0.700333 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 29225
/proc/meminfo: memFree=129945712/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=71912 memory=43500 CPUtime=0.68 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 7786 0 0 0 66 2 0 0 20 0 1 0 38099830 73637888 10875 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 17978 10875 3936 3530 0 9429 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71912 KiB
Current children cumulated memory: 43500 KiB
[startup+1.50032 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 29225
/proc/meminfo: memFree=129920840/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=89588 memory=59572 CPUtime=1.48 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 12801 0 0 0 144 4 0 0 20 0 1 0 38099830 91738112 14893 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 22397 14893 3968 3530 0 13848 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89588 KiB
Current children cumulated memory: 59572 KiB
[startup+3.1128 s]
/proc/loadavg: 4.14 4.11 4.10 5/250 29225
/proc/meminfo: memFree=129875732/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=115144 memory=83852 CPUtime=3.09 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 19712 0 0 0 304 5 0 0 20 0 1 0 38099830 117907456 20963 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 28786 20963 3968 3530 0 20237 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115144 KiB
Current children cumulated memory: 83852 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.11 4.10 5/250 29225
/proc/meminfo: memFree=129856336/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=125796 memory=95376 CPUtime=6.27 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 22977 0 0 0 621 6 0 0 20 0 1 0 38099830 128815104 23844 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 31449 23844 3968 3530 0 22900 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125796 KiB
Current children cumulated memory: 95376 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 29225
/proc/meminfo: memFree=129844240/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=130140 memory=97424 CPUtime=12.64 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 23483 0 0 0 1258 6 0 0 20 0 1 0 38099830 133263360 24356 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 32535 24356 3968 3530 0 23986 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 130140 KiB
Current children cumulated memory: 97424 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.12 4.10 5/250 29226
/proc/meminfo: memFree=129779912/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=154680 memory=102544 CPUtime=25.38 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 24840 0 0 0 2532 6 0 0 20 0 1 0 38099830 158392320 25636 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 38670 25636 3968 3530 0 30121 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 154680 KiB
Current children cumulated memory: 102544 KiB
[startup+51.1129 s]
/proc/loadavg: 4.20 4.12 4.10 5/250 29317
/proc/meminfo: memFree=129742924/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=177436 memory=117432 CPUtime=50.87 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 29079 0 0 0 5078 9 0 0 20 0 1 0 38099830 181694464 29358 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 44359 29358 3968 3530 0 35810 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 177436 KiB
Current children cumulated memory: 117432 KiB
[startup+73.9385 s]
# the end of solver process 29224 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=73.4769 s, system=0.123616 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.20 4.12 4.10 5/250 29317
/proc/meminfo: memFree=129742924/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=177436 memory=118072 CPUtime=50.96 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 29222 0 0 0 5087 9 0 0 20 0 1 0 38099830 181694464 29518 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 44359 29518 3968 3530 0 35810 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 177436 KiB
Current children cumulated memory: 118072 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.15 4.12 4.10 5/251 29363
/proc/meminfo: memFree=129619808/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=183880 memory=123448 CPUtime=63.71 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 30585 0 0 0 6361 10 0 0 20 0 1 0 38099830 188293120 30862 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 45970 30862 3968 3530 0 37421 0
Current children cumulated CPU time: 63.71 s
Current children cumulated vsize: 183880 KiB
Current children cumulated memory: 123448 KiB
[startup+70.4003 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 29363
/proc/meminfo: memFree=129556132/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=208264 memory=144952 CPUtime=70.07 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 35960 0 0 0 6996 11 0 0 20 0 1 0 38099830 213262336 36238 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 52066 36238 3968 3530 0 43517 0
Current children cumulated CPU time: 70.07 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 144952 KiB
[startup+72.0003 s]*
/proc/loadavg: 4.14 4.12 4.09 5/251 29363
/proc/meminfo: memFree=129548068/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=208264 memory=145080 CPUtime=71.67 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 35969 0 0 0 7156 11 0 0 20 0 1 0 38099830 213262336 36270 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 52066 36270 3968 3530 0 43517 0
Current children cumulated CPU time: 71.67 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 145080 KiB
[startup+72.8003 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 29363
/proc/meminfo: memFree=129548068/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=208264 memory=145080 CPUtime=72.46 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 35969 0 0 0 7235 11 0 0 20 0 1 0 38099830 213262336 36270 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 52066 36270 3968 3530 0 43517 0
Current children cumulated CPU time: 72.46 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 145080 KiB
[startup+73.6003 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 29363
/proc/meminfo: memFree=129548068/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=208264 memory=145080 CPUtime=73.25 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 35969 0 0 0 7314 11 0 0 20 0 1 0 38099830 213262336 36270 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 52066 36270 3968 3530 0 43517 0
Current children cumulated CPU time: 73.25 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 145080 KiB
[startup+73.8003 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 29363
/proc/meminfo: memFree=129548068/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=208264 memory=145080 CPUtime=73.45 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 35969 0 0 0 7334 11 0 0 20 0 1 0 38099830 213262336 36270 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 52066 36270 3968 3530 0 43517 0
Current children cumulated CPU time: 73.45 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 145080 KiB
[startup+73.9003 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 29363
/proc/meminfo: memFree=129548068/131382112 swapFree=33010684/33010684
[pid=29224] ppid=29221 vsize=208264 memory=145080 CPUtime=73.55 cores=1,3
/proc/29224/stat : 29224 (pbscip) R 29221 29224 28474 0 -1 4194304 35969 0 0 0 7344 11 0 0 20 0 1 0 38099830 213262336 36270 18446744073709551615 4235264 18693293 140730467300784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 48410624 140730467309961 140730467310060 140730467310060 140730467315662 0
/proc/29224/statm: 52066 36270 3968 3530 0 43517 0
Current children cumulated CPU time: 73.55 s
Current children cumulated vsize: 208264 KiB
Current children cumulated memory: 145080 KiB
Child status: 0
Real time (s): 73.9385
CPU time (s): 73.6006
CPU user time (s): 73.4769
CPU system time (s): 0.123616
CPU usage (%): 99.5429
Max. virtual memory (cumulated for all children) (KiB): 208264
Max. memory (cumulated for all children) (KiB): 145080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.4769
system time used= 0.123616
maximum resident set size= 145080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35976
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= 80
involuntary context switches= 114
# summary of solver processes directly reported to runsolver:
# pid: 29224
# total CPU time (s): 73.6006
# total CPU user time (s): 73.4769
# total CPU system time (s): 0.123616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.415926 second user time and 0.758668 second system time
The end
Begin job on nodeC012 at 2025-06-29 21:10:01 IDJOB=4513772 IDBENCH=162563 IDSOLVER=3365 FILE ID=nodeC012/4513772-1751224201 RUNJOBID= nodeC012-1751220587-28486 SLURM_JOB_ID= 9587676 Free space on /tmp= 433004 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l035-r034-n1.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513772-1751224201/watcher-4513772-1751224201 -o /tmp/evaluation-result-4513772-1751224201/solver-4513772-1751224201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751220587-28486 --watchdog 3760 pbscip -f HOME/instance-4513772-1751224201.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ba3e79fbb414116636e41440ecd82818 RANDOM SEED=193335801 nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.399 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 1197.153 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.602 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3662.380 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3691.220 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.203 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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.256 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129969148 kB MemAvailable: 129794172 kB Buffers: 3280 kB Cached: 635568 kB SwapCached: 0 kB Active: 489636 kB Inactive: 386880 kB Active(anon): 255664 kB Inactive(anon): 0 kB Active(file): 233972 kB Inactive(file): 386880 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 75116 kB Writeback: 32 kB AnonPages: 240876 kB Mapped: 137056 kB Shmem: 17960 kB KReclaimable: 87212 kB Slab: 169308 kB SReclaimable: 87212 kB SUnreclaim: 82096 kB KernelStack: 4032 kB PageTables: 3572 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 599284 kB VmallocTotal: 34359738367 kB VmallocUsed: 149336 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432984 MiB End job on nodeC012 at 2025-06-29 21:11:15